0b2d8bd698
Since commit139c1837db("meson: rename included C source files to .c.inc"), QEMU standard procedure for included C files is to use *.c.inc. Besides, since commit6a0057aa22("docs/devel: make a statement about includes") this is documented as the Coding Style: If you do use template header files they should be named with the ``.c.inc`` or ``.h.inc`` suffix to make it clear they are being included for expansion. Therefore rename 'bti-crt.inc.c' as 'bti-crt.c.inc'. Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org> Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Reviewed-by: Alex Bennée <alex.bennee@linaro.org> Message-Id: <20230606141252.95032-6-philmd@linaro.org>
63 lines
1.4 KiB
C
63 lines
1.4 KiB
C
/*
|
|
* Branch target identification, basic notskip cases.
|
|
*/
|
|
|
|
#include "bti-crt.c.inc"
|
|
|
|
static void skip2_sigill(int sig, siginfo_t *info, ucontext_t *uc)
|
|
{
|
|
uc->uc_mcontext.pc += 8;
|
|
uc->uc_mcontext.pstate = 1;
|
|
}
|
|
|
|
#define NOP "nop"
|
|
#define BTI_N "hint #32"
|
|
#define BTI_C "hint #34"
|
|
#define BTI_J "hint #36"
|
|
#define BTI_JC "hint #38"
|
|
|
|
#define BTYPE_1(DEST) \
|
|
asm("mov %0,#1; adr x16, 1f; br x16; 1: " DEST "; mov %0,#0" \
|
|
: "=r"(skipped) : : "x16")
|
|
|
|
#define BTYPE_2(DEST) \
|
|
asm("mov %0,#1; adr x16, 1f; blr x16; 1: " DEST "; mov %0,#0" \
|
|
: "=r"(skipped) : : "x16", "x30")
|
|
|
|
#define BTYPE_3(DEST) \
|
|
asm("mov %0,#1; adr x15, 1f; br x15; 1: " DEST "; mov %0,#0" \
|
|
: "=r"(skipped) : : "x15")
|
|
|
|
#define TEST(WHICH, DEST, EXPECT) \
|
|
do { WHICH(DEST); fail += skipped ^ EXPECT; } while (0)
|
|
|
|
|
|
int main()
|
|
{
|
|
int fail = 0;
|
|
int skipped;
|
|
|
|
/* Signal-like with SA_SIGINFO. */
|
|
signal_info(SIGILL, skip2_sigill);
|
|
|
|
TEST(BTYPE_1, NOP, 1);
|
|
TEST(BTYPE_1, BTI_N, 1);
|
|
TEST(BTYPE_1, BTI_C, 0);
|
|
TEST(BTYPE_1, BTI_J, 0);
|
|
TEST(BTYPE_1, BTI_JC, 0);
|
|
|
|
TEST(BTYPE_2, NOP, 1);
|
|
TEST(BTYPE_2, BTI_N, 1);
|
|
TEST(BTYPE_2, BTI_C, 0);
|
|
TEST(BTYPE_2, BTI_J, 1);
|
|
TEST(BTYPE_2, BTI_JC, 0);
|
|
|
|
TEST(BTYPE_3, NOP, 1);
|
|
TEST(BTYPE_3, BTI_N, 1);
|
|
TEST(BTYPE_3, BTI_C, 1);
|
|
TEST(BTYPE_3, BTI_J, 0);
|
|
TEST(BTYPE_3, BTI_JC, 0);
|
|
|
|
return fail;
|
|
}
|