blob: 7575a5da5bc96a8c95008d77879373ccbc52e565 [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);
Anand Shuklaa9284032002-06-25 20:35:19 +000049 std::cerr << "Analysis took "
Chris Lattner1f1170c2002-04-04 19:21:27 +000050 << (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
Anand Shuklaa9284032002-06-25 20:35:19 +000057 std::string Filename = "ds." + I->getName() + ".dot";
Chris Lattner7650b942002-04-16 20:39:59 +000058 O << "Writing '" << Filename << "'...";
Anand Shuklaa9284032002-06-25 20:35:19 +000059 std::ofstream F(Filename.c_str());
60
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000061 if (F.good()) {
62 F << "digraph DataStructures {\n"
63 << "\tnode [shape=Mrecord];\n"
64 << "\tedge [arrowtail=\"dot\"];\n"
65 << "\tsize=\"10,7.5\";\n"
66 << "\trotate=\"90\";\n";
67
Chris Lattner18961502002-06-25 16:12:52 +000068 getDSGraph(I).printFunction(F, "Local");
69 getClosedDSGraph(I).printFunction(F, "Closed");
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000070
71 F << "}\n";
72 } else {
73 O << " error opening file for writing!\n";
74 }
Chris Lattner7650b942002-04-16 20:39:59 +000075
76 if (Time)
Chris Lattner18961502002-06-25 16:12:52 +000077 O << " [" << getDSGraph(I).getGraphSize() << ", "
78 << getClosedDSGraph(I).getGraphSize() << "]\n";
Chris Lattner7650b942002-04-16 20:39:59 +000079 else
80 O << "\n";
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000081 }
82}
83
84
85//===----------------------------------------------------------------------===//
86// PointerVal Class Implementation
87//
88
89void PointerVal::print(std::ostream &O) const {
90 if (Node) {
91 O << " Node: " << Node->getCaption() << "[" << Index << "]\n";
92 } else {
93 O << " NULL NODE\n";
94 }
95}
96
97//===----------------------------------------------------------------------===//
98// PointerValSet Class Implementation
99//
100
101void PointerValSet::addRefs() {
102 for (unsigned i = 0, e = Vals.size(); i != e; ++i)
103 Vals[i].Node->addReferrer(this);
104}
105
106void PointerValSet::dropRefs() {
107 for (unsigned i = 0, e = Vals.size(); i != e; ++i)
108 Vals[i].Node->removeReferrer(this);
109}
110
111const PointerValSet &PointerValSet::operator=(const PointerValSet &PVS) {
112 dropRefs();
113 Vals.clear();
114 Vals = PVS.Vals;
115 addRefs();
116 return *this;
117}
118
Chris Lattner1120c8b2002-03-28 17:56:03 +0000119// operator< - Allow insertion into a map...
120bool PointerValSet::operator<(const PointerValSet &PVS) const {
121 if (Vals.size() < PVS.Vals.size()) return true;
122 if (Vals.size() > PVS.Vals.size()) return false;
123 if (Vals.size() == 1) return Vals[0] < PVS.Vals[0]; // Most common case
124
Anand Shuklaa9284032002-06-25 20:35:19 +0000125 std::vector<PointerVal> S1(Vals), S2(PVS.Vals);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000126 sort(S1.begin(), S1.end());
127 sort(S2.begin(), S2.end());
128 return S1 < S2;
129}
130
131bool PointerValSet::operator==(const PointerValSet &PVS) const {
132 if (Vals.size() != PVS.Vals.size()) return false;
133 if (Vals.size() == 1) return Vals[0] == PVS.Vals[0]; // Most common case...
134
Anand Shuklaa9284032002-06-25 20:35:19 +0000135 std::vector<PointerVal> S1(Vals), S2(PVS.Vals);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000136 sort(S1.begin(), S1.end());
137 sort(S2.begin(), S2.end());
138 return S1 == S2;
139}
140
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000141
142bool PointerValSet::add(const PointerVal &PV, Value *Pointer) {
143 if (std::find(Vals.begin(), Vals.end(), PV) != Vals.end())
144 return false;
145 Vals.push_back(PV);
146 if (Pointer) PV.Node->addPointer(Pointer);
147 PV.Node->addReferrer(this);
148 return true;
149}
150
151// removePointerTo - Remove a single pointer val that points to the specified
152// node...
153void PointerValSet::removePointerTo(DSNode *Node) {
Anand Shuklaa9284032002-06-25 20:35:19 +0000154 std::vector<PointerVal>::iterator I = std::find(Vals.begin(), Vals.end(), Node);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000155 assert(I != Vals.end() && "Couldn't remove nonexistent edge!");
156 Vals.erase(I);
157 Node->removeReferrer(this);
158}
159
160
161void PointerValSet::print(std::ostream &O) const {
162 for (unsigned i = 0, e = Vals.size(); i != e; ++i)
163 Vals[i].print(O);
164}
165