blob: f90ab9ba604fa6aa164bfb2efa43cfa819c07fb7 [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>
Anand Shuklaa9284032002-06-25 20:35:19 +000018#include <iostream>
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000019
20// synthesizeNode - Create a new shadow node that is to be linked into this
21// chain..
22// FIXME: This should not take a FunctionRepBuilder as an argument!
23//
Chris Lattnerfe145682002-04-17 03:24:59 +000024ShadowDSNode *DSNode::synthesizeNode(const Type *Ty,
25 FunctionRepBuilder *Rep) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000026 // If we are a derived shadow node, defer to our parent to synthesize the node
Chris Lattnerfe145682002-04-17 03:24:59 +000027 if (ShadowDSNode *Th = dyn_cast<ShadowDSNode>(this))
28 if (Th->getShadowParent())
29 return Th->getShadowParent()->synthesizeNode(Ty, Rep);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000030
31 // See if we have already synthesized a node of this type...
32 for (unsigned i = 0, e = SynthNodes.size(); i != e; ++i)
33 if (SynthNodes[i].first == Ty) return SynthNodes[i].second;
34
35 // No we haven't. Do so now and add it to our list of saved nodes...
Anand Shuklaa9284032002-06-25 20:35:19 +000036
Chris Lattnerfe145682002-04-17 03:24:59 +000037 ShadowDSNode *SN = Rep->makeSynthesizedShadow(Ty, this);
Anand Shuklaa9284032002-06-25 20:35:19 +000038 SynthNodes.push_back(std::make_pair(Ty, SN));
39
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000040 return SN;
41}
42
Chris Lattnerfe145682002-04-17 03:24:59 +000043ShadowDSNode *FunctionRepBuilder::makeSynthesizedShadow(const Type *Ty,
44 DSNode *Parent) {
45 ShadowDSNode *Result = new ShadowDSNode(Ty, F->getFunction()->getParent(),
46 Parent);
47 ShadowNodes.push_back(Result);
48 return Result;
49}
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000050
51
52
53// visitOperand - If the specified instruction operand is a global value, add
54// a node for it...
55//
56void InitVisitor::visitOperand(Value *V) {
57 if (!Rep->ValueMap.count(V)) // Only process it once...
58 if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
59 GlobalDSNode *N = new GlobalDSNode(GV);
Chris Lattner1120c8b2002-03-28 17:56:03 +000060 Rep->GlobalNodes.push_back(N);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000061 Rep->ValueMap[V].add(N);
62 Rep->addAllUsesToWorkList(GV);
Chris Lattnerf4066b32002-03-27 19:45:12 +000063
64 // FIXME: If the global variable has fields, we should add critical
65 // shadow nodes to represent them!
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000066 }
67}
68
69
70// visitCallInst - Create a call node for the callinst, and create as shadow
71// node if the call returns a pointer value. Check to see if the call node
72// uses any global variables...
73//
Chris Lattner18961502002-06-25 16:12:52 +000074void InitVisitor::visitCallInst(CallInst &CI) {
75 CallDSNode *C = new CallDSNode(&CI);
Chris Lattner1120c8b2002-03-28 17:56:03 +000076 Rep->CallNodes.push_back(C);
Chris Lattner18961502002-06-25 16:12:52 +000077 Rep->CallMap[&CI] = C;
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000078
Chris Lattner18961502002-06-25 16:12:52 +000079 if (const PointerType *PT = dyn_cast<PointerType>(CI.getType())) {
Chris Lattnerf4066b32002-03-27 19:45:12 +000080 // Create a critical shadow node to represent the memory object that the
81 // return value points to...
Chris Lattner3feaf022002-04-01 00:14:41 +000082 ShadowDSNode *Shad = new ShadowDSNode(PT->getElementType(),
Chris Lattner7650b942002-04-16 20:39:59 +000083 Func->getParent());
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000084 Rep->ShadowNodes.push_back(Shad);
85
86 // The return value of the function is a pointer to the shadow value
87 // just created...
88 //
89 C->getLink(0).add(Shad);
90
91 // The call instruction returns a pointer to the shadow block...
Chris Lattner18961502002-06-25 16:12:52 +000092 Rep->ValueMap[&CI].add(Shad, &CI);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000093
94 // If the call returns a value with pointer type, add all of the users
95 // of the call instruction to the work list...
Chris Lattner18961502002-06-25 16:12:52 +000096 Rep->addAllUsesToWorkList(&CI);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +000097 }
98
99 // Loop over all of the operands of the call instruction (except the first
100 // one), to look for global variable references...
101 //
Chris Lattner18961502002-06-25 16:12:52 +0000102 for_each(CI.op_begin(), CI.op_end(),
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000103 bind_obj(this, &InitVisitor::visitOperand));
104}
105
106
107// visitAllocationInst - Create an allocation node for the allocation. Since
108// allocation instructions do not take pointer arguments, they cannot refer to
109// global vars...
110//
Chris Lattner18961502002-06-25 16:12:52 +0000111void InitVisitor::visitAllocationInst(AllocationInst &AI) {
112 AllocDSNode *N = new AllocDSNode(&AI);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000113 Rep->AllocNodes.push_back(N);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000114
Chris Lattner18961502002-06-25 16:12:52 +0000115 Rep->ValueMap[&AI].add(N, &AI);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000116
117 // Add all of the users of the malloc instruction to the work list...
Chris Lattner18961502002-06-25 16:12:52 +0000118 Rep->addAllUsesToWorkList(&AI);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000119}
120
121
122// Visit all other instruction types. Here we just scan, looking for uses of
123// global variables...
124//
Chris Lattner18961502002-06-25 16:12:52 +0000125void InitVisitor::visitInstruction(Instruction &I) {
126 for_each(I.op_begin(), I.op_end(),
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000127 bind_obj(this, &InitVisitor::visitOperand));
128}
129
130
131// addAllUsesToWorkList - Add all of the instructions users of the specified
132// value to the work list for further processing...
133//
134void FunctionRepBuilder::addAllUsesToWorkList(Value *V) {
135 //cerr << "Adding all uses of " << V << "\n";
136 for (Value::use_iterator I = V->use_begin(), E = V->use_end(); I != E; ++I) {
137 Instruction *Inst = cast<Instruction>(*I);
138 // When processing global values, it's possible that the instructions on
139 // the use list are not all in this method. Only add the instructions
140 // that _are_ in this method.
141 //
142 if (Inst->getParent()->getParent() == F->getFunction())
143 // Only let an instruction occur on the work list once...
144 if (std::find(WorkList.begin(), WorkList.end(), Inst) == WorkList.end())
145 WorkList.push_back(Inst);
146 }
147}
148
149
150
151
152void FunctionRepBuilder::initializeWorkList(Function *Func) {
153 // Add all of the arguments to the method to the graph and add all users to
154 // the worklists...
155 //
Chris Lattner18961502002-06-25 16:12:52 +0000156 for (Function::aiterator I = Func->abegin(), E = Func->aend(); I != E; ++I) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000157 // Only process arguments that are of pointer type...
Chris Lattner18961502002-06-25 16:12:52 +0000158 if (const PointerType *PT = dyn_cast<PointerType>(I->getType())) {
Chris Lattner212be2e2002-04-16 03:44:03 +0000159 // Add a shadow value for it to represent what it is pointing to and add
160 // this to the value map...
Chris Lattner3feaf022002-04-01 00:14:41 +0000161 ShadowDSNode *Shad = new ShadowDSNode(PT->getElementType(),
Chris Lattner7650b942002-04-16 20:39:59 +0000162 Func->getParent());
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000163 ShadowNodes.push_back(Shad);
Chris Lattner18961502002-06-25 16:12:52 +0000164 ValueMap[I].add(PointerVal(Shad), I);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000165
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000166 // Make sure that all users of the argument are processed...
Chris Lattner18961502002-06-25 16:12:52 +0000167 addAllUsesToWorkList(I);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000168 }
Chris Lattner73e21422002-04-09 19:48:49 +0000169 }
170
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000171 // Iterate over the instructions in the method. Create nodes for malloc and
172 // call instructions. Add all uses of these to the worklist of instructions
173 // to process.
174 //
175 InitVisitor IV(this, Func);
176 IV.visit(Func);
177}
178
179
180
181
182PointerVal FunctionRepBuilder::getIndexedPointerDest(const PointerVal &InP,
Chris Lattner18961502002-06-25 16:12:52 +0000183 const MemAccessInst &MAI) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000184 unsigned Index = InP.Index;
Chris Lattner18961502002-06-25 16:12:52 +0000185 const Type *SrcTy = MAI.getPointerOperand()->getType();
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000186
Chris Lattner18961502002-06-25 16:12:52 +0000187 for (MemAccessInst::const_op_iterator I = MAI.idx_begin(),
188 E = MAI.idx_end(); I != E; ++I)
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000189 if ((*I)->getType() == Type::UByteTy) { // Look for struct indices...
Chris Lattner18961502002-06-25 16:12:52 +0000190 const StructType *STy = cast<StructType>(SrcTy);
191 unsigned StructIdx = cast<ConstantUInt>(I->get())->getValue();
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000192 for (unsigned i = 0; i != StructIdx; ++i)
193 Index += countPointerFields(STy->getContainedType(i));
194
195 // Advance SrcTy to be the new element type...
196 SrcTy = STy->getContainedType(StructIdx);
197 } else {
198 // Otherwise, stepping into array or initial pointer, just increment type
199 SrcTy = cast<SequentialType>(SrcTy)->getElementType();
200 }
201
202 return PointerVal(InP.Node, Index);
203}
204
205static PointerValSet &getField(const PointerVal &DestPtr) {
206 assert(DestPtr.Node != 0);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000207 return DestPtr.Node->getLink(DestPtr.Index);
208}
209
210
211// Reprocessing a GEP instruction is the result of the pointer operand
212// changing. This means that the set of possible values for the GEP
213// needs to be expanded.
214//
Chris Lattner18961502002-06-25 16:12:52 +0000215void FunctionRepBuilder::visitGetElementPtrInst(GetElementPtrInst &GEP) {
216 PointerValSet &GEPPVS = ValueMap[&GEP]; // PointerValSet to expand
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000217
218 // Get the input pointer val set...
Chris Lattner18961502002-06-25 16:12:52 +0000219 const PointerValSet &SrcPVS = ValueMap[GEP.getOperand(0)];
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000220
221 bool Changed = false; // Process each input value... propogating it.
222 for (unsigned i = 0, e = SrcPVS.size(); i != e; ++i) {
223 // Calculate where the resulting pointer would point based on an
224 // input of 'Val' as the pointer type... and add it to our outgoing
225 // value set. Keep track of whether or not we actually changed
226 // anything.
227 //
228 Changed |= GEPPVS.add(getIndexedPointerDest(SrcPVS[i], GEP));
229 }
230
231 // If our current value set changed, notify all of the users of our
232 // value.
233 //
Chris Lattner18961502002-06-25 16:12:52 +0000234 if (Changed) addAllUsesToWorkList(&GEP);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000235}
236
Chris Lattner18961502002-06-25 16:12:52 +0000237void FunctionRepBuilder::visitReturnInst(ReturnInst &RI) {
238 RetNode.add(ValueMap[RI.getOperand(0)]);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000239}
240
Chris Lattner18961502002-06-25 16:12:52 +0000241void FunctionRepBuilder::visitLoadInst(LoadInst &LI) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000242 // Only loads that return pointers are interesting...
Chris Lattner18961502002-06-25 16:12:52 +0000243 const PointerType *DestTy = dyn_cast<PointerType>(LI.getType());
Chris Lattnerfe145682002-04-17 03:24:59 +0000244 if (DestTy == 0) return;
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000245
Chris Lattner18961502002-06-25 16:12:52 +0000246 const PointerValSet &SrcPVS = ValueMap[LI.getOperand(0)];
247 PointerValSet &LIPVS = ValueMap[&LI];
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000248
249 bool Changed = false;
250 for (unsigned si = 0, se = SrcPVS.size(); si != se; ++si) {
251 PointerVal Ptr = getIndexedPointerDest(SrcPVS[si], LI);
252 PointerValSet &Field = getField(Ptr);
253
254 if (Field.size()) { // Field loaded wasn't null?
255 Changed |= LIPVS.add(Field);
Chris Lattnerfe145682002-04-17 03:24:59 +0000256 } else {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000257 // If we are loading a null field out of a shadow node, we need to
258 // synthesize a new shadow node and link it in...
259 //
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000260 ShadowDSNode *SynthNode =
Chris Lattnerfe145682002-04-17 03:24:59 +0000261 Ptr.Node->synthesizeNode(DestTy->getElementType(), this);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000262 Field.add(SynthNode);
263
264 Changed |= LIPVS.add(Field);
265 }
266 }
267
Chris Lattner18961502002-06-25 16:12:52 +0000268 if (Changed) addAllUsesToWorkList(&LI);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000269}
270
Chris Lattner18961502002-06-25 16:12:52 +0000271void FunctionRepBuilder::visitStoreInst(StoreInst &SI) {
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000272 // The only stores that are interesting are stores the store pointers
273 // into data structures...
274 //
Chris Lattner18961502002-06-25 16:12:52 +0000275 if (!isa<PointerType>(SI.getOperand(0)->getType())) return;
276 if (!ValueMap.count(SI.getOperand(0))) return; // Src scalar has no values!
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000277
Chris Lattner18961502002-06-25 16:12:52 +0000278 const PointerValSet &SrcPVS = ValueMap[SI.getOperand(0)];
279 const PointerValSet &PtrPVS = ValueMap[SI.getOperand(1)];
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000280
281 for (unsigned si = 0, se = SrcPVS.size(); si != se; ++si) {
282 const PointerVal &SrcPtr = SrcPVS[si];
283 for (unsigned pi = 0, pe = PtrPVS.size(); pi != pe; ++pi) {
284 PointerVal Dest = getIndexedPointerDest(PtrPVS[pi], SI);
285
286#if 0
Anand Shuklaa9284032002-06-25 20:35:19 +0000287 std::cerr << "Setting Dest:\n";
288 Dest.print(std::cerr);
289 std::cerr << "to point to Src:\n";
290 SrcPtr.print(std::cerr);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000291#endif
292
293 // Add SrcPtr into the Dest field...
294 if (getField(Dest).add(SrcPtr)) {
295 // If we modified the dest field, then invalidate everyone that points
296 // to Dest.
297 const std::vector<Value*> &Ptrs = Dest.Node->getPointers();
298 for (unsigned i = 0, e = Ptrs.size(); i != e; ++i)
299 addAllUsesToWorkList(Ptrs[i]);
300 }
301 }
302 }
303}
304
Chris Lattner18961502002-06-25 16:12:52 +0000305void FunctionRepBuilder::visitCallInst(CallInst &CI) {
306 CallDSNode *DSN = CallMap[&CI];
Chris Lattner7650b942002-04-16 20:39:59 +0000307 unsigned PtrNum = 0;
Chris Lattner18961502002-06-25 16:12:52 +0000308 for (unsigned i = 0, e = CI.getNumOperands(); i != e; ++i)
309 if (isa<PointerType>(CI.getOperand(i)->getType()))
310 DSN->addArgValue(PtrNum++, ValueMap[CI.getOperand(i)]);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000311}
312
Chris Lattner18961502002-06-25 16:12:52 +0000313void FunctionRepBuilder::visitPHINode(PHINode &PN) {
314 assert(isa<PointerType>(PN.getType()) && "Should only update ptr phis");
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000315
Chris Lattner18961502002-06-25 16:12:52 +0000316 PointerValSet &PN_PVS = ValueMap[&PN];
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000317 bool Changed = false;
Chris Lattner18961502002-06-25 16:12:52 +0000318 for (unsigned i = 0, e = PN.getNumIncomingValues(); i != e; ++i)
319 Changed |= PN_PVS.add(ValueMap[PN.getIncomingValue(i)],
320 PN.getIncomingValue(i));
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000321
Chris Lattner18961502002-06-25 16:12:52 +0000322 if (Changed) addAllUsesToWorkList(&PN);
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000323}
324
325
326
327
328// FunctionDSGraph constructor - Perform the global analysis to determine
329// what the data structure usage behavior or a method looks like.
330//
331FunctionDSGraph::FunctionDSGraph(Function *F) : Func(F) {
332 FunctionRepBuilder Builder(this);
Chris Lattner1120c8b2002-03-28 17:56:03 +0000333 AllocNodes = Builder.getAllocNodes();
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000334 ShadowNodes = Builder.getShadowNodes();
Chris Lattner1120c8b2002-03-28 17:56:03 +0000335 GlobalNodes = Builder.getGlobalNodes();
336 CallNodes = Builder.getCallNodes();
337 RetNode = Builder.getRetNode();
338 ValueMap = Builder.getValueMap();
Chris Lattnerf4066b32002-03-27 19:45:12 +0000339
Chris Lattner7650b942002-04-16 20:39:59 +0000340 // Remove all entries in the value map that consist of global values pointing
341 // at things. They can only point to their node, so there is no use keeping
342 // them.
343 //
Anand Shuklaa9284032002-06-25 20:35:19 +0000344 for (std::map<Value*, PointerValSet>::iterator I = ValueMap.begin(),
Chris Lattner7650b942002-04-16 20:39:59 +0000345 E = ValueMap.end(); I != E;)
346 if (isa<GlobalValue>(I->first)) {
347#if MAP_DOESNT_HAVE_BROKEN_ERASE_MEMBER
348 I = ValueMap.erase(I);
349#else
350 ValueMap.erase(I); // This is really lame.
351 I = ValueMap.begin(); // GCC's stdc++ lib doesn't return an it!
352#endif
353 } else
354 ++I;
355
Chris Lattnerf4066b32002-03-27 19:45:12 +0000356 bool Changed = true;
357 while (Changed) {
358 // Eliminate shadow nodes that are not distinguishable from some other
359 // node in the graph...
360 //
Chris Lattner7d093d42002-03-28 19:16:48 +0000361 Changed = UnlinkUndistinguishableNodes();
Chris Lattnerf4066b32002-03-27 19:45:12 +0000362
363 // Eliminate shadow nodes that are now extraneous due to linking...
Chris Lattner7d093d42002-03-28 19:16:48 +0000364 Changed |= RemoveUnreachableNodes();
Chris Lattnerf4066b32002-03-27 19:45:12 +0000365 }
Chris Lattnerbb2a28f2002-03-26 22:39:06 +0000366}