Перед вами всестороннее руководство по использованию представления SSA (Static Single Assignment) в современном оптимизирующем компиляторе. В нем показано, как форма SSA превращается из удобной теоретической модели в практический фундамент для анализа программ, оптимизации и генерирования эффективного машинного кода. Авторы подробно рассматривают алгоритмы, инженерные решения и расширения SSA, применяемые в промышленных компиляторах.
Среди основных тем книги:
построение и деструкция формы SSA;
разреженный анализ потока данных;
живучесть, индуктивные переменные и устранение избыточности;
расширения SSA (ψ-SSA, HSSA, форма для массивов и памяти);
выбор команд и преобразования управления;
распределение регистров и генерация машинного кода;
применение SSA в аппаратной компиляции и в реальных компиляторах.
Издание адресовано разработчикам компиляторов, специалистам по оптимизации программ, исследователям и студентам, стремящимся детально изучить принципы устройства и работы современных компиляторов.
Формат: PDF

Разработка компиляторов на основе формы SSA [Фабриче Растелло, Флоран Буше Тишаду]