Propagating Information Using SSA - Brandner, Florian; Novillo, Diego (SSA-based Compiler Design, 2022)
Keywords: Compact evaluation graph (CEG); Compiler design; Computer Science; Constant propagation; Control dependence; Copy propagation; Data dependence; Data-flow analysis; Forward analysis; Lattice; Liveness analysis; Maximal fixed point (MFP); Meet over all path (MOP); Monotone analysis; Programming Languages; Propagation; Range propagation; Single-entry/single-exit region (SESE); Sparse data-flow analysis; Sparse evaluation graph (SEG); SSA graph; Static analysis; Static single assignment form (SSA form); Transfer function; SSA Graph; Sparse evaluation graph (SEG); Sparce Data-Flow Analysis; Static Single Assignment Form; Copy propagation; Single-entry/single-exit region (SESE); Meet over all path (MOP); Static Analysis; Compact evaluation graph (CEG); Constant Propagation