[llvm] [LV] Add initial legality checks for early exit loops with side effects (PR #145663)

[Florian Hahn via llvm-commits]

================
@@ -524,20 +535,87 @@ class LoopVectorizationLegality {
   /// Returns true if this is an early exit loop that can be vectorized.
   /// Currently, a loop with an uncountable early exit is considered
   /// vectorizable if:
-  ///   1. There are no writes to memory in the loop.
+  ///   1. Writes to memory do not form a dependence with any load used as
----------------
fhahn wrote:

Should probably be updated to match the updated implementation, perhaps something like

```suggestion
  ///   1. Writes to memory access different underlying objects than any load used as
```



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