[PATCH] D152730: [ConstraintElim] Add A < B if A is an increasing phi for A != B.

[Florian Hahn via Phabricator via llvm-commits]

fhahn marked an inline comment as done.
fhahn added a comment.

Thank you very much for all the comments!



================
Comment at: llvm/lib/Transforms/Scalar/ConstraintElimination.cpp:911
+      DTN, CmpInst::ICMP_UGE, PN, StartValue,
+      ConditionTy(CmpInst::ICMP_ULE, StartValue, B)));
+  WorkList.push_back(FactOrCheck::getConditionFact(
----------------
nikic wrote:
> Should we avoid pushing this condition again if we already added it above?
Added this conditionally, thanks!


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D152730