bug #672: invert testing in sv.minmax and add Rc=1

[openpower-isa.git] / src / openpower / test_fpscr.py

diff --git a/src/openpower/test_fpscr.py b/src/openpower/test_fpscr.py
index 6652b8f10dc27392c3ee7c2532cef886d2a8b282..00ea2f8feb0e79c7661058acc7fa6b5a37631425 100644 (file)
--- a/src/openpower/test_fpscr.py
+++ b/src/openpower/test_fpscr.py
@@ -12,9 +12,12 @@ class TestFPSCR(unittest.TestCase):
         expected = 0x3
         self.assertEqual(FPSCR, expected)
         self.assertEqual(FPSCR.VXCVI, 0)
+        self.assertEqual(FPSCR.VX, 0)
         FPSCR.VXCVI = 1
         self.assertEqual(FPSCR.VXCVI, 1)
+        self.assertEqual(FPSCR.VX, 1)
         expected |= 1 << (64 - 55 - 1)
+        expected |= 1 << (64 - 34 - 1)
         self.assertEqual(FPSCR, expected)
         self.assertEqual(FPSCR.FX, 0)
         FPSCR.FX = 1
@@ -35,6 +38,15 @@ class TestFPSCR(unittest.TestCase):
         self.assertEqual(FPSCR, expected)
         self.assertEqual(FPSCR.FPRF, 0b10010)
         self.assertEqual(FPSCR.FPCC, 0b0010)
+        self.assertEqual(FPSCR.VE, 0)
+        self.assertEqual(FPSCR.VX, 1)
+        self.assertEqual(FPSCR.FEX, 0)
+        FPSCR.VE = 1
+        self.assertEqual(FPSCR.VE, 1)
+        self.assertEqual(FPSCR.FEX, 1)
+        expected |= 1 << (64 - 56 - 1)
+        expected |= 1 << (64 - 33 - 1)
+        self.assertEqual(FPSCR, expected)
 
 
 if __name__ == "__main__":