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

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

In D132989#3760397 <https://reviews.llvm.org/D132989#3760397>, @liaolucy wrote:

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

I think we can generalize the transform at least in one direction - the constant does not have to be 1:
https://alive2.llvm.org/ce/z/bPYNJT
(not sure if there's some other relationship for non-equality predicates)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D132989