blob: 005580155d63ddafe3c2babcdb9c25b470422f50 [file] [log] [blame]
Chris Lattnerfccd06f2002-10-01 22:33:50 +00001//===- Local.cpp - Compute a local data structure graph for a function ----===//
Chris Lattnerc68c31b2002-07-10 22:38:08 +00002//
3// Compute the local version of the data structure graph for a function. The
4// external interface to this file is the DSGraph constructor.
5//
6//===----------------------------------------------------------------------===//
7
Chris Lattner055dc2c2002-07-18 15:54:42 +00008#include "llvm/Analysis/DataStructure.h"
Chris Lattner0779ba62002-11-09 19:25:10 +00009#include "llvm/Analysis/DSGraph.h"
Chris Lattnerc68c31b2002-07-10 22:38:08 +000010#include "llvm/iMemory.h"
11#include "llvm/iTerminators.h"
12#include "llvm/iPHINode.h"
13#include "llvm/iOther.h"
14#include "llvm/Constants.h"
15#include "llvm/DerivedTypes.h"
Chris Lattnerfccd06f2002-10-01 22:33:50 +000016#include "llvm/Function.h"
17#include "llvm/GlobalVariable.h"
Chris Lattnerc68c31b2002-07-10 22:38:08 +000018#include "llvm/Support/InstVisitor.h"
Chris Lattnerfccd06f2002-10-01 22:33:50 +000019#include "llvm/Target/TargetData.h"
20#include "Support/Statistic.h"
Chris Lattner4fe34612002-11-18 21:44:19 +000021#include "Support/Timer.h"
Chris Lattner923fc052003-02-05 21:59:58 +000022#include "Support/CommandLine.h"
Chris Lattnerfccd06f2002-10-01 22:33:50 +000023
24// FIXME: This should eventually be a FunctionPass that is automatically
25// aggregated into a Pass.
26//
27#include "llvm/Module.h"
28
Chris Lattner97f51a32002-07-27 01:12:15 +000029static RegisterAnalysis<LocalDataStructures>
30X("datastructure", "Local Data Structure Analysis");
Chris Lattner97f51a32002-07-27 01:12:15 +000031
Chris Lattnerb1060432002-11-07 05:20:53 +000032namespace DS {
Chris Lattnerfccd06f2002-10-01 22:33:50 +000033 // FIXME: Do something smarter with target data!
34 TargetData TD("temp-td");
Chris Lattnerfccd06f2002-10-01 22:33:50 +000035
36 // isPointerType - Return true if this type is big enough to hold a pointer.
37 bool isPointerType(const Type *Ty) {
38 if (isa<PointerType>(Ty))
39 return true;
40 else if (Ty->isPrimitiveType() && Ty->isInteger())
41 return Ty->getPrimitiveSize() >= PointerSize;
42 return false;
43 }
44}
Chris Lattnerb1060432002-11-07 05:20:53 +000045using namespace DS;
Chris Lattnerfccd06f2002-10-01 22:33:50 +000046
Chris Lattnerc68c31b2002-07-10 22:38:08 +000047
48namespace {
Chris Lattner923fc052003-02-05 21:59:58 +000049 cl::opt<bool>
50 DisableDirectCallOpt("disable-direct-call-dsopt", cl::Hidden,
51 cl::desc("Disable direct call optimization in "
52 "DSGraph construction"));
Chris Lattnerca3f7902003-02-08 20:18:39 +000053 cl::opt<bool>
54 DisableFieldSensitivity("disable-ds-field-sensitivity", cl::Hidden,
55 cl::desc("Disable field sensitivity in DSGraphs"));
Chris Lattner923fc052003-02-05 21:59:58 +000056
Chris Lattnerfccd06f2002-10-01 22:33:50 +000057 //===--------------------------------------------------------------------===//
58 // GraphBuilder Class
59 //===--------------------------------------------------------------------===//
60 //
61 /// This class is the builder class that constructs the local data structure
62 /// graph by performing a single pass over the function in question.
63 ///
Chris Lattnerc68c31b2002-07-10 22:38:08 +000064 class GraphBuilder : InstVisitor<GraphBuilder> {
65 DSGraph &G;
Chris Lattnerb3416bc2003-02-01 04:01:21 +000066 std::vector<DSNode*> &Nodes;
Chris Lattnerc68c31b2002-07-10 22:38:08 +000067 DSNodeHandle &RetNode; // Node that gets returned...
Chris Lattner41c04f72003-02-01 04:52:08 +000068 hash_map<Value*, DSNodeHandle> &ScalarMap;
Chris Lattnerb3416bc2003-02-01 04:01:21 +000069 std::vector<DSCallSite> &FunctionCalls;
Chris Lattnerc68c31b2002-07-10 22:38:08 +000070
71 public:
Chris Lattnerb3416bc2003-02-01 04:01:21 +000072 GraphBuilder(DSGraph &g, std::vector<DSNode*> &nodes, DSNodeHandle &retNode,
Chris Lattner41c04f72003-02-01 04:52:08 +000073 hash_map<Value*, DSNodeHandle> &SM,
Chris Lattnerb3416bc2003-02-01 04:01:21 +000074 std::vector<DSCallSite> &fc)
Chris Lattnerc875f022002-11-03 21:27:48 +000075 : G(g), Nodes(nodes), RetNode(retNode), ScalarMap(SM), FunctionCalls(fc) {
Chris Lattner0d9bab82002-07-18 00:12:30 +000076
77 // Create scalar nodes for all pointer arguments...
78 for (Function::aiterator I = G.getFunction().abegin(),
79 E = G.getFunction().aend(); I != E; ++I)
Chris Lattnerfccd06f2002-10-01 22:33:50 +000080 if (isPointerType(I->getType()))
81 getValueDest(*I);
Chris Lattner0d9bab82002-07-18 00:12:30 +000082
Chris Lattnerc68c31b2002-07-10 22:38:08 +000083 visit(G.getFunction()); // Single pass over the function
Chris Lattnerc68c31b2002-07-10 22:38:08 +000084 }
85
86 private:
87 // Visitor functions, used to handle each instruction type we encounter...
88 friend class InstVisitor<GraphBuilder>;
Chris Lattnerd18f3422002-11-03 21:24:04 +000089 void visitMallocInst(MallocInst &MI) { handleAlloc(MI, DSNode::HeapNode); }
Chris Lattnerc68c31b2002-07-10 22:38:08 +000090 void visitAllocaInst(AllocaInst &AI) { handleAlloc(AI, DSNode::AllocaNode);}
91 void handleAlloc(AllocationInst &AI, DSNode::NodeTy NT);
92
93 void visitPHINode(PHINode &PN);
94
Chris Lattner51340062002-11-08 05:00:44 +000095 void visitGetElementPtrInst(User &GEP);
Chris Lattnerc68c31b2002-07-10 22:38:08 +000096 void visitReturnInst(ReturnInst &RI);
97 void visitLoadInst(LoadInst &LI);
98 void visitStoreInst(StoreInst &SI);
99 void visitCallInst(CallInst &CI);
100 void visitSetCondInst(SetCondInst &SCI) {} // SetEQ & friends are ignored
Vikram S. Advebac06222002-12-06 21:17:10 +0000101 void visitFreeInst(FreeInst &FI);
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000102 void visitCastInst(CastInst &CI);
Chris Lattner878e5212003-02-04 00:59:50 +0000103 void visitInstruction(Instruction &I);
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000104
105 private:
106 // Helper functions used to implement the visitation functions...
107
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000108 /// createNode - Create a new DSNode, ensuring that it is properly added to
109 /// the graph.
110 ///
Chris Lattner92673292002-11-02 00:13:20 +0000111 DSNode *createNode(DSNode::NodeTy NodeType, const Type *Ty = 0) {
Chris Lattner72d29a42003-02-11 23:11:51 +0000112 DSNode *N = new DSNode(NodeType, Ty, &G); // Create the node
Chris Lattnerca3f7902003-02-08 20:18:39 +0000113 if (DisableFieldSensitivity)
114 N->foldNodeCompletely();
Chris Lattner92673292002-11-02 00:13:20 +0000115 return N;
116 }
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000117
Chris Lattnerc875f022002-11-03 21:27:48 +0000118 /// setDestTo - Set the ScalarMap entry for the specified value to point to
Chris Lattner92673292002-11-02 00:13:20 +0000119 /// the specified destination. If the Value already points to a node, make
120 /// sure to merge the two destinations together.
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000121 ///
Chris Lattner92673292002-11-02 00:13:20 +0000122 void setDestTo(Value &V, const DSNodeHandle &NH);
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000123
Chris Lattner92673292002-11-02 00:13:20 +0000124 /// getValueDest - Return the DSNode that the actual value points to.
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000125 ///
Chris Lattner92673292002-11-02 00:13:20 +0000126 DSNodeHandle getValueDest(Value &V);
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000127
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000128 /// getLink - This method is used to return the specified link in the
129 /// specified node if one exists. If a link does not already exist (it's
Chris Lattner7e51c872002-10-31 06:52:26 +0000130 /// null), then we create a new node, link it, then return it.
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000131 ///
Chris Lattner7e51c872002-10-31 06:52:26 +0000132 DSNodeHandle &getLink(const DSNodeHandle &Node, unsigned Link = 0);
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000133 };
134}
135
136//===----------------------------------------------------------------------===//
137// DSGraph constructor - Simply use the GraphBuilder to construct the local
138// graph.
Chris Lattner2e4f9bf2002-11-09 20:01:01 +0000139DSGraph::DSGraph(Function &F, DSGraph *GG) : Func(&F), GlobalsGraph(GG) {
Chris Lattner2a068862002-11-10 06:53:38 +0000140 PrintAuxCalls = false;
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000141 // Use the graph builder to construct the local version of the graph
Chris Lattnerc875f022002-11-03 21:27:48 +0000142 GraphBuilder B(*this, Nodes, RetNode, ScalarMap, FunctionCalls);
Chris Lattner4fe34612002-11-18 21:44:19 +0000143#ifndef NDEBUG
144 Timer::addPeakMemoryMeasurement();
145#endif
Chris Lattner1a1a85d2003-02-14 04:55:58 +0000146
147 // Remove all integral constants from the scalarmap!
148 for (hash_map<Value*, DSNodeHandle>::iterator I = ScalarMap.begin();
149 I != ScalarMap.end();)
150 if (isa<ConstantIntegral>(I->first)) {
151 hash_map<Value*, DSNodeHandle>::iterator J = I++;
152 ScalarMap.erase(J);
153 } else
154 ++I;
155
Chris Lattner394471f2003-01-23 22:05:33 +0000156 markIncompleteNodes(DSGraph::MarkFormalArgs);
Chris Lattner96517252002-11-09 20:55:24 +0000157
158 // Remove any nodes made dead due to merging...
Chris Lattner394471f2003-01-23 22:05:33 +0000159 removeDeadNodes(DSGraph::KeepUnreachableGlobals);
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000160}
161
162
163//===----------------------------------------------------------------------===//
164// Helper method implementations...
165//
166
Chris Lattner92673292002-11-02 00:13:20 +0000167/// getValueDest - Return the DSNode that the actual value points to.
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000168///
Chris Lattner51340062002-11-08 05:00:44 +0000169DSNodeHandle GraphBuilder::getValueDest(Value &Val) {
170 Value *V = &Val;
171 if (V == Constant::getNullValue(V->getType()))
172 return 0; // Null doesn't point to anything, don't add to ScalarMap!
Chris Lattner92673292002-11-02 00:13:20 +0000173
Vikram S. Advebac06222002-12-06 21:17:10 +0000174 DSNodeHandle &NH = ScalarMap[V];
175 if (NH.getNode())
176 return NH; // Already have a node? Just return it...
177
178 // Otherwise we need to create a new node to point to.
179 // Check first for constant expressions that must be traversed to
180 // extract the actual value.
Chris Lattner51340062002-11-08 05:00:44 +0000181 if (Constant *C = dyn_cast<Constant>(V))
182 if (ConstantPointerRef *CPR = dyn_cast<ConstantPointerRef>(C)) {
Vikram S. Advebac06222002-12-06 21:17:10 +0000183 return NH = getValueDest(*CPR->getValue());
Chris Lattner51340062002-11-08 05:00:44 +0000184 } else if (ConstantExpr *CE = dyn_cast<ConstantExpr>(C)) {
185 if (CE->getOpcode() == Instruction::Cast)
Chris Lattner1e56c542003-02-09 23:04:12 +0000186 NH = getValueDest(*CE->getOperand(0));
187 else if (CE->getOpcode() == Instruction::GetElementPtr) {
Chris Lattner51340062002-11-08 05:00:44 +0000188 visitGetElementPtrInst(*CE);
Chris Lattner41c04f72003-02-01 04:52:08 +0000189 hash_map<Value*, DSNodeHandle>::iterator I = ScalarMap.find(CE);
Chris Lattner2cfbaaf2002-11-09 20:14:03 +0000190 assert(I != ScalarMap.end() && "GEP didn't get processed right?");
Chris Lattner1e56c542003-02-09 23:04:12 +0000191 NH = I->second;
192 } else {
193 // This returns a conservative unknown node for any unhandled ConstExpr
194 return NH = createNode(DSNode::UnknownNode);
Chris Lattner51340062002-11-08 05:00:44 +0000195 }
Chris Lattner1e56c542003-02-09 23:04:12 +0000196 if (NH.getNode() == 0) { // (getelementptr null, X) returns null
197 ScalarMap.erase(V);
198 return 0;
199 }
200 return NH;
Chris Lattner51340062002-11-08 05:00:44 +0000201
Chris Lattner51340062002-11-08 05:00:44 +0000202 } else if (ConstantIntegral *CI = dyn_cast<ConstantIntegral>(C)) {
203 // Random constants are unknown mem
Vikram S. Advebac06222002-12-06 21:17:10 +0000204 return NH = createNode(DSNode::UnknownNode);
Chris Lattner51340062002-11-08 05:00:44 +0000205 } else {
206 assert(0 && "Unknown constant type!");
207 }
208
Chris Lattner92673292002-11-02 00:13:20 +0000209 // Otherwise we need to create a new node to point to...
210 DSNode *N;
Chris Lattner51340062002-11-08 05:00:44 +0000211 if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
Chris Lattner92673292002-11-02 00:13:20 +0000212 // Create a new global node for this global variable...
213 N = createNode(DSNode::GlobalNode, GV->getType()->getElementType());
214 N->addGlobal(GV);
215 } else {
216 // Otherwise just create a shadow node
217 N = createNode(DSNode::ShadowNode);
218 }
219
220 NH.setNode(N); // Remember that we are pointing to it...
221 NH.setOffset(0);
222 return NH;
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000223}
224
Chris Lattner0d9bab82002-07-18 00:12:30 +0000225
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000226/// getLink - This method is used to return the specified link in the
227/// specified node if one exists. If a link does not already exist (it's
228/// null), then we create a new node, link it, then return it. We must
229/// specify the type of the Node field we are accessing so that we know what
230/// type should be linked to if we need to create a new node.
231///
Chris Lattner7e51c872002-10-31 06:52:26 +0000232DSNodeHandle &GraphBuilder::getLink(const DSNodeHandle &node, unsigned LinkNo) {
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000233 DSNodeHandle &Node = const_cast<DSNodeHandle&>(node);
Chris Lattner08db7192002-11-06 06:20:27 +0000234 DSNodeHandle &Link = Node.getLink(LinkNo);
235 if (!Link.getNode()) {
236 // If the link hasn't been created yet, make and return a new shadow node
237 Link = createNode(DSNode::ShadowNode);
238 }
239 return Link;
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000240}
241
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000242
Chris Lattnerc875f022002-11-03 21:27:48 +0000243/// setDestTo - Set the ScalarMap entry for the specified value to point to the
Chris Lattner92673292002-11-02 00:13:20 +0000244/// specified destination. If the Value already points to a node, make sure to
245/// merge the two destinations together.
246///
247void GraphBuilder::setDestTo(Value &V, const DSNodeHandle &NH) {
Chris Lattnerc875f022002-11-03 21:27:48 +0000248 DSNodeHandle &AINH = ScalarMap[&V];
Chris Lattner92673292002-11-02 00:13:20 +0000249 if (AINH.getNode() == 0) // Not pointing to anything yet?
250 AINH = NH; // Just point directly to NH
251 else
252 AINH.mergeWith(NH);
253}
254
255
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000256//===----------------------------------------------------------------------===//
257// Specific instruction type handler implementations...
258//
259
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000260/// Alloca & Malloc instruction implementation - Simply create a new memory
261/// object, pointing the scalar to it.
262///
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000263void GraphBuilder::handleAlloc(AllocationInst &AI, DSNode::NodeTy NodeType) {
Chris Lattner92673292002-11-02 00:13:20 +0000264 setDestTo(AI, createNode(NodeType));
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000265}
266
267// PHINode - Make the scalar for the PHI node point to all of the things the
268// incoming values point to... which effectively causes them to be merged.
269//
270void GraphBuilder::visitPHINode(PHINode &PN) {
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000271 if (!isPointerType(PN.getType())) return; // Only pointer PHIs
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000272
Chris Lattnerc875f022002-11-03 21:27:48 +0000273 DSNodeHandle &PNDest = ScalarMap[&PN];
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000274 for (unsigned i = 0, e = PN.getNumIncomingValues(); i != e; ++i)
Chris Lattner92673292002-11-02 00:13:20 +0000275 PNDest.mergeWith(getValueDest(*PN.getIncomingValue(i)));
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000276}
277
Chris Lattner51340062002-11-08 05:00:44 +0000278void GraphBuilder::visitGetElementPtrInst(User &GEP) {
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000279 DSNodeHandle Value = getValueDest(*GEP.getOperand(0));
Chris Lattner92673292002-11-02 00:13:20 +0000280 if (Value.getNode() == 0) return;
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000281
282 unsigned Offset = 0;
Chris Lattner8f0a16e2002-10-31 05:45:02 +0000283 const PointerType *PTy = cast<PointerType>(GEP.getOperand(0)->getType());
284 const Type *CurTy = PTy->getElementType();
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000285
Chris Lattner08db7192002-11-06 06:20:27 +0000286 if (Value.getNode()->mergeTypeInfo(CurTy, Value.getOffset())) {
287 // If the node had to be folded... exit quickly
Chris Lattner92673292002-11-02 00:13:20 +0000288 setDestTo(GEP, Value); // GEP result points to folded node
Chris Lattner8f0a16e2002-10-31 05:45:02 +0000289 return;
290 }
291
Chris Lattner08db7192002-11-06 06:20:27 +0000292#if 0
Chris Lattner8f0a16e2002-10-31 05:45:02 +0000293 // Handle the pointer index specially...
294 if (GEP.getNumOperands() > 1 &&
295 GEP.getOperand(1) != ConstantSInt::getNullValue(Type::LongTy)) {
296
297 // If we already know this is an array being accessed, don't do anything...
298 if (!TopTypeRec.isArray) {
299 TopTypeRec.isArray = true;
300
301 // If we are treating some inner field pointer as an array, fold the node
302 // up because we cannot handle it right. This can come because of
303 // something like this: &((&Pt->X)[1]) == &Pt->Y
304 //
305 if (Value.getOffset()) {
306 // Value is now the pointer we want to GEP to be...
307 Value.getNode()->foldNodeCompletely();
Chris Lattner92673292002-11-02 00:13:20 +0000308 setDestTo(GEP, Value); // GEP result points to folded node
Chris Lattner8f0a16e2002-10-31 05:45:02 +0000309 return;
310 } else {
311 // This is a pointer to the first byte of the node. Make sure that we
312 // are pointing to the outter most type in the node.
313 // FIXME: We need to check one more case here...
314 }
315 }
316 }
Chris Lattner08db7192002-11-06 06:20:27 +0000317#endif
Chris Lattner8f0a16e2002-10-31 05:45:02 +0000318
319 // All of these subscripts are indexing INTO the elements we have...
320 for (unsigned i = 2, e = GEP.getNumOperands(); i < e; ++i)
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000321 if (GEP.getOperand(i)->getType() == Type::LongTy) {
Chris Lattnere03f32b2002-10-02 06:24:36 +0000322 // Get the type indexing into...
323 const SequentialType *STy = cast<SequentialType>(CurTy);
324 CurTy = STy->getElementType();
Chris Lattner08db7192002-11-06 06:20:27 +0000325#if 0
Chris Lattnere03f32b2002-10-02 06:24:36 +0000326 if (ConstantSInt *CS = dyn_cast<ConstantSInt>(GEP.getOperand(i))) {
Chris Lattner8f0a16e2002-10-31 05:45:02 +0000327 Offset += CS->getValue()*TD.getTypeSize(CurTy);
Chris Lattnere03f32b2002-10-02 06:24:36 +0000328 } else {
329 // Variable index into a node. We must merge all of the elements of the
330 // sequential type here.
331 if (isa<PointerType>(STy))
332 std::cerr << "Pointer indexing not handled yet!\n";
333 else {
334 const ArrayType *ATy = cast<ArrayType>(STy);
335 unsigned ElSize = TD.getTypeSize(CurTy);
336 DSNode *N = Value.getNode();
337 assert(N && "Value must have a node!");
338 unsigned RawOffset = Offset+Value.getOffset();
339
340 // Loop over all of the elements of the array, merging them into the
341 // zero'th element.
342 for (unsigned i = 1, e = ATy->getNumElements(); i != e; ++i)
343 // Merge all of the byte components of this array element
344 for (unsigned j = 0; j != ElSize; ++j)
345 N->mergeIndexes(RawOffset+j, RawOffset+i*ElSize+j);
346 }
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000347 }
Chris Lattner08db7192002-11-06 06:20:27 +0000348#endif
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000349 } else if (GEP.getOperand(i)->getType() == Type::UByteTy) {
350 unsigned FieldNo = cast<ConstantUInt>(GEP.getOperand(i))->getValue();
351 const StructType *STy = cast<StructType>(CurTy);
352 Offset += TD.getStructLayout(STy)->MemberOffsets[FieldNo];
353 CurTy = STy->getContainedType(FieldNo);
354 }
355
356 // Add in the offset calculated...
357 Value.setOffset(Value.getOffset()+Offset);
358
359 // Value is now the pointer we want to GEP to be...
Chris Lattner92673292002-11-02 00:13:20 +0000360 setDestTo(GEP, Value);
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000361}
362
363void GraphBuilder::visitLoadInst(LoadInst &LI) {
Chris Lattner92673292002-11-02 00:13:20 +0000364 DSNodeHandle Ptr = getValueDest(*LI.getOperand(0));
365 if (Ptr.getNode() == 0) return;
366
367 // Make that the node is read from...
Chris Lattner06285232002-10-17 22:13:19 +0000368 Ptr.getNode()->NodeType |= DSNode::Read;
Chris Lattner8f0a16e2002-10-31 05:45:02 +0000369
370 // Ensure a typerecord exists...
Chris Lattner088b6392003-03-03 17:13:31 +0000371 Ptr.getNode()->mergeTypeInfo(LI.getType(), Ptr.getOffset(), false);
Chris Lattner92673292002-11-02 00:13:20 +0000372
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000373 if (isPointerType(LI.getType()))
Chris Lattner92673292002-11-02 00:13:20 +0000374 setDestTo(LI, getLink(Ptr));
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000375}
376
377void GraphBuilder::visitStoreInst(StoreInst &SI) {
Chris Lattner8f0a16e2002-10-31 05:45:02 +0000378 const Type *StoredTy = SI.getOperand(0)->getType();
Chris Lattner92673292002-11-02 00:13:20 +0000379 DSNodeHandle Dest = getValueDest(*SI.getOperand(1));
380 if (Dest.getNode() == 0) return;
381
Vikram S. Advebac06222002-12-06 21:17:10 +0000382 // Mark that the node is written to...
Chris Lattner92673292002-11-02 00:13:20 +0000383 Dest.getNode()->NodeType |= DSNode::Modified;
Chris Lattner8f0a16e2002-10-31 05:45:02 +0000384
385 // Ensure a typerecord exists...
Chris Lattner08db7192002-11-06 06:20:27 +0000386 Dest.getNode()->mergeTypeInfo(StoredTy, Dest.getOffset());
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000387
388 // Avoid adding edges from null, or processing non-"pointer" stores
Chris Lattner92673292002-11-02 00:13:20 +0000389 if (isPointerType(StoredTy))
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000390 Dest.addEdgeTo(getValueDest(*SI.getOperand(0)));
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000391}
392
393void GraphBuilder::visitReturnInst(ReturnInst &RI) {
Chris Lattner92673292002-11-02 00:13:20 +0000394 if (RI.getNumOperands() && isPointerType(RI.getOperand(0)->getType()))
395 RetNode.mergeWith(getValueDest(*RI.getOperand(0)));
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000396}
397
398void GraphBuilder::visitCallInst(CallInst &CI) {
Chris Lattnerc314ac42002-07-11 20:32:02 +0000399 // Set up the return value...
Chris Lattner0969c502002-10-21 02:08:03 +0000400 DSNodeHandle RetVal;
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000401 if (isPointerType(CI.getType()))
Chris Lattner92673292002-11-02 00:13:20 +0000402 RetVal = getValueDest(CI);
Chris Lattnerc314ac42002-07-11 20:32:02 +0000403
Chris Lattner923fc052003-02-05 21:59:58 +0000404 DSNode *Callee = 0;
405 if (DisableDirectCallOpt || !isa<Function>(CI.getOperand(0)))
406 Callee = getValueDest(*CI.getOperand(0)).getNode();
Chris Lattner0d9bab82002-07-18 00:12:30 +0000407
Chris Lattner0969c502002-10-21 02:08:03 +0000408 std::vector<DSNodeHandle> Args;
409 Args.reserve(CI.getNumOperands()-1);
410
411 // Calculate the arguments vector...
412 for (unsigned i = 1, e = CI.getNumOperands(); i != e; ++i)
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000413 if (isPointerType(CI.getOperand(i)->getType()))
Chris Lattner92673292002-11-02 00:13:20 +0000414 Args.push_back(getValueDest(*CI.getOperand(i)));
Chris Lattner0969c502002-10-21 02:08:03 +0000415
416 // Add a new function call entry...
Chris Lattner923fc052003-02-05 21:59:58 +0000417 if (Callee)
418 FunctionCalls.push_back(DSCallSite(CI, RetVal, Callee, Args));
419 else
420 FunctionCalls.push_back(DSCallSite(CI, RetVal,
421 cast<Function>(CI.getOperand(0)), Args));
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000422}
Chris Lattner055dc2c2002-07-18 15:54:42 +0000423
Vikram S. Advebac06222002-12-06 21:17:10 +0000424void GraphBuilder::visitFreeInst(FreeInst &FI) {
Vikram S. Advebac06222002-12-06 21:17:10 +0000425 // Mark that the node is written to...
Chris Lattner3f24d7a2003-01-28 20:59:57 +0000426 getValueDest(*FI.getOperand(0)).getNode()->NodeType
427 |= DSNode::Modified | DSNode::HeapNode;
Vikram S. Advebac06222002-12-06 21:17:10 +0000428}
429
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000430/// Handle casts...
431void GraphBuilder::visitCastInst(CastInst &CI) {
Chris Lattner5af344d2002-11-02 00:36:03 +0000432 if (isPointerType(CI.getType()))
433 if (isPointerType(CI.getOperand(0)->getType())) {
434 // Cast one pointer to the other, just act like a copy instruction
Chris Lattner92673292002-11-02 00:13:20 +0000435 setDestTo(CI, getValueDest(*CI.getOperand(0)));
Chris Lattner5af344d2002-11-02 00:36:03 +0000436 } else {
437 // Cast something (floating point, small integer) to a pointer. We need
438 // to track the fact that the node points to SOMETHING, just something we
439 // don't know about. Make an "Unknown" node.
440 //
441 setDestTo(CI, createNode(DSNode::UnknownNode));
442 }
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000443}
Chris Lattner055dc2c2002-07-18 15:54:42 +0000444
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000445
Chris Lattner878e5212003-02-04 00:59:50 +0000446// visitInstruction - For all other instruction types, if we have any arguments
447// that are of pointer type, make them have unknown composition bits, and merge
448// the nodes together.
449void GraphBuilder::visitInstruction(Instruction &Inst) {
450 DSNodeHandle CurNode;
451 if (isPointerType(Inst.getType()))
452 CurNode = getValueDest(Inst);
453 for (User::op_iterator I = Inst.op_begin(), E = Inst.op_end(); I != E; ++I)
454 if (isPointerType((*I)->getType()))
455 CurNode.mergeWith(getValueDest(**I));
456
457 if (CurNode.getNode())
458 CurNode.getNode()->NodeType |= DSNode::UnknownNode;
459}
460
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000461
462
463//===----------------------------------------------------------------------===//
464// LocalDataStructures Implementation
465//===----------------------------------------------------------------------===//
466
Chris Lattneraa0b4682002-11-09 21:12:07 +0000467bool LocalDataStructures::run(Module &M) {
468 GlobalsGraph = new DSGraph();
469
470 // Calculate all of the graphs...
471 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
472 if (!I->isExternal())
473 DSInfo.insert(std::make_pair(I, new DSGraph(*I, GlobalsGraph)));
474 return false;
475}
476
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000477// releaseMemory - If the pass pipeline is done with this pass, we can release
478// our memory... here...
479//
480void LocalDataStructures::releaseMemory() {
Chris Lattner41c04f72003-02-01 04:52:08 +0000481 for (hash_map<const Function*, DSGraph*>::iterator I = DSInfo.begin(),
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000482 E = DSInfo.end(); I != E; ++I)
483 delete I->second;
484
485 // Empty map so next time memory is released, data structures are not
486 // re-deleted.
487 DSInfo.clear();
Chris Lattner2e4f9bf2002-11-09 20:01:01 +0000488 delete GlobalsGraph;
489 GlobalsGraph = 0;
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000490}