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

[David Sherwood via llvm-commits]

================
@@ -2423,6 +2571,13 @@ void LoopAccessInfo::analyzeLoop(AAResults *AA, LoopInfo *LI,
       // Save 'store' instructions. Abort if other instructions write to memory.
       if (I.mayWriteToMemory()) {
         auto *St = dyn_cast<StoreInst>(&I);
+        if (SpeculativeEarlyExitingBB) {
+          recordAnalysis("CantVectorizeInstruction", St)
----------------
david-arm wrote:

There is a similar problem in the code below too - recordAnalysis simply uses the debug information for the loop instead, but it won't crash. However, I think it makes sense to record the instruction using `I` instead and I'll update the message to show that it might not be a store.

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