[llvm] [LAA] Keep pointer checks on partial analysis (PR #139719)

John Brawn via llvm-commits llvm-commits at lists.llvm.org
Wed Jun 4 07:11:40 PDT 2025


================
@@ -2599,9 +2605,9 @@ bool LoopAccessInfo::analyzeLoop(AAResults *AA, const LoopInfo *LI,
   // Find pointers with computable bounds. We are going to use this information
   // to place a runtime bound check.
   Value *UncomputablePtr = nullptr;
-  bool CanDoRTIfNeeded = Accesses.canCheckPtrAtRT(
-      *PtrRtChecking, TheLoop, SymbolicStrides, UncomputablePtr);
-  if (!CanDoRTIfNeeded) {
+  HasCompletePtrRtChecking = Accesses.canCheckPtrAtRT(
----------------
john-brawn-arm wrote:

This is used in LoopAccessInfo::print to decide whether to print the "Generated run-time checks are incomplete" message.

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


More information about the llvm-commits mailing list