From: lkcl <lkcl@web>
Date: Mon, 19 Jun 2023 20:25:46 +0000 (+0100)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1e69ca64b20568c035394c0890e30a168eb56326;p=libreriscv.git

---

diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn
index 012220dd9..1c06df12c 100644
--- a/openpower/sv/po9_encoding/discussion.mdwn
+++ b/openpower/sv/po9_encoding/discussion.mdwn
@@ -312,11 +312,10 @@ The following identification-criteria may be easily verified by taking
 a copy of the table above and striking out each line that fails each
 test.  Only EXT000-063 is not by a "process of elimination" (if ... return True)
 
-**Length detection**: (critically-important to be short)
+**Length detection**: (critically-important to be short - 1 clock cycle)
 
 ```
-    if PO1                   return 64
-    elif PO9                 return 64
+    if PO1 or PO9            return 64
     else                     return 32
 ```
 
@@ -345,16 +344,6 @@ test.  Only EXT000-063 is not by a "process of elimination" (if ... return True)
 
 **SVP64**:
 
-|0-5| 6-29   |30 31|32-37   | 38-663 | Description      |
-|---|--------|-----|--------|--------|------------------|
-|PO9| xxxx   | x x | 010001 |  ////  | RESERVED         |
-|PO9| xxxx   | x x | 000001 |  ////  | RESERVED         |
-|PO9| !ZERO  | 1 1 |  !PO9  |     xxxx        | SSingle:EXT232-263 |
-|PO9|  0000  | 1 1 |  !PO9  |     xxxx        | Scalar EXT232-263  |
-|PO9|  SVRM  | 1 0 |  !PO9  |     xxxx        | SVP64:EXT232-263   |
-|PO9|  0000  | 0 1 | Defined Word-instruction | 32-bit EXT300-363  |
-|PO9| !ZERO  | 0 1 | Defined Word-instruction | SSingle:EXT000-063 |
-|PO9|  SVRM  | 0 0 | Defined Word-instruction | SVP64:EXT000-063   |
 ```
     # easy-elimination, first
     if not PO9                 return False