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