blob: a19155dbefd571642d7502c62d6932926123006b [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 Lattnerb1060432002-11-07 05:20:53 +000019using namespace DS;
Chris Lattner55c10582002-10-03 20:38:41 +000020
Chris Lattneraa0b4682002-11-09 21:12:07 +000021// run - Calculate the bottom up data structure graphs for each function in the
22// program.
23//
24bool BUDataStructures::run(Module &M) {
25 GlobalsGraph = new DSGraph();
26
27 // Simply calculate the graphs for each function...
28 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
29 if (!I->isExternal())
Chris Lattnera1079052002-11-10 06:52:47 +000030 calculateGraph(*I, 0);
Chris Lattneraa0b4682002-11-09 21:12:07 +000031 return false;
32}
Chris Lattner55c10582002-10-03 20:38:41 +000033
Chris Lattner0d9bab82002-07-18 00:12:30 +000034// releaseMemory - If the pass pipeline is done with this pass, we can release
35// our memory... here...
36//
37void BUDataStructures::releaseMemory() {
Vikram S. Adve355e2ca2002-07-30 22:05:22 +000038 for (map<const Function*, DSGraph*>::iterator I = DSInfo.begin(),
Chris Lattner0d9bab82002-07-18 00:12:30 +000039 E = DSInfo.end(); I != E; ++I)
40 delete I->second;
41
42 // Empty map so next time memory is released, data structures are not
43 // re-deleted.
44 DSInfo.clear();
Chris Lattneraa0b4682002-11-09 21:12:07 +000045 delete GlobalsGraph;
46 GlobalsGraph = 0;
Chris Lattner0d9bab82002-07-18 00:12:30 +000047}
48
Chris Lattnera1079052002-11-10 06:52:47 +000049DSGraph &BUDataStructures::calculateGraph(Function &F, unsigned Indent) {
Chris Lattner0d9bab82002-07-18 00:12:30 +000050 // Make sure this graph has not already been calculated, or that we don't get
51 // into an infinite loop with mutually recursive functions.
52 //
53 DSGraph *&Graph = DSInfo[&F];
54 if (Graph) return *Graph;
55
56 // Copy the local version into DSInfo...
57 Graph = new DSGraph(getAnalysis<LocalDataStructures>().getDSGraph(F));
Chris Lattneraa0b4682002-11-09 21:12:07 +000058 Graph->setGlobalsGraph(GlobalsGraph);
Chris Lattnera1079052002-11-10 06:52:47 +000059 Graph->setPrintAuxCalls();
Vikram S. Adve355e2ca2002-07-30 22:05:22 +000060
Chris Lattner0d9bab82002-07-18 00:12:30 +000061 // Start resolving calls...
Chris Lattner1a948a82002-11-08 21:25:24 +000062 std::vector<DSCallSite> &FCs = Graph->getAuxFunctionCalls();
63
64 // Start with a copy of the original call sites...
65 FCs = Graph->getFunctionCalls();
Chris Lattner0d9bab82002-07-18 00:12:30 +000066
Chris Lattnera1079052002-11-10 06:52:47 +000067 DEBUG(std::cerr << std::string(Indent*4, ' ')
68 << "[BU] Calculating graph for: " << F.getName() << "\n");
Vikram S. Adve355e2ca2002-07-30 22:05:22 +000069
Chris Lattner0d9bab82002-07-18 00:12:30 +000070 bool Inlined;
71 do {
72 Inlined = false;
Vikram S. Adve355e2ca2002-07-30 22:05:22 +000073
Chris Lattner0d9bab82002-07-18 00:12:30 +000074 for (unsigned i = 0; i != FCs.size(); ++i) {
75 // Copy the call, because inlining graphs may invalidate the FCs vector.
Vikram S. Adve42fd1692002-10-20 18:07:37 +000076 DSCallSite Call = FCs[i];
Chris Lattner0d9bab82002-07-18 00:12:30 +000077
Chris Lattner55c10582002-10-03 20:38:41 +000078 // If the function list is complete...
Chris Lattner0969c502002-10-21 02:08:03 +000079 if ((Call.getCallee().getNode()->NodeType & DSNode::Incomplete)==0) {
Chris Lattner0d9bab82002-07-18 00:12:30 +000080 // Start inlining all of the functions we can... some may not be
81 // inlinable if they are external...
82 //
Chris Lattner7836d602002-10-20 22:11:17 +000083 std::vector<GlobalValue*> Callees =
Chris Lattner0969c502002-10-21 02:08:03 +000084 Call.getCallee().getNode()->getGlobals();
Chris Lattner0d9bab82002-07-18 00:12:30 +000085
Chris Lattnera1079052002-11-10 06:52:47 +000086 unsigned OldNumCalls = FCs.size();
87
Chris Lattner0d9bab82002-07-18 00:12:30 +000088 // Loop over the functions, inlining whatever we can...
Vikram S. Adve355e2ca2002-07-30 22:05:22 +000089 for (unsigned c = 0; c != Callees.size(); ++c) {
Chris Lattner0d9bab82002-07-18 00:12:30 +000090 // Must be a function type, so this cast MUST succeed.
Vikram S. Adve355e2ca2002-07-30 22:05:22 +000091 Function &FI = cast<Function>(*Callees[c]);
Chris Lattner613692c2002-10-17 04:24:08 +000092
Chris Lattner0d9bab82002-07-18 00:12:30 +000093 if (&FI == &F) {
94 // Self recursion... simply link up the formal arguments with the
95 // actual arguments...
Chris Lattnera1079052002-11-10 06:52:47 +000096 DEBUG(std::cerr << std::string(Indent*4, ' ')
97 << " [BU] Self Inlining: " << F.getName() << "\n");
Chris Lattner0d9bab82002-07-18 00:12:30 +000098
Chris Lattner076c1f92002-11-07 06:31:54 +000099 // Handle self recursion by resolving the arguments and return value
Chris Lattner460ea292002-11-07 07:06:20 +0000100 Graph->mergeInGraph(Call, *Graph, DSGraph::StripAllocaBit);
Chris Lattner0d9bab82002-07-18 00:12:30 +0000101
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000102 // Erase the entry in the callees vector
103 Callees.erase(Callees.begin()+c--);
Chris Lattner613692c2002-10-17 04:24:08 +0000104
Chris Lattner0d9bab82002-07-18 00:12:30 +0000105 } else if (!FI.isExternal()) {
Chris Lattnera1079052002-11-10 06:52:47 +0000106 DEBUG(std::cerr << std::string(Indent*4, ' ')
107 << " [BU] In " << F.getName() << " inlining: "
Chris Lattner0d9bab82002-07-18 00:12:30 +0000108 << FI.getName() << "\n");
Vikram S. Advec44e9bf2002-07-18 16:13:52 +0000109
Chris Lattner0d9bab82002-07-18 00:12:30 +0000110 // Get the data structure graph for the called function, closing it
111 // if possible (which is only impossible in the case of mutual
112 // recursion...
113 //
Chris Lattnera1079052002-11-10 06:52:47 +0000114 DSGraph &GI = calculateGraph(FI, Indent+1); // Graph to inline
Chris Lattner0d9bab82002-07-18 00:12:30 +0000115
Chris Lattnera1079052002-11-10 06:52:47 +0000116 DEBUG(std::cerr << std::string(Indent*4, ' ')
117 << " [BU] Got graph for " << FI.getName()
118 << " in: " << F.getName() << "[" << GI.getGraphSize() << "+"
119 << GI.getAuxFunctionCalls().size() << "]\n");
Chris Lattner0d9bab82002-07-18 00:12:30 +0000120
Chris Lattner076c1f92002-11-07 06:31:54 +0000121 // Handle self recursion by resolving the arguments and return value
Chris Lattner70925b02002-11-08 22:27:25 +0000122 Graph->mergeInGraph(Call, GI, DSGraph::StripAllocaBit |
123 DSGraph::DontCloneCallNodes);
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000124
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000125 // Erase the entry in the Callees vector
126 Callees.erase(Callees.begin()+c--);
127
Chris Lattner9eee58d2002-07-19 18:11:43 +0000128 } else if (FI.getName() == "printf" || FI.getName() == "sscanf" ||
129 FI.getName() == "fprintf" || FI.getName() == "open" ||
Chris Lattnera1079052002-11-10 06:52:47 +0000130 FI.getName() == "sprintf" || FI.getName() == "fputs") {
Chris Lattner92673292002-11-02 00:13:20 +0000131 // FIXME: These special cases (eg printf) should go away when we can
132 // define functions that take a variable number of arguments.
Chris Lattner9eee58d2002-07-19 18:11:43 +0000133
Chris Lattner92673292002-11-02 00:13:20 +0000134 // FIXME: at the very least, this should update mod/ref info
Chris Lattner9eee58d2002-07-19 18:11:43 +0000135 // Erase the entry in the globals vector
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000136 Callees.erase(Callees.begin()+c--);
Chris Lattner0d9bab82002-07-18 00:12:30 +0000137 }
138 }
139
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000140 if (Callees.empty()) { // Inlined all of the function calls?
Chris Lattner0d9bab82002-07-18 00:12:30 +0000141 // Erase the call if it is resolvable...
142 FCs.erase(FCs.begin()+i--); // Don't skip a the next call...
143 Inlined = true;
Chris Lattner0969c502002-10-21 02:08:03 +0000144 } else if (Callees.size() !=
145 Call.getCallee().getNode()->getGlobals().size()) {
Chris Lattner0d9bab82002-07-18 00:12:30 +0000146 // Was able to inline SOME, but not all of the functions. Construct a
147 // new global node here.
148 //
149 assert(0 && "Unimpl!");
150 Inlined = true;
151 }
Chris Lattnera1079052002-11-10 06:52:47 +0000152
153 // If we just inlined a function that had call nodes, chances are that
154 // the call nodes are redundant with ones we already have. Eliminate
155 // those call nodes now.
156 //
157 if (FCs.size() > OldNumCalls)
158 Graph->removeTriviallyDeadNodes();
Chris Lattner0d9bab82002-07-18 00:12:30 +0000159 }
Chris Lattnera1079052002-11-10 06:52:47 +0000160
161 if (FCs.size() > 200) {
162 std::cerr << "Aborted inlining fn: '" << F.getName() << "'!"
163 << std::endl;
164 Graph->maskIncompleteMarkers();
165 Graph->markIncompleteNodes();
166 Graph->removeDeadNodes();
167 Graph->writeGraphToFile(std::cerr, "crap."+F.getName());
168 exit(1);
169 return *Graph;
170 }
171
Chris Lattner0d9bab82002-07-18 00:12:30 +0000172 }
173
174 // Recompute the Incomplete markers. If there are any function calls left
175 // now that are complete, we must loop!
176 if (Inlined) {
177 Graph->maskIncompleteMarkers();
178 Graph->markIncompleteNodes();
Chris Lattnerf40f0a32002-11-09 22:07:02 +0000179 Graph->removeDeadNodes();
Chris Lattner0d9bab82002-07-18 00:12:30 +0000180 }
Chris Lattnera1079052002-11-10 06:52:47 +0000181
Chris Lattner0d9bab82002-07-18 00:12:30 +0000182 } while (Inlined && !FCs.empty());
183
Chris Lattnera1079052002-11-10 06:52:47 +0000184 DEBUG(std::cerr << std::string(Indent*4, ' ')
185 << "[BU] Done inlining: " << F.getName() << " ["
186 << Graph->getGraphSize() << "+" << Graph->getAuxFunctionCalls().size()
Chris Lattner221c9792002-08-07 21:41:11 +0000187 << "]\n");
Vikram S. Adve355e2ca2002-07-30 22:05:22 +0000188
Chris Lattnera1079052002-11-10 06:52:47 +0000189 //Graph->writeGraphToFile(std::cerr, "bu_" + F.getName());
190
Chris Lattner0d9bab82002-07-18 00:12:30 +0000191 return *Graph;
192}