Разработка компиляторов

       

Граф потока управления


Основным способом представления потока управления программы является граф потока управления (см. лекции 11) - ориентированный граф с двумя выделенными вершинами start и stop , такими, что

  • в start не заходит ни одна дуга
  • из stop не выходит ни одна дуга
  • произвольная вершина принадлежит хотя бы одному пути из start в stop

Для произвольной дуги e обозначим через beg(e) ее начало, а через end(e) - ее конец.

Для произвольной вершины v обозначим через in(v) множество входящих в нее дуг, а через out(v) - множество исходящих дуг.

Путем в графе назовем последовательность вершин, такую, что между каждой последующей и предыдущей вершиной в графе существует ребро.



Содержание раздела