[llvm] [LAA] Keep pointer checks on partial analysis (PR #139719)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Thu Jun 5 13:46:42 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;
----------------
fhahn wrote:
It just seemed like the comment might have been missed?
https://github.com/llvm/llvm-project/pull/139719
More information about the llvm-commits
mailing list