Using the SSA-Form in a Code Generator
Abstract elided by the publisher.
Related papers
- Verified construction of static single assignment form CC 2016
- Static Single Assignment Form for machine Code PLDI 1999
- A New Algorithm for Partial Redundancy Elimination based on SSA Form PLDI 1997
- Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency CGO 2009
- Fast liveness checking for ssa-form programs CGO 2008
- An SSA-based algorithm for optimal speculative code motion under an execution profile PLDI 2011
- Array SSA Form and Its Use in Parallelization POPL 1998
- Partial redundancy elimination in SSA form TOPLAS 1999