diff options
| author | Nikita Popov <npopov@redhat.com> | 2022-12-14 12:01:30 +0100 |
|---|---|---|
| committer | Nikita Popov <npopov@redhat.com> | 2022-12-14 12:04:21 +0100 |
| commit | 43b5fbae3b00ff9dc11e5d102aad3a80be9f5067 (patch) | |
| tree | 711d9d7248f4d6fc1e663b654b34e967dd0fc8b1 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | b3eaf401667c111de4222b3a4e1ba9ff425360b2 (diff) | |
Revert "[InstCombine] Handle logical op in simplifyRangeCheck() (PR59484)"
This reverts commit 492c471839a66e354ebe696bd3e15f7477c63613.
As pointed out by nloped, the transform in f2 is not correct: If
%shr is poison, then freeze may result in a negative value. The
transform is correct in the case where the freeze is pushed through
the operation in a way that guarantees the result is non-negative,
which is the case I had tested.
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions