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

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

I think the general idea here is right. Relaxed store should not modref other locations.

If we change this, I think we should change load and store at the same time. I think we should also make sure that we still return ModRef for relaxed, just not for unrelated locations. I think this is definitely necessary for loads (otherwise we'd no longer encode an ordering in the memory effects, which would need much later changes). I can't immediately think of a case that would break if we only return Mod for stores, but that's probably my lack of imagination.

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