Tag
fixpoint
- May 27, 2026 Reaching Definitions and the Monotone Dataflow Framework How a compiler computes which assignments can reach each program point, why the answer is a least fixpoint over a lattice, and where the bitvector approximation stops being exact. compilers
- 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