Разработка компиляторов на основе формы SSA

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