24#ifndef LLVM_SUPPORT_GENERICDOMTREE_H
25#define LLVM_SUPPORT_GENERICDOMTREE_H
46template <
typename NodeT,
bool IsPostDom>
50template <
typename DomTreeT>
68 mutable unsigned DFSNumIn = ~0;
69 mutable unsigned DFSNumOut = ~0;
73 : TheBB(BB), IDom(iDom), Level(IDom ? IDom->Level + 1 : 0) {}
86 return Other.Node == Node;
116 assert(!
C->Sibling &&
"cannot add child that already has siblings");
117 assert(!*AppendPtr &&
"sibling of last child must be nullptr");
119 AppendPtr = &
C->Sibling;
126 assert(*It !=
nullptr &&
"Not in immediate dominator children list!");
127 It = &(*It)->Sibling;
129 assert(!*AppendPtr &&
"sibling of last child must be nullptr");
130 assert(
C->Sibling || AppendPtr == &
C->Sibling);
133 C->Sibling =
nullptr;
138 bool isLeaf()
const {
return FirstChild ==
nullptr; }
141 if (Level !=
Other->Level)
return true;
145 const NodeT *Nd =
I->getBlock();
151 const NodeT *
N =
I->getBlock();
152 if (OtherChildren.
count(
N) == 0)
156 return OwnCount != OtherChildren.
size();
160 assert(IDom &&
"No immediate dominator?");
161 if (IDom == NewIDom)
return;
162 IDom->removeChild(
this);
181 return this->DFSNumIn >= other->DFSNumIn &&
182 this->DFSNumOut <= other->DFSNumOut;
187 if (Level == IDom->Level + 1)
return;
191 while (!WorkStack.empty()) {
193 Current->Level = Current->IDom->Level + 1;
197 if (
C->Level !=
C->IDom->Level + 1) WorkStack.push_back(
C);
203template <
class NodeT>
205 if (
Node->getBlock())
208 O <<
" <<exit node>>";
210 O <<
" {" <<
Node->getDFSNumIn() <<
"," <<
Node->getDFSNumOut() <<
"} ["
211 <<
Node->getLevel() <<
"]\n";
216template <
class NodeT>
219 O.indent(2 * Lev) <<
"[" << Lev <<
"] " <<
N;
220 for (
const auto &
I : *
N)
224namespace DomTreeBuilder {
226template <
typename DomTreeT>
229template <
typename DomTreeT>
233template <
typename DomTreeT>
234void InsertEdge(DomTreeT &DT,
typename DomTreeT::NodePtr From,
235 typename DomTreeT::NodePtr To);
237template <
typename DomTreeT>
238void DeleteEdge(DomTreeT &DT,
typename DomTreeT::NodePtr From,
239 typename DomTreeT::NodePtr To);
241template <
typename DomTreeT>
243 GraphDiff<
typename DomTreeT::NodePtr,
244 DomTreeT::IsPostDominator> &PreViewCFG,
245 GraphDiff<
typename DomTreeT::NodePtr,
246 DomTreeT::IsPostDominator> *PostViewCFG);
248template <
typename DomTreeT>
249bool Verify(
const DomTreeT &DT,
typename DomTreeT::VerificationLevel VL);
257 using ParentPtr =
decltype(std::declval<NodePtr>()->getParent());
258 static_assert(std::is_pointer_v<ParentPtr>,
259 "Currently NodeT's parent must be a pointer type");
270template <
typename NodeT,
bool IsPostDom>
273 static_assert(std::is_pointer_v<typename GraphTraits<NodeT *>::NodeRef>,
274 "Currently DominatorTreeBase supports only pointer nodes");
279 static_assert(std::is_pointer_v<ParentPtr>,
280 "Currently NodeT's parent must be a pointer type");
299 std::conditional_t<!GraphHasNodeNumbers<NodeT *>,
363 if (!std::is_permutation(
Roots.begin(),
Roots.end(),
Other.Roots.begin()))
377 size_t NumOtherNodes = 0;
378 for (
const auto &OtherNode :
Other.DomTreeNodes)
381 return NumNodes != NumOtherNodes;
385 std::optional<unsigned> getNodeIndex(
const NodeT *BB)
const {
390 "dominator tree used with outdated block numbers");
399 unsigned getNodeIndexForInsert(
const NodeT *BB) {
402 unsigned Idx = *getNodeIndex(BB);
404 unsigned Max = GraphTraits<ParentPtr>::getMaxNumber(
Parent);
425 "cannot get DomTreeNode of block with different parent");
426 if (
auto Idx = getNodeIndex(BB); Idx && *Idx <
DomTreeNodes.size())
455 while (!WL.
empty()) {
457 Result.push_back(
N->getBlock());
480 "This is not implemented for post dominators");
503 if (
B->getIDom() ==
A)
return true;
505 if (
A->getIDom() ==
B)
return false;
508 if (
A->getLevel() >=
B->getLevel())
return false;
512#ifdef EXPENSIVE_CHECKS
514 (dominatedBySlowTreeWalk(
A,
B) ==
B->DominatedBy(
A))) &&
515 "Tree walk disagrees with dfs numbers!");
519 return B->DominatedBy(
A);
526 return B->DominatedBy(
A);
529 return dominatedBySlowTreeWalk(
A,
B);
535 assert(this->Roots.
size() == 1 &&
"Should always have entry node!");
536 return this->Roots[0];
542 assert(
A &&
B &&
"Pointers are not valid");
544 "Two blocks are not in same function");
551 if (
A == &Entry ||
B == &Entry)
557 assert(NodeA &&
"A must be in the tree");
558 assert(NodeB &&
"B must be in the tree");
562 while (NodeA != NodeB) {
572 const NodeT *
B)
const {
576 const_cast<NodeT *
>(
B));
583 template <
typename IteratorTy>
587 NodeT *NCD = *Nodes.
begin();
647 if (Updates.
empty()) {
710 assert(
getNode(BB) ==
nullptr &&
"Block already in dominator tree!");
712 assert(IDomNode &&
"Not immediate dominator specified for block!");
723 assert(
getNode(BB) ==
nullptr &&
"Block already in dominator tree!");
725 "Cannot change root of post-dominator tree");
726 DFSInfoValid =
false;
732 NodeT *OldRoot =
Roots.front();
735 OldNode->IDom = NewNode;
736 OldNode->UpdateLevel();
747 assert(
N && NewIDom &&
"Cannot change null node pointers!");
760 std::optional<unsigned> IdxOpt = getNodeIndex(BB);
762 "Removing node that isn't in dominator tree.");
764 assert(
Node->isLeaf() &&
"Node is not a leaf node.");
776 if (!IsPostDom)
return;
780 if (RIt !=
Roots.end()) {
798 O <<
"=============================--------------------------------\n";
800 O <<
"Inorder PostDominator Tree: ";
802 O <<
"Inorder Dominator Tree: ";
804 O <<
"DFSNumbers invalid: " <<
SlowQueries <<
" slow queries.";
811 Block->printAsOperand(O,
false);
831 assert((!
Parent || ThisRoot) &&
"Empty constructed DomTree");
840 ThisRoot->DFSNumIn = DFSNum++;
842 while (!WorkStack.
empty()) {
844 const auto ChildIt = WorkStack.
back().second;
848 if (ChildIt ==
Node->end()) {
849 Node->DFSNumOut = DFSNum++;
854 ++WorkStack.
back().second;
857 Child->DFSNumIn = DFSNum++;
866 void updateBlockNumberEpoch() {
876 updateBlockNumberEpoch();
882 updateBlockNumberEpoch();
887 template <
typename T = NodeT>
889 updateBlockNumberEpoch();
893 NewVector.
resize(MaxNumber + 1);
897 unsigned Idx = *getNodeIndex(
Node->getBlock());
899 if (Idx >= NewVector.
size())
900 NewVector.
resize(Idx + 1);
901 NewVector[Idx] = std::move(
Node);
941 static_assert(std::is_trivially_destructible_v<DomTreeNodeBase<NodeT>>);
943 unsigned NodeIdx = getNodeIndexForInsert(BB);
955 using NodeRef =
typename GraphT::NodeRef;
957 "NewBB should have a single successor!");
958 NodeRef NewBBSucc = *GraphT::child_begin(NewBB);
964 bool NewBBDominatesNewBBSucc =
true;
966 if (Pred != NewBB && !
dominates(NewBBSucc, Pred) &&
968 NewBBDominatesNewBBSucc =
false;
975 NodeT *NewBBIDom =
nullptr;
977 for (i = 0; i < PredBlocks.
size(); ++i)
979 NewBBIDom = PredBlocks[i];
986 if (!NewBBIDom)
return;
988 for (i = i + 1; i < PredBlocks.
size(); ++i) {
998 if (NewBBDominatesNewBBSucc) {
1011 const unsigned ALevel =
A->getLevel();
1016 while ((IDom =
B->getIDom()) !=
nullptr && IDom->
getLevel() >= ALevel)
1023template <
typename T>
1026template <
typename T>
1031template <
typename NodeT,
bool IsPostDom>
1033 const NodeT *
B)
const {
1039template <
typename NodeT,
bool IsPostDom>
1041 const NodeT *
A,
const NodeT *
B)
const {
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static msgpack::DocNode getNode(msgpack::DocNode DN, msgpack::Type Type, MCValue Val)
This file defines the BumpPtrAllocator interface.
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
This file defines the DenseMap class.
This file defines the little GraphTraits<X> template class that should be specialized by classes that...
ppc ctr loops PowerPC CTR Loops Verify
static bool dominates(InstrPosIndexes &PosIndexes, const MachineInstr &A, const MachineInstr &B)
This file defines the SmallPtrSet class.
This file defines the SmallVector class.
void printAsOperand(OutputBuffer &OB, Prec P=Prec::Default, bool StrictlyWorse=false) const
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
bool empty() const
empty - Check if the array is empty.
Allocate memory in an ever growing pool, as if by bump-pointer.
const_iterator & operator++()
bool operator==(const const_iterator &Other) const
DomTreeNodeBase * operator*() const
const_iterator operator++(int)
const_iterator(DomTreeNodeBase *Node=nullptr)
Base class for the actual dominator tree node.
iterator_range< iterator > children()
DomTreeNodeBase(const DomTreeNodeBase &)=delete
void setIDom(DomTreeNodeBase *NewIDom)
void removeChild(DomTreeNodeBase *C)
DomTreeNodeBase * getIDom() const
unsigned getDFSNumIn() const
getDFSNumIn/getDFSNumOut - These return the DFS visitation order for nodes in the dominator tree.
DomTreeNodeBase & operator=(const DomTreeNodeBase &)=delete
DomTreeNodeBase(NodeT *BB, DomTreeNodeBase *iDom)
bool compare(const DomTreeNodeBase *Other) const
friend class PostDominatorTree
unsigned getLevel() const
iterator_range< const_iterator > children() const
unsigned getDFSNumOut() const
void addChild(DomTreeNodeBase *C)
Core dominator tree base class.
DominatorTreeBase(DominatorTreeBase &&Arg)=default
DomTreeNodeTraits< BlockT > NodeTrait
bool isReachableFromEntry(const DomTreeNodeBase< NodeT > *A) const
void print(raw_ostream &O) const
print - Convert to human readable form
typename NodeTrait::NodeType NodeType
DomTreeNodeBase< NodeT > * operator[](const NodeT *BB) const
See getNode.
typename SmallVectorImpl< BlockT * >::iterator root_iterator
DomTreeNodeBase< NodeT > * getRootNode()
getRootNode - This returns the entry node for the CFG of the function.
bool verify(VerificationLevel VL=VerificationLevel::Full) const
verify - checks if the tree is correct.
void changeImmediateDominator(NodeT *BB, NodeT *NewBB)
NodeT * findNearestCommonDominator(NodeT *A, NodeT *B) const
Find nearest common dominator basic block for basic block A and B.
DominatorTreeBase()=default
void Split(typename GraphTraits< N >::NodeRef NewBB)
iterator_range< root_iterator > roots()
void changeImmediateDominator(DomTreeNodeBase< NodeT > *N, DomTreeNodeBase< NodeT > *NewIDom)
changeImmediateDominator - This method is used to update the dominator tree information when a node's...
std::remove_pointer_t< ParentPtr > ParentType
NodeT * findNearestCommonDominator(iterator_range< IteratorTy > Nodes) const
BumpPtrAllocatorImpl< MallocAllocator, SlabSize, SlabSize, 2 > NodeAllocator
bool isPostDominator() const
isPostDominator - Returns true if analysis based of postdoms
bool dominates(const NodeT *A, const NodeT *B) const
const NodeT * findNearestCommonDominator(const NodeT *A, const NodeT *B) const
void getDescendants(NodeT *R, SmallVectorImpl< NodeT * > &Result) const
Get all nodes dominated by R, including R itself.
DomTreeNodeBase< NodeT > * addNewBlock(NodeT *BB, NodeT *DomBB)
Add a new node to the dominator tree information.
DomTreeNodeBase< NodeT > * createNode(NodeT *BB, DomTreeNodeBase< NodeT > *IDom=nullptr)
void applyUpdates(ArrayRef< UpdateType > Updates)
Inform the dominator tree about a sequence of CFG edge insertions and deletions and perform a batch u...
static constexpr size_t SlabSize
void insertEdge(NodeT *From, NodeT *To)
Inform the dominator tree about a CFG edge insertion and update the tree.
std::enable_if_t< GraphHasNodeNumbers< T * >, void > updateBlockNumbers()
Update dominator tree after renumbering blocks.
bool dominates(const DomTreeNodeBase< NodeT > *A, const DomTreeNodeBase< NodeT > *B) const
dominates - Returns true iff A dominates B.
iterator_range< const_root_iterator > roots() const
const_root_iterator root_end() const
void splitBlock(NodeT *NewBB)
splitBlock - BB is split and now it has one successor.
static constexpr UpdateKind Delete
void recalculate(ParentType &Func, ArrayRef< UpdateType > Updates)
void updateDFSNumbers() const
updateDFSNumbers - Assign In and Out numbers to the nodes while walking dominator tree in dfs order.
typename SmallVectorImpl< BlockT * >::const_iterator const_root_iterator
bool compare(const DominatorTreeBase &Other) const
compare - Return false if the other dominator tree base matches this dominator tree base.
DominatorTreeBase & operator=(DominatorTreeBase &&RHS)=default
DomTreeNodeBase< NodeT > * setNewRoot(NodeT *BB)
Add a new node to the forward dominator tree and make it a new root.
SmallVector< DomTreeNodeBase< BlockT > * > DomTreeNodeStorageTy
root_iterator root_begin()
DominatorTreeBase(const DominatorTreeBase &)=delete
static constexpr UpdateKind Insert
const_root_iterator root_begin() const
void recalculate(ParentType &Func)
recalculate - compute a dominator tree for the given function
SmallVector< BlockT *, IsPostDom ? 4 :1 > Roots
void eraseNode(NodeT *BB)
eraseNode - Removes a node from the dominator tree.
void deleteEdge(NodeT *From, NodeT *To)
Inform the dominator tree about a CFG edge deletion and update the tree.
const DomTreeNodeBase< NodeT > * getRootNode() const
std::conditional_t<!GraphHasNodeNumbers< BlockT * >, DenseMap< const BlockT *, unsigned >, std::tuple<> > NodeNumberMap
DomTreeNodeBase< BlockT > * RootNode
typename NodeTrait::NodePtr NodePtr
bool isReachableFromEntry(const NodeT *A) const
isReachableFromEntry - Return true if A is dominated by the entry block of the function containing it...
cfg::Update< NodePtr > UpdateType
cfg::UpdateKind UpdateKind
void applyUpdates(ArrayRef< UpdateType > Updates, ArrayRef< UpdateType > PostViewUpdates)
unsigned BlockNumberEpoch
DomTreeNodeStorageTy DomTreeNodes
DomTreeNodeBase< NodeT > * getNode(const NodeT *BB) const
getNode - return the (Post)DominatorTree node for the specified basic block.
bool properlyDominates(const NodeT *A, const NodeT *B) const
bool properlyDominates(const DomTreeNodeBase< NodeT > *A, const DomTreeNodeBase< NodeT > *B) const
properlyDominates - Returns true iff A dominates B and A != B.
bool isVirtualRoot(const DomTreeNodeBase< NodeT > *A) const
typename NodeTrait::ParentPtr ParentPtr
DominatorTreeBase & operator=(const DominatorTreeBase &)=delete
static constexpr bool IsPostDominator
size_type count(ConstPtrType Ptr) const
count - Return 1 if the specified pointer is in the set, 0 otherwise.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
typename SuperClass::const_iterator const_iterator
void append(ItTy in_start, ItTy in_end)
Add the specified range to the end of the SmallVector.
typename SuperClass::iterator iterator
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
CRTP base class which implements the entire standard iterator facade in terms of a minimal subset of ...
A range adaptor for a pair of iterators.
This class implements an extremely fast bulk output stream that can only output to a stream.
@ C
The default llvm calling convention, compatible with C.
bool Verify(const DomTreeT &DT, typename DomTreeT::VerificationLevel VL)
void CalculateWithUpdates(DomTreeT &DT, ArrayRef< typename DomTreeT::UpdateType > Updates)
void DeleteEdge(DomTreeT &DT, typename DomTreeT::NodePtr From, typename DomTreeT::NodePtr To)
void Calculate(DomTreeT &DT)
void ApplyUpdates(DomTreeT &DT, GraphDiff< typename DomTreeT::NodePtr, DomTreeT::IsPostDominator > &PreViewCFG, GraphDiff< typename DomTreeT::NodePtr, DomTreeT::IsPostDominator > *PostViewCFG)
void InsertEdge(DomTreeT &DT, typename DomTreeT::NodePtr From, typename DomTreeT::NodePtr To)
This is an optimization pass for GlobalISel generic memory operations.
auto drop_begin(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the first N elements excluded.
auto find(R &&Range, const T &Val)
Provide wrappers to std::find which take ranges instead of having to pass begin/end explicitly.
void PrintDomTree(const DomTreeNodeBase< NodeT > *N, raw_ostream &O, unsigned Lev)
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
constexpr bool GraphHasNodeNumbers
Indicate whether a GraphTraits<NodeT>::getNumber() is supported.
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
DominatorTreeBase< T, true > PostDomTreeBase
DominatorTreeBase< T, false > DomTreeBase
bool hasSingleElement(ContainerTy &&C)
Returns true if the given container only contains a single element.
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
iterator_range< typename GraphTraits< Inverse< GraphType > >::ChildIteratorType > inverse_children(const typename GraphTraits< GraphType >::NodeRef &G)
raw_ostream & operator<<(raw_ostream &OS, const APFixedPoint &FX)
ArrayRef(const T &OneElt) -> ArrayRef< T >
iterator_range< typename GraphTraits< GraphType >::ChildIteratorType > children(const typename GraphTraits< GraphType >::NodeRef &G)
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
Default DomTreeNode traits for NodeT.
static NodeT * getEntryNode(ParentPtr Parent)
std::remove_pointer_t< ParentPtr > ParentType
static ParentPtr getParent(NodePtr BB)
decltype(std::declval< NodePtr >() ->getParent()) ParentPtr
typename GraphType::UnknownGraphTypeError NodeRef