blob: 24399405fc92f810f5eba805e90315129865db8d [file] [log] [blame]
Chris Lattner4c9df7c2002-08-02 16:43:03 +00001//===- PostDominators.cpp - Post-Dominator Calculation --------------------===//
Misha Brukman2b37d7c2005-04-21 21:13:18 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukman2b37d7c2005-04-21 21:13:18 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner17152292001-07-02 05:46:38 +00009//
Chris Lattner4c9df7c2002-08-02 16:43:03 +000010// This file implements the post-dominator construction algorithms.
Chris Lattner17152292001-07-02 05:46:38 +000011//
12//===----------------------------------------------------------------------===//
13
Chris Lattnera69fd902002-08-21 23:43:50 +000014#include "llvm/Analysis/PostDominators.h"
Misha Brukman47b14a42004-07-29 17:30:56 +000015#include "llvm/Instructions.h"
Chris Lattner221d6882002-02-12 21:07:25 +000016#include "llvm/Support/CFG.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000017#include "llvm/ADT/DepthFirstIterator.h"
18#include "llvm/ADT/SetOperations.h"
Chris Lattnercd7c2872003-12-07 00:35:42 +000019using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000020
Chris Lattner94108ab2001-07-06 16:58:22 +000021//===----------------------------------------------------------------------===//
Nate Begeman442b32b2006-03-11 02:20:46 +000022// ImmediatePostDominators Implementation
23//===----------------------------------------------------------------------===//
24
Chris Lattner5d8925c2006-08-27 22:30:17 +000025static RegisterPass<ImmediatePostDominators>
Nate Begeman442b32b2006-03-11 02:20:46 +000026D("postidom", "Immediate Post-Dominators Construction", true);
27
28unsigned ImmediatePostDominators::DFSPass(BasicBlock *V, InfoRec &VInfo,
29 unsigned N) {
Devang Patelc8719e92006-09-07 23:22:37 +000030 std::vector<std::pair<BasicBlock *, InfoRec *> > workStack;
Devang Patel79db5b72006-09-27 17:18:05 +000031 std::set<BasicBlock *> visited;
Devang Patelc8719e92006-09-07 23:22:37 +000032 workStack.push_back(std::make_pair(V, &VInfo));
33
34 do {
35 BasicBlock *currentBB = workStack.back().first;
36 InfoRec *currentVInfo = workStack.back().second;
Devang Patelc8719e92006-09-07 23:22:37 +000037
Devang Patel79db5b72006-09-27 17:18:05 +000038 // Visit each block only once.
39 if (visited.count(currentBB) == 0) {
Devang Patelc8719e92006-09-07 23:22:37 +000040
Devang Patel79db5b72006-09-27 17:18:05 +000041 visited.insert(currentBB);
42 currentVInfo->Semi = ++N;
43 currentVInfo->Label = currentBB;
44
45 Vertex.push_back(currentBB); // Vertex[n] = current;
46 // Info[currentBB].Ancestor = 0;
47 // Ancestor[n] = 0
48 // Child[currentBB] = 0;
49 currentVInfo->Size = 1; // Size[currentBB] = 1
50 }
Devang Patelc8719e92006-09-07 23:22:37 +000051
Devang Patel79db5b72006-09-27 17:18:05 +000052 // Visit children
53 bool visitChild = false;
Devang Patelc8719e92006-09-07 23:22:37 +000054 for (pred_iterator PI = pred_begin(currentBB), PE = pred_end(currentBB);
Devang Patel79db5b72006-09-27 17:18:05 +000055 PI != PE && !visitChild; ++PI) {
Devang Patelc8719e92006-09-07 23:22:37 +000056 InfoRec &SuccVInfo = Info[*PI];
57 if (SuccVInfo.Semi == 0) {
Devang Patelf93f6832006-09-07 23:29:19 +000058 SuccVInfo.Parent = currentBB;
Devang Patel79db5b72006-09-27 17:18:05 +000059 if (visited.count (*PI) == 0) {
60 workStack.push_back(std::make_pair(*PI, &SuccVInfo));
61 visitChild = true;
62 }
Devang Patelc8719e92006-09-07 23:22:37 +000063 }
Nate Begeman442b32b2006-03-11 02:20:46 +000064 }
Devang Patel79db5b72006-09-27 17:18:05 +000065
66 // If all children are visited or if this block has no child then pop this
67 // block out of workStack.
68 if (!visitChild)
69 workStack.pop_back();
70
Devang Patelc8719e92006-09-07 23:22:37 +000071 } while (!workStack.empty());
Devang Patel79db5b72006-09-27 17:18:05 +000072
Nate Begeman442b32b2006-03-11 02:20:46 +000073 return N;
74}
75
76void ImmediatePostDominators::Compress(BasicBlock *V, InfoRec &VInfo) {
77 BasicBlock *VAncestor = VInfo.Ancestor;
78 InfoRec &VAInfo = Info[VAncestor];
79 if (VAInfo.Ancestor == 0)
80 return;
81
82 Compress(VAncestor, VAInfo);
83
84 BasicBlock *VAncestorLabel = VAInfo.Label;
85 BasicBlock *VLabel = VInfo.Label;
86 if (Info[VAncestorLabel].Semi < Info[VLabel].Semi)
87 VInfo.Label = VAncestorLabel;
88
89 VInfo.Ancestor = VAInfo.Ancestor;
90}
91
92BasicBlock *ImmediatePostDominators::Eval(BasicBlock *V) {
93 InfoRec &VInfo = Info[V];
94
95 // Higher-complexity but faster implementation
96 if (VInfo.Ancestor == 0)
97 return V;
98 Compress(V, VInfo);
99 return VInfo.Label;
100}
101
102void ImmediatePostDominators::Link(BasicBlock *V, BasicBlock *W,
103 InfoRec &WInfo) {
104 // Higher-complexity but faster implementation
105 WInfo.Ancestor = V;
106}
107
108bool ImmediatePostDominators::runOnFunction(Function &F) {
109 IDoms.clear(); // Reset from the last time we were run...
110 Roots.clear();
111
112 // Step #0: Scan the function looking for the root nodes of the post-dominance
113 // relationships. These blocks, which have no successors, end with return and
114 // unwind instructions.
115 for (Function::iterator I = F.begin(), E = F.end(); I != E; ++I)
116 if (succ_begin(I) == succ_end(I))
117 Roots.push_back(I);
118
119 Vertex.push_back(0);
120
121 // Step #1: Number blocks in depth-first order and initialize variables used
122 // in later stages of the algorithm.
123 unsigned N = 0;
124 for (unsigned i = 0, e = Roots.size(); i != e; ++i)
125 N = DFSPass(Roots[i], Info[Roots[i]], N);
126
127 for (unsigned i = N; i >= 2; --i) {
128 BasicBlock *W = Vertex[i];
129 InfoRec &WInfo = Info[W];
130
131 // Step #2: Calculate the semidominators of all vertices
132 for (succ_iterator SI = succ_begin(W), SE = succ_end(W); SI != SE; ++SI)
133 if (Info.count(*SI)) { // Only if this predecessor is reachable!
134 unsigned SemiU = Info[Eval(*SI)].Semi;
135 if (SemiU < WInfo.Semi)
136 WInfo.Semi = SemiU;
137 }
138
139 Info[Vertex[WInfo.Semi]].Bucket.push_back(W);
140
141 BasicBlock *WParent = WInfo.Parent;
142 Link(WParent, W, WInfo);
143
144 // Step #3: Implicitly define the immediate dominator of vertices
145 std::vector<BasicBlock*> &WParentBucket = Info[WParent].Bucket;
146 while (!WParentBucket.empty()) {
147 BasicBlock *V = WParentBucket.back();
148 WParentBucket.pop_back();
149 BasicBlock *U = Eval(V);
150 IDoms[V] = Info[U].Semi < Info[V].Semi ? U : WParent;
151 }
152 }
153
154 // Step #4: Explicitly define the immediate dominator of each vertex
155 for (unsigned i = 2; i <= N; ++i) {
156 BasicBlock *W = Vertex[i];
157 BasicBlock *&WIDom = IDoms[W];
158 if (WIDom != Vertex[Info[W].Semi])
159 WIDom = IDoms[WIDom];
160 }
161
162 // Free temporary memory used to construct idom's
163 Info.clear();
164 std::vector<BasicBlock*>().swap(Vertex);
165
166 return false;
167}
168
169//===----------------------------------------------------------------------===//
Chris Lattner4c9df7c2002-08-02 16:43:03 +0000170// PostDominatorTree Implementation
Chris Lattner17152292001-07-02 05:46:38 +0000171//===----------------------------------------------------------------------===//
172
Chris Lattner5d8925c2006-08-27 22:30:17 +0000173static RegisterPass<PostDominatorTree>
Chris Lattner17689df2002-07-30 16:27:52 +0000174F("postdomtree", "Post-Dominator Tree Construction", true);
Chris Lattner93193f82002-01-31 00:42:27 +0000175
Nate Begeman442b32b2006-03-11 02:20:46 +0000176DominatorTreeBase::Node *PostDominatorTree::getNodeForBlock(BasicBlock *BB) {
177 Node *&BBNode = Nodes[BB];
178 if (BBNode) return BBNode;
179
180 // Haven't calculated this node yet? Get or calculate the node for the
181 // immediate postdominator.
182 BasicBlock *IPDom = getAnalysis<ImmediatePostDominators>()[BB];
183 Node *IPDomNode = getNodeForBlock(IPDom);
184
185 // Add a new tree node for this BasicBlock, and link it as a child of
186 // IDomNode
187 return BBNode = IPDomNode->addChild(new Node(BB, IPDomNode));
188}
189
190void PostDominatorTree::calculate(const ImmediatePostDominators &IPD) {
Chris Lattner706e61e2003-09-10 20:37:08 +0000191 if (Roots.empty()) return;
Nate Begeman442b32b2006-03-11 02:20:46 +0000192
193 // Add a node for the root. This node might be the actual root, if there is
194 // one exit block, or it may be the virtual exit (denoted by (BasicBlock *)0)
195 // which postdominates all real exits if there are multiple exit blocks.
Chris Lattner706e61e2003-09-10 20:37:08 +0000196 BasicBlock *Root = Roots.size() == 1 ? Roots[0] : 0;
Nate Begeman442b32b2006-03-11 02:20:46 +0000197 Nodes[Root] = RootNode = new Node(Root, 0);
198
199 Function *F = Roots[0]->getParent();
200 // Loop over all of the reachable blocks in the function...
201 for (Function::iterator I = F->begin(), E = F->end(); I != E; ++I)
202 if (BasicBlock *ImmPostDom = IPD.get(I)) { // Reachable block.
203 Node *&BBNode = Nodes[I];
204 if (!BBNode) { // Haven't calculated this node yet?
205 // Get or calculate the node for the immediate dominator
206 Node *IPDomNode = getNodeForBlock(ImmPostDom);
207
208 // Add a new tree node for this BasicBlock, and link it as a child of
209 // IDomNode
210 BBNode = IPDomNode->addChild(new Node(I, IPDomNode));
Chris Lattner17152292001-07-02 05:46:38 +0000211 }
212 }
Chris Lattner17152292001-07-02 05:46:38 +0000213}
Nate Begeman442b32b2006-03-11 02:20:46 +0000214
Chris Lattnerccacd3c2006-01-08 08:22:18 +0000215//===----------------------------------------------------------------------===//
216// PostETForest Implementation
217//===----------------------------------------------------------------------===//
218
Chris Lattner5d8925c2006-08-27 22:30:17 +0000219static RegisterPass<PostETForest>
Chris Lattnerccacd3c2006-01-08 08:22:18 +0000220G("postetforest", "Post-ET-Forest Construction", true);
221
222ETNode *PostETForest::getNodeForBlock(BasicBlock *BB) {
223 ETNode *&BBNode = Nodes[BB];
224 if (BBNode) return BBNode;
225
226 // Haven't calculated this node yet? Get or calculate the node for the
227 // immediate dominator.
228 BasicBlock *IDom = getAnalysis<ImmediatePostDominators>()[BB];
229
230 // If we are unreachable, we may not have an immediate dominator.
231 if (!IDom)
232 return BBNode = new ETNode(BB);
233 else {
234 ETNode *IDomNode = getNodeForBlock(IDom);
235
236 // Add a new tree node for this BasicBlock, and link it as a child of
237 // IDomNode
238 BBNode = new ETNode(BB);
239 BBNode->setFather(IDomNode);
240 return BBNode;
241 }
242}
243
244void PostETForest::calculate(const ImmediatePostDominators &ID) {
245 for (unsigned i = 0, e = Roots.size(); i != e; ++i)
246 Nodes[Roots[i]] = new ETNode(Roots[i]); // Add a node for the root
247
248 // Iterate over all nodes in inverse depth first order.
249 for (unsigned i = 0, e = Roots.size(); i != e; ++i)
250 for (idf_iterator<BasicBlock*> I = idf_begin(Roots[i]),
251 E = idf_end(Roots[i]); I != E; ++I) {
252 BasicBlock *BB = *I;
253 ETNode *&BBNode = Nodes[BB];
254 if (!BBNode) {
255 ETNode *IDomNode = NULL;
256
257 if (ID.get(BB))
258 IDomNode = getNodeForBlock(ID.get(BB));
259
260 // Add a new ETNode for this BasicBlock, and set it's parent
261 // to it's immediate dominator.
262 BBNode = new ETNode(BB);
263 if (IDomNode)
264 BBNode->setFather(IDomNode);
265 }
266 }
267
268 int dfsnum = 0;
269 // Iterate over all nodes in depth first order...
270 for (unsigned i = 0, e = Roots.size(); i != e; ++i)
271 for (idf_iterator<BasicBlock*> I = idf_begin(Roots[i]),
272 E = idf_end(Roots[i]); I != E; ++I) {
273 if (!getNodeForBlock(*I)->hasFather())
274 getNodeForBlock(*I)->assignDFSNumber(dfsnum);
275 }
276 DFSInfoValid = true;
277}
Chris Lattner17152292001-07-02 05:46:38 +0000278
Chris Lattner17152292001-07-02 05:46:38 +0000279//===----------------------------------------------------------------------===//
Chris Lattner4c9df7c2002-08-02 16:43:03 +0000280// PostDominanceFrontier Implementation
Chris Lattner17152292001-07-02 05:46:38 +0000281//===----------------------------------------------------------------------===//
282
Chris Lattner5d8925c2006-08-27 22:30:17 +0000283static RegisterPass<PostDominanceFrontier>
Chris Lattner17689df2002-07-30 16:27:52 +0000284H("postdomfrontier", "Post-Dominance Frontier Construction", true);
Chris Lattner93193f82002-01-31 00:42:27 +0000285
Chris Lattner1b7f7dc2002-04-28 16:21:30 +0000286const DominanceFrontier::DomSetType &
Misha Brukman2b37d7c2005-04-21 21:13:18 +0000287PostDominanceFrontier::calculate(const PostDominatorTree &DT,
Chris Lattnerce6ef112002-07-26 18:40:14 +0000288 const DominatorTree::Node *Node) {
Chris Lattner94108ab2001-07-06 16:58:22 +0000289 // Loop over CFG successors to calculate DFlocal[Node]
Chris Lattnerc444a422003-09-11 16:26:13 +0000290 BasicBlock *BB = Node->getBlock();
Chris Lattner94108ab2001-07-06 16:58:22 +0000291 DomSetType &S = Frontiers[BB]; // The new set to fill in...
Chris Lattner706e61e2003-09-10 20:37:08 +0000292 if (getRoots().empty()) return S;
Chris Lattner94108ab2001-07-06 16:58:22 +0000293
Chris Lattner706e61e2003-09-10 20:37:08 +0000294 if (BB)
295 for (pred_iterator SI = pred_begin(BB), SE = pred_end(BB);
296 SI != SE; ++SI)
Misha Brukman2f2d0652003-09-11 18:14:24 +0000297 // Does Node immediately dominate this predecessor?
Chris Lattner706e61e2003-09-10 20:37:08 +0000298 if (DT[*SI]->getIDom() != Node)
299 S.insert(*SI);
Chris Lattner94108ab2001-07-06 16:58:22 +0000300
301 // At this point, S is DFlocal. Now we union in DFup's of our children...
302 // Loop through and visit the nodes that Node immediately dominates (Node's
303 // children in the IDomTree)
304 //
Chris Lattnerce6ef112002-07-26 18:40:14 +0000305 for (PostDominatorTree::Node::const_iterator
306 NI = Node->begin(), NE = Node->end(); NI != NE; ++NI) {
Chris Lattner94108ab2001-07-06 16:58:22 +0000307 DominatorTree::Node *IDominee = *NI;
Chris Lattnerce6ef112002-07-26 18:40:14 +0000308 const DomSetType &ChildDF = calculate(DT, IDominee);
Chris Lattner94108ab2001-07-06 16:58:22 +0000309
310 DomSetType::const_iterator CDFI = ChildDF.begin(), CDFE = ChildDF.end();
311 for (; CDFI != CDFE; ++CDFI) {
Chris Lattner4b5086c2005-11-18 07:28:26 +0000312 if (!Node->properlyDominates(DT[*CDFI]))
Misha Brukmandedf2bd2005-04-22 04:01:18 +0000313 S.insert(*CDFI);
Chris Lattner94108ab2001-07-06 16:58:22 +0000314 }
315 }
316
317 return S;
318}
Chris Lattnera69fd902002-08-21 23:43:50 +0000319
Reid Spencer4f1bd9e2006-06-07 22:00:26 +0000320// Ensure that this .cpp file gets linked when PostDominators.h is used.
321DEFINING_FILE_FOR(PostDominanceFrontier)