blob: 4058348397b308187100d8fbc3e66f989f2ba5da [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"
Chris Lattner0e744122002-10-17 04:26:54 +000011#include "llvm/Analysis/DSGraph.h"
Vikram S. Adveaaeee752002-07-30 22:06:40 +000012#include "llvm/Module.h"
13#include "llvm/DerivedTypes.h"
Chris Lattnerfccd06f2002-10-01 22:33:50 +000014#include "Support/Statistic.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 Lattner4923d1b2003-02-03 22:51:28 +000019}
Vikram S. Adveaaeee752002-07-30 22:06:40 +000020
Chris Lattneraa0b4682002-11-09 21:12:07 +000021// run - Calculate the top down data structure graphs for each function in the
22// program.
23//
24bool TDDataStructures::run(Module &M) {
25 BUDataStructures &BU = getAnalysis<BUDataStructures>();
Chris Lattner312edd32003-06-28 22:14:55 +000026 GlobalsGraph = new DSGraph(BU.getGlobalsGraph());
Chris Lattneraa0b4682002-11-09 21:12:07 +000027
28 // Calculate top-down from main...
29 if (Function *F = M.getMainFunction())
30 calculateGraph(*F);
31
32 // Next calculate the graphs for each function unreachable function...
33 for (Module::reverse_iterator I = M.rbegin(), E = M.rend(); I != E; ++I)
34 if (!I->isExternal())
35 calculateGraph(*I);
36
37 GraphDone.clear(); // Free temporary memory...
38 return false;
39}
40
Vikram S. Adveaaeee752002-07-30 22:06:40 +000041// releaseMemory - If the pass pipeline is done with this pass, we can release
42// our memory... here...
43//
Chris Lattner4923d1b2003-02-03 22:51:28 +000044// FIXME: This should be releaseMemory and will work fine, except that LoadVN
45// has no way to extend the lifetime of the pass, which screws up ds-aa.
46//
47void TDDataStructures::releaseMyMemory() {
Chris Lattnere0f4b982003-06-22 03:03:52 +000048 return;
Chris Lattner41c04f72003-02-01 04:52:08 +000049 for (hash_map<const Function*, DSGraph*>::iterator I = DSInfo.begin(),
Vikram S. Adveaaeee752002-07-30 22:06:40 +000050 E = DSInfo.end(); I != E; ++I)
51 delete I->second;
52
53 // Empty map so next time memory is released, data structures are not
54 // re-deleted.
55 DSInfo.clear();
Chris Lattneraa0b4682002-11-09 21:12:07 +000056 delete GlobalsGraph;
57 GlobalsGraph = 0;
Vikram S. Adveaaeee752002-07-30 22:06:40 +000058}
59
Chris Lattner0e744122002-10-17 04:26:54 +000060/// ResolveCallSite - This method is used to link the actual arguments together
61/// with the formal arguments for a function call in the top-down closure. This
62/// method assumes that the call site arguments have been mapped into nodes
63/// local to the specified graph.
64///
65void TDDataStructures::ResolveCallSite(DSGraph &Graph,
Vikram S. Adve42fd1692002-10-20 18:07:37 +000066 const DSCallSite &CallSite) {
Chris Lattner0e744122002-10-17 04:26:54 +000067 // Resolve all of the function formal arguments...
68 Function &F = Graph.getFunction();
69 Function::aiterator AI = F.abegin();
Vikram S. Adveaaeee752002-07-30 22:06:40 +000070
Vikram S. Adve26b98262002-10-20 21:41:02 +000071 for (unsigned i = 0, e = CallSite.getNumPtrArgs(); i != e; ++i, ++AI) {
Chris Lattner0e744122002-10-17 04:26:54 +000072 // Advance the argument iterator to the first pointer argument...
Chris Lattnerb1060432002-11-07 05:20:53 +000073 while (!DS::isPointerType(AI->getType())) ++AI;
Vikram S. Adveaaeee752002-07-30 22:06:40 +000074
Chris Lattner0e744122002-10-17 04:26:54 +000075 // TD ...Merge the formal arg scalar with the actual arg node
76 DSNodeHandle &NodeForFormal = Graph.getNodeForValue(AI);
Chris Lattner99a22842002-10-21 15:04:18 +000077 assert(NodeForFormal.getNode() && "Pointer argument has no dest node!");
78 NodeForFormal.mergeWith(CallSite.getPtrArg(i));
Chris Lattner0e744122002-10-17 04:26:54 +000079 }
80
81 // Merge returned node in the caller with the "return" node in callee
Chris Lattner0969c502002-10-21 02:08:03 +000082 if (CallSite.getRetVal().getNode() && Graph.getRetNode().getNode())
83 Graph.getRetNode().mergeWith(CallSite.getRetVal());
Vikram S. Adveaaeee752002-07-30 22:06:40 +000084}
85
Chris Lattner7a211632002-11-08 21:28:37 +000086DSGraph &TDDataStructures::getOrCreateDSGraph(Function &F) {
87 DSGraph *&G = DSInfo[&F];
88 if (G == 0) { // Not created yet? Clone BU graph...
89 G = new DSGraph(getAnalysis<BUDataStructures>().getDSGraph(F));
90 G->getAuxFunctionCalls().clear();
Chris Lattner24d80072003-02-04 00:59:32 +000091 G->setPrintAuxCalls();
Chris Lattneraa0b4682002-11-09 21:12:07 +000092 G->setGlobalsGraph(GlobalsGraph);
Chris Lattner7a211632002-11-08 21:28:37 +000093 }
94 return *G;
95}
Vikram S. Adve26b98262002-10-20 21:41:02 +000096
Chris Lattner7a211632002-11-08 21:28:37 +000097void TDDataStructures::calculateGraph(Function &F) {
98 // Make sure this graph has not already been calculated, and that we don't get
Vikram S. Adveaaeee752002-07-30 22:06:40 +000099 // into an infinite loop with mutually recursive functions.
100 //
Chris Lattner7a211632002-11-08 21:28:37 +0000101 if (GraphDone.count(&F)) return;
102 GraphDone.insert(&F);
Vikram S. Adveaaeee752002-07-30 22:06:40 +0000103
Chris Lattner7a211632002-11-08 21:28:37 +0000104 // Get the current functions graph...
105 DSGraph &Graph = getOrCreateDSGraph(F);
Chris Lattner198be222002-10-21 19:47:18 +0000106
Chris Lattner4f2cfc02003-02-10 18:16:36 +0000107 // Recompute the Incomplete markers and eliminate unreachable nodes.
108 Graph.maskIncompleteMarkers();
109 // FIXME: Need to check if all callers have been found, or rather if a
110 // funcpointer escapes!
111 unsigned Flags = F.hasInternalLinkage() ?
112 DSGraph::IgnoreFormalArgs : DSGraph::MarkFormalArgs;
113 Graph.markIncompleteNodes(Flags | DSGraph::IgnoreGlobals);
114 Graph.removeDeadNodes(DSGraph::RemoveUnreachableGlobals);
115
Chris Lattner7a211632002-11-08 21:28:37 +0000116 const std::vector<DSCallSite> &CallSites = Graph.getFunctionCalls();
Chris Lattner7a211632002-11-08 21:28:37 +0000117 if (CallSites.empty()) {
118 DEBUG(std::cerr << " [TD] No callees for: " << F.getName() << "\n");
Chris Lattnere0fbd482003-02-09 18:42:43 +0000119 } else {
120 // Loop over all of the call sites, building a multi-map from Callees to
121 // DSCallSite*'s. With this map we can then loop over each callee, cloning
122 // this graph once into it, then resolving arguments.
123 //
124 std::multimap<Function*, const DSCallSite*> CalleeSites;
125 for (unsigned i = 0, e = CallSites.size(); i != e; ++i) {
126 const DSCallSite &CS = CallSites[i];
127 if (CS.isDirectCall()) {
128 if (!CS.getCalleeFunc()->isExternal()) // If it's not external
129 CalleeSites.insert(std::make_pair(CS.getCalleeFunc(), &CS));// Keep it
130 } else {
131 const std::vector<GlobalValue*> &Callees =
132 CS.getCalleeNode()->getGlobals();
Chris Lattnerce2d1322002-11-08 22:26:43 +0000133
Chris Lattnere0fbd482003-02-09 18:42:43 +0000134 // Loop over all of the functions that this call may invoke...
135 for (unsigned c = 0, e = Callees.size(); c != e; ++c)
136 if (Function *F = dyn_cast<Function>(Callees[c]))// If this is a fn...
137 if (!F->isExternal()) // If it's not extern
138 CalleeSites.insert(std::make_pair(F, &CS)); // Keep track of it!
139 }
Chris Lattner923fc052003-02-05 21:59:58 +0000140 }
Chris Lattner0e744122002-10-17 04:26:54 +0000141
Chris Lattnere0fbd482003-02-09 18:42:43 +0000142 // Now that we have information about all of the callees, propagate the
143 // current graph into the callees.
144 //
145 DEBUG(std::cerr << " [TD] Inlining '" << F.getName() << "' into "
146 << CalleeSites.size() << " callees.\n");
Chris Lattner7a211632002-11-08 21:28:37 +0000147
Chris Lattnere0fbd482003-02-09 18:42:43 +0000148 // Loop over all the callees...
149 for (std::multimap<Function*, const DSCallSite*>::iterator
150 I = CalleeSites.begin(), E = CalleeSites.end(); I != E; )
151 if (I->first == &F) { // Bottom-up pass takes care of self loops!
152 ++I;
153 } else {
154 // For each callee...
155 Function *Callee = I->first;
156 DSGraph &CG = getOrCreateDSGraph(*Callee); // Get the callee's graph...
Chris Lattner7a211632002-11-08 21:28:37 +0000157
Chris Lattnere0fbd482003-02-09 18:42:43 +0000158 DEBUG(std::cerr << "\t [TD] Inlining into callee '" << Callee->getName()
159 << "'\n");
Chris Lattner7a211632002-11-08 21:28:37 +0000160
Chris Lattnere0fbd482003-02-09 18:42:43 +0000161 // Clone our current graph into the callee...
162 hash_map<Value*, DSNodeHandle> OldValMap;
163 hash_map<const DSNode*, DSNodeHandle> OldNodeMap;
164 CG.cloneInto(Graph, OldValMap, OldNodeMap,
165 DSGraph::StripModRefBits |
Chris Lattner4f2cfc02003-02-10 18:16:36 +0000166 DSGraph::KeepAllocaBit | DSGraph::DontCloneCallNodes |
167 DSGraph::DontCloneAuxCallNodes);
Chris Lattnere0fbd482003-02-09 18:42:43 +0000168 OldValMap.clear(); // We don't care about the ValMap
Vikram S. Adve61ff0292002-11-27 17:41:13 +0000169
Chris Lattnere0fbd482003-02-09 18:42:43 +0000170 // Loop over all of the invocation sites of the callee, resolving
171 // arguments to our graph. This loop may iterate multiple times if the
172 // current function calls this callee multiple times with different
173 // signatures.
174 //
175 for (; I != E && I->first == Callee; ++I) {
176 // Map call site into callee graph
177 DSCallSite NewCS(*I->second, OldNodeMap);
Chris Lattner7a211632002-11-08 21:28:37 +0000178
Chris Lattnere0fbd482003-02-09 18:42:43 +0000179 // Resolve the return values...
180 NewCS.getRetVal().mergeWith(CG.getRetNode());
Chris Lattner7a211632002-11-08 21:28:37 +0000181
Chris Lattnere0fbd482003-02-09 18:42:43 +0000182 // Resolve all of the arguments...
183 Function::aiterator AI = Callee->abegin();
184 for (unsigned i = 0, e = NewCS.getNumPtrArgs();
185 i != e && AI != Callee->aend(); ++i, ++AI) {
186 // Advance the argument iterator to the first pointer argument...
Chris Lattner72d29a42003-02-11 23:11:51 +0000187 while (AI != Callee->aend() && !DS::isPointerType(AI->getType()))
Chris Lattnere0fbd482003-02-09 18:42:43 +0000188 ++AI;
Chris Lattner72d29a42003-02-11 23:11:51 +0000189 if (AI == Callee->aend()) break;
190
Chris Lattnere0fbd482003-02-09 18:42:43 +0000191 // Add the link from the argument scalar to the provided value
192 DSNodeHandle &NH = CG.getNodeForValue(AI);
193 assert(NH.getNode() && "Pointer argument without scalarmap entry?");
194 NH.mergeWith(NewCS.getPtrArg(i));
195 }
Chris Lattner7a211632002-11-08 21:28:37 +0000196 }
Chris Lattnere0fbd482003-02-09 18:42:43 +0000197
198 // Done with the nodemap...
199 OldNodeMap.clear();
200
201 // Recompute the Incomplete markers and eliminate unreachable nodes.
Chris Lattner4f2cfc02003-02-10 18:16:36 +0000202 CG.removeTriviallyDeadNodes();
Chris Lattnere0fbd482003-02-09 18:42:43 +0000203 CG.maskIncompleteMarkers();
Chris Lattner4f2cfc02003-02-10 18:16:36 +0000204 CG.markIncompleteNodes(DSGraph::MarkFormalArgs |DSGraph::IgnoreGlobals);
Chris Lattnere0fbd482003-02-09 18:42:43 +0000205 CG.removeDeadNodes(DSGraph::RemoveUnreachableGlobals);
Chris Lattner7a211632002-11-08 21:28:37 +0000206 }
207
Chris Lattnere0fbd482003-02-09 18:42:43 +0000208 DEBUG(std::cerr << " [TD] Done inlining into callees for: " << F.getName()
209 << " [" << Graph.getGraphSize() << "+"
210 << Graph.getFunctionCalls().size() << "]\n");
Chris Lattner7a211632002-11-08 21:28:37 +0000211
Chris Lattnere0fbd482003-02-09 18:42:43 +0000212 // Loop over all the callees... making sure they are all resolved now...
213 Function *LastFunc = 0;
214 for (std::multimap<Function*, const DSCallSite*>::iterator
215 I = CalleeSites.begin(), E = CalleeSites.end(); I != E; ++I)
216 if (I->first != LastFunc) { // Only visit each callee once...
217 LastFunc = I->first;
218 calculateGraph(*I->first);
219 }
220 }
Vikram S. Adveaaeee752002-07-30 22:06:40 +0000221}
Chris Lattner4923d1b2003-02-03 22:51:28 +0000222