Just mark the sign bit as known zero, rather than any other irrelevant bits
authorDuncan Sands <baldrick@free.fr>
Mon, 30 Apr 2012 11:56:58 +0000 (11:56 +0000)
committerDuncan Sands <baldrick@free.fr>
Mon, 30 Apr 2012 11:56:58 +0000 (11:56 +0000)
commit5ff30e70f8dc4ddfdb3bd6925ccdf524130a7b95
treef063cefea11403837e9ffc79cad33e8d7cbf9d14
parentbfbab99b58aa530d5d6aa886ef66be42a047c756
Just mark the sign bit as known zero, rather than any other irrelevant bits
known zero in the LHS.  Fixes PR12541.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@155818 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ValueTracking.cpp
test/Transforms/InstCombine/2012-04-30-SRem.ll [new file with mode: 0644]