LLVM 20.0.0git
|
Store the result of a depth first search within basic blocks contained by a single loop. More...
#include "llvm/Analysis/LoopIterator.h"
Public Types | |
typedef std::vector< BasicBlock * >::const_iterator | POIterator |
Postorder list iterators. | |
typedef std::vector< BasicBlock * >::const_reverse_iterator | RPOIterator |
Public Member Functions | |
LoopBlocksDFS (Loop *Container) | |
Loop * | getLoop () const |
void | perform (const LoopInfo *LI) |
Traverse the loop blocks and store the DFS result. | |
bool | isComplete () const |
Return true if postorder numbers are assigned to all loop blocks. | |
POIterator | beginPostorder () const |
Iterate over the cached postorder blocks. | |
POIterator | endPostorder () const |
RPOIterator | beginRPO () const |
Reverse iterate over the cached postorder blocks. | |
RPOIterator | endRPO () const |
bool | hasPreorder (BasicBlock *BB) const |
Return true if this block has been preorder visited. | |
bool | hasPostorder (BasicBlock *BB) const |
Return true if this block has a postorder number. | |
unsigned | getPostorder (BasicBlock *BB) const |
Get a block's postorder number. | |
unsigned | getRPO (BasicBlock *BB) const |
Get a block's reverse postorder number. | |
void | clear () |
Friends | |
class | LoopBlocksTraversal |
Store the result of a depth first search within basic blocks contained by a single loop.
TODO: This could be generalized for any CFG region, or the entire CFG.
Definition at line 97 of file LoopIterator.h.
typedef std::vector<BasicBlock*>::const_iterator llvm::LoopBlocksDFS::POIterator |
Postorder list iterators.
Definition at line 100 of file LoopIterator.h.
typedef std::vector<BasicBlock*>::const_reverse_iterator llvm::LoopBlocksDFS::RPOIterator |
Definition at line 101 of file LoopIterator.h.
|
inline |
Definition at line 115 of file LoopIterator.h.
References llvm::LoopBase< BlockT, LoopT >::getNumBlocks(), and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::reserve().
|
inline |
Iterate over the cached postorder blocks.
Definition at line 129 of file LoopIterator.h.
References assert(), and isComplete().
|
inline |
Reverse iterate over the cached postorder blocks.
Definition at line 136 of file LoopIterator.h.
References assert(), and isComplete().
Referenced by llvm::LoopBlocksRPO::begin(), llvm::LoopVectorizationCostModel::calculateRegisterUsage(), cloneLoopBlocks(), CloneLoopBlocks(), llvm::DataDependenceGraph::DataDependenceGraph(), llvm::UnrollAndJamLoop(), and llvm::UnrollLoop().
|
inline |
Definition at line 164 of file LoopIterator.h.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::clear().
|
inline |
Definition at line 133 of file LoopIterator.h.
|
inline |
Definition at line 140 of file LoopIterator.h.
Referenced by llvm::LoopVectorizationCostModel::calculateRegisterUsage(), cloneLoopBlocks(), CloneLoopBlocks(), llvm::DataDependenceGraph::DataDependenceGraph(), llvm::LoopBlocksRPO::end(), llvm::UnrollAndJamLoop(), and llvm::UnrollLoop().
|
inline |
Definition at line 120 of file LoopIterator.h.
|
inline |
Get a block's postorder number.
Definition at line 152 of file LoopIterator.h.
References assert(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), and I.
Referenced by getRPO().
|
inline |
Get a block's reverse postorder number.
Definition at line 160 of file LoopIterator.h.
References getPostorder().
|
inline |
Return true if this block has a postorder number.
Definition at line 146 of file LoopIterator.h.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), and I.
|
inline |
Return true if this block has been preorder visited.
Definition at line 143 of file LoopIterator.h.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::count().
|
inline |
Return true if postorder numbers are assigned to all loop blocks.
Definition at line 126 of file LoopIterator.h.
Referenced by beginPostorder(), and beginRPO().
Traverse the loop blocks and store the DFS result.
Useful for clients that just want the final DFS result and don't need to visit blocks during the initial traversal.
Definition at line 1254 of file LoopInfo.cpp.
References llvm::LoopBlocksTraversal::begin(), and llvm::LoopBlocksTraversal::end().
Referenced by llvm::LoopVectorizationCostModel::calculateRegisterUsage(), llvm::DataDependenceGraph::DataDependenceGraph(), llvm::peelLoop(), llvm::LoopBlocksRPO::perform(), llvm::UnrollAndJamLoop(), llvm::UnrollLoop(), and llvm::UnrollRuntimeLoopRemainder().
|
friend |
Definition at line 103 of file LoopIterator.h.