SSA-based Compiler Design

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 it...

Full description

Bibliographic Details
Other Authors: Rastello, Fabrice (Editor), Bouchez Tichadou, Florent (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2022, 2022
Edition:1st ed. 2022
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 1. Introduction
  • 2. Properties and flavors
  • 3. Standard Construction and Destruction Algorithms
  • 4. Advanced Construction Algorithms for SSA
  • 5. SSA Reconstruction
  • 6. Functional Representations of SSA
  • 7. Introduction
  • 8. Propagating Information using SSA
  • 9. Liveness
  • 10. Loop Tree and Induction Variables
  • 11. Redundancy Elimination
  • 12. Introduction
  • 13. Static Single Information form
  • 14. Graphs and Gating Functions
  • 15. Psi-SSA Form
  • 16. Hashed SSA form: HSSA
  • 17. Array SSA Form
  • 18. SSA Form and Code Generation
  • 19. Instruction Code Selection
  • 20. If-Conversion
  • 21. SSA Destruction for Machine Code
  • 22. Register Allocation
  • 23. Hardware Compilation using SSA
  • 24. Building SSA in a Compiler for PHP.