blob: acb90a27bb4cdef5ca42492f15dd993dd2812dd7 [file] [log] [blame]
Chris Lattner55c10582002-10-03 20:38:41 +00001//===- BottomUpClosure.cpp - Compute bottom-up interprocedural closure ----===//
Chris Lattner0d9bab82002-07-18 00:12:30 +00002//
3// This file implements the BUDataStructures class, which represents the
4// Bottom-Up Interprocedural closure of the data structure graph over the
5// program. This is useful for applications like pool allocation, but **not**
Chris Lattner55c10582002-10-03 20:38:41 +00006// applications like alias analysis.
Chris Lattner0d9bab82002-07-18 00:12:30 +00007//
8//===----------------------------------------------------------------------===//
9
10#include "llvm/Analysis/DataStructure.h"
Chris Lattner55c10582002-10-03 20:38:41 +000011#include "llvm/Analysis/DSGraph.h"
Chris Lattner0d9bab82002-07-18 00:12:30 +000012#include "llvm/Module.h"
Chris Lattnerfccd06f2002-10-01 22:33:50 +000013#include "Support/Statistic.h"
Chris Lattner0d9bab82002-07-18 00:12:30 +000014using std::map;
15
Chris Lattner1e435162002-07-26 21:12:44 +000016static RegisterAnalysis<BUDataStructures>
Vikram S. Adve355e2ca2002-07-30 22:05:22 +000017X("budatastructure", "Bottom-up Data Structure Analysis Closure");
Chris Lattner0d9bab82002-07-18 00:12:30 +000018
Chris Lattner55c10582002-10-03 20:38:41 +000019// TODO: FIXME
20namespace DataStructureAnalysis {
21 // isPointerType - Return true if this first class type is big enough to hold
22 // a pointer.
23 //
24 bool isPointerType(const Type *Ty);
25}
26using namespace DataStructureAnalysis;
27
28
Chris Lattner0d9bab82002-07-18 00:12:30 +000029// releaseMemory - If the pass pipeline is done with this pass, we can release
30// our memory... here...
31//
32void BUDataStructures::releaseMemory() {
Chris Lattner613692c2002-10-17 04:24:08 +000033 // Delete all call site information
34 CallSites.clear();
35
Vikram S. Adve355e2ca2002-07-30 22:05:22 +000036 for (map<const Function*, DSGraph*>::iterator I = DSInfo.begin(),
Chris Lattner0d9bab82002-07-18 00:12:30 +000037 E = DSInfo.end(); I != E; ++I)
38 delete I->second;
39
40 // Empty map so next time memory is released, data structures are not
41 // re-deleted.
42 DSInfo.clear();
43}
44
45// run - Calculate the bottom up data structure graphs for each function in the
46// program.
47//
48bool BUDataStructures::run(Module &M) {
49 // Simply calculate the graphs for each function...
50 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
51 if (!I->isExternal())
52 calculateGraph(*I);
53 return false;
54}
55
Chris Lattner0d9bab82002-07-18 00:12:30 +000056// ResolveArguments - Resolve the formal and actual arguments for a function
57// call.
58//
59static void ResolveArguments(std::vector<DSNodeHandle> &Call, Function &F,
60 map<Value*, DSNodeHandle> &ValueMap) {
61 // Resolve all of the function arguments...
62 Function::aiterator AI = F.abegin();
63 for (unsigned i = 2, e = Call.size(); i != e; ++i) {
64 // Advance the argument iterator to the first pointer argument...
Chris Lattner55c10582002-10-03 20:38:41 +000065 while (!isPointerType(AI->getType())) ++AI;
Chris Lattner0d9bab82002-07-18 00:12:30 +000066
67 // Add the link from the argument scalar to the provided value
Chris Lattner55c10582002-10-03 20:38:41 +000068 DSNodeHandle &NN = ValueMap[AI];
69 NN.addEdgeTo(Call[i]);
Chris Lattner0d9bab82002-07-18 00:12:30 +000070 ++AI;
71 }
72}
73
Chris Lattner0d9bab82002-07-18 00:12:30 +000074DSGraph &BUDataStructures::calculateGraph(Function &F) {
75 // Make sure this graph has not already been calculated, or that we don't get
76 // into an infinite loop with mutually recursive functions.
77 //
78 DSGraph *&Graph = DSInfo[&F];
79 if (Graph) return *Graph;
80
81 // Copy the local version into DSInfo...
82 Graph = new DSGraph(getAnalysis<LocalDataStructures>().getDSGraph(F));
83
Chris Lattner55c10582002-10-03 20:38:41 +000084#if 0
Vikram S. Adve355e2ca2002-07-30 22:05:22 +000085 // Populate the GlobalsGraph with globals from this one.
86 Graph->GlobalsGraph->cloneGlobals(*Graph, /*cloneCalls*/ false);
Chris Lattner55c10582002-10-03 20:38:41 +000087#endif
Vikram S. Adve355e2ca2002-07-30 22:05:22 +000088
Chris Lattner0d9bab82002-07-18 00:12:30 +000089 // Start resolving calls...
90 std::vector<std::vector<DSNodeHandle> > &FCs = Graph->getFunctionCalls();
91
Vikram S. Adve355e2ca2002-07-30 22:05:22 +000092 DEBUG(std::cerr << " [BU] Inlining: " << F.getName() << "\n");
93
Chris Lattner0d9bab82002-07-18 00:12:30 +000094 bool Inlined;
95 do {
96 Inlined = false;
Vikram S. Adve355e2ca2002-07-30 22:05:22 +000097
Chris Lattner0d9bab82002-07-18 00:12:30 +000098 for (unsigned i = 0; i != FCs.size(); ++i) {
99 // Copy the call, because inlining graphs may invalidate the FCs vector.
100 std::vector<DSNodeHandle> Call = FCs[i];
101
Chris Lattner55c10582002-10-03 20:38:41 +0000102 // If the function list is complete...
103 if ((Call[1].getNode()->NodeType & DSNode::Incomplete) == 0) {
Chris Lattner0d9bab82002-07-18 00:12:30 +0000104 // Start inlining all of the functions we can... some may not be
105 // inlinable if they are external...
106 //
Chris Lattner55c10582002-10-03 20:38:41 +0000107 std::vector<GlobalValue*> Callees(Call[1].getNode()->getGlobals());
Chris Lattner0d9bab82002-07-18 00:12:30 +0000108
109 // Loop over the functions, inlining whatever we can...
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000110 for (unsigned c = 0; c != Callees.size(); ++c) {
Chris Lattner0d9bab82002-07-18 00:12:30 +0000111 // Must be a function type, so this cast MUST succeed.
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000112 Function &FI = cast<Function>(*Callees[c]);
Chris Lattner613692c2002-10-17 04:24:08 +0000113
114 // Record that this is a call site of FI.
115 CallSites[&FI].push_back(CallSite(F, Call));
116
Chris Lattner0d9bab82002-07-18 00:12:30 +0000117 if (&FI == &F) {
118 // Self recursion... simply link up the formal arguments with the
119 // actual arguments...
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000120
121 DEBUG(std::cerr << "\t[BU] Self Inlining: " << F.getName() << "\n");
Chris Lattner0d9bab82002-07-18 00:12:30 +0000122
Chris Lattner55c10582002-10-03 20:38:41 +0000123 if (Call[0].getNode()) // Handle the return value if present...
124 Graph->getRetNode().mergeWith(Call[0]);
Chris Lattner0d9bab82002-07-18 00:12:30 +0000125
126 // Resolve the arguments in the call to the actual values...
127 ResolveArguments(Call, F, Graph->getValueMap());
128
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000129 // Erase the entry in the callees vector
130 Callees.erase(Callees.begin()+c--);
Chris Lattner613692c2002-10-17 04:24:08 +0000131
Chris Lattner0d9bab82002-07-18 00:12:30 +0000132 } else if (!FI.isExternal()) {
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000133 DEBUG(std::cerr << "\t[BU] In " << F.getName() << " inlining: "
Chris Lattner0d9bab82002-07-18 00:12:30 +0000134 << FI.getName() << "\n");
Vikram S. Advec44e9bf2002-07-18 16:13:52 +0000135
Chris Lattner0d9bab82002-07-18 00:12:30 +0000136 // Get the data structure graph for the called function, closing it
137 // if possible (which is only impossible in the case of mutual
138 // recursion...
139 //
140 DSGraph &GI = calculateGraph(FI); // Graph to inline
141
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000142 DEBUG(std::cerr << "\t\t[BU] Got graph for " << FI.getName()
143 << " in: " << F.getName() << "\n");
Chris Lattner0d9bab82002-07-18 00:12:30 +0000144
Vikram S. Advec44e9bf2002-07-18 16:13:52 +0000145 // Clone the callee's graph into the current graph, keeping
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000146 // track of where scalars in the old graph _used_ to point,
147 // and of the new nodes matching nodes of the old graph.
Chris Lattner55c10582002-10-03 20:38:41 +0000148 map<Value*, DSNodeHandle> OldValMap;
149 map<const DSNode*, DSNode*> OldNodeMap;
Chris Lattner0d9bab82002-07-18 00:12:30 +0000150
151 // The clone call may invalidate any of the vectors in the data
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000152 // structure graph. Strip locals and don't copy the list of callers
Chris Lattner55c10582002-10-03 20:38:41 +0000153 DSNodeHandle RetVal = Graph->cloneInto(GI, OldValMap, OldNodeMap,
154 /*StripScalars*/ true,
155 /*StripAllocas*/ true,
156 /*CopyCallers*/ false,
157 /*CopyOrigCalls*/ false);
Chris Lattner0d9bab82002-07-18 00:12:30 +0000158
Chris Lattner55c10582002-10-03 20:38:41 +0000159 // Resolve the arguments in the call to the actual values...
Chris Lattner0d9bab82002-07-18 00:12:30 +0000160 ResolveArguments(Call, FI, OldValMap);
161
Chris Lattner55c10582002-10-03 20:38:41 +0000162 if (Call[0].getNode()) // Handle the return value if present
163 RetVal.mergeWith(Call[0]);
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000164
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000165 // Erase the entry in the Callees vector
166 Callees.erase(Callees.begin()+c--);
167
Chris Lattner9eee58d2002-07-19 18:11:43 +0000168 } else if (FI.getName() == "printf" || FI.getName() == "sscanf" ||
169 FI.getName() == "fprintf" || FI.getName() == "open" ||
170 FI.getName() == "sprintf") {
171
172 // Erase the entry in the globals vector
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000173 Callees.erase(Callees.begin()+c--);
Chris Lattner0d9bab82002-07-18 00:12:30 +0000174 }
175 }
176
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000177 if (Callees.empty()) { // Inlined all of the function calls?
Chris Lattner0d9bab82002-07-18 00:12:30 +0000178 // Erase the call if it is resolvable...
179 FCs.erase(FCs.begin()+i--); // Don't skip a the next call...
180 Inlined = true;
Chris Lattner55c10582002-10-03 20:38:41 +0000181 } else if (Callees.size() != Call[1].getNode()->getGlobals().size()) {
Chris Lattner0d9bab82002-07-18 00:12:30 +0000182 // Was able to inline SOME, but not all of the functions. Construct a
183 // new global node here.
184 //
185 assert(0 && "Unimpl!");
186 Inlined = true;
187 }
188 }
189 }
190
191 // Recompute the Incomplete markers. If there are any function calls left
192 // now that are complete, we must loop!
193 if (Inlined) {
194 Graph->maskIncompleteMarkers();
195 Graph->markIncompleteNodes();
Chris Lattner55c10582002-10-03 20:38:41 +0000196 Graph->removeDeadNodes(/*KeepAllGlobals*/ true, /*KeepCalls*/ true);
Chris Lattner0d9bab82002-07-18 00:12:30 +0000197 }
198 } while (Inlined && !FCs.empty());
199
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000200 Graph->maskIncompleteMarkers();
201 Graph->markIncompleteNodes();
Chris Lattnera00397e2002-10-03 21:55:28 +0000202 Graph->removeTriviallyDeadNodes(false);
Chris Lattner55c10582002-10-03 20:38:41 +0000203 Graph->removeDeadNodes(/*KeepAllGlobals*/ true, /*KeepCalls*/ true);
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000204
Chris Lattner221c9792002-08-07 21:41:11 +0000205 DEBUG(std::cerr << " [BU] Done inlining: " << F.getName() << " ["
206 << Graph->getGraphSize() << "+" << Graph->getFunctionCalls().size()
207 << "]\n");
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000208
Chris Lattner0d9bab82002-07-18 00:12:30 +0000209 return *Graph;
210}