tests/tcg/ppc64[le]: Add tests for xvcvbf16spn and xvcvspbf16

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

Author: vcoracolombo

tests/tcg/ppc64/Makefile.target

@@ -10,18 +10,28 @@ PPC64_TESTS=bcdsub non_signalling_xscv
 endif
 $(PPC64_TESTS): CFLAGS += -mpower8-vector
 
-PPC64_TESTS += byte_reverse
-PPC64_TESTS += mtfsf
+PPC64_TESTS += byte_reverse mtfsf xvcvspbf16
 ifneq ($(DOCKER_IMAGE)$(CROSS_CC_HAS_POWER10),)
 run-byte_reverse: QEMU_OPTS+=-cpu POWER10
 run-plugin-byte_reverse-with-%: QEMU_OPTS+=-cpu POWER10
+
+xvcvspbf16: CFLAGS += -mcpu=power10
+run-xvcvspbf16: QEMU_OPTS+=-cpu POWER10
+run-plugin-xvcvspbf16-with-%: QEMU_OPTS+=-cpu POWER10
 else
 byte_reverse:
 	$(call skip-test, "BUILD of $@", "missing compiler support")
 run-byte_reverse:
 	$(call skip-test, "RUN of byte_reverse", "not built")
 run-plugin-byte_reverse-with-%:
 	$(call skip-test, "RUN of byte_reverse ($*)", "not built")
+
+xvcvspbf16:
+	$(call skip-test, "BUILD of $@", "missing compiler support")
+run-xvcvspbf16:
+	$(call skip-test, "RUN of xvcvspbf16", "not built")
+run-plugin-xvcvspbf16-with-%:
+	$(call skip-test, "RUN of xvcvspbf16 ($*)", "not built")
 endif
 
 PPC64_TESTS += signal_save_restore_xer

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
+PPC64LE_TESTS += byte_reverse xvcvspbf16
 endif
 byte_reverse: CFLAGS += -mcpu=power10
 run-byte_reverse: QEMU_OPTS+=-cpu POWER10
 run-plugin-byte_reverse-with-%: QEMU_OPTS+=-cpu POWER10
 
+xvcvspbf16: CFLAGS += -mcpu=power10
+run-xvcvspbf16: QEMU_OPTS+=-cpu POWER10
+run-plugin-xvcvspbf16-with-%: QEMU_OPTS+=-cpu POWER10
+
 PPC64LE_TESTS += mtfsf
 PPC64LE_TESTS += signal_save_restore_xer
 

tests/tcg/ppc64le/xvcvspbf16.c

@@ -0,0 +1,52 @@
+#include <assert.h>
+#include <limits.h>
+#include <unistd.h>
+#include <signal.h>
+#include <stdint.h>
+
+#define I128(a, b) ((__int128)(a) << 64 | (b))
+
+#define TEST_XVCVBF16SPN(B, EXP)                                       \
+    do {                                                               \
+        __uint128_t b = B;                                             \
+        __uint128_t t;                                                 \
+                                                                       \
+        asm("xvcvbf16spn %0, %1\n\t" : "=wa"(t) : "wa"(b));            \
+                                                                       \
+        assert(t == EXP);                                              \
+    } while (0)
+
+#define TEST_XVCVSPBF16(B, EXP)                                        \
+    do {                                                               \
+        __uint128_t b = B;                                             \
+        __uint128_t t;                                                 \
+                                                                       \
+        asm("xvcvspbf16 %0, %1\n\t" : "=wa"(t) : "wa"(b));             \
+        /* TODO: when implementation is fixed, check fpscr */          \
+                                                                       \
+        assert(t == EXP);                                              \
+    } while (0)
+
+int main(void)
+{
+    struct sigaction action;
+
+    action.sa_handler = _exit;
+    sigaction(SIGABRT, &action, NULL);
+
+    TEST_XVCVBF16SPN(I128(0xFFFFFFFFFFFFFFFFULL, 0xFFFFFFFFFFFFFFFFULL),
+                     I128(0xFFFF0000FFFF0000ULL, 0xFFFF0000FFFF0000ULL));
+    TEST_XVCVBF16SPN(I128(0x4094E5B530214B78ULL, 0x7FFF000040490FDBULL),
+                     I128(0xE5B500004B780000ULL, 0x000000000FDB0000ULL));
+
+    TEST_XVCVSPBF16(I128(0xFFFFFFFFFFFFFFFFULL, 0xFFFFFFFFFFFFFFFFULL),
+                    I128(0x0000FFFF0000FFFFULL, 0x0000FFFF0000FFFFULL));
+    TEST_XVCVSPBF16(I128(0x4000921FB54442D1ULL, 0x8469898CC51701B8ULL),
+                    I128(0x000040010000B544ULL, 0x0000846A0000C517ULL));
+    /* Test NaN */
+    TEST_XVCVSPBF16(I128(0x7FA0000000000000ULL, 0x7FA07FA000007FA0ULL),
+                    I128(0x00007FE000000000ULL, 0x00007FE000000000ULL));
+
+
+    return 0;
+}