blob: 449b7ee87b1c4495da9a46a3835d191e4b7417ac [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 Lattner08e322d2010-04-21 00:47:40 +000025#include "llvm/ADT/Statistic.h"
26#include "llvm/Support/CommandLine.h"
Chris Lattnerbe577652009-08-31 07:23:46 +000027#include "llvm/Support/Debug.h"
Chris Lattnera782e752010-03-30 04:03:22 +000028#include "llvm/Support/Timer.h"
Chris Lattner45cfe542009-08-23 06:03:38 +000029#include "llvm/Support/raw_ostream.h"
Chris Lattnera10df502004-04-20 21:30:06 +000030using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000031
Chris Lattner08e322d2010-04-21 00:47:40 +000032static cl::opt<unsigned>
Chris Lattner6da12e62010-05-01 01:15:56 +000033MaxIterations("max-cg-scc-iterations", cl::ReallyHidden, cl::init(4));
Chris Lattner08e322d2010-04-21 00:47:40 +000034
35STATISTIC(MaxSCCIterations, "Maximum CGSCCPassMgr iterations on one SCC");
36
Devang Patel75f9abf2007-01-17 21:45:01 +000037//===----------------------------------------------------------------------===//
38// CGPassManager
39//
Dale Johannesendb2659b2009-09-10 22:01:32 +000040/// CGPassManager manages FPPassManagers and CallGraphSCCPasses.
Devang Patel75f9abf2007-01-17 21:45:01 +000041
Dan Gohman844731a2008-05-13 00:00:25 +000042namespace {
43
Devang Patel75f9abf2007-01-17 21:45:01 +000044class CGPassManager : public ModulePass, public PMDataManager {
Devang Patel75f9abf2007-01-17 21:45:01 +000045public:
Devang Patel19974732007-05-03 01:11:54 +000046 static char ID;
Andrew Trick0e122d12011-08-29 17:07:00 +000047 explicit CGPassManager()
48 : ModulePass(ID), PMDataManager() { }
Devang Patel75f9abf2007-01-17 21:45:01 +000049
50 /// run - Execute all of the passes scheduled for execution. Keep track of
51 /// whether any of the passes modifies the module, and if so, return true.
52 bool runOnModule(Module &M);
53
Bill Wendling905c7e92009-02-11 18:19:24 +000054 bool doInitialization(CallGraph &CG);
55 bool doFinalization(CallGraph &CG);
Devang Patel75f9abf2007-01-17 21:45:01 +000056
57 /// Pass Manager itself does not invalidate any analysis info.
58 void getAnalysisUsage(AnalysisUsage &Info) const {
59 // CGPassManager walks SCC and it needs CallGraph.
60 Info.addRequired<CallGraph>();
61 Info.setPreservesAll();
62 }
63
Devang Patel505f36a2007-02-01 22:09:37 +000064 virtual const char *getPassName() const {
65 return "CallGraph Pass Manager";
66 }
67
Chris Lattner3660eca2010-01-22 05:24:46 +000068 virtual PMDataManager *getAsPMDataManager() { return this; }
69 virtual Pass *getAsPass() { return this; }
70
Devang Patel75f9abf2007-01-17 21:45:01 +000071 // Print passes managed by this manager
72 void dumpPassStructure(unsigned Offset) {
David Greene2e48e532009-12-23 23:09:39 +000073 errs().indent(Offset*2) << "Call Graph SCC Pass Manager\n";
Devang Patel75f9abf2007-01-17 21:45:01 +000074 for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) {
75 Pass *P = getContainedPass(Index);
Dan Gohman8a757ae2010-08-19 01:29:07 +000076 P->dumpPassStructure(Offset + 1);
Devang Patel75f9abf2007-01-17 21:45:01 +000077 dumpLastUses(P, Offset+1);
78 }
79 }
80
81 Pass *getContainedPass(unsigned N) {
Chris Lattner45cfe542009-08-23 06:03:38 +000082 assert(N < PassVector.size() && "Pass number out of range!");
83 return static_cast<Pass *>(PassVector[N]);
Devang Patel75f9abf2007-01-17 21:45:01 +000084 }
85
Devang Patel84da80d2007-02-27 15:00:39 +000086 virtual PassManagerType getPassManagerType() const {
Devang Patel75f9abf2007-01-17 21:45:01 +000087 return PMT_CallGraphPassManager;
88 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +000089
90private:
Chris Lattner08e322d2010-04-21 00:47:40 +000091 bool RunAllPassesOnSCC(CallGraphSCC &CurSCC, CallGraph &CG,
92 bool &DevirtualizedCall);
93
Chris Lattner2decb222010-04-16 22:42:17 +000094 bool RunPassOnSCC(Pass *P, CallGraphSCC &CurSCC,
Chris Lattner08e322d2010-04-21 00:47:40 +000095 CallGraph &CG, bool &CallGraphUpToDate,
96 bool &DevirtualizedCall);
97 bool RefreshCallGraph(CallGraphSCC &CurSCC, CallGraph &CG,
Chris Lattner5a6a3632009-09-01 18:32:03 +000098 bool IsCheckingMode);
Devang Patel75f9abf2007-01-17 21:45:01 +000099};
100
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000101} // end anonymous namespace.
Dan Gohman844731a2008-05-13 00:00:25 +0000102
Devang Patel19974732007-05-03 01:11:54 +0000103char CGPassManager::ID = 0;
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000104
David Greene5c8aa952010-04-02 23:17:14 +0000105
Chris Lattner2decb222010-04-16 22:42:17 +0000106bool CGPassManager::RunPassOnSCC(Pass *P, CallGraphSCC &CurSCC,
Chris Lattner08e322d2010-04-21 00:47:40 +0000107 CallGraph &CG, bool &CallGraphUpToDate,
108 bool &DevirtualizedCall) {
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000109 bool Changed = false;
Chris Lattner5a66cb92010-01-22 05:46:59 +0000110 PMDataManager *PM = P->getAsPMDataManager();
111
112 if (PM == 0) {
113 CallGraphSCCPass *CGSP = (CallGraphSCCPass*)P;
Chris Lattnerbe577652009-08-31 07:23:46 +0000114 if (!CallGraphUpToDate) {
Chris Lattner08e322d2010-04-21 00:47:40 +0000115 DevirtualizedCall |= RefreshCallGraph(CurSCC, CG, false);
Chris Lattnerbe577652009-08-31 07:23:46 +0000116 CallGraphUpToDate = true;
117 }
Chris Lattner44a18372009-09-01 20:33:43 +0000118
Chris Lattnera782e752010-03-30 04:03:22 +0000119 {
120 TimeRegion PassTimer(getPassTimer(CGSP));
121 Changed = CGSP->runOnSCC(CurSCC);
122 }
Chris Lattner5a6a3632009-09-01 18:32:03 +0000123
124 // After the CGSCCPass is done, when assertions are enabled, use
125 // RefreshCallGraph to verify that the callgraph was correctly updated.
126#ifndef NDEBUG
127 if (Changed)
128 RefreshCallGraph(CurSCC, CG, true);
129#endif
130
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000131 return Changed;
132 }
133
Chris Lattner5a66cb92010-01-22 05:46:59 +0000134
135 assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
136 "Invalid CGPassManager member");
137 FPPassManager *FPP = (FPPassManager*)P;
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000138
139 // Run pass P on all functions in the current SCC.
Chris Lattner2decb222010-04-16 22:42:17 +0000140 for (CallGraphSCC::iterator I = CurSCC.begin(), E = CurSCC.end();
141 I != E; ++I) {
142 if (Function *F = (*I)->getFunction()) {
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000143 dumpPassInfo(P, EXECUTION_MSG, ON_FUNCTION_MSG, F->getName());
Chris Lattnera782e752010-03-30 04:03:22 +0000144 TimeRegion PassTimer(getPassTimer(FPP));
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000145 Changed |= FPP->runOnFunction(*F);
146 }
147 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000148
Chris Lattner2038cf32009-08-31 17:08:30 +0000149 // The function pass(es) modified the IR, they may have clobbered the
Chris Lattnerbe577652009-08-31 07:23:46 +0000150 // callgraph.
151 if (Changed && CallGraphUpToDate) {
David Greenec81ce582009-12-23 20:10:59 +0000152 DEBUG(dbgs() << "CGSCCPASSMGR: Pass Dirtied SCC: "
Chris Lattnerbe577652009-08-31 07:23:46 +0000153 << P->getPassName() << '\n');
154 CallGraphUpToDate = false;
155 }
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000156 return Changed;
157}
158
Chris Lattner5a6a3632009-09-01 18:32:03 +0000159
160/// RefreshCallGraph - Scan the functions in the specified CFG and resync the
161/// callgraph with the call sites found in it. This is used after
162/// FunctionPasses have potentially munged the callgraph, and can be used after
163/// CallGraphSCC passes to verify that they correctly updated the callgraph.
164///
Chris Lattner08e322d2010-04-21 00:47:40 +0000165/// This function returns true if it devirtualized an existing function call,
166/// meaning it turned an indirect call into a direct call. This happens when
167/// a function pass like GVN optimizes away stuff feeding the indirect call.
168/// This never happens in checking mode.
169///
170bool CGPassManager::RefreshCallGraph(CallGraphSCC &CurSCC,
Chris Lattner5a6a3632009-09-01 18:32:03 +0000171 CallGraph &CG, bool CheckingMode) {
Chris Lattnera541b0f2009-09-01 06:31:31 +0000172 DenseMap<Value*, CallGraphNode*> CallSites;
Chris Lattnerbe577652009-08-31 07:23:46 +0000173
David Greenec81ce582009-12-23 20:10:59 +0000174 DEBUG(dbgs() << "CGSCCPASSMGR: Refreshing SCC with " << CurSCC.size()
Chris Lattnerbe577652009-08-31 07:23:46 +0000175 << " nodes:\n";
Chris Lattner2decb222010-04-16 22:42:17 +0000176 for (CallGraphSCC::iterator I = CurSCC.begin(), E = CurSCC.end();
177 I != E; ++I)
178 (*I)->dump();
Chris Lattnerbe577652009-08-31 07:23:46 +0000179 );
180
181 bool MadeChange = false;
Chris Lattner08e322d2010-04-21 00:47:40 +0000182 bool DevirtualizedCall = false;
Chris Lattnerbe577652009-08-31 07:23:46 +0000183
184 // Scan all functions in the SCC.
Chris Lattner2decb222010-04-16 22:42:17 +0000185 unsigned FunctionNo = 0;
186 for (CallGraphSCC::iterator SCCIdx = CurSCC.begin(), E = CurSCC.end();
187 SCCIdx != E; ++SCCIdx, ++FunctionNo) {
188 CallGraphNode *CGN = *SCCIdx;
Chris Lattnerbe577652009-08-31 07:23:46 +0000189 Function *F = CGN->getFunction();
190 if (F == 0 || F->isDeclaration()) continue;
191
192 // Walk the function body looking for call sites. Sync up the call sites in
193 // CGN with those actually in the function.
Chris Lattnerbccb41a2010-05-01 06:38:43 +0000194
195 // Keep track of the number of direct and indirect calls that were
196 // invalidated and removed.
197 unsigned NumDirectRemoved = 0, NumIndirectRemoved = 0;
Chris Lattner17146b82009-09-01 18:13:40 +0000198
Chris Lattnerbe577652009-08-31 07:23:46 +0000199 // Get the set of call sites currently in the function.
Duncan Sandsb3020d72009-09-02 03:48:41 +0000200 for (CallGraphNode::iterator I = CGN->begin(), E = CGN->end(); I != E; ) {
Chris Lattnera541b0f2009-09-01 06:31:31 +0000201 // If this call site is null, then the function pass deleted the call
Chris Lattner17146b82009-09-01 18:13:40 +0000202 // entirely and the WeakVH nulled it out.
Chris Lattnera541b0f2009-09-01 06:31:31 +0000203 if (I->first == 0 ||
204 // If we've already seen this call site, then the FunctionPass RAUW'd
205 // one call with another, which resulted in two "uses" in the edge
206 // list of the same call.
207 CallSites.count(I->first) ||
208
209 // If the call edge is not from a call or invoke, then the function
210 // pass RAUW'd a call with another value. This can happen when
211 // constant folding happens of well known functions etc.
Gabor Greifce4a6262010-07-28 12:35:54 +0000212 !CallSite(I->first)) {
Chris Lattner5a6a3632009-09-01 18:32:03 +0000213 assert(!CheckingMode &&
214 "CallGraphSCCPass did not update the CallGraph correctly!");
215
Chris Lattnerbccb41a2010-05-01 06:38:43 +0000216 // If this was an indirect call site, count it.
217 if (I->second->getFunction() == 0)
218 ++NumIndirectRemoved;
219 else
220 ++NumDirectRemoved;
221
Chris Lattnerd3bd0822009-09-02 04:39:04 +0000222 // Just remove the edge from the set of callees, keep track of whether
223 // I points to the last element of the vector.
224 bool WasLast = I + 1 == E;
Chris Lattnera541b0f2009-09-01 06:31:31 +0000225 CGN->removeCallEdge(I);
Chris Lattnerb8bcbd62009-09-02 04:34:06 +0000226
Chris Lattnerd3bd0822009-09-02 04:39:04 +0000227 // If I pointed to the last element of the vector, we have to bail out:
228 // iterator checking rejects comparisons of the resultant pointer with
229 // end.
230 if (WasLast)
231 break;
Chris Lattnera541b0f2009-09-01 06:31:31 +0000232 E = CGN->end();
Chris Lattnera541b0f2009-09-01 06:31:31 +0000233 continue;
234 }
Chris Lattner17146b82009-09-01 18:13:40 +0000235
Chris Lattnera541b0f2009-09-01 06:31:31 +0000236 assert(!CallSites.count(I->first) &&
Chris Lattnerbe577652009-08-31 07:23:46 +0000237 "Call site occurs in node multiple times");
Chris Lattnera541b0f2009-09-01 06:31:31 +0000238 CallSites.insert(std::make_pair(I->first, I->second));
Chris Lattner17146b82009-09-01 18:13:40 +0000239 ++I;
Chris Lattnerbe577652009-08-31 07:23:46 +0000240 }
Chris Lattner17146b82009-09-01 18:13:40 +0000241
Chris Lattnerbe577652009-08-31 07:23:46 +0000242 // Loop over all of the instructions in the function, getting the callsites.
Chris Lattnerbccb41a2010-05-01 06:38:43 +0000243 // Keep track of the number of direct/indirect calls added.
244 unsigned NumDirectAdded = 0, NumIndirectAdded = 0;
245
Chris Lattnerbe577652009-08-31 07:23:46 +0000246 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB)
247 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) {
John McCalle669d832011-06-09 19:46:27 +0000248 CallSite CS(cast<Value>(I));
Nuno Lopes7d539712012-06-29 17:49:32 +0000249 if (!CS) continue;
250 Function *Callee = CS.getCalledFunction();
251 if (Callee && Callee->isIntrinsic()) continue;
Chris Lattnerbe577652009-08-31 07:23:46 +0000252
253 // If this call site already existed in the callgraph, just verify it
254 // matches up to expectations and remove it from CallSites.
Chris Lattnera541b0f2009-09-01 06:31:31 +0000255 DenseMap<Value*, CallGraphNode*>::iterator ExistingIt =
Chris Lattnerbe577652009-08-31 07:23:46 +0000256 CallSites.find(CS.getInstruction());
257 if (ExistingIt != CallSites.end()) {
258 CallGraphNode *ExistingNode = ExistingIt->second;
259
260 // Remove from CallSites since we have now seen it.
261 CallSites.erase(ExistingIt);
262
263 // Verify that the callee is right.
264 if (ExistingNode->getFunction() == CS.getCalledFunction())
265 continue;
266
Chris Lattner5a6a3632009-09-01 18:32:03 +0000267 // If we are in checking mode, we are not allowed to actually mutate
268 // the callgraph. If this is a case where we can infer that the
269 // callgraph is less precise than it could be (e.g. an indirect call
270 // site could be turned direct), don't reject it in checking mode, and
271 // don't tweak it to be more precise.
272 if (CheckingMode && CS.getCalledFunction() &&
273 ExistingNode->getFunction() == 0)
274 continue;
275
276 assert(!CheckingMode &&
277 "CallGraphSCCPass did not update the CallGraph correctly!");
278
Chris Lattnerbe577652009-08-31 07:23:46 +0000279 // If not, we either went from a direct call to indirect, indirect to
280 // direct, or direct to different direct.
281 CallGraphNode *CalleeNode;
Chris Lattner08e322d2010-04-21 00:47:40 +0000282 if (Function *Callee = CS.getCalledFunction()) {
Chris Lattnerbe577652009-08-31 07:23:46 +0000283 CalleeNode = CG.getOrInsertFunction(Callee);
Chris Lattner08e322d2010-04-21 00:47:40 +0000284 // Keep track of whether we turned an indirect call into a direct
285 // one.
286 if (ExistingNode->getFunction() == 0) {
287 DevirtualizedCall = true;
288 DEBUG(dbgs() << " CGSCCPASSMGR: Devirtualized call to '"
289 << Callee->getName() << "'\n");
290 }
291 } else {
Chris Lattnerbe577652009-08-31 07:23:46 +0000292 CalleeNode = CG.getCallsExternalNode();
Chris Lattner08e322d2010-04-21 00:47:40 +0000293 }
Chris Lattner44a18372009-09-01 20:33:43 +0000294
295 // Update the edge target in CGN.
Chris Lattnerb61789d2010-04-22 20:42:33 +0000296 CGN->replaceCallEdge(CS, CS, CalleeNode);
Chris Lattnerbe577652009-08-31 07:23:46 +0000297 MadeChange = true;
298 continue;
299 }
300
Chris Lattner5a6a3632009-09-01 18:32:03 +0000301 assert(!CheckingMode &&
302 "CallGraphSCCPass did not update the CallGraph correctly!");
303
Chris Lattnerbccb41a2010-05-01 06:38:43 +0000304 // If the call site didn't exist in the CGN yet, add it.
Chris Lattnerbe577652009-08-31 07:23:46 +0000305 CallGraphNode *CalleeNode;
Chris Lattnerbccb41a2010-05-01 06:38:43 +0000306 if (Function *Callee = CS.getCalledFunction()) {
Chris Lattnerbe577652009-08-31 07:23:46 +0000307 CalleeNode = CG.getOrInsertFunction(Callee);
Chris Lattnerbccb41a2010-05-01 06:38:43 +0000308 ++NumDirectAdded;
309 } else {
Chris Lattnerbe577652009-08-31 07:23:46 +0000310 CalleeNode = CG.getCallsExternalNode();
Chris Lattnerbccb41a2010-05-01 06:38:43 +0000311 ++NumIndirectAdded;
312 }
Chris Lattnerbe577652009-08-31 07:23:46 +0000313
314 CGN->addCalledFunction(CS, CalleeNode);
315 MadeChange = true;
316 }
317
Chris Lattnerbccb41a2010-05-01 06:38:43 +0000318 // We scanned the old callgraph node, removing invalidated call sites and
319 // then added back newly found call sites. One thing that can happen is
320 // that an old indirect call site was deleted and replaced with a new direct
321 // call. In this case, we have devirtualized a call, and CGSCCPM would like
322 // to iteratively optimize the new code. Unfortunately, we don't really
323 // have a great way to detect when this happens. As an approximation, we
324 // just look at whether the number of indirect calls is reduced and the
325 // number of direct calls is increased. There are tons of ways to fool this
326 // (e.g. DCE'ing an indirect call and duplicating an unrelated block with a
327 // direct call) but this is close enough.
328 if (NumIndirectRemoved > NumIndirectAdded &&
329 NumDirectRemoved < NumDirectAdded)
330 DevirtualizedCall = true;
331
Chris Lattnerbe577652009-08-31 07:23:46 +0000332 // After scanning this function, if we still have entries in callsites, then
Chris Lattnera541b0f2009-09-01 06:31:31 +0000333 // they are dangling pointers. WeakVH should save us for this, so abort if
334 // this happens.
335 assert(CallSites.empty() && "Dangling pointers found in call sites map");
Chris Lattnerbe577652009-08-31 07:23:46 +0000336
Chris Lattnera541b0f2009-09-01 06:31:31 +0000337 // Periodically do an explicit clear to remove tombstones when processing
338 // large scc's.
Chris Lattner2decb222010-04-16 22:42:17 +0000339 if ((FunctionNo & 15) == 15)
Chris Lattnera541b0f2009-09-01 06:31:31 +0000340 CallSites.clear();
Chris Lattnerbe577652009-08-31 07:23:46 +0000341 }
342
343 DEBUG(if (MadeChange) {
David Greenec81ce582009-12-23 20:10:59 +0000344 dbgs() << "CGSCCPASSMGR: Refreshed SCC is now:\n";
Chris Lattner2decb222010-04-16 22:42:17 +0000345 for (CallGraphSCC::iterator I = CurSCC.begin(), E = CurSCC.end();
346 I != E; ++I)
347 (*I)->dump();
Chris Lattnerbccb41a2010-05-01 06:38:43 +0000348 if (DevirtualizedCall)
349 dbgs() << "CGSCCPASSMGR: Refresh devirtualized a call!\n";
350
Chris Lattnerbe577652009-08-31 07:23:46 +0000351 } else {
David Greenec81ce582009-12-23 20:10:59 +0000352 dbgs() << "CGSCCPASSMGR: SCC Refresh didn't change call graph.\n";
Chris Lattnerbe577652009-08-31 07:23:46 +0000353 }
354 );
Duncan Sands1f6a3292011-08-12 14:54:45 +0000355 (void)MadeChange;
Chris Lattner08e322d2010-04-21 00:47:40 +0000356
357 return DevirtualizedCall;
358}
359
360/// RunAllPassesOnSCC - Execute the body of the entire pass manager on the
361/// specified SCC. This keeps track of whether a function pass devirtualizes
362/// any calls and returns it in DevirtualizedCall.
363bool CGPassManager::RunAllPassesOnSCC(CallGraphSCC &CurSCC, CallGraph &CG,
364 bool &DevirtualizedCall) {
365 bool Changed = false;
366
367 // CallGraphUpToDate - Keep track of whether the callgraph is known to be
368 // up-to-date or not. The CGSSC pass manager runs two types of passes:
369 // CallGraphSCC Passes and other random function passes. Because other
370 // random function passes are not CallGraph aware, they may clobber the
371 // call graph by introducing new calls or deleting other ones. This flag
372 // is set to false when we run a function pass so that we know to clean up
373 // the callgraph when we need to run a CGSCCPass again.
374 bool CallGraphUpToDate = true;
375
376 // Run all passes on current SCC.
377 for (unsigned PassNo = 0, e = getNumContainedPasses();
378 PassNo != e; ++PassNo) {
379 Pass *P = getContainedPass(PassNo);
380
381 // If we're in -debug-pass=Executions mode, construct the SCC node list,
382 // otherwise avoid constructing this string as it is expensive.
383 if (isPassDebuggingExecutionsOrMore()) {
384 std::string Functions;
385 #ifndef NDEBUG
386 raw_string_ostream OS(Functions);
387 for (CallGraphSCC::iterator I = CurSCC.begin(), E = CurSCC.end();
388 I != E; ++I) {
389 if (I != CurSCC.begin()) OS << ", ";
390 (*I)->print(OS);
391 }
392 OS.flush();
393 #endif
394 dumpPassInfo(P, EXECUTION_MSG, ON_CG_MSG, Functions);
395 }
396 dumpRequiredSet(P);
397
398 initializeAnalysisImpl(P);
399
400 // Actually run this pass on the current SCC.
401 Changed |= RunPassOnSCC(P, CurSCC, CG,
402 CallGraphUpToDate, DevirtualizedCall);
403
404 if (Changed)
405 dumpPassInfo(P, MODIFICATION_MSG, ON_CG_MSG, "");
406 dumpPreservedSet(P);
407
408 verifyPreservedAnalysis(P);
409 removeNotPreservedAnalysis(P);
410 recordAvailableAnalysis(P);
411 removeDeadPasses(P, "", ON_CG_MSG);
412 }
413
414 // If the callgraph was left out of date (because the last pass run was a
415 // functionpass), refresh it before we move on to the next SCC.
416 if (!CallGraphUpToDate)
417 DevirtualizedCall |= RefreshCallGraph(CurSCC, CG, false);
418 return Changed;
Chris Lattnerbe577652009-08-31 07:23:46 +0000419}
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000420
Devang Patel75f9abf2007-01-17 21:45:01 +0000421/// run - Execute all of the passes scheduled for execution. Keep track of
422/// whether any of the passes modifies the module, and if so, return true.
423bool CGPassManager::runOnModule(Module &M) {
424 CallGraph &CG = getAnalysis<CallGraph>();
Bill Wendling905c7e92009-02-11 18:19:24 +0000425 bool Changed = doInitialization(CG);
Chris Lattner08e322d2010-04-21 00:47:40 +0000426
Chris Lattnerf3a1c152009-08-31 06:01:21 +0000427 // Walk the callgraph in bottom-up SCC order.
Chris Lattnera3dfc642010-04-16 22:59:24 +0000428 scc_iterator<CallGraph*> CGI = scc_begin(&CG);
429
430 CallGraphSCC CurSCC(&CGI);
431 while (!CGI.isAtEnd()) {
Chris Lattner5095e3d2009-08-31 00:19:58 +0000432 // Copy the current SCC and increment past it so that the pass can hack
433 // on the SCC if it wants to without invalidating our iterator.
Chris Lattner2decb222010-04-16 22:42:17 +0000434 std::vector<CallGraphNode*> &NodeVec = *CGI;
435 CurSCC.initialize(&NodeVec[0], &NodeVec[0]+NodeVec.size());
Chris Lattner5095e3d2009-08-31 00:19:58 +0000436 ++CGI;
437
Chris Lattner08e322d2010-04-21 00:47:40 +0000438 // At the top level, we run all the passes in this pass manager on the
439 // functions in this SCC. However, we support iterative compilation in the
440 // case where a function pass devirtualizes a call to a function. For
441 // example, it is very common for a function pass (often GVN or instcombine)
442 // to eliminate the addressing that feeds into a call. With that improved
443 // information, we would like the call to be an inline candidate, infer
444 // mod-ref information etc.
445 //
446 // Because of this, we allow iteration up to a specified iteration count.
447 // This only happens in the case of a devirtualized call, so we only burn
448 // compile time in the case that we're making progress. We also have a hard
449 // iteration count limit in case there is crazy code.
450 unsigned Iteration = 0;
451 bool DevirtualizedCall = false;
452 do {
Chris Lattnerb61789d2010-04-22 20:42:33 +0000453 DEBUG(if (Iteration)
454 dbgs() << " SCCPASSMGR: Re-visiting SCC, iteration #"
455 << Iteration << '\n');
Chris Lattner08e322d2010-04-21 00:47:40 +0000456 DevirtualizedCall = false;
457 Changed |= RunAllPassesOnSCC(CurSCC, CG, DevirtualizedCall);
458 } while (Iteration++ < MaxIterations && DevirtualizedCall);
Chris Lattnerbe577652009-08-31 07:23:46 +0000459
Chris Lattner08e322d2010-04-21 00:47:40 +0000460 if (DevirtualizedCall)
461 DEBUG(dbgs() << " CGSCCPASSMGR: Stopped iteration after " << Iteration
462 << " times, due to -max-cg-scc-iterations\n");
Chris Lattnerbe577652009-08-31 07:23:46 +0000463
Chris Lattner08e322d2010-04-21 00:47:40 +0000464 if (Iteration > MaxSCCIterations)
465 MaxSCCIterations = Iteration;
466
Devang Patel75f9abf2007-01-17 21:45:01 +0000467 }
Bill Wendling905c7e92009-02-11 18:19:24 +0000468 Changed |= doFinalization(CG);
Devang Patel75f9abf2007-01-17 21:45:01 +0000469 return Changed;
470}
471
Chris Lattner08e322d2010-04-21 00:47:40 +0000472
Devang Patel75f9abf2007-01-17 21:45:01 +0000473/// Initialize CG
Bill Wendling905c7e92009-02-11 18:19:24 +0000474bool CGPassManager::doInitialization(CallGraph &CG) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000475 bool Changed = false;
Chris Lattner5a66cb92010-01-22 05:46:59 +0000476 for (unsigned i = 0, e = getNumContainedPasses(); i != e; ++i) {
477 if (PMDataManager *PM = getContainedPass(i)->getAsPMDataManager()) {
478 assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
479 "Invalid CGPassManager member");
480 Changed |= ((FPPassManager*)PM)->doInitialization(CG.getModule());
Nick Lewycky8968a072009-02-13 07:15:53 +0000481 } else {
Chris Lattner5a66cb92010-01-22 05:46:59 +0000482 Changed |= ((CallGraphSCCPass*)getContainedPass(i))->doInitialization(CG);
Nick Lewycky8968a072009-02-13 07:15:53 +0000483 }
Devang Patel75f9abf2007-01-17 21:45:01 +0000484 }
485 return Changed;
486}
487
488/// Finalize CG
Bill Wendling905c7e92009-02-11 18:19:24 +0000489bool CGPassManager::doFinalization(CallGraph &CG) {
Devang Patel75f9abf2007-01-17 21:45:01 +0000490 bool Changed = false;
Chris Lattner5a66cb92010-01-22 05:46:59 +0000491 for (unsigned i = 0, e = getNumContainedPasses(); i != e; ++i) {
492 if (PMDataManager *PM = getContainedPass(i)->getAsPMDataManager()) {
493 assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
494 "Invalid CGPassManager member");
495 Changed |= ((FPPassManager*)PM)->doFinalization(CG.getModule());
Nick Lewycky8968a072009-02-13 07:15:53 +0000496 } else {
Chris Lattner5a66cb92010-01-22 05:46:59 +0000497 Changed |= ((CallGraphSCCPass*)getContainedPass(i))->doFinalization(CG);
Nick Lewycky8968a072009-02-13 07:15:53 +0000498 }
Devang Patel75f9abf2007-01-17 21:45:01 +0000499 }
500 return Changed;
501}
502
Chris Lattnerc93760c2010-04-16 21:43:55 +0000503//===----------------------------------------------------------------------===//
Chris Lattner2decb222010-04-16 22:42:17 +0000504// CallGraphSCC Implementation
505//===----------------------------------------------------------------------===//
506
Chris Lattnera3dfc642010-04-16 22:59:24 +0000507/// ReplaceNode - This informs the SCC and the pass manager that the specified
508/// Old node has been deleted, and New is to be used in its place.
509void CallGraphSCC::ReplaceNode(CallGraphNode *Old, CallGraphNode *New) {
510 assert(Old != New && "Should not replace node with self");
511 for (unsigned i = 0; ; ++i) {
512 assert(i != Nodes.size() && "Node not in SCC");
513 if (Nodes[i] != Old) continue;
514 Nodes[i] = New;
515 break;
516 }
Chris Lattnerbde0bb52010-04-16 23:04:30 +0000517
518 // Update the active scc_iterator so that it doesn't contain dangling
519 // pointers to the old CallGraphNode.
520 scc_iterator<CallGraph*> *CGI = (scc_iterator<CallGraph*>*)Context;
521 CGI->ReplaceNode(Old, New);
Chris Lattnera3dfc642010-04-16 22:59:24 +0000522}
Chris Lattner2decb222010-04-16 22:42:17 +0000523
524
525//===----------------------------------------------------------------------===//
Chris Lattnerc93760c2010-04-16 21:43:55 +0000526// CallGraphSCCPass Implementation
527//===----------------------------------------------------------------------===//
David Greene5c8aa952010-04-02 23:17:14 +0000528
Devang Pateld9f10c32007-01-23 21:55:17 +0000529/// Assign pass manager to manage this pass.
Devang Patel97fd2432007-01-23 21:52:35 +0000530void CallGraphSCCPass::assignPassManager(PMStack &PMS,
Anton Korobeynikovbed29462007-04-16 18:10:23 +0000531 PassManagerType PreferredType) {
Devang Patel97fd2432007-01-23 21:52:35 +0000532 // Find CGPassManager
Duncan Sands20d824b2007-07-19 09:42:01 +0000533 while (!PMS.empty() &&
534 PMS.top()->getPassManagerType() > PMT_CallGraphPassManager)
535 PMS.pop();
Devang Patel97fd2432007-01-23 21:52:35 +0000536
Chris Lattner77c95ed2010-01-22 05:37:10 +0000537 assert(!PMS.empty() && "Unable to handle Call Graph Pass");
538 CGPassManager *CGP;
539
540 if (PMS.top()->getPassManagerType() == PMT_CallGraphPassManager)
541 CGP = (CGPassManager*)PMS.top();
542 else {
543 // Create new Call Graph SCC Pass Manager if it does not exist.
544 assert(!PMS.empty() && "Unable to create Call Graph Pass Manager");
Devang Patel97fd2432007-01-23 21:52:35 +0000545 PMDataManager *PMD = PMS.top();
546
547 // [1] Create new Call Graph Pass Manager
Andrew Trick0e122d12011-08-29 17:07:00 +0000548 CGP = new CGPassManager();
Devang Patel97fd2432007-01-23 21:52:35 +0000549
550 // [2] Set up new manager's top level manager
551 PMTopLevelManager *TPM = PMD->getTopLevelManager();
552 TPM->addIndirectPassManager(CGP);
553
554 // [3] Assign manager to manage this new manager. This may create
555 // and push new managers into PMS
Chris Lattner77c95ed2010-01-22 05:37:10 +0000556 Pass *P = CGP;
Devang Patel25e681a2007-06-21 22:29:02 +0000557 TPM->schedulePass(P);
Devang Patel97fd2432007-01-23 21:52:35 +0000558
559 // [4] Push new manager into PMS
560 PMS.push(CGP);
561 }
562
563 CGP->add(this);
564}
565
Chris Lattner4a810672003-08-31 01:54:59 +0000566/// getAnalysisUsage - For this class, we declare that we require and preserve
567/// the call graph. If the derived class implements this method, it should
568/// always explicitly call the implementation here.
569void CallGraphSCCPass::getAnalysisUsage(AnalysisUsage &AU) const {
570 AU.addRequired<CallGraph>();
571 AU.addPreserved<CallGraph>();
572}
Chris Lattnerc93760c2010-04-16 21:43:55 +0000573
574
575//===----------------------------------------------------------------------===//
576// PrintCallGraphPass Implementation
577//===----------------------------------------------------------------------===//
578
579namespace {
580 /// PrintCallGraphPass - Print a Module corresponding to a call graph.
581 ///
582 class PrintCallGraphPass : public CallGraphSCCPass {
583 std::string Banner;
584 raw_ostream &Out; // raw_ostream to print on.
585
586 public:
587 static char ID;
Chris Lattnerc93760c2010-04-16 21:43:55 +0000588 PrintCallGraphPass(const std::string &B, raw_ostream &o)
Owen Anderson90c579d2010-08-06 18:33:48 +0000589 : CallGraphSCCPass(ID), Banner(B), Out(o) {}
Chris Lattnerc93760c2010-04-16 21:43:55 +0000590
591 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
592 AU.setPreservesAll();
593 }
594
Chris Lattner2decb222010-04-16 22:42:17 +0000595 bool runOnSCC(CallGraphSCC &SCC) {
Chris Lattnerc93760c2010-04-16 21:43:55 +0000596 Out << Banner;
Chris Lattner2decb222010-04-16 22:42:17 +0000597 for (CallGraphSCC::iterator I = SCC.begin(), E = SCC.end(); I != E; ++I)
598 (*I)->getFunction()->print(Out);
Chris Lattnerc93760c2010-04-16 21:43:55 +0000599 return false;
600 }
601 };
602
603} // end anonymous namespace.
604
605char PrintCallGraphPass::ID = 0;
606
607Pass *CallGraphSCCPass::createPrinterPass(raw_ostream &O,
608 const std::string &Banner) const {
609 return new PrintCallGraphPass(Banner, O);
610}
611