aboutsummaryrefslogtreecommitdiff
path: root/tests/tcg
diff options
context:
space:
mode:
authorRichard Henderson <richard.henderson@linaro.org>2021-12-29 13:39:25 -0800
committerRichard Henderson <richard.henderson@linaro.org>2021-12-30 21:40:47 -0800
commit9f54dc1ce69045f1a5f9f2339b81274838901a3f (patch)
tree3209e22f146e9bd8a57032b9058b2983ddd16388 /tests/tcg
parent909c476d991185720a15c36fa7fe9159ccb06ab2 (diff)
target/hppa: Fix atomic_store_3 for STBY
The parallel version of STBY did not take host endianness into account, and also computed the incorrect address for STBY_E. Bswap twice to handle the merge and store. Compute mask inside the function rather than as a parameter. Force align the address, rather than subtracting one. Generalize the function to system mode by using probe_access(). Cc: qemu-stable@nongnu.org Tested-by: Helge Deller <deller@gmx.de> Reported-by: Helge Deller <deller@gmx.de> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Diffstat (limited to 'tests/tcg')
-rw-r--r--tests/tcg/hppa/Makefile.target5
-rw-r--r--tests/tcg/hppa/stby.c87
2 files changed, 92 insertions, 0 deletions
diff --git a/tests/tcg/hppa/Makefile.target b/tests/tcg/hppa/Makefile.target
index d0d5e0e257..b78e6b4849 100644
--- a/tests/tcg/hppa/Makefile.target
+++ b/tests/tcg/hppa/Makefile.target
@@ -12,3 +12,8 @@ run-signals: signals
$(call skip-test, $<, "BROKEN awaiting vdso support")
run-plugin-signals-with-%:
$(call skip-test, $<, "BROKEN awaiting vdso support")
+
+VPATH += $(SRC_PATH)/tests/tcg/hppa
+TESTS += stby
+
+stby: CFLAGS += -pthread
diff --git a/tests/tcg/hppa/stby.c b/tests/tcg/hppa/stby.c
new file mode 100644
index 0000000000..36bd5f723c
--- /dev/null
+++ b/tests/tcg/hppa/stby.c
@@ -0,0 +1,87 @@
+/* Test STBY */
+
+#include <pthread.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+
+struct S {
+ unsigned a;
+ unsigned b;
+ unsigned c;
+};
+
+static void check(const struct S *s, unsigned e,
+ const char *which, const char *insn, int ofs)
+{
+ int err = 0;
+
+ if (s->a != 0) {
+ fprintf(stderr, "%s %s %d: garbage before word 0x%08x\n",
+ which, insn, ofs, s->a);
+ err = 1;
+ }
+ if (s->c != 0) {
+ fprintf(stderr, "%s %s %d: garbage after word 0x%08x\n",
+ which, insn, ofs, s->c);
+ err = 1;
+ }
+ if (s->b != e) {
+ fprintf(stderr, "%s %s %d: 0x%08x != 0x%08x\n",
+ which, insn, ofs, s->b, e);
+ err = 1;
+ }
+
+ if (err) {
+ exit(1);
+ }
+}
+
+#define TEST(INSN, OFS, E) \
+ do { \
+ s.b = 0; \
+ asm volatile(INSN " %1, " #OFS "(%0)" \
+ : : "r"(&s.b), "r" (0x11223344) : "memory"); \
+ check(&s, E, which, INSN, OFS); \
+ } while (0)
+
+static void test(const char *which)
+{
+ struct S s = { };
+
+ TEST("stby,b", 0, 0x11223344);
+ TEST("stby,b", 1, 0x00223344);
+ TEST("stby,b", 2, 0x00003344);
+ TEST("stby,b", 3, 0x00000044);
+
+ TEST("stby,e", 0, 0x00000000);
+ TEST("stby,e", 1, 0x11000000);
+ TEST("stby,e", 2, 0x11220000);
+ TEST("stby,e", 3, 0x11223300);
+}
+
+static void *child(void *x)
+{
+ return NULL;
+}
+
+int main()
+{
+ int err;
+ pthread_t thr;
+
+ /* Run test in serial mode */
+ test("serial");
+
+ /* Create a dummy thread to start parallel mode. */
+ err = pthread_create(&thr, NULL, child, NULL);
+ if (err != 0) {
+ fprintf(stderr, "pthread_create: %s\n", strerror(err));
+ return 2;
+ }
+
+ /* Run test in parallel mode */
+ test("parallel");
+ return 0;
+}