Define RVV-RVTSO bindings

1 files changed, 6 insertions, 0 deletions

diff --git a/src/ztso.tex b/src/ztso.tex
index 8da6436..20f5328 100644
--- a/src/ztso.tex
+++ b/src/ztso.tex
@@ -25,5 +25,11 @@ RVTSO makes the following adjustments to RVWMO:
   In the context of RVTSO, as is the case for RVWMO, the storage ordering annotations are concisely and completely defined by PPO rules \ref{ppo:acquire}--\ref{ppo:rcsc}. In both of these memory models, it is the \nameref{rvwmo:ax:load} that allows a hart to forward a value from its store buffer to a subsequent (in program order) load---that is to say that stores can be forwarded locally before they are visible to other harts.
 \end{commentary}
 
+Additionally, if the Ztso extension is implemented, then vector memory
+instructions in the V extension and Zve family of extensions follow RVTSO at
+the instruction level.
+The Ztso extension does not strengthen the ordering of intra-instruction
+element accesses.
+
 In spite of the fact that Ztso adds no new instructions to the ISA, code written assuming RVTSO will not run correctly on implementations not supporting Ztso.
 Binaries compiled to run only under Ztso should indicate as such via a flag in the binary, so that platforms which do not implement Ztso can simply refuse to run them.