diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-10-26 19:18:43 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-10-26 19:18:43 +0000 |
| commit | 01969218a4c33884460ac911cca3280bb184a344 (patch) | |
| tree | 924d68f86bef2386f8cfb243caf0d7ee4b42255f /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 4447d7a8165fd5020f384341dd069a05b5206980 (diff) | |
Simplify `x >=u x >> y` and `x >=u x udiv y`
Summary:
Extends InstSimplify to handle both `x >=u x >> y` and `x >=u x udiv y`.
This is a folloup of rL258422 and
https://github.com/rust-lang/rust/pull/30917 where llvm failed to
optimize away the bounds checking in a binary search.
Patch by Arthur Silva!
Reviewers: sanjoy
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D25941
llvm-svn: 285228
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions