[llvm] [LoopVectorize] Add support for vectorisation of simple early exit loops (PR #88385)

[Kolya Panchenko via llvm-commits]

================
@@ -696,6 +721,17 @@ class LoopAccessInfo {
   /// Cache the result of analyzeLoop.
   bool CanVecMem = false;
   bool HasConvergentOp = false;
+  bool LoopMayFault = false;
+
+  /// Keeps track of the early-exiting block, if present.
+  BasicBlock *SpeculativeEarlyExitingBB = nullptr;
----------------
nikolaypanchenko wrote:

Maybe better name just `EarlyExitingBB`? At least to me `Speculative` implies that there's speculation on memory, i.e. that refers to BBs with mayfault accesses

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