blob: 9a661e24a57bae3cb347bc66de14c4c97e5bf6ea [file] [log] [blame]
Vikram S. Adveaaeee752002-07-30 22:06:40 +00001//===- TopDownClosure.cpp - Compute the top-down interprocedure closure ---===//
John Criswellb576c942003-10-20 19:43:21 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Vikram S. Adveaaeee752002-07-30 22:06:40 +00009//
10// This file implements the TDDataStructures class, which represents the
11// Top-down Interprocedural closure of the data structure graph over the
12// program. This is useful (but not strictly necessary?) for applications
13// like pointer analysis.
14//
15//===----------------------------------------------------------------------===//
16
Chris Lattner4dabb2c2004-07-07 06:32:21 +000017#include "llvm/Analysis/DataStructure/DataStructure.h"
Vikram S. Adveaaeee752002-07-30 22:06:40 +000018#include "llvm/Module.h"
19#include "llvm/DerivedTypes.h"
Chris Lattner4dabb2c2004-07-07 06:32:21 +000020#include "llvm/Analysis/DataStructure/DSGraph.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000021#include "llvm/Support/Debug.h"
22#include "llvm/ADT/Statistic.h"
Chris Lattner9a927292003-11-12 23:11:14 +000023using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000024
Chris Lattner4923d1b2003-02-03 22:51:28 +000025namespace {
26 RegisterAnalysis<TDDataStructures> // Register the pass
Chris Lattner312edd32003-06-28 22:14:55 +000027 Y("tddatastructure", "Top-down Data Structure Analysis");
Chris Lattnera8da51b2003-07-02 04:39:44 +000028
29 Statistic<> NumTDInlines("tddatastructures", "Number of graphs inlined");
30}
31
Chris Lattner3b0a9be2003-09-20 22:24:04 +000032void TDDataStructures::markReachableFunctionsExternallyAccessible(DSNode *N,
33 hash_set<DSNode*> &Visited) {
Chris Lattner11fc9302003-09-20 23:58:33 +000034 if (!N || Visited.count(N)) return;
Chris Lattner3b0a9be2003-09-20 22:24:04 +000035 Visited.insert(N);
36
37 for (unsigned i = 0, e = N->getNumLinks(); i != e; ++i) {
38 DSNodeHandle &NH = N->getLink(i*N->getPointerSize());
39 if (DSNode *NN = NH.getNode()) {
40 const std::vector<GlobalValue*> &Globals = NN->getGlobals();
41 for (unsigned G = 0, e = Globals.size(); G != e; ++G)
42 if (Function *F = dyn_cast<Function>(Globals[G]))
43 ArgsRemainIncomplete.insert(F);
44
45 markReachableFunctionsExternallyAccessible(NN, Visited);
46 }
47 }
Chris Lattner4923d1b2003-02-03 22:51:28 +000048}
Vikram S. Adveaaeee752002-07-30 22:06:40 +000049
Chris Lattner3b0a9be2003-09-20 22:24:04 +000050
Chris Lattneraa0b4682002-11-09 21:12:07 +000051// run - Calculate the top down data structure graphs for each function in the
52// program.
53//
Chris Lattnerb12914b2004-09-20 04:48:05 +000054bool TDDataStructures::runOnModule(Module &M) {
Chris Lattneraa0b4682002-11-09 21:12:07 +000055 BUDataStructures &BU = getAnalysis<BUDataStructures>();
Chris Lattnerf4f62272005-03-19 22:23:45 +000056 GlobalECs = BU.getGlobalECs();
57 GlobalsGraph = new DSGraph(BU.getGlobalsGraph(), GlobalECs);
Chris Lattner11fc9302003-09-20 23:58:33 +000058 GlobalsGraph->setPrintAuxCalls();
Chris Lattneraa0b4682002-11-09 21:12:07 +000059
Chris Lattnera8da51b2003-07-02 04:39:44 +000060 // Figure out which functions must not mark their arguments complete because
Chris Lattner3b0a9be2003-09-20 22:24:04 +000061 // they are accessible outside this compilation unit. Currently, these
62 // arguments are functions which are reachable by global variables in the
63 // globals graph.
Chris Lattner6d8f3dc2004-01-28 03:12:48 +000064 const DSScalarMap &GGSM = GlobalsGraph->getScalarMap();
Chris Lattner3b0a9be2003-09-20 22:24:04 +000065 hash_set<DSNode*> Visited;
Misha Brukman96a8bd72004-04-29 04:05:30 +000066 for (DSScalarMap::global_iterator I=GGSM.global_begin(), E=GGSM.global_end();
Chris Lattner3b0a9be2003-09-20 22:24:04 +000067 I != E; ++I)
Misha Brukman96a8bd72004-04-29 04:05:30 +000068 markReachableFunctionsExternallyAccessible(GGSM.find(*I)->second.getNode(),
69 Visited);
Chris Lattner11fc9302003-09-20 23:58:33 +000070
71 // Loop over unresolved call nodes. Any functions passed into (but not
Chris Lattnerf325e392004-01-27 21:53:14 +000072 // returned!) from unresolvable call nodes may be invoked outside of the
Chris Lattner11fc9302003-09-20 23:58:33 +000073 // current module.
Chris Lattnera9548d92005-01-30 23:51:02 +000074 for (DSGraph::afc_iterator I = GlobalsGraph->afc_begin(),
75 E = GlobalsGraph->afc_end(); I != E; ++I)
76 for (unsigned arg = 0, e = I->getNumPtrArgs(); arg != e; ++arg)
77 markReachableFunctionsExternallyAccessible(I->getPtrArg(arg).getNode(),
Chris Lattner11fc9302003-09-20 23:58:33 +000078 Visited);
Chris Lattner3b0a9be2003-09-20 22:24:04 +000079 Visited.clear();
80
81 // Functions without internal linkage also have unknown incoming arguments!
Chris Lattnera8da51b2003-07-02 04:39:44 +000082 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
Chris Lattner3b0a9be2003-09-20 22:24:04 +000083 if (!I->isExternal() && !I->hasInternalLinkage())
Chris Lattnera8da51b2003-07-02 04:39:44 +000084 ArgsRemainIncomplete.insert(I);
85
Chris Lattner6c874612003-07-02 23:42:48 +000086 // We want to traverse the call graph in reverse post-order. To do this, we
87 // calculate a post-order traversal, then reverse it.
88 hash_set<DSGraph*> VisitedGraph;
89 std::vector<DSGraph*> PostOrder;
90 const BUDataStructures::ActualCalleesTy &ActualCallees =
91 getAnalysis<BUDataStructures>().getActualCallees();
92
Chris Lattneraa0b4682002-11-09 21:12:07 +000093 // Calculate top-down from main...
94 if (Function *F = M.getMainFunction())
Chris Lattner61691c52003-07-02 23:44:15 +000095 ComputePostOrder(*F, VisitedGraph, PostOrder, ActualCallees);
Chris Lattneraa0b4682002-11-09 21:12:07 +000096
Vikram S. Adve03e19dd2003-07-16 21:40:28 +000097 // Next calculate the graphs for each unreachable function...
Chris Lattnera8da51b2003-07-02 04:39:44 +000098 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
Chris Lattner6c874612003-07-02 23:42:48 +000099 ComputePostOrder(*I, VisitedGraph, PostOrder, ActualCallees);
100
101 VisitedGraph.clear(); // Release memory!
102
103 // Visit each of the graphs in reverse post-order now!
104 while (!PostOrder.empty()) {
105 inlineGraphIntoCallees(*PostOrder.back());
106 PostOrder.pop_back();
107 }
Chris Lattneraa0b4682002-11-09 21:12:07 +0000108
Chris Lattnera8da51b2003-07-02 04:39:44 +0000109 ArgsRemainIncomplete.clear();
Chris Lattnerc3f5f772004-02-08 01:51:48 +0000110 GlobalsGraph->removeTriviallyDeadNodes();
111
Chris Lattneraa0b4682002-11-09 21:12:07 +0000112 return false;
113}
114
Vikram S. Adveaaeee752002-07-30 22:06:40 +0000115
Chris Lattner7a211632002-11-08 21:28:37 +0000116DSGraph &TDDataStructures::getOrCreateDSGraph(Function &F) {
117 DSGraph *&G = DSInfo[&F];
118 if (G == 0) { // Not created yet? Clone BU graph...
Chris Lattnerf4f62272005-03-19 22:23:45 +0000119 G = new DSGraph(getAnalysis<BUDataStructures>().getDSGraph(F), GlobalECs);
Chris Lattner7a211632002-11-08 21:28:37 +0000120 G->getAuxFunctionCalls().clear();
Chris Lattner24d80072003-02-04 00:59:32 +0000121 G->setPrintAuxCalls();
Chris Lattneraa0b4682002-11-09 21:12:07 +0000122 G->setGlobalsGraph(GlobalsGraph);
Chris Lattner7a211632002-11-08 21:28:37 +0000123 }
124 return *G;
125}
Vikram S. Adve26b98262002-10-20 21:41:02 +0000126
Chris Lattnerdea81462003-06-29 22:37:07 +0000127
Chris Lattner18f07a12003-07-01 16:28:11 +0000128void TDDataStructures::ComputePostOrder(Function &F,hash_set<DSGraph*> &Visited,
129 std::vector<DSGraph*> &PostOrder,
130 const BUDataStructures::ActualCalleesTy &ActualCallees) {
131 if (F.isExternal()) return;
132 DSGraph &G = getOrCreateDSGraph(F);
133 if (Visited.count(&G)) return;
134 Visited.insert(&G);
135
136 // Recursively traverse all of the callee graphs.
Chris Lattnera9548d92005-01-30 23:51:02 +0000137 for (DSGraph::fc_iterator CI = G.fc_begin(), E = G.fc_end(); CI != E; ++CI) {
138 Instruction *CallI = CI->getCallSite().getInstruction();
Chris Lattner18f07a12003-07-01 16:28:11 +0000139 std::pair<BUDataStructures::ActualCalleesTy::const_iterator,
140 BUDataStructures::ActualCalleesTy::const_iterator>
Chris Lattner808a7ae2003-09-20 16:34:13 +0000141 IP = ActualCallees.equal_range(CallI);
Vikram S. Adveaaeee752002-07-30 22:06:40 +0000142
Chris Lattner18f07a12003-07-01 16:28:11 +0000143 for (BUDataStructures::ActualCalleesTy::const_iterator I = IP.first;
144 I != IP.second; ++I)
145 ComputePostOrder(*I->second, Visited, PostOrder, ActualCallees);
146 }
Chris Lattner198be222002-10-21 19:47:18 +0000147
Chris Lattner18f07a12003-07-01 16:28:11 +0000148 PostOrder.push_back(&G);
149}
150
151
152
Chris Lattner18f07a12003-07-01 16:28:11 +0000153
Chris Lattner6c874612003-07-02 23:42:48 +0000154
155// releaseMemory - If the pass pipeline is done with this pass, we can release
156// our memory... here...
157//
158// FIXME: This should be releaseMemory and will work fine, except that LoadVN
159// has no way to extend the lifetime of the pass, which screws up ds-aa.
160//
161void TDDataStructures::releaseMyMemory() {
162 for (hash_map<Function*, DSGraph*>::iterator I = DSInfo.begin(),
163 E = DSInfo.end(); I != E; ++I) {
164 I->second->getReturnNodes().erase(I->first);
165 if (I->second->getReturnNodes().empty())
166 delete I->second;
Chris Lattner18f07a12003-07-01 16:28:11 +0000167 }
Chris Lattner18f07a12003-07-01 16:28:11 +0000168
Chris Lattner6c874612003-07-02 23:42:48 +0000169 // Empty map so next time memory is released, data structures are not
170 // re-deleted.
171 DSInfo.clear();
172 delete GlobalsGraph;
173 GlobalsGraph = 0;
174}
Chris Lattner18f07a12003-07-01 16:28:11 +0000175
176void TDDataStructures::inlineGraphIntoCallees(DSGraph &Graph) {
Chris Lattner4f2cfc02003-02-10 18:16:36 +0000177 // Recompute the Incomplete markers and eliminate unreachable nodes.
178 Graph.maskIncompleteMarkers();
Chris Lattnera8da51b2003-07-02 04:39:44 +0000179
180 // If any of the functions has incomplete incoming arguments, don't mark any
181 // of them as complete.
182 bool HasIncompleteArgs = false;
Chris Lattnera5f47ea2005-03-15 16:55:04 +0000183 for (DSGraph::retnodes_iterator I = Graph.retnodes_begin(),
184 E = Graph.retnodes_end(); I != E; ++I)
Chris Lattnera8da51b2003-07-02 04:39:44 +0000185 if (ArgsRemainIncomplete.count(I->first)) {
186 HasIncompleteArgs = true;
187 break;
188 }
Vikram S. Adve03e19dd2003-07-16 21:40:28 +0000189
190 // Now fold in the necessary globals from the GlobalsGraph. A global G
191 // must be folded in if it exists in the current graph (i.e., is not dead)
192 // and it was not inlined from any of my callers. If it was inlined from
193 // a caller, it would have been fully consistent with the GlobalsGraph
194 // in the caller so folding in is not necessary. Otherwise, this node came
195 // solely from this function's BU graph and so has to be made consistent.
196 //
197 Graph.updateFromGlobalGraph();
198
199 // Recompute the Incomplete markers. Depends on whether args are complete
Chris Lattnera8da51b2003-07-02 04:39:44 +0000200 unsigned Flags
201 = HasIncompleteArgs ? DSGraph::MarkFormalArgs : DSGraph::IgnoreFormalArgs;
Chris Lattner4f2cfc02003-02-10 18:16:36 +0000202 Graph.markIncompleteNodes(Flags | DSGraph::IgnoreGlobals);
Vikram S. Adve03e19dd2003-07-16 21:40:28 +0000203
204 // Delete dead nodes. Treat globals that are unreachable as dead also.
Chris Lattner4f2cfc02003-02-10 18:16:36 +0000205 Graph.removeDeadNodes(DSGraph::RemoveUnreachableGlobals);
206
Vikram S. Adve03e19dd2003-07-16 21:40:28 +0000207 // We are done with computing the current TD Graph! Now move on to
208 // inlining the current graph into the graphs for its callees, if any.
209 //
Chris Lattnera9548d92005-01-30 23:51:02 +0000210 if (Graph.fc_begin() == Graph.fc_end()) {
Chris Lattner18f07a12003-07-01 16:28:11 +0000211 DEBUG(std::cerr << " [TD] No callees for: " << Graph.getFunctionNames()
212 << "\n");
213 return;
214 }
215
Chris Lattner18f07a12003-07-01 16:28:11 +0000216 // Now that we have information about all of the callees, propagate the
Vikram S. Adve03e19dd2003-07-16 21:40:28 +0000217 // current graph into the callees. Clone only the reachable subgraph at
218 // each call-site, not the entire graph (even though the entire graph
219 // would be cloned only once, this should still be better on average).
Chris Lattner18f07a12003-07-01 16:28:11 +0000220 //
221 DEBUG(std::cerr << " [TD] Inlining '" << Graph.getFunctionNames() <<"' into "
Chris Lattnera9548d92005-01-30 23:51:02 +0000222 << Graph.getFunctionCalls().size() << " call nodes.\n");
Chris Lattner18f07a12003-07-01 16:28:11 +0000223
Chris Lattnera8da51b2003-07-02 04:39:44 +0000224 const BUDataStructures::ActualCalleesTy &ActualCallees =
225 getAnalysis<BUDataStructures>().getActualCallees();
Chris Lattner18f07a12003-07-01 16:28:11 +0000226
Chris Lattnerf325e392004-01-27 21:53:14 +0000227 // Loop over all the call sites and all the callees at each call site. Build
228 // a mapping from called DSGraph's to the call sites in this function that
229 // invoke them. This is useful because we can be more efficient if there are
230 // multiple call sites to the callees in the graph from this caller.
231 std::multimap<DSGraph*, std::pair<Function*, const DSCallSite*> > CallSites;
232
Chris Lattnera9548d92005-01-30 23:51:02 +0000233 for (DSGraph::fc_iterator CI = Graph.fc_begin(), E = Graph.fc_end();
234 CI != E; ++CI) {
235 Instruction *CallI = CI->getCallSite().getInstruction();
Vikram S. Adve03e19dd2003-07-16 21:40:28 +0000236 // For each function in the invoked function list at this call site...
Chris Lattnera8da51b2003-07-02 04:39:44 +0000237 std::pair<BUDataStructures::ActualCalleesTy::const_iterator,
Chris Lattnera9548d92005-01-30 23:51:02 +0000238 BUDataStructures::ActualCalleesTy::const_iterator>
239 IP = ActualCallees.equal_range(CallI);
Vikram S. Adve03e19dd2003-07-16 21:40:28 +0000240 // Loop over each actual callee at this call site
241 for (BUDataStructures::ActualCalleesTy::const_iterator I = IP.first;
242 I != IP.second; ++I) {
243 DSGraph& CalleeGraph = getDSGraph(*I->second);
Chris Lattnerd7be1882005-02-04 18:58:04 +0000244 if (&CalleeGraph != &Graph)
245 CallSites.insert(std::make_pair(&CalleeGraph,
246 std::make_pair(I->second, &*CI)));
Chris Lattnerf325e392004-01-27 21:53:14 +0000247 }
248 }
Vikram S. Adve03e19dd2003-07-16 21:40:28 +0000249
Chris Lattnerf325e392004-01-27 21:53:14 +0000250 // Now that we built the mapping, actually perform the inlining a callee graph
251 // at a time.
252 std::multimap<DSGraph*,std::pair<Function*,const DSCallSite*> >::iterator CSI;
253 for (CSI = CallSites.begin(); CSI != CallSites.end(); ) {
254 DSGraph &CalleeGraph = *CSI->first;
255 // Iterate through all of the call sites of this graph, cloning and merging
256 // any nodes required by the call.
257 ReachabilityCloner RC(CalleeGraph, Graph, DSGraph::StripModRefBits);
Chris Lattner18f07a12003-07-01 16:28:11 +0000258
Chris Lattnerf325e392004-01-27 21:53:14 +0000259 // Clone over any global nodes that appear in both graphs.
Chris Lattner6d8f3dc2004-01-28 03:12:48 +0000260 for (DSScalarMap::global_iterator
261 SI = CalleeGraph.getScalarMap().global_begin(),
262 SE = CalleeGraph.getScalarMap().global_end(); SI != SE; ++SI) {
263 DSScalarMap::const_iterator GI = Graph.getScalarMap().find(*SI);
264 if (GI != Graph.getScalarMap().end())
265 RC.merge(CalleeGraph.getNodeForValue(*SI), GI->second);
266 }
Chris Lattner0e744122002-10-17 04:26:54 +0000267
Chris Lattnerf325e392004-01-27 21:53:14 +0000268 // Loop over all of the distinct call sites in the caller of the callee.
269 for (; CSI != CallSites.end() && CSI->first == &CalleeGraph; ++CSI) {
270 Function &CF = *CSI->second.first;
271 const DSCallSite &CS = *CSI->second.second;
Chris Lattnera8da51b2003-07-02 04:39:44 +0000272 DEBUG(std::cerr << " [TD] Resolving arguments for callee graph '"
Vikram S. Adve03e19dd2003-07-16 21:40:28 +0000273 << CalleeGraph.getFunctionNames()
Chris Lattnerf325e392004-01-27 21:53:14 +0000274 << "': " << CF.getFunctionType()->getNumParams()
275 << " args\n at call site (DSCallSite*) 0x" << &CS << "\n");
Vikram S. Adve03e19dd2003-07-16 21:40:28 +0000276
Chris Lattnerf325e392004-01-27 21:53:14 +0000277 // Get the formal argument and return nodes for the called function and
278 // merge them with the cloned subgraph.
279 RC.mergeCallSite(CalleeGraph.getCallSiteForArguments(CF), CS);
Vikram S. Adve03e19dd2003-07-16 21:40:28 +0000280 ++NumTDInlines;
Chris Lattnera8da51b2003-07-02 04:39:44 +0000281 }
Chris Lattnere0fbd482003-02-09 18:42:43 +0000282 }
Chris Lattner18f07a12003-07-01 16:28:11 +0000283
284 DEBUG(std::cerr << " [TD] Done inlining into callees for: "
285 << Graph.getFunctionNames() << " [" << Graph.getGraphSize() << "+"
286 << Graph.getFunctionCalls().size() << "]\n");
Vikram S. Adveaaeee752002-07-30 22:06:40 +0000287}
Chris Lattner851b5342005-01-24 20:00:14 +0000288
289static const Function *getFnForValue(const Value *V) {
290 if (const Instruction *I = dyn_cast<Instruction>(V))
291 return I->getParent()->getParent();
292 else if (const Argument *A = dyn_cast<Argument>(V))
293 return A->getParent();
294 else if (const BasicBlock *BB = dyn_cast<BasicBlock>(V))
295 return BB->getParent();
296 return 0;
297}
298
299void TDDataStructures::deleteValue(Value *V) {
300 if (const Function *F = getFnForValue(V)) { // Function local value?
301 // If this is a function local value, just delete it from the scalar map!
302 getDSGraph(*F).getScalarMap().eraseIfExists(V);
303 return;
304 }
305
Chris Lattnercff8ac22005-01-31 00:10:45 +0000306 if (Function *F = dyn_cast<Function>(V)) {
Chris Lattner851b5342005-01-24 20:00:14 +0000307 assert(getDSGraph(*F).getReturnNodes().size() == 1 &&
308 "cannot handle scc's");
309 delete DSInfo[F];
310 DSInfo.erase(F);
311 return;
312 }
313
314 assert(!isa<GlobalVariable>(V) && "Do not know how to delete GV's yet!");
315}
316
317void TDDataStructures::copyValue(Value *From, Value *To) {
318 if (From == To) return;
319 if (const Function *F = getFnForValue(From)) { // Function local value?
320 // If this is a function local value, just delete it from the scalar map!
321 getDSGraph(*F).getScalarMap().copyScalarIfExists(From, To);
322 return;
323 }
324
325 if (Function *FromF = dyn_cast<Function>(From)) {
326 Function *ToF = cast<Function>(To);
327 assert(!DSInfo.count(ToF) && "New Function already exists!");
Chris Lattnerf4f62272005-03-19 22:23:45 +0000328 DSGraph *NG = new DSGraph(getDSGraph(*FromF), GlobalECs);
Chris Lattner851b5342005-01-24 20:00:14 +0000329 DSInfo[ToF] = NG;
330 assert(NG->getReturnNodes().size() == 1 && "Cannot copy SCC's yet!");
331
332 // Change the Function* is the returnnodes map to the ToF.
Chris Lattnera5f47ea2005-03-15 16:55:04 +0000333 DSNodeHandle Ret = NG->retnodes_begin()->second;
Chris Lattner851b5342005-01-24 20:00:14 +0000334 NG->getReturnNodes().clear();
335 NG->getReturnNodes()[ToF] = Ret;
336 return;
337 }
338
339 assert(!isa<GlobalVariable>(From) && "Do not know how to copy GV's yet!");
340}