blob: 4808f419d49869b6efed0e2ca0663f7453af7e21 [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"
20#include "llvm/Analysis/CallGraph.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000021#include "llvm/ADT/SCCIterator.h"
Devang Patel75f9abf2007-01-17 21:45:01 +000022#include "llvm/PassManagers.h"
Devang Patel95ced112007-02-01 22:38:33 +000023#include "llvm/Function.h"
Chris Lattnerbe577652009-08-31 07:23:46 +000024#include "llvm/Support/Debug.h"
Chris Lattner8bff7c92009-09-01 21:37:50 +000025#include "llvm/IntrinsicInst.h"
Chris Lattner45cfe542009-08-23 06:03:38 +000026#include "llvm/Support/raw_ostream.h"
Chris Lattnera10df502004-04-20 21:30:06 +000027using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000028
Devang Patel75f9abf2007-01-17 21:45:01 +000029//===----------------------------------------------------------------------===//
30// CGPassManager
31//
Dale Johannesendb2659b2009-09-10 22:01:32 +000032/// CGPassManager manages FPPassManagers and CallGraphSCCPasses.
Devang Patel75f9abf2007-01-17 21:45:01 +000033
Dan Gohman844731a2008-05-13 00:00:25 +000034namespace {
35
Devang Patel75f9abf2007-01-17 21:45:01 +000036class CGPassManager : public ModulePass, public PMDataManager {
Devang Patel75f9abf2007-01-17 21:45:01 +000037public:
Devang Patel19974732007-05-03 01:11:54 +000038 static char ID;
Dan Gohmanc2bbfc12007-08-01 15:32:29 +000039 explicit CGPassManager(int Depth)
Dan Gohmanae73dc12008-09-04 17:05:41 +000040 : ModulePass(&ID), PMDataManager(Depth) { }
Devang Patel75f9abf2007-01-17 21:45:01 +000041
42 /// run - Execute all of the passes scheduled for execution. Keep track of
43 /// whether any of the passes modifies the module, and if so, return true.
44 bool runOnModule(Module &M);
45
Bill Wendling905c7e92009-02-11 18:19:24 +000046 bool doInitialization(CallGraph &CG);
47 bool doFinalization(CallGraph &CG);
Devang Patel75f9abf2007-01-17 21:45:01 +000048
49 /// Pass Manager itself does not invalidate any analysis info.
50 void getAnalysisUsage(AnalysisUsage &Info) const {
51 // CGPassManager walks SCC and it needs CallGraph.
52 Info.addRequired<CallGraph>();
53 Info.setPreservesAll();
54 }
55
Devang Patel505f36a2007-02-01 22:09:37 +000056 virtual const char *getPassName() const {
57 return "CallGraph Pass Manager";
58 }
59
Devang Patel75f9abf2007-01-17 21:45:01 +000060 // Print passes managed by this manager
61 void dumpPassStructure(unsigned Offset) {
David Greenec81ce582009-12-23 20:10:59 +000062 dbgs().indent(Offset*2) << "Call Graph SCC Pass Manager\n";
Devang Patel75f9abf2007-01-17 21:45:01 +000063 for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) {
64 Pass *P = getContainedPass(Index);
65 P->dumpPassStructure(Offset + 1);
66 dumpLastUses(P, Offset+1);
67 }
68 }
69
70 Pass *getContainedPass(unsigned N) {
Chris Lattner45cfe542009-08-23 06:03:38 +000071 assert(N < PassVector.size() && "Pass number out of range!");
72 return static_cast<Pass *>(PassVector[N]);
Devang Patel75f9abf2007-01-17 21:45:01 +000073 }
74
Devang Patel84da80d2007-02-27 15:00:39 +000075 virtual PassManagerType getPassManagerType() const {
Devang Patel75f9abf2007-01-17 21:45:01 +000076 return PMT_CallGraphPassManager;
77 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +000078
79private:
Chris Lattnerbe577652009-08-31 07:23:46 +000080 bool RunPassOnSCC(Pass *P, std::vector<CallGraphNode*> &CurSCC,
81 CallGraph &CG, bool &CallGraphUpToDate);
Chris Lattner5a6a3632009-09-01 18:32:03 +000082 void RefreshCallGraph(std::vector<CallGraphNode*> &CurSCC, CallGraph &CG,
83 bool IsCheckingMode);
Devang Patel75f9abf2007-01-17 21:45:01 +000084};
85
Chris Lattnerf3a1c152009-08-31 06:01:21 +000086} // end anonymous namespace.
Dan Gohman844731a2008-05-13 00:00:25 +000087
Devang Patel19974732007-05-03 01:11:54 +000088char CGPassManager::ID = 0;
Chris Lattnerf3a1c152009-08-31 06:01:21 +000089
Chris Lattnerbe577652009-08-31 07:23:46 +000090bool CGPassManager::RunPassOnSCC(Pass *P, std::vector<CallGraphNode*> &CurSCC,
91 CallGraph &CG, bool &CallGraphUpToDate) {
Chris Lattnerf3a1c152009-08-31 06:01:21 +000092 bool Changed = false;
93 if (CallGraphSCCPass *CGSP = dynamic_cast<CallGraphSCCPass*>(P)) {
Chris Lattnerbe577652009-08-31 07:23:46 +000094 if (!CallGraphUpToDate) {
Chris Lattner5a6a3632009-09-01 18:32:03 +000095 RefreshCallGraph(CurSCC, CG, false);
Chris Lattnerbe577652009-08-31 07:23:46 +000096 CallGraphUpToDate = true;
97 }
Chris Lattner44a18372009-09-01 20:33:43 +000098
Dan Gohman5c12ada2009-09-28 00:07:05 +000099 Timer *T = StartPassTimer(CGSP);
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000100 Changed = CGSP->runOnSCC(CurSCC);
Dan Gohman5c12ada2009-09-28 00:07:05 +0000101 StopPassTimer(CGSP, T);
Chris Lattner5a6a3632009-09-01 18:32:03 +0000102
103 // After the CGSCCPass is done, when assertions are enabled, use
104 // RefreshCallGraph to verify that the callgraph was correctly updated.
105#ifndef NDEBUG
106 if (Changed)
107 RefreshCallGraph(CurSCC, CG, true);
108#endif
109
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000110 return Changed;
111 }
112
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000113 FPPassManager *FPP = dynamic_cast<FPPassManager *>(P);
114 assert(FPP && "Invalid CGPassManager member");
115
116 // Run pass P on all functions in the current SCC.
117 for (unsigned i = 0, e = CurSCC.size(); i != e; ++i) {
118 if (Function *F = CurSCC[i]->getFunction()) {
119 dumpPassInfo(P, EXECUTION_MSG, ON_FUNCTION_MSG, F->getName());
Dan Gohman5c12ada2009-09-28 00:07:05 +0000120 Timer *T = StartPassTimer(FPP);
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000121 Changed |= FPP->runOnFunction(*F);
Dan Gohman5c12ada2009-09-28 00:07:05 +0000122 StopPassTimer(FPP, T);
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000123 }
124 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000125
Chris Lattner2038cf32009-08-31 17:08:30 +0000126 // The function pass(es) modified the IR, they may have clobbered the
Chris Lattnerbe577652009-08-31 07:23:46 +0000127 // callgraph.
128 if (Changed && CallGraphUpToDate) {
David Greenec81ce582009-12-23 20:10:59 +0000129 DEBUG(dbgs() << "CGSCCPASSMGR: Pass Dirtied SCC: "
Chris Lattnerbe577652009-08-31 07:23:46 +0000130 << P->getPassName() << '\n');
131 CallGraphUpToDate = false;
132 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000133 return Changed;
134}
135
Chris Lattner5a6a3632009-09-01 18:32:03 +0000136
137/// RefreshCallGraph - Scan the functions in the specified CFG and resync the
138/// callgraph with the call sites found in it. This is used after
139/// FunctionPasses have potentially munged the callgraph, and can be used after
140/// CallGraphSCC passes to verify that they correctly updated the callgraph.
141///
Chris Lattnerbe577652009-08-31 07:23:46 +0000142void CGPassManager::RefreshCallGraph(std::vector<CallGraphNode*> &CurSCC,
Chris Lattner5a6a3632009-09-01 18:32:03 +0000143 CallGraph &CG, bool CheckingMode) {
Chris Lattnera541b0f2009-09-01 06:31:31 +0000144 DenseMap<Value*, CallGraphNode*> CallSites;
Chris Lattnerbe577652009-08-31 07:23:46 +0000145
David Greenec81ce582009-12-23 20:10:59 +0000146 DEBUG(dbgs() << "CGSCCPASSMGR: Refreshing SCC with " << CurSCC.size()
Chris Lattnerbe577652009-08-31 07:23:46 +0000147 << " nodes:\n";
148 for (unsigned i = 0, e = CurSCC.size(); i != e; ++i)
149 CurSCC[i]->dump();
150 );
151
152 bool MadeChange = false;
Chris Lattnerbe577652009-08-31 07:23:46 +0000153
154 // Scan all functions in the SCC.
155 for (unsigned sccidx = 0, e = CurSCC.size(); sccidx != e; ++sccidx) {
156 CallGraphNode *CGN = CurSCC[sccidx];
157 Function *F = CGN->getFunction();
158 if (F == 0 || F->isDeclaration()) continue;
159
160 // Walk the function body looking for call sites. Sync up the call sites in
161 // CGN with those actually in the function.
Chris Lattner17146b82009-09-01 18:13:40 +0000162
Chris Lattnerbe577652009-08-31 07:23:46 +0000163 // Get the set of call sites currently in the function.
Duncan Sandsb3020d72009-09-02 03:48:41 +0000164 for (CallGraphNode::iterator I = CGN->begin(), E = CGN->end(); I != E; ) {
Chris Lattnera541b0f2009-09-01 06:31:31 +0000165 // If this call site is null, then the function pass deleted the call
Chris Lattner17146b82009-09-01 18:13:40 +0000166 // entirely and the WeakVH nulled it out.
Chris Lattnera541b0f2009-09-01 06:31:31 +0000167 if (I->first == 0 ||
168 // If we've already seen this call site, then the FunctionPass RAUW'd
169 // one call with another, which resulted in two "uses" in the edge
170 // list of the same call.
171 CallSites.count(I->first) ||
172
173 // If the call edge is not from a call or invoke, then the function
174 // pass RAUW'd a call with another value. This can happen when
175 // constant folding happens of well known functions etc.
176 CallSite::get(I->first).getInstruction() == 0) {
Chris Lattner5a6a3632009-09-01 18:32:03 +0000177 assert(!CheckingMode &&
178 "CallGraphSCCPass did not update the CallGraph correctly!");
179
Chris Lattnerd3bd0822009-09-02 04:39:04 +0000180 // Just remove the edge from the set of callees, keep track of whether
181 // I points to the last element of the vector.
182 bool WasLast = I + 1 == E;
Chris Lattnera541b0f2009-09-01 06:31:31 +0000183 CGN->removeCallEdge(I);
Chris Lattnerb8bcbd62009-09-02 04:34:06 +0000184
Chris Lattnerd3bd0822009-09-02 04:39:04 +0000185 // If I pointed to the last element of the vector, we have to bail out:
186 // iterator checking rejects comparisons of the resultant pointer with
187 // end.
188 if (WasLast)
189 break;
Chris Lattnera541b0f2009-09-01 06:31:31 +0000190 E = CGN->end();
Chris Lattnera541b0f2009-09-01 06:31:31 +0000191 continue;
192 }
Chris Lattner17146b82009-09-01 18:13:40 +0000193
Chris Lattnera541b0f2009-09-01 06:31:31 +0000194 assert(!CallSites.count(I->first) &&
Chris Lattnerbe577652009-08-31 07:23:46 +0000195 "Call site occurs in node multiple times");
Chris Lattnera541b0f2009-09-01 06:31:31 +0000196 CallSites.insert(std::make_pair(I->first, I->second));
Chris Lattner17146b82009-09-01 18:13:40 +0000197 ++I;
Chris Lattnerbe577652009-08-31 07:23:46 +0000198 }
Chris Lattner17146b82009-09-01 18:13:40 +0000199
Chris Lattnerbe577652009-08-31 07:23:46 +0000200 // Loop over all of the instructions in the function, getting the callsites.
201 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB)
202 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) {
203 CallSite CS = CallSite::get(I);
Chris Lattner8bff7c92009-09-01 21:37:50 +0000204 if (!CS.getInstruction() || isa<DbgInfoIntrinsic>(I)) continue;
Chris Lattnerbe577652009-08-31 07:23:46 +0000205
206 // If this call site already existed in the callgraph, just verify it
207 // matches up to expectations and remove it from CallSites.
Chris Lattnera541b0f2009-09-01 06:31:31 +0000208 DenseMap<Value*, CallGraphNode*>::iterator ExistingIt =
Chris Lattnerbe577652009-08-31 07:23:46 +0000209 CallSites.find(CS.getInstruction());
210 if (ExistingIt != CallSites.end()) {
211 CallGraphNode *ExistingNode = ExistingIt->second;
212
213 // Remove from CallSites since we have now seen it.
214 CallSites.erase(ExistingIt);
215
216 // Verify that the callee is right.
217 if (ExistingNode->getFunction() == CS.getCalledFunction())
218 continue;
219
Chris Lattner5a6a3632009-09-01 18:32:03 +0000220 // If we are in checking mode, we are not allowed to actually mutate
221 // the callgraph. If this is a case where we can infer that the
222 // callgraph is less precise than it could be (e.g. an indirect call
223 // site could be turned direct), don't reject it in checking mode, and
224 // don't tweak it to be more precise.
225 if (CheckingMode && CS.getCalledFunction() &&
226 ExistingNode->getFunction() == 0)
227 continue;
228
229 assert(!CheckingMode &&
230 "CallGraphSCCPass did not update the CallGraph correctly!");
231
Chris Lattnerbe577652009-08-31 07:23:46 +0000232 // If not, we either went from a direct call to indirect, indirect to
233 // direct, or direct to different direct.
234 CallGraphNode *CalleeNode;
235 if (Function *Callee = CS.getCalledFunction())
236 CalleeNode = CG.getOrInsertFunction(Callee);
237 else
238 CalleeNode = CG.getCallsExternalNode();
Chris Lattner44a18372009-09-01 20:33:43 +0000239
240 // Update the edge target in CGN.
241 for (CallGraphNode::iterator I = CGN->begin(); ; ++I) {
242 assert(I != CGN->end() && "Didn't find call entry");
243 if (I->first == CS.getInstruction()) {
244 I->second = CalleeNode;
245 break;
246 }
247 }
Chris Lattnerbe577652009-08-31 07:23:46 +0000248 MadeChange = true;
249 continue;
250 }
251
Chris Lattner5a6a3632009-09-01 18:32:03 +0000252 assert(!CheckingMode &&
253 "CallGraphSCCPass did not update the CallGraph correctly!");
254
Chris Lattnerbe577652009-08-31 07:23:46 +0000255 // If the call site didn't exist in the CGN yet, add it. We assume that
256 // newly introduced call sites won't be indirect. This could be fixed
257 // in the future.
258 CallGraphNode *CalleeNode;
259 if (Function *Callee = CS.getCalledFunction())
260 CalleeNode = CG.getOrInsertFunction(Callee);
261 else
262 CalleeNode = CG.getCallsExternalNode();
263
264 CGN->addCalledFunction(CS, CalleeNode);
265 MadeChange = true;
266 }
267
268 // After scanning this function, if we still have entries in callsites, then
Chris Lattnera541b0f2009-09-01 06:31:31 +0000269 // they are dangling pointers. WeakVH should save us for this, so abort if
270 // this happens.
271 assert(CallSites.empty() && "Dangling pointers found in call sites map");
Chris Lattnerbe577652009-08-31 07:23:46 +0000272
Chris Lattnera541b0f2009-09-01 06:31:31 +0000273 // Periodically do an explicit clear to remove tombstones when processing
274 // large scc's.
275 if ((sccidx & 15) == 0)
276 CallSites.clear();
Chris Lattnerbe577652009-08-31 07:23:46 +0000277 }
278
279 DEBUG(if (MadeChange) {
David Greenec81ce582009-12-23 20:10:59 +0000280 dbgs() << "CGSCCPASSMGR: Refreshed SCC is now:\n";
Chris Lattnerbe577652009-08-31 07:23:46 +0000281 for (unsigned i = 0, e = CurSCC.size(); i != e; ++i)
282 CurSCC[i]->dump();
283 } else {
David Greenec81ce582009-12-23 20:10:59 +0000284 dbgs() << "CGSCCPASSMGR: SCC Refresh didn't change call graph.\n";
Chris Lattnerbe577652009-08-31 07:23:46 +0000285 }
286 );
287}
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000288
Devang Patel75f9abf2007-01-17 21:45:01 +0000289/// run - Execute all of the passes scheduled for execution. Keep track of
290/// whether any of the passes modifies the module, and if so, return true.
291bool CGPassManager::runOnModule(Module &M) {
292 CallGraph &CG = getAnalysis<CallGraph>();
Bill Wendling905c7e92009-02-11 18:19:24 +0000293 bool Changed = doInitialization(CG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000294
Chris Lattner5095e3d2009-08-31 00:19:58 +0000295 std::vector<CallGraphNode*> CurSCC;
296
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000297 // Walk the callgraph in bottom-up SCC order.
Chris Lattner5095e3d2009-08-31 00:19:58 +0000298 for (scc_iterator<CallGraph*> CGI = scc_begin(&CG), E = scc_end(&CG);
299 CGI != E;) {
300 // Copy the current SCC and increment past it so that the pass can hack
301 // on the SCC if it wants to without invalidating our iterator.
302 CurSCC = *CGI;
303 ++CGI;
304
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000305
Chris Lattnerbe577652009-08-31 07:23:46 +0000306 // CallGraphUpToDate - Keep track of whether the callgraph is known to be
307 // up-to-date or not. The CGSSC pass manager runs two types of passes:
308 // CallGraphSCC Passes and other random function passes. Because other
309 // random function passes are not CallGraph aware, they may clobber the
310 // call graph by introducing new calls or deleting other ones. This flag
311 // is set to false when we run a function pass so that we know to clean up
312 // the callgraph when we need to run a CGSCCPass again.
313 bool CallGraphUpToDate = true;
314
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000315 // Run all passes on current SCC.
316 for (unsigned PassNo = 0, e = getNumContainedPasses();
317 PassNo != e; ++PassNo) {
318 Pass *P = getContainedPass(PassNo);
Devang Patel75f9abf2007-01-17 21:45:01 +0000319
Chris Lattner9554c612009-09-15 05:03:04 +0000320 // If we're in -debug-pass=Executions mode, construct the SCC node list,
321 // otherwise avoid constructing this string as it is expensive.
322 if (isPassDebuggingExecutionsOrMore()) {
323 std::string Functions;
324#ifndef NDEBUG
325 raw_string_ostream OS(Functions);
326 for (unsigned i = 0, e = CurSCC.size(); i != e; ++i) {
327 if (i) OS << ", ";
328 CurSCC[i]->print(OS);
329 }
330 OS.flush();
331#endif
332 dumpPassInfo(P, EXECUTION_MSG, ON_CG_MSG, Functions);
333 }
Chris Lattner0dabb7e2008-08-08 15:14:09 +0000334 dumpRequiredSet(P);
Devang Patel75f9abf2007-01-17 21:45:01 +0000335
336 initializeAnalysisImpl(P);
337
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000338 // Actually run this pass on the current SCC.
Chris Lattnerbe577652009-08-31 07:23:46 +0000339 Changed |= RunPassOnSCC(P, CurSCC, CG, CallGraphUpToDate);
Devang Patel75f9abf2007-01-17 21:45:01 +0000340
341 if (Changed)
Devang Patel7f997612007-03-05 20:01:30 +0000342 dumpPassInfo(P, MODIFICATION_MSG, ON_CG_MSG, "");
Chris Lattner0dabb7e2008-08-08 15:14:09 +0000343 dumpPreservedSet(P);
Devang Patel58e0ef12007-07-19 18:02:32 +0000344
345 verifyPreservedAnalysis(P);
Devang Patel75f9abf2007-01-17 21:45:01 +0000346 removeNotPreservedAnalysis(P);
347 recordAvailableAnalysis(P);
Devang Patel7f997612007-03-05 20:01:30 +0000348 removeDeadPasses(P, "", ON_CG_MSG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000349 }
Chris Lattnerbe577652009-08-31 07:23:46 +0000350
351 // If the callgraph was left out of date (because the last pass run was a
352 // functionpass), refresh it before we move on to the next SCC.
353 if (!CallGraphUpToDate)
Chris Lattner5a6a3632009-09-01 18:32:03 +0000354 RefreshCallGraph(CurSCC, CG, false);
Devang Patel75f9abf2007-01-17 21:45:01 +0000355 }
Bill Wendling905c7e92009-02-11 18:19:24 +0000356 Changed |= doFinalization(CG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000357 return Changed;
358}
359
360/// Initialize CG
Bill Wendling905c7e92009-02-11 18:19:24 +0000361bool CGPassManager::doInitialization(CallGraph &CG) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000362 bool Changed = false;
363 for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) {
364 Pass *P = getContainedPass(Index);
Nick Lewycky8968a072009-02-13 07:15:53 +0000365 if (CallGraphSCCPass *CGSP = dynamic_cast<CallGraphSCCPass *>(P)) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000366 Changed |= CGSP->doInitialization(CG);
Nick Lewycky8968a072009-02-13 07:15:53 +0000367 } else {
368 FPPassManager *FP = dynamic_cast<FPPassManager *>(P);
369 assert (FP && "Invalid CGPassManager member");
370 Changed |= FP->doInitialization(CG.getModule());
371 }
Devang Patel75f9abf2007-01-17 21:45:01 +0000372 }
373 return Changed;
374}
375
376/// Finalize CG
Bill Wendling905c7e92009-02-11 18:19:24 +0000377bool CGPassManager::doFinalization(CallGraph &CG) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000378 bool Changed = false;
379 for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) {
380 Pass *P = getContainedPass(Index);
Nick Lewycky8968a072009-02-13 07:15:53 +0000381 if (CallGraphSCCPass *CGSP = dynamic_cast<CallGraphSCCPass *>(P)) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000382 Changed |= CGSP->doFinalization(CG);
Nick Lewycky8968a072009-02-13 07:15:53 +0000383 } else {
384 FPPassManager *FP = dynamic_cast<FPPassManager *>(P);
385 assert (FP && "Invalid CGPassManager member");
386 Changed |= FP->doFinalization(CG.getModule());
387 }
Devang Patel75f9abf2007-01-17 21:45:01 +0000388 }
389 return Changed;
390}
391
Devang Pateld9f10c32007-01-23 21:55:17 +0000392/// Assign pass manager to manage this pass.
Devang Patel97fd2432007-01-23 21:52:35 +0000393void CallGraphSCCPass::assignPassManager(PMStack &PMS,
Anton Korobeynikovbed29462007-04-16 18:10:23 +0000394 PassManagerType PreferredType) {
Devang Patel97fd2432007-01-23 21:52:35 +0000395 // Find CGPassManager
Duncan Sands20d824b2007-07-19 09:42:01 +0000396 while (!PMS.empty() &&
397 PMS.top()->getPassManagerType() > PMT_CallGraphPassManager)
398 PMS.pop();
Devang Patel97fd2432007-01-23 21:52:35 +0000399
Devang Patel201ebe32008-05-02 22:13:33 +0000400 assert (!PMS.empty() && "Unable to handle Call Graph Pass");
Devang Patel97fd2432007-01-23 21:52:35 +0000401 CGPassManager *CGP = dynamic_cast<CGPassManager *>(PMS.top());
402
403 // Create new Call Graph SCC Pass Manager if it does not exist.
404 if (!CGP) {
405
406 assert (!PMS.empty() && "Unable to create Call Graph Pass Manager");
407 PMDataManager *PMD = PMS.top();
408
409 // [1] Create new Call Graph Pass Manager
410 CGP = new CGPassManager(PMD->getDepth() + 1);
411
412 // [2] Set up new manager's top level manager
413 PMTopLevelManager *TPM = PMD->getTopLevelManager();
414 TPM->addIndirectPassManager(CGP);
415
416 // [3] Assign manager to manage this new manager. This may create
417 // and push new managers into PMS
418 Pass *P = dynamic_cast<Pass *>(CGP);
Devang Patel25e681a2007-06-21 22:29:02 +0000419 TPM->schedulePass(P);
Devang Patel97fd2432007-01-23 21:52:35 +0000420
421 // [4] Push new manager into PMS
422 PMS.push(CGP);
423 }
424
425 CGP->add(this);
426}
427
Chris Lattner4a810672003-08-31 01:54:59 +0000428/// getAnalysisUsage - For this class, we declare that we require and preserve
429/// the call graph. If the derived class implements this method, it should
430/// always explicitly call the implementation here.
431void CallGraphSCCPass::getAnalysisUsage(AnalysisUsage &AU) const {
432 AU.addRequired<CallGraph>();
433 AU.addPreserved<CallGraph>();
434}