¶bool formLCSSA(llvm::Loop& L,
               llvm::DominatorTree& DT,
               llvm::LoopInfo* LI,
               llvm::ScalarEvolution* SE)

Description

Put loop into LCSSA form. Looks at all instructions in the loop which have uses outside of the current loop. For each, an LCSSA PHI node is inserted and the uses outside the loop are rewritten to use this node. Sub-loops must be in LCSSA form already. LoopInfo and DominatorTree are required and preserved. If ScalarEvolution is passed in, it will be preserved. Returns true if any modifications are made to the loop.

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

Parameters

llvm::Loop& L

llvm::DominatorTree& DT

llvm::LoopInfo* LI

llvm::ScalarEvolution* SE