| commit | b54ca98bbe2505a8369829f5839422680969dae3 | [log] [tgz] |
|---|---|---|
| author | David Majnemer <david.majnemer@gmail.com> | Thu Jan 21 18:55:54 2016 +0000 |
| committer | David Majnemer <david.majnemer@gmail.com> | Thu Jan 21 18:55:54 2016 +0000 |
| tree | 23860520613818e76c12fa00035f84f7c0234785 | |
| parent | f47eeb02471b6f13fe48dad377871f3adc469261 [diff] |
[InstCombine] Simplify (x >> y) <= x This commit extends the patterns recognised by InstSimplify to also handle (x >> y) <= x in the same way as (x /u y) <= x. The missing optimisation was found investigating why LLVM did not optimise away bound checks in a binary search: https://github.com/rust-lang/rust/pull/30917 Patch by Andrea Canciani! Differential Revision: http://reviews.llvm.org/D16402 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@258422 91177308-0d34-0410-b5e6-96231b3b80d8