[llvm] [LV] Follow up to uncountable exit with side effects vectorization (PR #201589)

[Florian Hahn via llvm-commits]

================
@@ -4210,6 +4324,37 @@ struct EarlyExitInfo {
 
 /// Update \p Plan to mask memory operations in the loop based on whether the
 /// early exit is taken or not.
+///
+/// We're currently expecting to find a loop with properties similar to the
+/// following:
+///
+/// for.body:
+///   ir<%indvars.iv> = WIDEN-INDUCTION nuw nsw ir<0>, ir<1>, vp<%0>
+///   EMIT ir<%arrayidx> = getelementptr inbounds nuw ir<@c>, ir<%indvars.iv>
+///   EMIT-SCALAR ir<%0> = load ir<%arrayidx>
+///   EMIT ir<%cmp1> = icmp sgt ir<%0>, ir<5>
+///   EMIT branch-on-cond ir<%cmp1>
----------------
fhahn wrote:

I think when we reach here we already have the branches replaced with branch-on-two-conds?

https://github.com/llvm/llvm-project/pull/201589