(no commit message)

[libreriscv.git] / openpower / sv / po9_encoding / discussion.mdwn

diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn
index 012220dd9cc5bf4827185840fb5aa14adc2a72e5..1c06df12c10b232b9c46c51eb1a2c7522266f40b 100644 (file)
--- 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