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

Описание

Лекции по компиляторам для свежих интернов базовой кафедры в МФТИ.

Второй семинар начинает математическую часть компиляторной теории. Мы начинаем с построения HIR, далее ставим задачу продвижения констант, и, для того, чтобы решить эту задачу, вводим красивую математическую структуру так называемых решёток. После чего нас ждёт первый (но не последний) алгоритм в этом курсе.

Лектор: Константин Владимиров
Видео и звук: Юлий Тарасов

Предыдущая лекция: https://rutube.ru/video/3702d41e19ad5fd3b653820b530023dd/
Следующая лекция: https://rutube.ru/video/6753137f2fe26ea94101956c5ac2f4e4/

Слайды к занятиям: https://sourceforge.net/projects/cpp-lects-rus/files/compilers/
Книга: https://www.chitai-gorod.ru/product/optimiziruyushchie-kompilyatory-struktura-i-algoritmy-3059667

Timeline
00:00 Высокоуровневое промежуточное представление
06:26 Граф потока управления
12:51 Задача продвижения констант
15:15 Бинарные отношения
21:14 Частичный порядок
26:05 Решётки
31:10 Алгоритм продвижения констант
40:10 Упражнения и литература

Errata
* пока пусто