MicroTESK

Проблема 1: FIXED - Revision r1188

Неправильная конкатенация буферов.

При трансляции конструкций типа:

carry::ALU_OUT = GPR[src2] + src3;

(где "::" означает конкатенацию: carry - higher part, ALU_OUT - lower part) получается Java код типа:

carry.access().concat(ALU_OUT.access())

Метод concat неправильно объединяет буферы. Получается, что: carry - lower part, а ALU_OUT - higher part.

Должно быть наоборот.

Проблема 2: FIXED - Revision r1189

Проблема при симуляции следующего шаблона:

CMP blank, REG(0), register1
SUB greaterThan, setsOff, REG(0), REG(0), register1
SUB lessThan,    setsOff, REG(1), REG(1), register0

Выполняются обе команды SUB (обе изменяют значение регистров), хотя должна выполняться только одна, а вторая не выполнять никаких действий. Похоже, что-то нет с флагами, которые выставляет CMP или с проверкой этих флагов.

Проблема может быть в спецификации (Sim-nML) или в API модели. Нужно разбираться.

Похоже, что-то к коде инструкции CMP не чисто (Sim-nML). Нужно разбираться.

Нашёл проблему. Спецификация условия greaterThan отличалась от, того что написано в ARM Reference Manual.

После исправления Sim-nML спецификации зацикливание прекратилось (я обновил примитивы условий greaterThan и lessThan в соответствии с ARM Reference Manual). Корректность остальных аспектов работы алгоритма Евклида нужно проверять.

Вообще зацикливание всё же не совсем пропало - пару раз удалось воспроизвести. Но теперь в большинстве случаев цикл завершается. Нужно отлаживать дальше.