Dominators.cpp File Reference

#include "llvm/IR/Dominators.h"
#include "llvm/ADT/DepthFirstIterator.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/Config/llvm-config.h"
#include "llvm/IR/CFG.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/PassManager.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/GenericDomTreeConstruction.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>

Include dependency graph for Dominators.cpp:

Go to the source code of this file.

Functions
template void	llvm::DomTreeBuilder::Calculate< DomTreeBuilder::BBDomTree > (DomTreeBuilder::BBDomTree &DT)
template void	llvm::DomTreeBuilder::CalculateWithUpdates< DomTreeBuilder::BBDomTree > (DomTreeBuilder::BBDomTree &DT, BBUpdates U)
template void	llvm::DomTreeBuilder::Calculate< DomTreeBuilder::BBPostDomTree > (DomTreeBuilder::BBPostDomTree &DT)
template void	llvm::DomTreeBuilder::InsertEdge< DomTreeBuilder::BBDomTree > (DomTreeBuilder::BBDomTree &DT, BasicBlock *From, BasicBlock *To)
template void	llvm::DomTreeBuilder::InsertEdge< DomTreeBuilder::BBPostDomTree > (DomTreeBuilder::BBPostDomTree &DT, BasicBlock *From, BasicBlock *To)
template void	llvm::DomTreeBuilder::DeleteEdge< DomTreeBuilder::BBDomTree > (DomTreeBuilder::BBDomTree &DT, BasicBlock *From, BasicBlock *To)
template void	llvm::DomTreeBuilder::DeleteEdge< DomTreeBuilder::BBPostDomTree > (DomTreeBuilder::BBPostDomTree &DT, BasicBlock *From, BasicBlock *To)
template void	llvm::DomTreeBuilder::ApplyUpdates< DomTreeBuilder::BBDomTree > (DomTreeBuilder::BBDomTree &DT, DomTreeBuilder::BBUpdates)
template void	llvm::DomTreeBuilder::ApplyUpdates< DomTreeBuilder::BBPostDomTree > (DomTreeBuilder::BBPostDomTree &DT, DomTreeBuilder::BBUpdates)
template bool	llvm::DomTreeBuilder::Verify< DomTreeBuilder::BBDomTree > (const DomTreeBuilder::BBDomTree &DT, DomTreeBuilder::BBDomTree::VerificationLevel VL)
template bool	llvm::DomTreeBuilder::Verify< DomTreeBuilder::BBPostDomTree > (const DomTreeBuilder::BBPostDomTree &DT, DomTreeBuilder::BBPostDomTree::VerificationLevel VL)
	INITIALIZE_PASS (DominatorTreeWrapperPass, "domtree", "Dominator Tree Construction", true, true) bool DominatorTreeWrapperPass

Variables
static cl::opt< bool, true >	VerifyDomInfoX ("verify-dom-info", cl::location(VerifyDomInfo), cl::Hidden, cl::desc("Verify dominator info (time consuming)"))
static constexpr bool	ExpensiveChecksEnabled = false

Function Documentation

INITIALIZE_PASS()

INITIALIZE_PASS	(	DominatorTreeWrapperPass	,
		"domtree"	,
		"Dominator Tree Construction"	,
		true	,
		true
	)

Definition at line 361 of file Dominators.cpp.

llvm::DomTreeBuilder::ApplyUpdates< DomTreeBuilder::BBDomTree >()

template void llvm::DomTreeBuilder::ApplyUpdates< DomTreeBuilder::BBDomTree >	(	DomTreeBuilder::BBDomTree &	DT,
		DomTreeBuilder::BBUpdates
	)

llvm::DomTreeBuilder::ApplyUpdates< DomTreeBuilder::BBPostDomTree >()

template void llvm::DomTreeBuilder::ApplyUpdates< DomTreeBuilder::BBPostDomTree >	(	DomTreeBuilder::BBPostDomTree &	DT,
		DomTreeBuilder::BBUpdates
	)

llvm::DomTreeBuilder::Calculate< DomTreeBuilder::BBDomTree >()

template void llvm::DomTreeBuilder::Calculate< DomTreeBuilder::BBDomTree >

(

DomTreeBuilder::BBDomTree &

DT

)

llvm::DomTreeBuilder::Calculate< DomTreeBuilder::BBPostDomTree >()

template void llvm::DomTreeBuilder::Calculate< DomTreeBuilder::BBPostDomTree >

(

DomTreeBuilder::BBPostDomTree &

DT

)

llvm::DomTreeBuilder::CalculateWithUpdates< DomTreeBuilder::BBDomTree >()

template void llvm::DomTreeBuilder::CalculateWithUpdates< DomTreeBuilder::BBDomTree >	(	DomTreeBuilder::BBDomTree &	DT,
		BBUpdates	U
	)

llvm::DomTreeBuilder::DeleteEdge< DomTreeBuilder::BBDomTree >()

template void llvm::DomTreeBuilder::DeleteEdge< DomTreeBuilder::BBDomTree >	(	DomTreeBuilder::BBDomTree &	DT,
		BasicBlock *	From,
		BasicBlock *	To
	)

llvm::DomTreeBuilder::DeleteEdge< DomTreeBuilder::BBPostDomTree >()

template void llvm::DomTreeBuilder::DeleteEdge< DomTreeBuilder::BBPostDomTree >	(	DomTreeBuilder::BBPostDomTree &	DT,
		BasicBlock *	From,
		BasicBlock *	To
	)

llvm::DomTreeBuilder::InsertEdge< DomTreeBuilder::BBDomTree >()

template void llvm::DomTreeBuilder::InsertEdge< DomTreeBuilder::BBDomTree >	(	DomTreeBuilder::BBDomTree &	DT,
		BasicBlock *	From,
		BasicBlock *	To
	)

llvm::DomTreeBuilder::InsertEdge< DomTreeBuilder::BBPostDomTree >()

template void llvm::DomTreeBuilder::InsertEdge< DomTreeBuilder::BBPostDomTree >	(	DomTreeBuilder::BBPostDomTree &	DT,
		BasicBlock *	From,
		BasicBlock *	To
	)

llvm::DomTreeBuilder::Verify< DomTreeBuilder::BBDomTree >()

template bool llvm::DomTreeBuilder::Verify< DomTreeBuilder::BBDomTree >	(	const DomTreeBuilder::BBDomTree &	DT,
		DomTreeBuilder::BBDomTree::VerificationLevel	VL
	)

llvm::DomTreeBuilder::Verify< DomTreeBuilder::BBPostDomTree >()

template bool llvm::DomTreeBuilder::Verify< DomTreeBuilder::BBPostDomTree >	(	const DomTreeBuilder::BBPostDomTree &	DT,
		DomTreeBuilder::BBPostDomTree::VerificationLevel	VL
	)

Variable Documentation

ExpensiveChecksEnabled

constexpr bool ExpensiveChecksEnabled = false

static

Definition at line 40 of file Dominators.cpp.

VerifyDomInfoX

cl::opt<bool, true> VerifyDomInfoX("verify-dom-info", cl::location(VerifyDomInfo), cl::Hidden, cl::desc("Verify dominator info (time consuming)"))

static