From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 23 Sep 2022 20:17:52 +0000 (+0100)
Subject: extra failfirst dis tests
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6b60d675899206a7c999a0a9eb83506ab93d3b4c;p=openpower-isa.git

extra failfirst dis tests
---

diff --git a/src/openpower/sv/trans/svp64.py b/src/openpower/sv/trans/svp64.py
index 6037de94..a3e6f44b 100644
--- a/src/openpower/sv/trans/svp64.py
+++ b/src/openpower/sv/trans/svp64.py
@@ -669,8 +669,8 @@ def decode_bo(encoding):
     # barse-ackwards MSB0/LSB0. sigh
     mapped = pmap[encoding]
     si =  SelectableInt(0, 3)
-    si[0] = mapped>>2
-    si[1:3] = mapped & 3
+    si[0] = mapped>>2 # inv
+    si[1:3] = mapped & 3 # CR
     return int(si)
 
 
diff --git a/src/openpower/sv/trans/test_pysvp64dis.py b/src/openpower/sv/trans/test_pysvp64dis.py
index 1ffc775e..cea9113c 100644
--- a/src/openpower/sv/trans/test_pysvp64dis.py
+++ b/src/openpower/sv/trans/test_pysvp64dis.py
@@ -227,6 +227,11 @@ class SVSTATETestCase(unittest.TestCase):
         expected = [
                     "sv.add./ff=eq *3,*7,*11",
                     "sv.add./ff=ns *3,*7,*11",
+                    "sv.add./ff=lt *3,*7,*11",
+                    "sv.add./ff=ge *3,*7,*11",
+                    "sv.add./ff=le *3,*7,*11",
+                    "sv.add./ff=gt *3,*7,*11",
+                    "sv.add./ff=ne *3,*7,*11",
                     "sv.add./pr=eq *3,*7,*11",
                     "sv.add./pr=ns *3,*7,*11",
                         ]