blob: 923bca5f34725d97dd34c4f9fda9e025d34c6e8f [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>
Anand Shuklaa9284032002-06-25 20:35:19 +000011#include <iostream>
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000012
13//===----------------------------------------------------------------------===//
14// DataStructure Class Implementation
15//
16
17AnalysisID DataStructure::ID(AnalysisID::create<DataStructure>());
18
19// releaseMemory - If the pass pipeline is done with this pass, we can release
20// our memory... here...
21void DataStructure::releaseMemory() {
22 for (InfoMap::iterator I = DSInfo.begin(), E = DSInfo.end(); I != E; ++I) {
23 delete I->second.first;
24 delete I->second.second;
25 }
26
27 // Empty map so next time memory is released, data structures are not
28 // re-deleted.
29 DSInfo.clear();
30}
31
Chris Lattner1f1170c2002-04-04 19:21:27 +000032// FIXME REMOVE
33#include <sys/time.h>
34#include "Support/CommandLine.h"
35
36cl::Flag Time("t", "Print analysis time...");
37
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000038
39// print - Print out the analysis results...
40void DataStructure::print(std::ostream &O, Module *M) const {
Chris Lattner1f1170c2002-04-04 19:21:27 +000041 if (Time) {
42 timeval TV1, TV2;
43 gettimeofday(&TV1, 0);
44 for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I)
Chris Lattner18961502002-06-25 16:12:52 +000045 if (!I->isExternal() && I->getName() == "main") {
46 //getDSGraph(*I);
47 getClosedDSGraph(I);
Chris Lattner1f1170c2002-04-04 19:21:27 +000048 }
49 gettimeofday(&TV2, 0);
Anand Shuklaa9284032002-06-25 20:35:19 +000050 std::cerr << "Analysis took "
Chris Lattner1f1170c2002-04-04 19:21:27 +000051 << (TV2.tv_sec-TV1.tv_sec)*1000000+(TV2.tv_usec-TV1.tv_usec)
52 << " microseconds.\n";
53 }
54
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000055 for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I)
Chris Lattner18961502002-06-25 16:12:52 +000056 if (!I->isExternal()) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000057
Anand Shuklaa9284032002-06-25 20:35:19 +000058 std::string Filename = "ds." + I->getName() + ".dot";
Chris Lattner7650b942002-04-16 20:39:59 +000059 O << "Writing '" << Filename << "'...";
Anand Shuklaa9284032002-06-25 20:35:19 +000060 std::ofstream F(Filename.c_str());
61
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000062 if (F.good()) {
63 F << "digraph DataStructures {\n"
64 << "\tnode [shape=Mrecord];\n"
65 << "\tedge [arrowtail=\"dot\"];\n"
66 << "\tsize=\"10,7.5\";\n"
67 << "\trotate=\"90\";\n";
68
Chris Lattner18961502002-06-25 16:12:52 +000069 getDSGraph(I).printFunction(F, "Local");
70 getClosedDSGraph(I).printFunction(F, "Closed");
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000071
72 F << "}\n";
73 } else {
74 O << " error opening file for writing!\n";
75 }
Chris Lattner7650b942002-04-16 20:39:59 +000076
77 if (Time)
Chris Lattner18961502002-06-25 16:12:52 +000078 O << " [" << getDSGraph(I).getGraphSize() << ", "
79 << getClosedDSGraph(I).getGraphSize() << "]\n";
Chris Lattner7650b942002-04-16 20:39:59 +000080 else
81 O << "\n";
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000082 }
83}
84
85
86//===----------------------------------------------------------------------===//
87// PointerVal Class Implementation
88//
89
90void PointerVal::print(std::ostream &O) const {
91 if (Node) {
92 O << " Node: " << Node->getCaption() << "[" << Index << "]\n";
93 } else {
94 O << " NULL NODE\n";
95 }
96}
97
98//===----------------------------------------------------------------------===//
99// PointerValSet Class Implementation
100//
101
102void PointerValSet::addRefs() {
103 for (unsigned i = 0, e = Vals.size(); i != e; ++i)
104 Vals[i].Node->addReferrer(this);
105}
106
107void PointerValSet::dropRefs() {
108 for (unsigned i = 0, e = Vals.size(); i != e; ++i)
109 Vals[i].Node->removeReferrer(this);
110}
111
112const PointerValSet &PointerValSet::operator=(const PointerValSet &PVS) {
113 dropRefs();
114 Vals.clear();
115 Vals = PVS.Vals;
116 addRefs();
117 return *this;
118}
119
Chris Lattner1120c8b2002-03-28 17:56:03 +0000120// operator< - Allow insertion into a map...
121bool PointerValSet::operator<(const PointerValSet &PVS) const {
122 if (Vals.size() < PVS.Vals.size()) return true;
123 if (Vals.size() > PVS.Vals.size()) return false;
124 if (Vals.size() == 1) return Vals[0] < PVS.Vals[0]; // Most common case
125
Anand Shuklaa9284032002-06-25 20:35:19 +0000126 std::vector<PointerVal> S1(Vals), S2(PVS.Vals);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000127 sort(S1.begin(), S1.end());
128 sort(S2.begin(), S2.end());
129 return S1 < S2;
130}
131
132bool PointerValSet::operator==(const PointerValSet &PVS) const {
133 if (Vals.size() != PVS.Vals.size()) return false;
134 if (Vals.size() == 1) return Vals[0] == PVS.Vals[0]; // Most common case...
135
Anand Shuklaa9284032002-06-25 20:35:19 +0000136 std::vector<PointerVal> S1(Vals), S2(PVS.Vals);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000137 sort(S1.begin(), S1.end());
138 sort(S2.begin(), S2.end());
139 return S1 == S2;
140}
141
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000142
143bool PointerValSet::add(const PointerVal &PV, Value *Pointer) {
144 if (std::find(Vals.begin(), Vals.end(), PV) != Vals.end())
145 return false;
146 Vals.push_back(PV);
147 if (Pointer) PV.Node->addPointer(Pointer);
148 PV.Node->addReferrer(this);
149 return true;
150}
151
152// removePointerTo - Remove a single pointer val that points to the specified
153// node...
154void PointerValSet::removePointerTo(DSNode *Node) {
Anand Shuklaa9284032002-06-25 20:35:19 +0000155 std::vector<PointerVal>::iterator I = std::find(Vals.begin(), Vals.end(), Node);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000156 assert(I != Vals.end() && "Couldn't remove nonexistent edge!");
157 Vals.erase(I);
158 Node->removeReferrer(this);
159}
160
161
162void PointerValSet::print(std::ostream &O) const {
163 for (unsigned i = 0, e = Vals.size(); i != e; ++i)
164 Vals[i].print(O);
165}
166