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

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

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

> 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

Yes

> (maybe there's already a folder, but I just don't know about it?).

Not that i know of, which means it [effectively] doesn't exist.


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

https://reviews.llvm.org/D94014