A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs
Abstract elided by the publisher.
Related papers
- Fast liveness checking for ssa-form programs CGO 2008
- Efficient alias set analysis using SSA form ISMM 2009
- A practical and fast iterative algorithm for phi-function computation using DJ graphs TOPLAS 2005
- Fast Copy Coalescing and Live-Range Identification PLDI 2002
- A New Algorithm for Partial Redundancy Elimination based on SSA Form PLDI 1997
- Lazy Array Data-Flow Dependence Analysis POPL 1994
- Array SSA Form and Its Use in Parallelization POPL 1998
- Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis OOPSLA 2026