blob: bb2a2cc8c3ce9b761b430c75d177ec6132392ef1 [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
Chris Lattner3660eca2010-01-22 05:24:46 +000060 virtual PMDataManager *getAsPMDataManager() { return this; }
61 virtual Pass *getAsPass() { return this; }
62
Devang Patel75f9abf2007-01-17 21:45:01 +000063 // Print passes managed by this manager
64 void dumpPassStructure(unsigned Offset) {
David Greene2e48e532009-12-23 23:09:39 +000065 errs().indent(Offset*2) << "Call Graph SCC Pass Manager\n";
Devang Patel75f9abf2007-01-17 21:45:01 +000066 for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) {
67 Pass *P = getContainedPass(Index);
68 P->dumpPassStructure(Offset + 1);
69 dumpLastUses(P, Offset+1);
70 }
71 }
72
73 Pass *getContainedPass(unsigned N) {
Chris Lattner45cfe542009-08-23 06:03:38 +000074 assert(N < PassVector.size() && "Pass number out of range!");
75 return static_cast<Pass *>(PassVector[N]);
Devang Patel75f9abf2007-01-17 21:45:01 +000076 }
77
Devang Patel84da80d2007-02-27 15:00:39 +000078 virtual PassManagerType getPassManagerType() const {
Devang Patel75f9abf2007-01-17 21:45:01 +000079 return PMT_CallGraphPassManager;
80 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +000081
82private:
Chris Lattnerbe577652009-08-31 07:23:46 +000083 bool RunPassOnSCC(Pass *P, std::vector<CallGraphNode*> &CurSCC,
84 CallGraph &CG, bool &CallGraphUpToDate);
Chris Lattner5a6a3632009-09-01 18:32:03 +000085 void RefreshCallGraph(std::vector<CallGraphNode*> &CurSCC, CallGraph &CG,
86 bool IsCheckingMode);
Devang Patel75f9abf2007-01-17 21:45:01 +000087};
88
Chris Lattnerf3a1c152009-08-31 06:01:21 +000089} // end anonymous namespace.
Dan Gohman844731a2008-05-13 00:00:25 +000090
Devang Patel19974732007-05-03 01:11:54 +000091char CGPassManager::ID = 0;
Chris Lattnerf3a1c152009-08-31 06:01:21 +000092
Chris Lattnerbe577652009-08-31 07:23:46 +000093bool CGPassManager::RunPassOnSCC(Pass *P, std::vector<CallGraphNode*> &CurSCC,
94 CallGraph &CG, bool &CallGraphUpToDate) {
Chris Lattnerf3a1c152009-08-31 06:01:21 +000095 bool Changed = false;
96 if (CallGraphSCCPass *CGSP = dynamic_cast<CallGraphSCCPass*>(P)) {
Chris Lattnerbe577652009-08-31 07:23:46 +000097 if (!CallGraphUpToDate) {
Chris Lattner5a6a3632009-09-01 18:32:03 +000098 RefreshCallGraph(CurSCC, CG, false);
Chris Lattnerbe577652009-08-31 07:23:46 +000099 CallGraphUpToDate = true;
100 }
Chris Lattner44a18372009-09-01 20:33:43 +0000101
Dan Gohman5c12ada2009-09-28 00:07:05 +0000102 Timer *T = StartPassTimer(CGSP);
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000103 Changed = CGSP->runOnSCC(CurSCC);
Dan Gohman5c12ada2009-09-28 00:07:05 +0000104 StopPassTimer(CGSP, T);
Chris Lattner5a6a3632009-09-01 18:32:03 +0000105
106 // After the CGSCCPass is done, when assertions are enabled, use
107 // RefreshCallGraph to verify that the callgraph was correctly updated.
108#ifndef NDEBUG
109 if (Changed)
110 RefreshCallGraph(CurSCC, CG, true);
111#endif
112
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000113 return Changed;
114 }
115
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000116 FPPassManager *FPP = dynamic_cast<FPPassManager *>(P);
117 assert(FPP && "Invalid CGPassManager member");
118
119 // Run pass P on all functions in the current SCC.
120 for (unsigned i = 0, e = CurSCC.size(); i != e; ++i) {
121 if (Function *F = CurSCC[i]->getFunction()) {
122 dumpPassInfo(P, EXECUTION_MSG, ON_FUNCTION_MSG, F->getName());
Dan Gohman5c12ada2009-09-28 00:07:05 +0000123 Timer *T = StartPassTimer(FPP);
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000124 Changed |= FPP->runOnFunction(*F);
Dan Gohman5c12ada2009-09-28 00:07:05 +0000125 StopPassTimer(FPP, T);
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000126 }
127 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000128
Chris Lattner2038cf32009-08-31 17:08:30 +0000129 // The function pass(es) modified the IR, they may have clobbered the
Chris Lattnerbe577652009-08-31 07:23:46 +0000130 // callgraph.
131 if (Changed && CallGraphUpToDate) {
David Greenec81ce582009-12-23 20:10:59 +0000132 DEBUG(dbgs() << "CGSCCPASSMGR: Pass Dirtied SCC: "
Chris Lattnerbe577652009-08-31 07:23:46 +0000133 << P->getPassName() << '\n');
134 CallGraphUpToDate = false;
135 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000136 return Changed;
137}
138
Chris Lattner5a6a3632009-09-01 18:32:03 +0000139
140/// RefreshCallGraph - Scan the functions in the specified CFG and resync the
141/// callgraph with the call sites found in it. This is used after
142/// FunctionPasses have potentially munged the callgraph, and can be used after
143/// CallGraphSCC passes to verify that they correctly updated the callgraph.
144///
Chris Lattnerbe577652009-08-31 07:23:46 +0000145void CGPassManager::RefreshCallGraph(std::vector<CallGraphNode*> &CurSCC,
Chris Lattner5a6a3632009-09-01 18:32:03 +0000146 CallGraph &CG, bool CheckingMode) {
Chris Lattnera541b0f2009-09-01 06:31:31 +0000147 DenseMap<Value*, CallGraphNode*> CallSites;
Chris Lattnerbe577652009-08-31 07:23:46 +0000148
David Greenec81ce582009-12-23 20:10:59 +0000149 DEBUG(dbgs() << "CGSCCPASSMGR: Refreshing SCC with " << CurSCC.size()
Chris Lattnerbe577652009-08-31 07:23:46 +0000150 << " nodes:\n";
151 for (unsigned i = 0, e = CurSCC.size(); i != e; ++i)
152 CurSCC[i]->dump();
153 );
154
155 bool MadeChange = false;
Chris Lattnerbe577652009-08-31 07:23:46 +0000156
157 // Scan all functions in the SCC.
158 for (unsigned sccidx = 0, e = CurSCC.size(); sccidx != e; ++sccidx) {
159 CallGraphNode *CGN = CurSCC[sccidx];
160 Function *F = CGN->getFunction();
161 if (F == 0 || F->isDeclaration()) continue;
162
163 // Walk the function body looking for call sites. Sync up the call sites in
164 // CGN with those actually in the function.
Chris Lattner17146b82009-09-01 18:13:40 +0000165
Chris Lattnerbe577652009-08-31 07:23:46 +0000166 // Get the set of call sites currently in the function.
Duncan Sandsb3020d72009-09-02 03:48:41 +0000167 for (CallGraphNode::iterator I = CGN->begin(), E = CGN->end(); I != E; ) {
Chris Lattnera541b0f2009-09-01 06:31:31 +0000168 // If this call site is null, then the function pass deleted the call
Chris Lattner17146b82009-09-01 18:13:40 +0000169 // entirely and the WeakVH nulled it out.
Chris Lattnera541b0f2009-09-01 06:31:31 +0000170 if (I->first == 0 ||
171 // If we've already seen this call site, then the FunctionPass RAUW'd
172 // one call with another, which resulted in two "uses" in the edge
173 // list of the same call.
174 CallSites.count(I->first) ||
175
176 // If the call edge is not from a call or invoke, then the function
177 // pass RAUW'd a call with another value. This can happen when
178 // constant folding happens of well known functions etc.
179 CallSite::get(I->first).getInstruction() == 0) {
Chris Lattner5a6a3632009-09-01 18:32:03 +0000180 assert(!CheckingMode &&
181 "CallGraphSCCPass did not update the CallGraph correctly!");
182
Chris Lattnerd3bd0822009-09-02 04:39:04 +0000183 // Just remove the edge from the set of callees, keep track of whether
184 // I points to the last element of the vector.
185 bool WasLast = I + 1 == E;
Chris Lattnera541b0f2009-09-01 06:31:31 +0000186 CGN->removeCallEdge(I);
Chris Lattnerb8bcbd62009-09-02 04:34:06 +0000187
Chris Lattnerd3bd0822009-09-02 04:39:04 +0000188 // If I pointed to the last element of the vector, we have to bail out:
189 // iterator checking rejects comparisons of the resultant pointer with
190 // end.
191 if (WasLast)
192 break;
Chris Lattnera541b0f2009-09-01 06:31:31 +0000193 E = CGN->end();
Chris Lattnera541b0f2009-09-01 06:31:31 +0000194 continue;
195 }
Chris Lattner17146b82009-09-01 18:13:40 +0000196
Chris Lattnera541b0f2009-09-01 06:31:31 +0000197 assert(!CallSites.count(I->first) &&
Chris Lattnerbe577652009-08-31 07:23:46 +0000198 "Call site occurs in node multiple times");
Chris Lattnera541b0f2009-09-01 06:31:31 +0000199 CallSites.insert(std::make_pair(I->first, I->second));
Chris Lattner17146b82009-09-01 18:13:40 +0000200 ++I;
Chris Lattnerbe577652009-08-31 07:23:46 +0000201 }
Chris Lattner17146b82009-09-01 18:13:40 +0000202
Chris Lattnerbe577652009-08-31 07:23:46 +0000203 // Loop over all of the instructions in the function, getting the callsites.
204 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB)
205 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) {
206 CallSite CS = CallSite::get(I);
Chris Lattner8bff7c92009-09-01 21:37:50 +0000207 if (!CS.getInstruction() || isa<DbgInfoIntrinsic>(I)) continue;
Chris Lattnerbe577652009-08-31 07:23:46 +0000208
209 // If this call site already existed in the callgraph, just verify it
210 // matches up to expectations and remove it from CallSites.
Chris Lattnera541b0f2009-09-01 06:31:31 +0000211 DenseMap<Value*, CallGraphNode*>::iterator ExistingIt =
Chris Lattnerbe577652009-08-31 07:23:46 +0000212 CallSites.find(CS.getInstruction());
213 if (ExistingIt != CallSites.end()) {
214 CallGraphNode *ExistingNode = ExistingIt->second;
215
216 // Remove from CallSites since we have now seen it.
217 CallSites.erase(ExistingIt);
218
219 // Verify that the callee is right.
220 if (ExistingNode->getFunction() == CS.getCalledFunction())
221 continue;
222
Chris Lattner5a6a3632009-09-01 18:32:03 +0000223 // If we are in checking mode, we are not allowed to actually mutate
224 // the callgraph. If this is a case where we can infer that the
225 // callgraph is less precise than it could be (e.g. an indirect call
226 // site could be turned direct), don't reject it in checking mode, and
227 // don't tweak it to be more precise.
228 if (CheckingMode && CS.getCalledFunction() &&
229 ExistingNode->getFunction() == 0)
230 continue;
231
232 assert(!CheckingMode &&
233 "CallGraphSCCPass did not update the CallGraph correctly!");
234
Chris Lattnerbe577652009-08-31 07:23:46 +0000235 // If not, we either went from a direct call to indirect, indirect to
236 // direct, or direct to different direct.
237 CallGraphNode *CalleeNode;
238 if (Function *Callee = CS.getCalledFunction())
239 CalleeNode = CG.getOrInsertFunction(Callee);
240 else
241 CalleeNode = CG.getCallsExternalNode();
Chris Lattner44a18372009-09-01 20:33:43 +0000242
243 // Update the edge target in CGN.
244 for (CallGraphNode::iterator I = CGN->begin(); ; ++I) {
245 assert(I != CGN->end() && "Didn't find call entry");
246 if (I->first == CS.getInstruction()) {
247 I->second = CalleeNode;
248 break;
249 }
250 }
Chris Lattnerbe577652009-08-31 07:23:46 +0000251 MadeChange = true;
252 continue;
253 }
254
Chris Lattner5a6a3632009-09-01 18:32:03 +0000255 assert(!CheckingMode &&
256 "CallGraphSCCPass did not update the CallGraph correctly!");
257
Chris Lattnerbe577652009-08-31 07:23:46 +0000258 // If the call site didn't exist in the CGN yet, add it. We assume that
259 // newly introduced call sites won't be indirect. This could be fixed
260 // in the future.
261 CallGraphNode *CalleeNode;
262 if (Function *Callee = CS.getCalledFunction())
263 CalleeNode = CG.getOrInsertFunction(Callee);
264 else
265 CalleeNode = CG.getCallsExternalNode();
266
267 CGN->addCalledFunction(CS, CalleeNode);
268 MadeChange = true;
269 }
270
271 // After scanning this function, if we still have entries in callsites, then
Chris Lattnera541b0f2009-09-01 06:31:31 +0000272 // they are dangling pointers. WeakVH should save us for this, so abort if
273 // this happens.
274 assert(CallSites.empty() && "Dangling pointers found in call sites map");
Chris Lattnerbe577652009-08-31 07:23:46 +0000275
Chris Lattnera541b0f2009-09-01 06:31:31 +0000276 // Periodically do an explicit clear to remove tombstones when processing
277 // large scc's.
278 if ((sccidx & 15) == 0)
279 CallSites.clear();
Chris Lattnerbe577652009-08-31 07:23:46 +0000280 }
281
282 DEBUG(if (MadeChange) {
David Greenec81ce582009-12-23 20:10:59 +0000283 dbgs() << "CGSCCPASSMGR: Refreshed SCC is now:\n";
Chris Lattnerbe577652009-08-31 07:23:46 +0000284 for (unsigned i = 0, e = CurSCC.size(); i != e; ++i)
285 CurSCC[i]->dump();
286 } else {
David Greenec81ce582009-12-23 20:10:59 +0000287 dbgs() << "CGSCCPASSMGR: SCC Refresh didn't change call graph.\n";
Chris Lattnerbe577652009-08-31 07:23:46 +0000288 }
289 );
290}
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000291
Devang Patel75f9abf2007-01-17 21:45:01 +0000292/// run - Execute all of the passes scheduled for execution. Keep track of
293/// whether any of the passes modifies the module, and if so, return true.
294bool CGPassManager::runOnModule(Module &M) {
295 CallGraph &CG = getAnalysis<CallGraph>();
Bill Wendling905c7e92009-02-11 18:19:24 +0000296 bool Changed = doInitialization(CG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000297
Chris Lattner5095e3d2009-08-31 00:19:58 +0000298 std::vector<CallGraphNode*> CurSCC;
299
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000300 // Walk the callgraph in bottom-up SCC order.
Chris Lattner5095e3d2009-08-31 00:19:58 +0000301 for (scc_iterator<CallGraph*> CGI = scc_begin(&CG), E = scc_end(&CG);
302 CGI != E;) {
303 // Copy the current SCC and increment past it so that the pass can hack
304 // on the SCC if it wants to without invalidating our iterator.
305 CurSCC = *CGI;
306 ++CGI;
307
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000308
Chris Lattnerbe577652009-08-31 07:23:46 +0000309 // CallGraphUpToDate - Keep track of whether the callgraph is known to be
310 // up-to-date or not. The CGSSC pass manager runs two types of passes:
311 // CallGraphSCC Passes and other random function passes. Because other
312 // random function passes are not CallGraph aware, they may clobber the
313 // call graph by introducing new calls or deleting other ones. This flag
314 // is set to false when we run a function pass so that we know to clean up
315 // the callgraph when we need to run a CGSCCPass again.
316 bool CallGraphUpToDate = true;
317
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000318 // Run all passes on current SCC.
319 for (unsigned PassNo = 0, e = getNumContainedPasses();
320 PassNo != e; ++PassNo) {
321 Pass *P = getContainedPass(PassNo);
Devang Patel75f9abf2007-01-17 21:45:01 +0000322
Chris Lattner9554c612009-09-15 05:03:04 +0000323 // If we're in -debug-pass=Executions mode, construct the SCC node list,
324 // otherwise avoid constructing this string as it is expensive.
325 if (isPassDebuggingExecutionsOrMore()) {
326 std::string Functions;
327#ifndef NDEBUG
328 raw_string_ostream OS(Functions);
329 for (unsigned i = 0, e = CurSCC.size(); i != e; ++i) {
330 if (i) OS << ", ";
331 CurSCC[i]->print(OS);
332 }
333 OS.flush();
334#endif
335 dumpPassInfo(P, EXECUTION_MSG, ON_CG_MSG, Functions);
336 }
Chris Lattner0dabb7e2008-08-08 15:14:09 +0000337 dumpRequiredSet(P);
Devang Patel75f9abf2007-01-17 21:45:01 +0000338
339 initializeAnalysisImpl(P);
340
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000341 // Actually run this pass on the current SCC.
Chris Lattnerbe577652009-08-31 07:23:46 +0000342 Changed |= RunPassOnSCC(P, CurSCC, CG, CallGraphUpToDate);
Devang Patel75f9abf2007-01-17 21:45:01 +0000343
344 if (Changed)
Devang Patel7f997612007-03-05 20:01:30 +0000345 dumpPassInfo(P, MODIFICATION_MSG, ON_CG_MSG, "");
Chris Lattner0dabb7e2008-08-08 15:14:09 +0000346 dumpPreservedSet(P);
Devang Patel58e0ef12007-07-19 18:02:32 +0000347
348 verifyPreservedAnalysis(P);
Devang Patel75f9abf2007-01-17 21:45:01 +0000349 removeNotPreservedAnalysis(P);
350 recordAvailableAnalysis(P);
Devang Patel7f997612007-03-05 20:01:30 +0000351 removeDeadPasses(P, "", ON_CG_MSG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000352 }
Chris Lattnerbe577652009-08-31 07:23:46 +0000353
354 // If the callgraph was left out of date (because the last pass run was a
355 // functionpass), refresh it before we move on to the next SCC.
356 if (!CallGraphUpToDate)
Chris Lattner5a6a3632009-09-01 18:32:03 +0000357 RefreshCallGraph(CurSCC, CG, false);
Devang Patel75f9abf2007-01-17 21:45:01 +0000358 }
Bill Wendling905c7e92009-02-11 18:19:24 +0000359 Changed |= doFinalization(CG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000360 return Changed;
361}
362
363/// Initialize CG
Bill Wendling905c7e92009-02-11 18:19:24 +0000364bool CGPassManager::doInitialization(CallGraph &CG) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000365 bool Changed = false;
366 for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) {
367 Pass *P = getContainedPass(Index);
Nick Lewycky8968a072009-02-13 07:15:53 +0000368 if (CallGraphSCCPass *CGSP = dynamic_cast<CallGraphSCCPass *>(P)) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000369 Changed |= CGSP->doInitialization(CG);
Nick Lewycky8968a072009-02-13 07:15:53 +0000370 } else {
371 FPPassManager *FP = dynamic_cast<FPPassManager *>(P);
372 assert (FP && "Invalid CGPassManager member");
373 Changed |= FP->doInitialization(CG.getModule());
374 }
Devang Patel75f9abf2007-01-17 21:45:01 +0000375 }
376 return Changed;
377}
378
379/// Finalize CG
Bill Wendling905c7e92009-02-11 18:19:24 +0000380bool CGPassManager::doFinalization(CallGraph &CG) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000381 bool Changed = false;
382 for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) {
383 Pass *P = getContainedPass(Index);
Nick Lewycky8968a072009-02-13 07:15:53 +0000384 if (CallGraphSCCPass *CGSP = dynamic_cast<CallGraphSCCPass *>(P)) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000385 Changed |= CGSP->doFinalization(CG);
Nick Lewycky8968a072009-02-13 07:15:53 +0000386 } else {
387 FPPassManager *FP = dynamic_cast<FPPassManager *>(P);
388 assert (FP && "Invalid CGPassManager member");
389 Changed |= FP->doFinalization(CG.getModule());
390 }
Devang Patel75f9abf2007-01-17 21:45:01 +0000391 }
392 return Changed;
393}
394
Devang Pateld9f10c32007-01-23 21:55:17 +0000395/// Assign pass manager to manage this pass.
Devang Patel97fd2432007-01-23 21:52:35 +0000396void CallGraphSCCPass::assignPassManager(PMStack &PMS,
Anton Korobeynikovbed29462007-04-16 18:10:23 +0000397 PassManagerType PreferredType) {
Devang Patel97fd2432007-01-23 21:52:35 +0000398 // Find CGPassManager
Duncan Sands20d824b2007-07-19 09:42:01 +0000399 while (!PMS.empty() &&
400 PMS.top()->getPassManagerType() > PMT_CallGraphPassManager)
401 PMS.pop();
Devang Patel97fd2432007-01-23 21:52:35 +0000402
Devang Patel201ebe32008-05-02 22:13:33 +0000403 assert (!PMS.empty() && "Unable to handle Call Graph Pass");
Devang Patel97fd2432007-01-23 21:52:35 +0000404 CGPassManager *CGP = dynamic_cast<CGPassManager *>(PMS.top());
405
406 // Create new Call Graph SCC Pass Manager if it does not exist.
407 if (!CGP) {
408
409 assert (!PMS.empty() && "Unable to create Call Graph Pass Manager");
410 PMDataManager *PMD = PMS.top();
411
412 // [1] Create new Call Graph Pass Manager
413 CGP = new CGPassManager(PMD->getDepth() + 1);
414
415 // [2] Set up new manager's top level manager
416 PMTopLevelManager *TPM = PMD->getTopLevelManager();
417 TPM->addIndirectPassManager(CGP);
418
419 // [3] Assign manager to manage this new manager. This may create
420 // and push new managers into PMS
421 Pass *P = dynamic_cast<Pass *>(CGP);
Devang Patel25e681a2007-06-21 22:29:02 +0000422 TPM->schedulePass(P);
Devang Patel97fd2432007-01-23 21:52:35 +0000423
424 // [4] Push new manager into PMS
425 PMS.push(CGP);
426 }
427
428 CGP->add(this);
429}
430
Chris Lattner4a810672003-08-31 01:54:59 +0000431/// getAnalysisUsage - For this class, we declare that we require and preserve
432/// the call graph. If the derived class implements this method, it should
433/// always explicitly call the implementation here.
434void CallGraphSCCPass::getAnalysisUsage(AnalysisUsage &AU) const {
435 AU.addRequired<CallGraph>();
436 AU.addPreserved<CallGraph>();
437}