diff options
| author | Hal Finkel <hfinkel@anl.gov> | 2013-07-09 18:16:16 +0000 |
|---|---|---|
| committer | Hal Finkel <hfinkel@anl.gov> | 2013-07-09 18:16:16 +0000 |
| commit | 033e0a94cbb3df8e0f48cebe0ac5b4a024c85b2d (patch) | |
| tree | f67b1c7b6ac89dab49f87d1a00121a79df5133c6 /lib/Target/X86/X86ISelLowering.cpp | |
| parent | ab6ceab8a65e26667a437a4ace7fe93a3772c6ff (diff) | |
| download | external_llvm-033e0a94cbb3df8e0f48cebe0ac5b4a024c85b2d.zip external_llvm-033e0a94cbb3df8e0f48cebe0ac5b4a024c85b2d.tar.gz external_llvm-033e0a94cbb3df8e0f48cebe0ac5b4a024c85b2d.tar.bz2 | |
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
Diffstat (limited to 'lib/Target/X86/X86ISelLowering.cpp')
0 files changed, 0 insertions, 0 deletions