[llvm] [LoopVectorize] Teach LoopVectorizationLegality about more early exits (PR #107004)

[David Sherwood via llvm-commits]

================
@@ -2445,8 +2445,11 @@ bool LoopAccessInfo::analyzeLoop(AAResults *AA, const LoopInfo *LI,
       // vectorize a loop if it contains known function calls that don't set
       // the flag. Therefore, it is safe to ignore this read from memory.
       auto *Call = dyn_cast<CallInst>(&I);
-      if (Call && getVectorIntrinsicIDForCall(Call, TLI))
-        continue;
+      if (Call) {
+        NumCalls++;
----------------
david-arm wrote:

I've reverted this code in favour of calling `isSafeToSpeculativelyExecute` from LoopVectorizationLegality. This covers more cases such as divides, while at the same time permitting calls to intrinsics such as sqrt.

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