Standard Construction and Destruction Algorithms - Singer, Jeremy; Rastello, Fabrice (SSA-based Compiler Design, 2022)
Keywords: Compiler design; Conventional SSA (C-SSA); Critical edge; Dead code elimination; Def-use chain; DJ-graph; Dominance frontier; Iterated dominance frontier; Join set; Live-range splitting; Minimal SSA; Parallel copy; Phi-function insertion; Phi-web; Semi-pruned SSA; SSA construction; SSA destruction; Static single assignment form (SSA form); Transformed SSA (T-SSA); Vanilla SSA; Variable renaming; Variable version