From c8b2c5d2c984cc444880187679c2a9589bae0526 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 4 May 2023 19:19:29 -0700
Subject: [PATCH] add initial fmv/fcvt tests, though they're broken due to
 FPSCR being unimplemented

---
 openpower/isatables/fields.text               |   2 +-
 .../decoder/isa/test_caller_fmv_fcvt.py       |  34 +++
 src/openpower/test/fmv_fcvt/__init__.py       |   0
 src/openpower/test/fmv_fcvt/fmv_fcvt.py       | 193 ++++++++++++++++++
 4 files changed, 228 insertions(+), 1 deletion(-)
 create mode 100644 src/openpower/decoder/isa/test_caller_fmv_fcvt.py
 create mode 100644 src/openpower/test/fmv_fcvt/__init__.py
 create mode 100644 src/openpower/test/fmv_fcvt/fmv_fcvt.py

diff --git a/openpower/isatables/fields.text b/openpower/isatables/fields.text
index 89ad7530..6560b147 100644
--- a/openpower/isatables/fields.text
+++ b/openpower/isatables/fields.text
@@ -557,7 +557,7 @@
     FRB (16:20)
         Field used to specify an FPR to be used as a
         source.
-        Formats: A, MM, X, XFL, Z23, DCT
+        Formats: A, MM, X, XFL, XO, Z23, DCT
     FRBp (16:20)
          Field used to specify an even/odd pair of FPRs to
          be concatenated and used as a source.
diff --git a/src/openpower/decoder/isa/test_caller_fmv_fcvt.py b/src/openpower/decoder/isa/test_caller_fmv_fcvt.py
new file mode 100644
index 00000000..cf5730b7
--- /dev/null
+++ b/src/openpower/decoder/isa/test_caller_fmv_fcvt.py
@@ -0,0 +1,34 @@
+""" fmv/fcvt tests
+"""
+
+import unittest
+
+from openpower.test.fmv_fcvt.fmv_fcvt import (FMvFCvtCases,
+                                              SVP64FMvFCvtCases)
+from openpower.test.runner import TestRunnerBase
+
+# writing the test_caller invocation this way makes it work with pytest
+
+
+class TestFMvFCvtCases(TestRunnerBase):
+    def __init__(self, test):
+        assert test == 'test'
+        super().__init__(FMvFCvtCases().test_data, fp=True)
+
+    def test(self):
+        # dummy function to make unittest try to test this class
+        pass
+
+
+class TestSVP64FMvFCvtCases(TestRunnerBase):
+    def __init__(self, test):
+        assert test == 'test'
+        super().__init__(SVP64FMvFCvtCases().test_data, fp=True)
+
+    def test(self):
+        # dummy function to make unittest try to test this class
+        pass
+
+
+if __name__ == "__main__":
+    unittest.main()
diff --git a/src/openpower/test/fmv_fcvt/__init__.py b/src/openpower/test/fmv_fcvt/__init__.py
new file mode 100644
index 00000000..e69de29b
diff --git a/src/openpower/test/fmv_fcvt/fmv_fcvt.py b/src/openpower/test/fmv_fcvt/fmv_fcvt.py
new file mode 100644
index 00000000..674bd96e
--- /dev/null
+++ b/src/openpower/test/fmv_fcvt/fmv_fcvt.py
@@ -0,0 +1,193 @@
+from openpower.test.common import TestAccumulatorBase, skip_case
+from openpower.sv.trans.svp64 import SVP64Asm
+from openpower.test.state import ExpectedState
+from openpower.simulator.program import Program
+from openpower.decoder.isa.caller import SVP64State
+import struct
+import math
+
+
+class FMvFCvtCases(TestAccumulatorBase):
+    def js_toint32(self, inp, expected, test_title=""):
+        inp = float(inp)
+        inp_bits = struct.unpack("<Q", struct.pack("<d", inp))[0]
+        expected %= 2 ** 64
+        with self.subTest(inp=inp.hex(), inp_bits=hex(inp_bits),
+                          expected=hex(expected), test_title=test_title):
+            lst = list(SVP64Asm(["fcvttg 3,0,5,0"]))
+            gprs = [0] * 32
+            fprs = [0] * 32
+            fprs[0] = inp_bits
+            e = ExpectedState(pc=4, int_regs=gprs, fp_regs=fprs)
+            e.intregs[3] = expected
+            self.add_case(Program(lst, False), gprs, fpregs=fprs, expected=e)
+
+    def case_js_toint32(self):
+        min_value = pow(2, -1074)
+        # test cases from:
+        # https://chromium.googlesource.com/v8/v8.git/+/d94dfc2b01f988566aa410ce871588cf23b1285d/test/mjsunit/toint32.js
+        # Copyright 2008 the V8 project authors. All rights reserved.
+        # Redistribution and use in source and binary forms, with or without
+        # modification, are permitted provided that the following conditions are
+        # met:
+        #
+        #     * Redistributions of source code must retain the above copyright
+        #       notice, this list of conditions and the following disclaimer.
+        #     * Redistributions in binary form must reproduce the above
+        #       copyright notice, this list of conditions and the following
+        #       disclaimer in the documentation and/or other materials provided
+        #       with the distribution.
+        #     * Neither the name of Google Inc. nor the names of its
+        #       contributors may be used to endorse or promote products derived
+        #       from this software without specific prior written permission.
+        #
+        # THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+        # "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+        # LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+        # A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+        # OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+        # SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+        # LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+        # DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+        # THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+        # (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+        # OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+        self.js_toint32(math.inf, 0, "Inf")
+        self.js_toint32(-math.inf, 0, "-Inf")
+        self.js_toint32(math.nan, 0, "NaN")
+        self.js_toint32(0.0, 0, "zero")
+        self.js_toint32(-0.0, 0, "-zero")
+        self.js_toint32(min_value, 0)
+        self.js_toint32(-min_value, 0)
+        self.js_toint32(0.1, 0)
+        self.js_toint32(-0.1, 0)
+        self.js_toint32(1, 1, "one")
+        self.js_toint32(1.1, 1, "onepointone")
+        self.js_toint32(-1, -1, "-one")
+        self.js_toint32(0.6, 0, "truncate positive (0.6)")
+        self.js_toint32(1.6, 1, "truncate positive (1.6)")
+        self.js_toint32(-0.6, 0, "truncate negative (-0.6)")
+        self.js_toint32(-1.6, -1, "truncate negative (-1.6)")
+        self.js_toint32(2147483647, 2147483647)
+        self.js_toint32(2147483648, -2147483648)
+        self.js_toint32(2147483649, -2147483647)
+        self.js_toint32(4294967295, -1)
+        self.js_toint32(4294967296, 0)
+        self.js_toint32(4294967297, 1)
+        self.js_toint32(-2147483647, -2147483647)
+        self.js_toint32(-2147483648, -2147483648)
+        self.js_toint32(-2147483649, 2147483647)
+        self.js_toint32(-4294967295, 1)
+        self.js_toint32(-4294967296, 0)
+        self.js_toint32(-4294967297, -1)
+        self.js_toint32(2147483648.25, -2147483648)
+        self.js_toint32(2147483648.5, -2147483648)
+        self.js_toint32(2147483648.75, -2147483648)
+        self.js_toint32(4294967295.25, -1)
+        self.js_toint32(4294967295.5, -1)
+        self.js_toint32(4294967295.75, -1)
+        self.js_toint32(3000000000.25, -1294967296)
+        self.js_toint32(3000000000.5, -1294967296)
+        self.js_toint32(3000000000.75, -1294967296)
+        self.js_toint32(-2147483648.25, -2147483648)
+        self.js_toint32(-2147483648.5, -2147483648)
+        self.js_toint32(-2147483648.75, -2147483648)
+        self.js_toint32(-4294967295.25, 1)
+        self.js_toint32(-4294967295.5, 1)
+        self.js_toint32(-4294967295.75, 1)
+        self.js_toint32(-3000000000.25, 1294967296)
+        self.js_toint32(-3000000000.5, 1294967296)
+        self.js_toint32(-3000000000.75, 1294967296)
+        base = pow(2, 64)
+        self.js_toint32(base + 0, 0)
+        self.js_toint32(base + 1117, 0)
+        self.js_toint32(base + 2234, 4096)
+        self.js_toint32(base + 3351, 4096)
+        self.js_toint32(base + 4468, 4096)
+        self.js_toint32(base + 5585, 4096)
+        self.js_toint32(base + 6702, 8192)
+        self.js_toint32(base + 7819, 8192)
+        self.js_toint32(base + 8936, 8192)
+        self.js_toint32(base + 10053, 8192)
+        self.js_toint32(base + 11170, 12288)
+        self.js_toint32(base + 12287, 12288)
+        self.js_toint32(base + 13404, 12288)
+        self.js_toint32(base + 14521, 16384)
+        self.js_toint32(base + 15638, 16384)
+        self.js_toint32(base + 16755, 16384)
+        self.js_toint32(base + 17872, 16384)
+        self.js_toint32(base + 18989, 20480)
+        self.js_toint32(base + 20106, 20480)
+        self.js_toint32(base + 21223, 20480)
+        self.js_toint32(base + 22340, 20480)
+        self.js_toint32(base + 23457, 24576)
+        self.js_toint32(base + 24574, 24576)
+        self.js_toint32(base + 25691, 24576)
+        self.js_toint32(base + 26808, 28672)
+        self.js_toint32(base + 27925, 28672)
+        self.js_toint32(base + 29042, 28672)
+        self.js_toint32(base + 30159, 28672)
+        self.js_toint32(base + 31276, 32768)
+        # bignum is (2 ^ 53 - 1) * 2 ^ 31 - highest number with bit 31 set.
+        bignum = pow(2, 84) - pow(2, 31)
+        self.js_toint32(bignum, -pow(2, 31))
+        self.js_toint32(-bignum, -pow(2, 31))
+        self.js_toint32(2 * bignum, 0)
+        self.js_toint32(-(2 * bignum), 0)
+        self.js_toint32(bignum - pow(2, 31), 0)
+        self.js_toint32(-(bignum - pow(2, 31)), 0)
+        # max_fraction is largest number below 1.
+        max_fraction = (1 - pow(2, -53))
+        self.js_toint32(max_fraction, 0)
+        self.js_toint32(-max_fraction, 0)
+
+
+class SVP64FMvFCvtCases(TestAccumulatorBase):
+    @skip_case("FIXME: rewrite to fmv/fcvt tests")
+    def case_sv_fmaxmag19(self):
+        lst = list(SVP64Asm(["sv.fmaxmag19 *32,*64,*96"]))
+        gprs = [0] * 128
+        fprs = [0] * 128
+        svstate = SVP64State()
+        svstate.vl = 32
+        svstate.maxvl = 32
+        r = range(svstate.vl)
+        for i, rev_i in zip(r, reversed(r)):
+            fprs[64 + i] = struct.unpack("<Q", struct.pack("<d", i))[0]
+            fprs[96 + i] = struct.unpack("<Q", struct.pack("<d", rev_i))[0]
+        e = ExpectedState(pc=8, int_regs=gprs, fp_regs=fprs)
+        e.fpregs[32] = 0x403f000000000000
+        e.fpregs[33] = 0x403e000000000000
+        e.fpregs[34] = 0x403d000000000000
+        e.fpregs[35] = 0x403c000000000000
+        e.fpregs[36] = 0x403b000000000000
+        e.fpregs[37] = 0x403a000000000000
+        e.fpregs[38] = 0x4039000000000000
+        e.fpregs[39] = 0x4038000000000000
+        e.fpregs[40] = 0x4037000000000000
+        e.fpregs[41] = 0x4036000000000000
+        e.fpregs[42] = 0x4035000000000000
+        e.fpregs[43] = 0x4034000000000000
+        e.fpregs[44] = 0x4033000000000000
+        e.fpregs[45] = 0x4032000000000000
+        e.fpregs[46] = 0x4031000000000000
+        e.fpregs[47] = 0x4030000000000000
+        e.fpregs[48] = 0x4030000000000000
+        e.fpregs[49] = 0x4031000000000000
+        e.fpregs[50] = 0x4032000000000000
+        e.fpregs[51] = 0x4033000000000000
+        e.fpregs[52] = 0x4034000000000000
+        e.fpregs[53] = 0x4035000000000000
+        e.fpregs[54] = 0x4036000000000000
+        e.fpregs[55] = 0x4037000000000000
+        e.fpregs[56] = 0x4038000000000000
+        e.fpregs[57] = 0x4039000000000000
+        e.fpregs[58] = 0x403a000000000000
+        e.fpregs[59] = 0x403b000000000000
+        e.fpregs[60] = 0x403c000000000000
+        e.fpregs[61] = 0x403d000000000000
+        e.fpregs[62] = 0x403e000000000000
+        e.fpregs[63] = 0x403f000000000000
+        self.add_case(Program(lst, False), gprs, fpregs=fprs,
+                      initial_svstate=svstate, expected=e)
-- 
2.30.2