blob: 117556940093043d4e99fabea6bc9fd69a23a290 [file] [log] [blame]
Vikram S. Adveaaeee752002-07-30 22:06:40 +00001//===- TopDownClosure.cpp - Compute the top-down interprocedure closure ---===//
2//
3// This file implements the TDDataStructures class, which represents the
4// Top-down Interprocedural closure of the data structure graph over the
5// program. This is useful (but not strictly necessary?) for applications
6// like pointer analysis.
7//
8//===----------------------------------------------------------------------===//
9
10#include "llvm/Analysis/DataStructure.h"
11#include "llvm/Module.h"
12#include "llvm/DerivedTypes.h"
Chris Lattnerfccd06f2002-10-01 22:33:50 +000013#include "Support/Statistic.h"
Chris Lattner18f07a12003-07-01 16:28:11 +000014#include "DSCallSiteIterator.h"
Vikram S. Adveaaeee752002-07-30 22:06:40 +000015
Chris Lattner4923d1b2003-02-03 22:51:28 +000016namespace {
17 RegisterAnalysis<TDDataStructures> // Register the pass
Chris Lattner312edd32003-06-28 22:14:55 +000018 Y("tddatastructure", "Top-down Data Structure Analysis");
Chris Lattnera8da51b2003-07-02 04:39:44 +000019
20 Statistic<> NumTDInlines("tddatastructures", "Number of graphs inlined");
21}
22
23/// FunctionHasCompleteArguments - This function returns true if it is safe not
24/// to mark arguments to the function complete.
25///
26/// FIXME: Need to check if all callers have been found, or rather if a
27/// funcpointer escapes!
28///
29static bool FunctionHasCompleteArguments(Function &F) {
30 return F.hasInternalLinkage();
Chris Lattner4923d1b2003-02-03 22:51:28 +000031}
Vikram S. Adveaaeee752002-07-30 22:06:40 +000032
Chris Lattneraa0b4682002-11-09 21:12:07 +000033// run - Calculate the top down data structure graphs for each function in the
34// program.
35//
36bool TDDataStructures::run(Module &M) {
37 BUDataStructures &BU = getAnalysis<BUDataStructures>();
Chris Lattner312edd32003-06-28 22:14:55 +000038 GlobalsGraph = new DSGraph(BU.getGlobalsGraph());
Chris Lattneraa0b4682002-11-09 21:12:07 +000039
Chris Lattnera8da51b2003-07-02 04:39:44 +000040 // Figure out which functions must not mark their arguments complete because
41 // they are accessible outside this compilation unit.
42 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
43 if (!FunctionHasCompleteArguments(*I))
44 ArgsRemainIncomplete.insert(I);
45
Chris Lattneraa0b4682002-11-09 21:12:07 +000046 // Calculate top-down from main...
47 if (Function *F = M.getMainFunction())
Chris Lattner18f07a12003-07-01 16:28:11 +000048 calculateGraphFrom(*F);
Chris Lattneraa0b4682002-11-09 21:12:07 +000049
50 // Next calculate the graphs for each function unreachable function...
Chris Lattnera8da51b2003-07-02 04:39:44 +000051 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
52 if (!I->isExternal() && !DSInfo.count(I))
Chris Lattner18f07a12003-07-01 16:28:11 +000053 calculateGraphFrom(*I);
Chris Lattneraa0b4682002-11-09 21:12:07 +000054
Chris Lattnera8da51b2003-07-02 04:39:44 +000055 ArgsRemainIncomplete.clear();
Chris Lattneraa0b4682002-11-09 21:12:07 +000056 return false;
57}
58
Vikram S. Adveaaeee752002-07-30 22:06:40 +000059// releaseMemory - If the pass pipeline is done with this pass, we can release
60// our memory... here...
61//
Chris Lattner4923d1b2003-02-03 22:51:28 +000062// FIXME: This should be releaseMemory and will work fine, except that LoadVN
63// has no way to extend the lifetime of the pass, which screws up ds-aa.
64//
65void TDDataStructures::releaseMyMemory() {
Chris Lattner3d162902003-06-30 04:53:08 +000066 for (hash_map<Function*, DSGraph*>::iterator I = DSInfo.begin(),
67 E = DSInfo.end(); I != E; ++I) {
68 I->second->getReturnNodes().erase(I->first);
69 if (I->second->getReturnNodes().empty())
70 delete I->second;
71 }
Vikram S. Adveaaeee752002-07-30 22:06:40 +000072
73 // Empty map so next time memory is released, data structures are not
74 // re-deleted.
75 DSInfo.clear();
Chris Lattneraa0b4682002-11-09 21:12:07 +000076 delete GlobalsGraph;
77 GlobalsGraph = 0;
Vikram S. Adveaaeee752002-07-30 22:06:40 +000078}
79
Vikram S. Adveaaeee752002-07-30 22:06:40 +000080
Chris Lattner7a211632002-11-08 21:28:37 +000081DSGraph &TDDataStructures::getOrCreateDSGraph(Function &F) {
82 DSGraph *&G = DSInfo[&F];
83 if (G == 0) { // Not created yet? Clone BU graph...
84 G = new DSGraph(getAnalysis<BUDataStructures>().getDSGraph(F));
85 G->getAuxFunctionCalls().clear();
Chris Lattner24d80072003-02-04 00:59:32 +000086 G->setPrintAuxCalls();
Chris Lattneraa0b4682002-11-09 21:12:07 +000087 G->setGlobalsGraph(GlobalsGraph);
Chris Lattner7a211632002-11-08 21:28:37 +000088 }
89 return *G;
90}
Vikram S. Adve26b98262002-10-20 21:41:02 +000091
Chris Lattnerdea81462003-06-29 22:37:07 +000092
Chris Lattner18f07a12003-07-01 16:28:11 +000093void TDDataStructures::ComputePostOrder(Function &F,hash_set<DSGraph*> &Visited,
94 std::vector<DSGraph*> &PostOrder,
95 const BUDataStructures::ActualCalleesTy &ActualCallees) {
96 if (F.isExternal()) return;
97 DSGraph &G = getOrCreateDSGraph(F);
98 if (Visited.count(&G)) return;
99 Visited.insert(&G);
100
101 // Recursively traverse all of the callee graphs.
102 const std::vector<DSCallSite> &FunctionCalls = G.getFunctionCalls();
Chris Lattnerdea81462003-06-29 22:37:07 +0000103
Chris Lattner18f07a12003-07-01 16:28:11 +0000104 for (unsigned i = 0, e = FunctionCalls.size(); i != e; ++i) {
105 std::pair<BUDataStructures::ActualCalleesTy::const_iterator,
106 BUDataStructures::ActualCalleesTy::const_iterator>
Chris Lattnera8da51b2003-07-02 04:39:44 +0000107 IP = ActualCallees.equal_range(&FunctionCalls[i].getCallInst());
Vikram S. Adveaaeee752002-07-30 22:06:40 +0000108
Chris Lattner18f07a12003-07-01 16:28:11 +0000109 for (BUDataStructures::ActualCalleesTy::const_iterator I = IP.first;
110 I != IP.second; ++I)
111 ComputePostOrder(*I->second, Visited, PostOrder, ActualCallees);
112 }
Chris Lattner198be222002-10-21 19:47:18 +0000113
Chris Lattner18f07a12003-07-01 16:28:11 +0000114 PostOrder.push_back(&G);
115}
116
117
118
119void TDDataStructures::calculateGraphFrom(Function &F) {
120 // We want to traverse the call graph in reverse post-order. To do this, we
121 // calculate a post-order traversal, then reverse it.
122 hash_set<DSGraph*> VisitedGraph;
123 std::vector<DSGraph*> PostOrder;
124 ComputePostOrder(F, VisitedGraph, PostOrder,
125 getAnalysis<BUDataStructures>().getActualCallees());
126 VisitedGraph.clear(); // Release memory!
127
128 // Visit each of the graphs in reverse post-order now!
129 while (!PostOrder.empty()) {
130 inlineGraphIntoCallees(*PostOrder.back());
131 PostOrder.pop_back();
132 }
133}
134
135
136void TDDataStructures::inlineGraphIntoCallees(DSGraph &Graph) {
Chris Lattner4f2cfc02003-02-10 18:16:36 +0000137 // Recompute the Incomplete markers and eliminate unreachable nodes.
Chris Lattner47030f82003-07-02 19:49:11 +0000138 Graph.removeTriviallyDeadNodes();
Chris Lattner4f2cfc02003-02-10 18:16:36 +0000139 Graph.maskIncompleteMarkers();
Chris Lattnera8da51b2003-07-02 04:39:44 +0000140
141 // If any of the functions has incomplete incoming arguments, don't mark any
142 // of them as complete.
143 bool HasIncompleteArgs = false;
144 const DSGraph::ReturnNodesTy &GraphReturnNodes = Graph.getReturnNodes();
145 for (DSGraph::ReturnNodesTy::const_iterator I = GraphReturnNodes.begin(),
146 E = GraphReturnNodes.end(); I != E; ++I)
147 if (ArgsRemainIncomplete.count(I->first)) {
148 HasIncompleteArgs = true;
149 break;
150 }
151
152 unsigned Flags
153 = HasIncompleteArgs ? DSGraph::MarkFormalArgs : DSGraph::IgnoreFormalArgs;
Chris Lattner4f2cfc02003-02-10 18:16:36 +0000154 Graph.markIncompleteNodes(Flags | DSGraph::IgnoreGlobals);
155 Graph.removeDeadNodes(DSGraph::RemoveUnreachableGlobals);
156
Chris Lattnera8da51b2003-07-02 04:39:44 +0000157 const std::vector<DSCallSite> &FunctionCalls = Graph.getFunctionCalls();
158 if (FunctionCalls.empty()) {
Chris Lattner18f07a12003-07-01 16:28:11 +0000159 DEBUG(std::cerr << " [TD] No callees for: " << Graph.getFunctionNames()
160 << "\n");
161 return;
162 }
163
Chris Lattner18f07a12003-07-01 16:28:11 +0000164 // Now that we have information about all of the callees, propagate the
165 // current graph into the callees.
166 //
167 DEBUG(std::cerr << " [TD] Inlining '" << Graph.getFunctionNames() <<"' into "
Chris Lattnera8da51b2003-07-02 04:39:44 +0000168 << FunctionCalls.size() << " call nodes.\n");
Chris Lattner18f07a12003-07-01 16:28:11 +0000169
Chris Lattnera8da51b2003-07-02 04:39:44 +0000170 const BUDataStructures::ActualCalleesTy &ActualCallees =
171 getAnalysis<BUDataStructures>().getActualCallees();
Chris Lattner18f07a12003-07-01 16:28:11 +0000172
Chris Lattnera8da51b2003-07-02 04:39:44 +0000173 // Only inline this function into each real callee once. After that, just
174 // merge information into arguments...
175 hash_map<DSGraph*, DSGraph::NodeMapTy> InlinedSites;
176
177 // Loop over all the callees... cloning this graph into each one exactly once,
178 // keeping track of the node mapping information...
179 for (unsigned i = 0, e = FunctionCalls.size(); i != e; ++i) {
180 // Inline this graph into each function in the invoked function list.
181 std::pair<BUDataStructures::ActualCalleesTy::const_iterator,
182 BUDataStructures::ActualCalleesTy::const_iterator>
183 IP = ActualCallees.equal_range(&FunctionCalls[i].getCallInst());
184
185 int NumArgs = 0;
186 if (IP.first != IP.second) {
187 NumArgs = IP.first->second->getFunctionType()->getNumParams();
188 for (BUDataStructures::ActualCalleesTy::const_iterator I = IP.first;
189 I != IP.second; ++I)
190 if (NumArgs != (int)I->second->getFunctionType()->getNumParams()) {
191 NumArgs = -1;
192 break;
193 }
194 }
Chris Lattner18f07a12003-07-01 16:28:11 +0000195
Chris Lattnera8da51b2003-07-02 04:39:44 +0000196 if (NumArgs == -1) {
197 std::cerr << "ERROR: NONSAME NUMBER OF ARGUMENTS TO CALLEES\n";
198 }
199
200 for (BUDataStructures::ActualCalleesTy::const_iterator I = IP.first;
201 I != IP.second; ++I) {
202 DSGraph &CG = getDSGraph(*I->second);
203 assert(&CG != &Graph && "TD need not inline graph into self!");
Chris Lattner18f07a12003-07-01 16:28:11 +0000204
Chris Lattnera8da51b2003-07-02 04:39:44 +0000205 if (!InlinedSites.count(&CG)) { // If we haven't already inlined into CG
206 DEBUG(std::cerr << " [TD] Inlining graph into callee graph '"
207 << CG.getFunctionNames() << "': " << I->second->getFunctionType()->getNumParams() << " args\n");
208 DSGraph::ScalarMapTy OldScalarMap;
209 DSGraph::ReturnNodesTy ReturnNodes;
210 CG.cloneInto(Graph, OldScalarMap, ReturnNodes, InlinedSites[&CG],
211 DSGraph::StripModRefBits | DSGraph::KeepAllocaBit |
212 DSGraph::DontCloneCallNodes |
213 DSGraph::DontCloneAuxCallNodes);
214 ++NumTDInlines;
Chris Lattnere0fbd482003-02-09 18:42:43 +0000215 }
Chris Lattner923fc052003-02-05 21:59:58 +0000216 }
Chris Lattnera8da51b2003-07-02 04:39:44 +0000217 }
Chris Lattner0e744122002-10-17 04:26:54 +0000218
Chris Lattnera8da51b2003-07-02 04:39:44 +0000219 // Loop over all the callees...
220 for (unsigned i = 0, e = FunctionCalls.size(); i != e; ++i) {
221 // Inline this graph into each function in the invoked function list.
222 std::pair<BUDataStructures::ActualCalleesTy::const_iterator,
223 BUDataStructures::ActualCalleesTy::const_iterator>
224 IP = ActualCallees.equal_range(&FunctionCalls[i].getCallInst());
225 for (BUDataStructures::ActualCalleesTy::const_iterator I = IP.first;
226 I != IP.second; ++I) {
227 DSGraph &CG = getDSGraph(*I->second);
228 DEBUG(std::cerr << " [TD] Resolving arguments for callee graph '"
229 << CG.getFunctionNames() << "'\n");
Chris Lattner7a211632002-11-08 21:28:37 +0000230
Chris Lattnera8da51b2003-07-02 04:39:44 +0000231 // Transform our call site information into the cloned version for CG
232 DSCallSite CS(FunctionCalls[i], InlinedSites[&CG]);
233
234 // Get the arguments bindings for the called function in CG... and merge
235 // them with the cloned graph.
236 CG.getCallSiteForArguments(*I->second).mergeWith(CS);
237 }
Chris Lattnere0fbd482003-02-09 18:42:43 +0000238 }
Chris Lattner18f07a12003-07-01 16:28:11 +0000239
240 DEBUG(std::cerr << " [TD] Done inlining into callees for: "
241 << Graph.getFunctionNames() << " [" << Graph.getGraphSize() << "+"
242 << Graph.getFunctionCalls().size() << "]\n");
Vikram S. Adveaaeee752002-07-30 22:06:40 +0000243}
Chris Lattner4923d1b2003-02-03 22:51:28 +0000244