From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 17 Sep 2022 20:52:50 +0000 (+0100)
Subject: add sat/satu test_12_sat to test_pysvp64dis.py
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6a9215301f955d4d5debcb00263a2d1a15347de6;p=openpower-isa.git

add sat/satu test_12_sat to test_pysvp64dis.py
---

diff --git a/src/openpower/sv/trans/test_pysvp64dis.py b/src/openpower/sv/trans/test_pysvp64dis.py
index a96e5a13..611cb7b6 100644
--- a/src/openpower/sv/trans/test_pysvp64dis.py
+++ b/src/openpower/sv/trans/test_pysvp64dis.py
@@ -188,6 +188,13 @@ class SVSTATETestCase(unittest.TestCase):
                         ]
         self._do_tst(expected)
 
+    def test_12_sat(self):
+        expected = [
+                    "sv.add./satu *3,*7,*11",
+                    "sv.add./sats *3,*7,*11",
+                        ]
+        self._do_tst(expected)
+
 if __name__ == "__main__":
     unittest.main()