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

---

diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn
index bc01ab9d3..d5fab0856 100644
--- a/openpower/sv/po9_encoding/discussion.mdwn
+++ b/openpower/sv/po9_encoding/discussion.mdwn
@@ -386,24 +386,10 @@ test.  Only EXT000-063 is not by a "process of elimination" (if ... return True)
 
 ```
     # easy-elimination, first
-    if not PO9                 return Fal
-    # eliminate SVP64:EXT000-031
-    if Word[30:31] =  0b11     return False
-    # eliminate SSingle:EXT000-063
-    if Word[6:29 ] != 0x000000 and
-       Word[30:31]  =  0b01    return False
-    # eliminate EXT200-231
-    if Word[30:31] =  0b10 and
-       Word[33:37] = 0b10001   return False
-    # eliminate SSingle:EXT900
-    if Word[30:31] =  0b10 and
-       Word[6:29 ] != 0x000000 and
-       Word[33:37] = 0b10001 and
-       Word[62:63] = 0b00      return False
-    # eliminate SVP64:EXT900
-    if Word[30:31] =  0b10 and
-       Word[33:37] = 0b10001 and
-       Word[62:63] = 0b01      return False
-    # all else needs further detailed decode
+    if not PO9                 return False
+    # eliminate double-PO9 and PO9-PO1
+    if Word[32:37] = 0b010001  return False
+    if Word[32:37] = 0b000001  return False
+    # all else requires detailed decode
     return True
 ```