[llvm] [AA] Improve precision for monotonic atomic load/store operations (PR #158169)

[Jin Huang via llvm-commits]

================
@@ -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))
----------------
jinhuang1102 wrote:

Fixed getModRefInfo for both load and store.

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