Loop Tree and Induction Variables - Pop, Sebastian; Cohen, Albert (SSA-based Compiler Design, 2022)
Keywords: Chain of recurrences; Compiler design; Induction variable recognition; Loop optimization; Phi-entry node; Phi-exit node; Reducible loop; Scalar evolution (SCEV); Static analysis; Static single assignment form (SSA form); Use-def chain