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