[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:26 PDT 2025


================
@@ -2978,12 +2988,15 @@ void LoopAccessInfo::print(raw_ostream &OS, unsigned Depth) const {
   PSE->print(OS, Depth);
 }
 
-const LoopAccessInfo &LoopAccessInfoManager::getInfo(Loop &L) {
+const LoopAccessInfo &LoopAccessInfoManager::getInfo(Loop &L,
+                                                     bool AllowPartial) {
   const auto &[It, Inserted] = LoopAccessInfoMap.try_emplace(&L);
 
-  if (Inserted)
-    It->second =
-        std::make_unique<LoopAccessInfo>(&L, &SE, TTI, TLI, &AA, &DT, &LI);
+  // We need to create the LoopAccessInfo if either we don't already have one,
+  // or if it was created with a different value of AllowPartial.
----------------
fhahn wrote:

Ah I see, thanks. But that would only impact the `print<access-info>`, which is only used for testing?

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


More information about the llvm-commits mailing list