[llvm-commits] [llvm] r136668 - /llvm/trunk/docs/LangRef.html

[Eli Friedman]

Author: efriedma
Date: Mon Aug  1 20:15:34 2011
New Revision: 136668

URL: http://llvm.org/viewvc/llvm-project?rev=136668&view=rev
Log:
Minor wording tweak for memory model.


Modified:
    llvm/trunk/docs/LangRef.html

Modified: llvm/trunk/docs/LangRef.html
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/LangRef.html?rev=136668&r1=136667&r2=136668&view=diff
==============================================================================
--- llvm/trunk/docs/LangRef.html (original)
+++ llvm/trunk/docs/LangRef.html Mon Aug  1 20:15:34 2011
@@ -1555,10 +1555,10 @@
 <p>Note that in cases where none of the atomic intrinsics are used, this model
 places only one restriction on IR transformations on top of what is required
 for single-threaded execution: introducing a store to a byte which might not
-otherwise be stored to can introduce undefined behavior.  (Specifically, in
-the case where another thread might write to and read from an address,
-introducing a store can change a load that may see exactly one write into
-a load that may see multiple writes.)</p>
+otherwise be stored is not allowed in general.  (Specifically, in the case
+where another thread might write to and read from an address, introducing a
+store can change a load that may see exactly one write into a load that may
+see multiple writes.)</p>
 
 <!-- FIXME: This model assumes all targets where concurrency is relevant have
 a byte-size store which doesn't affect adjacent bytes.  As far as I can tell,