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

[vak]

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



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

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

Comments

[juan_gandhi]

Хм. Ну да, наверно. Нужна TAC-машина и что-то вроде ассемблера. Машину-то навалять дело нехитрое, хоть на каком языке. А вот ассемблер... ох, я всё бы это дело на форту написал. Думаю, и Лёня согласится. Ассемблер на форту плёвое дело навалять, а машину всё равно на чём.

[spamsink]

Хохмы ради, у каждого нынче есть интерпретатор продвинутого форта в виде постскрипта (ghostscript), а он умеет выдавать текст в стандартный вывод.

[juan_gandhi]

Разве не всегда так было?

[spamsink]

Windows subsystem for Linux была не всегда, а виндовсный ghostscript был гуёвый.

[x86128]

А чем обусловлен выбор именно трехадресного кода а не стекового?

[sab123]

Стековый код удобно интерпретировать, но перевести его в прямые машинные инструкции будет наверное очень затруднительно.

[archaicos]

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

[archaicos]

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

[vak]

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