blob: 0f39f44a00994870f5233d35a446fbcd8c0ca3bd [file] [log] [blame]
Chris Lattner4a810672003-08-31 01:54:59 +00001//===- CallGraphSCCPass.cpp - Pass that operates BU on call graph ---------===//
Misha Brukman2b37d7c2005-04-21 21:13:18 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman2b37d7c2005-04-21 21:13:18 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner4a810672003-08-31 01:54:59 +00009//
10// This file implements the CallGraphSCCPass class, which is used for passes
11// which are implemented as bottom-up traversals on the call graph. Because
12// there may be cycles in the call graph, passes of this type operate on the
13// call-graph in SCC order: that is, they process function bottom-up, except for
14// recursive functions, which they process all at once.
15//
16//===----------------------------------------------------------------------===//
17
Chris Lattnerbe577652009-08-31 07:23:46 +000018#define DEBUG_TYPE "cgscc-passmgr"
Chris Lattner4a810672003-08-31 01:54:59 +000019#include "llvm/CallGraphSCCPass.h"
Chris Lattnera782e752010-03-30 04:03:22 +000020#include "llvm/IntrinsicInst.h"
21#include "llvm/Function.h"
22#include "llvm/PassManagers.h"
Chris Lattner4a810672003-08-31 01:54:59 +000023#include "llvm/Analysis/CallGraph.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000024#include "llvm/ADT/SCCIterator.h"
Chris Lattnerbe577652009-08-31 07:23:46 +000025#include "llvm/Support/Debug.h"
Chris Lattnera782e752010-03-30 04:03:22 +000026#include "llvm/Support/Timer.h"
Chris Lattner45cfe542009-08-23 06:03:38 +000027#include "llvm/Support/raw_ostream.h"
Chris Lattnera10df502004-04-20 21:30:06 +000028using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000029
Devang Patel75f9abf2007-01-17 21:45:01 +000030//===----------------------------------------------------------------------===//
31// CGPassManager
32//
Dale Johannesendb2659b2009-09-10 22:01:32 +000033/// CGPassManager manages FPPassManagers and CallGraphSCCPasses.
Devang Patel75f9abf2007-01-17 21:45:01 +000034
Dan Gohman844731a2008-05-13 00:00:25 +000035namespace {
36
Devang Patel75f9abf2007-01-17 21:45:01 +000037class CGPassManager : public ModulePass, public PMDataManager {
Devang Patel75f9abf2007-01-17 21:45:01 +000038public:
Devang Patel19974732007-05-03 01:11:54 +000039 static char ID;
Dan Gohmanc2bbfc12007-08-01 15:32:29 +000040 explicit CGPassManager(int Depth)
Dan Gohmanae73dc12008-09-04 17:05:41 +000041 : ModulePass(&ID), PMDataManager(Depth) { }
Devang Patel75f9abf2007-01-17 21:45:01 +000042
43 /// run - Execute all of the passes scheduled for execution. Keep track of
44 /// whether any of the passes modifies the module, and if so, return true.
45 bool runOnModule(Module &M);
46
Bill Wendling905c7e92009-02-11 18:19:24 +000047 bool doInitialization(CallGraph &CG);
48 bool doFinalization(CallGraph &CG);
Devang Patel75f9abf2007-01-17 21:45:01 +000049
50 /// Pass Manager itself does not invalidate any analysis info.
51 void getAnalysisUsage(AnalysisUsage &Info) const {
52 // CGPassManager walks SCC and it needs CallGraph.
53 Info.addRequired<CallGraph>();
54 Info.setPreservesAll();
55 }
56
Devang Patel505f36a2007-02-01 22:09:37 +000057 virtual const char *getPassName() const {
58 return "CallGraph Pass Manager";
59 }
60
Chris Lattner3660eca2010-01-22 05:24:46 +000061 virtual PMDataManager *getAsPMDataManager() { return this; }
62 virtual Pass *getAsPass() { return this; }
63
Devang Patel75f9abf2007-01-17 21:45:01 +000064 // Print passes managed by this manager
65 void dumpPassStructure(unsigned Offset) {
David Greene2e48e532009-12-23 23:09:39 +000066 errs().indent(Offset*2) << "Call Graph SCC Pass Manager\n";
Devang Patel75f9abf2007-01-17 21:45:01 +000067 for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) {
68 Pass *P = getContainedPass(Index);
69 P->dumpPassStructure(Offset + 1);
70 dumpLastUses(P, Offset+1);
71 }
72 }
73
74 Pass *getContainedPass(unsigned N) {
Chris Lattner45cfe542009-08-23 06:03:38 +000075 assert(N < PassVector.size() && "Pass number out of range!");
76 return static_cast<Pass *>(PassVector[N]);
Devang Patel75f9abf2007-01-17 21:45:01 +000077 }
78
Devang Patel84da80d2007-02-27 15:00:39 +000079 virtual PassManagerType getPassManagerType() const {
Devang Patel75f9abf2007-01-17 21:45:01 +000080 return PMT_CallGraphPassManager;
81 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +000082
83private:
Chris Lattnerbe577652009-08-31 07:23:46 +000084 bool RunPassOnSCC(Pass *P, std::vector<CallGraphNode*> &CurSCC,
85 CallGraph &CG, bool &CallGraphUpToDate);
Chris Lattner5a6a3632009-09-01 18:32:03 +000086 void RefreshCallGraph(std::vector<CallGraphNode*> &CurSCC, CallGraph &CG,
87 bool IsCheckingMode);
Devang Patel75f9abf2007-01-17 21:45:01 +000088};
89
Chris Lattnerf3a1c152009-08-31 06:01:21 +000090} // end anonymous namespace.
Dan Gohman844731a2008-05-13 00:00:25 +000091
Devang Patel19974732007-05-03 01:11:54 +000092char CGPassManager::ID = 0;
Chris Lattnerf3a1c152009-08-31 06:01:21 +000093
Chris Lattnerbe577652009-08-31 07:23:46 +000094bool CGPassManager::RunPassOnSCC(Pass *P, std::vector<CallGraphNode*> &CurSCC,
95 CallGraph &CG, bool &CallGraphUpToDate) {
Chris Lattnerf3a1c152009-08-31 06:01:21 +000096 bool Changed = false;
Chris Lattner5a66cb92010-01-22 05:46:59 +000097 PMDataManager *PM = P->getAsPMDataManager();
98
99 if (PM == 0) {
100 CallGraphSCCPass *CGSP = (CallGraphSCCPass*)P;
Chris Lattnerbe577652009-08-31 07:23:46 +0000101 if (!CallGraphUpToDate) {
Chris Lattner5a6a3632009-09-01 18:32:03 +0000102 RefreshCallGraph(CurSCC, CG, false);
Chris Lattnerbe577652009-08-31 07:23:46 +0000103 CallGraphUpToDate = true;
104 }
Chris Lattner44a18372009-09-01 20:33:43 +0000105
Chris Lattnera782e752010-03-30 04:03:22 +0000106 {
107 TimeRegion PassTimer(getPassTimer(CGSP));
108 Changed = CGSP->runOnSCC(CurSCC);
109 }
Chris Lattner5a6a3632009-09-01 18:32:03 +0000110
111 // After the CGSCCPass is done, when assertions are enabled, use
112 // RefreshCallGraph to verify that the callgraph was correctly updated.
113#ifndef NDEBUG
114 if (Changed)
115 RefreshCallGraph(CurSCC, CG, true);
116#endif
117
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000118 return Changed;
119 }
120
Chris Lattner5a66cb92010-01-22 05:46:59 +0000121
122 assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
123 "Invalid CGPassManager member");
124 FPPassManager *FPP = (FPPassManager*)P;
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000125
126 // Run pass P on all functions in the current SCC.
127 for (unsigned i = 0, e = CurSCC.size(); i != e; ++i) {
128 if (Function *F = CurSCC[i]->getFunction()) {
129 dumpPassInfo(P, EXECUTION_MSG, ON_FUNCTION_MSG, F->getName());
Chris Lattnera782e752010-03-30 04:03:22 +0000130 TimeRegion PassTimer(getPassTimer(FPP));
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000131 Changed |= FPP->runOnFunction(*F);
132 }
133 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000134
Chris Lattner2038cf32009-08-31 17:08:30 +0000135 // The function pass(es) modified the IR, they may have clobbered the
Chris Lattnerbe577652009-08-31 07:23:46 +0000136 // callgraph.
137 if (Changed && CallGraphUpToDate) {
David Greenec81ce582009-12-23 20:10:59 +0000138 DEBUG(dbgs() << "CGSCCPASSMGR: Pass Dirtied SCC: "
Chris Lattnerbe577652009-08-31 07:23:46 +0000139 << P->getPassName() << '\n');
140 CallGraphUpToDate = false;
141 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000142 return Changed;
143}
144
Chris Lattner5a6a3632009-09-01 18:32:03 +0000145
146/// RefreshCallGraph - Scan the functions in the specified CFG and resync the
147/// callgraph with the call sites found in it. This is used after
148/// FunctionPasses have potentially munged the callgraph, and can be used after
149/// CallGraphSCC passes to verify that they correctly updated the callgraph.
150///
Chris Lattnerbe577652009-08-31 07:23:46 +0000151void CGPassManager::RefreshCallGraph(std::vector<CallGraphNode*> &CurSCC,
Chris Lattner5a6a3632009-09-01 18:32:03 +0000152 CallGraph &CG, bool CheckingMode) {
Chris Lattnera541b0f2009-09-01 06:31:31 +0000153 DenseMap<Value*, CallGraphNode*> CallSites;
Chris Lattnerbe577652009-08-31 07:23:46 +0000154
David Greenec81ce582009-12-23 20:10:59 +0000155 DEBUG(dbgs() << "CGSCCPASSMGR: Refreshing SCC with " << CurSCC.size()
Chris Lattnerbe577652009-08-31 07:23:46 +0000156 << " nodes:\n";
157 for (unsigned i = 0, e = CurSCC.size(); i != e; ++i)
158 CurSCC[i]->dump();
159 );
160
161 bool MadeChange = false;
Chris Lattnerbe577652009-08-31 07:23:46 +0000162
163 // Scan all functions in the SCC.
164 for (unsigned sccidx = 0, e = CurSCC.size(); sccidx != e; ++sccidx) {
165 CallGraphNode *CGN = CurSCC[sccidx];
166 Function *F = CGN->getFunction();
167 if (F == 0 || F->isDeclaration()) continue;
168
169 // Walk the function body looking for call sites. Sync up the call sites in
170 // CGN with those actually in the function.
Chris Lattner17146b82009-09-01 18:13:40 +0000171
Chris Lattnerbe577652009-08-31 07:23:46 +0000172 // Get the set of call sites currently in the function.
Duncan Sandsb3020d72009-09-02 03:48:41 +0000173 for (CallGraphNode::iterator I = CGN->begin(), E = CGN->end(); I != E; ) {
Chris Lattnera541b0f2009-09-01 06:31:31 +0000174 // If this call site is null, then the function pass deleted the call
Chris Lattner17146b82009-09-01 18:13:40 +0000175 // entirely and the WeakVH nulled it out.
Chris Lattnera541b0f2009-09-01 06:31:31 +0000176 if (I->first == 0 ||
177 // If we've already seen this call site, then the FunctionPass RAUW'd
178 // one call with another, which resulted in two "uses" in the edge
179 // list of the same call.
180 CallSites.count(I->first) ||
181
182 // If the call edge is not from a call or invoke, then the function
183 // pass RAUW'd a call with another value. This can happen when
184 // constant folding happens of well known functions etc.
185 CallSite::get(I->first).getInstruction() == 0) {
Chris Lattner5a6a3632009-09-01 18:32:03 +0000186 assert(!CheckingMode &&
187 "CallGraphSCCPass did not update the CallGraph correctly!");
188
Chris Lattnerd3bd0822009-09-02 04:39:04 +0000189 // Just remove the edge from the set of callees, keep track of whether
190 // I points to the last element of the vector.
191 bool WasLast = I + 1 == E;
Chris Lattnera541b0f2009-09-01 06:31:31 +0000192 CGN->removeCallEdge(I);
Chris Lattnerb8bcbd62009-09-02 04:34:06 +0000193
Chris Lattnerd3bd0822009-09-02 04:39:04 +0000194 // If I pointed to the last element of the vector, we have to bail out:
195 // iterator checking rejects comparisons of the resultant pointer with
196 // end.
197 if (WasLast)
198 break;
Chris Lattnera541b0f2009-09-01 06:31:31 +0000199 E = CGN->end();
Chris Lattnera541b0f2009-09-01 06:31:31 +0000200 continue;
201 }
Chris Lattner17146b82009-09-01 18:13:40 +0000202
Chris Lattnera541b0f2009-09-01 06:31:31 +0000203 assert(!CallSites.count(I->first) &&
Chris Lattnerbe577652009-08-31 07:23:46 +0000204 "Call site occurs in node multiple times");
Chris Lattnera541b0f2009-09-01 06:31:31 +0000205 CallSites.insert(std::make_pair(I->first, I->second));
Chris Lattner17146b82009-09-01 18:13:40 +0000206 ++I;
Chris Lattnerbe577652009-08-31 07:23:46 +0000207 }
Chris Lattner17146b82009-09-01 18:13:40 +0000208
Chris Lattnerbe577652009-08-31 07:23:46 +0000209 // Loop over all of the instructions in the function, getting the callsites.
210 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB)
211 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) {
212 CallSite CS = CallSite::get(I);
Chris Lattner8bff7c92009-09-01 21:37:50 +0000213 if (!CS.getInstruction() || isa<DbgInfoIntrinsic>(I)) continue;
Chris Lattnerbe577652009-08-31 07:23:46 +0000214
215 // If this call site already existed in the callgraph, just verify it
216 // matches up to expectations and remove it from CallSites.
Chris Lattnera541b0f2009-09-01 06:31:31 +0000217 DenseMap<Value*, CallGraphNode*>::iterator ExistingIt =
Chris Lattnerbe577652009-08-31 07:23:46 +0000218 CallSites.find(CS.getInstruction());
219 if (ExistingIt != CallSites.end()) {
220 CallGraphNode *ExistingNode = ExistingIt->second;
221
222 // Remove from CallSites since we have now seen it.
223 CallSites.erase(ExistingIt);
224
225 // Verify that the callee is right.
226 if (ExistingNode->getFunction() == CS.getCalledFunction())
227 continue;
228
Chris Lattner5a6a3632009-09-01 18:32:03 +0000229 // If we are in checking mode, we are not allowed to actually mutate
230 // the callgraph. If this is a case where we can infer that the
231 // callgraph is less precise than it could be (e.g. an indirect call
232 // site could be turned direct), don't reject it in checking mode, and
233 // don't tweak it to be more precise.
234 if (CheckingMode && CS.getCalledFunction() &&
235 ExistingNode->getFunction() == 0)
236 continue;
237
238 assert(!CheckingMode &&
239 "CallGraphSCCPass did not update the CallGraph correctly!");
240
Chris Lattnerbe577652009-08-31 07:23:46 +0000241 // If not, we either went from a direct call to indirect, indirect to
242 // direct, or direct to different direct.
243 CallGraphNode *CalleeNode;
244 if (Function *Callee = CS.getCalledFunction())
245 CalleeNode = CG.getOrInsertFunction(Callee);
246 else
247 CalleeNode = CG.getCallsExternalNode();
Chris Lattner44a18372009-09-01 20:33:43 +0000248
249 // Update the edge target in CGN.
250 for (CallGraphNode::iterator I = CGN->begin(); ; ++I) {
251 assert(I != CGN->end() && "Didn't find call entry");
252 if (I->first == CS.getInstruction()) {
253 I->second = CalleeNode;
254 break;
255 }
256 }
Chris Lattnerbe577652009-08-31 07:23:46 +0000257 MadeChange = true;
258 continue;
259 }
260
Chris Lattner5a6a3632009-09-01 18:32:03 +0000261 assert(!CheckingMode &&
262 "CallGraphSCCPass did not update the CallGraph correctly!");
263
Chris Lattnerbe577652009-08-31 07:23:46 +0000264 // If the call site didn't exist in the CGN yet, add it. We assume that
265 // newly introduced call sites won't be indirect. This could be fixed
266 // in the future.
267 CallGraphNode *CalleeNode;
268 if (Function *Callee = CS.getCalledFunction())
269 CalleeNode = CG.getOrInsertFunction(Callee);
270 else
271 CalleeNode = CG.getCallsExternalNode();
272
273 CGN->addCalledFunction(CS, CalleeNode);
274 MadeChange = true;
275 }
276
277 // After scanning this function, if we still have entries in callsites, then
Chris Lattnera541b0f2009-09-01 06:31:31 +0000278 // they are dangling pointers. WeakVH should save us for this, so abort if
279 // this happens.
280 assert(CallSites.empty() && "Dangling pointers found in call sites map");
Chris Lattnerbe577652009-08-31 07:23:46 +0000281
Chris Lattnera541b0f2009-09-01 06:31:31 +0000282 // Periodically do an explicit clear to remove tombstones when processing
283 // large scc's.
284 if ((sccidx & 15) == 0)
285 CallSites.clear();
Chris Lattnerbe577652009-08-31 07:23:46 +0000286 }
287
288 DEBUG(if (MadeChange) {
David Greenec81ce582009-12-23 20:10:59 +0000289 dbgs() << "CGSCCPASSMGR: Refreshed SCC is now:\n";
Chris Lattnerbe577652009-08-31 07:23:46 +0000290 for (unsigned i = 0, e = CurSCC.size(); i != e; ++i)
291 CurSCC[i]->dump();
292 } else {
David Greenec81ce582009-12-23 20:10:59 +0000293 dbgs() << "CGSCCPASSMGR: SCC Refresh didn't change call graph.\n";
Chris Lattnerbe577652009-08-31 07:23:46 +0000294 }
295 );
296}
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000297
Devang Patel75f9abf2007-01-17 21:45:01 +0000298/// run - Execute all of the passes scheduled for execution. Keep track of
299/// whether any of the passes modifies the module, and if so, return true.
300bool CGPassManager::runOnModule(Module &M) {
301 CallGraph &CG = getAnalysis<CallGraph>();
Bill Wendling905c7e92009-02-11 18:19:24 +0000302 bool Changed = doInitialization(CG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000303
Chris Lattner5095e3d2009-08-31 00:19:58 +0000304 std::vector<CallGraphNode*> CurSCC;
305
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000306 // Walk the callgraph in bottom-up SCC order.
Chris Lattner5095e3d2009-08-31 00:19:58 +0000307 for (scc_iterator<CallGraph*> CGI = scc_begin(&CG), E = scc_end(&CG);
308 CGI != E;) {
309 // Copy the current SCC and increment past it so that the pass can hack
310 // on the SCC if it wants to without invalidating our iterator.
311 CurSCC = *CGI;
312 ++CGI;
313
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000314
Chris Lattnerbe577652009-08-31 07:23:46 +0000315 // CallGraphUpToDate - Keep track of whether the callgraph is known to be
316 // up-to-date or not. The CGSSC pass manager runs two types of passes:
317 // CallGraphSCC Passes and other random function passes. Because other
318 // random function passes are not CallGraph aware, they may clobber the
319 // call graph by introducing new calls or deleting other ones. This flag
320 // is set to false when we run a function pass so that we know to clean up
321 // the callgraph when we need to run a CGSCCPass again.
322 bool CallGraphUpToDate = true;
323
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000324 // Run all passes on current SCC.
325 for (unsigned PassNo = 0, e = getNumContainedPasses();
326 PassNo != e; ++PassNo) {
327 Pass *P = getContainedPass(PassNo);
Devang Patel75f9abf2007-01-17 21:45:01 +0000328
Chris Lattner9554c612009-09-15 05:03:04 +0000329 // If we're in -debug-pass=Executions mode, construct the SCC node list,
330 // otherwise avoid constructing this string as it is expensive.
331 if (isPassDebuggingExecutionsOrMore()) {
332 std::string Functions;
333#ifndef NDEBUG
334 raw_string_ostream OS(Functions);
335 for (unsigned i = 0, e = CurSCC.size(); i != e; ++i) {
336 if (i) OS << ", ";
337 CurSCC[i]->print(OS);
338 }
339 OS.flush();
340#endif
341 dumpPassInfo(P, EXECUTION_MSG, ON_CG_MSG, Functions);
342 }
Chris Lattner0dabb7e2008-08-08 15:14:09 +0000343 dumpRequiredSet(P);
Devang Patel75f9abf2007-01-17 21:45:01 +0000344
345 initializeAnalysisImpl(P);
346
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000347 // Actually run this pass on the current SCC.
Chris Lattnerbe577652009-08-31 07:23:46 +0000348 Changed |= RunPassOnSCC(P, CurSCC, CG, CallGraphUpToDate);
Devang Patel75f9abf2007-01-17 21:45:01 +0000349
350 if (Changed)
Devang Patel7f997612007-03-05 20:01:30 +0000351 dumpPassInfo(P, MODIFICATION_MSG, ON_CG_MSG, "");
Chris Lattner0dabb7e2008-08-08 15:14:09 +0000352 dumpPreservedSet(P);
Devang Patel58e0ef12007-07-19 18:02:32 +0000353
354 verifyPreservedAnalysis(P);
Devang Patel75f9abf2007-01-17 21:45:01 +0000355 removeNotPreservedAnalysis(P);
356 recordAvailableAnalysis(P);
Devang Patel7f997612007-03-05 20:01:30 +0000357 removeDeadPasses(P, "", ON_CG_MSG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000358 }
Chris Lattnerbe577652009-08-31 07:23:46 +0000359
360 // If the callgraph was left out of date (because the last pass run was a
361 // functionpass), refresh it before we move on to the next SCC.
362 if (!CallGraphUpToDate)
Chris Lattner5a6a3632009-09-01 18:32:03 +0000363 RefreshCallGraph(CurSCC, CG, false);
Devang Patel75f9abf2007-01-17 21:45:01 +0000364 }
Bill Wendling905c7e92009-02-11 18:19:24 +0000365 Changed |= doFinalization(CG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000366 return Changed;
367}
368
369/// Initialize CG
Bill Wendling905c7e92009-02-11 18:19:24 +0000370bool CGPassManager::doInitialization(CallGraph &CG) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000371 bool Changed = false;
Chris Lattner5a66cb92010-01-22 05:46:59 +0000372 for (unsigned i = 0, e = getNumContainedPasses(); i != e; ++i) {
373 if (PMDataManager *PM = getContainedPass(i)->getAsPMDataManager()) {
374 assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
375 "Invalid CGPassManager member");
376 Changed |= ((FPPassManager*)PM)->doInitialization(CG.getModule());
Nick Lewycky8968a072009-02-13 07:15:53 +0000377 } else {
Chris Lattner5a66cb92010-01-22 05:46:59 +0000378 Changed |= ((CallGraphSCCPass*)getContainedPass(i))->doInitialization(CG);
Nick Lewycky8968a072009-02-13 07:15:53 +0000379 }
Devang Patel75f9abf2007-01-17 21:45:01 +0000380 }
381 return Changed;
382}
383
384/// Finalize CG
Bill Wendling905c7e92009-02-11 18:19:24 +0000385bool CGPassManager::doFinalization(CallGraph &CG) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000386 bool Changed = false;
Chris Lattner5a66cb92010-01-22 05:46:59 +0000387 for (unsigned i = 0, e = getNumContainedPasses(); i != e; ++i) {
388 if (PMDataManager *PM = getContainedPass(i)->getAsPMDataManager()) {
389 assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
390 "Invalid CGPassManager member");
391 Changed |= ((FPPassManager*)PM)->doFinalization(CG.getModule());
Nick Lewycky8968a072009-02-13 07:15:53 +0000392 } else {
Chris Lattner5a66cb92010-01-22 05:46:59 +0000393 Changed |= ((CallGraphSCCPass*)getContainedPass(i))->doFinalization(CG);
Nick Lewycky8968a072009-02-13 07:15:53 +0000394 }
Devang Patel75f9abf2007-01-17 21:45:01 +0000395 }
396 return Changed;
397}
398
Devang Pateld9f10c32007-01-23 21:55:17 +0000399/// Assign pass manager to manage this pass.
Devang Patel97fd2432007-01-23 21:52:35 +0000400void CallGraphSCCPass::assignPassManager(PMStack &PMS,
Anton Korobeynikovbed29462007-04-16 18:10:23 +0000401 PassManagerType PreferredType) {
Devang Patel97fd2432007-01-23 21:52:35 +0000402 // Find CGPassManager
Duncan Sands20d824b2007-07-19 09:42:01 +0000403 while (!PMS.empty() &&
404 PMS.top()->getPassManagerType() > PMT_CallGraphPassManager)
405 PMS.pop();
Devang Patel97fd2432007-01-23 21:52:35 +0000406
Chris Lattner77c95ed2010-01-22 05:37:10 +0000407 assert(!PMS.empty() && "Unable to handle Call Graph Pass");
408 CGPassManager *CGP;
409
410 if (PMS.top()->getPassManagerType() == PMT_CallGraphPassManager)
411 CGP = (CGPassManager*)PMS.top();
412 else {
413 // Create new Call Graph SCC Pass Manager if it does not exist.
414 assert(!PMS.empty() && "Unable to create Call Graph Pass Manager");
Devang Patel97fd2432007-01-23 21:52:35 +0000415 PMDataManager *PMD = PMS.top();
416
417 // [1] Create new Call Graph Pass Manager
418 CGP = new CGPassManager(PMD->getDepth() + 1);
419
420 // [2] Set up new manager's top level manager
421 PMTopLevelManager *TPM = PMD->getTopLevelManager();
422 TPM->addIndirectPassManager(CGP);
423
424 // [3] Assign manager to manage this new manager. This may create
425 // and push new managers into PMS
Chris Lattner77c95ed2010-01-22 05:37:10 +0000426 Pass *P = CGP;
Devang Patel25e681a2007-06-21 22:29:02 +0000427 TPM->schedulePass(P);
Devang Patel97fd2432007-01-23 21:52:35 +0000428
429 // [4] Push new manager into PMS
430 PMS.push(CGP);
431 }
432
433 CGP->add(this);
434}
435
Chris Lattner4a810672003-08-31 01:54:59 +0000436/// getAnalysisUsage - For this class, we declare that we require and preserve
437/// the call graph. If the derived class implements this method, it should
438/// always explicitly call the implementation here.
439void CallGraphSCCPass::getAnalysisUsage(AnalysisUsage &AU) const {
440 AU.addRequired<CallGraph>();
441 AU.addPreserved<CallGraph>();
442}