> From: Fredrik Noring <nor...@nocrew.org>
> Sent: Sunday, January 13, 2019 8:09 PM
> To: Aleksandar Markovic; Aurelien Jarno; Philippe Mathieu-Daudé
> Cc: Jürgen Urban; Maciej W. Rozycki; qemu-devel@nongnu.org
> Subject: [PATCH 9/9] tests/tcg/mips: Test R5900 multimedia instruction SQ
>
> Signed-off-by: Fredrik Noring <nor...@nocrew.org>
> ---
The commit message is missing. I will deal with the rest of this patch once LQ
implementation patch is accepted. Otherwise an interesting testing idea.
> tests/tcg/mips/mipsn32r5900/Makefile | 1 +
> tests/tcg/mips/mipsn32r5900/sq.c | 105 +++++++++++++++++++++++++++
> 2 files changed, 106 insertions(+)
> create mode 100644 tests/tcg/mips/mipsn32r5900/sq.c
>
> diff --git a/tests/tcg/mips/mipsn32r5900/Makefile
> b/tests/tcg/mips/mipsn32r5900/Makefile
> index cb3ef9d26a..a9e9481457 100644
> --- a/tests/tcg/mips/mipsn32r5900/Makefile
> +++ b/tests/tcg/mips/mipsn32r5900/Makefile
> @@ -10,6 +10,7 @@ CFLAGS = -Wall -mabi=n32 -march=r5900 -static
>
> TESTCASES = lq.tst
> TESTCASES += pcpyuld.tst
> +TESTCASES += sq.tst
>
> all: $(TESTCASES)
>
> diff --git a/tests/tcg/mips/mipsn32r5900/sq.c
> b/tests/tcg/mips/mipsn32r5900/sq.c
> new file mode 100644
> index 0000000000..97b21711ba
> --- /dev/null
> +++ b/tests/tcg/mips/mipsn32r5900/sq.c
> @@ -0,0 +1,105 @@
> +/*
> + * Test SQ.
> + */
> +
> +#include <stdio.h>
> +#include <string.h>
> +#include <inttypes.h>
> +#include <assert.h>
> +
> +#define GUARD_BYTE 0xA9
> +
> +/* 128-bit multimedia register */
> +struct mmr { uint64_t hi, lo; } __attribute__((aligned(16)));
> +
> +static uint8_t data[64];
> +
> +#define SQ(value, base, offset) \
> + __asm__ __volatile__ ( \
> + " pcpyld %0, %0, %1\n" \
> + " sq %0, %3(%2)\n" \
> + : \
> + : "r" (value.hi), "r" (value.lo), \
> + "r" (base), "i" (offset))
> +
> +static void verify_sq(struct mmr value, const void *base, int16_t offset)
> +{
> + /*
> + * The least significant four bits of the effective address are
> + * masked to zero, effectively creating an aligned address. No
> + * address exceptions due to alignment are possible.
> + */
> + const uint8_t *b = base;
> + const uint8_t *o = &b[offset];
> + const uint8_t *a = (const uint8_t*)((unsigned long)o & ~0xFUL);
> + size_t i;
> +
> + for (i = 0; i < sizeof(data); i++) {
> + ssize_t d = &data[i] - &a[0];
> +
> + if (d < 0) {
> + assert(data[i] == GUARD_BYTE);
> + } else if (d < 8) {
> + assert(data[i] == ((value.lo >> (8 * (d - 0))) & 0xFF));
> + } else if (d < 16) {
> + assert(data[i] == ((value.hi >> (8 * (d - 8))) & 0xFF));
> + } else {
> + assert(data[i] == GUARD_BYTE);
> + }
> + }
> +}
> +
> +#define VERIFY_SQ(base, offset) \
> + do { \
> + struct mmr value = { \
> + .hi = 0x6665646362613938, \
> + .lo = 0x3736353433323130 \
> + }; \
> + \
> + memset(data, GUARD_BYTE, sizeof(data)); \
> + SQ(value, base, offset); \
> + verify_sq(value, base, offset); \
> + } while (0)
> +
> +int main()
> +{
> + int i;
> +
> + for (i = 16; i < 48; i++) {
> + VERIFY_SQ(&data[i], -16);
> + VERIFY_SQ(&data[i], -15);
> + VERIFY_SQ(&data[i], -14);
> + VERIFY_SQ(&data[i], -13);
> + VERIFY_SQ(&data[i], -12);
> + VERIFY_SQ(&data[i], -11);
> + VERIFY_SQ(&data[i], -10);
> + VERIFY_SQ(&data[i], -9);
> + VERIFY_SQ(&data[i], -8);
> + VERIFY_SQ(&data[i], -7);
> + VERIFY_SQ(&data[i], -6);
> + VERIFY_SQ(&data[i], -5);
> + VERIFY_SQ(&data[i], -4);
> + VERIFY_SQ(&data[i], -3);
> + VERIFY_SQ(&data[i], -2);
> + VERIFY_SQ(&data[i], -1);
> + VERIFY_SQ(&data[i], 0);
> + VERIFY_SQ(&data[i], 1);
> + VERIFY_SQ(&data[i], 2);
> + VERIFY_SQ(&data[i], 3);
> + VERIFY_SQ(&data[i], 4);
> + VERIFY_SQ(&data[i], 5);
> + VERIFY_SQ(&data[i], 6);
> + VERIFY_SQ(&data[i], 7);
> + VERIFY_SQ(&data[i], 8);
> + VERIFY_SQ(&data[i], 9);
> + VERIFY_SQ(&data[i], 10);
> + VERIFY_SQ(&data[i], 11);
> + VERIFY_SQ(&data[i], 12);
> + VERIFY_SQ(&data[i], 13);
> + VERIFY_SQ(&data[i], 14);
> + VERIFY_SQ(&data[i], 15);
> + VERIFY_SQ(&data[i], 16);
> + }
> +
> + return 0;
> +}
> --
> 2.19.2
>
>
