add some CR3 pysvp64dis.py tests, sv.crand

diff --git a/src/openpower/sv/trans/test_pysvp64dis.py b/src/openpower/sv/trans/test_pysvp64dis.py
index 8a83c2ba7fe1f88e72b93c8fa94aabe9d0350971..9423959e8695ca372feaf3e55174f457c3e3e8ef 100644 (file)
--- a/src/openpower/sv/trans/test_pysvp64dis.py
+++ b/src/openpower/sv/trans/test_pysvp64dis.py
@@ -55,6 +55,13 @@ class SVSTATETestCase(unittest.TestCase):
                         ]
         self._do_tst(expected)
 
+    def test_4_sv_crand(self):
+        expected = [
+                    'sv.crand *16,*2,*33',
+                    'sv.crand 12,2,33',
+                        ]
+        self._do_tst(expected)
+
 if __name__ == "__main__":
     unittest.main()