diff options
author | Eli Friedman <eli.friedman@gmail.com> | 2011-08-02 01:15:34 +0000 |
---|---|---|
committer | Eli Friedman <eli.friedman@gmail.com> | 2011-08-02 01:15:34 +0000 |
commit | 101c81da4569633147b899cc643999a269332002 (patch) | |
tree | ae7d1e9cfae39db407408f1053bf42f62c8d9eca /docs/LangRef.html | |
parent | 9b0a479bb763c3d7dcdbdfe0bfff4fd835d33475 (diff) | |
download | external_llvm-101c81da4569633147b899cc643999a269332002.zip external_llvm-101c81da4569633147b899cc643999a269332002.tar.gz external_llvm-101c81da4569633147b899cc643999a269332002.tar.bz2 |
Minor wording tweak for memory model.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@136668 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/LangRef.html')
-rw-r--r-- | docs/LangRef.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index b76a3d5..6e77b4a 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -1555,10 +1555,10 @@ emit more than one instruction to read the series of bytes.</p> <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, |