[llvm] [RFC][LangRef] Specify that the accessed bytes of concurrent atomics must be either disjoint or the same (PR #204329)

[Fabian Ritter via llvm-commits]

https://github.com/ritter-x2a edited https://github.com/llvm/llvm-project/pull/204329