[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Stable-8.0.3 16/54] tests/tcg/s390x: Test EXECUTE of relative branches
|
From: |
Michael Tokarev |
|
Subject: |
[Stable-8.0.3 16/54] tests/tcg/s390x: Test EXECUTE of relative branches |
|
Date: |
Mon, 26 Jun 2023 21:49:23 +0300 |
From: Ilya Leoshkevich <iii@linux.ibm.com>
Add a small test to prevent regressions.
Signed-off-by: Ilya Leoshkevich <iii@linux.ibm.com>
Acked-by: Richard Henderson <richard.henderson@linaro.org>
Message-Id: <20230426235813.198183-3-iii@linux.ibm.com>
Signed-off-by: Thomas Huth <thuth@redhat.com>
(cherry picked from commit bfa72590df14e4c94c03d2464f3abe18bf2e5dac)
Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>
(Mjt: forgotten testcase for commit b858c53ef632b80f3269773a18b17639b1eec62c)
diff --git a/tests/tcg/s390x/Makefile.target b/tests/tcg/s390x/Makefile.target
index 0031868b13..23dc8b6a63 100644
--- a/tests/tcg/s390x/Makefile.target
+++ b/tests/tcg/s390x/Makefile.target
@@ -34,6 +34,7 @@ TESTS+=cdsg
TESTS+=chrl
TESTS+=rxsbg
TESTS+=ex-relative-long
+TESTS+=ex-branch
cdsg: CFLAGS+=-pthread
cdsg: LDFLAGS+=-pthread
diff --git a/tests/tcg/s390x/ex-branch.c b/tests/tcg/s390x/ex-branch.c
new file mode 100644
index 0000000000..c606719152
--- /dev/null
+++ b/tests/tcg/s390x/ex-branch.c
@@ -0,0 +1,158 @@
+/* Check EXECUTE with relative branch instructions as targets. */
+#include <assert.h>
+#include <stdbool.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+struct test {
+ const char *name;
+ void (*func)(long *link, long *magic);
+ long exp_link;
+};
+
+/* Branch instructions and their expected effects. */
+#define LINK_64(test) ((long)test ## _exp_link)
+#define LINK_NONE(test) -1L
+#define FOR_EACH_INSN(F)
\
+ F(bras, "%[link]", LINK_64)
\
+ F(brasl, "%[link]", LINK_64)
\
+ F(brc, "0x8", LINK_NONE)
\
+ F(brcl, "0x8", LINK_NONE)
\
+ F(brct, "%%r0", LINK_NONE)
\
+ F(brctg, "%%r0", LINK_NONE)
\
+ F(brxh, "%%r2,%%r0", LINK_NONE)
\
+ F(brxhg, "%%r2,%%r0", LINK_NONE)
\
+ F(brxle, "%%r0,%%r1", LINK_NONE)
\
+ F(brxlg, "%%r0,%%r1", LINK_NONE)
\
+ F(crj, "%%r0,%%r0,8", LINK_NONE)
\
+ F(cgrj, "%%r0,%%r0,8", LINK_NONE)
\
+ F(cij, "%%r0,0,8", LINK_NONE)
\
+ F(cgij, "%%r0,0,8", LINK_NONE)
\
+ F(clrj, "%%r0,%%r0,8", LINK_NONE)
\
+ F(clgrj, "%%r0,%%r0,8", LINK_NONE)
\
+ F(clij, "%%r0,0,8", LINK_NONE)
\
+ F(clgij, "%%r0,0,8", LINK_NONE)
+
+#define INIT_TEST
\
+ "xgr %%r0,%%r0\n" /* %r0 = 0; %cc = 0 */
\
+ "lghi %%r1,1\n" /* %r1 = 1 */
\
+ "lghi %%r2,2\n" /* %r2 = 2 */
+
+#define CLOBBERS_TEST "cc", "0", "1", "2"
+
+#define DEFINE_TEST(insn, args, exp_link)
\
+ extern char insn ## _exp_link[];
\
+ static void test_ ## insn(long *link, long *magic)
\
+ {
\
+ asm(INIT_TEST
\
+ #insn " " args ",0f\n"
\
+ ".globl " #insn "_exp_link\n"
\
+ #insn "_exp_link:\n"
\
+ ".org . + 90\n"
\
+ "0: lgfi %[magic],0x12345678\n"
\
+ : [link] "+r" (*link)
\
+ , [magic] "+r" (*magic)
\
+ : : CLOBBERS_TEST);
\
+ }
\
+ extern char ex_ ## insn ## _exp_link[];
\
+ static void test_ex_ ## insn(long *link, long *magic)
\
+ {
\
+ unsigned long target;
\
+
\
+ asm(INIT_TEST
\
+ "larl %[target],0f\n"
\
+ "ex %%r0,0(%[target])\n"
\
+ ".globl ex_" #insn "_exp_link\n"
\
+ "ex_" #insn "_exp_link:\n"
\
+ ".org . + 60\n"
\
+ "0: " #insn " " args ",1f\n"
\
+ ".org . + 120\n"
\
+ "1: lgfi %[magic],0x12345678\n"
\
+ : [target] "=r" (target)
\
+ , [link] "+r" (*link)
\
+ , [magic] "+r" (*magic)
\
+ : : CLOBBERS_TEST);
\
+ }
\
+ extern char exrl_ ## insn ## _exp_link[];
\
+ static void test_exrl_ ## insn(long *link, long *magic)
\
+ {
\
+ asm(INIT_TEST
\
+ "exrl %%r0,0f\n"
\
+ ".globl exrl_" #insn "_exp_link\n"
\
+ "exrl_" #insn "_exp_link:\n"
\
+ ".org . + 60\n"
\
+ "0: " #insn " " args ",1f\n"
\
+ ".org . + 120\n"
\
+ "1: lgfi %[magic],0x12345678\n"
\
+ : [link] "+r" (*link)
\
+ , [magic] "+r" (*magic)
\
+ : : CLOBBERS_TEST);
\
+ }
+
+/* Test functions. */
+FOR_EACH_INSN(DEFINE_TEST)
+
+/* Test definitions. */
+#define REGISTER_TEST(insn, args, _exp_link)
\
+ {
\
+ .name = #insn,
\
+ .func = test_ ## insn,
\
+ .exp_link = (_exp_link(insn)),
\
+ },
\
+ {
\
+ .name = "ex " #insn,
\
+ .func = test_ex_ ## insn,
\
+ .exp_link = (_exp_link(ex_ ## insn)),
\
+ },
\
+ {
\
+ .name = "exrl " #insn,
\
+ .func = test_exrl_ ## insn,
\
+ .exp_link = (_exp_link(exrl_ ## insn)),
\
+ },
+
+static const struct test tests[] = {
+ FOR_EACH_INSN(REGISTER_TEST)
+};
+
+int main(int argc, char **argv)
+{
+ const struct test *test;
+ int ret = EXIT_SUCCESS;
+ bool verbose = false;
+ long link, magic;
+ size_t i;
+
+ for (i = 1; i < argc; i++) {
+ if (strcmp(argv[i], "-v") == 0) {
+ verbose = true;
+ }
+ }
+
+ for (i = 0; i < sizeof(tests) / sizeof(tests[0]); i++) {
+ test = &tests[i];
+ if (verbose) {
+ fprintf(stderr, "[ RUN ] %s\n", test->name);
+ }
+ link = -1;
+ magic = -1;
+ test->func(&link, &magic);
+#define ASSERT_EQ(expected, actual) do {
\
+ if (expected != actual) {
\
+ fprintf(stderr, "%s: " #expected " (0x%lx) != " #actual " (0x%lx)\n",
\
+ test->name, expected, actual);
\
+ ret = EXIT_FAILURE;
\
+ }
\
+} while (0)
+ ASSERT_EQ(test->exp_link, link);
+ ASSERT_EQ(0x12345678L, magic);
+#undef ASSERT_EQ
+ }
+
+ if (verbose) {
+ fprintf(stderr, ret == EXIT_SUCCESS ? "[ PASSED ]\n" :
+ "[ FAILED ]\n");
+ }
+
+ return ret;
+}
--
2.39.2
- [PATCH 0/6] migration: Test the new "file:" migration, Fabiano Rosas, 2023/06/26
- [PATCH 2/6] tests/qtest: migration: Expose migrate_set_capability, Fabiano Rosas, 2023/06/26
- [PATCH 1/6] migration: Set migration status early in incoming side, Fabiano Rosas, 2023/06/26
- [PATCH 3/6] tests/qtest: migration: Add migrate_incoming_qmp helper, Fabiano Rosas, 2023/06/26
- [PATCH 4/6] tests/qtest: migration: Use migrate_incoming_qmp where appropriate, Fabiano Rosas, 2023/06/26
- [PATCH 5/6] tests/qtest: migration: Add support for negative testing of qmp_migrate, Fabiano Rosas, 2023/06/26
- [PATCH 6/6] tests/qtest: migration-test: Add tests for file-based migration, Fabiano Rosas, 2023/06/26