Трансляция в ассемблер

Трансляция программы в ассемблер несколько упрощает конструирование компилятора. Однако, такой подход удлиняет технологическую цепочку выполнения программы, так как объектная программа, порожденная компилятором, должна быть впоследствии обработана ассемблером, а также редактором связей и загрузчиком.

У трансляции в ассемблер есть несколько ощутимых преимуществ:

· уровень ассемблера все-таки выше, чем у машинного кода; поэтому при трансляции в ассемблер программисту не приходится возиться с некоторыми утомительными техническими деталями, например, ассемблер берет на себя разрешение операторов безусловного перехода на еще неопределенные метки (переходы вперед), распределение памяти под данные, расчет длин переходов и т.п.

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

· порождаемый текст на ассемблере значительно читабельней, чем машинный код; это может помочь при отладке компилятора.

При генерации кода для платформы.NET у нас, в сущности, и нет никаких других возможностей, так как MSIL представляет собой высокоуровневый ассемблер, максимально абстрагированный от конкретных целевых платформ.

Т-диаграммы

Мы обозначили компилятор, переводящий цепочки языка L₁ в цепочки языка L₂ и написанный на языке L₃, следующим образом: : L₁→L₃. Для представления компилятора мы можем использовать также так называемые Т-диаграммы:

Компилятор, переводящий язык L в язык ассемблера A и написанный на языке A можно представить следующими способами: K_A: L→ A или

Т-диаграммы достаточно удобны при обсуждении различных способов получения компиляторов.