[llvm-branch-commits] [llvm-branch] r155827 - in /llvm/branches/release_31: ./ lib/Analysis/ValueTracking.cpp test/Transforms/InstCombine/2012-04-30-SRem.ll

[Bill Wendling]

Author: void
Date: Mon Apr 30 12:09:46 2012
New Revision: 155827

URL: http://llvm.org/viewvc/llvm-project?rev=155827&view=rev
Log:
Merging r155818:
------------------------------------------------------------------------
r155818 | baldrick | 2012-04-30 04:56:58 -0700 (Mon, 30 Apr 2012) | 3 lines

Just mark the sign bit as known zero, rather than any other irrelevant bits
known zero in the LHS.  Fixes PR12541.

------------------------------------------------------------------------

Added:
    llvm/branches/release_31/test/Transforms/InstCombine/2012-04-30-SRem.ll
      - copied unchanged from r155818, llvm/trunk/test/Transforms/InstCombine/2012-04-30-SRem.ll
Modified:
    llvm/branches/release_31/   (props changed)
    llvm/branches/release_31/lib/Analysis/ValueTracking.cpp

Propchange: llvm/branches/release_31/
------------------------------------------------------------------------------
--- svn:mergeinfo (original)
+++ svn:mergeinfo Mon Apr 30 12:09:46 2012
@@ -1,3 +1,3 @@
 /llvm/branches/Apple/Pertwee:110850,110961
 /llvm/branches/type-system-rewrite:133420-134817
-/llvm/trunk:155230,155284-155288,155307,155342,155466,155536,155668
+/llvm/trunk:155230,155284-155288,155307,155342,155466,155536,155668,155818

Modified: llvm/branches/release_31/lib/Analysis/ValueTracking.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/branches/release_31/lib/Analysis/ValueTracking.cpp?rev=155827&r1=155826&r2=155827&view=diff
==============================================================================
--- llvm/branches/release_31/lib/Analysis/ValueTracking.cpp (original)
+++ llvm/branches/release_31/lib/Analysis/ValueTracking.cpp Mon Apr 30 12:09:46 2012
@@ -564,7 +564,7 @@
                         Depth+1);
       // If it's known zero, our sign bit is also zero.
       if (LHSKnownZero.isNegative())
-        KnownZero |= LHSKnownZero;
+        KnownZero.setBit(BitWidth - 1);
     }
 
     break;