[PATCH] D132989: [InstCombine] fold 1 - X == X to false

[Liao Chunyu via Phabricator via llvm-commits]

liaolucy added a comment.

In D132989#3760367 <https://reviews.llvm.org/D132989#3760367>, @nikic wrote:

> Please provide an alive proof and add tests for other predicates as well, as well as negative tests (e.g. 2 instead of 1, which should not fold).

https://alive2.llvm.org/ce/z/DJqxNZ  try to add alive, please correct me if it's not correct


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D132989