Трёхадресный код

[vak]

Я в раздумьях. Парсер отлично генерит AST. Пора превращать его в TAC, то есть так называемый трёхадресный код. Структуры для TAC я сгенерил (tac.h). Вот их визуализация.



По сути, трехадресный код представляет собой абстрактный язык ассемблера — последовательность простых инструкций, использующих один унарный или бинарный оператор и не более трех адресов памяти: один для результата и два для аргументов. Но не такой уж абстрактный: TAC в курсе устройства оперативной памяти, а также размеров и формата чисел в хардвере. И не такой уж ассемблер: TAC имеет строгую систему типов.

После TAC следующим этапом Си-компилятора будет кодогенератор. То есть превращение в реальный ассемблерный код целевой машины. Но сначала имеет смысл отладить TAC сам по себе. Добиться получения правильного TAC из AST. Как его проверять? Неужели строить симулятор абстрактной TAC-машины. И ассемблер к ней понадобится. Чтобы писать программы на TAC непосредственно, без помощи компилятора.

Comments

[archaicos]

Просто генери промежуточный код совместимый с MIPS. Можно с макросами для инструкций, которые не существуют в таком трёхадресном виде. А потом это можно просто в эмуляторе MIPS запустить.

[archaicos]

Если речь не совсем об этом, то дерево, описывающее выражение, можно преобразовать в текстовое представление со скобками (привет LISP'у!), а потом в тесте проверять, что получается то дерево, которое нужно сравнением с верным представлением из некоторой эталонной строки. И так делать два раза: один – с деревом сразу после разбора исходника, другой – c тем же деревом, но уже после вставки преобразований типов в нём.

[vak]

Боюсь, на преобразовании в псевдо-MIPS сильное усложнение выйдет.