[PATCH] D140840: Add tests for binops with conditions/assume constraints

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n added a comment.

ran alive2 on all transform.

Transforms/InstCombine/pr38677.ll: https://alive2.llvm.org/ce/z/atn3gZ

$> alive-tv --smt-to=2500000 BEFORE-icmp-binop.ll AFTER-icmp-binop.ll
...
Summary:

  146 correct transformations
  0 incorrect transformations
  0 failed-to-prove transformations
  0 Alive2 errors


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D140840