blob: 774f0d4ddf4312e28a05fd8a4deba2a6c719d370 [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 Lattner2decb222010-04-16 22:42:17 +000084 bool RunPassOnSCC(Pass *P, CallGraphSCC &CurSCC,
Chris Lattnerbe577652009-08-31 07:23:46 +000085 CallGraph &CG, bool &CallGraphUpToDate);
Chris Lattner2decb222010-04-16 22:42:17 +000086 void RefreshCallGraph(CallGraphSCC &CurSCC, CallGraph &CG,
Chris Lattner5a6a3632009-09-01 18:32:03 +000087 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
David Greene5c8aa952010-04-02 23:17:14 +000094
Chris Lattner2decb222010-04-16 22:42:17 +000095bool CGPassManager::RunPassOnSCC(Pass *P, CallGraphSCC &CurSCC,
Chris Lattnerbe577652009-08-31 07:23:46 +000096 CallGraph &CG, bool &CallGraphUpToDate) {
Chris Lattnerf3a1c152009-08-31 06:01:21 +000097 bool Changed = false;
Chris Lattner5a66cb92010-01-22 05:46:59 +000098 PMDataManager *PM = P->getAsPMDataManager();
99
100 if (PM == 0) {
101 CallGraphSCCPass *CGSP = (CallGraphSCCPass*)P;
Chris Lattnerbe577652009-08-31 07:23:46 +0000102 if (!CallGraphUpToDate) {
Chris Lattner5a6a3632009-09-01 18:32:03 +0000103 RefreshCallGraph(CurSCC, CG, false);
Chris Lattnerbe577652009-08-31 07:23:46 +0000104 CallGraphUpToDate = true;
105 }
Chris Lattner44a18372009-09-01 20:33:43 +0000106
Chris Lattnera782e752010-03-30 04:03:22 +0000107 {
108 TimeRegion PassTimer(getPassTimer(CGSP));
109 Changed = CGSP->runOnSCC(CurSCC);
110 }
Chris Lattner5a6a3632009-09-01 18:32:03 +0000111
112 // After the CGSCCPass is done, when assertions are enabled, use
113 // RefreshCallGraph to verify that the callgraph was correctly updated.
114#ifndef NDEBUG
115 if (Changed)
116 RefreshCallGraph(CurSCC, CG, true);
117#endif
118
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000119 return Changed;
120 }
121
Chris Lattner5a66cb92010-01-22 05:46:59 +0000122
123 assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
124 "Invalid CGPassManager member");
125 FPPassManager *FPP = (FPPassManager*)P;
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000126
127 // Run pass P on all functions in the current SCC.
Chris Lattner2decb222010-04-16 22:42:17 +0000128 for (CallGraphSCC::iterator I = CurSCC.begin(), E = CurSCC.end();
129 I != E; ++I) {
130 if (Function *F = (*I)->getFunction()) {
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000131 dumpPassInfo(P, EXECUTION_MSG, ON_FUNCTION_MSG, F->getName());
Chris Lattnera782e752010-03-30 04:03:22 +0000132 TimeRegion PassTimer(getPassTimer(FPP));
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000133 Changed |= FPP->runOnFunction(*F);
134 }
135 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000136
Chris Lattner2038cf32009-08-31 17:08:30 +0000137 // The function pass(es) modified the IR, they may have clobbered the
Chris Lattnerbe577652009-08-31 07:23:46 +0000138 // callgraph.
139 if (Changed && CallGraphUpToDate) {
David Greenec81ce582009-12-23 20:10:59 +0000140 DEBUG(dbgs() << "CGSCCPASSMGR: Pass Dirtied SCC: "
Chris Lattnerbe577652009-08-31 07:23:46 +0000141 << P->getPassName() << '\n');
142 CallGraphUpToDate = false;
143 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000144 return Changed;
145}
146
Chris Lattner5a6a3632009-09-01 18:32:03 +0000147
148/// RefreshCallGraph - Scan the functions in the specified CFG and resync the
149/// callgraph with the call sites found in it. This is used after
150/// FunctionPasses have potentially munged the callgraph, and can be used after
151/// CallGraphSCC passes to verify that they correctly updated the callgraph.
152///
Chris Lattner2decb222010-04-16 22:42:17 +0000153void CGPassManager::RefreshCallGraph(CallGraphSCC &CurSCC,
Chris Lattner5a6a3632009-09-01 18:32:03 +0000154 CallGraph &CG, bool CheckingMode) {
Chris Lattnera541b0f2009-09-01 06:31:31 +0000155 DenseMap<Value*, CallGraphNode*> CallSites;
Chris Lattnerbe577652009-08-31 07:23:46 +0000156
David Greenec81ce582009-12-23 20:10:59 +0000157 DEBUG(dbgs() << "CGSCCPASSMGR: Refreshing SCC with " << CurSCC.size()
Chris Lattnerbe577652009-08-31 07:23:46 +0000158 << " nodes:\n";
Chris Lattner2decb222010-04-16 22:42:17 +0000159 for (CallGraphSCC::iterator I = CurSCC.begin(), E = CurSCC.end();
160 I != E; ++I)
161 (*I)->dump();
Chris Lattnerbe577652009-08-31 07:23:46 +0000162 );
163
164 bool MadeChange = false;
Chris Lattnerbe577652009-08-31 07:23:46 +0000165
166 // Scan all functions in the SCC.
Chris Lattner2decb222010-04-16 22:42:17 +0000167 unsigned FunctionNo = 0;
168 for (CallGraphSCC::iterator SCCIdx = CurSCC.begin(), E = CurSCC.end();
169 SCCIdx != E; ++SCCIdx, ++FunctionNo) {
170 CallGraphNode *CGN = *SCCIdx;
Chris Lattnerbe577652009-08-31 07:23:46 +0000171 Function *F = CGN->getFunction();
172 if (F == 0 || F->isDeclaration()) continue;
173
174 // Walk the function body looking for call sites. Sync up the call sites in
175 // CGN with those actually in the function.
Chris Lattner17146b82009-09-01 18:13:40 +0000176
Chris Lattnerbe577652009-08-31 07:23:46 +0000177 // Get the set of call sites currently in the function.
Duncan Sandsb3020d72009-09-02 03:48:41 +0000178 for (CallGraphNode::iterator I = CGN->begin(), E = CGN->end(); I != E; ) {
Chris Lattnera541b0f2009-09-01 06:31:31 +0000179 // If this call site is null, then the function pass deleted the call
Chris Lattner17146b82009-09-01 18:13:40 +0000180 // entirely and the WeakVH nulled it out.
Chris Lattnera541b0f2009-09-01 06:31:31 +0000181 if (I->first == 0 ||
182 // If we've already seen this call site, then the FunctionPass RAUW'd
183 // one call with another, which resulted in two "uses" in the edge
184 // list of the same call.
185 CallSites.count(I->first) ||
186
187 // If the call edge is not from a call or invoke, then the function
188 // pass RAUW'd a call with another value. This can happen when
189 // constant folding happens of well known functions etc.
190 CallSite::get(I->first).getInstruction() == 0) {
Chris Lattner5a6a3632009-09-01 18:32:03 +0000191 assert(!CheckingMode &&
192 "CallGraphSCCPass did not update the CallGraph correctly!");
193
Chris Lattnerd3bd0822009-09-02 04:39:04 +0000194 // Just remove the edge from the set of callees, keep track of whether
195 // I points to the last element of the vector.
196 bool WasLast = I + 1 == E;
Chris Lattnera541b0f2009-09-01 06:31:31 +0000197 CGN->removeCallEdge(I);
Chris Lattnerb8bcbd62009-09-02 04:34:06 +0000198
Chris Lattnerd3bd0822009-09-02 04:39:04 +0000199 // If I pointed to the last element of the vector, we have to bail out:
200 // iterator checking rejects comparisons of the resultant pointer with
201 // end.
202 if (WasLast)
203 break;
Chris Lattnera541b0f2009-09-01 06:31:31 +0000204 E = CGN->end();
Chris Lattnera541b0f2009-09-01 06:31:31 +0000205 continue;
206 }
Chris Lattner17146b82009-09-01 18:13:40 +0000207
Chris Lattnera541b0f2009-09-01 06:31:31 +0000208 assert(!CallSites.count(I->first) &&
Chris Lattnerbe577652009-08-31 07:23:46 +0000209 "Call site occurs in node multiple times");
Chris Lattnera541b0f2009-09-01 06:31:31 +0000210 CallSites.insert(std::make_pair(I->first, I->second));
Chris Lattner17146b82009-09-01 18:13:40 +0000211 ++I;
Chris Lattnerbe577652009-08-31 07:23:46 +0000212 }
Chris Lattner17146b82009-09-01 18:13:40 +0000213
Chris Lattnerbe577652009-08-31 07:23:46 +0000214 // Loop over all of the instructions in the function, getting the callsites.
215 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB)
216 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) {
217 CallSite CS = CallSite::get(I);
Chris Lattner8bff7c92009-09-01 21:37:50 +0000218 if (!CS.getInstruction() || isa<DbgInfoIntrinsic>(I)) continue;
Chris Lattnerbe577652009-08-31 07:23:46 +0000219
220 // If this call site already existed in the callgraph, just verify it
221 // matches up to expectations and remove it from CallSites.
Chris Lattnera541b0f2009-09-01 06:31:31 +0000222 DenseMap<Value*, CallGraphNode*>::iterator ExistingIt =
Chris Lattnerbe577652009-08-31 07:23:46 +0000223 CallSites.find(CS.getInstruction());
224 if (ExistingIt != CallSites.end()) {
225 CallGraphNode *ExistingNode = ExistingIt->second;
226
227 // Remove from CallSites since we have now seen it.
228 CallSites.erase(ExistingIt);
229
230 // Verify that the callee is right.
231 if (ExistingNode->getFunction() == CS.getCalledFunction())
232 continue;
233
Chris Lattner5a6a3632009-09-01 18:32:03 +0000234 // If we are in checking mode, we are not allowed to actually mutate
235 // the callgraph. If this is a case where we can infer that the
236 // callgraph is less precise than it could be (e.g. an indirect call
237 // site could be turned direct), don't reject it in checking mode, and
238 // don't tweak it to be more precise.
239 if (CheckingMode && CS.getCalledFunction() &&
240 ExistingNode->getFunction() == 0)
241 continue;
242
243 assert(!CheckingMode &&
244 "CallGraphSCCPass did not update the CallGraph correctly!");
245
Chris Lattnerbe577652009-08-31 07:23:46 +0000246 // If not, we either went from a direct call to indirect, indirect to
247 // direct, or direct to different direct.
248 CallGraphNode *CalleeNode;
249 if (Function *Callee = CS.getCalledFunction())
250 CalleeNode = CG.getOrInsertFunction(Callee);
251 else
252 CalleeNode = CG.getCallsExternalNode();
Chris Lattner44a18372009-09-01 20:33:43 +0000253
254 // Update the edge target in CGN.
255 for (CallGraphNode::iterator I = CGN->begin(); ; ++I) {
256 assert(I != CGN->end() && "Didn't find call entry");
257 if (I->first == CS.getInstruction()) {
258 I->second = CalleeNode;
259 break;
260 }
261 }
Chris Lattnerbe577652009-08-31 07:23:46 +0000262 MadeChange = true;
263 continue;
264 }
265
Chris Lattner5a6a3632009-09-01 18:32:03 +0000266 assert(!CheckingMode &&
267 "CallGraphSCCPass did not update the CallGraph correctly!");
268
Chris Lattnerbe577652009-08-31 07:23:46 +0000269 // If the call site didn't exist in the CGN yet, add it. We assume that
270 // newly introduced call sites won't be indirect. This could be fixed
271 // in the future.
272 CallGraphNode *CalleeNode;
273 if (Function *Callee = CS.getCalledFunction())
274 CalleeNode = CG.getOrInsertFunction(Callee);
275 else
276 CalleeNode = CG.getCallsExternalNode();
277
278 CGN->addCalledFunction(CS, CalleeNode);
279 MadeChange = true;
280 }
281
282 // After scanning this function, if we still have entries in callsites, then
Chris Lattnera541b0f2009-09-01 06:31:31 +0000283 // they are dangling pointers. WeakVH should save us for this, so abort if
284 // this happens.
285 assert(CallSites.empty() && "Dangling pointers found in call sites map");
Chris Lattnerbe577652009-08-31 07:23:46 +0000286
Chris Lattnera541b0f2009-09-01 06:31:31 +0000287 // Periodically do an explicit clear to remove tombstones when processing
288 // large scc's.
Chris Lattner2decb222010-04-16 22:42:17 +0000289 if ((FunctionNo & 15) == 15)
Chris Lattnera541b0f2009-09-01 06:31:31 +0000290 CallSites.clear();
Chris Lattnerbe577652009-08-31 07:23:46 +0000291 }
292
293 DEBUG(if (MadeChange) {
David Greenec81ce582009-12-23 20:10:59 +0000294 dbgs() << "CGSCCPASSMGR: Refreshed SCC is now:\n";
Chris Lattner2decb222010-04-16 22:42:17 +0000295 for (CallGraphSCC::iterator I = CurSCC.begin(), E = CurSCC.end();
296 I != E; ++I)
297 (*I)->dump();
Chris Lattnerbe577652009-08-31 07:23:46 +0000298 } else {
David Greenec81ce582009-12-23 20:10:59 +0000299 dbgs() << "CGSCCPASSMGR: SCC Refresh didn't change call graph.\n";
Chris Lattnerbe577652009-08-31 07:23:46 +0000300 }
301 );
302}
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000303
Devang Patel75f9abf2007-01-17 21:45:01 +0000304/// run - Execute all of the passes scheduled for execution. Keep track of
305/// whether any of the passes modifies the module, and if so, return true.
306bool CGPassManager::runOnModule(Module &M) {
307 CallGraph &CG = getAnalysis<CallGraph>();
Bill Wendling905c7e92009-02-11 18:19:24 +0000308 bool Changed = doInitialization(CG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000309
Chris Lattner2decb222010-04-16 22:42:17 +0000310 CallGraphSCC CurSCC(this);
Chris Lattner5095e3d2009-08-31 00:19:58 +0000311
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000312 // Walk the callgraph in bottom-up SCC order.
Chris Lattner5095e3d2009-08-31 00:19:58 +0000313 for (scc_iterator<CallGraph*> CGI = scc_begin(&CG), E = scc_end(&CG);
314 CGI != E;) {
315 // Copy the current SCC and increment past it so that the pass can hack
316 // on the SCC if it wants to without invalidating our iterator.
Chris Lattner2decb222010-04-16 22:42:17 +0000317 std::vector<CallGraphNode*> &NodeVec = *CGI;
318 CurSCC.initialize(&NodeVec[0], &NodeVec[0]+NodeVec.size());
Chris Lattner5095e3d2009-08-31 00:19:58 +0000319 ++CGI;
320
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000321
Chris Lattnerbe577652009-08-31 07:23:46 +0000322 // CallGraphUpToDate - Keep track of whether the callgraph is known to be
323 // up-to-date or not. The CGSSC pass manager runs two types of passes:
324 // CallGraphSCC Passes and other random function passes. Because other
325 // random function passes are not CallGraph aware, they may clobber the
326 // call graph by introducing new calls or deleting other ones. This flag
327 // is set to false when we run a function pass so that we know to clean up
328 // the callgraph when we need to run a CGSCCPass again.
329 bool CallGraphUpToDate = true;
330
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000331 // Run all passes on current SCC.
332 for (unsigned PassNo = 0, e = getNumContainedPasses();
333 PassNo != e; ++PassNo) {
334 Pass *P = getContainedPass(PassNo);
Devang Patel75f9abf2007-01-17 21:45:01 +0000335
Chris Lattner9554c612009-09-15 05:03:04 +0000336 // If we're in -debug-pass=Executions mode, construct the SCC node list,
337 // otherwise avoid constructing this string as it is expensive.
338 if (isPassDebuggingExecutionsOrMore()) {
339 std::string Functions;
340#ifndef NDEBUG
341 raw_string_ostream OS(Functions);
Chris Lattner2decb222010-04-16 22:42:17 +0000342 for (CallGraphSCC::iterator I = CurSCC.begin(), E = CurSCC.end();
343 I != E; ++I) {
344 if (I != CurSCC.begin()) OS << ", ";
345 (*I)->print(OS);
Chris Lattner9554c612009-09-15 05:03:04 +0000346 }
347 OS.flush();
348#endif
349 dumpPassInfo(P, EXECUTION_MSG, ON_CG_MSG, Functions);
350 }
Chris Lattner0dabb7e2008-08-08 15:14:09 +0000351 dumpRequiredSet(P);
Devang Patel75f9abf2007-01-17 21:45:01 +0000352
353 initializeAnalysisImpl(P);
354
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000355 // Actually run this pass on the current SCC.
Chris Lattnerbe577652009-08-31 07:23:46 +0000356 Changed |= RunPassOnSCC(P, CurSCC, CG, CallGraphUpToDate);
Devang Patel75f9abf2007-01-17 21:45:01 +0000357
358 if (Changed)
Devang Patel7f997612007-03-05 20:01:30 +0000359 dumpPassInfo(P, MODIFICATION_MSG, ON_CG_MSG, "");
Chris Lattner0dabb7e2008-08-08 15:14:09 +0000360 dumpPreservedSet(P);
Devang Patel58e0ef12007-07-19 18:02:32 +0000361
362 verifyPreservedAnalysis(P);
Devang Patel75f9abf2007-01-17 21:45:01 +0000363 removeNotPreservedAnalysis(P);
364 recordAvailableAnalysis(P);
Devang Patel7f997612007-03-05 20:01:30 +0000365 removeDeadPasses(P, "", ON_CG_MSG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000366 }
Chris Lattnerbe577652009-08-31 07:23:46 +0000367
368 // If the callgraph was left out of date (because the last pass run was a
369 // functionpass), refresh it before we move on to the next SCC.
370 if (!CallGraphUpToDate)
Chris Lattner5a6a3632009-09-01 18:32:03 +0000371 RefreshCallGraph(CurSCC, CG, false);
Devang Patel75f9abf2007-01-17 21:45:01 +0000372 }
Bill Wendling905c7e92009-02-11 18:19:24 +0000373 Changed |= doFinalization(CG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000374 return Changed;
375}
376
377/// Initialize CG
Bill Wendling905c7e92009-02-11 18:19:24 +0000378bool CGPassManager::doInitialization(CallGraph &CG) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000379 bool Changed = false;
Chris Lattner5a66cb92010-01-22 05:46:59 +0000380 for (unsigned i = 0, e = getNumContainedPasses(); i != e; ++i) {
381 if (PMDataManager *PM = getContainedPass(i)->getAsPMDataManager()) {
382 assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
383 "Invalid CGPassManager member");
384 Changed |= ((FPPassManager*)PM)->doInitialization(CG.getModule());
Nick Lewycky8968a072009-02-13 07:15:53 +0000385 } else {
Chris Lattner5a66cb92010-01-22 05:46:59 +0000386 Changed |= ((CallGraphSCCPass*)getContainedPass(i))->doInitialization(CG);
Nick Lewycky8968a072009-02-13 07:15:53 +0000387 }
Devang Patel75f9abf2007-01-17 21:45:01 +0000388 }
389 return Changed;
390}
391
392/// Finalize CG
Bill Wendling905c7e92009-02-11 18:19:24 +0000393bool CGPassManager::doFinalization(CallGraph &CG) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000394 bool Changed = false;
Chris Lattner5a66cb92010-01-22 05:46:59 +0000395 for (unsigned i = 0, e = getNumContainedPasses(); i != e; ++i) {
396 if (PMDataManager *PM = getContainedPass(i)->getAsPMDataManager()) {
397 assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
398 "Invalid CGPassManager member");
399 Changed |= ((FPPassManager*)PM)->doFinalization(CG.getModule());
Nick Lewycky8968a072009-02-13 07:15:53 +0000400 } else {
Chris Lattner5a66cb92010-01-22 05:46:59 +0000401 Changed |= ((CallGraphSCCPass*)getContainedPass(i))->doFinalization(CG);
Nick Lewycky8968a072009-02-13 07:15:53 +0000402 }
Devang Patel75f9abf2007-01-17 21:45:01 +0000403 }
404 return Changed;
405}
406
Chris Lattnerc93760c2010-04-16 21:43:55 +0000407//===----------------------------------------------------------------------===//
Chris Lattner2decb222010-04-16 22:42:17 +0000408// CallGraphSCC Implementation
409//===----------------------------------------------------------------------===//
410
411
412
413//===----------------------------------------------------------------------===//
Chris Lattnerc93760c2010-04-16 21:43:55 +0000414// CallGraphSCCPass Implementation
415//===----------------------------------------------------------------------===//
David Greene5c8aa952010-04-02 23:17:14 +0000416
Devang Pateld9f10c32007-01-23 21:55:17 +0000417/// Assign pass manager to manage this pass.
Devang Patel97fd2432007-01-23 21:52:35 +0000418void CallGraphSCCPass::assignPassManager(PMStack &PMS,
Anton Korobeynikovbed29462007-04-16 18:10:23 +0000419 PassManagerType PreferredType) {
Devang Patel97fd2432007-01-23 21:52:35 +0000420 // Find CGPassManager
Duncan Sands20d824b2007-07-19 09:42:01 +0000421 while (!PMS.empty() &&
422 PMS.top()->getPassManagerType() > PMT_CallGraphPassManager)
423 PMS.pop();
Devang Patel97fd2432007-01-23 21:52:35 +0000424
Chris Lattner77c95ed2010-01-22 05:37:10 +0000425 assert(!PMS.empty() && "Unable to handle Call Graph Pass");
426 CGPassManager *CGP;
427
428 if (PMS.top()->getPassManagerType() == PMT_CallGraphPassManager)
429 CGP = (CGPassManager*)PMS.top();
430 else {
431 // Create new Call Graph SCC Pass Manager if it does not exist.
432 assert(!PMS.empty() && "Unable to create Call Graph Pass Manager");
Devang Patel97fd2432007-01-23 21:52:35 +0000433 PMDataManager *PMD = PMS.top();
434
435 // [1] Create new Call Graph Pass Manager
436 CGP = new CGPassManager(PMD->getDepth() + 1);
437
438 // [2] Set up new manager's top level manager
439 PMTopLevelManager *TPM = PMD->getTopLevelManager();
440 TPM->addIndirectPassManager(CGP);
441
442 // [3] Assign manager to manage this new manager. This may create
443 // and push new managers into PMS
Chris Lattner77c95ed2010-01-22 05:37:10 +0000444 Pass *P = CGP;
Devang Patel25e681a2007-06-21 22:29:02 +0000445 TPM->schedulePass(P);
Devang Patel97fd2432007-01-23 21:52:35 +0000446
447 // [4] Push new manager into PMS
448 PMS.push(CGP);
449 }
450
451 CGP->add(this);
452}
453
Chris Lattner4a810672003-08-31 01:54:59 +0000454/// getAnalysisUsage - For this class, we declare that we require and preserve
455/// the call graph. If the derived class implements this method, it should
456/// always explicitly call the implementation here.
457void CallGraphSCCPass::getAnalysisUsage(AnalysisUsage &AU) const {
458 AU.addRequired<CallGraph>();
459 AU.addPreserved<CallGraph>();
460}
Chris Lattnerc93760c2010-04-16 21:43:55 +0000461
462
463//===----------------------------------------------------------------------===//
464// PrintCallGraphPass Implementation
465//===----------------------------------------------------------------------===//
466
467namespace {
468 /// PrintCallGraphPass - Print a Module corresponding to a call graph.
469 ///
470 class PrintCallGraphPass : public CallGraphSCCPass {
471 std::string Banner;
472 raw_ostream &Out; // raw_ostream to print on.
473
474 public:
475 static char ID;
476 PrintCallGraphPass() : CallGraphSCCPass(&ID), Out(dbgs()) {}
477 PrintCallGraphPass(const std::string &B, raw_ostream &o)
478 : CallGraphSCCPass(&ID), Banner(B), Out(o) {}
479
480 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
481 AU.setPreservesAll();
482 }
483
Chris Lattner2decb222010-04-16 22:42:17 +0000484 bool runOnSCC(CallGraphSCC &SCC) {
Chris Lattnerc93760c2010-04-16 21:43:55 +0000485 Out << Banner;
Chris Lattner2decb222010-04-16 22:42:17 +0000486 for (CallGraphSCC::iterator I = SCC.begin(), E = SCC.end(); I != E; ++I)
487 (*I)->getFunction()->print(Out);
Chris Lattnerc93760c2010-04-16 21:43:55 +0000488 return false;
489 }
490 };
491
492} // end anonymous namespace.
493
494char PrintCallGraphPass::ID = 0;
495
496Pass *CallGraphSCCPass::createPrinterPass(raw_ostream &O,
497 const std::string &Banner) const {
498 return new PrintCallGraphPass(Banner, O);
499}
500