MLC: "Календула"

[ediah]

Рад сообщить, что фундамент для оптимизатора положен. Скорее всего, некоторые моменты я всё же перепишу, но с первого раза это уже выглядит солидно. Что работает на данный момент:

1. Разбор кода на базовые блоки (построение графа потока управления). Затем можно получить .dot файл, который автоматически обрабатывается с помощью Graphviz.
2. Построение ориентированного ациклического графа по базовому блоку. Необходимо для оптимизаций выражений.

Реализованные оптимизации:

1. Выпрямление исполнения. Байт-код становится более линейным, исчезают "пустые" блоки, меньше переходов.
2. Исключение одинаковых констант. Размер бинарного файла становится меньше за счёт удаления дубликатов констант.
3. Оптимизация глобальных общих подвыражений (бета). При вычислении выражений используются результаты предыдущих вычислений, больше не придётся пересчитывать одно и то же. Иногда не замечает возможные замены, буду это исправлять.
4. Удаление мёртвого кода (частично). Работает только удаление очевидно недостижимых блоков (на которые нет безусловного перехода), в том числе и неиспользуемые функции.

---

This discussion was created from the release MLC: "Календула".