Ssa-Based Compiler Design (Hardcover, 2015)

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.