[llvm] [AA] Improve precision for monotonic atomic load/store operations (PR #158169)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Tue Sep 23 01:37:15 PDT 2025
================
@@ -421,7 +421,7 @@ ModRefInfo AAResults::getModRefInfo(const LoadInst *L,
const MemoryLocation &Loc,
AAQueryInfo &AAQI) {
// Be conservative in the face of atomic.
- if (isStrongerThan(L->getOrdering(), AtomicOrdering::Unordered))
+ if (isStrongerThan(L->getOrdering(), AtomicOrdering::Monotonic))
----------------
nikic wrote:
```suggestion
if (isStrongerThanMonotonic(L->getOrdering()))
```
https://github.com/llvm/llvm-project/pull/158169
More information about the llvm-commits
mailing list