[PATCH] D114272: [InstCombine] Add two optimizations for mul-and-icmp patterns

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In D114272#3143762 <https://reviews.llvm.org/D114272#3143762>, @fwolff wrote:

> In D114272#3143702 <https://reviews.llvm.org/D114272#3143702>, @lebedev.ri wrote:
>
>> alive2 proofs?
>
> `@test1`: https://alive2.llvm.org/ce/z/BN74k2
> `@test2`: https://alive2.llvm.org/ce/z/3PRnmg
> `@test2_2`: https://alive2.llvm.org/ce/z/FmrCSL
>
> The other tests don't do this transformation.

This only shows that those tests aren't miscompiled, i'm interested in the generalized proof for the actual preconditions.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D114272