LCSSA.cpp File Reference (original) (raw)

Go to the source code of this file.

Functions
	STATISTIC (NumLCSSA, "Number of live out of a loop variables")

static bool	isExitBlock (BasicBlock BB, const SmallVectorImpl< BasicBlock > &ExitBlocks)
	Return true if the specified block is in the list.

static bool	formLCSSAForInstructionsImpl (SmallVectorImpl< Instruction * > &Worklist, const DominatorTree &DT, const LoopInfo &LI, ScalarEvolution SE, SmallVectorImpl< PHINode > PHIsToRemove, SmallVectorImpl< PHINode > *InsertedPHIs, LoopExitBlocksTy &LoopExitBlocks)
	For every instruction from the worklist, check to see if it has any uses that are outside the current loop.

static void	computeBlocksDominatingExits (Loop &L, const DominatorTree &DT, ArrayRef< BasicBlock * > ExitBlocks, SmallSetVector< BasicBlock *, 8 > &BlocksDominatingExits)

static bool	formLCSSAImpl (Loop &L, const DominatorTree &DT, const LoopInfo LI, ScalarEvolution SE, LoopExitBlocksTy &LoopExitBlocks)

static bool	formLCSSARecursivelyImpl (Loop &L, const DominatorTree &DT, const LoopInfo LI, ScalarEvolution SE, LoopExitBlocksTy &LoopExitBlocks)
	Process a loop nest depth first.

static bool	formLCSSAOnAllLoops (const LoopInfo LI, const DominatorTree &DT, ScalarEvolution SE)
	Process all loops in the function, inner-most out.

	INITIALIZE_PASS_BEGIN (LCSSAWrapperPass, "lcssa", "Loop-Closed SSA Form Pass", false, false) INITIALIZE_PASS_END(LCSSAWrapperPass

Variables
static bool	VerifyLoopLCSSA = false

static cl::opt< bool, true >	VerifyLoopLCSSAFlag ("verify-loop-lcssa", cl::location(VerifyLoopLCSSA), cl::Hidden, cl::desc("Verify loop lcssa form (time consuming)"))

	lcssa

Loop Closed SSA Form	Pass

Loop Closed SSA Form	false

◆ DEBUG_TYPE

#define DEBUG_TYPE "lcssa"

◆ LoopExitBlocksTy

◆ computeBlocksDominatingExits()

Definition at line 337 of file LCSSA.cpp.

References llvm::SmallVectorBase< Size_T >::empty(), llvm::DomTreeNodeBase< NodeT >::getBlock(), llvm::DomTreeNodeBase< NodeT >::getIDom(), llvm::DominatorTreeBase< NodeT, IsPostDom >::getNode(), llvm::SetVector< T, Vector, Set, N >::insert(), llvm::SmallVectorImpl< T >::pop_back_val(), and llvm::SmallVectorTemplateBase< T, bool >::push_back().

Referenced by formLCSSAImpl().

◆ formLCSSAForInstructionsImpl()

For every instruction from the worklist, check to see if it has any uses that are outside the current loop.

If so, insert LCSSA PHI nodes and rewrite the uses.

Definition at line 83 of file LCSSA.cpp.

References llvm::SSAUpdater::AddAvailableValue(), llvm::PHINode::addIncoming(), llvm::SmallVectorImpl< T >::append(), assert(), llvm::SetVector< T, Vector, Set, N >::begin(), llvm::BasicBlock::begin(), llvm::SmallVectorImpl< T >::clear(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::count(), llvm::PHINode::Create(), llvm::DominatorTree::dominates(), llvm::SmallVectorBase< Size_T >::empty(), llvm::SetVector< T, Vector, Set, N >::end(), llvm::findDbgValues(), llvm::SSAUpdater::FindValueForBlock(), llvm::BasicBlock::front(), llvm::PredIteratorCache::get(), llvm::PoisonValue::get(), llvm::ScalarEvolution::getExistingSCEV(), llvm::LoopInfoBase< BlockT, LoopT >::getLoopFor(), llvm::BasicBlock::getMarker(), llvm::DominatorTreeBase< NodeT, IsPostDom >::getNode(), llvm::PHINode::getNumIncomingValues(), llvm::PHINode::getOperandNumForIncomingValue(), llvm::User::getOperandUse(), llvm::BasicBlock::getParent(), llvm::DbgMarker::getParent(), llvm::ScalarEvolution::getSCEV(), llvm::SSAUpdater::HasValueForBlock(), I, llvm::SSAUpdater::Initialize(), llvm::SetVector< T, Vector, Set, N >::insert(), llvm::Instruction::insertBefore(), isExitBlock(), llvm::DominatorTree::isReachableFromEntry(), llvm::ScalarEvolution::isSCEVable(), llvm::make_early_inc_range(), llvm::SmallVectorImpl< T >::pop_back_val(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::SSAUpdater::RewriteUse(), llvm::Instruction::setDebugLoc(), llvm::SmallVectorBase< Size_T >::size(), and llvm::PredIteratorCache::size().

Referenced by llvm::formLCSSAForInstructions(), and formLCSSAImpl().

◆ formLCSSAImpl()

Definition at line 379 of file LCSSA.cpp.

References assert(), computeBlocksDominatingExits(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::count(), llvm::SmallVectorBase< Size_T >::empty(), formLCSSAForInstructionsImpl(), llvm::LoopInfoBase< BlockT, LoopT >::getLoopFor(), I, and llvm::SmallVectorTemplateBase< T, bool >::push_back().

Referenced by llvm::formLCSSA(), and formLCSSARecursivelyImpl().

◆ formLCSSAOnAllLoops()

◆ formLCSSARecursivelyImpl()

◆ INITIALIZE_PASS_BEGIN()

INITIALIZE_PASS_BEGIN	(	LCSSAWrapperPass	,
"lcssa"	,
"Loop-Closed SSA Form Pass"	,
false	,
false
)

◆ isExitBlock()

◆ STATISTIC()

STATISTIC	(	NumLCSSA	,
"Number of live out of a loop variables"
)

◆ false

◆ Pass

◆ VerifyLoopLCSSA

bool VerifyLoopLCSSA = false	static