¶bool formLCSSAForInstructions(
    SmallVectorImpl<llvm::Instruction*>& Worklist,
    llvm::DominatorTree& DT,
    llvm::LoopInfo& LI,
    llvm::ScalarEvolution* SE)

Description

Ensures LCSSA form for every instruction from the Worklist in the scope of innermost containing loop. For the given instruction which have uses outside of the loop, an LCSSA PHI node is inserted and the uses outside the loop are rewritten to use this node. LoopInfo and DominatorTree are required and, since the routine makes no changes to CFG, preserved. Returns true if any modifications are made.

Declared at: llvm/include/llvm/Transforms/Utils/LoopUtils.h:75

Parameters

SmallVectorImpl<llvm::Instruction*>& Worklist

llvm::DominatorTree& DT

llvm::LoopInfo& LI

llvm::ScalarEvolution* SE