Overview

The manner in which programs are represented in compilers has a large influence on the efficiency and effectiveness of the compiler. The Static Single Assignment (SSA) form is widely used in modern compilers, even at the code generation level, as it allows for simple yet efficient optimizations and analyses. This book offers the first comprehensive reference on SSA-based compilers. Special emphasis is put on the comparison of SSA-based techniques to their non-SSA counterparts.

Full Product Details

Author:   Fabrice Rastello
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   2015 ed.
ISBN:  

9781441962010

ISBN 10:   1441962018
Pages:   290
Publication Date:   04 January 2016
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Properties and Flavors.- Classical construction/update/destruction algorithms.- Alternative SSA construction/destruction algorithms.- Repair SSA after optimization.- Semantics.- Array SSA.- Hashed SSA form: HSSA.-Extended SSA Numbering.- Memory SSA in GCC.- Concurrent SSA.- Static Single Information Form.- SSRO.- Psi-SSA Form.- Gated SSA.- Predicated SSA.- Value State Dependence Graph.- Propagating information using SSA.- Deadcode elimination in SSA.- Liveliness.- Additional Gain from PSI SSA.- Alias Analysis.- Bitwidth analysis value range analysis.- Loop tree.- PRE.- Typestate analysis.-Machine dependent optimizations and codegen.- Register allocation.- The interaction of instruction scheduling and SSA form.- Code selection.- Automatic Parallelization and Sequencialization.- If conversion.- Hardware compilation.- JITS.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions