blob: be49eec177d47b9949c9cea35646e6fa20ff9bb6 [file] [log] [blame]
Chris Lattnerf4066b32002-03-27 19:45:12 +00001//===- FunctionRepBuilder.cpp - Build the local datastructure graph -------===//
Chris Lattnerbb2a28f2002-03-26 22:39:06 +00002//
3// Build the local datastructure graph for a single method.
4//
5//===----------------------------------------------------------------------===//
6
7#include "FunctionRepBuilder.h"
8#include "llvm/Function.h"
Chris Lattner42a41272002-04-09 18:37:46 +00009#include "llvm/BasicBlock.h"
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000010#include "llvm/iMemory.h"
11#include "llvm/iPHINode.h"
12#include "llvm/iOther.h"
13#include "llvm/iTerminators.h"
14#include "llvm/DerivedTypes.h"
Chris Lattner31bcdb82002-04-28 19:55:58 +000015#include "llvm/Constants.h"
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000016#include "Support/STLExtras.h"
17#include <algorithm>
18
19// synthesizeNode - Create a new shadow node that is to be linked into this
20// chain..
21// FIXME: This should not take a FunctionRepBuilder as an argument!
22//
Chris Lattnerfe145682002-04-17 03:24:59 +000023ShadowDSNode *DSNode::synthesizeNode(const Type *Ty,
24 FunctionRepBuilder *Rep) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000025 // If we are a derived shadow node, defer to our parent to synthesize the node
Chris Lattnerfe145682002-04-17 03:24:59 +000026 if (ShadowDSNode *Th = dyn_cast<ShadowDSNode>(this))
27 if (Th->getShadowParent())
28 return Th->getShadowParent()->synthesizeNode(Ty, Rep);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000029
30 // See if we have already synthesized a node of this type...
31 for (unsigned i = 0, e = SynthNodes.size(); i != e; ++i)
32 if (SynthNodes[i].first == Ty) return SynthNodes[i].second;
33
34 // No we haven't. Do so now and add it to our list of saved nodes...
Anand Shuklaa9284032002-06-25 20:35:19 +000035
Chris Lattnerfe145682002-04-17 03:24:59 +000036 ShadowDSNode *SN = Rep->makeSynthesizedShadow(Ty, this);
Anand Shuklaa9284032002-06-25 20:35:19 +000037 SynthNodes.push_back(std::make_pair(Ty, SN));
38
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000039 return SN;
40}
41
Chris Lattnerfe145682002-04-17 03:24:59 +000042ShadowDSNode *FunctionRepBuilder::makeSynthesizedShadow(const Type *Ty,
43 DSNode *Parent) {
44 ShadowDSNode *Result = new ShadowDSNode(Ty, F->getFunction()->getParent(),
45 Parent);
46 ShadowNodes.push_back(Result);
47 return Result;
48}
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000049
50
51
52// visitOperand - If the specified instruction operand is a global value, add
53// a node for it...
54//
55void InitVisitor::visitOperand(Value *V) {
56 if (!Rep->ValueMap.count(V)) // Only process it once...
57 if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
58 GlobalDSNode *N = new GlobalDSNode(GV);
Chris Lattner1120c8b2002-03-28 17:56:03 +000059 Rep->GlobalNodes.push_back(N);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000060 Rep->ValueMap[V].add(N);
61 Rep->addAllUsesToWorkList(GV);
Chris Lattnerf4066b32002-03-27 19:45:12 +000062
63 // FIXME: If the global variable has fields, we should add critical
64 // shadow nodes to represent them!
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000065 }
66}
67
68
69// visitCallInst - Create a call node for the callinst, and create as shadow
70// node if the call returns a pointer value. Check to see if the call node
71// uses any global variables...
72//
Chris Lattner18961502002-06-25 16:12:52 +000073void InitVisitor::visitCallInst(CallInst &CI) {
74 CallDSNode *C = new CallDSNode(&CI);
Chris Lattner1120c8b2002-03-28 17:56:03 +000075 Rep->CallNodes.push_back(C);
Chris Lattner18961502002-06-25 16:12:52 +000076 Rep->CallMap[&CI] = C;
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000077
Chris Lattner18961502002-06-25 16:12:52 +000078 if (const PointerType *PT = dyn_cast<PointerType>(CI.getType())) {
Chris Lattnerf4066b32002-03-27 19:45:12 +000079 // Create a critical shadow node to represent the memory object that the
80 // return value points to...
Chris Lattner3feaf022002-04-01 00:14:41 +000081 ShadowDSNode *Shad = new ShadowDSNode(PT->getElementType(),
Chris Lattner7650b942002-04-16 20:39:59 +000082 Func->getParent());
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000083 Rep->ShadowNodes.push_back(Shad);
84
85 // The return value of the function is a pointer to the shadow value
86 // just created...
87 //
88 C->getLink(0).add(Shad);
89
90 // The call instruction returns a pointer to the shadow block...
Chris Lattner18961502002-06-25 16:12:52 +000091 Rep->ValueMap[&CI].add(Shad, &CI);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000092
93 // If the call returns a value with pointer type, add all of the users
94 // of the call instruction to the work list...
Chris Lattner18961502002-06-25 16:12:52 +000095 Rep->addAllUsesToWorkList(&CI);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000096 }
97
98 // Loop over all of the operands of the call instruction (except the first
99 // one), to look for global variable references...
100 //
Chris Lattner18961502002-06-25 16:12:52 +0000101 for_each(CI.op_begin(), CI.op_end(),
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000102 bind_obj(this, &InitVisitor::visitOperand));
103}
104
105
106// visitAllocationInst - Create an allocation node for the allocation. Since
107// allocation instructions do not take pointer arguments, they cannot refer to
108// global vars...
109//
Chris Lattner18961502002-06-25 16:12:52 +0000110void InitVisitor::visitAllocationInst(AllocationInst &AI) {
111 AllocDSNode *N = new AllocDSNode(&AI);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000112 Rep->AllocNodes.push_back(N);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000113
Chris Lattner18961502002-06-25 16:12:52 +0000114 Rep->ValueMap[&AI].add(N, &AI);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000115
116 // Add all of the users of the malloc instruction to the work list...
Chris Lattner18961502002-06-25 16:12:52 +0000117 Rep->addAllUsesToWorkList(&AI);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000118}
119
120
121// Visit all other instruction types. Here we just scan, looking for uses of
122// global variables...
123//
Chris Lattner18961502002-06-25 16:12:52 +0000124void InitVisitor::visitInstruction(Instruction &I) {
125 for_each(I.op_begin(), I.op_end(),
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000126 bind_obj(this, &InitVisitor::visitOperand));
127}
128
129
130// addAllUsesToWorkList - Add all of the instructions users of the specified
131// value to the work list for further processing...
132//
133void FunctionRepBuilder::addAllUsesToWorkList(Value *V) {
134 //cerr << "Adding all uses of " << V << "\n";
135 for (Value::use_iterator I = V->use_begin(), E = V->use_end(); I != E; ++I) {
136 Instruction *Inst = cast<Instruction>(*I);
137 // When processing global values, it's possible that the instructions on
138 // the use list are not all in this method. Only add the instructions
139 // that _are_ in this method.
140 //
141 if (Inst->getParent()->getParent() == F->getFunction())
142 // Only let an instruction occur on the work list once...
143 if (std::find(WorkList.begin(), WorkList.end(), Inst) == WorkList.end())
144 WorkList.push_back(Inst);
145 }
146}
147
148
149
150
151void FunctionRepBuilder::initializeWorkList(Function *Func) {
152 // Add all of the arguments to the method to the graph and add all users to
153 // the worklists...
154 //
Chris Lattner18961502002-06-25 16:12:52 +0000155 for (Function::aiterator I = Func->abegin(), E = Func->aend(); I != E; ++I) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000156 // Only process arguments that are of pointer type...
Chris Lattner18961502002-06-25 16:12:52 +0000157 if (const PointerType *PT = dyn_cast<PointerType>(I->getType())) {
Chris Lattner212be2e2002-04-16 03:44:03 +0000158 // Add a shadow value for it to represent what it is pointing to and add
159 // this to the value map...
Chris Lattner3feaf022002-04-01 00:14:41 +0000160 ShadowDSNode *Shad = new ShadowDSNode(PT->getElementType(),
Chris Lattner7650b942002-04-16 20:39:59 +0000161 Func->getParent());
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000162 ShadowNodes.push_back(Shad);
Chris Lattner18961502002-06-25 16:12:52 +0000163 ValueMap[I].add(PointerVal(Shad), I);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000164
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000165 // Make sure that all users of the argument are processed...
Chris Lattner18961502002-06-25 16:12:52 +0000166 addAllUsesToWorkList(I);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000167 }
Chris Lattner73e21422002-04-09 19:48:49 +0000168 }
169
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000170 // Iterate over the instructions in the method. Create nodes for malloc and
171 // call instructions. Add all uses of these to the worklist of instructions
172 // to process.
173 //
174 InitVisitor IV(this, Func);
175 IV.visit(Func);
176}
177
178
179
180
181PointerVal FunctionRepBuilder::getIndexedPointerDest(const PointerVal &InP,
Chris Lattner18961502002-06-25 16:12:52 +0000182 const MemAccessInst &MAI) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000183 unsigned Index = InP.Index;
Chris Lattner18961502002-06-25 16:12:52 +0000184 const Type *SrcTy = MAI.getPointerOperand()->getType();
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000185
Chris Lattner18961502002-06-25 16:12:52 +0000186 for (MemAccessInst::const_op_iterator I = MAI.idx_begin(),
187 E = MAI.idx_end(); I != E; ++I)
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000188 if ((*I)->getType() == Type::UByteTy) { // Look for struct indices...
Chris Lattner18961502002-06-25 16:12:52 +0000189 const StructType *STy = cast<StructType>(SrcTy);
190 unsigned StructIdx = cast<ConstantUInt>(I->get())->getValue();
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000191 for (unsigned i = 0; i != StructIdx; ++i)
192 Index += countPointerFields(STy->getContainedType(i));
193
194 // Advance SrcTy to be the new element type...
195 SrcTy = STy->getContainedType(StructIdx);
196 } else {
197 // Otherwise, stepping into array or initial pointer, just increment type
198 SrcTy = cast<SequentialType>(SrcTy)->getElementType();
199 }
200
201 return PointerVal(InP.Node, Index);
202}
203
204static PointerValSet &getField(const PointerVal &DestPtr) {
205 assert(DestPtr.Node != 0);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000206 return DestPtr.Node->getLink(DestPtr.Index);
207}
208
209
210// Reprocessing a GEP instruction is the result of the pointer operand
211// changing. This means that the set of possible values for the GEP
212// needs to be expanded.
213//
Chris Lattner18961502002-06-25 16:12:52 +0000214void FunctionRepBuilder::visitGetElementPtrInst(GetElementPtrInst &GEP) {
215 PointerValSet &GEPPVS = ValueMap[&GEP]; // PointerValSet to expand
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000216
217 // Get the input pointer val set...
Chris Lattner18961502002-06-25 16:12:52 +0000218 const PointerValSet &SrcPVS = ValueMap[GEP.getOperand(0)];
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000219
220 bool Changed = false; // Process each input value... propogating it.
221 for (unsigned i = 0, e = SrcPVS.size(); i != e; ++i) {
222 // Calculate where the resulting pointer would point based on an
223 // input of 'Val' as the pointer type... and add it to our outgoing
224 // value set. Keep track of whether or not we actually changed
225 // anything.
226 //
227 Changed |= GEPPVS.add(getIndexedPointerDest(SrcPVS[i], GEP));
228 }
229
230 // If our current value set changed, notify all of the users of our
231 // value.
232 //
Chris Lattner18961502002-06-25 16:12:52 +0000233 if (Changed) addAllUsesToWorkList(&GEP);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000234}
235
Chris Lattner18961502002-06-25 16:12:52 +0000236void FunctionRepBuilder::visitReturnInst(ReturnInst &RI) {
237 RetNode.add(ValueMap[RI.getOperand(0)]);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000238}
239
Chris Lattner18961502002-06-25 16:12:52 +0000240void FunctionRepBuilder::visitLoadInst(LoadInst &LI) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000241 // Only loads that return pointers are interesting...
Chris Lattner18961502002-06-25 16:12:52 +0000242 const PointerType *DestTy = dyn_cast<PointerType>(LI.getType());
Chris Lattnerfe145682002-04-17 03:24:59 +0000243 if (DestTy == 0) return;
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000244
Chris Lattner18961502002-06-25 16:12:52 +0000245 const PointerValSet &SrcPVS = ValueMap[LI.getOperand(0)];
246 PointerValSet &LIPVS = ValueMap[&LI];
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000247
248 bool Changed = false;
249 for (unsigned si = 0, se = SrcPVS.size(); si != se; ++si) {
250 PointerVal Ptr = getIndexedPointerDest(SrcPVS[si], LI);
251 PointerValSet &Field = getField(Ptr);
252
253 if (Field.size()) { // Field loaded wasn't null?
254 Changed |= LIPVS.add(Field);
Chris Lattnerfe145682002-04-17 03:24:59 +0000255 } else {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000256 // If we are loading a null field out of a shadow node, we need to
257 // synthesize a new shadow node and link it in...
258 //
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000259 ShadowDSNode *SynthNode =
Chris Lattnerfe145682002-04-17 03:24:59 +0000260 Ptr.Node->synthesizeNode(DestTy->getElementType(), this);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000261 Field.add(SynthNode);
262
263 Changed |= LIPVS.add(Field);
264 }
265 }
266
Chris Lattner18961502002-06-25 16:12:52 +0000267 if (Changed) addAllUsesToWorkList(&LI);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000268}
269
Chris Lattner18961502002-06-25 16:12:52 +0000270void FunctionRepBuilder::visitStoreInst(StoreInst &SI) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000271 // The only stores that are interesting are stores the store pointers
272 // into data structures...
273 //
Chris Lattner18961502002-06-25 16:12:52 +0000274 if (!isa<PointerType>(SI.getOperand(0)->getType())) return;
275 if (!ValueMap.count(SI.getOperand(0))) return; // Src scalar has no values!
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000276
Chris Lattner18961502002-06-25 16:12:52 +0000277 const PointerValSet &SrcPVS = ValueMap[SI.getOperand(0)];
278 const PointerValSet &PtrPVS = ValueMap[SI.getOperand(1)];
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000279
280 for (unsigned si = 0, se = SrcPVS.size(); si != se; ++si) {
281 const PointerVal &SrcPtr = SrcPVS[si];
282 for (unsigned pi = 0, pe = PtrPVS.size(); pi != pe; ++pi) {
283 PointerVal Dest = getIndexedPointerDest(PtrPVS[pi], SI);
284
285#if 0
Anand Shuklaa9284032002-06-25 20:35:19 +0000286 std::cerr << "Setting Dest:\n";
287 Dest.print(std::cerr);
288 std::cerr << "to point to Src:\n";
289 SrcPtr.print(std::cerr);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000290#endif
291
292 // Add SrcPtr into the Dest field...
293 if (getField(Dest).add(SrcPtr)) {
294 // If we modified the dest field, then invalidate everyone that points
295 // to Dest.
296 const std::vector<Value*> &Ptrs = Dest.Node->getPointers();
297 for (unsigned i = 0, e = Ptrs.size(); i != e; ++i)
298 addAllUsesToWorkList(Ptrs[i]);
299 }
300 }
301 }
302}
303
Chris Lattner18961502002-06-25 16:12:52 +0000304void FunctionRepBuilder::visitCallInst(CallInst &CI) {
305 CallDSNode *DSN = CallMap[&CI];
Chris Lattner7650b942002-04-16 20:39:59 +0000306 unsigned PtrNum = 0;
Chris Lattner18961502002-06-25 16:12:52 +0000307 for (unsigned i = 0, e = CI.getNumOperands(); i != e; ++i)
308 if (isa<PointerType>(CI.getOperand(i)->getType()))
309 DSN->addArgValue(PtrNum++, ValueMap[CI.getOperand(i)]);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000310}
311
Chris Lattner18961502002-06-25 16:12:52 +0000312void FunctionRepBuilder::visitPHINode(PHINode &PN) {
313 assert(isa<PointerType>(PN.getType()) && "Should only update ptr phis");
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000314
Chris Lattner18961502002-06-25 16:12:52 +0000315 PointerValSet &PN_PVS = ValueMap[&PN];
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000316 bool Changed = false;
Chris Lattner18961502002-06-25 16:12:52 +0000317 for (unsigned i = 0, e = PN.getNumIncomingValues(); i != e; ++i)
318 Changed |= PN_PVS.add(ValueMap[PN.getIncomingValue(i)],
319 PN.getIncomingValue(i));
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000320
Chris Lattner18961502002-06-25 16:12:52 +0000321 if (Changed) addAllUsesToWorkList(&PN);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000322}
323
324
325
326
327// FunctionDSGraph constructor - Perform the global analysis to determine
328// what the data structure usage behavior or a method looks like.
329//
330FunctionDSGraph::FunctionDSGraph(Function *F) : Func(F) {
331 FunctionRepBuilder Builder(this);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000332 AllocNodes = Builder.getAllocNodes();
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000333 ShadowNodes = Builder.getShadowNodes();
Chris Lattner1120c8b2002-03-28 17:56:03 +0000334 GlobalNodes = Builder.getGlobalNodes();
335 CallNodes = Builder.getCallNodes();
336 RetNode = Builder.getRetNode();
337 ValueMap = Builder.getValueMap();
Chris Lattnerf4066b32002-03-27 19:45:12 +0000338
Chris Lattner7650b942002-04-16 20:39:59 +0000339 // Remove all entries in the value map that consist of global values pointing
340 // at things. They can only point to their node, so there is no use keeping
341 // them.
342 //
Anand Shuklaa9284032002-06-25 20:35:19 +0000343 for (std::map<Value*, PointerValSet>::iterator I = ValueMap.begin(),
Chris Lattner7650b942002-04-16 20:39:59 +0000344 E = ValueMap.end(); I != E;)
345 if (isa<GlobalValue>(I->first)) {
346#if MAP_DOESNT_HAVE_BROKEN_ERASE_MEMBER
347 I = ValueMap.erase(I);
348#else
349 ValueMap.erase(I); // This is really lame.
350 I = ValueMap.begin(); // GCC's stdc++ lib doesn't return an it!
351#endif
352 } else
353 ++I;
354
Chris Lattnerf4066b32002-03-27 19:45:12 +0000355 bool Changed = true;
356 while (Changed) {
357 // Eliminate shadow nodes that are not distinguishable from some other
358 // node in the graph...
359 //
Chris Lattner7d093d42002-03-28 19:16:48 +0000360 Changed = UnlinkUndistinguishableNodes();
Chris Lattnerf4066b32002-03-27 19:45:12 +0000361
362 // Eliminate shadow nodes that are now extraneous due to linking...
Chris Lattner7d093d42002-03-28 19:16:48 +0000363 Changed |= RemoveUnreachableNodes();
Chris Lattnerf4066b32002-03-27 19:45:12 +0000364 }
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000365}