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

Fri Nov 19 13:11:03 PST 2021

fwolff added a comment.

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.

================
Comment at: llvm/test/Transforms/InstCombine/pr40493.ll:1
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -instcombine -S | FileCheck %s
----------------
lebedev.ri wrote:
> Precommit tests please
Do you mean that I should submit this file separately first in a different revision?

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D114272