[llvm] [LangRef] State that the memory model is an axiomatic one (PR #208710)

[Hernan Ponce de Leon via llvm-commits]

================
@@ -4014,6 +4014,8 @@ The LLVM IR does not define any way to start parallel threads of
 execution or to register signal handlers. Nonetheless, there are
 platform-specific ways to create them, and we define LLVM IR's behavior
 in their presence. This model is inspired by the C++ memory model.
+The memory model is defined axiomatically: it provides constraints that valid
+executions of multi-threaded LLVM IR programs must satisfy.
----------------
hernanponcedeleon wrote:

This might be a bit too general. The so called "candidate executions" still require that reads and write access the same memory location. This is not imposed by the memory model constraints, but rather by the semantics of the read-from relation.

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