Graphs and Gating Functions - Stanier, James; Rastello, Fabrice (SSA-based Compiler Design, 2022)
Keywords: Code selection; Compiler design; Control dependence; Control-flow graph (CFG); Data-flow graph (DFG); Dead node elimination; Demand-driven analysis; Extended SSA forms; Gated single assignment (GSA); Gating function; Parallelization; Phi-entry function; Phi-if function; Program dependence graph (PDG); Program slicing; Rematerialization; Scalar evolution (SCEV); Static single assignment form (SSA form); Strength reduction; Symbolic analysis; Value state dependence graph (VSDG)