LLVM 19.0.0git
GenericIteratedDominanceFrontier.h
Go to the documentation of this file.
1//===- IteratedDominanceFrontier.h - Calculate IDF --------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8/// \file
9/// Compute iterated dominance frontiers using a linear time algorithm.
10///
11/// The algorithm used here is based on:
12///
13/// Sreedhar and Gao. A linear time algorithm for placing phi-nodes.
14/// In Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of
15/// Programming Languages
16/// POPL '95. ACM, New York, NY, 62-73.
17///
18/// It has been modified to not explicitly use the DJ graph data structure and
19/// to directly compute pruned SSA using per-variable liveness information.
20//
21//===----------------------------------------------------------------------===//
22
23#ifndef LLVM_SUPPORT_GENERICITERATEDDOMINANCEFRONTIER_H
24#define LLVM_SUPPORT_GENERICITERATEDDOMINANCEFRONTIER_H
25
29#include <queue>
30
31namespace llvm {
32
33namespace IDFCalculatorDetail {
34
35/// Generic utility class used for getting the children of a basic block.
36/// May be specialized if, for example, one wouldn't like to return nullpointer
37/// successors.
38template <class NodeTy, bool IsPostDom> struct ChildrenGetterTy {
41
42 ChildrenTy get(const NodeRef &N);
43};
44
45} // end of namespace IDFCalculatorDetail
46
47/// Determine the iterated dominance frontier, given a set of defining
48/// blocks, and optionally, a set of live-in blocks.
49///
50/// In turn, the results can be used to place phi nodes.
51///
52/// This algorithm is a linear time computation of Iterated Dominance Frontiers,
53/// pruned using the live-in set.
54/// By default, liveness is not used to prune the IDF computation.
55/// The template parameters should be of a CFG block type.
56template <class NodeTy, bool IsPostDom> class IDFCalculatorBase {
57public:
59 std::conditional_t<IsPostDom, Inverse<NodeTy *>, NodeTy *>;
62
64
66 const ChildrenGetterTy &C)
67 : DT(DT), ChildrenGetter(C) {}
68
69 /// Give the IDF calculator the set of blocks in which the value is
70 /// defined. This is equivalent to the set of starting blocks it should be
71 /// calculating the IDF for (though later gets pruned based on liveness).
72 ///
73 /// Note: This set *must* live for the entire lifetime of the IDF calculator.
75 DefBlocks = &Blocks;
76 }
77
78 /// Give the IDF calculator the set of blocks in which the value is
79 /// live on entry to the block. This is used to prune the IDF calculation to
80 /// not include blocks where any phi insertion would be dead.
81 ///
82 /// Note: This set *must* live for the entire lifetime of the IDF calculator.
84 LiveInBlocks = &Blocks;
85 useLiveIn = true;
86 }
87
88 /// Reset the live-in block set to be empty, and tell the IDF
89 /// calculator to not use liveness anymore.
91 LiveInBlocks = nullptr;
92 useLiveIn = false;
93 }
94
95 /// Calculate iterated dominance frontiers
96 ///
97 /// This uses the linear-time phi algorithm based on DJ-graphs mentioned in
98 /// the file-level comment. It performs DF->IDF pruning using the live-in
99 /// set, to avoid computing the IDF for blocks where an inserted PHI node
100 /// would be dead.
102
103private:
105 ChildrenGetterTy ChildrenGetter;
106 bool useLiveIn = false;
107 const SmallPtrSetImpl<NodeTy *> *LiveInBlocks;
108 const SmallPtrSetImpl<NodeTy *> *DefBlocks;
109};
110
111//===----------------------------------------------------------------------===//
112// Implementation.
113//===----------------------------------------------------------------------===//
114
115namespace IDFCalculatorDetail {
116
117template <class NodeTy, bool IsPostDom>
120 using OrderedNodeTy =
122
123 auto Children = children<OrderedNodeTy>(N);
124 return {Children.begin(), Children.end()};
125}
126
127} // end of namespace IDFCalculatorDetail
128
129template <class NodeTy, bool IsPostDom>
131 SmallVectorImpl<NodeTy *> &IDFBlocks) {
132 // Use a priority queue keyed on dominator tree level so that inserted nodes
133 // are handled from the bottom of the dominator tree upwards. We also augment
134 // the level with a DFS number to ensure that the blocks are ordered in a
135 // deterministic way.
136 using DomTreeNodePair =
137 std::pair<DomTreeNodeBase<NodeTy> *, std::pair<unsigned, unsigned>>;
138 using IDFPriorityQueue =
139 std::priority_queue<DomTreeNodePair, SmallVector<DomTreeNodePair, 32>,
141
142 IDFPriorityQueue PQ;
143
144 DT.updateDFSNumbers();
145
148 SmallPtrSet<DomTreeNodeBase<NodeTy> *, 32> VisitedWorklist;
149
150 for (NodeTy *BB : *DefBlocks)
151 if (DomTreeNodeBase<NodeTy> *Node = DT.getNode(BB)) {
152 PQ.push({Node, std::make_pair(Node->getLevel(), Node->getDFSNumIn())});
153 VisitedWorklist.insert(Node);
154 }
155
156 while (!PQ.empty()) {
157 DomTreeNodePair RootPair = PQ.top();
158 PQ.pop();
159 DomTreeNodeBase<NodeTy> *Root = RootPair.first;
160 unsigned RootLevel = RootPair.second.first;
161
162 // Walk all dominator tree children of Root, inspecting their CFG edges with
163 // targets elsewhere on the dominator tree. Only targets whose level is at
164 // most Root's level are added to the iterated dominance frontier of the
165 // definition set.
166
167 assert(Worklist.empty());
168 Worklist.push_back(Root);
169
170 while (!Worklist.empty()) {
172 NodeTy *BB = Node->getBlock();
173 // Succ is the successor in the direction we are calculating IDF, so it is
174 // successor for IDF, and predecessor for Reverse IDF.
175 auto DoWork = [&](NodeTy *Succ) {
176 DomTreeNodeBase<NodeTy> *SuccNode = DT.getNode(Succ);
177
178 const unsigned SuccLevel = SuccNode->getLevel();
179 if (SuccLevel > RootLevel)
180 return;
181
182 if (!VisitedPQ.insert(SuccNode).second)
183 return;
184
185 NodeTy *SuccBB = SuccNode->getBlock();
186 if (useLiveIn && !LiveInBlocks->count(SuccBB))
187 return;
188
189 IDFBlocks.emplace_back(SuccBB);
190 if (!DefBlocks->count(SuccBB))
191 PQ.push(std::make_pair(
192 SuccNode, std::make_pair(SuccLevel, SuccNode->getDFSNumIn())));
193 };
194
195 for (auto *Succ : ChildrenGetter.get(BB))
196 DoWork(Succ);
197
198 for (auto DomChild : *Node) {
199 if (VisitedWorklist.insert(DomChild).second)
200 Worklist.push_back(DomChild);
201 }
202 }
203 }
204}
205
206} // end of namespace llvm
207
208#endif
DenseMap< Block *, BlockRelaxAux > Blocks
Definition: ELF_riscv.cpp:507
This file defines a set of templates that efficiently compute a dominator tree over a generic graph.
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file defines the SmallPtrSet class.
This file defines the SmallVector class.
Base class for the actual dominator tree node.
unsigned getDFSNumIn() const
getDFSNumIn/getDFSNumOut - These return the DFS visitation order for nodes in the dominator tree.
NodeT * getBlock() const
unsigned getLevel() const
Core dominator tree base class.
Determine the iterated dominance frontier, given a set of defining blocks, and optionally,...
IDFCalculatorBase(DominatorTreeBase< NodeTy, IsPostDom > &DT)
void resetLiveInBlocks()
Reset the live-in block set to be empty, and tell the IDF calculator to not use liveness anymore.
void calculate(SmallVectorImpl< NodeTy * > &IDFBlocks)
Calculate iterated dominance frontiers.
void setLiveInBlocks(const SmallPtrSetImpl< NodeTy * > &Blocks)
Give the IDF calculator the set of blocks in which the value is live on entry to the block.
void setDefiningBlocks(const SmallPtrSetImpl< NodeTy * > &Blocks)
Give the IDF calculator the set of blocks in which the value is defined.
IDFCalculatorBase(DominatorTreeBase< NodeTy, IsPostDom > &DT, const ChildrenGetterTy &C)
std::conditional_t< IsPostDom, Inverse< NodeTy * >, NodeTy * > OrderedNodeTy
A templated base class for SmallPtrSet which provides the typesafe interface that is common across al...
Definition: SmallPtrSet.h:321
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
Definition: SmallPtrSet.h:342
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
Definition: SmallPtrSet.h:427
bool empty() const
Definition: SmallVector.h:94
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: SmallVector.h:586
reference emplace_back(ArgTypes &&... Args)
Definition: SmallVector.h:950
void push_back(const T &Elt)
Definition: SmallVector.h:426
@ C
The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
#define N
typename GraphType::UnknownGraphTypeError NodeRef
Definition: GraphTraits.h:80
Specialization for BasicBlock for the optional use of GraphDiff.
Generic utility class used for getting the children of a basic block.
typename GraphTraits< NodeTy * >::NodeRef NodeRef
Function object to check whether the second component of a container supported by std::get (like std:...
Definition: STLExtras.h:1459