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

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a reviewer: lebedev.ri.
lebedev.ri added a comment.

alive2 proofs?



================
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
----------------
Precommit tests please


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D114272