[PATCH] D88527: [IndVars] Replace checks with invariants if we cannot remove them

[Serguei Katkov via Phabricator via llvm-commits]

skatkov added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/IndVarSimplify.cpp:2359
     return CanBeRemoved;
-  return CannotOptimize;
+  return CanBeReplacedWithInvariant;
 }
----------------
anna wrote:
> I maybe missing something. Where are we checking the "never fails in any iteration other than the first" ? 
SE->isLoopInvariantExitCondDuringFirstIterations ?


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

https://reviews.llvm.org/D88527