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

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

In D94014#2490458 <https://reviews.llvm.org/D94014#2490458>, @nlopes wrote:

> Another way is to use assume to encode the precondition if you prefer: https://alive2.llvm.org/ce/z/__szVL



In D94014#2490431 <https://reviews.llvm.org/D94014#2490431>, @lebedev.ri wrote:

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

Thanks for the improved examples! It would be great if we collected things like that to use as reference/documentation (maybe there's already a folder, but I just don't know about it?).


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

https://reviews.llvm.org/D94014