Главный блок графа, в который непосредственно или транзитивно входят все остальные узлы графа - это:
В процессе преобразования линейной последовательности инструкций в граф потока управления, на первом этапе, для каждой инструкции, входящей в массив P, мы создаем соответствующий ей узел графа, в который записываются все данные об инструкции, кроме информации о:
Когда выполнение некоторой инструкции в линейной последовательности инструкций порождает исключение, всегда можно легко определить защищенный блок, которому:
Дан массив инструкций P размера N и массив предложений обработки исключений EH размера M. Этап создания узелов графа для каждой инструкции и формирования из созданных узлов массива на C#-подобном псевдоязыке можно записать так:
К чему сводится операция поиска блока, в который входит инструкция, на графе, включающем дерево блоков:
Дуги графа потока управления изображают:
Количество дуг, исходящих из узла графа, зависит от:
Работает на основе построения графа достижимости объектов:
Диаграмма стека для инструкции ldelema выглядит следующим образом:
Когда JIT-компилятор доходит до инструкции ldc.0, расположенной непосредственно после инструкции безусловного перехода br L2, он: