[PATCH] D152684: [ConstraintElimination] Handle non-equality predicates
Antonio Frighetto via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Jun 12 05:04:58 PDT 2023
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
More information about the llvm-commits
mailing list