[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