blob: 8d53b4118635a0eed63d2b1778f5680b965b5b5e [file] [log] [blame]
Chris Lattnerbb2a28f2002-03-26 22:39:06 +00001//===- DataStructure.cpp - Analysis for data structure identification -------=//
2//
3// Implement the LLVM data structure analysis library.
4//
5//===----------------------------------------------------------------------===//
6
7#include "llvm/Analysis/DataStructure.h"
8#include "llvm/Module.h"
Chris Lattnerbb2a28f2002-03-26 22:39:06 +00009#include <fstream>
10#include <algorithm>
11
12//===----------------------------------------------------------------------===//
13// DataStructure Class Implementation
14//
15
16AnalysisID DataStructure::ID(AnalysisID::create<DataStructure>());
17
18// releaseMemory - If the pass pipeline is done with this pass, we can release
19// our memory... here...
20void DataStructure::releaseMemory() {
21 for (InfoMap::iterator I = DSInfo.begin(), E = DSInfo.end(); I != E; ++I) {
22 delete I->second.first;
23 delete I->second.second;
24 }
25
26 // Empty map so next time memory is released, data structures are not
27 // re-deleted.
28 DSInfo.clear();
29}
30
Chris Lattner1f1170c2002-04-04 19:21:27 +000031// FIXME REMOVE
32#include <sys/time.h>
33#include "Support/CommandLine.h"
34
35cl::Flag Time("t", "Print analysis time...");
36
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000037
38// print - Print out the analysis results...
39void DataStructure::print(std::ostream &O, Module *M) const {
Chris Lattner1f1170c2002-04-04 19:21:27 +000040 if (Time) {
41 timeval TV1, TV2;
42 gettimeofday(&TV1, 0);
43 for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I)
Chris Lattner18961502002-06-25 16:12:52 +000044 if (!I->isExternal() && I->getName() == "main") {
45 //getDSGraph(*I);
46 getClosedDSGraph(I);
Chris Lattner1f1170c2002-04-04 19:21:27 +000047 }
48 gettimeofday(&TV2, 0);
49 cerr << "Analysis took "
50 << (TV2.tv_sec-TV1.tv_sec)*1000000+(TV2.tv_usec-TV1.tv_usec)
51 << " microseconds.\n";
52 }
53
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000054 for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I)
Chris Lattner18961502002-06-25 16:12:52 +000055 if (!I->isExternal()) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000056
Chris Lattner18961502002-06-25 16:12:52 +000057 string Filename = "ds." + I->getName() + ".dot";
Chris Lattner7650b942002-04-16 20:39:59 +000058 O << "Writing '" << Filename << "'...";
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000059 ofstream F(Filename.c_str());
60 if (F.good()) {
61 F << "digraph DataStructures {\n"
62 << "\tnode [shape=Mrecord];\n"
63 << "\tedge [arrowtail=\"dot\"];\n"
64 << "\tsize=\"10,7.5\";\n"
65 << "\trotate=\"90\";\n";
66
Chris Lattner18961502002-06-25 16:12:52 +000067 getDSGraph(I).printFunction(F, "Local");
68 getClosedDSGraph(I).printFunction(F, "Closed");
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000069
70 F << "}\n";
71 } else {
72 O << " error opening file for writing!\n";
73 }
Chris Lattner7650b942002-04-16 20:39:59 +000074
75 if (Time)
Chris Lattner18961502002-06-25 16:12:52 +000076 O << " [" << getDSGraph(I).getGraphSize() << ", "
77 << getClosedDSGraph(I).getGraphSize() << "]\n";
Chris Lattner7650b942002-04-16 20:39:59 +000078 else
79 O << "\n";
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000080 }
81}
82
83
84//===----------------------------------------------------------------------===//
85// PointerVal Class Implementation
86//
87
88void PointerVal::print(std::ostream &O) const {
89 if (Node) {
90 O << " Node: " << Node->getCaption() << "[" << Index << "]\n";
91 } else {
92 O << " NULL NODE\n";
93 }
94}
95
96//===----------------------------------------------------------------------===//
97// PointerValSet Class Implementation
98//
99
100void PointerValSet::addRefs() {
101 for (unsigned i = 0, e = Vals.size(); i != e; ++i)
102 Vals[i].Node->addReferrer(this);
103}
104
105void PointerValSet::dropRefs() {
106 for (unsigned i = 0, e = Vals.size(); i != e; ++i)
107 Vals[i].Node->removeReferrer(this);
108}
109
110const PointerValSet &PointerValSet::operator=(const PointerValSet &PVS) {
111 dropRefs();
112 Vals.clear();
113 Vals = PVS.Vals;
114 addRefs();
115 return *this;
116}
117
Chris Lattner1120c8b2002-03-28 17:56:03 +0000118// operator< - Allow insertion into a map...
119bool PointerValSet::operator<(const PointerValSet &PVS) const {
120 if (Vals.size() < PVS.Vals.size()) return true;
121 if (Vals.size() > PVS.Vals.size()) return false;
122 if (Vals.size() == 1) return Vals[0] < PVS.Vals[0]; // Most common case
123
124 vector<PointerVal> S1(Vals), S2(PVS.Vals);
125 sort(S1.begin(), S1.end());
126 sort(S2.begin(), S2.end());
127 return S1 < S2;
128}
129
130bool PointerValSet::operator==(const PointerValSet &PVS) const {
131 if (Vals.size() != PVS.Vals.size()) return false;
132 if (Vals.size() == 1) return Vals[0] == PVS.Vals[0]; // Most common case...
133
134 vector<PointerVal> S1(Vals), S2(PVS.Vals);
135 sort(S1.begin(), S1.end());
136 sort(S2.begin(), S2.end());
137 return S1 == S2;
138}
139
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000140
141bool PointerValSet::add(const PointerVal &PV, Value *Pointer) {
142 if (std::find(Vals.begin(), Vals.end(), PV) != Vals.end())
143 return false;
144 Vals.push_back(PV);
145 if (Pointer) PV.Node->addPointer(Pointer);
146 PV.Node->addReferrer(this);
147 return true;
148}
149
150// removePointerTo - Remove a single pointer val that points to the specified
151// node...
152void PointerValSet::removePointerTo(DSNode *Node) {
153 vector<PointerVal>::iterator I = std::find(Vals.begin(), Vals.end(), Node);
154 assert(I != Vals.end() && "Couldn't remove nonexistent edge!");
155 Vals.erase(I);
156 Node->removeReferrer(this);
157}
158
159
160void PointerValSet::print(std::ostream &O) const {
161 for (unsigned i = 0, e = Vals.size(); i != e; ++i)
162 Vals[i].print(O);
163}
164