[PATCH] D91535: [IndVars] Use isLoopBackedgeGuardedByCond for last iteration check

[Serguei Katkov via Phabricator via llvm-commits]

skatkov added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:9642
   // Does it still meet the requirement?
-  if (!isKnownPredicateAt(Pred, Last, RHS, Context))
+  if (!isLoopBackedgeGuardedByCond(L, Pred, Last, RHS))
     return None;
----------------
The only concern I have: whether isLoopBackedgeGuardedByCond always produces better result than isKnownPredicateAt.


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

https://reviews.llvm.org/D91535