Языки программирования и теория компиляции 6. Канонизация IR, введение в оптимизацию

Языки программирования и теория компиляции. МФТИ, Физтех-школа прикладной математики и информатики.

Дата лекции: 22.03.2024
Лектор: Ахтямов Павел Ибрагимович

Плейлист с лекциями:    • Языки программирования и теория компи...  
Материалы курса: https://drive.google.com/drive/folder...
Плейлист с семинарами:    • [Compilers2024]  

--Таймкоды--
00:00:00 начало
00:03:11 цель
00:03:19 вспомним проблемы IR
00:14:35 что делать со вторым операндом
00:18:56 когда s не влияет на e1
00:23:28 basic блок
00:27:13 задача coverset
00:31:17 возможности для оптимизации
00:34:43 уровни локальности оптимизации
00:35:42 виды локальных оптимизаций
00:37:26 алгоритм локальной нумерации
00:39:43 пример
00:42:04 свойства групп и колец
00:50:01 балансировка деревьев
00:52:09 поиск корней дерева
00:59:06 copy propagation
00:59:22 dead code elimination
01:00:53 региональные оптимизации
01:04:47 глобальные оптимизации
01:05:08 анонс семинара
01:05:15 итог лекции и спойлеры следующей лекции

Оператор: Георгий Татаринов
Монтажер: Валерий Зайнуллин