blob: bfab744d479f857d3ae541b6895c508e221d5645 [file] [log] [blame]
Chris Lattnerf7e95942003-08-31 01:54:59 +00001//===- CallGraphSCCPass.cpp - Pass that operates BU on call graph ---------===//
Misha Brukman01808ca2005-04-21 21:13:18 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-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 Brukman01808ca2005-04-21 21:13:18 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattnerf7e95942003-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
Chandler Carruth839a98e2013-01-07 15:26:48 +000018#include "llvm/Analysis/CallGraphSCCPass.h"
Reid Spencer7c16caa2004-09-01 22:55:40 +000019#include "llvm/ADT/SCCIterator.h"
Chris Lattner6fbe7042010-04-21 00:47:40 +000020#include "llvm/ADT/Statistic.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000021#include "llvm/Analysis/CallGraph.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000022#include "llvm/IR/Function.h"
23#include "llvm/IR/IntrinsicInst.h"
Chandler Carruth7caea412013-11-09 12:26:54 +000024#include "llvm/IR/LegacyPassManagers.h"
Juergen Ributzka34390c72014-05-16 02:33:15 +000025#include "llvm/IR/LLVMContext.h"
Chris Lattner6fbe7042010-04-21 00:47:40 +000026#include "llvm/Support/CommandLine.h"
Chris Lattnereedcd842009-08-31 07:23:46 +000027#include "llvm/Support/Debug.h"
Chris Lattner707431c2010-03-30 04:03:22 +000028#include "llvm/Support/Timer.h"
Chris Lattner13626022009-08-23 06:03:38 +000029#include "llvm/Support/raw_ostream.h"
Chris Lattner8d083812004-04-20 21:30:06 +000030using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000031
Chandler Carruthf1221bd2014-04-22 02:48:03 +000032#define DEBUG_TYPE "cgscc-passmgr"
33
Chris Lattner6fbe7042010-04-21 00:47:40 +000034static cl::opt<unsigned>
Chris Lattnerfc8d9ee2010-05-01 01:15:56 +000035MaxIterations("max-cg-scc-iterations", cl::ReallyHidden, cl::init(4));
Chris Lattner6fbe7042010-04-21 00:47:40 +000036
37STATISTIC(MaxSCCIterations, "Maximum CGSCCPassMgr iterations on one SCC");
38
Devang Patel48537a02007-01-17 21:45:01 +000039//===----------------------------------------------------------------------===//
40// CGPassManager
41//
Dale Johannesen50f03762009-09-10 22:01:32 +000042/// CGPassManager manages FPPassManagers and CallGraphSCCPasses.
Devang Patel48537a02007-01-17 21:45:01 +000043
Dan Gohmand78c4002008-05-13 00:00:25 +000044namespace {
45
Devang Patel48537a02007-01-17 21:45:01 +000046class CGPassManager : public ModulePass, public PMDataManager {
Devang Patel48537a02007-01-17 21:45:01 +000047public:
Devang Patel8c78a0b2007-05-03 01:11:54 +000048 static char ID;
Andrew Trick08966212011-08-29 17:07:00 +000049 explicit CGPassManager()
50 : ModulePass(ID), PMDataManager() { }
Devang Patel48537a02007-01-17 21:45:01 +000051
52 /// run - Execute all of the passes scheduled for execution. Keep track of
53 /// whether any of the passes modifies the module, and if so, return true.
Craig Toppere9ba7592014-03-05 07:30:04 +000054 bool runOnModule(Module &M) override;
Devang Patel48537a02007-01-17 21:45:01 +000055
Owen Anderson1aa27512012-11-15 00:14:15 +000056 using ModulePass::doInitialization;
57 using ModulePass::doFinalization;
58
Bill Wendling5f14a012009-02-11 18:19:24 +000059 bool doInitialization(CallGraph &CG);
60 bool doFinalization(CallGraph &CG);
Devang Patel48537a02007-01-17 21:45:01 +000061
62 /// Pass Manager itself does not invalidate any analysis info.
Craig Toppere9ba7592014-03-05 07:30:04 +000063 void getAnalysisUsage(AnalysisUsage &Info) const override {
Devang Patel48537a02007-01-17 21:45:01 +000064 // CGPassManager walks SCC and it needs CallGraph.
Chandler Carruth6378cf52013-11-26 04:19:30 +000065 Info.addRequired<CallGraphWrapperPass>();
Devang Patel48537a02007-01-17 21:45:01 +000066 Info.setPreservesAll();
67 }
68
Craig Toppere9ba7592014-03-05 07:30:04 +000069 const char *getPassName() const override {
Devang Patelf7fea8a2007-02-01 22:09:37 +000070 return "CallGraph Pass Manager";
71 }
72
Craig Toppere9ba7592014-03-05 07:30:04 +000073 PMDataManager *getAsPMDataManager() override { return this; }
74 Pass *getAsPass() override { return this; }
Chris Lattner2fa26e52010-01-22 05:24:46 +000075
Devang Patel48537a02007-01-17 21:45:01 +000076 // Print passes managed by this manager
Craig Toppere9ba7592014-03-05 07:30:04 +000077 void dumpPassStructure(unsigned Offset) override {
David Greene3d646312009-12-23 23:09:39 +000078 errs().indent(Offset*2) << "Call Graph SCC Pass Manager\n";
Devang Patel48537a02007-01-17 21:45:01 +000079 for (unsigned Index = 0; Index < getNumContainedPasses(); ++Index) {
80 Pass *P = getContainedPass(Index);
Dan Gohmanf71c5212010-08-19 01:29:07 +000081 P->dumpPassStructure(Offset + 1);
Devang Patel48537a02007-01-17 21:45:01 +000082 dumpLastUses(P, Offset+1);
83 }
84 }
85
86 Pass *getContainedPass(unsigned N) {
Chris Lattner13626022009-08-23 06:03:38 +000087 assert(N < PassVector.size() && "Pass number out of range!");
88 return static_cast<Pass *>(PassVector[N]);
Devang Patel48537a02007-01-17 21:45:01 +000089 }
90
Craig Toppere9ba7592014-03-05 07:30:04 +000091 PassManagerType getPassManagerType() const override {
Devang Patel48537a02007-01-17 21:45:01 +000092 return PMT_CallGraphPassManager;
93 }
Chris Lattner7e4fbdd2009-08-31 06:01:21 +000094
95private:
Chris Lattner6fbe7042010-04-21 00:47:40 +000096 bool RunAllPassesOnSCC(CallGraphSCC &CurSCC, CallGraph &CG,
97 bool &DevirtualizedCall);
98
Chris Lattner4422d312010-04-16 22:42:17 +000099 bool RunPassOnSCC(Pass *P, CallGraphSCC &CurSCC,
Chris Lattner6fbe7042010-04-21 00:47:40 +0000100 CallGraph &CG, bool &CallGraphUpToDate,
101 bool &DevirtualizedCall);
102 bool RefreshCallGraph(CallGraphSCC &CurSCC, CallGraph &CG,
Chris Lattnere33167a2009-09-01 18:32:03 +0000103 bool IsCheckingMode);
Devang Patel48537a02007-01-17 21:45:01 +0000104};
105
Chris Lattner7e4fbdd2009-08-31 06:01:21 +0000106} // end anonymous namespace.
Dan Gohmand78c4002008-05-13 00:00:25 +0000107
Devang Patel8c78a0b2007-05-03 01:11:54 +0000108char CGPassManager::ID = 0;
Chris Lattner7e4fbdd2009-08-31 06:01:21 +0000109
David Greene9b063df2010-04-02 23:17:14 +0000110
Chris Lattner4422d312010-04-16 22:42:17 +0000111bool CGPassManager::RunPassOnSCC(Pass *P, CallGraphSCC &CurSCC,
Chris Lattner6fbe7042010-04-21 00:47:40 +0000112 CallGraph &CG, bool &CallGraphUpToDate,
113 bool &DevirtualizedCall) {
Chris Lattner7e4fbdd2009-08-31 06:01:21 +0000114 bool Changed = false;
Chris Lattner0b1c7232010-01-22 05:46:59 +0000115 PMDataManager *PM = P->getAsPMDataManager();
116
Craig Topper353eda42014-04-24 06:44:33 +0000117 if (!PM) {
Chris Lattner0b1c7232010-01-22 05:46:59 +0000118 CallGraphSCCPass *CGSP = (CallGraphSCCPass*)P;
Chris Lattnereedcd842009-08-31 07:23:46 +0000119 if (!CallGraphUpToDate) {
Chris Lattner6fbe7042010-04-21 00:47:40 +0000120 DevirtualizedCall |= RefreshCallGraph(CurSCC, CG, false);
Chris Lattnereedcd842009-08-31 07:23:46 +0000121 CallGraphUpToDate = true;
122 }
Chris Lattner339c82d2009-09-01 20:33:43 +0000123
Chris Lattner707431c2010-03-30 04:03:22 +0000124 {
125 TimeRegion PassTimer(getPassTimer(CGSP));
126 Changed = CGSP->runOnSCC(CurSCC);
127 }
Chris Lattnere33167a2009-09-01 18:32:03 +0000128
129 // After the CGSCCPass is done, when assertions are enabled, use
130 // RefreshCallGraph to verify that the callgraph was correctly updated.
131#ifndef NDEBUG
132 if (Changed)
133 RefreshCallGraph(CurSCC, CG, true);
134#endif
135
Chris Lattner7e4fbdd2009-08-31 06:01:21 +0000136 return Changed;
137 }
138
Chris Lattner0b1c7232010-01-22 05:46:59 +0000139
140 assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
141 "Invalid CGPassManager member");
142 FPPassManager *FPP = (FPPassManager*)P;
Chris Lattner7e4fbdd2009-08-31 06:01:21 +0000143
144 // Run pass P on all functions in the current SCC.
Chris Lattner4422d312010-04-16 22:42:17 +0000145 for (CallGraphSCC::iterator I = CurSCC.begin(), E = CurSCC.end();
146 I != E; ++I) {
147 if (Function *F = (*I)->getFunction()) {
Chris Lattner7e4fbdd2009-08-31 06:01:21 +0000148 dumpPassInfo(P, EXECUTION_MSG, ON_FUNCTION_MSG, F->getName());
Juergen Ributzka34390c72014-05-16 02:33:15 +0000149 {
150 TimeRegion PassTimer(getPassTimer(FPP));
151 Changed |= FPP->runOnFunction(*F);
152 }
153 F->getContext().yield();
Chris Lattner7e4fbdd2009-08-31 06:01:21 +0000154 }
155 }
Chris Lattner7e4fbdd2009-08-31 06:01:21 +0000156
Chris Lattnera9262bb2009-08-31 17:08:30 +0000157 // The function pass(es) modified the IR, they may have clobbered the
Chris Lattnereedcd842009-08-31 07:23:46 +0000158 // callgraph.
159 if (Changed && CallGraphUpToDate) {
David Greenef8ed9912009-12-23 20:10:59 +0000160 DEBUG(dbgs() << "CGSCCPASSMGR: Pass Dirtied SCC: "
Chris Lattnereedcd842009-08-31 07:23:46 +0000161 << P->getPassName() << '\n');
162 CallGraphUpToDate = false;
163 }
Chris Lattner7e4fbdd2009-08-31 06:01:21 +0000164 return Changed;
165}
166
Chris Lattnere33167a2009-09-01 18:32:03 +0000167
168/// RefreshCallGraph - Scan the functions in the specified CFG and resync the
169/// callgraph with the call sites found in it. This is used after
170/// FunctionPasses have potentially munged the callgraph, and can be used after
171/// CallGraphSCC passes to verify that they correctly updated the callgraph.
172///
Chris Lattner6fbe7042010-04-21 00:47:40 +0000173/// This function returns true if it devirtualized an existing function call,
174/// meaning it turned an indirect call into a direct call. This happens when
175/// a function pass like GVN optimizes away stuff feeding the indirect call.
176/// This never happens in checking mode.
177///
178bool CGPassManager::RefreshCallGraph(CallGraphSCC &CurSCC,
Chris Lattnere33167a2009-09-01 18:32:03 +0000179 CallGraph &CG, bool CheckingMode) {
Chris Lattner063d0652009-09-01 06:31:31 +0000180 DenseMap<Value*, CallGraphNode*> CallSites;
Chris Lattnereedcd842009-08-31 07:23:46 +0000181
David Greenef8ed9912009-12-23 20:10:59 +0000182 DEBUG(dbgs() << "CGSCCPASSMGR: Refreshing SCC with " << CurSCC.size()
Chris Lattnereedcd842009-08-31 07:23:46 +0000183 << " nodes:\n";
Chris Lattner4422d312010-04-16 22:42:17 +0000184 for (CallGraphSCC::iterator I = CurSCC.begin(), E = CurSCC.end();
185 I != E; ++I)
186 (*I)->dump();
Chris Lattnereedcd842009-08-31 07:23:46 +0000187 );
188
189 bool MadeChange = false;
Chris Lattner6fbe7042010-04-21 00:47:40 +0000190 bool DevirtualizedCall = false;
Chris Lattnereedcd842009-08-31 07:23:46 +0000191
192 // Scan all functions in the SCC.
Chris Lattner4422d312010-04-16 22:42:17 +0000193 unsigned FunctionNo = 0;
194 for (CallGraphSCC::iterator SCCIdx = CurSCC.begin(), E = CurSCC.end();
195 SCCIdx != E; ++SCCIdx, ++FunctionNo) {
196 CallGraphNode *CGN = *SCCIdx;
Chris Lattnereedcd842009-08-31 07:23:46 +0000197 Function *F = CGN->getFunction();
Craig Topper353eda42014-04-24 06:44:33 +0000198 if (!F || F->isDeclaration()) continue;
Chris Lattnereedcd842009-08-31 07:23:46 +0000199
200 // Walk the function body looking for call sites. Sync up the call sites in
201 // CGN with those actually in the function.
Chris Lattner532112b2010-05-01 06:38:43 +0000202
203 // Keep track of the number of direct and indirect calls that were
204 // invalidated and removed.
205 unsigned NumDirectRemoved = 0, NumIndirectRemoved = 0;
Chris Lattner3f7b3d12009-09-01 18:13:40 +0000206
Chris Lattnereedcd842009-08-31 07:23:46 +0000207 // Get the set of call sites currently in the function.
Duncan Sands5632d962009-09-02 03:48:41 +0000208 for (CallGraphNode::iterator I = CGN->begin(), E = CGN->end(); I != E; ) {
Chris Lattner063d0652009-09-01 06:31:31 +0000209 // If this call site is null, then the function pass deleted the call
Chris Lattner3f7b3d12009-09-01 18:13:40 +0000210 // entirely and the WeakVH nulled it out.
Craig Topper353eda42014-04-24 06:44:33 +0000211 if (!I->first ||
Chris Lattner063d0652009-09-01 06:31:31 +0000212 // If we've already seen this call site, then the FunctionPass RAUW'd
213 // one call with another, which resulted in two "uses" in the edge
214 // list of the same call.
215 CallSites.count(I->first) ||
216
217 // If the call edge is not from a call or invoke, then the function
218 // pass RAUW'd a call with another value. This can happen when
219 // constant folding happens of well known functions etc.
Gabor Greif5bf74d62010-07-28 12:35:54 +0000220 !CallSite(I->first)) {
Chris Lattnere33167a2009-09-01 18:32:03 +0000221 assert(!CheckingMode &&
222 "CallGraphSCCPass did not update the CallGraph correctly!");
223
Chris Lattner532112b2010-05-01 06:38:43 +0000224 // If this was an indirect call site, count it.
Craig Topper353eda42014-04-24 06:44:33 +0000225 if (!I->second->getFunction())
Chris Lattner532112b2010-05-01 06:38:43 +0000226 ++NumIndirectRemoved;
227 else
228 ++NumDirectRemoved;
229
Chris Lattner65fb5972009-09-02 04:39:04 +0000230 // Just remove the edge from the set of callees, keep track of whether
231 // I points to the last element of the vector.
232 bool WasLast = I + 1 == E;
Chris Lattner063d0652009-09-01 06:31:31 +0000233 CGN->removeCallEdge(I);
Chris Lattner8f232762009-09-02 04:34:06 +0000234
Chris Lattner65fb5972009-09-02 04:39:04 +0000235 // If I pointed to the last element of the vector, we have to bail out:
236 // iterator checking rejects comparisons of the resultant pointer with
237 // end.
238 if (WasLast)
239 break;
Chris Lattner063d0652009-09-01 06:31:31 +0000240 E = CGN->end();
Chris Lattner063d0652009-09-01 06:31:31 +0000241 continue;
242 }
Chris Lattner3f7b3d12009-09-01 18:13:40 +0000243
Chris Lattner063d0652009-09-01 06:31:31 +0000244 assert(!CallSites.count(I->first) &&
Chris Lattnereedcd842009-08-31 07:23:46 +0000245 "Call site occurs in node multiple times");
Chris Lattner063d0652009-09-01 06:31:31 +0000246 CallSites.insert(std::make_pair(I->first, I->second));
Chris Lattner3f7b3d12009-09-01 18:13:40 +0000247 ++I;
Chris Lattnereedcd842009-08-31 07:23:46 +0000248 }
Chris Lattner3f7b3d12009-09-01 18:13:40 +0000249
Chris Lattnereedcd842009-08-31 07:23:46 +0000250 // Loop over all of the instructions in the function, getting the callsites.
Chris Lattner532112b2010-05-01 06:38:43 +0000251 // Keep track of the number of direct/indirect calls added.
252 unsigned NumDirectAdded = 0, NumIndirectAdded = 0;
253
Chris Lattnereedcd842009-08-31 07:23:46 +0000254 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB)
255 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) {
John McCall729c35b2011-06-09 19:46:27 +0000256 CallSite CS(cast<Value>(I));
Nuno Lopes674acc12012-06-29 17:49:32 +0000257 if (!CS) continue;
258 Function *Callee = CS.getCalledFunction();
259 if (Callee && Callee->isIntrinsic()) continue;
Chris Lattnereedcd842009-08-31 07:23:46 +0000260
261 // If this call site already existed in the callgraph, just verify it
262 // matches up to expectations and remove it from CallSites.
Chris Lattner063d0652009-09-01 06:31:31 +0000263 DenseMap<Value*, CallGraphNode*>::iterator ExistingIt =
Chris Lattnereedcd842009-08-31 07:23:46 +0000264 CallSites.find(CS.getInstruction());
265 if (ExistingIt != CallSites.end()) {
266 CallGraphNode *ExistingNode = ExistingIt->second;
267
268 // Remove from CallSites since we have now seen it.
269 CallSites.erase(ExistingIt);
270
271 // Verify that the callee is right.
272 if (ExistingNode->getFunction() == CS.getCalledFunction())
273 continue;
274
Chris Lattnere33167a2009-09-01 18:32:03 +0000275 // If we are in checking mode, we are not allowed to actually mutate
276 // the callgraph. If this is a case where we can infer that the
277 // callgraph is less precise than it could be (e.g. an indirect call
278 // site could be turned direct), don't reject it in checking mode, and
279 // don't tweak it to be more precise.
280 if (CheckingMode && CS.getCalledFunction() &&
Craig Topper353eda42014-04-24 06:44:33 +0000281 ExistingNode->getFunction() == nullptr)
Chris Lattnere33167a2009-09-01 18:32:03 +0000282 continue;
283
284 assert(!CheckingMode &&
285 "CallGraphSCCPass did not update the CallGraph correctly!");
286
Chris Lattnereedcd842009-08-31 07:23:46 +0000287 // If not, we either went from a direct call to indirect, indirect to
288 // direct, or direct to different direct.
289 CallGraphNode *CalleeNode;
Chris Lattner6fbe7042010-04-21 00:47:40 +0000290 if (Function *Callee = CS.getCalledFunction()) {
Chris Lattnereedcd842009-08-31 07:23:46 +0000291 CalleeNode = CG.getOrInsertFunction(Callee);
Chris Lattner6fbe7042010-04-21 00:47:40 +0000292 // Keep track of whether we turned an indirect call into a direct
293 // one.
Craig Topper353eda42014-04-24 06:44:33 +0000294 if (!ExistingNode->getFunction()) {
Chris Lattner6fbe7042010-04-21 00:47:40 +0000295 DevirtualizedCall = true;
296 DEBUG(dbgs() << " CGSCCPASSMGR: Devirtualized call to '"
297 << Callee->getName() << "'\n");
298 }
299 } else {
Chris Lattnereedcd842009-08-31 07:23:46 +0000300 CalleeNode = CG.getCallsExternalNode();
Chris Lattner6fbe7042010-04-21 00:47:40 +0000301 }
Chris Lattner339c82d2009-09-01 20:33:43 +0000302
303 // Update the edge target in CGN.
Chris Lattner055cf262010-04-22 20:42:33 +0000304 CGN->replaceCallEdge(CS, CS, CalleeNode);
Chris Lattnereedcd842009-08-31 07:23:46 +0000305 MadeChange = true;
306 continue;
307 }
308
Chris Lattnere33167a2009-09-01 18:32:03 +0000309 assert(!CheckingMode &&
310 "CallGraphSCCPass did not update the CallGraph correctly!");
311
Chris Lattner532112b2010-05-01 06:38:43 +0000312 // If the call site didn't exist in the CGN yet, add it.
Chris Lattnereedcd842009-08-31 07:23:46 +0000313 CallGraphNode *CalleeNode;
Chris Lattner532112b2010-05-01 06:38:43 +0000314 if (Function *Callee = CS.getCalledFunction()) {
Chris Lattnereedcd842009-08-31 07:23:46 +0000315 CalleeNode = CG.getOrInsertFunction(Callee);
Chris Lattner532112b2010-05-01 06:38:43 +0000316 ++NumDirectAdded;
317 } else {
Chris Lattnereedcd842009-08-31 07:23:46 +0000318 CalleeNode = CG.getCallsExternalNode();
Chris Lattner532112b2010-05-01 06:38:43 +0000319 ++NumIndirectAdded;
320 }
Chris Lattnereedcd842009-08-31 07:23:46 +0000321
322 CGN->addCalledFunction(CS, CalleeNode);
323 MadeChange = true;
324 }
325
Chris Lattner532112b2010-05-01 06:38:43 +0000326 // We scanned the old callgraph node, removing invalidated call sites and
327 // then added back newly found call sites. One thing that can happen is
328 // that an old indirect call site was deleted and replaced with a new direct
329 // call. In this case, we have devirtualized a call, and CGSCCPM would like
330 // to iteratively optimize the new code. Unfortunately, we don't really
331 // have a great way to detect when this happens. As an approximation, we
332 // just look at whether the number of indirect calls is reduced and the
333 // number of direct calls is increased. There are tons of ways to fool this
334 // (e.g. DCE'ing an indirect call and duplicating an unrelated block with a
335 // direct call) but this is close enough.
336 if (NumIndirectRemoved > NumIndirectAdded &&
337 NumDirectRemoved < NumDirectAdded)
338 DevirtualizedCall = true;
339
Chris Lattnereedcd842009-08-31 07:23:46 +0000340 // After scanning this function, if we still have entries in callsites, then
Chris Lattner063d0652009-09-01 06:31:31 +0000341 // they are dangling pointers. WeakVH should save us for this, so abort if
342 // this happens.
343 assert(CallSites.empty() && "Dangling pointers found in call sites map");
Chris Lattnereedcd842009-08-31 07:23:46 +0000344
Chris Lattner063d0652009-09-01 06:31:31 +0000345 // Periodically do an explicit clear to remove tombstones when processing
346 // large scc's.
Chris Lattner4422d312010-04-16 22:42:17 +0000347 if ((FunctionNo & 15) == 15)
Chris Lattner063d0652009-09-01 06:31:31 +0000348 CallSites.clear();
Chris Lattnereedcd842009-08-31 07:23:46 +0000349 }
350
351 DEBUG(if (MadeChange) {
David Greenef8ed9912009-12-23 20:10:59 +0000352 dbgs() << "CGSCCPASSMGR: Refreshed SCC is now:\n";
Chris Lattner4422d312010-04-16 22:42:17 +0000353 for (CallGraphSCC::iterator I = CurSCC.begin(), E = CurSCC.end();
354 I != E; ++I)
355 (*I)->dump();
Chris Lattner532112b2010-05-01 06:38:43 +0000356 if (DevirtualizedCall)
357 dbgs() << "CGSCCPASSMGR: Refresh devirtualized a call!\n";
358
Chris Lattnereedcd842009-08-31 07:23:46 +0000359 } else {
David Greenef8ed9912009-12-23 20:10:59 +0000360 dbgs() << "CGSCCPASSMGR: SCC Refresh didn't change call graph.\n";
Chris Lattnereedcd842009-08-31 07:23:46 +0000361 }
362 );
Duncan Sandsa41634e2011-08-12 14:54:45 +0000363 (void)MadeChange;
Chris Lattner6fbe7042010-04-21 00:47:40 +0000364
365 return DevirtualizedCall;
366}
367
368/// RunAllPassesOnSCC - Execute the body of the entire pass manager on the
369/// specified SCC. This keeps track of whether a function pass devirtualizes
370/// any calls and returns it in DevirtualizedCall.
371bool CGPassManager::RunAllPassesOnSCC(CallGraphSCC &CurSCC, CallGraph &CG,
372 bool &DevirtualizedCall) {
373 bool Changed = false;
374
375 // CallGraphUpToDate - Keep track of whether the callgraph is known to be
376 // up-to-date or not. The CGSSC pass manager runs two types of passes:
377 // CallGraphSCC Passes and other random function passes. Because other
378 // random function passes are not CallGraph aware, they may clobber the
379 // call graph by introducing new calls or deleting other ones. This flag
380 // is set to false when we run a function pass so that we know to clean up
381 // the callgraph when we need to run a CGSCCPass again.
382 bool CallGraphUpToDate = true;
383
384 // Run all passes on current SCC.
385 for (unsigned PassNo = 0, e = getNumContainedPasses();
386 PassNo != e; ++PassNo) {
387 Pass *P = getContainedPass(PassNo);
388
389 // If we're in -debug-pass=Executions mode, construct the SCC node list,
390 // otherwise avoid constructing this string as it is expensive.
391 if (isPassDebuggingExecutionsOrMore()) {
392 std::string Functions;
393 #ifndef NDEBUG
394 raw_string_ostream OS(Functions);
395 for (CallGraphSCC::iterator I = CurSCC.begin(), E = CurSCC.end();
396 I != E; ++I) {
397 if (I != CurSCC.begin()) OS << ", ";
398 (*I)->print(OS);
399 }
400 OS.flush();
401 #endif
402 dumpPassInfo(P, EXECUTION_MSG, ON_CG_MSG, Functions);
403 }
404 dumpRequiredSet(P);
405
406 initializeAnalysisImpl(P);
407
408 // Actually run this pass on the current SCC.
409 Changed |= RunPassOnSCC(P, CurSCC, CG,
410 CallGraphUpToDate, DevirtualizedCall);
411
412 if (Changed)
413 dumpPassInfo(P, MODIFICATION_MSG, ON_CG_MSG, "");
414 dumpPreservedSet(P);
415
416 verifyPreservedAnalysis(P);
417 removeNotPreservedAnalysis(P);
418 recordAvailableAnalysis(P);
419 removeDeadPasses(P, "", ON_CG_MSG);
420 }
421
422 // If the callgraph was left out of date (because the last pass run was a
423 // functionpass), refresh it before we move on to the next SCC.
424 if (!CallGraphUpToDate)
425 DevirtualizedCall |= RefreshCallGraph(CurSCC, CG, false);
426 return Changed;
Chris Lattnereedcd842009-08-31 07:23:46 +0000427}
Chris Lattner7e4fbdd2009-08-31 06:01:21 +0000428
Devang Patel48537a02007-01-17 21:45:01 +0000429/// run - Execute all of the passes scheduled for execution. Keep track of
430/// whether any of the passes modifies the module, and if so, return true.
431bool CGPassManager::runOnModule(Module &M) {
Chandler Carruth6378cf52013-11-26 04:19:30 +0000432 CallGraph &CG = getAnalysis<CallGraphWrapperPass>().getCallGraph();
Bill Wendling5f14a012009-02-11 18:19:24 +0000433 bool Changed = doInitialization(CG);
Chris Lattner6fbe7042010-04-21 00:47:40 +0000434
Chris Lattner7e4fbdd2009-08-31 06:01:21 +0000435 // Walk the callgraph in bottom-up SCC order.
Chris Lattner5518b812010-04-16 22:59:24 +0000436 scc_iterator<CallGraph*> CGI = scc_begin(&CG);
437
438 CallGraphSCC CurSCC(&CGI);
439 while (!CGI.isAtEnd()) {
Chris Lattner305b1152009-08-31 00:19:58 +0000440 // Copy the current SCC and increment past it so that the pass can hack
441 // on the SCC if it wants to without invalidating our iterator.
Duncan P. N. Exon Smithd2b2fac2014-04-25 18:24:50 +0000442 const std::vector<CallGraphNode *> &NodeVec = *CGI;
443 CurSCC.initialize(NodeVec.data(), NodeVec.data() + NodeVec.size());
Chris Lattner305b1152009-08-31 00:19:58 +0000444 ++CGI;
445
Chris Lattner6fbe7042010-04-21 00:47:40 +0000446 // At the top level, we run all the passes in this pass manager on the
447 // functions in this SCC. However, we support iterative compilation in the
448 // case where a function pass devirtualizes a call to a function. For
449 // example, it is very common for a function pass (often GVN or instcombine)
450 // to eliminate the addressing that feeds into a call. With that improved
451 // information, we would like the call to be an inline candidate, infer
452 // mod-ref information etc.
453 //
454 // Because of this, we allow iteration up to a specified iteration count.
455 // This only happens in the case of a devirtualized call, so we only burn
456 // compile time in the case that we're making progress. We also have a hard
457 // iteration count limit in case there is crazy code.
458 unsigned Iteration = 0;
459 bool DevirtualizedCall = false;
460 do {
Chris Lattner055cf262010-04-22 20:42:33 +0000461 DEBUG(if (Iteration)
462 dbgs() << " SCCPASSMGR: Re-visiting SCC, iteration #"
463 << Iteration << '\n');
Chris Lattner6fbe7042010-04-21 00:47:40 +0000464 DevirtualizedCall = false;
465 Changed |= RunAllPassesOnSCC(CurSCC, CG, DevirtualizedCall);
466 } while (Iteration++ < MaxIterations && DevirtualizedCall);
Chris Lattnereedcd842009-08-31 07:23:46 +0000467
Chris Lattner6fbe7042010-04-21 00:47:40 +0000468 if (DevirtualizedCall)
469 DEBUG(dbgs() << " CGSCCPASSMGR: Stopped iteration after " << Iteration
470 << " times, due to -max-cg-scc-iterations\n");
Chris Lattnereedcd842009-08-31 07:23:46 +0000471
Chris Lattner6fbe7042010-04-21 00:47:40 +0000472 if (Iteration > MaxSCCIterations)
473 MaxSCCIterations = Iteration;
474
Devang Patel48537a02007-01-17 21:45:01 +0000475 }
Bill Wendling5f14a012009-02-11 18:19:24 +0000476 Changed |= doFinalization(CG);
Devang Patel48537a02007-01-17 21:45:01 +0000477 return Changed;
478}
479
Chris Lattner6fbe7042010-04-21 00:47:40 +0000480
Devang Patel48537a02007-01-17 21:45:01 +0000481/// Initialize CG
Bill Wendling5f14a012009-02-11 18:19:24 +0000482bool CGPassManager::doInitialization(CallGraph &CG) {
Devang Patel48537a02007-01-17 21:45:01 +0000483 bool Changed = false;
Chris Lattner0b1c7232010-01-22 05:46:59 +0000484 for (unsigned i = 0, e = getNumContainedPasses(); i != e; ++i) {
485 if (PMDataManager *PM = getContainedPass(i)->getAsPMDataManager()) {
486 assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
487 "Invalid CGPassManager member");
488 Changed |= ((FPPassManager*)PM)->doInitialization(CG.getModule());
Nick Lewyckycdccffe2009-02-13 07:15:53 +0000489 } else {
Chris Lattner0b1c7232010-01-22 05:46:59 +0000490 Changed |= ((CallGraphSCCPass*)getContainedPass(i))->doInitialization(CG);
Nick Lewyckycdccffe2009-02-13 07:15:53 +0000491 }
Devang Patel48537a02007-01-17 21:45:01 +0000492 }
493 return Changed;
494}
495
496/// Finalize CG
Bill Wendling5f14a012009-02-11 18:19:24 +0000497bool CGPassManager::doFinalization(CallGraph &CG) {
Devang Patel48537a02007-01-17 21:45:01 +0000498 bool Changed = false;
Chris Lattner0b1c7232010-01-22 05:46:59 +0000499 for (unsigned i = 0, e = getNumContainedPasses(); i != e; ++i) {
500 if (PMDataManager *PM = getContainedPass(i)->getAsPMDataManager()) {
501 assert(PM->getPassManagerType() == PMT_FunctionPassManager &&
502 "Invalid CGPassManager member");
503 Changed |= ((FPPassManager*)PM)->doFinalization(CG.getModule());
Nick Lewyckycdccffe2009-02-13 07:15:53 +0000504 } else {
Chris Lattner0b1c7232010-01-22 05:46:59 +0000505 Changed |= ((CallGraphSCCPass*)getContainedPass(i))->doFinalization(CG);
Nick Lewyckycdccffe2009-02-13 07:15:53 +0000506 }
Devang Patel48537a02007-01-17 21:45:01 +0000507 }
508 return Changed;
509}
510
Chris Lattner6d1208f2010-04-16 21:43:55 +0000511//===----------------------------------------------------------------------===//
Chris Lattner4422d312010-04-16 22:42:17 +0000512// CallGraphSCC Implementation
513//===----------------------------------------------------------------------===//
514
Chris Lattner5518b812010-04-16 22:59:24 +0000515/// ReplaceNode - This informs the SCC and the pass manager that the specified
516/// Old node has been deleted, and New is to be used in its place.
517void CallGraphSCC::ReplaceNode(CallGraphNode *Old, CallGraphNode *New) {
518 assert(Old != New && "Should not replace node with self");
519 for (unsigned i = 0; ; ++i) {
520 assert(i != Nodes.size() && "Node not in SCC");
521 if (Nodes[i] != Old) continue;
522 Nodes[i] = New;
523 break;
524 }
Chris Lattnerde023a32010-04-16 23:04:30 +0000525
526 // Update the active scc_iterator so that it doesn't contain dangling
527 // pointers to the old CallGraphNode.
528 scc_iterator<CallGraph*> *CGI = (scc_iterator<CallGraph*>*)Context;
529 CGI->ReplaceNode(Old, New);
Chris Lattner5518b812010-04-16 22:59:24 +0000530}
Chris Lattner4422d312010-04-16 22:42:17 +0000531
532
533//===----------------------------------------------------------------------===//
Chris Lattner6d1208f2010-04-16 21:43:55 +0000534// CallGraphSCCPass Implementation
535//===----------------------------------------------------------------------===//
David Greene9b063df2010-04-02 23:17:14 +0000536
Devang Patel020f4f22007-01-23 21:55:17 +0000537/// Assign pass manager to manage this pass.
Devang Patel1f8200b2007-01-23 21:52:35 +0000538void CallGraphSCCPass::assignPassManager(PMStack &PMS,
Anton Korobeynikovfb801512007-04-16 18:10:23 +0000539 PassManagerType PreferredType) {
Devang Patel1f8200b2007-01-23 21:52:35 +0000540 // Find CGPassManager
Duncan Sands60f28bf2007-07-19 09:42:01 +0000541 while (!PMS.empty() &&
542 PMS.top()->getPassManagerType() > PMT_CallGraphPassManager)
543 PMS.pop();
Devang Patel1f8200b2007-01-23 21:52:35 +0000544
Chris Lattner9efd4fc2010-01-22 05:37:10 +0000545 assert(!PMS.empty() && "Unable to handle Call Graph Pass");
546 CGPassManager *CGP;
547
548 if (PMS.top()->getPassManagerType() == PMT_CallGraphPassManager)
549 CGP = (CGPassManager*)PMS.top();
550 else {
551 // Create new Call Graph SCC Pass Manager if it does not exist.
552 assert(!PMS.empty() && "Unable to create Call Graph Pass Manager");
Devang Patel1f8200b2007-01-23 21:52:35 +0000553 PMDataManager *PMD = PMS.top();
554
555 // [1] Create new Call Graph Pass Manager
Andrew Trick08966212011-08-29 17:07:00 +0000556 CGP = new CGPassManager();
Devang Patel1f8200b2007-01-23 21:52:35 +0000557
558 // [2] Set up new manager's top level manager
559 PMTopLevelManager *TPM = PMD->getTopLevelManager();
560 TPM->addIndirectPassManager(CGP);
561
562 // [3] Assign manager to manage this new manager. This may create
563 // and push new managers into PMS
Chris Lattner9efd4fc2010-01-22 05:37:10 +0000564 Pass *P = CGP;
Devang Patel703de8f2007-06-21 22:29:02 +0000565 TPM->schedulePass(P);
Devang Patel1f8200b2007-01-23 21:52:35 +0000566
567 // [4] Push new manager into PMS
568 PMS.push(CGP);
569 }
570
571 CGP->add(this);
572}
573
Chris Lattnerf7e95942003-08-31 01:54:59 +0000574/// getAnalysisUsage - For this class, we declare that we require and preserve
575/// the call graph. If the derived class implements this method, it should
576/// always explicitly call the implementation here.
577void CallGraphSCCPass::getAnalysisUsage(AnalysisUsage &AU) const {
Chandler Carruth6378cf52013-11-26 04:19:30 +0000578 AU.addRequired<CallGraphWrapperPass>();
579 AU.addPreserved<CallGraphWrapperPass>();
Chris Lattnerf7e95942003-08-31 01:54:59 +0000580}
Chris Lattner6d1208f2010-04-16 21:43:55 +0000581
582
583//===----------------------------------------------------------------------===//
584// PrintCallGraphPass Implementation
585//===----------------------------------------------------------------------===//
586
587namespace {
588 /// PrintCallGraphPass - Print a Module corresponding to a call graph.
589 ///
590 class PrintCallGraphPass : public CallGraphSCCPass {
591 std::string Banner;
592 raw_ostream &Out; // raw_ostream to print on.
593
594 public:
595 static char ID;
Chris Lattner6d1208f2010-04-16 21:43:55 +0000596 PrintCallGraphPass(const std::string &B, raw_ostream &o)
Owen Andersona7aed182010-08-06 18:33:48 +0000597 : CallGraphSCCPass(ID), Banner(B), Out(o) {}
Craig Toppere9ba7592014-03-05 07:30:04 +0000598
599 void getAnalysisUsage(AnalysisUsage &AU) const override {
Chris Lattner6d1208f2010-04-16 21:43:55 +0000600 AU.setPreservesAll();
601 }
Craig Toppere9ba7592014-03-05 07:30:04 +0000602
603 bool runOnSCC(CallGraphSCC &SCC) override {
Chris Lattner6d1208f2010-04-16 21:43:55 +0000604 Out << Banner;
Chris Lattner4422d312010-04-16 22:42:17 +0000605 for (CallGraphSCC::iterator I = SCC.begin(), E = SCC.end(); I != E; ++I)
606 (*I)->getFunction()->print(Out);
Chris Lattner6d1208f2010-04-16 21:43:55 +0000607 return false;
608 }
609 };
610
611} // end anonymous namespace.
612
613char PrintCallGraphPass::ID = 0;
614
615Pass *CallGraphSCCPass::createPrinterPass(raw_ostream &O,
616 const std::string &Banner) const {
617 return new PrintCallGraphPass(Banner, O);
618}
619