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

[Nikita Popov via llvm-commits]

================

----------------
nikic wrote:

Looks like a pre-existing issue, but please regenerate the whole file with update_test_checks and do not modify the result. There should not be any CHECK-NOT in this file.

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