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

Aноним · Вчера в 11:16

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

Среди основных тем книги:

построение и деструкция формы SSA;
разреженный анализ потока данных;
живучесть, индуктивные переменные и устранение избыточности;
расширения SSA (ψ-SSA, HSSA, форма для массивов и памяти);
выбор команд и преобразования управления;
распределение регистров и генерация машинного кода;
применение SSA в аппаратной компиляции и в реальных компиляторах.

Издание адресовано разработчикам компиляторов, специалистам по оптимизации программ, исследователям и студентам, стремящимся детально изучить принципы устройства и работы современных компиляторов.

Формат: PDF