blob: 326a794f7a0d69d5a366b7281e9afa6e0073f077 [file] [log] [blame]
Chris Lattner95724a42003-11-13 01:43:00 +00001//===- CompleteBottomUp.cpp - Complete Bottom-Up Data Structure Graphs ----===//
2//
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//===----------------------------------------------------------------------===//
9//
10// This is the exact same as the bottom-up graphs, but we use take a completed
11// call graph and inline all indirect callees into their callers graphs, making
12// the result more useful for things like pool allocation.
13//
14//===----------------------------------------------------------------------===//
15
16#include "llvm/Analysis/DataStructure.h"
17#include "llvm/Module.h"
18#include "llvm/Analysis/DSGraph.h"
Chris Lattner79390d42003-11-13 05:05:41 +000019#include "Support/SCCIterator.h"
20#include "Support/STLExtras.h"
Chris Lattner95724a42003-11-13 01:43:00 +000021using namespace llvm;
22
23namespace {
24 RegisterAnalysis<CompleteBUDataStructures>
25 X("cbudatastructure", "'Complete' Bottom-up Data Structure Analysis");
26}
27
Chris Lattner95724a42003-11-13 01:43:00 +000028
29// run - Calculate the bottom up data structure graphs for each function in the
30// program.
31//
32bool CompleteBUDataStructures::run(Module &M) {
33 BUDataStructures &BU = getAnalysis<BUDataStructures>();
34 GlobalsGraph = new DSGraph(BU.getGlobalsGraph());
35 GlobalsGraph->setPrintAuxCalls();
36
37 // Our call graph is the same as the BU data structures call graph
38 ActualCallees = BU.getActualCallees();
39
40#if 1 // REMOVE ME EVENTUALLY
41 // FIXME: TEMPORARY (remove once finalization of indirect call sites in the
42 // globals graph has been implemented in the BU pass)
43 TDDataStructures &TD = getAnalysis<TDDataStructures>();
44
45 // The call graph extractable from the TD pass is _much more complete_ and
46 // trustable than that generated by the BU pass so far. Until this is fixed,
47 // we hack it like this:
48 for (Module::iterator MI = M.begin(), ME = M.end(); MI != ME; ++MI) {
49 if (MI->isExternal()) continue;
50 const std::vector<DSCallSite> &CSs = TD.getDSGraph(*MI).getFunctionCalls();
51
52 for (unsigned CSi = 0, e = CSs.size(); CSi != e; ++CSi) {
53 if (CSs[CSi].isIndirectCall()) {
54 Instruction *TheCall = CSs[CSi].getCallSite().getInstruction();
55
56 const std::vector<GlobalValue*> &Callees =
57 CSs[CSi].getCalleeNode()->getGlobals();
58 for (unsigned i = 0, e = Callees.size(); i != e; ++i)
59 if (Function *F = dyn_cast<Function>(Callees[i]))
60 ActualCallees.insert(std::make_pair(TheCall, F));
61 }
62 }
63 }
64#endif
65
Chris Lattner79390d42003-11-13 05:05:41 +000066 std::vector<DSGraph*> Stack;
67 hash_map<DSGraph*, unsigned> ValMap;
68 unsigned NextID = 1;
Chris Lattner95724a42003-11-13 01:43:00 +000069
Chris Lattner79390d42003-11-13 05:05:41 +000070 if (Function *Main = M.getMainFunction()) {
71 calculateSCCGraphs(getOrCreateGraph(*Main), Stack, NextID, ValMap);
72 } else {
73 std::cerr << "CBU-DSA: No 'main' function found!\n";
74 }
75
76 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
77 if (!I->isExternal() && !DSInfo.count(I))
78 calculateSCCGraphs(getOrCreateGraph(*I), Stack, NextID, ValMap);
Chris Lattner95724a42003-11-13 01:43:00 +000079
80 return false;
81}
Chris Lattner79390d42003-11-13 05:05:41 +000082
83DSGraph &CompleteBUDataStructures::getOrCreateGraph(Function &F) {
84 // Has the graph already been created?
85 DSGraph *&Graph = DSInfo[&F];
86 if (Graph) return *Graph;
87
88 // Copy the BU graph...
89 Graph = new DSGraph(getAnalysis<BUDataStructures>().getDSGraph(F));
90 Graph->setGlobalsGraph(GlobalsGraph);
91 Graph->setPrintAuxCalls();
92
93 // Make sure to update the DSInfo map for all of the functions currently in
94 // this graph!
95 for (DSGraph::ReturnNodesTy::iterator I = Graph->getReturnNodes().begin();
96 I != Graph->getReturnNodes().end(); ++I)
97 DSInfo[I->first] = Graph;
98
99 return *Graph;
100}
101
102
103
104unsigned CompleteBUDataStructures::calculateSCCGraphs(DSGraph &FG,
105 std::vector<DSGraph*> &Stack,
106 unsigned &NextID,
107 hash_map<DSGraph*, unsigned> &ValMap) {
108 assert(!ValMap.count(&FG) && "Shouldn't revisit functions!");
109 unsigned Min = NextID++, MyID = Min;
110 ValMap[&FG] = Min;
111 Stack.push_back(&FG);
112
113 // The edges out of the current node are the call site targets...
114 for (unsigned i = 0, e = FG.getFunctionCalls().size(); i != e; ++i) {
115 Instruction *Call = FG.getFunctionCalls()[i].getCallSite().getInstruction();
116
117 // Loop over all of the actually called functions...
118 ActualCalleesTy::iterator I, E;
119 for (tie(I, E) = ActualCallees.equal_range(Call); I != E; ++I) {
120 DSGraph &Callee = getOrCreateGraph(*I->second);
121 unsigned M;
122 // Have we visited the destination function yet?
123 hash_map<DSGraph*, unsigned>::iterator It = ValMap.find(&Callee);
124 if (It == ValMap.end()) // No, visit it now.
125 M = calculateSCCGraphs(Callee, Stack, NextID, ValMap);
126 else // Yes, get it's number.
127 M = It->second;
128 if (M < Min) Min = M;
129 }
130 }
131
132 assert(ValMap[&FG] == MyID && "SCC construction assumption wrong!");
133 if (Min != MyID)
134 return Min; // This is part of a larger SCC!
135
136 // If this is a new SCC, process it now.
137 bool IsMultiNodeSCC = false;
138 while (Stack.back() != &FG) {
139 DSGraph *NG = Stack.back();
140 ValMap[NG] = ~0U;
141
142 DSGraph::NodeMapTy NodeMap;
143 FG.cloneInto(*NG, FG.getScalarMap(), FG.getReturnNodes(), NodeMap, 0);
144
145 // Update the DSInfo map and delete the old graph...
146 for (DSGraph::ReturnNodesTy::iterator I = NG->getReturnNodes().begin();
147 I != NG->getReturnNodes().end(); ++I)
148 DSInfo[I->first] = &FG;
149 delete NG;
150
151 Stack.pop_back();
152 IsMultiNodeSCC = true;
153 }
154
155 // Clean up the graph before we start inlining a bunch again...
156 if (IsMultiNodeSCC)
157 FG.removeTriviallyDeadNodes();
158
159 Stack.pop_back();
160 processGraph(FG);
161 ValMap[&FG] = ~0U;
162 return MyID;
163}
164
165
166/// processGraph - Process the BU graphs for the program in bottom-up order on
167/// the SCC of the __ACTUAL__ call graph. This builds "complete" BU graphs.
168void CompleteBUDataStructures::processGraph(DSGraph &G) {
169 // The edges out of the current node are the call site targets...
170 for (unsigned i = 0, e = G.getFunctionCalls().size(); i != e; ++i) {
171 const DSCallSite &CS = G.getFunctionCalls()[i];
172 Instruction *TheCall = CS.getCallSite().getInstruction();
173
174 // The Normal BU pass will have taken care of direct calls well already,
175 // don't worry about them.
176 if (!CS.getCallSite().getCalledFunction()) {
177 // Loop over all of the actually called functions...
178 ActualCalleesTy::iterator I, E;
179 for (tie(I, E) = ActualCallees.equal_range(TheCall); I != E; ++I) {
180 Function *CalleeFunc = I->second;
181 if (!CalleeFunc->isExternal()) {
182 // Merge the callee's graph into this graph. This works for normal
183 // calls or for self recursion within an SCC.
184 G.mergeInGraph(CS, *CalleeFunc, getOrCreateGraph(*CalleeFunc),
185 DSGraph::KeepModRefBits |
186 DSGraph::StripAllocaBit |
187 DSGraph::DontCloneCallNodes);
188 }
189 }
190 }
191 }
192
193 // Re-materialize nodes from the globals graph.
194 // Do not ignore globals inlined from callees -- they are not up-to-date!
195 G.getInlinedGlobals().clear();
196 G.updateFromGlobalGraph();
197
198 // Recompute the Incomplete markers
199 G.maskIncompleteMarkers();
200 G.markIncompleteNodes(DSGraph::MarkFormalArgs);
201
202 // Delete dead nodes. Treat globals that are unreachable but that can
203 // reach live nodes as live.
204 G.removeDeadNodes(DSGraph::KeepUnreachableGlobals);
205}