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


https://github.com/artagnon commented:

This should be good to go, modulo the spurious messages. I checked LVerLICM, and it seems to do the right thing:

```cpp
    // Don't allow stores that we don't have runtime checks for, as we won't be
    // able to mark them noalias meaning they would prevent any code motion.
    auto &Pointers = LAI->getRuntimePointerChecking()->Pointers;
    if (!any_of(Pointers, [&](auto &P) { return P.PointerValue == Ptr; })) {
      LLVM_DEBUG(dbgs() << "    Found a store without a runtime check.\n");
      return false;
    }
```

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


More information about the llvm-commits mailing list