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

John Brawn via llvm-commits llvm-commits at lists.llvm.org
Fri Jun 6 09:31:18 PDT 2025


================
@@ -784,20 +792,28 @@ class LoopAccessInfo {
 
   /// We need to check that all of the pointers in this list are disjoint
   /// at runtime. Using std::unique_ptr to make using move ctor simpler.
+  /// If AllowPartial is true then this list may contain only partial
+  /// information when we've failed to analyze all the memory accesses in the
+  /// loop, in which case HasCompletePtrRtChecking will be false.
   std::unique_ptr<RuntimePointerChecking> PtrRtChecking;
 
-  /// the Memory Dependence Checker which can determine the
+  /// The Memory Dependence Checker which can determine the
   /// loop-independent and loop-carried dependences between memory accesses.
+  /// This will be empty if we've failed to analyze all the memory access in the
+  /// loop (i.e. CanVecMem is false).
   std::unique_ptr<MemoryDepChecker> DepChecker;
 
   Loop *TheLoop;
 
+  bool AllowPartial;
----------------
john-brawn-arm wrote:

The comment was added in https://github.com/llvm/llvm-project/pull/139719/commits/2b02a5bf6671d1feef49c49c947b7083e98e393b. It looks like github isn't showing the comment on the "conversations" tab but does on the "files changed" tab.

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


More information about the llvm-commits mailing list