blob: 45d289b8c06a163e555f244d443b44e6755a2663 [file] [log] [blame]
Chandler Carruthbf71a342014-02-06 04:37:03 +00001//===- LazyCallGraph.cpp - Analysis of a Module's call graph --------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "llvm/Analysis/LazyCallGraph.h"
Chandler Carruth18eadd922014-04-18 10:50:32 +000011#include "llvm/ADT/STLExtras.h"
Chandler Carruth219b89b2014-03-04 11:01:28 +000012#include "llvm/IR/CallSite.h"
Chandler Carruth7da14f12014-03-06 03:23:41 +000013#include "llvm/IR/InstVisitor.h"
Chandler Carruthbf71a342014-02-06 04:37:03 +000014#include "llvm/IR/Instructions.h"
15#include "llvm/IR/PassManager.h"
Chandler Carruth99b756d2014-04-21 05:04:24 +000016#include "llvm/Support/Debug.h"
Chandler Carruthbf71a342014-02-06 04:37:03 +000017#include "llvm/Support/raw_ostream.h"
Chandler Carruthbf71a342014-02-06 04:37:03 +000018
19using namespace llvm;
20
Chandler Carruthf1221bd2014-04-22 02:48:03 +000021#define DEBUG_TYPE "lcg"
22
Chandler Carruthbf71a342014-02-06 04:37:03 +000023static void findCallees(
24 SmallVectorImpl<Constant *> &Worklist, SmallPtrSetImpl<Constant *> &Visited,
Chandler Carruthe9b50612014-03-10 02:14:14 +000025 SmallVectorImpl<PointerUnion<Function *, LazyCallGraph::Node *>> &Callees,
Chandler Carruth0b623ba2014-04-23 04:00:17 +000026 DenseMap<Function *, size_t> &CalleeIndexMap) {
Chandler Carruthbf71a342014-02-06 04:37:03 +000027 while (!Worklist.empty()) {
28 Constant *C = Worklist.pop_back_val();
29
30 if (Function *F = dyn_cast<Function>(C)) {
31 // Note that we consider *any* function with a definition to be a viable
32 // edge. Even if the function's definition is subject to replacement by
33 // some other module (say, a weak definition) there may still be
34 // optimizations which essentially speculate based on the definition and
35 // a way to check that the specific definition is in fact the one being
36 // used. For example, this could be done by moving the weak definition to
37 // a strong (internal) definition and making the weak definition be an
38 // alias. Then a test of the address of the weak function against the new
39 // strong definition's address would be an effective way to determine the
40 // safety of optimizing a direct call edge.
Chandler Carruth0b623ba2014-04-23 04:00:17 +000041 if (!F->isDeclaration() &&
42 CalleeIndexMap.insert(std::make_pair(F, Callees.size())).second) {
Chandler Carruth99b756d2014-04-21 05:04:24 +000043 DEBUG(dbgs() << " Added callable function: " << F->getName()
44 << "\n");
Chandler Carruthe9b50612014-03-10 02:14:14 +000045 Callees.push_back(F);
Chandler Carruth99b756d2014-04-21 05:04:24 +000046 }
Chandler Carruthbf71a342014-02-06 04:37:03 +000047 continue;
48 }
49
Chandler Carruth1583e992014-03-03 10:42:58 +000050 for (Value *Op : C->operand_values())
51 if (Visited.insert(cast<Constant>(Op)))
52 Worklist.push_back(cast<Constant>(Op));
Chandler Carruthbf71a342014-02-06 04:37:03 +000053 }
54}
55
Chandler Carruth18eadd922014-04-18 10:50:32 +000056LazyCallGraph::Node::Node(LazyCallGraph &G, Function &F)
57 : G(&G), F(F), DFSNumber(0), LowLink(0) {
Chandler Carruth99b756d2014-04-21 05:04:24 +000058 DEBUG(dbgs() << " Adding functions called by '" << F.getName()
59 << "' to the graph.\n");
60
Chandler Carruthbf71a342014-02-06 04:37:03 +000061 SmallVector<Constant *, 16> Worklist;
62 SmallPtrSet<Constant *, 16> Visited;
63 // Find all the potential callees in this function. First walk the
64 // instructions and add every operand which is a constant to the worklist.
Chandler Carruthb9e2f8c2014-03-09 12:20:34 +000065 for (BasicBlock &BB : F)
66 for (Instruction &I : BB)
67 for (Value *Op : I.operand_values())
Chandler Carruth1583e992014-03-03 10:42:58 +000068 if (Constant *C = dyn_cast<Constant>(Op))
Chandler Carruthbf71a342014-02-06 04:37:03 +000069 if (Visited.insert(C))
70 Worklist.push_back(C);
71
72 // We've collected all the constant (and thus potentially function or
73 // function containing) operands to all of the instructions in the function.
74 // Process them (recursively) collecting every function found.
Chandler Carruth0b623ba2014-04-23 04:00:17 +000075 findCallees(Worklist, Visited, Callees, CalleeIndexMap);
Chandler Carruthbf71a342014-02-06 04:37:03 +000076}
77
Chandler Carruth2174f442014-04-18 20:44:16 +000078LazyCallGraph::LazyCallGraph(Module &M) : NextDFSNumber(0) {
Chandler Carruth99b756d2014-04-21 05:04:24 +000079 DEBUG(dbgs() << "Building CG for module: " << M.getModuleIdentifier()
80 << "\n");
Chandler Carruthb9e2f8c2014-03-09 12:20:34 +000081 for (Function &F : M)
82 if (!F.isDeclaration() && !F.hasLocalLinkage())
Chandler Carruth0b623ba2014-04-23 04:00:17 +000083 if (EntryIndexMap.insert(std::make_pair(&F, EntryNodes.size())).second) {
Chandler Carruth99b756d2014-04-21 05:04:24 +000084 DEBUG(dbgs() << " Adding '" << F.getName()
85 << "' to entry set of the graph.\n");
Chandler Carruthb9e2f8c2014-03-09 12:20:34 +000086 EntryNodes.push_back(&F);
Chandler Carruth99b756d2014-04-21 05:04:24 +000087 }
Chandler Carruthbf71a342014-02-06 04:37:03 +000088
89 // Now add entry nodes for functions reachable via initializers to globals.
90 SmallVector<Constant *, 16> Worklist;
91 SmallPtrSet<Constant *, 16> Visited;
Chandler Carruthb9e2f8c2014-03-09 12:20:34 +000092 for (GlobalVariable &GV : M.globals())
93 if (GV.hasInitializer())
94 if (Visited.insert(GV.getInitializer()))
95 Worklist.push_back(GV.getInitializer());
Chandler Carruthbf71a342014-02-06 04:37:03 +000096
Chandler Carruth99b756d2014-04-21 05:04:24 +000097 DEBUG(dbgs() << " Adding functions referenced by global initializers to the "
98 "entry set.\n");
Chandler Carruth0b623ba2014-04-23 04:00:17 +000099 findCallees(Worklist, Visited, EntryNodes, EntryIndexMap);
Chandler Carruth18eadd922014-04-18 10:50:32 +0000100
101 for (auto &Entry : EntryNodes)
102 if (Function *F = Entry.dyn_cast<Function *>())
103 SCCEntryNodes.insert(F);
104 else
105 SCCEntryNodes.insert(&Entry.get<Node *>()->getFunction());
Chandler Carruthbf71a342014-02-06 04:37:03 +0000106}
107
Chandler Carruthbf71a342014-02-06 04:37:03 +0000108LazyCallGraph::LazyCallGraph(LazyCallGraph &&G)
Chandler Carruth2174f442014-04-18 20:44:16 +0000109 : BPA(std::move(G.BPA)), NodeMap(std::move(G.NodeMap)),
110 EntryNodes(std::move(G.EntryNodes)),
Chandler Carruth0b623ba2014-04-23 04:00:17 +0000111 EntryIndexMap(std::move(G.EntryIndexMap)), SCCBPA(std::move(G.SCCBPA)),
Chandler Carruth18eadd922014-04-18 10:50:32 +0000112 SCCMap(std::move(G.SCCMap)), LeafSCCs(std::move(G.LeafSCCs)),
113 DFSStack(std::move(G.DFSStack)),
Chandler Carruth2174f442014-04-18 20:44:16 +0000114 SCCEntryNodes(std::move(G.SCCEntryNodes)),
115 NextDFSNumber(G.NextDFSNumber) {
Chandler Carruthd8d865e2014-04-18 11:02:33 +0000116 updateGraphPtrs();
117}
118
119LazyCallGraph &LazyCallGraph::operator=(LazyCallGraph &&G) {
120 BPA = std::move(G.BPA);
Chandler Carruth2174f442014-04-18 20:44:16 +0000121 NodeMap = std::move(G.NodeMap);
Chandler Carruthd8d865e2014-04-18 11:02:33 +0000122 EntryNodes = std::move(G.EntryNodes);
Chandler Carruth0b623ba2014-04-23 04:00:17 +0000123 EntryIndexMap = std::move(G.EntryIndexMap);
Chandler Carruthd8d865e2014-04-18 11:02:33 +0000124 SCCBPA = std::move(G.SCCBPA);
125 SCCMap = std::move(G.SCCMap);
126 LeafSCCs = std::move(G.LeafSCCs);
127 DFSStack = std::move(G.DFSStack);
128 SCCEntryNodes = std::move(G.SCCEntryNodes);
Chandler Carruth2174f442014-04-18 20:44:16 +0000129 NextDFSNumber = G.NextDFSNumber;
Chandler Carruthd8d865e2014-04-18 11:02:33 +0000130 updateGraphPtrs();
131 return *this;
132}
133
Chandler Carruth8f92d6d2014-04-26 01:03:46 +0000134void LazyCallGraph::SCC::insert(LazyCallGraph &G, Node &N) {
135 N.DFSNumber = N.LowLink = -1;
136 Nodes.push_back(&N);
137 G.SCCMap[&N] = this;
138}
139
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000140void LazyCallGraph::SCC::removeEdge(LazyCallGraph &G, Function &Caller,
141 Function &Callee, SCC &CalleeC) {
142 assert(std::find(G.LeafSCCs.begin(), G.LeafSCCs.end(), this) ==
143 G.LeafSCCs.end() &&
144 "Cannot have a leaf SCC caller with a different SCC callee.");
145
146 bool HasOtherCallToCalleeC = false;
147 bool HasOtherCallOutsideSCC = false;
148 for (Node *N : *this) {
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000149 for (Node &Callee : *N) {
150 SCC &OtherCalleeC = *G.SCCMap.lookup(&Callee);
151 if (&OtherCalleeC == &CalleeC) {
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000152 HasOtherCallToCalleeC = true;
153 break;
154 }
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000155 if (&OtherCalleeC != this)
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000156 HasOtherCallOutsideSCC = true;
157 }
158 if (HasOtherCallToCalleeC)
159 break;
160 }
161 // Because the SCCs form a DAG, deleting such an edge cannot change the set
162 // of SCCs in the graph. However, it may cut an edge of the SCC DAG, making
163 // the caller no longer a parent of the callee. Walk the other call edges
164 // in the caller to tell.
165 if (!HasOtherCallToCalleeC) {
Chandler Carruth493e0a62014-04-24 09:22:31 +0000166 bool Removed = CalleeC.ParentSCCs.erase(this);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000167 (void)Removed;
168 assert(Removed &&
169 "Did not find the caller SCC in the callee SCC's parent list!");
170
171 // It may orphan an SCC if it is the last edge reaching it, but that does
172 // not violate any invariants of the graph.
173 if (CalleeC.ParentSCCs.empty())
174 DEBUG(dbgs() << "LCG: Update removing " << Caller.getName() << " -> "
175 << Callee.getName() << " edge orphaned the callee's SCC!\n");
176 }
177
178 // It may make the Caller SCC a leaf SCC.
179 if (!HasOtherCallOutsideSCC)
180 G.LeafSCCs.push_back(this);
181}
182
183SmallVector<LazyCallGraph::SCC *, 1>
184LazyCallGraph::SCC::removeInternalEdge(LazyCallGraph &G, Node &Caller,
185 Node &Callee) {
186 // We return a list of the resulting SCCs, where 'this' is always the first
187 // element.
188 SmallVector<SCC *, 1> ResultSCCs;
189 ResultSCCs.push_back(this);
190
Chandler Carrutha7205b62014-04-26 03:36:37 +0000191 // Direct recursion doesn't impact the SCC graph at all.
192 if (&Caller == &Callee)
193 return ResultSCCs;
194
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000195 // We're going to do a full mini-Tarjan's walk using a local stack here.
Chandler Carruth09751bf2014-04-24 09:59:59 +0000196 int NextDFSNumber;
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000197 SmallVector<std::pair<Node *, Node::iterator>, 4> DFSStack;
Chandler Carruth24553932014-04-24 11:05:20 +0000198 SmallVector<Node *, 4> PendingSCCStack;
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000199
Chandler Carruth770060d2014-04-25 09:08:05 +0000200 // The worklist is every node in the original SCC.
201 SmallVector<Node *, 1> Worklist;
202 Worklist.swap(Nodes);
203 for (Node *N : Worklist) {
Chandler Carruth2e6ef0e2014-04-25 09:08:10 +0000204 // The nodes formerly in this SCC are no longer in any SCC.
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000205 N->DFSNumber = 0;
206 N->LowLink = 0;
Chandler Carruth2e6ef0e2014-04-25 09:08:10 +0000207 G.SCCMap.erase(N);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000208 }
Chandler Carrutha7205b62014-04-26 03:36:37 +0000209 assert(Worklist.size() > 1 && "We have to have at least two nodes to have an "
210 "edge between them that is within the SCC.");
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000211
212 // The callee can already reach every node in this SCC (by definition). It is
213 // the only node we know will stay inside this SCC. Everything which
214 // transitively reaches Callee will also remain in the SCC. To model this we
215 // incrementally add any chain of nodes which reaches something in the new
216 // node set to the new node set. This short circuits one side of the Tarjan's
217 // walk.
Chandler Carruth8f92d6d2014-04-26 01:03:46 +0000218 insert(G, Callee);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000219
Chandler Carruth680af7a2014-04-26 03:36:42 +0000220 Node *N = nullptr;
221 Node::iterator ChildI;
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000222 for (;;) {
Chandler Carruth680af7a2014-04-26 03:36:42 +0000223 if (!N) {
224 if (!DFSStack.empty()) {
225 N = DFSStack.back().first;
226 ChildI = DFSStack.back().second;
227 DFSStack.pop_back();
228 } else {
229 // Clear off any nodes which have already been visited in the DFS.
230 while (!Worklist.empty() && Worklist.back()->DFSNumber != 0)
231 Worklist.pop_back();
232 if (Worklist.empty())
233 break;
234 N = Worklist.pop_back_val();
235 N->LowLink = N->DFSNumber = 1;
236 NextDFSNumber = 2;
237 ChildI = N->begin();
238 assert(PendingSCCStack.empty() && "Cannot start a fresh DFS walk with "
239 "pending nodes from a prior walk.");
240 }
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000241 }
Chandler Carruth09751bf2014-04-24 09:59:59 +0000242 assert(N->DFSNumber != 0 && "We should always assign a DFS number "
Chandler Carruth680af7a2014-04-26 03:36:42 +0000243 "before processing a node.");
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000244
Chandler Carruth6b88e3a2014-04-25 06:45:06 +0000245 // We simulate recursion by popping out of the nested loop and continuing.
246 bool Recurse = false;
Chandler Carruth680af7a2014-04-26 03:36:42 +0000247 for (auto I = ChildI, E = N->end(); I != E; ++I) {
Chandler Carruth6b88e3a2014-04-25 06:45:06 +0000248 Node &ChildN = *I;
Chandler Carruth2e6ef0e2014-04-25 09:08:10 +0000249 if (SCC *ChildSCC = G.SCCMap.lookup(&ChildN)) {
Chandler Carruth9ba77622014-04-25 09:52:44 +0000250 // Check if we have reached a node in the new (known connected) set of
251 // this SCC. If so, the entire stack is necessarily in that set and we
252 // can re-start.
253 if (ChildSCC == this) {
Chandler Carruth680af7a2014-04-26 03:36:42 +0000254 insert(G, *N);
Chandler Carruth8f92d6d2014-04-26 01:03:46 +0000255 while (!PendingSCCStack.empty())
256 insert(G, *PendingSCCStack.pop_back_val());
257 while (!DFSStack.empty())
258 insert(G, *DFSStack.pop_back_val().first);
Chandler Carruth680af7a2014-04-26 03:36:42 +0000259 N = nullptr;
Chandler Carruth9ba77622014-04-25 09:52:44 +0000260 Recurse = true;
261 break;
262 }
263
264 // If this child isn't currently in this SCC, no need to process it.
265 // However, we do need to remove this SCC from its SCC's parent set.
Chandler Carruth2e6ef0e2014-04-25 09:08:10 +0000266 ChildSCC->ParentSCCs.erase(this);
Chandler Carruth6b88e3a2014-04-25 06:45:06 +0000267 continue;
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000268 }
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000269
Chandler Carruth6b88e3a2014-04-25 06:45:06 +0000270 if (ChildN.DFSNumber == 0) {
271 // Mark that we should start at this child when next this node is the
272 // top of the stack. We don't start at the next child to ensure this
273 // child's lowlink is reflected.
Chandler Carruth680af7a2014-04-26 03:36:42 +0000274 DFSStack.push_back(std::make_pair(N, I));
Chandler Carruth24553932014-04-24 11:05:20 +0000275
Chandler Carruth6b88e3a2014-04-25 06:45:06 +0000276 // Recurse onto this node via a tail call.
277 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++;
Chandler Carruth680af7a2014-04-26 03:36:42 +0000278 N = &ChildN;
279 ChildI = ChildN.begin();
Chandler Carruth6b88e3a2014-04-25 06:45:06 +0000280 Recurse = true;
281 break;
282 }
Chandler Carruth24553932014-04-24 11:05:20 +0000283
Chandler Carruth6b88e3a2014-04-25 06:45:06 +0000284 // Track the lowest link of the childen, if any are still in the stack.
285 // Any child not on the stack will have a LowLink of -1.
286 assert(ChildN.LowLink != 0 &&
287 "Low-link must not be zero with a non-zero DFS number.");
288 if (ChildN.LowLink >= 0 && ChildN.LowLink < N->LowLink)
289 N->LowLink = ChildN.LowLink;
290 }
291 if (Recurse)
292 continue;
293
Chandler Carruth680af7a2014-04-26 03:36:42 +0000294 if (N->LowLink != N->DFSNumber) {
295 // At this point we know that N cannot ever be an SCC root. Its low-link
296 // is not its dfs-number, and we've processed all of its children. It is
297 // just sitting here waiting until some node further down the stack gets
298 // low-link == dfs-number and pops it off as well. Move it to the pending
299 // stack which is pulled into the next SCC to be formed.
300 PendingSCCStack.push_back(N);
Chandler Carruth6b88e3a2014-04-25 06:45:06 +0000301
Chandler Carruth680af7a2014-04-26 03:36:42 +0000302 assert(!DFSStack.empty() && "We shouldn't have an empty stack!");
303 N = nullptr;
Chandler Carruth6b88e3a2014-04-25 06:45:06 +0000304 continue;
305 }
306
Chandler Carruth680af7a2014-04-26 03:36:42 +0000307 ResultSCCs.push_back(G.formSCC(N, PendingSCCStack));
308 N = nullptr;
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000309 }
310
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000311 // Now we need to reconnect the current SCC to the graph.
312 bool IsLeafSCC = true;
Chandler Carruth9ba77622014-04-25 09:52:44 +0000313 for (Node *N : Nodes) {
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000314 for (Node &ChildN : *N) {
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000315 SCC &ChildSCC = *G.SCCMap.lookup(&ChildN);
Chandler Carruth9ba77622014-04-25 09:52:44 +0000316 if (&ChildSCC == this)
317 continue;
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000318 ChildSCC.ParentSCCs.insert(this);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000319 IsLeafSCC = false;
320 }
321 }
322#ifndef NDEBUG
323 if (ResultSCCs.size() > 1)
324 assert(!IsLeafSCC && "This SCC cannot be a leaf as we have split out new "
325 "SCCs by removing this edge.");
326 if (!std::any_of(G.LeafSCCs.begin(), G.LeafSCCs.end(),
327 [&](SCC *C) { return C == this; }))
328 assert(!IsLeafSCC && "This SCC cannot be a leaf as it already had child "
329 "SCCs before we removed this edge.");
330#endif
331 // If this SCC stopped being a leaf through this edge removal, remove it from
332 // the leaf SCC list.
333 if (!IsLeafSCC && ResultSCCs.size() > 1)
334 G.LeafSCCs.erase(std::remove(G.LeafSCCs.begin(), G.LeafSCCs.end(), this),
335 G.LeafSCCs.end());
336
337 // Return the new list of SCCs.
338 return ResultSCCs;
339}
340
341void LazyCallGraph::removeEdge(Node &CallerN, Function &Callee) {
342 auto IndexMapI = CallerN.CalleeIndexMap.find(&Callee);
343 assert(IndexMapI != CallerN.CalleeIndexMap.end() &&
344 "Callee not in the callee set for the caller?");
345
346 Node *CalleeN = CallerN.Callees[IndexMapI->second].dyn_cast<Node *>();
347 CallerN.Callees.erase(CallerN.Callees.begin() + IndexMapI->second);
348 CallerN.CalleeIndexMap.erase(IndexMapI);
349
Chandler Carrutha10e2402014-04-23 23:12:06 +0000350 SCC *CallerC = SCCMap.lookup(&CallerN);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000351 if (!CallerC) {
352 // We can only remove edges when the edge isn't actively participating in
353 // a DFS walk. Either it must have been popped into an SCC, or it must not
354 // yet have been reached by the DFS walk. Assert the latter here.
355 assert(std::all_of(DFSStack.begin(), DFSStack.end(),
356 [&](const std::pair<Node *, iterator> &StackEntry) {
357 return StackEntry.first != &CallerN;
358 }) &&
359 "Found the caller on the DFSStack!");
360 return;
361 }
362
363 assert(CalleeN && "If the caller is in an SCC, we have to have explored all "
364 "its transitively called functions.");
365
Chandler Carrutha10e2402014-04-23 23:12:06 +0000366 SCC *CalleeC = SCCMap.lookup(CalleeN);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000367 assert(CalleeC &&
368 "The caller has an SCC, and thus by necessity so does the callee.");
369
370 // The easy case is when they are different SCCs.
371 if (CallerC != CalleeC) {
372 CallerC->removeEdge(*this, CallerN.getFunction(), Callee, *CalleeC);
373 return;
374 }
375
376 // The hard case is when we remove an edge within a SCC. This may cause new
377 // SCCs to need to be added to the graph.
378 CallerC->removeInternalEdge(*this, CallerN, *CalleeN);
379}
380
Chandler Carruth2a898e02014-04-23 23:20:36 +0000381LazyCallGraph::Node &LazyCallGraph::insertInto(Function &F, Node *&MappedN) {
382 return *new (MappedN = BPA.Allocate()) Node(*this, F);
Chandler Carruthd8d865e2014-04-18 11:02:33 +0000383}
384
385void LazyCallGraph::updateGraphPtrs() {
Chandler Carruthb60cb312014-04-17 07:25:59 +0000386 // Process all nodes updating the graph pointers.
387 SmallVector<Node *, 16> Worklist;
Chandler Carruthb9e2f8c2014-03-09 12:20:34 +0000388 for (auto &Entry : EntryNodes)
389 if (Node *EntryN = Entry.dyn_cast<Node *>())
Chandler Carruthb60cb312014-04-17 07:25:59 +0000390 Worklist.push_back(EntryN);
391
392 while (!Worklist.empty()) {
393 Node *N = Worklist.pop_back_val();
394 N->G = this;
395 for (auto &Callee : N->Callees)
396 if (Node *CalleeN = Callee.dyn_cast<Node *>())
397 Worklist.push_back(CalleeN);
398 }
Chandler Carruthbf71a342014-02-06 04:37:03 +0000399}
Chandler Carruthbf71a342014-02-06 04:37:03 +0000400
Chandler Carruth24553932014-04-24 11:05:20 +0000401LazyCallGraph::SCC *LazyCallGraph::formSCC(Node *RootN,
402 SmallVectorImpl<Node *> &NodeStack) {
Chandler Carruth3f9869a2014-04-23 06:09:03 +0000403 // The tail of the stack is the new SCC. Allocate the SCC and pop the stack
404 // into it.
405 SCC *NewSCC = new (SCCBPA.Allocate()) SCC();
406
Chandler Carruth24553932014-04-24 11:05:20 +0000407 while (!NodeStack.empty() && NodeStack.back()->DFSNumber > RootN->DFSNumber) {
Chandler Carruth8f92d6d2014-04-26 01:03:46 +0000408 assert(NodeStack.back()->LowLink >= RootN->LowLink &&
Chandler Carruthcace6622014-04-23 10:31:17 +0000409 "We cannot have a low link in an SCC lower than its root on the "
410 "stack!");
Chandler Carruth8f92d6d2014-04-26 01:03:46 +0000411 NewSCC->insert(*this, *NodeStack.pop_back_val());
Chandler Carruthcace6622014-04-23 10:31:17 +0000412 }
Chandler Carruth8f92d6d2014-04-26 01:03:46 +0000413 NewSCC->insert(*this, *RootN);
Chandler Carruth3f9869a2014-04-23 06:09:03 +0000414
415 // A final pass over all edges in the SCC (this remains linear as we only
416 // do this once when we build the SCC) to connect it to the parent sets of
417 // its children.
418 bool IsLeafSCC = true;
419 for (Node *SCCN : NewSCC->Nodes)
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000420 for (Node &SCCChildN : *SCCN) {
Chandler Carruthd52f8e02014-04-24 08:55:36 +0000421 if (SCCMap.lookup(&SCCChildN) == NewSCC)
Chandler Carruth3f9869a2014-04-23 06:09:03 +0000422 continue;
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000423 SCC &ChildSCC = *SCCMap.lookup(&SCCChildN);
424 ChildSCC.ParentSCCs.insert(NewSCC);
Chandler Carruth3f9869a2014-04-23 06:09:03 +0000425 IsLeafSCC = false;
426 }
427
428 // For the SCCs where we fine no child SCCs, add them to the leaf list.
429 if (IsLeafSCC)
430 LeafSCCs.push_back(NewSCC);
431
432 return NewSCC;
433}
434
Chandler Carruth18eadd922014-04-18 10:50:32 +0000435LazyCallGraph::SCC *LazyCallGraph::getNextSCCInPostOrder() {
436 // When the stack is empty, there are no more SCCs to walk in this graph.
437 if (DFSStack.empty()) {
438 // If we've handled all candidate entry nodes to the SCC forest, we're done.
439 if (SCCEntryNodes.empty())
440 return nullptr;
441
Chandler Carruth2a898e02014-04-23 23:20:36 +0000442 Node &N = get(*SCCEntryNodes.pop_back_val());
Chandler Carruth09751bf2014-04-24 09:59:59 +0000443 N.LowLink = N.DFSNumber = 1;
444 NextDFSNumber = 2;
Chandler Carruth2a898e02014-04-23 23:20:36 +0000445 DFSStack.push_back(std::make_pair(&N, N.begin()));
Chandler Carruth18eadd922014-04-18 10:50:32 +0000446 }
447
Chandler Carruth91dcf0f2014-04-24 21:19:30 +0000448 for (;;) {
Chandler Carruth24553932014-04-24 11:05:20 +0000449 Node *N = DFSStack.back().first;
450 assert(N->DFSNumber != 0 && "We should always assign a DFS number "
451 "before placing a node onto the stack.");
452
Chandler Carruth774c9322014-04-25 06:38:58 +0000453 bool Recurse = false; // Used to simulate recursing onto a child.
Chandler Carruth24553932014-04-24 11:05:20 +0000454 for (auto I = DFSStack.back().second, E = N->end(); I != E; ++I) {
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000455 Node &ChildN = *I;
456 if (ChildN.DFSNumber == 0) {
Chandler Carruthcace6622014-04-23 10:31:17 +0000457 // Mark that we should start at this child when next this node is the
458 // top of the stack. We don't start at the next child to ensure this
459 // child's lowlink is reflected.
Chandler Carruth24553932014-04-24 11:05:20 +0000460 DFSStack.back().second = I;
Chandler Carruth18eadd922014-04-18 10:50:32 +0000461
Chandler Carruthcace6622014-04-23 10:31:17 +0000462 // Recurse onto this node via a tail call.
Chandler Carruth09751bf2014-04-24 09:59:59 +0000463 assert(!SCCMap.count(&ChildN) &&
464 "Found a node with 0 DFS number but already in an SCC!");
465 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++;
466 SCCEntryNodes.remove(&ChildN.getFunction());
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000467 DFSStack.push_back(std::make_pair(&ChildN, ChildN.begin()));
Chandler Carruth774c9322014-04-25 06:38:58 +0000468 Recurse = true;
469 break;
Chandler Carruthcace6622014-04-23 10:31:17 +0000470 }
471
472 // Track the lowest link of the childen, if any are still in the stack.
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000473 assert(ChildN.LowLink != 0 &&
Chandler Carruthb4a04da2014-04-23 22:28:13 +0000474 "Low-link must not be zero with a non-zero DFS number.");
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000475 if (ChildN.LowLink >= 0 && ChildN.LowLink < N->LowLink)
476 N->LowLink = ChildN.LowLink;
Chandler Carruth18eadd922014-04-18 10:50:32 +0000477 }
Chandler Carruth774c9322014-04-25 06:38:58 +0000478 if (Recurse)
479 // Continue the outer loop when we exit the inner loop in order to
480 // recurse onto a child.
481 continue;
482
Chandler Carruth24553932014-04-24 11:05:20 +0000483 // No more children to process here, pop the node off the stack.
484 DFSStack.pop_back();
Chandler Carruth18eadd922014-04-18 10:50:32 +0000485
Chandler Carruthcace6622014-04-23 10:31:17 +0000486 if (N->LowLink == N->DFSNumber)
487 // Form the new SCC out of the top of the DFS stack.
Chandler Carruth24553932014-04-24 11:05:20 +0000488 return formSCC(N, PendingSCCStack);
Chandler Carruth18eadd922014-04-18 10:50:32 +0000489
Chandler Carruth91dcf0f2014-04-24 21:19:30 +0000490 assert(!DFSStack.empty() && "We never found a viable root!");
491
Chandler Carruth24553932014-04-24 11:05:20 +0000492 // At this point we know that N cannot ever be an SCC root. Its low-link
493 // is not its dfs-number, and we've processed all of its children. It is
494 // just sitting here waiting until some node further down the stack gets
495 // low-link == dfs-number and pops it off as well. Move it to the pending
496 // stack which is pulled into the next SCC to be formed.
497 PendingSCCStack.push_back(N);
Chandler Carruth91dcf0f2014-04-24 21:19:30 +0000498 }
Chandler Carruth18eadd922014-04-18 10:50:32 +0000499}
500
Chandler Carruthbf71a342014-02-06 04:37:03 +0000501char LazyCallGraphAnalysis::PassID;
502
503LazyCallGraphPrinterPass::LazyCallGraphPrinterPass(raw_ostream &OS) : OS(OS) {}
504
505static void printNodes(raw_ostream &OS, LazyCallGraph::Node &N,
506 SmallPtrSetImpl<LazyCallGraph::Node *> &Printed) {
507 // Recurse depth first through the nodes.
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000508 for (LazyCallGraph::Node &ChildN : N)
509 if (Printed.insert(&ChildN))
510 printNodes(OS, ChildN, Printed);
Chandler Carruthbf71a342014-02-06 04:37:03 +0000511
512 OS << " Call edges in function: " << N.getFunction().getName() << "\n";
513 for (LazyCallGraph::iterator I = N.begin(), E = N.end(); I != E; ++I)
514 OS << " -> " << I->getFunction().getName() << "\n";
515
516 OS << "\n";
517}
518
Chandler Carruth18eadd922014-04-18 10:50:32 +0000519static void printSCC(raw_ostream &OS, LazyCallGraph::SCC &SCC) {
520 ptrdiff_t SCCSize = std::distance(SCC.begin(), SCC.end());
521 OS << " SCC with " << SCCSize << " functions:\n";
522
523 for (LazyCallGraph::Node *N : SCC)
524 OS << " " << N->getFunction().getName() << "\n";
525
526 OS << "\n";
527}
528
Chandler Carruthe9b50612014-03-10 02:14:14 +0000529PreservedAnalyses LazyCallGraphPrinterPass::run(Module *M,
530 ModuleAnalysisManager *AM) {
Chandler Carruthbf71a342014-02-06 04:37:03 +0000531 LazyCallGraph &G = AM->getResult<LazyCallGraphAnalysis>(M);
532
Chandler Carruthe9b50612014-03-10 02:14:14 +0000533 OS << "Printing the call graph for module: " << M->getModuleIdentifier()
534 << "\n\n";
Chandler Carruthbf71a342014-02-06 04:37:03 +0000535
536 SmallPtrSet<LazyCallGraph::Node *, 16> Printed;
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000537 for (LazyCallGraph::Node &N : G)
538 if (Printed.insert(&N))
539 printNodes(OS, N, Printed);
Chandler Carruthbf71a342014-02-06 04:37:03 +0000540
Chandler Carruth6a4fee82014-04-23 23:51:07 +0000541 for (LazyCallGraph::SCC &SCC : G.postorder_sccs())
542 printSCC(OS, SCC);
Chandler Carruth18eadd922014-04-18 10:50:32 +0000543
Chandler Carruthbf71a342014-02-06 04:37:03 +0000544 return PreservedAnalyses::all();
Chandler Carruth18eadd922014-04-18 10:50:32 +0000545
Chandler Carruthbf71a342014-02-06 04:37:03 +0000546}