Project for Optimizing Compilers Development course, IMM&CS, spring 2019
| Название команды | Участники | Задания 13.03 | Задания 20.03 | Задания 27.03 | Задания 02.04 | Задания 10.04 | Задания 17.04 | Задания 8.05 | Задания 15.05 | 22.05 |
|---|---|---|---|---|---|---|---|---|---|---|
| AW | Галайчук, Рязанова | 4, 11 | 2) Вычисление Def - Use в пределах ББЛ, Протяжка констант на основе Def-Use в пределах ББЛ, Протяжка копий на основе Def-Use в пределах ББЛ | Трехадресный код | Хранение IN-OUT | Протяжка const на основе ИТА для достиг. перем. | - | - | Для CFG построить дерево доминаторов (ИТА) | - |
| ЗГ | Зинченко, Голубев | 6, 12 | 4) Свертка const, алгебраические тождества | LVN | - | ИТА для активных переменных + 2-3 теста | Итер. алг.для доступных выраж + 2-3 теста | Обобщенный ИТА (задачи 1-3 + распр. const) | - | - |
| Enterprise | Маннаа, Ульянов | 9, 2 | 8) Устранение недостижим. кода | Разбиение на ББЛ | GenB/KillB (композиция Fb/Fs) | - | Класс передаточной ф-ии(общий) (см.фото) | Поиск реш-ия м-ом MOP | - | Определение глубины CFG |
| ТЗ | Завгороднев, Тян | 1, 10 | 3) Живые и мертвые переменные внутри ББЛ - анализ | - | - | Удаление мертвого кода на основе ИТА для активн. перем. (2-3 теста) | Доступные выраж.-множества e_genB, e_killB. Передаточная ф-ия ББЛ в fB = e_genB U (x - e_killB) | - | - | Классификация ребер в глубинном остовном дереве |
| Kt | Дядичко, Кузнецов | 2, 12 | 5) Логические тождества | - | GenB/KillB. Вычислить Fb по явным формулам | - | - | Опр-р сбора /\ и отображение m в задаче о распростр. const | - | Определение того, явл. ли ребро обратимым и явл. ли CFG приводимым |
| M&M | Атоян, Сидоренко | 5, 14 | 7) Очистка от пустых опер-ов, устранение переходов через переходы | - | - | Вычисление множеств def и use для активн.перем. | Провести оптимизации на основе анализа доступн.выраж (3 теста) | - | Передаточная ф-ия в задаче о распростр. const | Определение всех естественных циклов в CFG с информ. об их вложенности |
| Null | Таранова, Швецов | 3, 13 | 6) Оптимизация общих подвыражений | Разбиение CFG | - | ИТА для достигающих определений | - | - | ИТА в задаче распростр. const (4 теста) | Построение глубинного остовного дерева с соотв.нумерацией вершин + Ускорение ИТА для задачи о достигающих определениях засчет перенумерации ББЛ (2-3 теста) |
| - | Корниенко, Лимарев | -, - | - | - | - | - | - | - | - | - |
- M&M (Атоян, Сидоренко)
- Ответственные за парсер
- Добавление фиктивных ф-ий в язык
- AW (Галайчук, Рязанова)
- Ответственные за генерацию трехадресного кода
- Добавление фиктивных ф-ий в трехадресный код
- Галайчук, Рязанова, Голубев
- Ответственные за интегрирующую программу
- Ульянов
- Ответственный за документацию
- Таранова
- Ответственный за тесты