From: lkcl <lkcl@web>
Date: Mon, 20 Mar 2023 12:31:10 +0000 (+0000)
Subject: add Forms to ls007, missing 1.6.2 fields
X-Git-Tag: opf_rfc_ls001_v3~141
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e9b9d33d6f8737f398868d2ed08bbfdce4fb6102;p=libreriscv.git

add Forms to ls007, missing 1.6.2 fields
---

diff --git a/openpower/sv/rfc/ls007.mdwn b/openpower/sv/rfc/ls007.mdwn
index 0e7250cb5..ab4dbdaae 100644
--- a/openpower/sv/rfc/ls007.mdwn
+++ b/openpower/sv/rfc/ls007.mdwn
@@ -125,34 +125,37 @@ Add the following entry to VA-FORM in Book I 1.6.1.12
 Add the following to Book I 1.6.2
 
 ```
-msk (18:20, 31)
+msk (9:10,14:15)
     Field used by crternlogi to decide which CR bits to modify.
     Formats: CRB
-```
 
-```
 nh (26)
     Nibble High. Field used by binlog to decide if the look-up-table should
     be taken from bits 60:63 or 56:59 of RC.
     Formats: VA
-```
 
-```
 TLI (21:28)
     Field used by the ternlogi instruction as the
     look-up table.
-    Formats: TLI, CRB
-```
+    Formats: TLI
+TLI (21:25,19:20,31)
+     Field used by the crternlogi instruction as the
+     look-up table.
+     Formats: CRB
 
-```
 XO (29:30)
     Extended opcode field.
-    Formats: TLI, CRB
+    Formats: TLI
+XO (26:30)
+     Extended opcode field.
+     Formats: CRB
 ```
 
 Add `TLI` to the `Formats:` list of all of `RA`, `RB`, `RT`, and `Rc`.
 Add `CRB` to the `Formats:` list of all of `BF`, `BFA`, `BFB`, and `BFC`.
-Add `VA` to the `Formats:` list of `XO (27:31)`.
+Add `TLI` to the `Formats:` list of `XO (29:30)`.
+Add `CRB` to the  `Formats:` list of `XO (26:31)`.
+Add `VA` to the  `Formats:` list of `XO (27:31)`.
 
 ----------