tests/tcg/ppc64[le]: Add tests for xs{max,min}[cj]dp

Signed-off-by: Víctor Colombo <[email protected]>

Author: vcoracolombo

tests/tcg/ppc64/Makefile.target

@@ -10,12 +10,16 @@ PPC64_TESTS=bcdsub non_signalling_xscv
 endif
 $(PPC64_TESTS): CFLAGS += -mpower8-vector
 
-PPC64_TESTS += byte_reverse mtfsf xsmaxmincqp
+PPC64_TESTS += byte_reverse mtfsf xsmaxmincqp xsmaxmincjdp
 ifneq ($(DOCKER_IMAGE)$(CROSS_CC_HAS_POWER10),)
 xsmaxmincqp: CFLAGS += -mcpu=power10
 run-xsmaxmincqp: QEMU_OPTS += -cpu POWER10
 run-plugin-xsmaxmincqp-with-%: QEMU_OPTS += -cpu POWER10
 
+xsmaxmincjdp: CFLAGS += -mcpu=power10
+run-xsmaxmincjdp: QEMU_OPTS += -cpu POWER10
+run-plugin-xsmaxmincjdp-with-%: QEMU_OPTS += -cpu POWER10
+
 run-byte_reverse: QEMU_OPTS+=-cpu POWER10
 run-plugin-byte_reverse-with-%: QEMU_OPTS+=-cpu POWER10
 else

tests/tcg/ppc64le/Makefile.target

@@ -10,12 +10,16 @@ endif
 $(PPC64LE_TESTS): CFLAGS += -mpower8-vector
 
 ifneq ($(DOCKER_IMAGE)$(CROSS_CC_HAS_POWER10),)
-PPC64LE_TESTS += byte_reverse xsmaxmincqp
+PPC64LE_TESTS += byte_reverse xsmaxmincqp xsmaxmincjdp
 endif
 byte_reverse: CFLAGS += -mcpu=power10
 run-byte_reverse: QEMU_OPTS+=-cpu POWER10
 run-plugin-byte_reverse-with-%: QEMU_OPTS+=-cpu POWER10
 
+xsmaxmincjdp: CFLAGS += -mcpu=power10
+run-xsmaxmincjdp: QEMU_OPTS += -cpu POWER10
+run-plugin-xsmaxmincjdp-with-%: QEMU_OPTS += -cpu POWER10
+
 xsmaxmincqp: CFLAGS += -mcpu=power10
 run-xsmaxmincqp: QEMU_OPTS += -cpu POWER10
 run-plugin-xsmaxmincqp-with-%: QEMU_OPTS += -cpu POWER10

tests/tcg/ppc64le/xsmaxmincjdp.c

@@ -0,0 +1,83 @@
+#include <assert.h>
+#include <limits.h>
+#include <unistd.h>
+#include <signal.h>
+#include <stdint.h>
+
+#define XSTR(x) #x
+#define STR(x) XSTR(x)
+#define I128(a, b) ((__int128)(a) << 64 | (b))
+
+#define TEST(INSN, A, B, EXP)                                          \
+    do {                                                               \
+        __uint128_t a = I128(A, 0);                                    \
+        __uint128_t b = I128(B, 0);                                    \
+        __uint128_t t;                                                 \
+                                                                       \
+        asm(INSN " %0, %1, %2\n\t" : "=wa"(t) : "wa"(a), "wa"(b));     \
+                                                                       \
+        assert(t == I128(EXP, 0));                                     \
+    } while (0)
+
+static inline void test_nan()
+{
+    TEST("xsmaxcdp", 0x42ULL, 0x7FF0000000000001ULL, 0x7FF0000000000001ULL);
+    TEST("xsmaxcdp", 0x7FF0000000000001ULL, 0x42ULL, 0x42ULL);
+
+    TEST("xsmaxcdp", 0x42ULL, 0x7FFF000000000000ULL, 0x7FFF000000000000ULL);
+    TEST("xsmaxcdp", 0x7FFF000000000000ULL, 0x42ULL, 0x42ULL);
+
+    TEST("xsmaxcdp", 0x42ULL, 0x7FF8000000000000ULL, 0x7FF8000000000000ULL);
+    TEST("xsmaxcdp", 0x7FF8000000000000ULL, 0x42ULL, 0x42ULL);
+
+    TEST("xsmincdp", 0x42ULL, 0x7FF0000000000001ULL, 0x7FF0000000000001ULL);
+    TEST("xsmincdp", 0x7FF0000000000001ULL, 0x42ULL, 0x42ULL);
+
+    TEST("xsmincdp", 0x42ULL, 0x7FFF000000000000ULL, 0x7FFF000000000000ULL);
+    TEST("xsmincdp", 0x7FFF000000000000ULL, 0x42ULL, 0x42ULL);
+
+    TEST("xsmincdp", 0x42ULL, 0x7FF8000000000000ULL, 0x7FF8000000000000ULL);
+    TEST("xsmincdp", 0x7FF8000000000000ULL, 0x42ULL, 0x42ULL);
+
+    TEST("xsmaxjdp", 0x42ULL, 0x7FF0000000000001ULL, 0x7FF0000000000001ULL);
+    TEST("xsmaxjdp", 0x7FF0000000000001ULL, 0x42ULL, 0x7FF0000000000001ULL);
+    TEST("xsmaxjdp", 0x7FF8000000000000ULL, 0x7FF0000000000001ULL,
+         0x7FF8000000000000ULL);
+    TEST("xsmaxjdp", 0x7FF0000000000001ULL, 0x7FF8000000000000ULL,
+         0x7FF0000000000001ULL);
+
+    TEST("xsminjdp", 0x42ULL, 0x7FF0000000000001ULL, 0x7FF0000000000001ULL);
+    TEST("xsminjdp", 0x7FF0000000000001ULL, 0x42ULL, 0x7FF0000000000001ULL);
+    TEST("xsminjdp", 0x7FF8000000000000ULL, 0x7FF0000000000001ULL,
+         0x7FF8000000000000ULL);
+    TEST("xsminjdp", 0x7FF0000000000001ULL, 0x7FF8000000000000ULL,
+         0x7FF0000000000001ULL);
+}
+
+static inline void test_general_case()
+{
+    TEST("xsmaxcdp", 0xad53f789, 0xbeaab9c5, 0xbeaab9c5);
+    TEST("xsmaxcdp", 0x8600dd9ea0, 0x4b9f8cffd7, 0x8600dd9ea0);
+
+    TEST("xsmincdp", 0xad53f789, 0xbeaab9c5, 0xad53f789);
+    TEST("xsmincdp", 0x8600dd9ea0, 0x4b9f8cffd7, 0x4b9f8cffd7);
+
+    TEST("xsmaxjdp", 0xad53f789, 0xbeaab9c5, 0xbeaab9c5);
+    TEST("xsmaxjdp", 0x8600dd9ea0, 0x4b9f8cffd7, 0x8600dd9ea0);
+
+    TEST("xsminjdp", 0xad53f789, 0xbeaab9c5, 0xad53f789);
+    TEST("xsminjdp", 0x8600dd9ea0, 0x4b9f8cffd7, 0x4b9f8cffd7);
+}
+
+int main(void)
+{
+    struct sigaction action;
+
+    action.sa_handler = _exit;
+    sigaction(SIGABRT, &action, NULL);
+
+    test_nan();
+    test_general_case();
+
+    return 0;
+}