LLVM API Documentation
#include <Dominators.h>
Inheritance diagram for llvm::DominatorSetBase:
Public Types | |
typedef std::set< BasicBlock * > | DomSetType |
typedef std::map< BasicBlock *, DomSetType > | DomSetMapType |
typedef DomSetMapType::const_iterator | const_iterator |
typedef DomSetMapType::iterator | iterator |
Public Member Functions | |
DominatorSetBase (bool isPostDom) | |
virtual void | releaseMemory () |
const_iterator | begin () const |
iterator | begin () |
const_iterator | end () const |
iterator | end () |
const_iterator | find (BasicBlock *B) const |
iterator | find (BasicBlock *B) |
const DomSetType & | getDominators (BasicBlock *BB) const |
bool | isReachable (BasicBlock *BB) const |
bool | dominates (BasicBlock *A, BasicBlock *B) const |
bool | properlyDominates (BasicBlock *A, BasicBlock *B) const |
virtual void | print (std::ostream &OS) const |
bool | dominates (Instruction *A, Instruction *B) const |
void | addBasicBlock (BasicBlock *BB, const DomSetType &Dominators) |
void | addDominator (BasicBlock *BB, BasicBlock *NewDominator) |
Protected Attributes | |
DomSetMapType | Doms |
Definition at line 169 of file Dominators.h.
|
Definition at line 181 of file Dominators.h. |
|
Definition at line 172 of file Dominators.h. |
|
Definition at line 170 of file Dominators.h. |
|
Definition at line 182 of file Dominators.h. |
|
Definition at line 176 of file Dominators.h. |
|
addBasicBlock - Call to update the dominator set with information about a new block that was inserted into the function. Definition at line 235 of file Dominators.h. References Doms, end(), and find(). Referenced by llvm::SplitCriticalEdge(). |
|
addDominator - If a new block is inserted into the CFG, then method may be called to notify the blocks it dominates that it is in their set. Definition at line 243 of file Dominators.h. |
|
Definition at line 184 of file Dominators.h. References Doms. |
|
Definition at line 183 of file Dominators.h. References Doms. Referenced by print(). |
|
dominates - Return true if A dominates B. This performs the special checks necessary if A and B are in the same basic block. Definition at line 240 of file Dominators.cpp. References dominates(), llvm::Instruction::getParent(), and I. |
|
dominates - Return true if A dominates B. Definition at line 209 of file Dominators.h. References getDominators(). Referenced by CalcRegionExitBlocks(), dominates(), FindPHIToPartitionLoops(), and properlyDominates(). |
|
Definition at line 186 of file Dominators.h. References Doms. |
|
Definition at line 185 of file Dominators.h. References Doms. Referenced by addBasicBlock(), addDominator(), getDominators(), and print(). |
|
Definition at line 188 of file Dominators.h. References Doms. |
|
Definition at line 187 of file Dominators.h. References Doms. Referenced by addBasicBlock(), addDominator(), and getDominators(). |
|
getDominators - Return the set of basic blocks that dominate the specified block. Definition at line 194 of file Dominators.h. References end(), find(), and I. Referenced by dominates(), isReachable(), and llvm::SplitCriticalEdge(). |
|
isReachable - Return true if the specified basicblock is reachable. If the block is reachable, we have dominator set information for it. Definition at line 203 of file Dominators.h. References getDominators(). |
|
print - Convert to human readable form Reimplemented from llvm::Pass. Definition at line 316 of file Dominators.cpp. References begin(), E, end(), I, and llvm::WriteAsOperand(). |
|
properlyDominates - Return true if A dominates B and A != B. Definition at line 215 of file Dominators.h. References dominates(). |
|
releaseMemory() - This member can be implemented by a pass if it wants to be able to release its memory when it is no longer needed. The default behavior of passes is to hold onto memory for the entire duration of their lifetime (which is the entire compile time). For pipelined passes, this is not a big deal because that memory gets recycled every time the pass is invoked on another program unit. For IP passes, it is more important to free memory when it is unused. Optionally implement this function to release pass memory when it is no longer used. Reimplemented from llvm::Pass. Definition at line 178 of file Dominators.h. References Doms. |
|
Definition at line 174 of file Dominators.h. Referenced by addBasicBlock(), begin(), end(), find(), releaseMemory(), llvm::PostDominatorSet::runOnFunction(), and llvm::DominatorSet::runOnFunction(). |