1*562020faSRichard Henderson /* SPDX-License-Identifier: GPL-2.0-or-later */
2*562020faSRichard Henderson /*
3*562020faSRichard Henderson * Verify that a single TB spin-loop is properly invalidated,
4*562020faSRichard Henderson * releasing the thread from the spin-loop.
5*562020faSRichard Henderson */
6*562020faSRichard Henderson
7*562020faSRichard Henderson #include <assert.h>
8*562020faSRichard Henderson #include <sys/mman.h>
9*562020faSRichard Henderson #include <pthread.h>
10*562020faSRichard Henderson #include <stdint.h>
11*562020faSRichard Henderson #include <stdbool.h>
12*562020faSRichard Henderson #include <unistd.h>
13*562020faSRichard Henderson #include <sched.h>
14*562020faSRichard Henderson
15*562020faSRichard Henderson
16*562020faSRichard Henderson #ifdef __x86_64__
17*562020faSRichard Henderson #define READY 0x000047c6 /* movb $0,0(%rdi) */
18*562020faSRichard Henderson #define LOOP 0xfceb9090 /* 1: nop*2; jmp 1b */
19*562020faSRichard Henderson #define RETURN 0x909090c3 /* ret; nop*3 */
20*562020faSRichard Henderson #define NOP 0x90909090 /* nop*4 */
21*562020faSRichard Henderson #elif defined(__aarch64__)
22*562020faSRichard Henderson #define READY 0x3900001f /* strb wzr,[x0] */
23*562020faSRichard Henderson #define LOOP 0x14000000 /* b . */
24*562020faSRichard Henderson #define RETURN 0xd65f03c0 /* ret */
25*562020faSRichard Henderson #define NOP 0xd503201f /* nop */
26*562020faSRichard Henderson #elif defined(__riscv)
27*562020faSRichard Henderson #define READY 0x00050023 /* sb zero, (a0) */
28*562020faSRichard Henderson #define LOOP 0x0000006f /* jal zero, #0 */
29*562020faSRichard Henderson #define RETURN 0x00008067 /* jalr zero, ra, 0 */
30*562020faSRichard Henderson #define NOP 0x00000013 /* nop */
31*562020faSRichard Henderson #endif
32*562020faSRichard Henderson
33*562020faSRichard Henderson
main()34*562020faSRichard Henderson int main()
35*562020faSRichard Henderson {
36*562020faSRichard Henderson #ifdef READY
37*562020faSRichard Henderson int tmp;
38*562020faSRichard Henderson pthread_t thread_id;
39*562020faSRichard Henderson bool hold = true;
40*562020faSRichard Henderson uint32_t *buf;
41*562020faSRichard Henderson
42*562020faSRichard Henderson buf = mmap(NULL, 3 * sizeof(uint32_t),
43*562020faSRichard Henderson PROT_READ | PROT_WRITE | PROT_EXEC,
44*562020faSRichard Henderson MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
45*562020faSRichard Henderson assert(buf != MAP_FAILED);
46*562020faSRichard Henderson
47*562020faSRichard Henderson buf[0] = READY;
48*562020faSRichard Henderson buf[1] = LOOP;
49*562020faSRichard Henderson buf[2] = RETURN;
50*562020faSRichard Henderson
51*562020faSRichard Henderson alarm(2);
52*562020faSRichard Henderson
53*562020faSRichard Henderson tmp = pthread_create(&thread_id, NULL, (void *(*)(void *))buf, &hold);
54*562020faSRichard Henderson assert(tmp == 0);
55*562020faSRichard Henderson
56*562020faSRichard Henderson while (hold) {
57*562020faSRichard Henderson sched_yield();
58*562020faSRichard Henderson }
59*562020faSRichard Henderson
60*562020faSRichard Henderson buf[1] = NOP;
61*562020faSRichard Henderson __builtin___clear_cache(&buf[1], &buf[2]);
62*562020faSRichard Henderson
63*562020faSRichard Henderson tmp = pthread_join(thread_id, NULL);
64*562020faSRichard Henderson assert(tmp == 0);
65*562020faSRichard Henderson #endif
66*562020faSRichard Henderson return 0;
67*562020faSRichard Henderson }
68