[PATCH] D94014: [InstCombine] reduce icmp(ashr X, C1), C2 to sign-bit test

Mon Jan 11 08:52:36 PST 2021

lebedev.ri accepted this revision.
lebedev.ri added a comment.
This revision is now accepted and ready to land.

LGTM

In D94014#2490334 <https://reviews.llvm.org/D94014#2490334>, @spatel wrote:

> Anyone see problems with this Alive2 implementation using count-leading-*?
> https://alive2.llvm.org/ce/z/SWxadd
>
> I also manually entered all of the i4 regression tests with fixed constants in Alive1 (rise4fun), and they appear to be correct as shown in the test diffs.

https://alive2.llvm.org/ce/z/u5hCcz

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D94014/new/

https://reviews.llvm.org/D94014