SSA-based Compiler Design
(Sprache: Englisch)
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...
(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...
Jetzt vorbestellen
versandkostenfrei
Buch (Gebunden)
120.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „SSA-based Compiler Design “
Klappentext zu „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 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.
Inhaltsverzeichnis zu „SSA-based Compiler Design “
1. Introduction 2. Properties and flavors3. Standard Construction and Destruction Algorithms4. Advanced Construction Algorithms for SSA5. SSA Reconstruction6. Functional Representations of SSA7. Introduction8. Propagating Information using SSA9. Liveness10. Loop Tree and Induction Variables
11. Redundancy Elimination
12. Introduction13. 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
Autoren-Porträt
Fabrice Rastello is an Inria research director and the leader of the CORSE (Compiler Optimization and Runtime SystEms) Inria team. His expertize includes automatic parallelization (PhD thesis on tiling as a loop transformations), and compiler back-end optimizations (engineer at STMicroelectronics's compiler group + researcher at Inria). Among others, he advised several PhD thesis so as to fully revisit register allocation for JIT compilation in the light of Static Single Assignment (SSA) properties. He likes mixing theory (mostly graphs, algorithmic, and algebra) and practice (industrial transfer). His current research topics include: (i) combining run-time techniques with static compilation, hybrid compilation being an example of such approach he is trying to promote; (ii) performance debugging through static and dynamic (binary instrumentation) analysis; (iii) revisiting compilers infrastructure for pattern specific programs.
Bibliographische Angaben
- 2022, 1st ed. 2022, XVII, 382 Seiten, 32 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Gebunden, Englisch
- Herausgegeben: Fabrice Rastello, Florent Bouchez Tichadou
- Verlag: Springer, Berlin
- ISBN-10: 303080514X
- ISBN-13: 9783030805142
Sprache:
Englisch
Kommentar zu "SSA-based Compiler Design"
Schreiben Sie einen Kommentar zu "SSA-based Compiler Design".
Kommentar verfassen