[PATCH] D152684: [ConstraintElimination] Handle non-equality predicates

[Antonio Frighetto via Phabricator via llvm-commits]

antoniofrighetto added a comment.

Reviewing this, as, indeed, I have been meaning to add this for solving only, not as fact for now, which would need further handling. I believe that simplifying `NE` to `ULE` for solving only, as it is being done for `EQ`, should be OK though. For facts, we should add something close to `(Op0 < Op1) ∨ (Op1 > Op0)`, but I need to think further on how to model this.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D152684