From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 25 Sep 2019 07:59:03 +0000 (+0100)
Subject: correct pseudocode for cbranch
X-Git-Tag: convert-csv-opcode-to-binary~3974
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=700d534cf47ddc39014ee6bf76f3cbac6733d411;p=libreriscv.git

correct pseudocode for cbranch
---

diff --git a/simple_v_extension/appendix.mdwn b/simple_v_extension/appendix.mdwn
index 553d3eee7..a951d4450 100644
--- a/simple_v_extension/appendix.mdwn
+++ b/simple_v_extension/appendix.mdwn
@@ -326,16 +326,20 @@ complex), this becomes:
 
     if pred_inversion:
         if pred_zeroing:
-            if result != 0:
+            # NOR
+            if result == 0:
                 goto branch
         else:
-            if result == 0:
+            # NAND
+            if (result & ps) != result:
                 goto branch
     else:
         if pred_zeroing:
-            if (result & ps) != result:
+            # OR
+            if result != 0:
                 goto branch
         else:
+            # AND
             if (result & ps) == result:
                 goto branch