(no commit message)

diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn
index bc01ab9d3e9c5aa8f76b34bf57698e92a75ea1b9..d5fab0856e9ccd455ba40b9f3cd81d9aea96bcea 100644 (file)
--- 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
 ```