aboutsummaryrefslogtreecommitdiff
path: root/src/rvwmo.tex
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2018-07-06 11:34:58 -0700
committerAndrew Waterman <andrew@sifive.com>2018-07-06 11:34:58 -0700
commitc1c5eaa1f606d9f41cd7fc6c4fddd0976ac39bda (patch)
tree3e8a89752e0365f3cc6f97e04e1ef46cb950fb53 /src/rvwmo.tex
parent47bc098c27a315820f03cfcc9c8c0bbbb06f36d5 (diff)
parentc11b3909702dd7fea233976c6e2249148b7f177d (diff)
downloadriscv-isa-manual-c1c5eaa1f606d9f41cd7fc6c4fddd0976ac39bda.zip
riscv-isa-manual-c1c5eaa1f606d9f41cd7fc6c4fddd0976ac39bda.tar.gz
riscv-isa-manual-c1c5eaa1f606d9f41cd7fc6c4fddd0976ac39bda.tar.bz2
Merge branch 'misc-fixes' of https://github.com/tymcauley/riscv-isa-manual into tymcauley-misc-fixes
Diffstat (limited to 'src/rvwmo.tex')
-rw-r--r--src/rvwmo.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rvwmo.tex b/src/rvwmo.tex
index 7bf9fa2..e6bc4d2 100644
--- a/src/rvwmo.tex
+++ b/src/rvwmo.tex
@@ -67,7 +67,7 @@ An AMO or SC instruction with {\em rl} set has a ``release-RCsc'' annotation.
An AMO, LR, or SC instruction with both {\em aq} and {\em rl} set has both ``acquire-RCsc'' and ``release-RCsc'' annotations.
\begin{commentary}
- ``RCpc'' annotations are currently only used when implicitly assigned to every memory access per the standard extension ``Ztso'' (Chapter~\ref{sec:ztso}). Furthermore, although the ISA does not currently contain native load-acquire or store-relase instructions, nor RCpc variants thereof, the RVWMO model itself is designed to be forwards-compatible with the potential addition of any or all of the above into the ISA in a future extension.
+ ``RCpc'' annotations are currently only used when implicitly assigned to every memory access per the standard extension ``Ztso'' (Chapter~\ref{sec:ztso}). Furthermore, although the ISA does not currently contain native load-acquire or store-release instructions, nor RCpc variants thereof, the RVWMO model itself is designed to be forwards-compatible with the potential addition of any or all of the above into the ISA in a future extension.
\end{commentary}
For convenience, we use the term ``acquire annotation'' to refer to an acquire-RCpc annotation or an acquire-RCsc annotation.