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

[Jin Huang via llvm-commits]

================
@@ -458,7 +467,7 @@ ModRefInfo AAResults::getModRefInfo(const StoreInst *S,
   }
 
   // Otherwise, a store just writes.
----------------
jinhuang1102 wrote:

Do you think we need to add the similar if condition here? 

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