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

Ramkumar Ramachandra via llvm-commits llvm-commits at lists.llvm.org
Thu May 15 10:32:59 PDT 2025


================
@@ -3002,6 +3001,8 @@ void LoopAccessInfo::print(raw_ostream &OS, unsigned Depth) const {
 
   // List the pair of accesses need run-time checks to prove independence.
   PtrRtChecking->print(OS, Depth);
+  if (PtrRtChecking->Need && !CanVecMem)
----------------
artagnon wrote:

I think this check is a bit too lax, and generates spurious messages. Can you check CheckingGroups against DepCands instead?

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


More information about the llvm-commits mailing list