[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 a comment.

Correctness of Loop RPOT is crucial for the correctness of this transform. If it's broken, its user is also broken. I see no good reason why RPOT for this loop is (bb2, bb12, bb4) and not (bb2, bb4, bb12). If someone has an idea, please let me know.

I am returning the prior version of this patch that doesn't use RPOT.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D102615