[PATCH] D109682: [LoopBoundSplit] Check the condition of the first iteration in pre-loop using isLoopEntryGuardedByCond

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/LoopBoundSplit.cpp:65
     // Locate AddRec in LHSSCEV and Bound in RHSSCEV.
-    if (isa<SCEVAddRecExpr>(Cond.BoundSCEV) &&
-        !isa<SCEVAddRecExpr>(Cond.AddRecSCEV)) {
+    if (isa<SCEVAddRecExpr>(BoundSCEV) && !isa<SCEVAddRecExpr>(AddRecSCEV)) {
       std::swap(Cond.AddRecValue, Cond.BoundValue);
----------------
`!isa<SCEVAddRecExpr>(AddRecSCEV)` is impossible


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

https://reviews.llvm.org/D109682