From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 28 Oct 2022 12:31:07 +0000 (+0100)
Subject: add fields and VA2-Form to ls003
X-Git-Tag: opf_rfc_ls005_v1~35
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f80db7b039f78bb167cc65db97e668a5f66569a5;p=libreriscv.git

add fields and VA2-Form to ls003
---

diff --git a/openpower/sv/rfc/ls003.mdwn b/openpower/sv/rfc/ls003.mdwn
index e86266505..a206b8c27 100644
--- a/openpower/sv/rfc/ls003.mdwn
+++ b/openpower/sv/rfc/ls003.mdwn
@@ -94,6 +94,7 @@ Add the following entries to:
 * Instructions of Book I added to Section 3.3.9.1
 
 ----------------
+[[!tag opf_rfc]]
 
 \newpage{}
 
@@ -246,7 +247,27 @@ Examples:
 divmod2du r4, r0, r1, r2
 ```
 
-[[!tag opf_rfc]]
+# VA2-Form
+
+Add the following to Book I, 1.6.21.1, VA2-Form
+
+```
+|0      |6     |11     |16     |21  |24|26  |31  |
+| PO    |  RT  |   RA  |   RB  | RC    | XO | Rc |
+```
+
+Add `RA` to `XO` Field in Book I, 1.6.2
+
+```
+RA (11:15)
+    Field used to specify a GPR to be used as a
+    source or as a target.
+    Formats: A, BM2, D, DQ, DQE, DS, M, MD, MDS, TX, VA, VA2,
+             VX, X, XO, XS, SVL, XB, TLI, Z23
+```
+
+*TODO* other fields `RT, RB, RC, XO, and Rc`, see
+<https://git.libre-soc.org/?p=openpower-isa.git;a=blob;f=openpower/isatables/fields.text;hb=HEAD>
 
 # Appendices