From: lkcl <lkcl@web>
Date: Tue, 6 Jun 2023 20:28:52 +0000 (+0100)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fd333d4bf56cee957d28de0aa6e3c6e935d5ec99;p=libreriscv.git

---

diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn
index ca187c6c8..681be3442 100644
--- a/openpower/sv/po9_encoding/discussion.mdwn
+++ b/openpower/sv/po9_encoding/discussion.mdwn
@@ -16,12 +16,11 @@
 Length detection:
 
 ```
-    if PO1                  return 64
-    if not PO9              return 32
-    if Word[31] = 1         return 64
-    if Word[29:31] = 0b100  return 32
-    if Word[29:31] = 0b000  return 64
-
-    return 32
+    if PO1                   return 64
+    elif not PO9              return 32
+    elif Word[31] = 1         return 64
+    elif Word[29:31] = 0b100  return 32
+    elif Word[29:31] = 0b000  return 64
+    else                      return 32
 ```