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

[Mikael Holmén via Phabricator via llvm-commits]

uabelho added a comment.

In D102615#2781644 <https://reviews.llvm.org/D102615#2781644>, @mkazantsev wrote:

> Silly me. I've accounted for inner loops but not irreducible CFG cycles, which have exactly same problems but not detectable. I need to exclude loops with irreducible CFG.

Great! The description of my failing testcase says "irreducible flow and constant propagation" so it sounds like you'r on the right track then.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D102615