tree 5a886306e74d9cd9c8f03f748d9c742453e49cda
parent 21722941415e6baa2e6ca6546cf8544923d7eb4d
author Roman Lebedev <lebedev.ri@gmail.com> 1571310089 +0000
committer Roman Lebedev <lebedev.ri@gmail.com> 1571310089 +0000

[LoopIdiom] BCmp: check, not assert that loop exits exit out of the loop (PR43687)

We can't normally stumble into that assertion because a tautological
*conditional* `br` in loop body is required, one that always
branches to loop latch. But that should have been always folded
to an unconditional branch before we get it.
But that is not guaranteed if the pass is run standalone.
So let's just promote the assertion into a proper check.

Fixes https://bugs.llvm.org/show_bug.cgi?id=43687

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@375100 91177308-0d34-0410-b5e6-96231b3b80d8