tests/tcg/aarch64: Add bti smoke tests
[qemu.git] / tests / tcg / aarch64 / bti-1.c
1 /*
2 * Branch target identification, basic notskip cases.
3 */
4
5 #include "bti-crt.inc.c"
6
7 static void skip2_sigill(int sig, siginfo_t *info, ucontext_t *uc)
8 {
9 uc->uc_mcontext.pc += 8;
10 uc->uc_mcontext.pstate = 1;
11 }
12
13 #define NOP "nop"
14 #define BTI_N "hint #32"
15 #define BTI_C "hint #34"
16 #define BTI_J "hint #36"
17 #define BTI_JC "hint #38"
18
19 #define BTYPE_1(DEST) \
20 asm("mov %0,#1; adr x16, 1f; br x16; 1: " DEST "; mov %0,#0" \
21 : "=r"(skipped) : : "x16")
22
23 #define BTYPE_2(DEST) \
24 asm("mov %0,#1; adr x16, 1f; blr x16; 1: " DEST "; mov %0,#0" \
25 : "=r"(skipped) : : "x16", "x30")
26
27 #define BTYPE_3(DEST) \
28 asm("mov %0,#1; adr x15, 1f; br x15; 1: " DEST "; mov %0,#0" \
29 : "=r"(skipped) : : "x15")
30
31 #define TEST(WHICH, DEST, EXPECT) \
32 do { WHICH(DEST); fail += skipped ^ EXPECT; } while (0)
33
34
35 int main()
36 {
37 int fail = 0;
38 int skipped;
39
40 /* Signal-like with SA_SIGINFO. */
41 signal_info(SIGILL, skip2_sigill);
42
43 TEST(BTYPE_1, NOP, 1);
44 TEST(BTYPE_1, BTI_N, 1);
45 TEST(BTYPE_1, BTI_C, 0);
46 TEST(BTYPE_1, BTI_J, 0);
47 TEST(BTYPE_1, BTI_JC, 0);
48
49 TEST(BTYPE_2, NOP, 1);
50 TEST(BTYPE_2, BTI_N, 1);
51 TEST(BTYPE_2, BTI_C, 0);
52 TEST(BTYPE_2, BTI_J, 1);
53 TEST(BTYPE_2, BTI_JC, 0);
54
55 TEST(BTYPE_3, NOP, 1);
56 TEST(BTYPE_3, BTI_N, 1);
57 TEST(BTYPE_3, BTI_C, 1);
58 TEST(BTYPE_3, BTI_J, 0);
59 TEST(BTYPE_3, BTI_JC, 0);
60
61 return fail;
62 }