№

Название темы

Аудиторные занятия (часы)

Самостоятельная работа студента

лекции

семинары

Введение. Описание процесса компиляции. Процесс компиляции – пример многофазной обработки данных. Структура оптимизирую-щего компилятора. Основные вопросы, изу-чаемые в курсе.

1

2

Построение промежуточного представления программы. Базовые блоки и граф потока управления. Биткод среды LLVM – пример промежуточного представления.

1

2

2

Локальная оптимизация. Метод нумерации значений. Недостаточность локальной опти-мизации. Постановка задачи глобальной оптимизации (в пределах процедуры).

2

2

2

Анализ потока данных – основной метод глобальной оптимизации. Примеры анализа потока данных – анализ достигающих опре-делений и анализ живых переменных.

4

2

2

Граф потока управления: остовное дерево, обход, классификация дуг, топологическая нумерация вершин, доминирование и дерево доминаторов. Граница доминирования и ее построение. SSA-форма.

4

4

4

Обоснование анализа потока данных: полу-решетки, передаточные функции, итерацион-ный алгоритм. Анализ потока данных в SSA-форме. Анализ доступных выражений.

2

2

2

Методы ускорения анализа потока данных. Суперблоки и другие области графа потока управления. Вычисление передаточных функций областей по передаточным функци-ям составляющих их базовых блоков.

4

4

4

Глобальный метод нумерации значений

4

4

4

Задачи решаемые на этапе машинно-ориентированной оптимизации. Планирование кода

2

2

2

Распределение регистров

2

2

2

4

4

4

2

2

2

Комплексное практическое задание.

0

0

12

Итого:

32

32

44

Всего (часы):

(аудиторные занятия и самостоятельная работа)

108