From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:46981) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gz6YD-0005bm-2R for qemu-devel@nongnu.org; Wed, 27 Feb 2019 16:15:38 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gz6YB-0001C7-69 for qemu-devel@nongnu.org; Wed, 27 Feb 2019 16:15:36 -0500 From: David Hildenbrand Date: Wed, 27 Feb 2019 22:15:24 +0100 Message-Id: <20190227211525.2470-2-david@redhat.com> In-Reply-To: <20190227211525.2470-1-david@redhat.com> References: <20190227211525.2470-1-david@redhat.com> Subject: [Qemu-devel] [PATCH RFC2 1/2] tests/tcg: target/s390x: Test VECTOR GATHER ELEMENT List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: qemu-devel@nongnu.org Cc: qemu-s390x@nongnu.org, Thomas Huth , Cornelia Huck , Richard Henderson , =?UTF-8?q?Alex=20Benn=C3=A9e?= , =?UTF-8?q?Philippe=20Mathieu-Daud=C3=A9?= , David Hildenbrand As want to make use of vectors in constraints of inline asm statements, use -march=z13. To make it compile, use a reasonable optimization level (-O2). Add some infrastructure for checking if SIGILL will be properly triggered. Take care of manually unblocking the signal before doing the longjmp, otherwise it will remain blocked and eventually lead to the default handler getting executed on the next signal. Use "signal" for now although checkpatch complains about portability. We only care about linux for s390x. If that ever changes, I'll happly convert it ;) Signed-off-by: David Hildenbrand --- tests/tcg/s390x/Makefile.target | 6 +++ tests/tcg/s390x/helper.h | 22 +++++++++ tests/tcg/s390x/signal-helper.inc.c | 46 ++++++++++++++++++ tests/tcg/s390x/vge.c | 75 +++++++++++++++++++++++++++++ 4 files changed, 149 insertions(+) create mode 100644 tests/tcg/s390x/helper.h create mode 100644 tests/tcg/s390x/signal-helper.inc.c create mode 100644 tests/tcg/s390x/vge.c diff --git a/tests/tcg/s390x/Makefile.target b/tests/tcg/s390x/Makefile.target index 151dc075aa..474c2428bd 100644 --- a/tests/tcg/s390x/Makefile.target +++ b/tests/tcg/s390x/Makefile.target @@ -6,3 +6,9 @@ TESTS+=ipm TESTS+=exrl-trt TESTS+=exrl-trtr TESTS+=pack + +VECTOR_TESTS=vge +TESTS+=$(VECTOR_TESTS) + +#enable vectors and optimisation for vector tests +$(VECTOR_TESTS): CFLAGS+=-march=z13 -O2 diff --git a/tests/tcg/s390x/helper.h b/tests/tcg/s390x/helper.h new file mode 100644 index 0000000000..ecbd97519b --- /dev/null +++ b/tests/tcg/s390x/helper.h @@ -0,0 +1,22 @@ +#ifndef TEST_TCG_S390x_VECTOR_H +#define TEST_TCG_S390x_VECTOR_H + +#include + +typedef union S390Vector { + __uint128_t v; + uint64_t q[2]; + uint32_t d[4]; + uint16_t w[8]; + uint8_t h[16]; +} S390Vector; + +static inline void check(const char *s, bool cond) +{ + if (!cond) { + fprintf(stderr, "Check failed: %s\n", s); + exit(-1); + } +} + +#endif /* TEST_TCG_S390x_VECTOR_H */ diff --git a/tests/tcg/s390x/signal-helper.inc.c b/tests/tcg/s390x/signal-helper.inc.c new file mode 100644 index 0000000000..c214356ca1 --- /dev/null +++ b/tests/tcg/s390x/signal-helper.inc.c @@ -0,0 +1,46 @@ +#include +#include +#include +#include +#include +#include +#include "helper.h" + +jmp_buf jmp_env; + +static int signal_unblock(int sig) +{ + sigset_t intmask; + + if (sigemptyset(&intmask) || + sigaddset(&intmask, sig) || + sigprocmask(SIG_UNBLOCK, &intmask, NULL)) { + return -errno; + } + return 0; +} + +static void handle_sigill(int sig) +{ + if (sig != SIGILL) { + check("Wrong signal received", false); + } + if (signal_unblock(sig)) { + check("Cannot unblock signal", false); + } + longjmp(jmp_env, 1); +} + +#define CHECK_SIGILL(STATEMENT) \ +do { \ + if (signal(SIGILL, handle_sigill) == SIG_ERR) { \ + check("SIGILL not registered", false); \ + } \ + if (setjmp(jmp_env) == 0) { \ + STATEMENT; \ + check("SIGILL not triggered", false); \ + } \ + if (signal(SIGILL, SIG_DFL) == SIG_ERR) { \ + check("SIGILL not registered", false); \ + } \ +} while (0) diff --git a/tests/tcg/s390x/vge.c b/tests/tcg/s390x/vge.c new file mode 100644 index 0000000000..7760be3a1b --- /dev/null +++ b/tests/tcg/s390x/vge.c @@ -0,0 +1,75 @@ +#include +#include +#include "signal-helper.inc.c" + +static inline void vgef(S390Vector *v1, S390Vector *v2, const void *a2, + uint8_t m3) +{ + asm volatile("vgef %[v1], 0(%[v2], %[a2]), %[m3]\n" + : [v1] "+v" (v1->v), + [v2] "+v" (v2->v) + : [a2] "d" (a2), + [m3] "i" (m3)); +} + +static void test_vgef(void) +{ + uint32_t data = 0x12345678ul; + S390Vector v1 = { + .q[0] = -1ull, + .q[1] = -1ull, + }; + S390Vector v2 = { + .d[0] = -1, + .d[1] = -1, + .d[2] = 56789, + .d[3] = -1, + }; + + /* load vector element number 2 with the data */ + vgef(&v1, &v2, (uint32_t *)((uint8_t *)&data - 56789), 2); + check("vgef: element loaded", v1.d[2] == data); + check("vgef: elements unmodified", v1.d[0] == -1 && v1.d[1] == -1 && + v1.d[3] == -1); + + /* invalid element number */ + CHECK_SIGILL(vgef(&v1, &v2, 0, 4)); +} + +static inline void vgeg(S390Vector *v1, S390Vector *v2, const void *a2, + uint8_t m3) +{ + asm volatile("vgeg %[v1], 0(%[v2], %[a2]), %[m3]\n" + : [v1] "+v" (v1->v), + [v2] "+v" (v2->v) + : [a2] "d" (a2), + [m3] "i" (m3)); +} + +static void test_vgeg(void) +{ + uint64_t data = 0x123456789abcdefull; + S390Vector v1 = { + .q[0] = -1ull, + .q[1] = -1ull, + }; + S390Vector v2 = { + .q[0] = -1ull, + .q[1] = 56789, + }; + + /* load vector element number 1 with the data */ + vgeg(&v1, &v2, (uint64_t *)((uint8_t *)&data - 56789), 1); + check("vgef: element loaded", v1.q[1] == data); + check("vgef: elements unmodified", v1.q[0] == -1ull); + + /* invalid element number */ + CHECK_SIGILL(vgeg(&v1, &v2, 0, 2)); +} + +int main(void) +{ + test_vgef(); + test_vgeg(); + return 0; +} -- 2.17.2