commit 0f595bbd73ed9dc1ede9d4d9ea597e37a89227ce
author Mike Stump <mrs@apple.com> Thu Apr 02 01:03:55 2009 +0000
committer Mike Stump <mrs@apple.com> Thu Apr 02 01:03:55 2009 +0000
tree 32714352ef613ea0b7c320c8b275a3244a8c4144
parent 94d4d870eb74a1694da9b4a7728d0ebe64b9178c

Fixup -ftrapv to be more gcc compatible.  -ftrapu (for want of a
better name) is the option that SmallTalk can use to intercept all
overflows, including unsigned.  I added some testcases so we don't
break anything.

Also included is another patch from David for += and friends.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68267 91177308-0d34-0410-b5e6-96231b3b80d8

lib/CodeGen/CGExprScalar.cpp

diff --git a/lib/CodeGen/CGExprScalar.cpp b/lib/CodeGen/CGExprScalar.cpp
index b47d578..1d2da0d 100644
--- a/lib/CodeGen/CGExprScalar.cpp
+++ b/lib/CodeGen/CGExprScalar.cpp
@@ -262,7 +262,9 @@
     
   // Binary Operators.
   Value *EmitMul(const BinOpInfo &Ops) {
-    if (CGF.getContext().getLangOptions().OverflowChecking)
+    if (CGF.getContext().getLangOptions().UnsignedOverflowChecking
+        || (CGF.getContext().getLangOptions().OverflowChecking
+            && Ops.Ty->isSignedIntegerType()))
       return EmitOverflowCheckedBinOp(Ops);
     return Builder.CreateMul(Ops.LHS, Ops.RHS, "mul");
   }
@@ -834,21 +836,26 @@
 Value *ScalarExprEmitter::EmitOverflowCheckedBinOp(const BinOpInfo &Ops) {
   unsigned IID;
   unsigned OpID = 0;
+
   if (Ops.Ty->isSignedIntegerType()) {
     switch (Ops.E->getOpcode()) {
       case BinaryOperator::Add:
+      case BinaryOperator::AddAssign:
         OpID = 1;
         IID = llvm::Intrinsic::sadd_with_overflow;
         break;
       case BinaryOperator::Sub:
+      case BinaryOperator::SubAssign:
         OpID = 2;
         IID = llvm::Intrinsic::ssub_with_overflow;
         break;
       case BinaryOperator::Mul:
+      case BinaryOperator::MulAssign:
         OpID = 3;
         IID = llvm::Intrinsic::smul_with_overflow;
         break;
       default:
+		fprintf(stderr, "Opcode: %d\n", Ops.E->getOpcode());
         assert(false && "Unsupported operation for overflow detection");
     }
     OpID <<= 1;
@@ -859,14 +866,17 @@
         "Must be either a signed or unsigned integer op");
     switch (Ops.E->getOpcode()) {
       case BinaryOperator::Add:
+      case BinaryOperator::AddAssign:
         OpID = 1;
         IID = llvm::Intrinsic::uadd_with_overflow;
         break;
       case BinaryOperator::Sub:
+      case BinaryOperator::SubAssign:
         OpID = 2;
         IID = llvm::Intrinsic::usub_with_overflow;
         break;
       case BinaryOperator::Mul:
+      case BinaryOperator::MulAssign:
         OpID = 3;
         IID = llvm::Intrinsic::umul_with_overflow;
         break;
@@ -935,7 +945,9 @@
 
 Value *ScalarExprEmitter::EmitAdd(const BinOpInfo &Ops) {
   if (!Ops.Ty->isPointerType()) {
-    if (CGF.getContext().getLangOptions().OverflowChecking)
+    if (CGF.getContext().getLangOptions().UnsignedOverflowChecking
+        || (CGF.getContext().getLangOptions().OverflowChecking
+            && Ops.Ty->isSignedIntegerType()))
       return EmitOverflowCheckedBinOp(Ops);
     return Builder.CreateAdd(Ops.LHS, Ops.RHS, "add");
   }
@@ -986,7 +998,9 @@
 
 Value *ScalarExprEmitter::EmitSub(const BinOpInfo &Ops) {
   if (!isa<llvm::PointerType>(Ops.LHS->getType())) {
-    if (CGF.getContext().getLangOptions().OverflowChecking)
+    if (CGF.getContext().getLangOptions().UnsignedOverflowChecking
+        || (CGF.getContext().getLangOptions().OverflowChecking
+            && Ops.Ty->isSignedIntegerType()))
       return EmitOverflowCheckedBinOp(Ops);
     return Builder.CreateSub(Ops.LHS, Ops.RHS, "sub");
   }