xref: /kvm-unit-tests/arm/selftest.c (revision 1693644d49d196ef1a22c868a16d2aa92fc2dfbf)
15e61cba0SAndrew Jones /*
25e61cba0SAndrew Jones  * Test the framework itself. These tests confirm that setup works.
35e61cba0SAndrew Jones  *
45e61cba0SAndrew Jones  * Copyright (C) 2014, Red Hat Inc, Andrew Jones <drjones@redhat.com>
55e61cba0SAndrew Jones  *
65e61cba0SAndrew Jones  * This work is licensed under the terms of the GNU LGPL, version 2.
75e61cba0SAndrew Jones  */
88cca5668SAndrew Jones #include <libcflat.h>
98cca5668SAndrew Jones #include <alloc.h>
108cca5668SAndrew Jones #include <asm/setup.h>
118cca5668SAndrew Jones #include <asm/ptrace.h>
128cca5668SAndrew Jones #include <asm/asm-offsets.h>
138cca5668SAndrew Jones #include <asm/processor.h>
14*1693644dSAndrew Jones #include <asm/thread_info.h>
155e61cba0SAndrew Jones 
165e61cba0SAndrew Jones static void assert_args(int num_args, int needed_args)
175e61cba0SAndrew Jones {
185e61cba0SAndrew Jones 	if (num_args < needed_args) {
19a8568128SAndrew Jones 		printf("selftest: not enough arguments\n");
205e61cba0SAndrew Jones 		abort();
215e61cba0SAndrew Jones 	}
225e61cba0SAndrew Jones }
235e61cba0SAndrew Jones 
245e61cba0SAndrew Jones static char *split_var(char *s, long *val)
255e61cba0SAndrew Jones {
265e61cba0SAndrew Jones 	char *p;
275e61cba0SAndrew Jones 
285e61cba0SAndrew Jones 	p = strchr(s, '=');
295e61cba0SAndrew Jones 	if (!p)
305e61cba0SAndrew Jones 		return NULL;
315e61cba0SAndrew Jones 
325e61cba0SAndrew Jones 	*val = atol(p+1);
335e61cba0SAndrew Jones 	*p = '\0';
345e61cba0SAndrew Jones 
355e61cba0SAndrew Jones 	return s;
365e61cba0SAndrew Jones }
375e61cba0SAndrew Jones 
385e61cba0SAndrew Jones static void check_setup(int argc, char **argv)
395e61cba0SAndrew Jones {
405e61cba0SAndrew Jones 	int nr_tests = 0, i;
415e61cba0SAndrew Jones 	char *var;
425e61cba0SAndrew Jones 	long val;
435e61cba0SAndrew Jones 
445e61cba0SAndrew Jones 	for (i = 0; i < argc; ++i) {
455e61cba0SAndrew Jones 
465e61cba0SAndrew Jones 		var = split_var(argv[i], &val);
475e61cba0SAndrew Jones 		if (!var)
485e61cba0SAndrew Jones 			continue;
495e61cba0SAndrew Jones 
50a8568128SAndrew Jones 		report_prefix_push(var);
51a8568128SAndrew Jones 
525e61cba0SAndrew Jones 		if (strcmp(var, "mem") == 0) {
535e61cba0SAndrew Jones 
545e61cba0SAndrew Jones 			phys_addr_t memsize = PHYS_END - PHYS_OFFSET;
555e61cba0SAndrew Jones 			phys_addr_t expected = ((phys_addr_t)val)*1024*1024;
565e61cba0SAndrew Jones 
57a8568128SAndrew Jones 			report("size = %d MB", memsize == expected,
58a8568128SAndrew Jones 							memsize/1024/1024);
595e61cba0SAndrew Jones 			++nr_tests;
605e61cba0SAndrew Jones 
615e61cba0SAndrew Jones 		} else if (strcmp(var, "smp") == 0) {
625e61cba0SAndrew Jones 
63a8568128SAndrew Jones 			report("nr_cpus = %d", nr_cpus == (int)val, nr_cpus);
645e61cba0SAndrew Jones 			++nr_tests;
655e61cba0SAndrew Jones 		}
66a8568128SAndrew Jones 
67a8568128SAndrew Jones 		report_prefix_pop();
685e61cba0SAndrew Jones 	}
695e61cba0SAndrew Jones 
705e61cba0SAndrew Jones 	assert_args(nr_tests, 2);
715e61cba0SAndrew Jones }
725e61cba0SAndrew Jones 
732edfe428SAndrew Jones static struct pt_regs expected_regs;
747ee966e9SAndrew Jones static bool und_works;
757ee966e9SAndrew Jones static bool svc_works;
767ee966e9SAndrew Jones #if defined(__arm__)
772edfe428SAndrew Jones /*
782edfe428SAndrew Jones  * Capture the current register state and execute an instruction
792edfe428SAndrew Jones  * that causes an exception. The test handler will check that its
802edfe428SAndrew Jones  * capture of the current register state matches the capture done
812edfe428SAndrew Jones  * here.
822edfe428SAndrew Jones  *
832edfe428SAndrew Jones  * NOTE: update clobber list if passed insns needs more than r0,r1
842edfe428SAndrew Jones  */
852edfe428SAndrew Jones #define test_exception(pre_insns, excptn_insn, post_insns)	\
862edfe428SAndrew Jones 	asm volatile(						\
872edfe428SAndrew Jones 		pre_insns "\n"					\
882edfe428SAndrew Jones 		"mov	r0, %0\n"				\
892edfe428SAndrew Jones 		"stmia	r0, { r0-lr }\n"			\
902edfe428SAndrew Jones 		"mrs	r1, cpsr\n"				\
912edfe428SAndrew Jones 		"str	r1, [r0, #" xstr(S_PSR) "]\n"		\
922edfe428SAndrew Jones 		"mov	r1, #-1\n"				\
932edfe428SAndrew Jones 		"str	r1, [r0, #" xstr(S_OLD_R0) "]\n"	\
942edfe428SAndrew Jones 		"add	r1, pc, #8\n"				\
952edfe428SAndrew Jones 		"str	r1, [r0, #" xstr(S_R1) "]\n"		\
962edfe428SAndrew Jones 		"str	r1, [r0, #" xstr(S_PC) "]\n"		\
972edfe428SAndrew Jones 		excptn_insn "\n"				\
982edfe428SAndrew Jones 		post_insns "\n"					\
992edfe428SAndrew Jones 	:: "r" (&expected_regs) : "r0", "r1")
1002edfe428SAndrew Jones 
1012edfe428SAndrew Jones static bool check_regs(struct pt_regs *regs)
1022edfe428SAndrew Jones {
1032edfe428SAndrew Jones 	unsigned i;
1042edfe428SAndrew Jones 
1052edfe428SAndrew Jones 	/* exception handlers should always run in svc mode */
1062edfe428SAndrew Jones 	if (current_mode() != SVC_MODE)
1072edfe428SAndrew Jones 		return false;
1082edfe428SAndrew Jones 
1092edfe428SAndrew Jones 	for (i = 0; i < ARRAY_SIZE(regs->uregs); ++i) {
1102edfe428SAndrew Jones 		if (regs->uregs[i] != expected_regs.uregs[i])
1112edfe428SAndrew Jones 			return false;
1122edfe428SAndrew Jones 	}
1132edfe428SAndrew Jones 
1142edfe428SAndrew Jones 	return true;
1152edfe428SAndrew Jones }
1162edfe428SAndrew Jones 
1172edfe428SAndrew Jones static void und_handler(struct pt_regs *regs)
1182edfe428SAndrew Jones {
1192edfe428SAndrew Jones 	und_works = check_regs(regs);
1202edfe428SAndrew Jones }
1212edfe428SAndrew Jones 
1222edfe428SAndrew Jones static bool check_und(void)
1232edfe428SAndrew Jones {
1242edfe428SAndrew Jones 	install_exception_handler(EXCPTN_UND, und_handler);
1252edfe428SAndrew Jones 
1262edfe428SAndrew Jones 	/* issue an instruction to a coprocessor we don't have */
1272edfe428SAndrew Jones 	test_exception("", "mcr p2, 0, r0, c0, c0", "");
1282edfe428SAndrew Jones 
1292edfe428SAndrew Jones 	install_exception_handler(EXCPTN_UND, NULL);
1302edfe428SAndrew Jones 
1312edfe428SAndrew Jones 	return und_works;
1322edfe428SAndrew Jones }
1332edfe428SAndrew Jones 
1342edfe428SAndrew Jones static void svc_handler(struct pt_regs *regs)
1352edfe428SAndrew Jones {
1362edfe428SAndrew Jones 	u32 svc = *(u32 *)(regs->ARM_pc - 4) & 0xffffff;
1372edfe428SAndrew Jones 
1382edfe428SAndrew Jones 	if (processor_mode(regs) == SVC_MODE) {
1392edfe428SAndrew Jones 		/*
1402edfe428SAndrew Jones 		 * When issuing an svc from supervisor mode lr_svc will
1412edfe428SAndrew Jones 		 * get corrupted. So before issuing the svc, callers must
1422edfe428SAndrew Jones 		 * always push it on the stack. We pushed it to offset 4.
1432edfe428SAndrew Jones 		 */
1442edfe428SAndrew Jones 		regs->ARM_lr = *(unsigned long *)(regs->ARM_sp + 4);
1452edfe428SAndrew Jones 	}
1462edfe428SAndrew Jones 
1472edfe428SAndrew Jones 	svc_works = check_regs(regs) && svc == 123;
1482edfe428SAndrew Jones }
1492edfe428SAndrew Jones 
1502edfe428SAndrew Jones static bool check_svc(void)
1512edfe428SAndrew Jones {
1522edfe428SAndrew Jones 	install_exception_handler(EXCPTN_SVC, svc_handler);
1532edfe428SAndrew Jones 
1542edfe428SAndrew Jones 	if (current_mode() == SVC_MODE) {
1552edfe428SAndrew Jones 		/*
1562edfe428SAndrew Jones 		 * An svc from supervisor mode will corrupt lr_svc and
1572edfe428SAndrew Jones 		 * spsr_svc. We need to save/restore them separately.
1582edfe428SAndrew Jones 		 */
1592edfe428SAndrew Jones 		test_exception(
1602edfe428SAndrew Jones 			"mrs	r0, spsr\n"
1612edfe428SAndrew Jones 			"push	{ r0,lr }\n",
1622edfe428SAndrew Jones 			"svc	#123\n",
1632edfe428SAndrew Jones 			"pop	{ r0,lr }\n"
1642edfe428SAndrew Jones 			"msr	spsr_cxsf, r0\n"
1652edfe428SAndrew Jones 		);
1662edfe428SAndrew Jones 	} else {
1672edfe428SAndrew Jones 		test_exception("", "svc #123", "");
1682edfe428SAndrew Jones 	}
1692edfe428SAndrew Jones 
1702edfe428SAndrew Jones 	install_exception_handler(EXCPTN_SVC, NULL);
1712edfe428SAndrew Jones 
1722edfe428SAndrew Jones 	return svc_works;
1732edfe428SAndrew Jones }
1747ee966e9SAndrew Jones #elif defined(__aarch64__)
1757ee966e9SAndrew Jones #include <asm/esr.h>
1767ee966e9SAndrew Jones 
1777ee966e9SAndrew Jones /*
1787ee966e9SAndrew Jones  * Capture the current register state and execute an instruction
1797ee966e9SAndrew Jones  * that causes an exception. The test handler will check that its
1807ee966e9SAndrew Jones  * capture of the current register state matches the capture done
1817ee966e9SAndrew Jones  * here.
1827ee966e9SAndrew Jones  *
1837ee966e9SAndrew Jones  * NOTE: update clobber list if passed insns needs more than x0,x1
1847ee966e9SAndrew Jones  */
1857ee966e9SAndrew Jones #define test_exception(pre_insns, excptn_insn, post_insns)	\
1867ee966e9SAndrew Jones 	asm volatile(						\
1877ee966e9SAndrew Jones 		pre_insns "\n"					\
1887ee966e9SAndrew Jones 		"mov	x1, %0\n"				\
1897ee966e9SAndrew Jones 		"ldr	x0, [x1, #" xstr(S_PSTATE) "]\n"	\
1907ee966e9SAndrew Jones 		"mrs	x1, nzcv\n"				\
1917ee966e9SAndrew Jones 		"orr	w0, w0, w1\n"				\
1927ee966e9SAndrew Jones 		"mov	x1, %0\n"				\
1937ee966e9SAndrew Jones 		"str	w0, [x1, #" xstr(S_PSTATE) "]\n"	\
1947ee966e9SAndrew Jones 		"mov	x0, sp\n"				\
1957ee966e9SAndrew Jones 		"str	x0, [x1, #" xstr(S_SP) "]\n"		\
1967ee966e9SAndrew Jones 		"adr	x0, 1f\n"				\
1977ee966e9SAndrew Jones 		"str	x0, [x1, #" xstr(S_PC) "]\n"		\
1987ee966e9SAndrew Jones 		"stp	 x2,  x3, [x1,  #16]\n"			\
1997ee966e9SAndrew Jones 		"stp	 x4,  x5, [x1,  #32]\n"			\
2007ee966e9SAndrew Jones 		"stp	 x6,  x7, [x1,  #48]\n"			\
2017ee966e9SAndrew Jones 		"stp	 x8,  x9, [x1,  #64]\n"			\
2027ee966e9SAndrew Jones 		"stp	x10, x11, [x1,  #80]\n"			\
2037ee966e9SAndrew Jones 		"stp	x12, x13, [x1,  #96]\n"			\
2047ee966e9SAndrew Jones 		"stp	x14, x15, [x1, #112]\n"			\
2057ee966e9SAndrew Jones 		"stp	x16, x17, [x1, #128]\n"			\
2067ee966e9SAndrew Jones 		"stp	x18, x19, [x1, #144]\n"			\
2077ee966e9SAndrew Jones 		"stp	x20, x21, [x1, #160]\n"			\
2087ee966e9SAndrew Jones 		"stp	x22, x23, [x1, #176]\n"			\
2097ee966e9SAndrew Jones 		"stp	x24, x25, [x1, #192]\n"			\
2107ee966e9SAndrew Jones 		"stp	x26, x27, [x1, #208]\n"			\
2117ee966e9SAndrew Jones 		"stp	x28, x29, [x1, #224]\n"			\
2127ee966e9SAndrew Jones 		"str	x30, [x1, #" xstr(S_LR) "]\n"		\
2137ee966e9SAndrew Jones 		"stp	 x0,  x1, [x1]\n"			\
2147ee966e9SAndrew Jones 	"1:"	excptn_insn "\n"				\
2157ee966e9SAndrew Jones 		post_insns "\n"					\
2167ee966e9SAndrew Jones 	:: "r" (&expected_regs) : "x0", "x1")
2177ee966e9SAndrew Jones 
2187ee966e9SAndrew Jones static bool check_regs(struct pt_regs *regs)
2197ee966e9SAndrew Jones {
2207ee966e9SAndrew Jones 	unsigned i;
2217ee966e9SAndrew Jones 
2227ee966e9SAndrew Jones 	/* exception handlers should always run in EL1 */
2237ee966e9SAndrew Jones 	if (current_level() != CurrentEL_EL1)
2247ee966e9SAndrew Jones 		return false;
2257ee966e9SAndrew Jones 
2267ee966e9SAndrew Jones 	for (i = 0; i < ARRAY_SIZE(regs->regs); ++i) {
2277ee966e9SAndrew Jones 		if (regs->regs[i] != expected_regs.regs[i])
2287ee966e9SAndrew Jones 			return false;
2297ee966e9SAndrew Jones 	}
2307ee966e9SAndrew Jones 
2317ee966e9SAndrew Jones 	regs->pstate &= 0xf0000000 /* NZCV */ | 0x3c0 /* DAIF */
2327ee966e9SAndrew Jones 			| PSR_MODE_MASK;
2337ee966e9SAndrew Jones 
2347ee966e9SAndrew Jones 	return regs->sp == expected_regs.sp
2357ee966e9SAndrew Jones 		&& regs->pc == expected_regs.pc
2367ee966e9SAndrew Jones 		&& regs->pstate == expected_regs.pstate;
2377ee966e9SAndrew Jones }
2387ee966e9SAndrew Jones 
2397ee966e9SAndrew Jones static enum vector check_vector_prep(void)
2407ee966e9SAndrew Jones {
2417ee966e9SAndrew Jones 	unsigned long daif;
2427ee966e9SAndrew Jones 
2437ee966e9SAndrew Jones 	if (user_mode)
2447ee966e9SAndrew Jones 		return EL0_SYNC_64;
2457ee966e9SAndrew Jones 
2467ee966e9SAndrew Jones 	asm volatile("mrs %0, daif" : "=r" (daif) ::);
2477ee966e9SAndrew Jones 	expected_regs.pstate = daif | PSR_MODE_EL1h;
2487ee966e9SAndrew Jones 	return EL1H_SYNC;
2497ee966e9SAndrew Jones }
2507ee966e9SAndrew Jones 
2517ee966e9SAndrew Jones static void unknown_handler(struct pt_regs *regs, unsigned int esr __unused)
2527ee966e9SAndrew Jones {
2537ee966e9SAndrew Jones 	und_works = check_regs(regs);
2547ee966e9SAndrew Jones 	regs->pc += 4;
2557ee966e9SAndrew Jones }
2567ee966e9SAndrew Jones 
2577ee966e9SAndrew Jones static bool check_und(void)
2587ee966e9SAndrew Jones {
2597ee966e9SAndrew Jones 	enum vector v = check_vector_prep();
2607ee966e9SAndrew Jones 
2617ee966e9SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_UNKNOWN, unknown_handler);
2627ee966e9SAndrew Jones 
2637ee966e9SAndrew Jones 	/* try to read an el2 sysreg from el0/1 */
2647ee966e9SAndrew Jones 	test_exception("", "mrs x0, sctlr_el2", "");
2657ee966e9SAndrew Jones 
2667ee966e9SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_UNKNOWN, NULL);
2677ee966e9SAndrew Jones 
2687ee966e9SAndrew Jones 	return und_works;
2697ee966e9SAndrew Jones }
2707ee966e9SAndrew Jones 
2717ee966e9SAndrew Jones static void svc_handler(struct pt_regs *regs, unsigned int esr)
2727ee966e9SAndrew Jones {
2737ee966e9SAndrew Jones 	u16 svc = esr & 0xffff;
2747ee966e9SAndrew Jones 
2757ee966e9SAndrew Jones 	expected_regs.pc += 4;
2767ee966e9SAndrew Jones 	svc_works = check_regs(regs) && svc == 123;
2777ee966e9SAndrew Jones }
2787ee966e9SAndrew Jones 
2797ee966e9SAndrew Jones static bool check_svc(void)
2807ee966e9SAndrew Jones {
2817ee966e9SAndrew Jones 	enum vector v = check_vector_prep();
2827ee966e9SAndrew Jones 
2837ee966e9SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_SVC64, svc_handler);
2847ee966e9SAndrew Jones 
2857ee966e9SAndrew Jones 	test_exception("", "svc #123", "");
2867ee966e9SAndrew Jones 
2877ee966e9SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_SVC64, NULL);
2887ee966e9SAndrew Jones 
2897ee966e9SAndrew Jones 	return svc_works;
2907ee966e9SAndrew Jones }
2917ee966e9SAndrew Jones #endif
2922edfe428SAndrew Jones 
2932edfe428SAndrew Jones static void check_vectors(void *arg __unused)
2942edfe428SAndrew Jones {
295a8568128SAndrew Jones 	report("und", check_und());
296a8568128SAndrew Jones 	report("svc", check_svc());
2972edfe428SAndrew Jones 	exit(report_summary());
2982edfe428SAndrew Jones }
2992edfe428SAndrew Jones 
3005e61cba0SAndrew Jones int main(int argc, char **argv)
3015e61cba0SAndrew Jones {
302a8568128SAndrew Jones 	report_prefix_push("selftest");
3035e61cba0SAndrew Jones 	assert_args(argc, 1);
304a8568128SAndrew Jones 	report_prefix_push(argv[0]);
3055e61cba0SAndrew Jones 
3062edfe428SAndrew Jones 	if (strcmp(argv[0], "setup") == 0) {
3072edfe428SAndrew Jones 
3085e61cba0SAndrew Jones 		check_setup(argc-1, &argv[1]);
3095e61cba0SAndrew Jones 
310f052fea1SAndrew Jones 	} else if (strcmp(argv[0], "vectors-kernel") == 0) {
3112edfe428SAndrew Jones 
3122edfe428SAndrew Jones 		check_vectors(NULL);
3132edfe428SAndrew Jones 
314f052fea1SAndrew Jones 	} else if (strcmp(argv[0], "vectors-user") == 0) {
3152edfe428SAndrew Jones 
316*1693644dSAndrew Jones 		void *sp = memalign(THREAD_SIZE, THREAD_SIZE);
317*1693644dSAndrew Jones 		start_usr(check_vectors, NULL,
318*1693644dSAndrew Jones 				(unsigned long)sp + THREAD_START_SP);
3192edfe428SAndrew Jones 	}
3202edfe428SAndrew Jones 
3215e61cba0SAndrew Jones 	return report_summary();
3225e61cba0SAndrew Jones }
323