Определим набор функций, отображающих различные деревья абстрактного синтаксиса в соответствующие им последовательности инструкций CIL, можно считать, что каждая функция принимает в качестве параметра:
Функции какого набора отображают деревья абстрактного синтаксиса, соответствующие логическим выражениям, в CIL:
При записи абстрактного синтаксиса управляющих конструкций используется нетерминал LogExpr для представления:
Ограничениями на последовательности инструкций, введеными для упрощение JIT-компилятора являются следующие:
Преобразование линейной последовательности инструкций в граф потока управления происходит в ходе следующих этапов:
На четвертом этапе процесса преобразования линейной последовательности инструкций в граф потока управления в последний добавляются:
Когда выполнение некоторой инструкции в линейной последовательности инструкций порождает исключение, всегда можно легко определить защищенный блок, которому:
В процессе преобразования линейной последовательности инструкций в граф потока управления, на третьем этапе, во время первой итерации цикла родителем всех узлов становится:
В процессе преобразования линейной последовательности инструкций в граф потока управления, на первом этапе, для каждой инструкции, входящей в массив P, мы создаем соответствующий ей узел графа, в который записываются все данные об инструкции, кроме информации о:
В процессе преобразования линейной последовательности инструкций в граф потока управления, на первом этапе, для каждой инструкции, входящей в массив P размера N: