Из русской Википедии
Цитата: Граф потока управления (англ. control flow graph, CFG) — в теории компиляции — множество всех возможных путей исполнения программы, представленное в виде графa.
Содержание [скрыть]
1 Обзор
2 Терминология
3 Примеры
4 См. также
5 Примечания
6 Ссылки
Обзор
В графе потока управления каждый узел (вершина) графа соответствует базовому блоку — прямолинейному участку кода, не содержащему в себе ни операций передачи управления, ни точек, на которые управление передается из других частей программы. Имеется лишь два исключения:
точка, на которую выполняется переход, является первой инструкцией в базовом блоке;
базовый блок завершается инструкцией перехода.
Направленные дуги используются в графе для представления инструкций перехода. Также, в большинстве реализаций добавлено два специализированных блока:
входной блок, через который управление входит в граф;
выходной блок, который завершает все пути в данном графе.
Структура CFG важна для многих оптимизаций компиляторов и для утилит статического анализа кода.
Возможны два случая: у блока или подграфа отсутствует:
входной блок («мёртвый» код);
выходной блок (бесконечный цикл).
Блок, не связанный со входным блоком, считается недостижимым («мёртвый» код). Достижимость[en] — одно из свойств графа, используемое при оптимизациях. Недостижимый блок может быть удалён из программы.
Блок, не связанный с выходным блоком, содержит бесконечный цикл. Полагаясь на это высказывание, удаётся обнаружить не все бесконечные циклы из-за проблемы остановки.
При выполнении оптимизаций компилятор может создавать и «мёртвый» код, и бесконечные циклы, даже если программист явно это не кодировал. Например, после выполнения свёртки констант (англ. constant folding) и распространения констант (англ. constant propagation) оптимизация jump threading может соединить несколько блоков в один; в результате некоторые ребра могут исчезнуть и некоторые блоки могут оказаться не связанными с графом.
|
(драконетика)
