From: Bill Wendling <isanbard@gmail.com>
Date: Sun, 30 Nov 2008 05:01:05 +0000 (+0000)
Subject: From Hacker's Delight:
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f0e44c4d7afeb91f309ff277de83e3d9ce27e37f;p=oota-llvm.git

From Hacker's Delight:

"For signed integers, the determination of overflow of x*y is not so simple. If
x and y have the same sign, then overflow occurs iff xy > 2**31 - 1. If they
have opposite signs, then overflow occurs iff xy < -2**31."

In this case, x == -1.


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

diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp
index 8461aa75e02..fce23739b66 100644
--- a/lib/Transforms/Scalar/InstructionCombining.cpp
+++ b/lib/Transforms/Scalar/InstructionCombining.cpp
@@ -2957,20 +2957,22 @@ Instruction *InstCombiner::visitSDiv(BinaryOperator &I) {
       return BinaryOperator::CreateNeg(Op0);
 
     ConstantInt *RHSNeg = cast<ConstantInt>(ConstantExpr::getNeg(RHS));
+    APInt RHSNegAPI(RHSNeg->getBitWidth(), RHSNeg->getSExtValue(), true);
+
+    APInt NegOne = -APInt(RHSNeg->getBitWidth(), 1, true);
+    APInt TwoToExp(RHSNeg->getBitWidth(), 1 << (RHSNeg->getBitWidth() - 1),
+                   true);
 
     // -X/C -> X/-C, if and only if negation doesn't overflow.
-    if ((RHS->getSExtValue() < 0 &&
-         RHS->getSExtValue() < RHSNeg->getSExtValue()) ||
-        (RHS->getSExtValue() > 0 &&
-         RHS->getSExtValue() > RHSNeg->getSExtValue())) {
+    if ((RHS->getSExtValue() < 0 && RHSNegAPI.slt(TwoToExp - 1)) ||
+        (RHS->getSExtValue() > 0 && RHSNegAPI.sgt(TwoToExp * NegOne))) {
       if (Value *LHSNeg = dyn_castNegVal(Op0)) {
         if (ConstantInt *CI = dyn_cast<ConstantInt>(LHSNeg)) {
           ConstantInt *CINeg = cast<ConstantInt>(ConstantExpr::getNeg(CI));
+          APInt CINegAPI(CINeg->getBitWidth(), CINeg->getSExtValue(), true);
 
-          if ((CI->getSExtValue() < 0 &&
-               CI->getSExtValue() < CINeg->getSExtValue()) ||
-              (CI->getSExtValue() > 0 &&
-               CI->getSExtValue() > CINeg->getSExtValue()))
+          if ((CI->getSExtValue() < 0 && CINegAPI.slt(TwoToExp - 1)) ||
+              (CI->getSExtValue() > 0 && CINegAPI.sgt(TwoToExp * NegOne)))
             return BinaryOperator::CreateSDiv(LHSNeg,
                                               ConstantExpr::getNeg(RHS));
         }