¶bool hoistRegion(llvm::DomTreeNode*,
                 llvm::AAResults*,
                 llvm::LoopInfo*,
                 llvm::DominatorTree*,
                 llvm::BlockFrequencyInfo*,
                 llvm::TargetLibraryInfo*,
                 llvm::Loop*,
                 llvm::MemorySSAUpdater&,
                 llvm::ScalarEvolution*,
                 llvm::ICFLoopSafetyInfo*,
                 llvm::SinkAndHoistLICMFlags&,
                 llvm::OptimizationRemarkEmitter*,
                 bool,
                 bool AllowSpeculation)

Description

Walk the specified region of the CFG (defined by all blocks dominated by the specified block, and that are in the current loop) in depth first order w.r.t the DominatorTree. This allows us to visit definitions before uses, allowing us to hoist a loop body in one pass without iteration. Takes DomTreeNode, AAResults, LoopInfo, DominatorTree, BlockFrequencyInfo, TargetLibraryInfo, Loop, AliasSet information for all instructions of the loop and loop safety information as arguments. Diagnostics is emitted via \p ORE. It returns changed status.\p AllowSpeculation is whether values should be hoisted even if they are not guaranteed to execute in the loop, but are safe to speculatively execute.

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

Parameters

llvm::DomTreeNode*

llvm::AAResults*

llvm::LoopInfo*

llvm::DominatorTree*

llvm::BlockFrequencyInfo*

llvm::TargetLibraryInfo*

llvm::Loop*

llvm::MemorySSAUpdater&

llvm::ScalarEvolution*

llvm::ICFLoopSafetyInfo*

llvm::SinkAndHoistLICMFlags&

llvm::OptimizationRemarkEmitter*

bool

bool AllowSpeculation