[llvm-commits] CVS: llvm/lib/Analysis/DataStructure/Local.cpp

[Vikram Adve]

Changes in directory llvm/lib/Analysis/DataStructure:

Local.cpp updated: 1.39 -> 1.40

---
Log message:

Two bug fixes:
(1) Make entries for Constant values in the ScalarMap.
(2) Set MOD bit for the node pointed to by the 
    argument of a free instruction.


---
Diffs of the changes:

Index: llvm/lib/Analysis/DataStructure/Local.cpp
diff -u llvm/lib/Analysis/DataStructure/Local.cpp:1.39 llvm/lib/Analysis/DataStructure/Local.cpp:1.40
--- llvm/lib/Analysis/DataStructure/Local.cpp:1.39	Mon Nov 18 15:44:19 2002
+++ llvm/lib/Analysis/DataStructure/Local.cpp	Fri Dec  6 15:17:10 2002
@@ -92,7 +92,7 @@
     void visitStoreInst(StoreInst &SI);
     void visitCallInst(CallInst &CI);
     void visitSetCondInst(SetCondInst &SCI) {}  // SetEQ & friends are ignored
-    void visitFreeInst(FreeInst &FI) {}         // Ignore free instructions
+    void visitFreeInst(FreeInst &FI);
     void visitCastInst(CastInst &CI);
     void visitInstruction(Instruction &I) {}
 
@@ -154,34 +154,35 @@
   if (V == Constant::getNullValue(V->getType()))
     return 0;  // Null doesn't point to anything, don't add to ScalarMap!
 
+  DSNodeHandle &NH = ScalarMap[V];
+  if (NH.getNode())
+    return NH;     // Already have a node?  Just return it...
+
+  // Otherwise we need to create a new node to point to.
+  // Check first for constant expressions that must be traversed to
+  // extract the actual value.
   if (Constant *C = dyn_cast<Constant>(V))
     if (ConstantPointerRef *CPR = dyn_cast<ConstantPointerRef>(C)) {
-      return getValueDest(*CPR->getValue());
+      return NH = getValueDest(*CPR->getValue());
     } else if (ConstantExpr *CE = dyn_cast<ConstantExpr>(C)) {
       if (CE->getOpcode() == Instruction::Cast)
-        return getValueDest(*CE->getOperand(0));
+        return NH = getValueDest(*CE->getOperand(0));
       if (CE->getOpcode() == Instruction::GetElementPtr) {
         visitGetElementPtrInst(*CE);
         std::map<Value*, DSNodeHandle>::iterator I = ScalarMap.find(CE);
         assert(I != ScalarMap.end() && "GEP didn't get processed right?");
-        DSNodeHandle NH = I->second;
-        ScalarMap.erase(I);           // Remove constant from scalarmap
-        return NH;
+        return NH = I->second;
       }
 
       // This returns a conservative unknown node for any unhandled ConstExpr
-      return createNode(DSNode::UnknownNode);
+      return NH = createNode(DSNode::UnknownNode);
     } else if (ConstantIntegral *CI = dyn_cast<ConstantIntegral>(C)) {
       // Random constants are unknown mem
-      return createNode(DSNode::UnknownNode);
+      return NH = createNode(DSNode::UnknownNode);
     } else {
       assert(0 && "Unknown constant type!");
     }
 
-  DSNodeHandle &NH = ScalarMap[V];
-  if (NH.getNode())
-    return NH;     // Already have a node?  Just return it...
-
   // Otherwise we need to create a new node to point to...
   DSNode *N;
   if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
@@ -355,7 +356,7 @@
   DSNodeHandle Dest = getValueDest(*SI.getOperand(1));
   if (Dest.getNode() == 0) return;
 
-  // Make that the node is written to...
+  // Mark that the node is written to...
   Dest.getNode()->NodeType |= DSNode::Modified;
 
   // Ensure a typerecord exists...
@@ -389,6 +390,14 @@
 
   // Add a new function call entry...
   FunctionCalls.push_back(DSCallSite(CI, RetVal, Callee, Args));
+}
+
+void GraphBuilder::visitFreeInst(FreeInst &FI) {
+  DSNodeHandle Dest = getValueDest(*FI.getOperand(0));
+  if (Dest.getNode() == 0) return;
+
+  // Mark that the node is written to...
+  Dest.getNode()->NodeType |= DSNode::Modified;
 }
 
 /// Handle casts...