Don't crash in SE dealing with ashr x, -1
authorHal Finkel <hfinkel@anl.gov>
Tue, 9 Jul 2013 18:16:16 +0000 (18:16 +0000)
committerHal Finkel <hfinkel@anl.gov>
Tue, 9 Jul 2013 18:16:16 +0000 (18:16 +0000)
commit033e0a94cbb3df8e0f48cebe0ac5b4a024c85b2d
treef67b1c7b6ac89dab49f87d1a00121a79df5133c6
parentab6ceab8a65e26667a437a4ace7fe93a3772c6ff
Don't crash in SE dealing with ashr x, -1

ScalarEvolution::getSignedRange uses ComputeNumSignBits from ValueTracking on
ashr instructions. ComputeNumSignBits can return zero, but this case was not
handled correctly by the code in getSignedRange which was calling:
  APInt::getSignedMinValue(BitWidth).ashr(NS - 1)
with NS = 0, resulting in an assertion failure in APInt::ashr.

Now, we just return the conservative result (as with NS == 1).

Another bug found by llvm-stress.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@185955 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp
test/CodeGen/PowerPC/ashr-neg1.ll [new file with mode: 0644]