blob: 6c986fe1db7c83b8d70001d47d7715d0a79f4ffa [file] [log] [blame]
Chris Lattnerbb2a28f2002-03-26 22:39:06 +00001//===- NodeImpl.cpp - Implement the data structure analysis nodes ---------===//
2//
3// Implement the LLVM data structure analysis library.
4//
5//===----------------------------------------------------------------------===//
6
Chris Lattnerb28bf052002-03-31 07:16:08 +00007#include "llvm/Analysis/DataStructureGraph.h"
Chris Lattnere6d4ec32002-04-08 21:58:53 +00008#include "llvm/Assembly/Writer.h"
Chris Lattnerbb2a28f2002-03-26 22:39:06 +00009#include "llvm/DerivedTypes.h"
10#include "llvm/Function.h"
11#include "llvm/BasicBlock.h"
12#include "llvm/iMemory.h"
13#include "llvm/iOther.h"
Chris Lattner73e21422002-04-09 19:48:49 +000014#include "llvm/Argument.h"
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000015#include "Support/STLExtras.h"
16#include <algorithm>
17#include <sstream>
18
Chris Lattnerb28bf052002-03-31 07:16:08 +000019bool AllocDSNode::isEquivalentTo(DSNode *Node) const {
20 if (AllocDSNode *N = dyn_cast<AllocDSNode>(Node))
21 return getType() == Node->getType();
22// return N->Allocation == Allocation;
23 return false;
24}
25
26bool GlobalDSNode::isEquivalentTo(DSNode *Node) const {
27 if (GlobalDSNode *G = dyn_cast<GlobalDSNode>(Node))
28 return G->Val == Val;
29 return false;
30}
31
32bool CallDSNode::isEquivalentTo(DSNode *Node) const {
Chris Lattner0009dac2002-04-04 19:21:51 +000033 return false;
Chris Lattnerb28bf052002-03-31 07:16:08 +000034 if (CallDSNode *C = dyn_cast<CallDSNode>(Node))
Chris Lattner0009dac2002-04-04 19:21:51 +000035 return C->CI->getCalledFunction() == CI->getCalledFunction() &&
36 C->ArgLinks == ArgLinks;
Chris Lattnerb28bf052002-03-31 07:16:08 +000037 return false;
38}
39
40bool ArgDSNode::isEquivalentTo(DSNode *Node) const {
41 return false;
42}
43
44// NodesAreEquivalent - Check to see if the nodes are equivalent in all ways
45// except node type. Since we know N1 is a shadow node, N2 is allowed to be
46// any type.
47//
48bool ShadowDSNode::isEquivalentTo(DSNode *Node) const {
Chris Lattner0009dac2002-04-04 19:21:51 +000049 return getType() == Node->getType();
Chris Lattnerb28bf052002-03-31 07:16:08 +000050 return !isCriticalNode(); // Must not be a critical node...
51}
52
53
54
55
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000056//===----------------------------------------------------------------------===//
57// DSNode Class Implementation
58//
59
60static void MapPVS(PointerValSet &PVSOut, const PointerValSet &PVSIn,
Chris Lattner1120c8b2002-03-28 17:56:03 +000061 map<const DSNode*, DSNode*> &NodeMap, bool ReinitOk = false){
62 assert((ReinitOk || PVSOut.empty()) && "Value set already initialized!");
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000063
64 for (unsigned i = 0, e = PVSIn.size(); i != e; ++i)
65 PVSOut.add(PointerVal(NodeMap[PVSIn[i].Node], PVSIn[i].Index));
66}
67
68
69
70unsigned countPointerFields(const Type *Ty) {
71 switch (Ty->getPrimitiveID()) {
72 case Type::StructTyID: {
73 const StructType *ST = cast<StructType>(Ty);
74 unsigned Sum = 0;
75 for (unsigned i = 0, e = ST->getNumContainedTypes(); i != e; ++i)
76 Sum += countPointerFields(ST->getContainedType(i));
77
78 return Sum;
79 }
80
81 case Type::ArrayTyID:
82 // All array elements are folded together...
83 return countPointerFields(cast<ArrayType>(Ty)->getElementType());
84
85 case Type::PointerTyID:
86 return 1;
87
88 default: // Some other type, just treat it like a scalar
89 return 0;
90 }
91}
92
93DSNode::DSNode(enum NodeTy NT, const Type *T) : Ty(T), NodeType(NT) {
94 // Create field entries for all of the values in this type...
95 FieldLinks.resize(countPointerFields(getType()));
96}
97
98void DSNode::removeReferrer(PointerValSet *PVS) {
99 vector<PointerValSet*>::iterator I = std::find(Referrers.begin(),
100 Referrers.end(), PVS);
101 assert(I != Referrers.end() && "PVS not pointing to node!");
102 Referrers.erase(I);
103}
104
105
Chris Lattner6088c4f2002-03-27 19:46:05 +0000106// removeAllIncomingEdges - Erase all edges in the graph that point to this node
107void DSNode::removeAllIncomingEdges() {
108 while (!Referrers.empty())
109 Referrers.back()->removePointerTo(this);
110}
111
112
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000113static void replaceIn(std::string &S, char From, const std::string &To) {
114 for (unsigned i = 0; i < S.size(); )
115 if (S[i] == From) {
116 S.replace(S.begin()+i, S.begin()+i+1,
117 To.begin(), To.end());
118 i += To.size();
119 } else {
120 ++i;
121 }
122}
123
124static void writeEdges(std::ostream &O, const void *SrcNode,
125 const char *SrcNodePortName, int SrcNodeIdx,
126 const PointerValSet &VS, const string &EdgeAttr = "") {
127 for (unsigned j = 0, je = VS.size(); j != je; ++j) {
128 O << "\t\tNode" << SrcNode << SrcNodePortName;
129 if (SrcNodeIdx != -1) O << SrcNodeIdx;
130
131 O << " -> Node" << VS[j].Node;
132 if (VS[j].Index)
133 O << ":g" << VS[j].Index;
134
135 if (!EdgeAttr.empty())
136 O << "[" << EdgeAttr << "]";
137 O << ";\n";
138 }
139}
140
141static string escapeLabel(const string &In) {
142 string Label(In);
143 replaceIn(Label, '\\', "\\\\\\\\"); // Escape caption...
144 replaceIn(Label, ' ', "\\ ");
145 replaceIn(Label, '{', "\\{");
146 replaceIn(Label, '}', "\\}");
147 return Label;
148}
149
Chris Lattnerb28bf052002-03-31 07:16:08 +0000150void DSNode::dump() const { print(cerr); }
151
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000152void DSNode::print(std::ostream &O) const {
153 string Caption = escapeLabel(getCaption());
154
155 O << "\t\tNode" << (void*)this << " [ label =\"{" << Caption;
156
157 const vector<PointerValSet> *Links = getAuxLinks();
158 if (Links && !Links->empty()) {
159 O << "|{";
160 for (unsigned i = 0; i < Links->size(); ++i) {
161 if (i) O << "|";
162 O << "<f" << i << ">";
163 }
164 O << "}";
165 }
166
167 if (!FieldLinks.empty()) {
168 O << "|{";
169 for (unsigned i = 0; i < FieldLinks.size(); ++i) {
170 if (i) O << "|";
171 O << "<g" << i << ">";
172 }
173 O << "}";
174 }
175 O << "}\"];\n";
176
177 if (Links)
178 for (unsigned i = 0; i < Links->size(); ++i)
179 writeEdges(O, this, ":f", i, (*Links)[i]);
180 for (unsigned i = 0; i < FieldLinks.size(); ++i)
181 writeEdges(O, this, ":g", i, FieldLinks[i]);
182}
183
184void DSNode::mapNode(map<const DSNode*, DSNode*> &NodeMap, const DSNode *Old) {
185 assert(FieldLinks.size() == Old->FieldLinks.size() &&
186 "Cloned nodes do not have the same number of links!");
187 for (unsigned j = 0, je = FieldLinks.size(); j != je; ++j)
188 MapPVS(FieldLinks[j], Old->FieldLinks[j], NodeMap);
189}
190
Chris Lattner1120c8b2002-03-28 17:56:03 +0000191AllocDSNode::AllocDSNode(AllocationInst *V)
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000192 : DSNode(NewNode, V->getType()->getElementType()), Allocation(V) {
193}
194
Chris Lattner1120c8b2002-03-28 17:56:03 +0000195bool AllocDSNode::isAllocaNode() const {
Chris Lattner6088c4f2002-03-27 19:46:05 +0000196 return isa<AllocaInst>(Allocation);
197}
198
199
Chris Lattner1120c8b2002-03-28 17:56:03 +0000200string AllocDSNode::getCaption() const {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000201 stringstream OS;
Chris Lattner6088c4f2002-03-27 19:46:05 +0000202 OS << (isMallocNode() ? "new " : "alloca ");
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000203
204 WriteTypeSymbolic(OS, getType(),
205 Allocation->getParent()->getParent()->getParent());
206 if (Allocation->isArrayAllocation())
207 OS << "[ ]";
208 return OS.str();
209}
210
211GlobalDSNode::GlobalDSNode(GlobalValue *V)
212 : DSNode(GlobalNode, V->getType()->getElementType()), Val(V) {
213}
214
215string GlobalDSNode::getCaption() const {
216 stringstream OS;
217 WriteTypeSymbolic(OS, getType(), Val->getParent());
Chris Lattner1120c8b2002-03-28 17:56:03 +0000218 return "global " + OS.str() + " %" + Val->getName();
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000219}
220
221
Chris Lattnerdba61f32002-04-01 00:15:30 +0000222ShadowDSNode::ShadowDSNode(const Type *Ty, Module *M, bool C = false)
223 : DSNode(ShadowNode, Ty) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000224 Mod = M;
225 ShadowParent = 0;
Chris Lattner6088c4f2002-03-27 19:46:05 +0000226 CriticalNode = C;
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000227}
228
229ShadowDSNode::ShadowDSNode(const Type *Ty, Module *M, ShadowDSNode *ShadParent)
230 : DSNode(ShadowNode, Ty) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000231 Mod = M;
232 ShadowParent = ShadParent;
Chris Lattner6088c4f2002-03-27 19:46:05 +0000233 CriticalNode = false;
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000234}
235
236std::string ShadowDSNode::getCaption() const {
237 stringstream OS;
Chris Lattner6088c4f2002-03-27 19:46:05 +0000238 if (CriticalNode) OS << "# ";
239 OS << "shadow ";
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000240 WriteTypeSymbolic(OS, getType(), Mod);
Chris Lattner6088c4f2002-03-27 19:46:05 +0000241 if (CriticalNode) OS << " #";
242 return OS.str();
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000243}
244
245void ShadowDSNode::mapNode(map<const DSNode*, DSNode*> &NodeMap,
246 const DSNode *O) {
247 const ShadowDSNode *Old = (ShadowDSNode*)O;
248 DSNode::mapNode(NodeMap, Old); // Map base portions first...
249
250 // Map our SynthNodes...
251 assert(SynthNodes.empty() && "Synthnodes already mapped?");
252 SynthNodes.reserve(Old->SynthNodes.size());
253 for (unsigned i = 0, e = Old->SynthNodes.size(); i != e; ++i)
254 SynthNodes.push_back(std::make_pair(Old->SynthNodes[i].first,
255 (ShadowDSNode*)NodeMap[Old->SynthNodes[i].second]));
256}
257
258
259CallDSNode::CallDSNode(CallInst *ci) : DSNode(CallNode, ci->getType()), CI(ci) {
260 unsigned NumPtrs = 0;
261 if (!isa<Function>(ci->getOperand(0)))
262 NumPtrs++; // Include the method pointer...
263
264 for (unsigned i = 1, e = ci->getNumOperands(); i != e; ++i)
265 if (isa<PointerType>(ci->getOperand(i)->getType()))
266 NumPtrs++;
267 ArgLinks.resize(NumPtrs);
268}
269
270string CallDSNode::getCaption() const {
271 stringstream OS;
272 if (const Function *CM = CI->getCalledFunction())
273 OS << "call " << CM->getName();
274 else
275 OS << "call <indirect>";
276 OS << "|Ret: ";
277 WriteTypeSymbolic(OS, getType(),
278 CI->getParent()->getParent()->getParent());
279 return OS.str();
280}
281
282void CallDSNode::mapNode(map<const DSNode*, DSNode*> &NodeMap,
283 const DSNode *O) {
Chris Lattner1120c8b2002-03-28 17:56:03 +0000284 const CallDSNode *Old = cast<CallDSNode>(O);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000285 DSNode::mapNode(NodeMap, Old); // Map base portions first...
286
287 assert(ArgLinks.size() == Old->ArgLinks.size() && "# Arguments changed!?");
288 for (unsigned i = 0, e = Old->ArgLinks.size(); i != e; ++i)
289 MapPVS(ArgLinks[i], Old->ArgLinks[i], NodeMap);
290}
291
Chris Lattner73e21422002-04-09 19:48:49 +0000292ArgDSNode::ArgDSNode(Argument *FA)
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000293 : DSNode(ArgNode, FA->getType()), FuncArg(FA) {
294}
295
296string ArgDSNode::getCaption() const {
297 stringstream OS;
298 OS << "arg %" << FuncArg->getName() << "|Ty: ";
299 WriteTypeSymbolic(OS, getType(), FuncArg->getParent()->getParent());
300 return OS.str();
301}
302
303void FunctionDSGraph::printFunction(std::ostream &O,
304 const char *Label) const {
305 O << "\tsubgraph cluster_" << Label << "_Function" << (void*)this << " {\n";
306 O << "\t\tlabel=\"" << Label << " Function\\ " << Func->getName() << "\";\n";
Chris Lattner1120c8b2002-03-28 17:56:03 +0000307 for (unsigned i = 0, e = ArgNodes.size(); i != e; ++i)
308 ArgNodes[i]->print(O);
309 for (unsigned i = 0, e = AllocNodes.size(); i != e; ++i)
310 AllocNodes[i]->print(O);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000311 for (unsigned i = 0, e = ShadowNodes.size(); i != e; ++i)
312 ShadowNodes[i]->print(O);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000313 for (unsigned i = 0, e = GlobalNodes.size(); i != e; ++i)
314 GlobalNodes[i]->print(O);
315 for (unsigned i = 0, e = CallNodes.size(); i != e; ++i)
316 CallNodes[i]->print(O);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000317
318 if (RetNode.size()) {
319 O << "\t\tNode" << (void*)this << Label
320 << " [shape=\"ellipse\", label=\"Returns\"];\n";
321 writeEdges(O, this, Label, -1, RetNode);
322 }
323
324 O << "\n";
325 for (std::map<Value*, PointerValSet>::const_iterator I = ValueMap.begin(),
326 E = ValueMap.end(); I != E; ++I) {
327 if (I->second.size()) { // Only output nodes with edges...
328 stringstream OS;
329 WriteTypeSymbolic(OS, I->first->getType(), Func->getParent());
330
331 // Create node for I->first
332 O << "\t\tNode" << (void*)I->first << Label << " [shape=\"box\", label=\""
333 << escapeLabel(OS.str()) << "\\n%" << escapeLabel(I->first->getName())
334 << "\",fontsize=\"12.0\",color=\"gray70\"];\n";
335
336 // add edges from I->first to all pointers in I->second
337 writeEdges(O, I->first, Label, -1, I->second,
338 "weight=\"0.9\",color=\"gray70\"");
339 }
340 }
341
342 O << "\t}\n";
343}
344
345// Copy constructor - Since we copy the nodes over, we have to be sure to go
346// through and fix pointers to point into the new graph instead of into the old
347// graph...
348//
349FunctionDSGraph::FunctionDSGraph(const FunctionDSGraph &DSG) : Func(DSG.Func) {
350 RetNode = cloneFunctionIntoSelf(DSG, true);
351}
352
353
354// cloneFunctionIntoSelf - Clone the specified method graph into the current
355// method graph, returning the Return's set of the graph. If ValueMap is set
356// to true, the ValueMap of the function is cloned into this function as well
357// as the data structure graph itself.
358//
359PointerValSet FunctionDSGraph::cloneFunctionIntoSelf(const FunctionDSGraph &DSG,
360 bool CloneValueMap) {
361 map<const DSNode*, DSNode*> NodeMap; // Map from old graph to new graph...
Chris Lattner1120c8b2002-03-28 17:56:03 +0000362 unsigned StartArgSize = ArgNodes.size();
363 ArgNodes.reserve(StartArgSize+DSG.ArgNodes.size());
364 unsigned StartAllocSize = AllocNodes.size();
365 AllocNodes.reserve(StartAllocSize+DSG.AllocNodes.size());
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000366 unsigned StartShadowSize = ShadowNodes.size();
367 ShadowNodes.reserve(StartShadowSize+DSG.ShadowNodes.size());
Chris Lattner1120c8b2002-03-28 17:56:03 +0000368 unsigned StartGlobalSize = GlobalNodes.size();
369 GlobalNodes.reserve(StartGlobalSize+DSG.GlobalNodes.size());
370 unsigned StartCallSize = CallNodes.size();
371 CallNodes.reserve(StartCallSize+DSG.CallNodes.size());
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000372
Chris Lattner1120c8b2002-03-28 17:56:03 +0000373 // Clone all of the arg nodes...
374 for (unsigned i = 0, e = DSG.ArgNodes.size(); i != e; ++i) {
375 ArgDSNode *New = cast<ArgDSNode>(DSG.ArgNodes[i]->clone());
376 NodeMap[DSG.ArgNodes[i]] = New;
377 ArgNodes.push_back(New);
378 }
379
380 // Clone all of the alloc nodes similarly...
381 for (unsigned i = 0, e = DSG.AllocNodes.size(); i != e; ++i) {
382 AllocDSNode *New = cast<AllocDSNode>(DSG.AllocNodes[i]->clone());
383 NodeMap[DSG.AllocNodes[i]] = New;
384 AllocNodes.push_back(New);
385 }
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000386
387 // Clone all of the shadow nodes similarly...
Chris Lattnerdd3fc182002-03-27 00:54:31 +0000388 for (unsigned i = 0, e = DSG.ShadowNodes.size(); i != e; ++i) {
389 ShadowDSNode *New = cast<ShadowDSNode>(DSG.ShadowNodes[i]->clone());
390 NodeMap[DSG.ShadowNodes[i]] = New;
391 ShadowNodes.push_back(New);
392 }
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000393
Chris Lattner1120c8b2002-03-28 17:56:03 +0000394 // Clone all of the global nodes...
395 for (unsigned i = 0, e = DSG.GlobalNodes.size(); i != e; ++i) {
396 GlobalDSNode *New = cast<GlobalDSNode>(DSG.GlobalNodes[i]->clone());
397 NodeMap[DSG.GlobalNodes[i]] = New;
398 GlobalNodes.push_back(New);
399 }
400
401 // Clone all of the call nodes...
402 for (unsigned i = 0, e = DSG.CallNodes.size(); i != e; ++i) {
403 CallDSNode *New = cast<CallDSNode>(DSG.CallNodes[i]->clone());
404 NodeMap[DSG.CallNodes[i]] = New;
405 CallNodes.push_back(New);
406 }
407
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000408 // Convert all of the links over in the nodes now that the map has been filled
409 // in all the way...
410 //
Chris Lattner1120c8b2002-03-28 17:56:03 +0000411 for (unsigned i = 0, e = DSG.ArgNodes.size(); i != e; ++i)
412 ArgNodes[i+StartArgSize]->mapNode(NodeMap, DSG.ArgNodes[i]);
413 for (unsigned i = 0, e = DSG.AllocNodes.size(); i != e; ++i)
414 AllocNodes[i+StartAllocSize]->mapNode(NodeMap, DSG.AllocNodes[i]);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000415 for (unsigned i = 0, e = DSG.ShadowNodes.size(); i != e; ++i)
416 ShadowNodes[i+StartShadowSize]->mapNode(NodeMap, DSG.ShadowNodes[i]);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000417 for (unsigned i = 0, e = DSG.GlobalNodes.size(); i != e; ++i)
418 GlobalNodes[i+StartGlobalSize]->mapNode(NodeMap, DSG.GlobalNodes[i]);
419 for (unsigned i = 0, e = DSG.CallNodes.size(); i != e; ++i)
420 CallNodes[i+StartCallSize]->mapNode(NodeMap, DSG.CallNodes[i]);
421
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000422
423 if (CloneValueMap) {
424 // Convert value map... the values themselves stay the same, just the nodes
425 // have to change...
426 //
427 for (std::map<Value*,PointerValSet>::const_iterator I =DSG.ValueMap.begin(),
428 E = DSG.ValueMap.end(); I != E; ++I)
Chris Lattner1120c8b2002-03-28 17:56:03 +0000429 MapPVS(ValueMap[I->first], I->second, NodeMap, true);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000430 }
431
432 // Convert over return node...
433 PointerValSet RetVals;
434 MapPVS(RetVals, DSG.RetNode, NodeMap);
435 return RetVals;
436}
437
438
439FunctionDSGraph::~FunctionDSGraph() {
440 RetNode.clear();
441 ValueMap.clear();
Chris Lattner1120c8b2002-03-28 17:56:03 +0000442 for_each(ArgNodes.begin(), ArgNodes.end(),
443 mem_fun(&DSNode::dropAllReferences));
444 for_each(AllocNodes.begin(), AllocNodes.end(),
445 mem_fun(&DSNode::dropAllReferences));
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000446 for_each(ShadowNodes.begin(), ShadowNodes.end(),
447 mem_fun(&DSNode::dropAllReferences));
Chris Lattner1120c8b2002-03-28 17:56:03 +0000448 for_each(GlobalNodes.begin(), GlobalNodes.end(),
449 mem_fun(&DSNode::dropAllReferences));
450 for_each(CallNodes.begin(), CallNodes.end(),
451 mem_fun(&DSNode::dropAllReferences));
452 for_each(ArgNodes.begin(), ArgNodes.end(), deleter<DSNode>);
453 for_each(AllocNodes.begin(), AllocNodes.end(), deleter<DSNode>);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000454 for_each(ShadowNodes.begin(), ShadowNodes.end(), deleter<DSNode>);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000455 for_each(GlobalNodes.begin(), GlobalNodes.end(), deleter<DSNode>);
456 for_each(CallNodes.begin(), CallNodes.end(), deleter<DSNode>);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000457}
458