[PATCH] D130039: [InstCombine] Improve folding of mul + icmp

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Would it be possible to produce proofs that are independent of the used constants, e.g. https://alive2.llvm.org/ce/z/d-KE2A?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D130039