diff options
| author | Oliver Stannard <oliver.stannard@arm.com> | 2017-03-14 10:13:17 +0000 |
|---|---|---|
| committer | Oliver Stannard <oliver.stannard@arm.com> | 2017-03-14 10:13:17 +0000 |
| commit | 062041113f86993cc0bb1488e90184ce5adf1e59 (patch) | |
| tree | 98358496888a47e46834fc1c8a3d087d1223d354 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | d0bee506a04f012052d566baa206d8c8af95a3af (diff) | |
[ValueTracking] Out of range shifts might be undef
If it is possible for the RHS of a shift operation to be greater than or equal
to the bit-width, then the result might be undef, and we can't report any known
bits.
In some cases, this was allowing a transformation in instcombine which widened
an undef value from i1 to i32, increasing the range of values that a function
could return.
Differential revision: https://reviews.llvm.org/D30781
llvm-svn: 297724
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions