000 04298nam a22005415i 4500
001 978-3-030-80515-9
003 DE-He213
005 20240423125248.0
007 cr nn 008mamaa
008 221208s2022 sz | s |||| 0|eng d
020 _a9783030805159
_9978-3-030-80515-9
024 7 _a10.1007/978-3-030-80515-9
_2doi
050 4 _aTK7895.E42
072 7 _aUKM
_2bicssc
072 7 _aTEC008010
_2bisacsh
072 7 _aUKM
_2thema
082 0 4 _a006.22
_223
245 1 0 _aSSA-based Compiler Design
_h[electronic resource] /
_cedited by Fabrice Rastello, Florent Bouchez Tichadou.
250 _a1st ed. 2022.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2022.
300 _aXVII, 382 p. 148 illus., 32 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _a1. 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.
520 _aThis 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).
650 0 _aEmbedded computer systems.
650 0 _aCompilers (Computer programs).
650 0 _aMicroprocessors.
650 0 _aComputer architecture.
650 1 4 _aEmbedded Systems.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aProcessor Architectures.
700 1 _aRastello, Fabrice.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aBouchez Tichadou, Florent.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030805142
776 0 8 _iPrinted edition:
_z9783030805166
776 0 8 _iPrinted edition:
_z9783030805173
856 4 0 _uhttps://doi.org/10.1007/978-3-030-80515-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
942 _cSPRINGER
999 _c176021
_d176021