[PATCH] D102615: [LoopDeletion] Break backedge if we can prove that the loop is exited on 1st iteration

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/LoopDeletion.cpp:182
+  RPOT.perform(&LI);
+
+  BasicBlock *Header = L->getHeader();
----------------
xbolva00 wrote:
> if (containsIrreducibleCFG<const BasicBlock *>(RPOT, LI))
>      return false;
No, we don't care about irreducible CFG in code that is unreachable on 1st iteration.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D102615