[llvm] [AA] A conservative fix for atomic store instruction. (PR #155032)

[Eli Friedman via llvm-commits]

efriedma-quic wrote:

A seq_cst store is a release barrier, and therefore does impose constraints on non-seq_cst loads.

That isn't to say all code motion is illegal, but you'd need an interface that's much more specialized than getModRefInfo.  And I'm not sure it's worth inventing a new interface here without a specific use-case in mind.

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