Tag
constant-propagation
- Jun 17, 2025 Constant Propagation over a Flat Lattice Propagating constants requires a lattice with an explicit top element for "not constant", a meet that never guesses, and an SSA-based solver that avoids the quadratic worklist. compilers
- Jul 4, 2022 Sparse Conditional Constant Propagation Across the SSA Graph How SCCP combines constant propagation with reachability so that unreachable branches stop contributing values, and why the sparse formulation converges faster than a dense lattice iteration. compilers