SSA-based Compiler Design

by Fabrice Rastello (Editor), Florent Bouchez Tichadou (Editor)

This book provides readers with a single-source reference to static-single assignment (SSA)-based compiler design. It is the first (and up to now only) book that covers in a deep and comprehensive way how an optimizing compiler can be designed using the SSA form. After introducing vanilla SSA and its main properties, the authors describe several compiler analyses and optimizations under this form. They illustrate how compiler design can be made simpler and more efficient, thanks to the SSA form. This book also serves as a valuable text/reference for lecturers, making the teaching of compilers simpler and more effective. Coverage also includes advanced topics, such as code generation, aliasing, predication and more, making this book a valuable reference for advanced students and practicing engineers.

399 pages, Hardcover

Published December 9, 2022

Reviews

[Iván Burgert · Rating 3 out of 5]

This book is better if you already know what SSA is and if you are familiar with the concepts behind it. It doesn’t really explain what it is, why it’s useful, or the theory behind it. It mostly just details some ways to implement it and some things you can build on top of it.