[cfe-commits] r46310 - /cfe/trunk/Analysis/GRConstants.cpp

[Ted Kremenek]

Author: kremenek
Date: Thu Jan 24 02:20:02 2008
New Revision: 46310

URL: http://llvm.org/viewvc/llvm-project?rev=46310&view=rev
Log:
Added support for unary operator '-' for equality sets.

Added some workarounds for loss of signess information on some APSInt
operations. Considering the best route to integrate these into APSInt directly.
(FIXME's in GRConstants.cpp).

Modified:
    cfe/trunk/Analysis/GRConstants.cpp

Modified: cfe/trunk/Analysis/GRConstants.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Analysis/GRConstants.cpp?rev=46310&r1=46309&r2=46310&view=diff

==============================================================================
--- cfe/trunk/Analysis/GRConstants.cpp (original)
+++ cfe/trunk/Analysis/GRConstants.cpp Thu Jan 24 02:20:02 2008
@@ -212,8 +212,10 @@
   RValue EvalAdd(ValueManager& ValMgr, const RValue& RHS) const;
   RValue EvalSub(ValueManager& ValMgr, const RValue& RHS) const;
   RValue EvalMul(ValueManager& ValMgr, const RValue& RHS) const;
+  RValue EvalMinus(ValueManager& ValMgr, UnaryOperator* U) const;
   
   static RValue GetRValue(ValueManager& ValMgr, const llvm::APSInt& V);
+  static RValue GetRValue(ValueManager& ValMgr, IntegerLiteral* I);
   
   // Implement isa<T> support.
   static inline bool classof(const ExprValue* V) {
@@ -241,6 +243,9 @@
 
   RValueMayEqualSet EvalCast(ValueManager& ValMgr, Expr* CastExpr) const;
   
+  RValueMayEqualSet EvalMinus(ValueManager& ValMgr, UnaryOperator* U) const;
+
+  
   // Implement isa<T> support.
   static inline bool classof(const ExprValue* V) {
     return V->getKind() == RValueMayEqualSetKind;
@@ -280,6 +285,44 @@
 }
 
 //===----------------------------------------------------------------------===//
+// Transfer functions: Unary Operations over R-Values.
+//===----------------------------------------------------------------------===//
+
+RValue RValue::EvalMinus(ValueManager& ValMgr, UnaryOperator* U) const {
+  switch (getKind()) {
+    case RValueMayEqualSetKind:
+      return cast<RValueMayEqualSet>(this)->EvalMinus(ValMgr, U);
+    default:
+      return cast<RValue>(InvalidValue());
+  }
+}
+
+RValueMayEqualSet
+RValueMayEqualSet::EvalMinus(ValueManager& ValMgr, UnaryOperator* U) const {
+  
+  assert (U->getType() == U->getSubExpr()->getType());  
+  assert (U->getType()->isIntegerType());
+  
+  APSIntSetTy S1 = GetValues();  
+  APSIntSetTy S2 = ValMgr.GetEmptyAPSIntSet();
+  
+  for (APSIntSetTy::iterator I=S1.begin(), E=S1.end(); I!=E; ++I) {
+    assert ((*I).isSigned());
+    
+    // FIXME: Shouldn't operator- on APSInt return an APSInt with the proper
+    //  sign?
+    llvm::APSInt X(-(*I));
+    X.setIsSigned(true);
+    
+    S2 = ValMgr.AddToSet(S2, X);
+  }
+  
+  return S2;
+}
+
+
+
+//===----------------------------------------------------------------------===//
 // Transfer functions: Binary Operations over R-Values.
 //===----------------------------------------------------------------------===//
 
@@ -321,8 +364,14 @@
   APSIntSetTy M = ValMgr.GetEmptyAPSIntSet();
     
   for (APSIntSetTy::iterator I1=S1.begin(), E1=S2.end(); I1!=E1; ++I1)
-    for (APSIntSetTy::iterator I2=S2.begin(), E2=S2.end(); I2!=E2; ++I2)
-      M = ValMgr.AddToSet(M, *I1 + *I2);
+    for (APSIntSetTy::iterator I2=S2.begin(), E2=S2.end(); I2!=E2; ++I2) {
+      // FIXME: operator- on APSInt is really operator* on APInt, which loses
+      //  the "signess" information (although the bits are correct).
+      const llvm::APSInt& X = *I1;      
+      llvm::APSInt Y = X + *I2;
+      Y.setIsSigned(X.isSigned());
+      M = ValMgr.AddToSet(M, Y);
+    }
   
   return M;
 }
@@ -337,8 +386,14 @@
   APSIntSetTy M = ValMgr.GetEmptyAPSIntSet();
   
   for (APSIntSetTy::iterator I1=S1.begin(), E1=S2.end(); I1!=E1; ++I1)
-    for (APSIntSetTy::iterator I2=S2.begin(), E2=S2.end(); I2!=E2; ++I2)
-      M = ValMgr.AddToSet(M, *I1 - *I2);
+    for (APSIntSetTy::iterator I2=S2.begin(), E2=S2.end(); I2!=E2; ++I2) {
+      // FIXME: operator- on APSInt is really operator* on APInt, which loses
+      //  the "signess" information (although the bits are correct).
+      const llvm::APSInt& X = *I1;      
+      llvm::APSInt Y = X - *I2;
+      Y.setIsSigned(X.isSigned());
+      M = ValMgr.AddToSet(M, Y);
+    }
   
   return M;
 }
@@ -353,15 +408,27 @@
   APSIntSetTy M = ValMgr.GetEmptyAPSIntSet();
   
   for (APSIntSetTy::iterator I1=S1.begin(), E1=S2.end(); I1!=E1; ++I1)
-    for (APSIntSetTy::iterator I2=S2.begin(), E2=S2.end(); I2!=E2; ++I2)
-      M = ValMgr.AddToSet(M, *I1 * *I2);
+    for (APSIntSetTy::iterator I2=S2.begin(), E2=S2.end(); I2!=E2; ++I2) {
+      // FIXME: operator* on APSInt is really operator* on APInt, which loses
+      //  the "signess" information (although the bits are correct).
+      const llvm::APSInt& X = *I1;      
+      llvm::APSInt Y = X * *I2;
+      Y.setIsSigned(X.isSigned());
+      M = ValMgr.AddToSet(M, Y);
+    }
   
   return M;
 }
 
 RValue RValue::GetRValue(ValueManager& ValMgr, const llvm::APSInt& V) {
   return RValueMayEqualSet(ValMgr.AddToSet(ValMgr.GetEmptyAPSIntSet(), V));
-}    
+}
+
+RValue RValue::GetRValue(ValueManager& ValMgr, IntegerLiteral* I) {
+  llvm::APSInt X(I->getValue());
+  X.setIsSigned(I->getType()->isSignedIntegerType());  
+  return GetRValue(ValMgr, X); 
+}
 
 //===----------------------------------------------------------------------===//
 // "L-Values".
@@ -616,7 +683,7 @@
         return GetValue(St, LValueDecl(cast<DeclRefExpr>(S)->getDecl()));
 
       case Stmt::IntegerLiteralClass:
-        return RValue::GetRValue(ValMgr, cast<IntegerLiteral>(S)->getValue());
+        return RValue::GetRValue(ValMgr, cast<IntegerLiteral>(S));
       
       case Stmt::ImplicitCastExprClass: {
         ImplicitCastExpr* C = cast<ImplicitCastExpr>(S);
@@ -809,6 +876,12 @@
         break;
       }
         
+      case UnaryOperator::Minus: {
+        const RValue& R1 = cast<RValue>(GetValue(St, U->getSubExpr()));
+        Nodify(Dst, U, N1, SetValue(St, U, R1.EvalMinus(ValMgr, U)));
+        break;
+      }
+        
       default: ;
         assert (false && "Not implemented.");
     }