[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:
----------------
fhahn wrote:

I think it would be good to re-word to make clearer what the expectations are that legality already checked (writes not aliasing, countable exit, single early exit condition).

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