blob: c773eb16fa2461a5f468518c3de83ac3b5a75921 [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 Lattnerbb2a28f2002-03-26 22:39:06 +00008#include "llvm/DerivedTypes.h"
9#include "llvm/Function.h"
10#include "llvm/BasicBlock.h"
11#include "llvm/iMemory.h"
12#include "llvm/iOther.h"
13#include "llvm/Assembly/Writer.h"
14#include "Support/STLExtras.h"
15#include <algorithm>
16#include <sstream>
17
Chris Lattnerb28bf052002-03-31 07:16:08 +000018bool AllocDSNode::isEquivalentTo(DSNode *Node) const {
19 if (AllocDSNode *N = dyn_cast<AllocDSNode>(Node))
20 return getType() == Node->getType();
21// return N->Allocation == Allocation;
22 return false;
23}
24
25bool GlobalDSNode::isEquivalentTo(DSNode *Node) const {
26 if (GlobalDSNode *G = dyn_cast<GlobalDSNode>(Node))
27 return G->Val == Val;
28 return false;
29}
30
31bool CallDSNode::isEquivalentTo(DSNode *Node) const {
Chris Lattner0009dac2002-04-04 19:21:51 +000032 return false;
Chris Lattnerb28bf052002-03-31 07:16:08 +000033 if (CallDSNode *C = dyn_cast<CallDSNode>(Node))
Chris Lattner0009dac2002-04-04 19:21:51 +000034 return C->CI->getCalledFunction() == CI->getCalledFunction() &&
35 C->ArgLinks == ArgLinks;
Chris Lattnerb28bf052002-03-31 07:16:08 +000036 return false;
37}
38
39bool ArgDSNode::isEquivalentTo(DSNode *Node) const {
40 return false;
41}
42
43// NodesAreEquivalent - Check to see if the nodes are equivalent in all ways
44// except node type. Since we know N1 is a shadow node, N2 is allowed to be
45// any type.
46//
47bool ShadowDSNode::isEquivalentTo(DSNode *Node) const {
Chris Lattner0009dac2002-04-04 19:21:51 +000048 return getType() == Node->getType();
Chris Lattnerb28bf052002-03-31 07:16:08 +000049 return !isCriticalNode(); // Must not be a critical node...
50}
51
52
53
54
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000055//===----------------------------------------------------------------------===//
56// DSNode Class Implementation
57//
58
59static void MapPVS(PointerValSet &PVSOut, const PointerValSet &PVSIn,
Chris Lattner1120c8b2002-03-28 17:56:03 +000060 map<const DSNode*, DSNode*> &NodeMap, bool ReinitOk = false){
61 assert((ReinitOk || PVSOut.empty()) && "Value set already initialized!");
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000062
63 for (unsigned i = 0, e = PVSIn.size(); i != e; ++i)
64 PVSOut.add(PointerVal(NodeMap[PVSIn[i].Node], PVSIn[i].Index));
65}
66
67
68
69unsigned countPointerFields(const Type *Ty) {
70 switch (Ty->getPrimitiveID()) {
71 case Type::StructTyID: {
72 const StructType *ST = cast<StructType>(Ty);
73 unsigned Sum = 0;
74 for (unsigned i = 0, e = ST->getNumContainedTypes(); i != e; ++i)
75 Sum += countPointerFields(ST->getContainedType(i));
76
77 return Sum;
78 }
79
80 case Type::ArrayTyID:
81 // All array elements are folded together...
82 return countPointerFields(cast<ArrayType>(Ty)->getElementType());
83
84 case Type::PointerTyID:
85 return 1;
86
87 default: // Some other type, just treat it like a scalar
88 return 0;
89 }
90}
91
92DSNode::DSNode(enum NodeTy NT, const Type *T) : Ty(T), NodeType(NT) {
93 // Create field entries for all of the values in this type...
94 FieldLinks.resize(countPointerFields(getType()));
95}
96
97void DSNode::removeReferrer(PointerValSet *PVS) {
98 vector<PointerValSet*>::iterator I = std::find(Referrers.begin(),
99 Referrers.end(), PVS);
100 assert(I != Referrers.end() && "PVS not pointing to node!");
101 Referrers.erase(I);
102}
103
104
Chris Lattner6088c4f2002-03-27 19:46:05 +0000105// removeAllIncomingEdges - Erase all edges in the graph that point to this node
106void DSNode::removeAllIncomingEdges() {
107 while (!Referrers.empty())
108 Referrers.back()->removePointerTo(this);
109}
110
111
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000112static void replaceIn(std::string &S, char From, const std::string &To) {
113 for (unsigned i = 0; i < S.size(); )
114 if (S[i] == From) {
115 S.replace(S.begin()+i, S.begin()+i+1,
116 To.begin(), To.end());
117 i += To.size();
118 } else {
119 ++i;
120 }
121}
122
123static void writeEdges(std::ostream &O, const void *SrcNode,
124 const char *SrcNodePortName, int SrcNodeIdx,
125 const PointerValSet &VS, const string &EdgeAttr = "") {
126 for (unsigned j = 0, je = VS.size(); j != je; ++j) {
127 O << "\t\tNode" << SrcNode << SrcNodePortName;
128 if (SrcNodeIdx != -1) O << SrcNodeIdx;
129
130 O << " -> Node" << VS[j].Node;
131 if (VS[j].Index)
132 O << ":g" << VS[j].Index;
133
134 if (!EdgeAttr.empty())
135 O << "[" << EdgeAttr << "]";
136 O << ";\n";
137 }
138}
139
140static string escapeLabel(const string &In) {
141 string Label(In);
142 replaceIn(Label, '\\', "\\\\\\\\"); // Escape caption...
143 replaceIn(Label, ' ', "\\ ");
144 replaceIn(Label, '{', "\\{");
145 replaceIn(Label, '}', "\\}");
146 return Label;
147}
148
Chris Lattnerb28bf052002-03-31 07:16:08 +0000149void DSNode::dump() const { print(cerr); }
150
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000151void DSNode::print(std::ostream &O) const {
152 string Caption = escapeLabel(getCaption());
153
154 O << "\t\tNode" << (void*)this << " [ label =\"{" << Caption;
155
156 const vector<PointerValSet> *Links = getAuxLinks();
157 if (Links && !Links->empty()) {
158 O << "|{";
159 for (unsigned i = 0; i < Links->size(); ++i) {
160 if (i) O << "|";
161 O << "<f" << i << ">";
162 }
163 O << "}";
164 }
165
166 if (!FieldLinks.empty()) {
167 O << "|{";
168 for (unsigned i = 0; i < FieldLinks.size(); ++i) {
169 if (i) O << "|";
170 O << "<g" << i << ">";
171 }
172 O << "}";
173 }
174 O << "}\"];\n";
175
176 if (Links)
177 for (unsigned i = 0; i < Links->size(); ++i)
178 writeEdges(O, this, ":f", i, (*Links)[i]);
179 for (unsigned i = 0; i < FieldLinks.size(); ++i)
180 writeEdges(O, this, ":g", i, FieldLinks[i]);
181}
182
183void DSNode::mapNode(map<const DSNode*, DSNode*> &NodeMap, const DSNode *Old) {
184 assert(FieldLinks.size() == Old->FieldLinks.size() &&
185 "Cloned nodes do not have the same number of links!");
186 for (unsigned j = 0, je = FieldLinks.size(); j != je; ++j)
187 MapPVS(FieldLinks[j], Old->FieldLinks[j], NodeMap);
188}
189
Chris Lattner1120c8b2002-03-28 17:56:03 +0000190AllocDSNode::AllocDSNode(AllocationInst *V)
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000191 : DSNode(NewNode, V->getType()->getElementType()), Allocation(V) {
192}
193
Chris Lattner1120c8b2002-03-28 17:56:03 +0000194bool AllocDSNode::isAllocaNode() const {
Chris Lattner6088c4f2002-03-27 19:46:05 +0000195 return isa<AllocaInst>(Allocation);
196}
197
198
Chris Lattner1120c8b2002-03-28 17:56:03 +0000199string AllocDSNode::getCaption() const {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000200 stringstream OS;
Chris Lattner6088c4f2002-03-27 19:46:05 +0000201 OS << (isMallocNode() ? "new " : "alloca ");
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000202
203 WriteTypeSymbolic(OS, getType(),
204 Allocation->getParent()->getParent()->getParent());
205 if (Allocation->isArrayAllocation())
206 OS << "[ ]";
207 return OS.str();
208}
209
210GlobalDSNode::GlobalDSNode(GlobalValue *V)
211 : DSNode(GlobalNode, V->getType()->getElementType()), Val(V) {
212}
213
214string GlobalDSNode::getCaption() const {
215 stringstream OS;
216 WriteTypeSymbolic(OS, getType(), Val->getParent());
Chris Lattner1120c8b2002-03-28 17:56:03 +0000217 return "global " + OS.str() + " %" + Val->getName();
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000218}
219
220
Chris Lattnerdba61f32002-04-01 00:15:30 +0000221ShadowDSNode::ShadowDSNode(const Type *Ty, Module *M, bool C = false)
222 : DSNode(ShadowNode, Ty) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000223 Mod = M;
224 ShadowParent = 0;
Chris Lattner6088c4f2002-03-27 19:46:05 +0000225 CriticalNode = C;
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000226}
227
228ShadowDSNode::ShadowDSNode(const Type *Ty, Module *M, ShadowDSNode *ShadParent)
229 : DSNode(ShadowNode, Ty) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000230 Mod = M;
231 ShadowParent = ShadParent;
Chris Lattner6088c4f2002-03-27 19:46:05 +0000232 CriticalNode = false;
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000233}
234
235std::string ShadowDSNode::getCaption() const {
236 stringstream OS;
Chris Lattner6088c4f2002-03-27 19:46:05 +0000237 if (CriticalNode) OS << "# ";
238 OS << "shadow ";
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000239 WriteTypeSymbolic(OS, getType(), Mod);
Chris Lattner6088c4f2002-03-27 19:46:05 +0000240 if (CriticalNode) OS << " #";
241 return OS.str();
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000242}
243
244void ShadowDSNode::mapNode(map<const DSNode*, DSNode*> &NodeMap,
245 const DSNode *O) {
246 const ShadowDSNode *Old = (ShadowDSNode*)O;
247 DSNode::mapNode(NodeMap, Old); // Map base portions first...
248
249 // Map our SynthNodes...
250 assert(SynthNodes.empty() && "Synthnodes already mapped?");
251 SynthNodes.reserve(Old->SynthNodes.size());
252 for (unsigned i = 0, e = Old->SynthNodes.size(); i != e; ++i)
253 SynthNodes.push_back(std::make_pair(Old->SynthNodes[i].first,
254 (ShadowDSNode*)NodeMap[Old->SynthNodes[i].second]));
255}
256
257
258CallDSNode::CallDSNode(CallInst *ci) : DSNode(CallNode, ci->getType()), CI(ci) {
259 unsigned NumPtrs = 0;
260 if (!isa<Function>(ci->getOperand(0)))
261 NumPtrs++; // Include the method pointer...
262
263 for (unsigned i = 1, e = ci->getNumOperands(); i != e; ++i)
264 if (isa<PointerType>(ci->getOperand(i)->getType()))
265 NumPtrs++;
266 ArgLinks.resize(NumPtrs);
267}
268
269string CallDSNode::getCaption() const {
270 stringstream OS;
271 if (const Function *CM = CI->getCalledFunction())
272 OS << "call " << CM->getName();
273 else
274 OS << "call <indirect>";
275 OS << "|Ret: ";
276 WriteTypeSymbolic(OS, getType(),
277 CI->getParent()->getParent()->getParent());
278 return OS.str();
279}
280
281void CallDSNode::mapNode(map<const DSNode*, DSNode*> &NodeMap,
282 const DSNode *O) {
Chris Lattner1120c8b2002-03-28 17:56:03 +0000283 const CallDSNode *Old = cast<CallDSNode>(O);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000284 DSNode::mapNode(NodeMap, Old); // Map base portions first...
285
286 assert(ArgLinks.size() == Old->ArgLinks.size() && "# Arguments changed!?");
287 for (unsigned i = 0, e = Old->ArgLinks.size(); i != e; ++i)
288 MapPVS(ArgLinks[i], Old->ArgLinks[i], NodeMap);
289}
290
291ArgDSNode::ArgDSNode(FunctionArgument *FA)
292 : DSNode(ArgNode, FA->getType()), FuncArg(FA) {
293}
294
295string ArgDSNode::getCaption() const {
296 stringstream OS;
297 OS << "arg %" << FuncArg->getName() << "|Ty: ";
298 WriteTypeSymbolic(OS, getType(), FuncArg->getParent()->getParent());
299 return OS.str();
300}
301
302void FunctionDSGraph::printFunction(std::ostream &O,
303 const char *Label) const {
304 O << "\tsubgraph cluster_" << Label << "_Function" << (void*)this << " {\n";
305 O << "\t\tlabel=\"" << Label << " Function\\ " << Func->getName() << "\";\n";
Chris Lattner1120c8b2002-03-28 17:56:03 +0000306 for (unsigned i = 0, e = ArgNodes.size(); i != e; ++i)
307 ArgNodes[i]->print(O);
308 for (unsigned i = 0, e = AllocNodes.size(); i != e; ++i)
309 AllocNodes[i]->print(O);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000310 for (unsigned i = 0, e = ShadowNodes.size(); i != e; ++i)
311 ShadowNodes[i]->print(O);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000312 for (unsigned i = 0, e = GlobalNodes.size(); i != e; ++i)
313 GlobalNodes[i]->print(O);
314 for (unsigned i = 0, e = CallNodes.size(); i != e; ++i)
315 CallNodes[i]->print(O);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000316
317 if (RetNode.size()) {
318 O << "\t\tNode" << (void*)this << Label
319 << " [shape=\"ellipse\", label=\"Returns\"];\n";
320 writeEdges(O, this, Label, -1, RetNode);
321 }
322
323 O << "\n";
324 for (std::map<Value*, PointerValSet>::const_iterator I = ValueMap.begin(),
325 E = ValueMap.end(); I != E; ++I) {
326 if (I->second.size()) { // Only output nodes with edges...
327 stringstream OS;
328 WriteTypeSymbolic(OS, I->first->getType(), Func->getParent());
329
330 // Create node for I->first
331 O << "\t\tNode" << (void*)I->first << Label << " [shape=\"box\", label=\""
332 << escapeLabel(OS.str()) << "\\n%" << escapeLabel(I->first->getName())
333 << "\",fontsize=\"12.0\",color=\"gray70\"];\n";
334
335 // add edges from I->first to all pointers in I->second
336 writeEdges(O, I->first, Label, -1, I->second,
337 "weight=\"0.9\",color=\"gray70\"");
338 }
339 }
340
341 O << "\t}\n";
342}
343
344// Copy constructor - Since we copy the nodes over, we have to be sure to go
345// through and fix pointers to point into the new graph instead of into the old
346// graph...
347//
348FunctionDSGraph::FunctionDSGraph(const FunctionDSGraph &DSG) : Func(DSG.Func) {
349 RetNode = cloneFunctionIntoSelf(DSG, true);
350}
351
352
353// cloneFunctionIntoSelf - Clone the specified method graph into the current
354// method graph, returning the Return's set of the graph. If ValueMap is set
355// to true, the ValueMap of the function is cloned into this function as well
356// as the data structure graph itself.
357//
358PointerValSet FunctionDSGraph::cloneFunctionIntoSelf(const FunctionDSGraph &DSG,
359 bool CloneValueMap) {
360 map<const DSNode*, DSNode*> NodeMap; // Map from old graph to new graph...
Chris Lattner1120c8b2002-03-28 17:56:03 +0000361 unsigned StartArgSize = ArgNodes.size();
362 ArgNodes.reserve(StartArgSize+DSG.ArgNodes.size());
363 unsigned StartAllocSize = AllocNodes.size();
364 AllocNodes.reserve(StartAllocSize+DSG.AllocNodes.size());
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000365 unsigned StartShadowSize = ShadowNodes.size();
366 ShadowNodes.reserve(StartShadowSize+DSG.ShadowNodes.size());
Chris Lattner1120c8b2002-03-28 17:56:03 +0000367 unsigned StartGlobalSize = GlobalNodes.size();
368 GlobalNodes.reserve(StartGlobalSize+DSG.GlobalNodes.size());
369 unsigned StartCallSize = CallNodes.size();
370 CallNodes.reserve(StartCallSize+DSG.CallNodes.size());
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000371
Chris Lattner1120c8b2002-03-28 17:56:03 +0000372 // Clone all of the arg nodes...
373 for (unsigned i = 0, e = DSG.ArgNodes.size(); i != e; ++i) {
374 ArgDSNode *New = cast<ArgDSNode>(DSG.ArgNodes[i]->clone());
375 NodeMap[DSG.ArgNodes[i]] = New;
376 ArgNodes.push_back(New);
377 }
378
379 // Clone all of the alloc nodes similarly...
380 for (unsigned i = 0, e = DSG.AllocNodes.size(); i != e; ++i) {
381 AllocDSNode *New = cast<AllocDSNode>(DSG.AllocNodes[i]->clone());
382 NodeMap[DSG.AllocNodes[i]] = New;
383 AllocNodes.push_back(New);
384 }
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000385
386 // Clone all of the shadow nodes similarly...
Chris Lattnerdd3fc182002-03-27 00:54:31 +0000387 for (unsigned i = 0, e = DSG.ShadowNodes.size(); i != e; ++i) {
388 ShadowDSNode *New = cast<ShadowDSNode>(DSG.ShadowNodes[i]->clone());
389 NodeMap[DSG.ShadowNodes[i]] = New;
390 ShadowNodes.push_back(New);
391 }
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000392
Chris Lattner1120c8b2002-03-28 17:56:03 +0000393 // Clone all of the global nodes...
394 for (unsigned i = 0, e = DSG.GlobalNodes.size(); i != e; ++i) {
395 GlobalDSNode *New = cast<GlobalDSNode>(DSG.GlobalNodes[i]->clone());
396 NodeMap[DSG.GlobalNodes[i]] = New;
397 GlobalNodes.push_back(New);
398 }
399
400 // Clone all of the call nodes...
401 for (unsigned i = 0, e = DSG.CallNodes.size(); i != e; ++i) {
402 CallDSNode *New = cast<CallDSNode>(DSG.CallNodes[i]->clone());
403 NodeMap[DSG.CallNodes[i]] = New;
404 CallNodes.push_back(New);
405 }
406
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000407 // Convert all of the links over in the nodes now that the map has been filled
408 // in all the way...
409 //
Chris Lattner1120c8b2002-03-28 17:56:03 +0000410 for (unsigned i = 0, e = DSG.ArgNodes.size(); i != e; ++i)
411 ArgNodes[i+StartArgSize]->mapNode(NodeMap, DSG.ArgNodes[i]);
412 for (unsigned i = 0, e = DSG.AllocNodes.size(); i != e; ++i)
413 AllocNodes[i+StartAllocSize]->mapNode(NodeMap, DSG.AllocNodes[i]);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000414 for (unsigned i = 0, e = DSG.ShadowNodes.size(); i != e; ++i)
415 ShadowNodes[i+StartShadowSize]->mapNode(NodeMap, DSG.ShadowNodes[i]);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000416 for (unsigned i = 0, e = DSG.GlobalNodes.size(); i != e; ++i)
417 GlobalNodes[i+StartGlobalSize]->mapNode(NodeMap, DSG.GlobalNodes[i]);
418 for (unsigned i = 0, e = DSG.CallNodes.size(); i != e; ++i)
419 CallNodes[i+StartCallSize]->mapNode(NodeMap, DSG.CallNodes[i]);
420
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000421
422 if (CloneValueMap) {
423 // Convert value map... the values themselves stay the same, just the nodes
424 // have to change...
425 //
426 for (std::map<Value*,PointerValSet>::const_iterator I =DSG.ValueMap.begin(),
427 E = DSG.ValueMap.end(); I != E; ++I)
Chris Lattner1120c8b2002-03-28 17:56:03 +0000428 MapPVS(ValueMap[I->first], I->second, NodeMap, true);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000429 }
430
431 // Convert over return node...
432 PointerValSet RetVals;
433 MapPVS(RetVals, DSG.RetNode, NodeMap);
434 return RetVals;
435}
436
437
438FunctionDSGraph::~FunctionDSGraph() {
439 RetNode.clear();
440 ValueMap.clear();
Chris Lattner1120c8b2002-03-28 17:56:03 +0000441 for_each(ArgNodes.begin(), ArgNodes.end(),
442 mem_fun(&DSNode::dropAllReferences));
443 for_each(AllocNodes.begin(), AllocNodes.end(),
444 mem_fun(&DSNode::dropAllReferences));
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000445 for_each(ShadowNodes.begin(), ShadowNodes.end(),
446 mem_fun(&DSNode::dropAllReferences));
Chris Lattner1120c8b2002-03-28 17:56:03 +0000447 for_each(GlobalNodes.begin(), GlobalNodes.end(),
448 mem_fun(&DSNode::dropAllReferences));
449 for_each(CallNodes.begin(), CallNodes.end(),
450 mem_fun(&DSNode::dropAllReferences));
451 for_each(ArgNodes.begin(), ArgNodes.end(), deleter<DSNode>);
452 for_each(AllocNodes.begin(), AllocNodes.end(), deleter<DSNode>);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000453 for_each(ShadowNodes.begin(), ShadowNodes.end(), deleter<DSNode>);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000454 for_each(GlobalNodes.begin(), GlobalNodes.end(), deleter<DSNode>);
455 for_each(CallNodes.begin(), CallNodes.end(), deleter<DSNode>);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000456}
457