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

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

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.


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

https://reviews.llvm.org/D94014