SSA-based Compiler Design / edited by Fabrice Rastello, Florent Bouchez Tichadou.

Format:

Book

Contributor:

Rastello, Fabrice., Editor.

Bouchez Tichadou, Florent., Editor.

SpringerLink (Online service)

Language:

English

Subjects (All):

Embedded computer systems.

Compilers (Computer programs).

Microprocessors.

Computer architecture.

Embedded Systems.

Compilers and Interpreters.

Processor Architectures.

Local Subjects:

Embedded Systems.

Compilers and Interpreters.

Processor Architectures.

Physical Description:

1 online resource (XVII, 382 pages) : 148 illustrations, 32 illustrations in color.

Edition:

1st edition 2022.

Contained In:

Springer Nature eBook

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2022.

System Details:

text file PDF

Summary:

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. Provides the first, single-source reference to the widely adopted, static-single assignment (SSA) form of compiler design; Offers readers state-of-the-art, advanced compiler optimization techniques; Includes contributions by subject experts from globally recognized compiler research centers and engineering practitioners at companies such as Google, Facebook, IBM, and Amazon; Employs a textbook style of presentation throughout, with coherent and uniform structure, sequence, terminology, and notations; Offers valuable content both for lecturers (such as vanilla SSA, construction, destruction, propagation, liveness) and advanced compiler developers (including if-conversion, code-selection, hardware compilation, scalar evolution, register allocation, Gated-SSA, Psi-SSA, Hashed-SSA, Array-SSA, SSI).

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.

Other Format:

Printed edition:

ISBN:

9783030805159