[PATCH] D152067: [ConstraintElimination] Handle equality predicates

[Florian Hahn via Phabricator via llvm-commits]

fhahn added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/ConstraintElimination.cpp:107
+  None,               // Non-equality constraint not implied to be true
+  ConditionHoldTrue,  // Non-equality constraint implied to be true
+  EqualityHoldTrue,   // Equality constraint implied to be true
----------------
Would it be sufficient to have `None, ConditionTrue, ConditionFalse` and check all in `isImpliedBy`?


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

https://reviews.llvm.org/D152067