Psi-SSA Form - de Ferrière, François (SSA-based Compiler Design, 2022)
Keywords: Coalescing; Compiler back-end; Compiler design; Constant propagation; Control dependence; Conventional psi-SSA (C-psi-SSA); Dead code elimination; Def-use chain; Extended SSA forms; Flow dependence; Gated single assignment; Gating function; Global value numbering (VGN); Guard; If-conversion; Induction variable recognition; Interference; Normalized psi; Partial redundancy elimination (PRE); phi-web; Pinning; Predicate; Predicated execution; psi-function; psi-inlining; psi-permutation; psi-projection; psi-promotion; psi-reduction; psi-SSA; psi-SSA construction; Speculation; Static single assignment form (SSA form); Transformed psi-SSA (T-psi-SSA); Variable renaming