Оптимизирующие компиляторы (МФТИ, 2024). Лекция 2. Поток управления и первая оптимизация.

Лекции по компиляторам для свежих интернов базовой кафедры в МФТИ. Второй семинар начинает математическую часть компиляторной теории. Мы начинаем с построения HIR, далее ставим задачу продвижения констант, и, для того, чтобы решить эту задачу, вводим красивую математическую структуру так называемых решёток. После чего нас ждёт первый (но не последний) алгоритм в этом курсе. Лектор: Константин Владимиров Видео и звук: Юлий Тарасов Timeline 00:00 Высокоуровневое промежуточное представление 06:26 Граф потока управления 12:51 Задача продвижения констант 15:15 Бинарные отношения 21:14 Частичный порядок 26:05 Решётки 31:10 Алгоритм продвижения констант 40:10 Упражнения и литература Errata * пока пусто