add fields and VA2-Form to ls003
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 28 Oct 2022 12:31:07 +0000 (13:31 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 28 Oct 2022 12:31:15 +0000 (13:31 +0100)
openpower/sv/rfc/ls003.mdwn

index e86266505d6ca31a31611493a61d065937a1d579..a206b8c278a93436c364e9e03786f30d03686b98 100644 (file)
@@ -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