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 | ff666bd962a4446d80955fe75619201c29795501 (patch) | |
| tree | 3d97fd8d78031aa12d48ffc0e00578b97d242b99 /llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp | |
| parent | a92b3c914ebb356aec22c978eae9fa9543fa62e6 (diff) | |
| download | llvm-ff666bd962a4446d80955fe75619201c29795501.zip llvm-ff666bd962a4446d80955fe75619201c29795501.tar.gz llvm-ff666bd962a4446d80955fe75619201c29795501.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.
llvm-svn: 185955
Diffstat (limited to 'llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp')
0 files changed, 0 insertions, 0 deletions