From: lkcl <lkcl@web>
Date: Fri, 9 Jun 2023 12:11:39 +0000 (+0100)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d50e55824234c878a1797ee7b714853d1b1a7840;p=libreriscv.git

---

diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn
index 67df273a7..d394c3842 100644
--- a/openpower/sv/po9_encoding/discussion.mdwn
+++ b/openpower/sv/po9_encoding/discussion.mdwn
@@ -146,7 +146,7 @@ EXT200-231:
     return True
 ```
 
-EXT900:
+**EXT900:**
 
 ```
     # easy first step
@@ -186,8 +186,8 @@ EXT900:
 
 ```
     # easy-elimination, first
-    if Word[30]    =  0b0      return False
     if not PO9                 return False
+    if Word[30]    =  0b0      return False
     # eliminate anything not SVP64:EXT900
     if Word[30:31] =  0b10 and
        Word[33:37] = 0b10001 and