diff mbox series

[v6,22/24] tests/tcg/m68k: Add packed decimal tests

Message ID 20250511203546.139788-23-richard.henderson@linaro.org
State New
Headers show
Series target/m68k: fpu improvements | expand

Commit Message

Richard Henderson May 11, 2025, 8:35 p.m. UTC 
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
---
 tests/tcg/m68k/packeddecimal-1.c | 46 ++++++++++++++++++++++++++
 tests/tcg/m68k/packeddecimal-2.c | 55 ++++++++++++++++++++++++++++++++
 tests/tcg/m68k/Makefile.target   |  4 ++-
 3 files changed, 104 insertions(+), 1 deletion(-)
 create mode 100644 tests/tcg/m68k/packeddecimal-1.c
 create mode 100644 tests/tcg/m68k/packeddecimal-2.c
diff mbox series

Patch

diff --git a/tests/tcg/m68k/packeddecimal-1.c b/tests/tcg/m68k/packeddecimal-1.c
new file mode 100644
index 0000000000..cd5759fff7
--- /dev/null
+++ b/tests/tcg/m68k/packeddecimal-1.c
@@ -0,0 +1,46 @@ 
+/* SPDX-License-Identifier: GPL-2.0-or-later */
+/* Test packed decimal real conversion to long double. */
+
+#include <stdio.h>
+
+struct T {
+    unsigned int d[3];
+    long double f;
+};
+
+#define PDR(SMEY, EXP, INT, M1, M2) \
+    { (0b##SMEY << 28) | (0x##EXP << 16) | INT, 0x##M1, 0x##M2 }
+
+static const struct T tests[] = {
+    { PDR(0000, 000, 1, 00000000, 00000000), 1.0e0l },
+    { PDR(0000, 001, 1, 00000000, 00000000), 1.0e1l },
+    { PDR(0000, 010, 1, 00000000, 00000000), 1.0e10l },
+    { PDR(0000, 000, 0, 10000000, 00000000), 0.1e0l },
+    { PDR(0100, 001, 1, 00000000, 00000000), 1.0e-1l },
+    { PDR(1000, 005, 5, 55550000, 00000000), -5.5555e5l },
+    { PDR(0000, 999, 9, 99999999, 99999999), 9.9999999999999999e999l },
+    { PDR(0000, 123, 1, 23456789, 12345678), 1.2345678912345678e123l },
+    { PDR(0000, 000, 0, 00000000, 00000000), 0.0l },
+    { PDR(1000, 000, 0, 00000000, 00000000), -0.0l },
+    { PDR(0000, 999, 0, 00000000, 00000000), 0.0e999l },
+    { PDR(0111, FFF, 0, 00000000, 00000000), __builtin_infl() },
+    { PDR(1111, FFF, 0, 00000000, 00000000), -__builtin_infl() },
+};
+
+int main()
+{
+    int ret = 0;
+
+    for (int i = 0; i < sizeof(tests) / sizeof(tests[0]); i++) {
+        const struct T *t = &tests[i];
+        long double f;
+
+        asm("fmove.p (%1),%0" : "=f"(f) : "a"(t->d));
+
+        if (f != t->f) {
+            fprintf(stderr, "Mismatch at %d: %.17Le != %.17Le\n", i, f, t->f);
+            ret = 1;
+        }
+    }
+    return ret;
+}
diff --git a/tests/tcg/m68k/packeddecimal-2.c b/tests/tcg/m68k/packeddecimal-2.c
new file mode 100644
index 0000000000..5b956440bc
--- /dev/null
+++ b/tests/tcg/m68k/packeddecimal-2.c
@@ -0,0 +1,55 @@ 
+/* SPDX-License-Identifier: GPL-2.0-or-later */
+/* Test packed decimal real conversion from long double, dynamic k-factor */
+
+#include <stdio.h>
+#include <float.h>
+
+struct T {
+    unsigned int d[3];
+    long double lf;
+    int kfactor;
+};
+
+#define PDR(SMEY, EXP, I, M1, M2) \
+    { (0b##SMEY << 28) | ((0x##EXP & 0xfff) << 16) | (0x##EXP & 0xf000) | I, \
+      0x##M1, 0x##M2 }
+
+static const struct T tests[] = {
+    { PDR(0000, 0000, 1, 00000000, 00000000), 1.0e0l, 0 },
+    { PDR(0000, 0010, 1, 00000000, 00000000), 1.0e10l, 0 },
+    { PDR(0100, 0001, 1, 00000000, 00000000), 1.0e-1l, 0 },
+    { PDR(1000, 0005, 5, 55550000, 00000000), -5.5555e5l, 5 },
+    { PDR(0100, 0005, 5, 55550000, 00000000), 5.5555e-5l, 5 },
+    { PDR(0000, 0005, 2, 22222222, 22222222), 2.2222222222222222e5l, 17 },
+    { PDR(0000, 0005, 2, 22220000, 00000000), 2.2222222222222222e5l, 5 },
+    { PDR(0000, 0005, 2, 20000000, 00000000), 2.2222222222222222e5l, 2 },
+    { PDR(0000, 0005, 6, 66670000, 00000000), 6.6666666666666666e5l, 5 },
+    { PDR(0000, 4932, 1, 18973149, 53572318), LDBL_MAX, 17 },
+    { PDR(0100, 4932, 1, 68105157, 15560468), LDBL_MIN, 17 },
+    { PDR(0100, 4951, 1, 82259976, 59412373), LDBL_TRUE_MIN, 17 },
+    { PDR(0000, 0000, 0, 00000000, 00000000), 0.0l },
+    { PDR(1000, 0000, 0, 00000000, 00000000), -0.0l },
+    { PDR(0111, 0FFF, 0, 00000000, 00000000), __builtin_infl() },
+    { PDR(1111, 0FFF, 0, 00000000, 00000000), -__builtin_infl() },
+};
+
+int main()
+{
+    int ret = 0;
+
+    for (int i = 0; i < sizeof(tests) / sizeof(tests[0]); i++) {
+        const struct T *t = &tests[i];
+        unsigned int out[3];
+
+        asm("fmove.p %1,(%0),%2"
+            : : "a"(out), "f"(t->lf), "d"(t->kfactor) : "memory");
+
+        if (out[0] != t->d[0] || out[1] != t->d[1] || out[2] != t->d[2]) {
+            fprintf(stderr, "Mismatch at %d: %08x%08x%08x != %08x%08x%08x\n",
+                    i, out[0], out[1], out[2],
+                    t->d[0], t->d[1], t->d[2]);
+            ret = 1;
+        }
+    }
+    return ret;
+}
diff --git a/tests/tcg/m68k/Makefile.target b/tests/tcg/m68k/Makefile.target
index 33f7b1b127..b505260b79 100644
--- a/tests/tcg/m68k/Makefile.target
+++ b/tests/tcg/m68k/Makefile.target
@@ -4,4 +4,6 @@ 
 #
 
 VPATH += $(SRC_PATH)/tests/tcg/m68k
-TESTS += trap denormal
+TESTS += trap denormal packeddecimal-1 packeddecimal-2
+
+run-packeddecimal-%: QEMU_OPTS += -cpu m68020