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

Ramkumar Ramachandra via llvm-commits llvm-commits at lists.llvm.org
Tue Jun 3 07:06:05 PDT 2025


================
@@ -693,10 +695,12 @@ class AccessAnalysis {
   /// non-intersection.
   ///
   /// Returns true if we need no check or if we do and we can generate them
-  /// (i.e. the pointers have computable bounds).
+  /// (i.e. the pointers have computable bounds). A return value of false means
+  /// we couldn't analyze and generate runtime checks for all pointers in the
+  /// loop, but we will have checks for those pointers we could analyze.
----------------
artagnon wrote:

... if \p AllowPartial is set?

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


More information about the llvm-commits mailing list