[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