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

В гугле.

Предыдущие серииНапомню кратенько содержание ( Read more... )

Без строковых меток просто сделать не получается. Без них выскакивает <> - размер кода ноды зависит от адреса ноды после неё, а этот адрес зависит от размера кода ноды ( Read more... )

Слайды доклада об оптимизации обычных программ с помощью оптимизатора времени сборки программы ( Read more... )

http://ssabook.gforge.inria.fr/latest/ - сборник статей-глав книги по разным представлениям компиляторов, включая SSA, Program Dependence Graph, Gated SSA, Value State Dependence Graph, Array SSA и прочим ( Read more... )

http://thesz.mskhug.ru/svn/equasa/Read more... )

Пока суть, да дело, хочу опять немного похвастаться.

( Загадочная картинка )

( Сперва загадочная картинка, даже две )

( Программа, картинка её графа и некоторые пояснения )

Уменьшение размера кода с помощью команды ЭхоВкратце - команда echo содержит ссылку на последовательность команд, которую надо выполнить. Количество команд фиксировано и оно небольшое, поэтому это не вызов процедуры, хотя и очень похоже. Больше напоминает VLIW ( Read more... )