blob: c8e9fc3e33e39f7c17e7df0e0bf1e5129d8d1e09 [file] [log] [blame]
Chris Lattner0d9bab82002-07-18 00:12:30 +00001//===- BottomUpClosure.cpp - Compute the bottom up interprocedure closure -===//
2//
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**
6// applications like pointer analysis.
7//
8//===----------------------------------------------------------------------===//
9
10#include "llvm/Analysis/DataStructure.h"
11#include "llvm/Module.h"
12#include "llvm/DerivedTypes.h"
13#include "Support/StatisticReporter.h"
14using std::map;
15
16AnalysisID BUDataStructures::ID(AnalysisID::create<BUDataStructures>());
17
18// releaseMemory - If the pass pipeline is done with this pass, we can release
19// our memory... here...
20//
21void BUDataStructures::releaseMemory() {
22 for (map<Function*, DSGraph*>::iterator I = DSInfo.begin(),
23 E = DSInfo.end(); I != E; ++I)
24 delete I->second;
25
26 // Empty map so next time memory is released, data structures are not
27 // re-deleted.
28 DSInfo.clear();
29}
30
31// run - Calculate the bottom up data structure graphs for each function in the
32// program.
33//
34bool BUDataStructures::run(Module &M) {
35 // Simply calculate the graphs for each function...
36 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
37 if (!I->isExternal())
38 calculateGraph(*I);
39 return false;
40}
41
42
43// ResolveArguments - Resolve the formal and actual arguments for a function
44// call.
45//
46static void ResolveArguments(std::vector<DSNodeHandle> &Call, Function &F,
47 map<Value*, DSNodeHandle> &ValueMap) {
48 // Resolve all of the function arguments...
49 Function::aiterator AI = F.abegin();
50 for (unsigned i = 2, e = Call.size(); i != e; ++i) {
51 // Advance the argument iterator to the first pointer argument...
52 while (!isa<PointerType>(AI->getType())) ++AI;
53
54 // Add the link from the argument scalar to the provided value
55 DSNode *NN = ValueMap[AI];
56 NN->addEdgeTo(Call[i]);
57 ++AI;
58 }
59}
60
61// MergeGlobalNodes - Merge global value nodes in the inlined graph with the
62// global value nodes in the current graph if there are duplicates.
63//
64static void MergeGlobalNodes(map<Value*, DSNodeHandle> &ValMap,
65 map<Value*, DSNodeHandle> &OldValMap) {
66 // Loop over all of the nodes inlined, if any of them are global variable
67 // nodes, we must make sure they get properly added or merged with the ValMap.
68 //
69 for (map<Value*, DSNodeHandle>::iterator I = OldValMap.begin(),
70 E = OldValMap.end(); I != E; ++I)
71 if (isa<GlobalValue>(I->first)) {
72 DSNodeHandle &NH = ValMap[I->first]; // Look up global in ValMap.
73 if (NH == 0) { // No entry for the global yet?
74 NH = I->second; // Add the one just inlined...
75 } else {
76 NH->mergeWith(I->second); // Merge the two globals together.
77 }
78 }
79
80}
81
82DSGraph &BUDataStructures::calculateGraph(Function &F) {
83 // Make sure this graph has not already been calculated, or that we don't get
84 // into an infinite loop with mutually recursive functions.
85 //
86 DSGraph *&Graph = DSInfo[&F];
87 if (Graph) return *Graph;
88
89 // Copy the local version into DSInfo...
90 Graph = new DSGraph(getAnalysis<LocalDataStructures>().getDSGraph(F));
91
92 // Start resolving calls...
93 std::vector<std::vector<DSNodeHandle> > &FCs = Graph->getFunctionCalls();
94
95 DEBUG(cerr << "Inlining: " << F.getName() << "\n");
96
97 bool Inlined;
98 do {
99 Inlined = false;
100 for (unsigned i = 0; i != FCs.size(); ++i) {
101 // Copy the call, because inlining graphs may invalidate the FCs vector.
102 std::vector<DSNodeHandle> Call = FCs[i];
103
104 // If the function list is not incomplete...
105 if ((Call[1]->NodeType & DSNode::Incomplete) == 0) {
106 // Start inlining all of the functions we can... some may not be
107 // inlinable if they are external...
108 //
109 std::vector<GlobalValue*> Globals(Call[1]->getGlobals());
110
111 // Loop over the functions, inlining whatever we can...
112 for (unsigned g = 0; g != Globals.size(); ++g) {
113 // Must be a function type, so this cast MUST succeed.
114 Function &FI = cast<Function>(*Globals[g]);
115 if (&FI == &F) {
116 // Self recursion... simply link up the formal arguments with the
117 // actual arguments...
118
119 DEBUG(cerr << "Self Inlining: " << F.getName() << "\n");
120
121 if (Call[0]) // Handle the return value if present...
122 Graph->RetNode->mergeWith(Call[0]);
123
124 // Resolve the arguments in the call to the actual values...
125 ResolveArguments(Call, F, Graph->getValueMap());
126
127 // Erase the entry in the globals vector
128 Globals.erase(Globals.begin()+g--);
129 } else if (!FI.isExternal()) {
130 DEBUG(std::cerr << "In " << F.getName() << " inlining: "
131 << FI.getName() << "\n");
132
133 // Get the data structure graph for the called function, closing it
134 // if possible (which is only impossible in the case of mutual
135 // recursion...
136 //
137 DSGraph &GI = calculateGraph(FI); // Graph to inline
138
139 DEBUG(cerr << "Got graph for " << FI.getName() << " in: "
140 << F.getName() << "\n");
141
142
143
144 // Clone the called function's graph into the current graph, keeping
145 // track of where scalars in the old graph _used_ to point...
146 map<Value*, DSNodeHandle> OldValMap;
147
148 // The clone call may invalidate any of the vectors in the data
149 // structure graph.
150 DSNode *RetVal = Graph->cloneInto(GI, OldValMap);
151
152 ResolveArguments(Call, FI, OldValMap);
153
154 // Merge global value nodes in the inlined graph with the global
155 // value nodes in the current graph if there are duplicates.
156 //
157 MergeGlobalNodes(Graph->getValueMap(), OldValMap);
158
159 // Erase the entry in the globals vector
160 Globals.erase(Globals.begin()+g--);
161 }
162 }
163
164 if (Globals.empty()) { // Inlined all of the function calls?
165 // Erase the call if it is resolvable...
166 FCs.erase(FCs.begin()+i--); // Don't skip a the next call...
167 Inlined = true;
168 } else if (Globals.size() != Call[1]->getGlobals().size()) {
169 // Was able to inline SOME, but not all of the functions. Construct a
170 // new global node here.
171 //
172 assert(0 && "Unimpl!");
173 Inlined = true;
174 }
175 }
176 }
177
178 // Recompute the Incomplete markers. If there are any function calls left
179 // now that are complete, we must loop!
180 if (Inlined) {
181 Graph->maskIncompleteMarkers();
182 Graph->markIncompleteNodes();
183 Graph->removeDeadNodes();
184 }
185 } while (Inlined && !FCs.empty());
186
187 return *Graph;
188}