blob: 05757e1e2f5830b279479152c15433310369af03 [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 Carruthc00a7ff2014-04-28 11:10:23 +000078void LazyCallGraph::Node::insertEdgeInternal(Function &Callee) {
79 CalleeIndexMap.insert(std::make_pair(&Callee, Callees.size()));
80 if (Node *N = G->lookup(Callee))
81 Callees.push_back(N);
82 else
83 Callees.push_back(&Callee);
84}
85
Chandler Carruthaa839b22014-04-27 01:59:50 +000086void LazyCallGraph::Node::removeEdgeInternal(Function &Callee) {
87 auto IndexMapI = CalleeIndexMap.find(&Callee);
88 assert(IndexMapI != CalleeIndexMap.end() &&
89 "Callee not in the callee set for this caller?");
90
91 Callees.erase(Callees.begin() + IndexMapI->second);
92 CalleeIndexMap.erase(IndexMapI);
93}
94
Chandler Carruth2174f442014-04-18 20:44:16 +000095LazyCallGraph::LazyCallGraph(Module &M) : NextDFSNumber(0) {
Chandler Carruth99b756d2014-04-21 05:04:24 +000096 DEBUG(dbgs() << "Building CG for module: " << M.getModuleIdentifier()
97 << "\n");
Chandler Carruthb9e2f8c2014-03-09 12:20:34 +000098 for (Function &F : M)
99 if (!F.isDeclaration() && !F.hasLocalLinkage())
Chandler Carruth0b623ba2014-04-23 04:00:17 +0000100 if (EntryIndexMap.insert(std::make_pair(&F, EntryNodes.size())).second) {
Chandler Carruth99b756d2014-04-21 05:04:24 +0000101 DEBUG(dbgs() << " Adding '" << F.getName()
102 << "' to entry set of the graph.\n");
Chandler Carruthb9e2f8c2014-03-09 12:20:34 +0000103 EntryNodes.push_back(&F);
Chandler Carruth99b756d2014-04-21 05:04:24 +0000104 }
Chandler Carruthbf71a342014-02-06 04:37:03 +0000105
106 // Now add entry nodes for functions reachable via initializers to globals.
107 SmallVector<Constant *, 16> Worklist;
108 SmallPtrSet<Constant *, 16> Visited;
Chandler Carruthb9e2f8c2014-03-09 12:20:34 +0000109 for (GlobalVariable &GV : M.globals())
110 if (GV.hasInitializer())
111 if (Visited.insert(GV.getInitializer()))
112 Worklist.push_back(GV.getInitializer());
Chandler Carruthbf71a342014-02-06 04:37:03 +0000113
Chandler Carruth99b756d2014-04-21 05:04:24 +0000114 DEBUG(dbgs() << " Adding functions referenced by global initializers to the "
115 "entry set.\n");
Chandler Carruth0b623ba2014-04-23 04:00:17 +0000116 findCallees(Worklist, Visited, EntryNodes, EntryIndexMap);
Chandler Carruth18eadd922014-04-18 10:50:32 +0000117
118 for (auto &Entry : EntryNodes)
119 if (Function *F = Entry.dyn_cast<Function *>())
Chandler Carruth90821c22014-04-26 09:45:55 +0000120 SCCEntryNodes.push_back(F);
Chandler Carruth18eadd922014-04-18 10:50:32 +0000121 else
Chandler Carruth90821c22014-04-26 09:45:55 +0000122 SCCEntryNodes.push_back(&Entry.get<Node *>()->getFunction());
Chandler Carruthbf71a342014-02-06 04:37:03 +0000123}
124
Chandler Carruthbf71a342014-02-06 04:37:03 +0000125LazyCallGraph::LazyCallGraph(LazyCallGraph &&G)
Chandler Carruth2174f442014-04-18 20:44:16 +0000126 : BPA(std::move(G.BPA)), NodeMap(std::move(G.NodeMap)),
127 EntryNodes(std::move(G.EntryNodes)),
Chandler Carruth0b623ba2014-04-23 04:00:17 +0000128 EntryIndexMap(std::move(G.EntryIndexMap)), SCCBPA(std::move(G.SCCBPA)),
Chandler Carruth18eadd922014-04-18 10:50:32 +0000129 SCCMap(std::move(G.SCCMap)), LeafSCCs(std::move(G.LeafSCCs)),
130 DFSStack(std::move(G.DFSStack)),
Chandler Carruth2174f442014-04-18 20:44:16 +0000131 SCCEntryNodes(std::move(G.SCCEntryNodes)),
132 NextDFSNumber(G.NextDFSNumber) {
Chandler Carruthd8d865e2014-04-18 11:02:33 +0000133 updateGraphPtrs();
134}
135
136LazyCallGraph &LazyCallGraph::operator=(LazyCallGraph &&G) {
137 BPA = std::move(G.BPA);
Chandler Carruth2174f442014-04-18 20:44:16 +0000138 NodeMap = std::move(G.NodeMap);
Chandler Carruthd8d865e2014-04-18 11:02:33 +0000139 EntryNodes = std::move(G.EntryNodes);
Chandler Carruth0b623ba2014-04-23 04:00:17 +0000140 EntryIndexMap = std::move(G.EntryIndexMap);
Chandler Carruthd8d865e2014-04-18 11:02:33 +0000141 SCCBPA = std::move(G.SCCBPA);
142 SCCMap = std::move(G.SCCMap);
143 LeafSCCs = std::move(G.LeafSCCs);
144 DFSStack = std::move(G.DFSStack);
145 SCCEntryNodes = std::move(G.SCCEntryNodes);
Chandler Carruth2174f442014-04-18 20:44:16 +0000146 NextDFSNumber = G.NextDFSNumber;
Chandler Carruthd8d865e2014-04-18 11:02:33 +0000147 updateGraphPtrs();
148 return *this;
149}
150
Chandler Carruthaa839b22014-04-27 01:59:50 +0000151void LazyCallGraph::SCC::insert(Node &N) {
Chandler Carruth8f92d6d2014-04-26 01:03:46 +0000152 N.DFSNumber = N.LowLink = -1;
153 Nodes.push_back(&N);
Chandler Carruthaa839b22014-04-27 01:59:50 +0000154 G->SCCMap[&N] = this;
Chandler Carruth8f92d6d2014-04-26 01:03:46 +0000155}
156
Chandler Carruthaa839b22014-04-27 01:59:50 +0000157void LazyCallGraph::SCC::removeInterSCCEdge(Node &CallerN, Node &CalleeN) {
158 // First remove it from the node.
159 CallerN.removeEdgeInternal(CalleeN.getFunction());
160
161 assert(G->SCCMap.lookup(&CallerN) == this &&
162 "The caller must be a member of this SCC.");
163
164 SCC &CalleeC = *G->SCCMap.lookup(&CalleeN);
165 assert(&CalleeC != this &&
166 "This API only supports the rmoval of inter-SCC edges.");
167
168 assert(std::find(G->LeafSCCs.begin(), G->LeafSCCs.end(), this) ==
169 G->LeafSCCs.end() &&
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000170 "Cannot have a leaf SCC caller with a different SCC callee.");
171
172 bool HasOtherCallToCalleeC = false;
173 bool HasOtherCallOutsideSCC = false;
174 for (Node *N : *this) {
Chandler Carruthaa839b22014-04-27 01:59:50 +0000175 for (Node &OtherCalleeN : *N) {
176 SCC &OtherCalleeC = *G->SCCMap.lookup(&OtherCalleeN);
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000177 if (&OtherCalleeC == &CalleeC) {
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000178 HasOtherCallToCalleeC = true;
179 break;
180 }
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000181 if (&OtherCalleeC != this)
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000182 HasOtherCallOutsideSCC = true;
183 }
184 if (HasOtherCallToCalleeC)
185 break;
186 }
187 // Because the SCCs form a DAG, deleting such an edge cannot change the set
188 // of SCCs in the graph. However, it may cut an edge of the SCC DAG, making
189 // the caller no longer a parent of the callee. Walk the other call edges
190 // in the caller to tell.
191 if (!HasOtherCallToCalleeC) {
Chandler Carruth493e0a62014-04-24 09:22:31 +0000192 bool Removed = CalleeC.ParentSCCs.erase(this);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000193 (void)Removed;
194 assert(Removed &&
195 "Did not find the caller SCC in the callee SCC's parent list!");
196
197 // It may orphan an SCC if it is the last edge reaching it, but that does
198 // not violate any invariants of the graph.
199 if (CalleeC.ParentSCCs.empty())
Chandler Carruthaa839b22014-04-27 01:59:50 +0000200 DEBUG(dbgs() << "LCG: Update removing " << CallerN.getFunction().getName()
201 << " -> " << CalleeN.getFunction().getName()
202 << " edge orphaned the callee's SCC!\n");
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000203 }
204
205 // It may make the Caller SCC a leaf SCC.
206 if (!HasOtherCallOutsideSCC)
Chandler Carruthaa839b22014-04-27 01:59:50 +0000207 G->LeafSCCs.push_back(this);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000208}
209
Chandler Carruthaca48d02014-04-26 09:06:53 +0000210void LazyCallGraph::SCC::internalDFS(
Chandler Carruthaca48d02014-04-26 09:06:53 +0000211 SmallVectorImpl<std::pair<Node *, Node::iterator>> &DFSStack,
212 SmallVectorImpl<Node *> &PendingSCCStack, Node *N,
213 SmallVectorImpl<SCC *> &ResultSCCs) {
214 Node::iterator I = N->begin();
215 N->LowLink = N->DFSNumber = 1;
216 int NextDFSNumber = 2;
217 for (;;) {
218 assert(N->DFSNumber != 0 && "We should always assign a DFS number "
219 "before processing a node.");
220
221 // We simulate recursion by popping out of the nested loop and continuing.
222 Node::iterator E = N->end();
223 while (I != E) {
224 Node &ChildN = *I;
Chandler Carruthaa839b22014-04-27 01:59:50 +0000225 if (SCC *ChildSCC = G->SCCMap.lookup(&ChildN)) {
Chandler Carruthaca48d02014-04-26 09:06:53 +0000226 // Check if we have reached a node in the new (known connected) set of
227 // this SCC. If so, the entire stack is necessarily in that set and we
228 // can re-start.
229 if (ChildSCC == this) {
Chandler Carruthaa839b22014-04-27 01:59:50 +0000230 insert(*N);
Chandler Carruthaca48d02014-04-26 09:06:53 +0000231 while (!PendingSCCStack.empty())
Chandler Carruthaa839b22014-04-27 01:59:50 +0000232 insert(*PendingSCCStack.pop_back_val());
Chandler Carruthaca48d02014-04-26 09:06:53 +0000233 while (!DFSStack.empty())
Chandler Carruthaa839b22014-04-27 01:59:50 +0000234 insert(*DFSStack.pop_back_val().first);
Chandler Carruthaca48d02014-04-26 09:06:53 +0000235 return;
236 }
237
238 // If this child isn't currently in this SCC, no need to process it.
239 // However, we do need to remove this SCC from its SCC's parent set.
240 ChildSCC->ParentSCCs.erase(this);
241 ++I;
242 continue;
243 }
244
245 if (ChildN.DFSNumber == 0) {
246 // Mark that we should start at this child when next this node is the
247 // top of the stack. We don't start at the next child to ensure this
248 // child's lowlink is reflected.
249 DFSStack.push_back(std::make_pair(N, I));
250
251 // Continue, resetting to the child node.
252 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++;
253 N = &ChildN;
254 I = ChildN.begin();
255 E = ChildN.end();
256 continue;
257 }
258
259 // Track the lowest link of the childen, if any are still in the stack.
260 // Any child not on the stack will have a LowLink of -1.
261 assert(ChildN.LowLink != 0 &&
262 "Low-link must not be zero with a non-zero DFS number.");
263 if (ChildN.LowLink >= 0 && ChildN.LowLink < N->LowLink)
264 N->LowLink = ChildN.LowLink;
265 ++I;
266 }
267
268 if (N->LowLink == N->DFSNumber) {
Chandler Carruthaa839b22014-04-27 01:59:50 +0000269 ResultSCCs.push_back(G->formSCC(N, PendingSCCStack));
Chandler Carruthaca48d02014-04-26 09:06:53 +0000270 if (DFSStack.empty())
271 return;
272 } else {
273 // At this point we know that N cannot ever be an SCC root. Its low-link
274 // is not its dfs-number, and we've processed all of its children. It is
275 // just sitting here waiting until some node further down the stack gets
276 // low-link == dfs-number and pops it off as well. Move it to the pending
277 // stack which is pulled into the next SCC to be formed.
278 PendingSCCStack.push_back(N);
279
280 assert(!DFSStack.empty() && "We shouldn't have an empty stack!");
281 }
282
283 N = DFSStack.back().first;
284 I = DFSStack.back().second;
285 DFSStack.pop_back();
286 }
287}
288
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000289SmallVector<LazyCallGraph::SCC *, 1>
Chandler Carruthaa839b22014-04-27 01:59:50 +0000290LazyCallGraph::SCC::removeIntraSCCEdge(Node &CallerN,
291 Node &CalleeN) {
292 // First remove it from the node.
293 CallerN.removeEdgeInternal(CalleeN.getFunction());
294
Chandler Carruth3f5f5fe2014-04-28 10:49:06 +0000295 // We return a list of the resulting *new* SCCs in postorder.
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000296 SmallVector<SCC *, 1> ResultSCCs;
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000297
Chandler Carrutha7205b62014-04-26 03:36:37 +0000298 // Direct recursion doesn't impact the SCC graph at all.
Chandler Carruthaa839b22014-04-27 01:59:50 +0000299 if (&CallerN == &CalleeN)
Chandler Carrutha7205b62014-04-26 03:36:37 +0000300 return ResultSCCs;
301
Chandler Carruth770060d2014-04-25 09:08:05 +0000302 // The worklist is every node in the original SCC.
303 SmallVector<Node *, 1> Worklist;
304 Worklist.swap(Nodes);
305 for (Node *N : Worklist) {
Chandler Carruth2e6ef0e2014-04-25 09:08:10 +0000306 // The nodes formerly in this SCC are no longer in any SCC.
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000307 N->DFSNumber = 0;
308 N->LowLink = 0;
Chandler Carruthaa839b22014-04-27 01:59:50 +0000309 G->SCCMap.erase(N);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000310 }
Chandler Carrutha7205b62014-04-26 03:36:37 +0000311 assert(Worklist.size() > 1 && "We have to have at least two nodes to have an "
312 "edge between them that is within the SCC.");
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000313
314 // The callee can already reach every node in this SCC (by definition). It is
315 // the only node we know will stay inside this SCC. Everything which
316 // transitively reaches Callee will also remain in the SCC. To model this we
317 // incrementally add any chain of nodes which reaches something in the new
318 // node set to the new node set. This short circuits one side of the Tarjan's
319 // walk.
Chandler Carruthaa839b22014-04-27 01:59:50 +0000320 insert(CalleeN);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000321
Chandler Carruthaca48d02014-04-26 09:06:53 +0000322 // We're going to do a full mini-Tarjan's walk using a local stack here.
323 SmallVector<std::pair<Node *, Node::iterator>, 4> DFSStack;
324 SmallVector<Node *, 4> PendingSCCStack;
325 do {
326 Node *N = Worklist.pop_back_val();
327 if (N->DFSNumber == 0)
Chandler Carruthaa839b22014-04-27 01:59:50 +0000328 internalDFS(DFSStack, PendingSCCStack, N, ResultSCCs);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000329
Chandler Carruthaca48d02014-04-26 09:06:53 +0000330 assert(DFSStack.empty() && "Didn't flush the entire DFS stack!");
331 assert(PendingSCCStack.empty() && "Didn't flush all pending SCC nodes!");
332 } while (!Worklist.empty());
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000333
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000334 // Now we need to reconnect the current SCC to the graph.
335 bool IsLeafSCC = true;
Chandler Carruth9ba77622014-04-25 09:52:44 +0000336 for (Node *N : Nodes) {
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000337 for (Node &ChildN : *N) {
Chandler Carruthaa839b22014-04-27 01:59:50 +0000338 SCC &ChildSCC = *G->SCCMap.lookup(&ChildN);
Chandler Carruth9ba77622014-04-25 09:52:44 +0000339 if (&ChildSCC == this)
340 continue;
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000341 ChildSCC.ParentSCCs.insert(this);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000342 IsLeafSCC = false;
343 }
344 }
345#ifndef NDEBUG
Chandler Carruth3f5f5fe2014-04-28 10:49:06 +0000346 if (!ResultSCCs.empty())
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000347 assert(!IsLeafSCC && "This SCC cannot be a leaf as we have split out new "
348 "SCCs by removing this edge.");
Chandler Carruthaa839b22014-04-27 01:59:50 +0000349 if (!std::any_of(G->LeafSCCs.begin(), G->LeafSCCs.end(),
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000350 [&](SCC *C) { return C == this; }))
351 assert(!IsLeafSCC && "This SCC cannot be a leaf as it already had child "
352 "SCCs before we removed this edge.");
353#endif
354 // If this SCC stopped being a leaf through this edge removal, remove it from
355 // the leaf SCC list.
Chandler Carruth3f5f5fe2014-04-28 10:49:06 +0000356 if (!IsLeafSCC && !ResultSCCs.empty())
Chandler Carruthaa839b22014-04-27 01:59:50 +0000357 G->LeafSCCs.erase(std::remove(G->LeafSCCs.begin(), G->LeafSCCs.end(), this),
358 G->LeafSCCs.end());
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000359
360 // Return the new list of SCCs.
361 return ResultSCCs;
362}
363
Chandler Carruthc00a7ff2014-04-28 11:10:23 +0000364void LazyCallGraph::insertEdge(Node &CallerN, Function &Callee) {
365 assert(SCCMap.empty() && DFSStack.empty() &&
366 "This method cannot be called after SCCs have been formed!");
367
368 return CallerN.insertEdgeInternal(Callee);
369}
370
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000371void LazyCallGraph::removeEdge(Node &CallerN, Function &Callee) {
Chandler Carruthaa839b22014-04-27 01:59:50 +0000372 assert(SCCMap.empty() && DFSStack.empty() &&
373 "This method cannot be called after SCCs have been formed!");
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000374
Chandler Carruthaa839b22014-04-27 01:59:50 +0000375 return CallerN.removeEdgeInternal(Callee);
Chandler Carruth9302fbf2014-04-23 11:03:03 +0000376}
377
Chandler Carruth2a898e02014-04-23 23:20:36 +0000378LazyCallGraph::Node &LazyCallGraph::insertInto(Function &F, Node *&MappedN) {
379 return *new (MappedN = BPA.Allocate()) Node(*this, F);
Chandler Carruthd8d865e2014-04-18 11:02:33 +0000380}
381
382void LazyCallGraph::updateGraphPtrs() {
Chandler Carruthb60cb312014-04-17 07:25:59 +0000383 // Process all nodes updating the graph pointers.
Chandler Carruthaa839b22014-04-27 01:59:50 +0000384 {
385 SmallVector<Node *, 16> Worklist;
386 for (auto &Entry : EntryNodes)
387 if (Node *EntryN = Entry.dyn_cast<Node *>())
388 Worklist.push_back(EntryN);
Chandler Carruthb60cb312014-04-17 07:25:59 +0000389
Chandler Carruthaa839b22014-04-27 01:59:50 +0000390 while (!Worklist.empty()) {
391 Node *N = Worklist.pop_back_val();
392 N->G = this;
393 for (auto &Callee : N->Callees)
394 if (Node *CalleeN = Callee.dyn_cast<Node *>())
395 Worklist.push_back(CalleeN);
396 }
397 }
398
399 // Process all SCCs updating the graph pointers.
400 {
401 SmallVector<SCC *, 16> Worklist(LeafSCCs.begin(), LeafSCCs.end());
402
403 while (!Worklist.empty()) {
404 SCC *C = Worklist.pop_back_val();
405 C->G = this;
406 Worklist.insert(Worklist.end(), C->ParentSCCs.begin(),
407 C->ParentSCCs.end());
408 }
Chandler Carruthb60cb312014-04-17 07:25:59 +0000409 }
Chandler Carruthbf71a342014-02-06 04:37:03 +0000410}
Chandler Carruthbf71a342014-02-06 04:37:03 +0000411
Chandler Carruth24553932014-04-24 11:05:20 +0000412LazyCallGraph::SCC *LazyCallGraph::formSCC(Node *RootN,
413 SmallVectorImpl<Node *> &NodeStack) {
Chandler Carruth3f9869a2014-04-23 06:09:03 +0000414 // The tail of the stack is the new SCC. Allocate the SCC and pop the stack
415 // into it.
Chandler Carruthaa839b22014-04-27 01:59:50 +0000416 SCC *NewSCC = new (SCCBPA.Allocate()) SCC(*this);
Chandler Carruth3f9869a2014-04-23 06:09:03 +0000417
Chandler Carruth24553932014-04-24 11:05:20 +0000418 while (!NodeStack.empty() && NodeStack.back()->DFSNumber > RootN->DFSNumber) {
Chandler Carruth8f92d6d2014-04-26 01:03:46 +0000419 assert(NodeStack.back()->LowLink >= RootN->LowLink &&
Chandler Carruthcace6622014-04-23 10:31:17 +0000420 "We cannot have a low link in an SCC lower than its root on the "
421 "stack!");
Chandler Carruthaa839b22014-04-27 01:59:50 +0000422 NewSCC->insert(*NodeStack.pop_back_val());
Chandler Carruthcace6622014-04-23 10:31:17 +0000423 }
Chandler Carruthaa839b22014-04-27 01:59:50 +0000424 NewSCC->insert(*RootN);
Chandler Carruth3f9869a2014-04-23 06:09:03 +0000425
426 // A final pass over all edges in the SCC (this remains linear as we only
427 // do this once when we build the SCC) to connect it to the parent sets of
428 // its children.
429 bool IsLeafSCC = true;
430 for (Node *SCCN : NewSCC->Nodes)
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000431 for (Node &SCCChildN : *SCCN) {
Chandler Carruthd52f8e02014-04-24 08:55:36 +0000432 if (SCCMap.lookup(&SCCChildN) == NewSCC)
Chandler Carruth3f9869a2014-04-23 06:09:03 +0000433 continue;
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000434 SCC &ChildSCC = *SCCMap.lookup(&SCCChildN);
435 ChildSCC.ParentSCCs.insert(NewSCC);
Chandler Carruth3f9869a2014-04-23 06:09:03 +0000436 IsLeafSCC = false;
437 }
438
439 // For the SCCs where we fine no child SCCs, add them to the leaf list.
440 if (IsLeafSCC)
441 LeafSCCs.push_back(NewSCC);
442
443 return NewSCC;
444}
445
Chandler Carruth18eadd922014-04-18 10:50:32 +0000446LazyCallGraph::SCC *LazyCallGraph::getNextSCCInPostOrder() {
Chandler Carruth5e2d70b2014-04-26 09:28:00 +0000447 Node *N;
448 Node::iterator I;
449 if (!DFSStack.empty()) {
450 N = DFSStack.back().first;
451 I = DFSStack.back().second;
452 DFSStack.pop_back();
453 } else {
Chandler Carruth18eadd922014-04-18 10:50:32 +0000454 // If we've handled all candidate entry nodes to the SCC forest, we're done.
Chandler Carruth90821c22014-04-26 09:45:55 +0000455 do {
456 if (SCCEntryNodes.empty())
457 return nullptr;
Chandler Carruth18eadd922014-04-18 10:50:32 +0000458
Chandler Carruth90821c22014-04-26 09:45:55 +0000459 N = &get(*SCCEntryNodes.pop_back_val());
460 } while (N->DFSNumber != 0);
Chandler Carruth5e2d70b2014-04-26 09:28:00 +0000461 I = N->begin();
462 N->LowLink = N->DFSNumber = 1;
Chandler Carruth09751bf2014-04-24 09:59:59 +0000463 NextDFSNumber = 2;
Chandler Carruth18eadd922014-04-18 10:50:32 +0000464 }
465
Chandler Carruth91dcf0f2014-04-24 21:19:30 +0000466 for (;;) {
Chandler Carruth24553932014-04-24 11:05:20 +0000467 assert(N->DFSNumber != 0 && "We should always assign a DFS number "
468 "before placing a node onto the stack.");
469
Chandler Carruth5e2d70b2014-04-26 09:28:00 +0000470 Node::iterator E = N->end();
471 while (I != E) {
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000472 Node &ChildN = *I;
473 if (ChildN.DFSNumber == 0) {
Chandler Carruthcace6622014-04-23 10:31:17 +0000474 // Mark that we should start at this child when next this node is the
475 // top of the stack. We don't start at the next child to ensure this
476 // child's lowlink is reflected.
Chandler Carruth5e2d70b2014-04-26 09:28:00 +0000477 DFSStack.push_back(std::make_pair(N, N->begin()));
Chandler Carruth18eadd922014-04-18 10:50:32 +0000478
Chandler Carruthcace6622014-04-23 10:31:17 +0000479 // Recurse onto this node via a tail call.
Chandler Carruth09751bf2014-04-24 09:59:59 +0000480 assert(!SCCMap.count(&ChildN) &&
481 "Found a node with 0 DFS number but already in an SCC!");
482 ChildN.LowLink = ChildN.DFSNumber = NextDFSNumber++;
Chandler Carruth5e2d70b2014-04-26 09:28:00 +0000483 N = &ChildN;
484 I = ChildN.begin();
485 E = ChildN.end();
486 continue;
Chandler Carruthcace6622014-04-23 10:31:17 +0000487 }
488
489 // Track the lowest link of the childen, if any are still in the stack.
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000490 assert(ChildN.LowLink != 0 &&
Chandler Carruthb4a04da2014-04-23 22:28:13 +0000491 "Low-link must not be zero with a non-zero DFS number.");
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000492 if (ChildN.LowLink >= 0 && ChildN.LowLink < N->LowLink)
493 N->LowLink = ChildN.LowLink;
Chandler Carruth5e2d70b2014-04-26 09:28:00 +0000494 ++I;
Chandler Carruth18eadd922014-04-18 10:50:32 +0000495 }
496
Chandler Carruthcace6622014-04-23 10:31:17 +0000497 if (N->LowLink == N->DFSNumber)
498 // Form the new SCC out of the top of the DFS stack.
Chandler Carruth24553932014-04-24 11:05:20 +0000499 return formSCC(N, PendingSCCStack);
Chandler Carruth18eadd922014-04-18 10:50:32 +0000500
Chandler Carruth24553932014-04-24 11:05:20 +0000501 // At this point we know that N cannot ever be an SCC root. Its low-link
502 // is not its dfs-number, and we've processed all of its children. It is
503 // just sitting here waiting until some node further down the stack gets
504 // low-link == dfs-number and pops it off as well. Move it to the pending
505 // stack which is pulled into the next SCC to be formed.
506 PendingSCCStack.push_back(N);
Chandler Carruth5e2d70b2014-04-26 09:28:00 +0000507
508 assert(!DFSStack.empty() && "We never found a viable root!");
509 N = DFSStack.back().first;
510 I = DFSStack.back().second;
511 DFSStack.pop_back();
Chandler Carruth91dcf0f2014-04-24 21:19:30 +0000512 }
Chandler Carruth18eadd922014-04-18 10:50:32 +0000513}
514
Chandler Carruthbf71a342014-02-06 04:37:03 +0000515char LazyCallGraphAnalysis::PassID;
516
517LazyCallGraphPrinterPass::LazyCallGraphPrinterPass(raw_ostream &OS) : OS(OS) {}
518
519static void printNodes(raw_ostream &OS, LazyCallGraph::Node &N,
520 SmallPtrSetImpl<LazyCallGraph::Node *> &Printed) {
521 // Recurse depth first through the nodes.
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000522 for (LazyCallGraph::Node &ChildN : N)
523 if (Printed.insert(&ChildN))
524 printNodes(OS, ChildN, Printed);
Chandler Carruthbf71a342014-02-06 04:37:03 +0000525
526 OS << " Call edges in function: " << N.getFunction().getName() << "\n";
527 for (LazyCallGraph::iterator I = N.begin(), E = N.end(); I != E; ++I)
528 OS << " -> " << I->getFunction().getName() << "\n";
529
530 OS << "\n";
531}
532
Chandler Carruth18eadd922014-04-18 10:50:32 +0000533static void printSCC(raw_ostream &OS, LazyCallGraph::SCC &SCC) {
534 ptrdiff_t SCCSize = std::distance(SCC.begin(), SCC.end());
535 OS << " SCC with " << SCCSize << " functions:\n";
536
537 for (LazyCallGraph::Node *N : SCC)
538 OS << " " << N->getFunction().getName() << "\n";
539
540 OS << "\n";
541}
542
Chandler Carruthe9b50612014-03-10 02:14:14 +0000543PreservedAnalyses LazyCallGraphPrinterPass::run(Module *M,
544 ModuleAnalysisManager *AM) {
Chandler Carruthbf71a342014-02-06 04:37:03 +0000545 LazyCallGraph &G = AM->getResult<LazyCallGraphAnalysis>(M);
546
Chandler Carruthe9b50612014-03-10 02:14:14 +0000547 OS << "Printing the call graph for module: " << M->getModuleIdentifier()
548 << "\n\n";
Chandler Carruthbf71a342014-02-06 04:37:03 +0000549
550 SmallPtrSet<LazyCallGraph::Node *, 16> Printed;
Chandler Carruthbd5d3082014-04-23 23:34:48 +0000551 for (LazyCallGraph::Node &N : G)
552 if (Printed.insert(&N))
553 printNodes(OS, N, Printed);
Chandler Carruthbf71a342014-02-06 04:37:03 +0000554
Chandler Carruth6a4fee82014-04-23 23:51:07 +0000555 for (LazyCallGraph::SCC &SCC : G.postorder_sccs())
556 printSCC(OS, SCC);
Chandler Carruth18eadd922014-04-18 10:50:32 +0000557
Chandler Carruthbf71a342014-02-06 04:37:03 +0000558 return PreservedAnalyses::all();
Chandler Carruth18eadd922014-04-18 10:50:32 +0000559
Chandler Carruthbf71a342014-02-06 04:37:03 +0000560}