|
LLVM
4.0.0
|
DominatorTree Class - Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree. More...
#include <MachineDominators.h>
Public Member Functions | |
| MachineDominatorTree () | |
| ~MachineDominatorTree () override | |
| DominatorTreeBase < MachineBasicBlock > & | getBase () |
| void | getAnalysisUsage (AnalysisUsage &AU) const override |
| getAnalysisUsage - This function should be overriden by passes that need analysis information to do their job. More... | |
| const std::vector < MachineBasicBlock * > & | getRoots () const |
| getRoots - Return the root blocks of the current CFG. More... | |
| MachineBasicBlock * | getRoot () const |
| MachineDomTreeNode * | getRootNode () const |
| bool | runOnMachineFunction (MachineFunction &F) override |
| runOnMachineFunction - This method must be overloaded to perform the desired machine code transformation or analysis. More... | |
| bool | dominates (const MachineDomTreeNode *A, const MachineDomTreeNode *B) const |
| bool | dominates (const MachineBasicBlock *A, const MachineBasicBlock *B) const |
| bool | dominates (const MachineInstr *A, const MachineInstr *B) const |
| bool | properlyDominates (const MachineDomTreeNode *A, const MachineDomTreeNode *B) const |
| bool | properlyDominates (const MachineBasicBlock *A, const MachineBasicBlock *B) const |
| MachineBasicBlock * | findNearestCommonDominator (MachineBasicBlock *A, MachineBasicBlock *B) |
| findNearestCommonDominator - Find nearest common dominator basic block for basic block A and B. More... | |
| MachineDomTreeNode * | operator[] (MachineBasicBlock *BB) const |
| MachineDomTreeNode * | getNode (MachineBasicBlock *BB) const |
| getNode - return the (Post)DominatorTree node for the specified basic block. More... | |
| MachineDomTreeNode * | addNewBlock (MachineBasicBlock *BB, MachineBasicBlock *DomBB) |
| addNewBlock - Add a new node to the dominator tree information. More... | |
| void | changeImmediateDominator (MachineBasicBlock *N, MachineBasicBlock *NewIDom) |
| changeImmediateDominator - This method is used to update the dominator tree information when a node's immediate dominator changes. More... | |
| void | changeImmediateDominator (MachineDomTreeNode *N, MachineDomTreeNode *NewIDom) |
| void | eraseNode (MachineBasicBlock *BB) |
| eraseNode - Removes a node from the dominator tree. More... | |
| void | splitBlock (MachineBasicBlock *NewBB) |
| splitBlock - BB is split and now it has one successor. More... | |
| bool | isReachableFromEntry (const MachineBasicBlock *A) |
| isReachableFromEntry - Return true if A is dominated by the entry block of the function containing it. More... | |
| void | releaseMemory () override |
| 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. More... | |
| void | verifyAnalysis () const override |
| verifyAnalysis() - This member can be implemented by a analysis pass to check state of analysis information. More... | |
| void | print (raw_ostream &OS, const Module *) const override |
| print - Print out the internal state of the pass. More... | |
| void | recordSplitCriticalEdge (MachineBasicBlock *FromBB, MachineBasicBlock *ToBB, MachineBasicBlock *NewBB) |
| Record that the critical edge (FromBB, ToBB) has been split with NewBB. More... | |
| bool | compare (const MachineDominatorTree &Other) const |
| Returns false if the other dominator tree matches this dominator tree. More... | |
| void | verifyDomTree () const |
| Verify the correctness of the domtree by re-computing it. More... | |
Public Member Functions inherited from llvm::MachineFunctionPass | |
| bool | doInitialization (Module &) override |
| doInitialization - Virtual method overridden by subclasses to do any necessary initialization before any pass is run. More... | |
Public Member Functions inherited from llvm::FunctionPass | |
| FunctionPass (char &pid) | |
| Pass * | createPrinterPass (raw_ostream &O, const std::string &Banner) const override |
| createPrinterPass - Get a function printer pass. More... | |
| void | assignPassManager (PMStack &PMS, PassManagerType T) override |
| Find appropriate Function Pass Manager or Call Graph Pass Manager in the PM Stack and add self into that manager. More... | |
| PassManagerType | getPotentialPassManagerType () const override |
| Return what kind of Pass Manager can manage this pass. More... | |
Public Member Functions inherited from llvm::Pass | |
| Pass (PassKind K, char &pid) | |
| virtual | ~Pass () |
| PassKind | getPassKind () const |
| virtual StringRef | getPassName () const |
| getPassName - Return a nice clean name for a pass. More... | |
| AnalysisID | getPassID () const |
| getPassID - Return the PassID number that corresponds to this pass. More... | |
| virtual bool | doFinalization (Module &) |
| doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes have run. More... | |
| void | dump () const |
| virtual void | preparePassManager (PMStack &) |
| Check if available pass managers are suitable for this pass or not. More... | |
| void | setResolver (AnalysisResolver *AR) |
| AnalysisResolver * | getResolver () const |
| virtual void * | getAdjustedAnalysisPointer (AnalysisID ID) |
| getAdjustedAnalysisPointer - This method is used when a pass implements an analysis interface through multiple inheritance. More... | |
| virtual ImmutablePass * | getAsImmutablePass () |
| virtual PMDataManager * | getAsPMDataManager () |
| virtual void | dumpPassStructure (unsigned Offset=0) |
| template<typename AnalysisType > | |
| AnalysisType * | getAnalysisIfAvailable () const |
| getAnalysisIfAvailable<AnalysisType>() - Subclasses use this function to get analysis information that might be around, for example to update it. More... | |
| bool | mustPreserveAnalysisID (char &AID) const |
| mustPreserveAnalysisID - This method serves the same function as getAnalysisIfAvailable, but works if you just have an AnalysisID. More... | |
| template<typename AnalysisType > | |
| AnalysisType & | getAnalysis () const |
| getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information that they claim to use by overriding the getAnalysisUsage function. More... | |
| template<typename AnalysisType > | |
| AnalysisType & | getAnalysis (Function &F) |
| getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information that they claim to use by overriding the getAnalysisUsage function. More... | |
| template<typename AnalysisType > | |
| AnalysisType & | getAnalysisID (AnalysisID PI) const |
| template<typename AnalysisType > | |
| AnalysisType & | getAnalysisID (AnalysisID PI, Function &F) |
Static Public Attributes | |
| static char | ID = 0 |
Additional Inherited Members | |
Static Public Member Functions inherited from llvm::Pass | |
| static const PassInfo * | lookupPassInfo (const void *TI) |
| static const PassInfo * | lookupPassInfo (StringRef Arg) |
| static Pass * | createPass (AnalysisID ID) |
Protected Member Functions inherited from llvm::MachineFunctionPass | |
| MachineFunctionPass (char &ID) | |
| void | getAnalysisUsage (AnalysisUsage &AU) const override |
| getAnalysisUsage - Subclasses that override getAnalysisUsage must call this. More... | |
| virtual MachineFunctionProperties | getRequiredProperties () const |
| virtual MachineFunctionProperties | getSetProperties () const |
| virtual MachineFunctionProperties | getClearedProperties () const |
Protected Member Functions inherited from llvm::FunctionPass | |
| bool | skipFunction (const Function &F) const |
| Optional passes call this function to check whether the pass should be skipped. More... | |
DominatorTree Class - Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
Definition at line 41 of file MachineDominators.h.
| MachineDominatorTree::MachineDominatorTree | ( | ) |
Definition at line 57 of file MachineDominators.cpp.
References llvm::PassRegistry::getPassRegistry(), and llvm::initializeMachineDominatorTreePass().
|
override |
Definition at line 63 of file MachineDominators.cpp.
|
inline |
addNewBlock - Add a new node to the dominator tree information.
This creates a new node as a child of DomBB dominator node,linking it into the children list of the immediate dominator.
Definition at line 176 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::addNewBlock().
|
inline |
changeImmediateDominator - This method is used to update the dominator tree information when a node's immediate dominator changes.
Definition at line 185 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::changeImmediateDominator().
|
inline |
Definition at line 191 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::changeImmediateDominator().
|
inline |
Returns false if the other dominator tree matches this dominator tree.
Definition at line 249 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::compare(), llvm::DomTreeNodeBase< NodeT >::getBlock(), and getRootNode().
Referenced by verifyDomTree().
|
inline |
Definition at line 107 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::dominates().
Referenced by llvm::rdf::Liveness::getAllReachingDefs(), OneUseDominatesOtherUses(), ReplaceDominatedUses(), and SortBlocks().
|
inline |
Definition at line 113 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::dominates().
|
inline |
Definition at line 121 of file MachineDominators.h.
References A, B, llvm::MachineBasicBlock::begin(), llvm::DominatorTreeBase< N >::dominates(), llvm::MachineInstr::getParent(), and I.
|
inline |
eraseNode - Removes a node from the dominator tree.
Block must not dominate any other blocks. Removes node from its immediate dominator's children list. Deletes dominator node associated with basic block BB.
Definition at line 200 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::eraseNode().
|
inline |
findNearestCommonDominator - Find nearest common dominator basic block for basic block A and B.
If there is no such block then return NULL.
Definition at line 154 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::findNearestCommonDominator().
Referenced by PlaceBlockMarker().
|
overridevirtual |
getAnalysisUsage - This function should be overriden by passes that need analysis information to do their job.
If a pass specifies that it uses a particular analysis result to this function, it can then use the getAnalysis<AnalysisType>() function, below.
Reimplemented from llvm::Pass.
|
inline |
Definition at line 79 of file MachineDominators.h.
|
inline |
getNode - return the (Post)DominatorTree node for the specified basic block.
This is the same as using operator[] on this class.
Definition at line 168 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::getNode().
|
inline |
Definition at line 95 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::getRoot().
Referenced by verifyDomTree().
|
inline |
Definition at line 100 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::getRootNode().
Referenced by compare(), and llvm::GraphTraits< MachineDominatorTree * >::getEntryNode().
|
inline |
getRoots - Return the root blocks of the current CFG.
This may include multiple blocks if we are computing post dominators. For forward dominators, this will always be a single block (the entry node).
Definition at line 90 of file MachineDominators.h.
References llvm::DominatorBase< NodeT >::getRoots().
|
inline |
isReachableFromEntry - Return true if A is dominated by the entry block of the function containing it.
Definition at line 214 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::isReachableFromEntry().
|
inline |
Definition at line 160 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::getNode().
|
overridevirtual |
print - Print out the internal state of the pass.
This is called by Analyze to print out the contents of an analysis. Otherwise it is not necessary to implement this method. Beware that the module pointer MAY be null. This automatically forwards to a virtual function that does not provide the Module* in case the analysis doesn't need it it can just be ignored.
Reimplemented from llvm::Pass.
Definition at line 76 of file MachineDominators.cpp.
Referenced by verifyDomTree().
|
inline |
Definition at line 140 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::properlyDominates().
|
inline |
Definition at line 146 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::properlyDominates().
|
inline |
Record that the critical edge (FromBB, ToBB) has been split with NewBB.
This is best to use this method instead of directly update the underlying information, because this helps mitigating the number of time the DT information is invalidated.
Definition at line 237 of file MachineDominators.h.
References assert(), llvm::SmallSet< T, N, C >::insert(), and llvm::SmallVectorTemplateBase< T, isPodLike >::push_back().
|
overridevirtual |
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 67 of file MachineDominators.cpp.
|
overridevirtual |
runOnMachineFunction - This method must be overloaded to perform the desired machine code transformation or analysis.
Implements llvm::MachineFunctionPass.
Definition at line 49 of file MachineDominators.cpp.
References llvm::SmallVectorImpl< T >::clear().
|
inline |
splitBlock - BB is split and now it has one successor.
Update dominator tree to reflect this change.
Definition at line 207 of file MachineDominators.h.
References llvm::DominatorTreeBase< N >::splitBlock().
|
overridevirtual |
verifyAnalysis() - This member can be implemented by a analysis pass to check state of analysis information.
Reimplemented from llvm::Pass.
Definition at line 71 of file MachineDominators.cpp.
References verifyDomTree(), and VerifyMachineDomInfo.
| void MachineDominatorTree::verifyDomTree | ( | ) | const |
Verify the correctness of the domtree by re-computing it.
This should only be used for debugging as it aborts the program if the verification fails.
Definition at line 145 of file MachineDominators.cpp.
References compare(), llvm::errs(), F, llvm::MachineBasicBlock::getParent(), getRoot(), and print().
Referenced by verifyAnalysis().
|
static |
Definition at line 73 of file MachineDominators.h.
1.8.6