[PATCH] D62939: Strengthen LFTR's ability to replace IVs

[Philip Reames via Phabricator via llvm-commits]

reames marked an inline comment as done.
reames added inline comments.


================
Comment at: lib/Transforms/Scalar/IndVarSimplify.cpp:2162
+    if (DT->dominates(I, OnPathTo) &&
+        MustTriggerUB(I, KnownPoison, DT))
+      return true;
----------------
nikic wrote:
> Should probably swap these conditions.
Out of curiosity, why?  This seems natural to me and seems to fit the existing idiom in ValueTracking.


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

https://reviews.llvm.org/D62939