[PATCH] D151799: [ConstraintElim] Try to use first cmp to prove second cmp for ANDs.

[Antonio Frighetto via Phabricator via llvm-commits]

antoniofrighetto added a comment.

@nikic, just to say that in D152684 <https://reviews.llvm.org/D152684> I'm digging into a way to support the disjunction in `NE` case for the general instance through De-Morgan laws (turning `(A>B) || (A<B)` into `!(!(A>B) && !(A<B))`), although I'm not completely sure how the final negation may be performed, once adding the two into the system.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D151799