Bug #12036: Oracle Tool: некорректное сравнение регистров в новом фрейме - MicroTESK - Open-Source Projects

Actions

Copy link

Bug #12036

closed

Oracle Tool: некорректное сравнение регистров в новом фрейме

Added by Alexander Protsenko about 2 years ago. Updated over 1 year ago.

Status:

Closed

Priority:

Normal

Assignee:

Alexander Protsenko

Category:

Oracle tool

Target version:

2.5

Start date:

11/08/2022

Due date:

% Done:

100%

Estimated time:

Detected in build:

git

Platform:

Published in build:

Description

Создание нового фрейма не влияет на сравниваемый индекс регистра.
Что создает ошибку:

Warning: [OracleSimulator] [Failure] Different register values
Warning: [OracleSimulator] Register from trace: 'v0' = 0x0
Warning: [OracleSimulator] Register from model: 'R[0]' = 0x1

Это нужно исправить.

Files

debug_obj_0000.pa (1.81 KB) debug_obj_0000.pa

Alexander Protsenko, 11/09/2022 05:49 PM

Actions

Copy link

Updated by Alexander Protsenko about 2 years ago

Status changed from New to Open

Actions

Copy link

Updated by Alexander Protsenko about 2 years ago

% Done changed from 0 to 70

Механизм сравнения регистров обновлен и учитывает фреймы ff37f47a.

Найдено следующее расхождение:

[ProgramSimulator] PC: 0xa, call: ldobj v3, 0x1
Warning: [OracleSimulator] [Failure] Different register values
Warning: [OracleSimulator] Register from trace: 'acc' = 0x0
Warning: [OracleSimulator] Register from model: 'ACC_FR[0]' = 0x3

Возможно ошибка в модели, но нужно проверить.

Actions

Copy link