CFG.cpp File Reference

#include "llvm/Analysis/CFG.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/IR/Dominators.h"
#include "llvm/Support/CommandLine.h"

Go to the source code of this file.

Classes
class	SingleEntrySet< T >

Functions
static const Loop *	getOutermostLoop (const LoopInfo *LI, const BasicBlock *BB)
template<class StopSetT >
static bool	isReachableImpl (SmallVectorImpl< BasicBlock * > &Worklist, const StopSetT &StopSet, const SmallPtrSetImpl< BasicBlock * > *ExclusionSet, const DominatorTree *DT, const LoopInfo *LI)

Variables
static cl::opt< unsigned >	DefaultMaxBBsToExplore ("dom-tree-reachability-max-bbs-to-explore", cl::Hidden, cl::desc("Max number of BBs to explore for reachability analysis"), cl::init(32))

Function Documentation

getOutermostLoop()

static const Loop * getOutermostLoop ( const LoopInfo *  LI, const BasicBlock *  BB  )

static

Definition at line 128 of file CFG.cpp.

References llvm::LoopInfoBase< BlockT, LoopT >::getLoopFor().

Referenced by isReachableImpl().

isReachableImpl()

template<class StopSetT >

static bool isReachableImpl ( SmallVectorImpl< BasicBlock * > &  Worklist, const StopSetT &  StopSet, const SmallPtrSetImpl< BasicBlock * > *  ExclusionSet, const DominatorTree *  DT, const LoopInfo *  LI  )

static

Definition at line 134 of file CFG.cpp.

References llvm::any_of(), llvm::SmallVectorImpl< T >::append(), llvm::SmallPtrSetImpl< PtrType >::contains(), llvm::SmallPtrSetImpl< PtrType >::count(), DefaultMaxBBsToExplore, llvm::DominatorTree::dominates(), llvm::SmallPtrSetImplBase::empty(), llvm::SmallVectorBase< Size_T >::empty(), getOutermostLoop(), llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::DominatorTree::isReachableFromEntry(), llvm::SmallVectorImpl< T >::pop_back_val(), llvm::succ_begin(), and llvm::succ_end().

Variable Documentation

DefaultMaxBBsToExplore

cl::opt< unsigned > DefaultMaxBBsToExplore("dom-tree-reachability-max-bbs-to-explore", cl::Hidden, cl::desc("Max number of BBs to explore for reachability analysis"), cl::init(32)) ( "dom-tree-reachability-max-bbs-to-explore"  , cl::Hidden  , cl::desc("Max number of BBs to explore for reachability analysis")  , cl::init(32)    )

static

Referenced by isReachableImpl().