| commit | cf6e9a81f676b3e3885f86af704e834ef5c04264 | [log] [tgz] |
|---|---|---|
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | Wed Oct 26 19:18:43 2016 +0000 |
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | Wed Oct 26 19:18:43 2016 +0000 |
| tree | 37016694d3392767fd9167ccf3778519aea80830 | |
| parent | 5a50eb6b58654f8719cef51f3e5848736d27034e [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 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@285228 91177308-0d34-0410-b5e6-96231b3b80d8