17d36db35SAvi Kivity #include "ioram.h" 27d36db35SAvi Kivity #include "vm.h" 37d36db35SAvi Kivity #include "libcflat.h" 4e7c37968SGleb Natapov #include "desc.h" 5d7143f32SAvi Kivity #include "types.h" 6b39a3e14SNadav Amit #include "processor.h" 7efd8e5aaSPaolo Bonzini #include "vmalloc.h" 85aca024eSPaolo Bonzini #include "alloc_page.h" 97d36db35SAvi Kivity 107d36db35SAvi Kivity #define memset __builtin_memset 117d36db35SAvi Kivity #define TESTDEV_IO_PORT 0xe0 127d36db35SAvi Kivity 13d7143f32SAvi Kivity static int exceptions; 14d7143f32SAvi Kivity 1545fdc228SPaolo Bonzini /* Forced emulation prefix, used to invoke the emulator unconditionally. */ 1645fdc228SPaolo Bonzini #define KVM_FEP "ud2; .byte 'k', 'v', 'm';" 1745fdc228SPaolo Bonzini #define KVM_FEP_LENGTH 5 1845fdc228SPaolo Bonzini static int fep_available = 1; 1945fdc228SPaolo Bonzini 20c5a2a731SArthur Chunqi Li struct regs { 21c5a2a731SArthur Chunqi Li u64 rax, rbx, rcx, rdx; 22c5a2a731SArthur Chunqi Li u64 rsi, rdi, rsp, rbp; 23c5a2a731SArthur Chunqi Li u64 r8, r9, r10, r11; 24c5a2a731SArthur Chunqi Li u64 r12, r13, r14, r15; 25c5a2a731SArthur Chunqi Li u64 rip, rflags; 26c5a2a731SArthur Chunqi Li }; 27c5a2a731SArthur Chunqi Li struct regs inregs, outregs, save; 28c5a2a731SArthur Chunqi Li 29c5a2a731SArthur Chunqi Li struct insn_desc { 30c5a2a731SArthur Chunqi Li u64 ptr; 31c5a2a731SArthur Chunqi Li size_t len; 32c5a2a731SArthur Chunqi Li }; 33c5a2a731SArthur Chunqi Li 347d36db35SAvi Kivity static char st1[] = "abcdefghijklmnop"; 357d36db35SAvi Kivity 367db17e21SThomas Huth static void test_stringio(void) 377d36db35SAvi Kivity { 387d36db35SAvi Kivity unsigned char r = 0; 397d36db35SAvi Kivity asm volatile("cld \n\t" 407d36db35SAvi Kivity "movw %0, %%dx \n\t" 417d36db35SAvi Kivity "rep outsb \n\t" 427d36db35SAvi Kivity : : "i"((short)TESTDEV_IO_PORT), 437d36db35SAvi Kivity "S"(st1), "c"(sizeof(st1) - 1)); 447d36db35SAvi Kivity asm volatile("inb %1, %0\n\t" : "=a"(r) : "i"((short)TESTDEV_IO_PORT)); 457d36db35SAvi Kivity report("outsb up", r == st1[sizeof(st1) - 2]); /* last char */ 467d36db35SAvi Kivity 477d36db35SAvi Kivity asm volatile("std \n\t" 487d36db35SAvi Kivity "movw %0, %%dx \n\t" 497d36db35SAvi Kivity "rep outsb \n\t" 507d36db35SAvi Kivity : : "i"((short)TESTDEV_IO_PORT), 517d36db35SAvi Kivity "S"(st1 + sizeof(st1) - 2), "c"(sizeof(st1) - 1)); 527d36db35SAvi Kivity asm volatile("cld \n\t" : : ); 537d36db35SAvi Kivity asm volatile("in %1, %0\n\t" : "=a"(r) : "i"((short)TESTDEV_IO_PORT)); 547d36db35SAvi Kivity report("outsb down", r == st1[0]); 557d36db35SAvi Kivity } 567d36db35SAvi Kivity 57db4898e8SThomas Huth static void test_cmps_one(unsigned char *m1, unsigned char *m3) 587d36db35SAvi Kivity { 597d36db35SAvi Kivity void *rsi, *rdi; 607d36db35SAvi Kivity long rcx, tmp; 617d36db35SAvi Kivity 627d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 30; 637d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 647d36db35SAvi Kivity "repe/cmpsb" 657d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 667d36db35SAvi Kivity : : "cc"); 677d36db35SAvi Kivity report("repe/cmpsb (1)", rcx == 0 && rsi == m1 + 30 && rdi == m3 + 30); 687d36db35SAvi Kivity 6951ba4180SAvi Kivity rsi = m1; rdi = m3; rcx = 30; 7051ba4180SAvi Kivity asm volatile("or $1, %[tmp]\n\t" // clear ZF 7151ba4180SAvi Kivity "repe/cmpsb" 7251ba4180SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 7351ba4180SAvi Kivity : : "cc"); 7451ba4180SAvi Kivity report("repe/cmpsb (1.zf)", rcx == 0 && rsi == m1 + 30 && rdi == m3 + 30); 7551ba4180SAvi Kivity 767d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 15; 777d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 787d36db35SAvi Kivity "repe/cmpsw" 797d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 807d36db35SAvi Kivity : : "cc"); 817d36db35SAvi Kivity report("repe/cmpsw (1)", rcx == 0 && rsi == m1 + 30 && rdi == m3 + 30); 827d36db35SAvi Kivity 837d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 7; 847d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 857d36db35SAvi Kivity "repe/cmpsl" 867d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 877d36db35SAvi Kivity : : "cc"); 887d36db35SAvi Kivity report("repe/cmpll (1)", rcx == 0 && rsi == m1 + 28 && rdi == m3 + 28); 897d36db35SAvi Kivity 907d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 4; 917d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 927d36db35SAvi Kivity "repe/cmpsq" 937d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 947d36db35SAvi Kivity : : "cc"); 957d36db35SAvi Kivity report("repe/cmpsq (1)", rcx == 0 && rsi == m1 + 32 && rdi == m3 + 32); 967d36db35SAvi Kivity 977d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 130; 987d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 997d36db35SAvi Kivity "repe/cmpsb" 1007d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 1017d36db35SAvi Kivity : : "cc"); 1027d36db35SAvi Kivity report("repe/cmpsb (2)", 1037d36db35SAvi Kivity rcx == 29 && rsi == m1 + 101 && rdi == m3 + 101); 1047d36db35SAvi Kivity 1057d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 65; 1067d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 1077d36db35SAvi Kivity "repe/cmpsw" 1087d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 1097d36db35SAvi Kivity : : "cc"); 1107d36db35SAvi Kivity report("repe/cmpsw (2)", 1117d36db35SAvi Kivity rcx == 14 && rsi == m1 + 102 && rdi == m3 + 102); 1127d36db35SAvi Kivity 1137d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 32; 1147d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 1157d36db35SAvi Kivity "repe/cmpsl" 1167d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 1177d36db35SAvi Kivity : : "cc"); 1187d36db35SAvi Kivity report("repe/cmpll (2)", 1197d36db35SAvi Kivity rcx == 6 && rsi == m1 + 104 && rdi == m3 + 104); 1207d36db35SAvi Kivity 1217d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 16; 1227d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 1237d36db35SAvi Kivity "repe/cmpsq" 1247d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 1257d36db35SAvi Kivity : : "cc"); 1267d36db35SAvi Kivity report("repe/cmpsq (2)", 1277d36db35SAvi Kivity rcx == 3 && rsi == m1 + 104 && rdi == m3 + 104); 1287d36db35SAvi Kivity 1297d36db35SAvi Kivity } 1307d36db35SAvi Kivity 131db4898e8SThomas Huth static void test_cmps(void *mem) 1327d36db35SAvi Kivity { 1337d36db35SAvi Kivity unsigned char *m1 = mem, *m2 = mem + 1024; 1347d36db35SAvi Kivity unsigned char m3[1024]; 1357d36db35SAvi Kivity 1367d36db35SAvi Kivity for (int i = 0; i < 100; ++i) 1377d36db35SAvi Kivity m1[i] = m2[i] = m3[i] = i; 1387d36db35SAvi Kivity for (int i = 100; i < 200; ++i) 1397d36db35SAvi Kivity m1[i] = (m3[i] = m2[i] = i) + 1; 1407d36db35SAvi Kivity test_cmps_one(m1, m3); 1417d36db35SAvi Kivity test_cmps_one(m1, m2); 1427d36db35SAvi Kivity } 1437d36db35SAvi Kivity 144db4898e8SThomas Huth static void test_scas(void *mem) 14580a4ea7bSAvi Kivity { 14680a4ea7bSAvi Kivity bool z; 14780a4ea7bSAvi Kivity void *di; 14880a4ea7bSAvi Kivity 14980a4ea7bSAvi Kivity *(ulong *)mem = 0x77665544332211; 15080a4ea7bSAvi Kivity 15180a4ea7bSAvi Kivity di = mem; 15280a4ea7bSAvi Kivity asm ("scasb; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff11)); 15380a4ea7bSAvi Kivity report("scasb match", di == mem + 1 && z); 15480a4ea7bSAvi Kivity 15580a4ea7bSAvi Kivity di = mem; 15680a4ea7bSAvi Kivity asm ("scasb; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff54)); 15780a4ea7bSAvi Kivity report("scasb mismatch", di == mem + 1 && !z); 15880a4ea7bSAvi Kivity 15980a4ea7bSAvi Kivity di = mem; 16080a4ea7bSAvi Kivity asm ("scasw; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff2211)); 16180a4ea7bSAvi Kivity report("scasw match", di == mem + 2 && z); 16280a4ea7bSAvi Kivity 16380a4ea7bSAvi Kivity di = mem; 16480a4ea7bSAvi Kivity asm ("scasw; setz %0" : "=rm"(z), "+D"(di) : "a"(0xffdd11)); 16580a4ea7bSAvi Kivity report("scasw mismatch", di == mem + 2 && !z); 16680a4ea7bSAvi Kivity 16780a4ea7bSAvi Kivity di = mem; 16880a4ea7bSAvi Kivity asm ("scasl; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff44332211ul)); 16980a4ea7bSAvi Kivity report("scasd match", di == mem + 4 && z); 17080a4ea7bSAvi Kivity 17180a4ea7bSAvi Kivity di = mem; 17280a4ea7bSAvi Kivity asm ("scasl; setz %0" : "=rm"(z), "+D"(di) : "a"(0x45332211)); 17380a4ea7bSAvi Kivity report("scasd mismatch", di == mem + 4 && !z); 17480a4ea7bSAvi Kivity 17580a4ea7bSAvi Kivity di = mem; 17680a4ea7bSAvi Kivity asm ("scasq; setz %0" : "=rm"(z), "+D"(di) : "a"(0x77665544332211ul)); 17780a4ea7bSAvi Kivity report("scasq match", di == mem + 8 && z); 17880a4ea7bSAvi Kivity 17980a4ea7bSAvi Kivity di = mem; 18080a4ea7bSAvi Kivity asm ("scasq; setz %0" : "=rm"(z), "+D"(di) : "a"(3)); 18180a4ea7bSAvi Kivity report("scasq mismatch", di == mem + 8 && !z); 18280a4ea7bSAvi Kivity } 18380a4ea7bSAvi Kivity 184db4898e8SThomas Huth static void test_cr8(void) 1857d36db35SAvi Kivity { 1867d36db35SAvi Kivity unsigned long src, dst; 1877d36db35SAvi Kivity 1887d36db35SAvi Kivity dst = 777; 1897d36db35SAvi Kivity src = 3; 1907d36db35SAvi Kivity asm volatile("mov %[src], %%cr8; mov %%cr8, %[dst]" 1917d36db35SAvi Kivity : [dst]"+r"(dst), [src]"+r"(src)); 192ce53c83bSPaolo Bonzini report("mov %%cr8", dst == 3 && src == 3); 1937d36db35SAvi Kivity } 1947d36db35SAvi Kivity 195db4898e8SThomas Huth static void test_push(void *mem) 1967d36db35SAvi Kivity { 1977d36db35SAvi Kivity unsigned long tmp; 1987d36db35SAvi Kivity unsigned long *stack_top = mem + 4096; 1997d36db35SAvi Kivity unsigned long *new_stack_top; 2007d36db35SAvi Kivity unsigned long memw = 0x123456789abcdeful; 2017d36db35SAvi Kivity 2027d36db35SAvi Kivity memset(mem, 0x55, (void *)stack_top - mem); 2037d36db35SAvi Kivity 2047d36db35SAvi Kivity asm volatile("mov %%rsp, %[tmp] \n\t" 2057d36db35SAvi Kivity "mov %[stack_top], %%rsp \n\t" 2067d36db35SAvi Kivity "pushq $-7 \n\t" 2077d36db35SAvi Kivity "pushq %[reg] \n\t" 2087d36db35SAvi Kivity "pushq (%[mem]) \n\t" 2097d36db35SAvi Kivity "pushq $-7070707 \n\t" 2107d36db35SAvi Kivity "mov %%rsp, %[new_stack_top] \n\t" 2117d36db35SAvi Kivity "mov %[tmp], %%rsp" 2127d36db35SAvi Kivity : [tmp]"=&r"(tmp), [new_stack_top]"=r"(new_stack_top) 2137d36db35SAvi Kivity : [stack_top]"r"(stack_top), 2147d36db35SAvi Kivity [reg]"r"(-17l), [mem]"r"(&memw) 2157d36db35SAvi Kivity : "memory"); 2167d36db35SAvi Kivity 2177d36db35SAvi Kivity report("push $imm8", stack_top[-1] == -7ul); 218ce53c83bSPaolo Bonzini report("push %%reg", stack_top[-2] == -17ul); 2197d36db35SAvi Kivity report("push mem", stack_top[-3] == 0x123456789abcdeful); 2207d36db35SAvi Kivity report("push $imm", stack_top[-4] == -7070707); 2217d36db35SAvi Kivity } 2227d36db35SAvi Kivity 223db4898e8SThomas Huth static void test_pop(void *mem) 2247d36db35SAvi Kivity { 22528f04f22SAvi Kivity unsigned long tmp, tmp3, rsp, rbp; 2267d36db35SAvi Kivity unsigned long *stack_top = mem + 4096; 2277d36db35SAvi Kivity unsigned long memw = 0x123456789abcdeful; 2287d36db35SAvi Kivity static unsigned long tmp2; 2297d36db35SAvi Kivity 2307d36db35SAvi Kivity memset(mem, 0x55, (void *)stack_top - mem); 2317d36db35SAvi Kivity 2327d36db35SAvi Kivity asm volatile("pushq %[val] \n\t" 2337d36db35SAvi Kivity "popq (%[mem])" 2347d36db35SAvi Kivity : : [val]"m"(memw), [mem]"r"(mem) : "memory"); 2357d36db35SAvi Kivity report("pop mem", *(unsigned long *)mem == memw); 2367d36db35SAvi Kivity 2377d36db35SAvi Kivity memw = 7 - memw; 2387d36db35SAvi Kivity asm volatile("mov %%rsp, %[tmp] \n\t" 2397d36db35SAvi Kivity "mov %[stack_top], %%rsp \n\t" 2407d36db35SAvi Kivity "pushq %[val] \n\t" 2417d36db35SAvi Kivity "popq %[tmp2] \n\t" 2427d36db35SAvi Kivity "mov %[tmp], %%rsp" 2437d36db35SAvi Kivity : [tmp]"=&r"(tmp), [tmp2]"=m"(tmp2) 2447d36db35SAvi Kivity : [val]"r"(memw), [stack_top]"r"(stack_top) 2457d36db35SAvi Kivity : "memory"); 2467d36db35SAvi Kivity report("pop mem (2)", tmp2 == memw); 2477d36db35SAvi Kivity 2487d36db35SAvi Kivity memw = 129443 - memw; 2497d36db35SAvi Kivity asm volatile("mov %%rsp, %[tmp] \n\t" 2507d36db35SAvi Kivity "mov %[stack_top], %%rsp \n\t" 2517d36db35SAvi Kivity "pushq %[val] \n\t" 2527d36db35SAvi Kivity "popq %[tmp2] \n\t" 2537d36db35SAvi Kivity "mov %[tmp], %%rsp" 2547d36db35SAvi Kivity : [tmp]"=&r"(tmp), [tmp2]"=r"(tmp2) 2557d36db35SAvi Kivity : [val]"r"(memw), [stack_top]"r"(stack_top) 2567d36db35SAvi Kivity : "memory"); 2577d36db35SAvi Kivity report("pop reg", tmp2 == memw); 2587d36db35SAvi Kivity 2597d36db35SAvi Kivity asm volatile("mov %%rsp, %[tmp] \n\t" 2607d36db35SAvi Kivity "mov %[stack_top], %%rsp \n\t" 2617d36db35SAvi Kivity "push $1f \n\t" 2627d36db35SAvi Kivity "ret \n\t" 2637d36db35SAvi Kivity "2: jmp 2b \n\t" 2647d36db35SAvi Kivity "1: mov %[tmp], %%rsp" 2657d36db35SAvi Kivity : [tmp]"=&r"(tmp) : [stack_top]"r"(stack_top) 2667d36db35SAvi Kivity : "memory"); 2677d36db35SAvi Kivity report("ret", 1); 2685269d6e7SAvi Kivity 2695269d6e7SAvi Kivity stack_top[-1] = 0x778899; 270c2aa6128SPeter Feiner asm volatile("mov %[stack_top], %%r8 \n\t" 271c2aa6128SPeter Feiner "mov %%rsp, %%r9 \n\t" 272c2aa6128SPeter Feiner "xchg %%rbp, %%r8 \n\t" 2735269d6e7SAvi Kivity "leave \n\t" 274c2aa6128SPeter Feiner "xchg %%rsp, %%r9 \n\t" 275c2aa6128SPeter Feiner "xchg %%rbp, %%r8 \n\t" 276c2aa6128SPeter Feiner "mov %%r9, %[tmp] \n\t" 277c2aa6128SPeter Feiner "mov %%r8, %[tmp3]" 2785269d6e7SAvi Kivity : [tmp]"=&r"(tmp), [tmp3]"=&r"(tmp3) : [stack_top]"r"(stack_top-1) 279c2aa6128SPeter Feiner : "memory", "r8", "r9"); 2805269d6e7SAvi Kivity report("leave", tmp == (ulong)stack_top && tmp3 == 0x778899); 28128f04f22SAvi Kivity 28228f04f22SAvi Kivity rbp = 0xaa55aa55bb66bb66ULL; 28328f04f22SAvi Kivity rsp = (unsigned long)stack_top; 284c2aa6128SPeter Feiner asm volatile("mov %[rsp], %%r8 \n\t" 285c2aa6128SPeter Feiner "mov %[rbp], %%r9 \n\t" 286c2aa6128SPeter Feiner "xchg %%rsp, %%r8 \n\t" 287c2aa6128SPeter Feiner "xchg %%rbp, %%r9 \n\t" 28828f04f22SAvi Kivity "enter $0x1238, $0 \n\t" 289c2aa6128SPeter Feiner "xchg %%rsp, %%r8 \n\t" 290c2aa6128SPeter Feiner "xchg %%rbp, %%r9 \n\t" 291c2aa6128SPeter Feiner "xchg %%r8, %[rsp] \n\t" 292c2aa6128SPeter Feiner "xchg %%r9, %[rbp]" 293c2aa6128SPeter Feiner : [rsp]"+a"(rsp), [rbp]"+b"(rbp) : : "memory", "r8", "r9"); 29428f04f22SAvi Kivity report("enter", 29528f04f22SAvi Kivity rsp == (unsigned long)stack_top - 8 - 0x1238 29628f04f22SAvi Kivity && rbp == (unsigned long)stack_top - 8 29728f04f22SAvi Kivity && stack_top[-1] == 0xaa55aa55bb66bb66ULL); 2987d36db35SAvi Kivity } 2997d36db35SAvi Kivity 300db4898e8SThomas Huth static void test_ljmp(void *mem) 3017d36db35SAvi Kivity { 3027d36db35SAvi Kivity unsigned char *m = mem; 3037d36db35SAvi Kivity volatile int res = 1; 3047d36db35SAvi Kivity 3057d36db35SAvi Kivity *(unsigned long**)m = &&jmpf; 3067d36db35SAvi Kivity asm volatile ("data16/mov %%cs, %0":"=m"(*(m + sizeof(unsigned long)))); 3077d36db35SAvi Kivity asm volatile ("rex64/ljmp *%0"::"m"(*m)); 3087d36db35SAvi Kivity res = 0; 3097d36db35SAvi Kivity jmpf: 3107d36db35SAvi Kivity report("ljmp", res); 3117d36db35SAvi Kivity } 3127d36db35SAvi Kivity 313db4898e8SThomas Huth static void test_incdecnotneg(void *mem) 3147d36db35SAvi Kivity { 3157d36db35SAvi Kivity unsigned long *m = mem, v = 1234; 3167d36db35SAvi Kivity unsigned char *mb = mem, vb = 66; 3177d36db35SAvi Kivity 3187d36db35SAvi Kivity *m = 0; 3197d36db35SAvi Kivity 3207d36db35SAvi Kivity asm volatile ("incl %0":"+m"(*m)); 3217d36db35SAvi Kivity report("incl", *m == 1); 3227d36db35SAvi Kivity asm volatile ("decl %0":"+m"(*m)); 3237d36db35SAvi Kivity report("decl", *m == 0); 3247d36db35SAvi Kivity asm volatile ("incb %0":"+m"(*m)); 3257d36db35SAvi Kivity report("incb", *m == 1); 3267d36db35SAvi Kivity asm volatile ("decb %0":"+m"(*m)); 3277d36db35SAvi Kivity report("decb", *m == 0); 3287d36db35SAvi Kivity 3297d36db35SAvi Kivity asm volatile ("lock incl %0":"+m"(*m)); 3307d36db35SAvi Kivity report("lock incl", *m == 1); 3317d36db35SAvi Kivity asm volatile ("lock decl %0":"+m"(*m)); 3327d36db35SAvi Kivity report("lock decl", *m == 0); 3337d36db35SAvi Kivity asm volatile ("lock incb %0":"+m"(*m)); 3347d36db35SAvi Kivity report("lock incb", *m == 1); 3357d36db35SAvi Kivity asm volatile ("lock decb %0":"+m"(*m)); 3367d36db35SAvi Kivity report("lock decb", *m == 0); 3377d36db35SAvi Kivity 3387d36db35SAvi Kivity *m = v; 3397d36db35SAvi Kivity 3407d36db35SAvi Kivity asm ("lock negq %0" : "+m"(*m)); v = -v; 3417d36db35SAvi Kivity report("lock negl", *m == v); 3427d36db35SAvi Kivity asm ("lock notq %0" : "+m"(*m)); v = ~v; 3437d36db35SAvi Kivity report("lock notl", *m == v); 3447d36db35SAvi Kivity 3457d36db35SAvi Kivity *mb = vb; 3467d36db35SAvi Kivity 3477d36db35SAvi Kivity asm ("lock negb %0" : "+m"(*mb)); vb = -vb; 3487d36db35SAvi Kivity report("lock negb", *mb == vb); 3497d36db35SAvi Kivity asm ("lock notb %0" : "+m"(*mb)); vb = ~vb; 3507d36db35SAvi Kivity report("lock notb", *mb == vb); 3517d36db35SAvi Kivity } 3527d36db35SAvi Kivity 353db4898e8SThomas Huth static void test_smsw(uint64_t *h_mem) 3547d36db35SAvi Kivity { 3557d36db35SAvi Kivity char mem[16]; 3567d36db35SAvi Kivity unsigned short msw, msw_orig, *pmsw; 3577d36db35SAvi Kivity int i, zero; 3587d36db35SAvi Kivity 3597d36db35SAvi Kivity msw_orig = read_cr0(); 3607d36db35SAvi Kivity 3617d36db35SAvi Kivity asm("smsw %0" : "=r"(msw)); 3627d36db35SAvi Kivity report("smsw (1)", msw == msw_orig); 3637d36db35SAvi Kivity 3647d36db35SAvi Kivity memset(mem, 0, 16); 3657d36db35SAvi Kivity pmsw = (void *)mem; 3667d36db35SAvi Kivity asm("smsw %0" : "=m"(pmsw[4])); 3677d36db35SAvi Kivity zero = 1; 3687d36db35SAvi Kivity for (i = 0; i < 8; ++i) 3697d36db35SAvi Kivity if (i != 4 && pmsw[i]) 3707d36db35SAvi Kivity zero = 0; 3717d36db35SAvi Kivity report("smsw (2)", msw == pmsw[4] && zero); 3724003963dSNadav Amit 3734003963dSNadav Amit /* Trigger exit on smsw */ 3744003963dSNadav Amit *h_mem = 0x12345678abcdeful; 37511147080SChris J Arges asm volatile("smsw %0" : "+m"(*h_mem)); 3764003963dSNadav Amit report("smsw (3)", msw == (unsigned short)*h_mem && 3774003963dSNadav Amit (*h_mem & ~0xfffful) == 0x12345678ab0000ul); 3787d36db35SAvi Kivity } 3797d36db35SAvi Kivity 380db4898e8SThomas Huth static void test_lmsw(void) 3817d36db35SAvi Kivity { 3827d36db35SAvi Kivity char mem[16]; 3837d36db35SAvi Kivity unsigned short msw, *pmsw; 3847d36db35SAvi Kivity unsigned long cr0; 3857d36db35SAvi Kivity 3867d36db35SAvi Kivity cr0 = read_cr0(); 3877d36db35SAvi Kivity 3887d36db35SAvi Kivity msw = cr0 ^ 8; 3897d36db35SAvi Kivity asm("lmsw %0" : : "r"(msw)); 3907d36db35SAvi Kivity printf("before %lx after %lx\n", cr0, read_cr0()); 3917d36db35SAvi Kivity report("lmsw (1)", (cr0 ^ read_cr0()) == 8); 3927d36db35SAvi Kivity 3937d36db35SAvi Kivity pmsw = (void *)mem; 3947d36db35SAvi Kivity *pmsw = cr0; 3957d36db35SAvi Kivity asm("lmsw %0" : : "m"(*pmsw)); 3967d36db35SAvi Kivity printf("before %lx after %lx\n", cr0, read_cr0()); 3977d36db35SAvi Kivity report("lmsw (2)", cr0 == read_cr0()); 3987d36db35SAvi Kivity 3997d36db35SAvi Kivity /* lmsw can't clear cr0.pe */ 4007d36db35SAvi Kivity msw = (cr0 & ~1ul) ^ 4; /* change EM to force trap */ 4017d36db35SAvi Kivity asm("lmsw %0" : : "r"(msw)); 4027d36db35SAvi Kivity report("lmsw (3)", (cr0 ^ read_cr0()) == 4 && (cr0 & 1)); 4037d36db35SAvi Kivity 4047d36db35SAvi Kivity /* back to normal */ 4057d36db35SAvi Kivity msw = cr0; 4067d36db35SAvi Kivity asm("lmsw %0" : : "r"(msw)); 4077d36db35SAvi Kivity } 4087d36db35SAvi Kivity 409db4898e8SThomas Huth static void test_xchg(void *mem) 4107d36db35SAvi Kivity { 4117d36db35SAvi Kivity unsigned long *memq = mem; 4127d36db35SAvi Kivity unsigned long rax; 4137d36db35SAvi Kivity 4147d36db35SAvi Kivity asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4157d36db35SAvi Kivity "mov %%rax, (%[memq])\n\t" 4167d36db35SAvi Kivity "mov $0xfedcba9876543210, %%rax\n\t" 4177d36db35SAvi Kivity "xchg %%al, (%[memq])\n\t" 4187d36db35SAvi Kivity "mov %%rax, %[rax]\n\t" 4197d36db35SAvi Kivity : [rax]"=r"(rax) 4207d36db35SAvi Kivity : [memq]"r"(memq) 421c2aa6128SPeter Feiner : "memory", "rax"); 4227d36db35SAvi Kivity report("xchg reg, r/m (1)", 4237d36db35SAvi Kivity rax == 0xfedcba98765432ef && *memq == 0x123456789abcd10); 4247d36db35SAvi Kivity 4257d36db35SAvi Kivity asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4267d36db35SAvi Kivity "mov %%rax, (%[memq])\n\t" 4277d36db35SAvi Kivity "mov $0xfedcba9876543210, %%rax\n\t" 4287d36db35SAvi Kivity "xchg %%ax, (%[memq])\n\t" 4297d36db35SAvi Kivity "mov %%rax, %[rax]\n\t" 4307d36db35SAvi Kivity : [rax]"=r"(rax) 4317d36db35SAvi Kivity : [memq]"r"(memq) 432c2aa6128SPeter Feiner : "memory", "rax"); 4337d36db35SAvi Kivity report("xchg reg, r/m (2)", 4347d36db35SAvi Kivity rax == 0xfedcba987654cdef && *memq == 0x123456789ab3210); 4357d36db35SAvi Kivity 4367d36db35SAvi Kivity asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4377d36db35SAvi Kivity "mov %%rax, (%[memq])\n\t" 4387d36db35SAvi Kivity "mov $0xfedcba9876543210, %%rax\n\t" 4397d36db35SAvi Kivity "xchg %%eax, (%[memq])\n\t" 4407d36db35SAvi Kivity "mov %%rax, %[rax]\n\t" 4417d36db35SAvi Kivity : [rax]"=r"(rax) 4427d36db35SAvi Kivity : [memq]"r"(memq) 443c2aa6128SPeter Feiner : "memory", "rax"); 4447d36db35SAvi Kivity report("xchg reg, r/m (3)", 4457d36db35SAvi Kivity rax == 0x89abcdef && *memq == 0x123456776543210); 4467d36db35SAvi Kivity 4477d36db35SAvi Kivity asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4487d36db35SAvi Kivity "mov %%rax, (%[memq])\n\t" 4497d36db35SAvi Kivity "mov $0xfedcba9876543210, %%rax\n\t" 4507d36db35SAvi Kivity "xchg %%rax, (%[memq])\n\t" 4517d36db35SAvi Kivity "mov %%rax, %[rax]\n\t" 4527d36db35SAvi Kivity : [rax]"=r"(rax) 4537d36db35SAvi Kivity : [memq]"r"(memq) 454c2aa6128SPeter Feiner : "memory", "rax"); 4557d36db35SAvi Kivity report("xchg reg, r/m (4)", 4567d36db35SAvi Kivity rax == 0x123456789abcdef && *memq == 0xfedcba9876543210); 4577d36db35SAvi Kivity } 4587d36db35SAvi Kivity 459db4898e8SThomas Huth static void test_xadd(void *mem) 4605647d55cSWei Yongjun { 4615647d55cSWei Yongjun unsigned long *memq = mem; 4625647d55cSWei Yongjun unsigned long rax; 4635647d55cSWei Yongjun 4645647d55cSWei Yongjun asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4655647d55cSWei Yongjun "mov %%rax, (%[memq])\n\t" 4665647d55cSWei Yongjun "mov $0xfedcba9876543210, %%rax\n\t" 4675647d55cSWei Yongjun "xadd %%al, (%[memq])\n\t" 4685647d55cSWei Yongjun "mov %%rax, %[rax]\n\t" 4695647d55cSWei Yongjun : [rax]"=r"(rax) 4705647d55cSWei Yongjun : [memq]"r"(memq) 471c2aa6128SPeter Feiner : "memory", "rax"); 4725647d55cSWei Yongjun report("xadd reg, r/m (1)", 4735647d55cSWei Yongjun rax == 0xfedcba98765432ef && *memq == 0x123456789abcdff); 4745647d55cSWei Yongjun 4755647d55cSWei Yongjun asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4765647d55cSWei Yongjun "mov %%rax, (%[memq])\n\t" 4775647d55cSWei Yongjun "mov $0xfedcba9876543210, %%rax\n\t" 4785647d55cSWei Yongjun "xadd %%ax, (%[memq])\n\t" 4795647d55cSWei Yongjun "mov %%rax, %[rax]\n\t" 4805647d55cSWei Yongjun : [rax]"=r"(rax) 4815647d55cSWei Yongjun : [memq]"r"(memq) 482c2aa6128SPeter Feiner : "memory", "rax"); 4835647d55cSWei Yongjun report("xadd reg, r/m (2)", 4845647d55cSWei Yongjun rax == 0xfedcba987654cdef && *memq == 0x123456789abffff); 4855647d55cSWei Yongjun 4865647d55cSWei Yongjun asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4875647d55cSWei Yongjun "mov %%rax, (%[memq])\n\t" 4885647d55cSWei Yongjun "mov $0xfedcba9876543210, %%rax\n\t" 4895647d55cSWei Yongjun "xadd %%eax, (%[memq])\n\t" 4905647d55cSWei Yongjun "mov %%rax, %[rax]\n\t" 4915647d55cSWei Yongjun : [rax]"=r"(rax) 4925647d55cSWei Yongjun : [memq]"r"(memq) 493c2aa6128SPeter Feiner : "memory", "rax"); 4945647d55cSWei Yongjun report("xadd reg, r/m (3)", 4955647d55cSWei Yongjun rax == 0x89abcdef && *memq == 0x1234567ffffffff); 4965647d55cSWei Yongjun 4975647d55cSWei Yongjun asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4985647d55cSWei Yongjun "mov %%rax, (%[memq])\n\t" 4995647d55cSWei Yongjun "mov $0xfedcba9876543210, %%rax\n\t" 5005647d55cSWei Yongjun "xadd %%rax, (%[memq])\n\t" 5015647d55cSWei Yongjun "mov %%rax, %[rax]\n\t" 5025647d55cSWei Yongjun : [rax]"=r"(rax) 5035647d55cSWei Yongjun : [memq]"r"(memq) 504c2aa6128SPeter Feiner : "memory", "rax"); 5055647d55cSWei Yongjun report("xadd reg, r/m (4)", 5065647d55cSWei Yongjun rax == 0x123456789abcdef && *memq == 0xffffffffffffffff); 5075647d55cSWei Yongjun } 5085647d55cSWei Yongjun 509db4898e8SThomas Huth static void test_btc(void *mem) 510d4655eafSWei Yongjun { 511d4655eafSWei Yongjun unsigned int *a = mem; 512d4655eafSWei Yongjun 5137e083f20SNadav Amit memset(mem, 0, 4 * sizeof(unsigned int)); 514d4655eafSWei Yongjun 515d4655eafSWei Yongjun asm ("btcl $32, %0" :: "m"(a[0]) : "memory"); 516d4655eafSWei Yongjun asm ("btcl $1, %0" :: "m"(a[1]) : "memory"); 517d4655eafSWei Yongjun asm ("btcl %1, %0" :: "m"(a[0]), "r"(66) : "memory"); 518d4655eafSWei Yongjun report("btcl imm8, r/m", a[0] == 1 && a[1] == 2 && a[2] == 4); 519d4655eafSWei Yongjun 520d4655eafSWei Yongjun asm ("btcl %1, %0" :: "m"(a[3]), "r"(-1) : "memory"); 521d4655eafSWei Yongjun report("btcl reg, r/m", a[0] == 1 && a[1] == 2 && a[2] == 0x80000004); 5227e083f20SNadav Amit 5237e083f20SNadav Amit asm ("btcq %1, %0" : : "m"(a[2]), "r"(-1l) : "memory"); 5247e083f20SNadav Amit report("btcq reg, r/m", a[0] == 1 && a[1] == 0x80000002 && 5257e083f20SNadav Amit a[2] == 0x80000004 && a[3] == 0); 526d4655eafSWei Yongjun } 527d4655eafSWei Yongjun 528db4898e8SThomas Huth static void test_bsfbsr(void *mem) 5292e16c7f6SWei Yongjun { 530554de466SAvi Kivity unsigned long rax, *memq = mem; 531554de466SAvi Kivity unsigned eax, *meml = mem; 532554de466SAvi Kivity unsigned short ax, *memw = mem; 533554de466SAvi Kivity unsigned char z; 5342e16c7f6SWei Yongjun 535554de466SAvi Kivity *memw = 0xc000; 536554de466SAvi Kivity asm("bsfw %[mem], %[a]" : [a]"=a"(ax) : [mem]"m"(*memw)); 537554de466SAvi Kivity report("bsfw r/m, reg", ax == 14); 5382e16c7f6SWei Yongjun 539554de466SAvi Kivity *meml = 0xc0000000; 540554de466SAvi Kivity asm("bsfl %[mem], %[a]" : [a]"=a"(eax) : [mem]"m"(*meml)); 541554de466SAvi Kivity report("bsfl r/m, reg", eax == 30); 5422e16c7f6SWei Yongjun 543554de466SAvi Kivity *memq = 0xc00000000000; 544554de466SAvi Kivity asm("bsfq %[mem], %[a]" : [a]"=a"(rax) : [mem]"m"(*memq)); 5452e16c7f6SWei Yongjun report("bsfq r/m, reg", rax == 46); 5462e16c7f6SWei Yongjun 547554de466SAvi Kivity *memq = 0; 548554de466SAvi Kivity asm("bsfq %[mem], %[a]; setz %[z]" 549554de466SAvi Kivity : [a]"=a"(rax), [z]"=rm"(z) : [mem]"m"(*memq)); 550554de466SAvi Kivity report("bsfq r/m, reg", z == 1); 5512e16c7f6SWei Yongjun 552554de466SAvi Kivity *memw = 0xc000; 553554de466SAvi Kivity asm("bsrw %[mem], %[a]" : [a]"=a"(ax) : [mem]"m"(*memw)); 554554de466SAvi Kivity report("bsrw r/m, reg", ax == 15); 5552e16c7f6SWei Yongjun 556554de466SAvi Kivity *meml = 0xc0000000; 557554de466SAvi Kivity asm("bsrl %[mem], %[a]" : [a]"=a"(eax) : [mem]"m"(*meml)); 558554de466SAvi Kivity report("bsrl r/m, reg", eax == 31); 5592e16c7f6SWei Yongjun 560554de466SAvi Kivity *memq = 0xc00000000000; 561554de466SAvi Kivity asm("bsrq %[mem], %[a]" : [a]"=a"(rax) : [mem]"m"(*memq)); 5622e16c7f6SWei Yongjun report("bsrq r/m, reg", rax == 47); 5632e16c7f6SWei Yongjun 564554de466SAvi Kivity *memq = 0; 565554de466SAvi Kivity asm("bsrq %[mem], %[a]; setz %[z]" 566554de466SAvi Kivity : [a]"=a"(rax), [z]"=rm"(z) : [mem]"m"(*memq)); 567554de466SAvi Kivity report("bsrq r/m, reg", z == 1); 5682e16c7f6SWei Yongjun } 5692e16c7f6SWei Yongjun 57051d65a3cSAvi Kivity static void test_imul(ulong *mem) 57151d65a3cSAvi Kivity { 57251d65a3cSAvi Kivity ulong a; 57351d65a3cSAvi Kivity 57451d65a3cSAvi Kivity *mem = 51; a = 0x1234567812345678UL; 57551d65a3cSAvi Kivity asm ("imulw %1, %%ax" : "+a"(a) : "m"(*mem)); 57651d65a3cSAvi Kivity report("imul ax, mem", a == 0x12345678123439e8); 57751d65a3cSAvi Kivity 57851d65a3cSAvi Kivity *mem = 51; a = 0x1234567812345678UL; 57951d65a3cSAvi Kivity asm ("imull %1, %%eax" : "+a"(a) : "m"(*mem)); 58051d65a3cSAvi Kivity report("imul eax, mem", a == 0xa06d39e8); 58151d65a3cSAvi Kivity 58251d65a3cSAvi Kivity *mem = 51; a = 0x1234567812345678UL; 58351d65a3cSAvi Kivity asm ("imulq %1, %%rax" : "+a"(a) : "m"(*mem)); 58451d65a3cSAvi Kivity report("imul rax, mem", a == 0xA06D39EBA06D39E8UL); 58551d65a3cSAvi Kivity 58651d65a3cSAvi Kivity *mem = 0x1234567812345678UL; a = 0x8765432187654321L; 58751d65a3cSAvi Kivity asm ("imulw $51, %1, %%ax" : "+a"(a) : "m"(*mem)); 58851d65a3cSAvi Kivity report("imul ax, mem, imm8", a == 0x87654321876539e8); 58951d65a3cSAvi Kivity 59051d65a3cSAvi Kivity *mem = 0x1234567812345678UL; 59151d65a3cSAvi Kivity asm ("imull $51, %1, %%eax" : "+a"(a) : "m"(*mem)); 59251d65a3cSAvi Kivity report("imul eax, mem, imm8", a == 0xa06d39e8); 59351d65a3cSAvi Kivity 59451d65a3cSAvi Kivity *mem = 0x1234567812345678UL; 59551d65a3cSAvi Kivity asm ("imulq $51, %1, %%rax" : "+a"(a) : "m"(*mem)); 59651d65a3cSAvi Kivity report("imul rax, mem, imm8", a == 0xA06D39EBA06D39E8UL); 59751d65a3cSAvi Kivity 59851d65a3cSAvi Kivity *mem = 0x1234567812345678UL; a = 0x8765432187654321L; 59951d65a3cSAvi Kivity asm ("imulw $311, %1, %%ax" : "+a"(a) : "m"(*mem)); 60051d65a3cSAvi Kivity report("imul ax, mem, imm", a == 0x8765432187650bc8); 60151d65a3cSAvi Kivity 60251d65a3cSAvi Kivity *mem = 0x1234567812345678UL; 60351d65a3cSAvi Kivity asm ("imull $311, %1, %%eax" : "+a"(a) : "m"(*mem)); 60451d65a3cSAvi Kivity report("imul eax, mem, imm", a == 0x1d950bc8); 60551d65a3cSAvi Kivity 60651d65a3cSAvi Kivity *mem = 0x1234567812345678UL; 60751d65a3cSAvi Kivity asm ("imulq $311, %1, %%rax" : "+a"(a) : "m"(*mem)); 60851d65a3cSAvi Kivity report("imul rax, mem, imm", a == 0x1D950BDE1D950BC8L); 60951d65a3cSAvi Kivity } 61051d65a3cSAvi Kivity 611c2c43fcfSAvi Kivity static void test_muldiv(long *mem) 612f12d86b0SAvi Kivity { 613c2c43fcfSAvi Kivity long a, d, aa, dd; 614f12d86b0SAvi Kivity u8 ex = 1; 615f12d86b0SAvi Kivity 616f12d86b0SAvi Kivity *mem = 0; a = 1; d = 2; 617f12d86b0SAvi Kivity asm (ASM_TRY("1f") "divq %3; movb $0, %2; 1:" 618f12d86b0SAvi Kivity : "+a"(a), "+d"(d), "+q"(ex) : "m"(*mem)); 619f12d86b0SAvi Kivity report("divq (fault)", a == 1 && d == 2 && ex); 620f12d86b0SAvi Kivity 621f12d86b0SAvi Kivity *mem = 987654321098765UL; a = 123456789012345UL; d = 123456789012345UL; 622f12d86b0SAvi Kivity asm (ASM_TRY("1f") "divq %3; movb $0, %2; 1:" 623f12d86b0SAvi Kivity : "+a"(a), "+d"(d), "+q"(ex) : "m"(*mem)); 624f12d86b0SAvi Kivity report("divq (1)", 625f12d86b0SAvi Kivity a == 0x1ffffffb1b963b33ul && d == 0x273ba4384ede2ul && !ex); 626c2c43fcfSAvi Kivity aa = 0x1111111111111111; dd = 0x2222222222222222; 627c2c43fcfSAvi Kivity *mem = 0x3333333333333333; a = aa; d = dd; 628c2c43fcfSAvi Kivity asm("mulb %2" : "+a"(a), "+d"(d) : "m"(*mem)); 629c2c43fcfSAvi Kivity report("mulb mem", a == 0x1111111111110363 && d == dd); 630c2c43fcfSAvi Kivity *mem = 0x3333333333333333; a = aa; d = dd; 631c2c43fcfSAvi Kivity asm("mulw %2" : "+a"(a), "+d"(d) : "m"(*mem)); 632c2c43fcfSAvi Kivity report("mulw mem", a == 0x111111111111c963 && d == 0x2222222222220369); 633c2c43fcfSAvi Kivity *mem = 0x3333333333333333; a = aa; d = dd; 634c2c43fcfSAvi Kivity asm("mull %2" : "+a"(a), "+d"(d) : "m"(*mem)); 635c2c43fcfSAvi Kivity report("mull mem", a == 0x962fc963 && d == 0x369d036); 636c2c43fcfSAvi Kivity *mem = 0x3333333333333333; a = aa; d = dd; 637c2c43fcfSAvi Kivity asm("mulq %2" : "+a"(a), "+d"(d) : "m"(*mem)); 638c2c43fcfSAvi Kivity report("mulq mem", a == 0x2fc962fc962fc963 && d == 0x369d0369d0369d0); 639f12d86b0SAvi Kivity } 640f12d86b0SAvi Kivity 641d7f3ee3cSAvi Kivity typedef unsigned __attribute__((vector_size(16))) sse128; 642d7f3ee3cSAvi Kivity 643d7f3ee3cSAvi Kivity typedef union { 644d7f3ee3cSAvi Kivity sse128 sse; 645d7f3ee3cSAvi Kivity unsigned u[4]; 646d7f3ee3cSAvi Kivity } sse_union; 647d7f3ee3cSAvi Kivity 648d7f3ee3cSAvi Kivity static bool sseeq(sse_union *v1, sse_union *v2) 649d7f3ee3cSAvi Kivity { 650d7f3ee3cSAvi Kivity bool ok = true; 651d7f3ee3cSAvi Kivity int i; 652d7f3ee3cSAvi Kivity 653d7f3ee3cSAvi Kivity for (i = 0; i < 4; ++i) { 654d7f3ee3cSAvi Kivity ok &= v1->u[i] == v2->u[i]; 655d7f3ee3cSAvi Kivity } 656d7f3ee3cSAvi Kivity 657d7f3ee3cSAvi Kivity return ok; 658d7f3ee3cSAvi Kivity } 659d7f3ee3cSAvi Kivity 660a90f5a3cSRadim Krčmář static __attribute__((target("sse"))) void test_sse(sse_union *mem) 661d7f3ee3cSAvi Kivity { 662d7f3ee3cSAvi Kivity sse_union v; 663d7f3ee3cSAvi Kivity 664d7f3ee3cSAvi Kivity write_cr0(read_cr0() & ~6); /* EM, TS */ 665d7f3ee3cSAvi Kivity write_cr4(read_cr4() | 0x200); /* OSFXSR */ 666d7f3ee3cSAvi Kivity v.u[0] = 1; v.u[1] = 2; v.u[2] = 3; v.u[3] = 4; 667d7f3ee3cSAvi Kivity asm("movdqu %1, %0" : "=m"(*mem) : "x"(v.sse)); 668d7f3ee3cSAvi Kivity report("movdqu (read)", sseeq(&v, mem)); 669d7f3ee3cSAvi Kivity mem->u[0] = 5; mem->u[1] = 6; mem->u[2] = 7; mem->u[3] = 8; 670d7f3ee3cSAvi Kivity asm("movdqu %1, %0" : "=x"(v.sse) : "m"(*mem)); 671d7f3ee3cSAvi Kivity report("movdqu (write)", sseeq(mem, &v)); 672290ed5d5SIgor Mammedov 673290ed5d5SIgor Mammedov v.u[0] = 1; v.u[1] = 2; v.u[2] = 3; v.u[3] = 4; 674290ed5d5SIgor Mammedov asm("movaps %1, %0" : "=m"(*mem) : "x"(v.sse)); 675290ed5d5SIgor Mammedov report("movaps (read)", sseeq(mem, &v)); 676290ed5d5SIgor Mammedov mem->u[0] = 5; mem->u[1] = 6; mem->u[2] = 7; mem->u[3] = 8; 677290ed5d5SIgor Mammedov asm("movaps %1, %0" : "=x"(v.sse) : "m"(*mem)); 678290ed5d5SIgor Mammedov report("movaps (write)", sseeq(&v, mem)); 679f068a46aSIgor Mammedov 680f068a46aSIgor Mammedov v.u[0] = 1; v.u[1] = 2; v.u[2] = 3; v.u[3] = 4; 681f068a46aSIgor Mammedov asm("movapd %1, %0" : "=m"(*mem) : "x"(v.sse)); 682f068a46aSIgor Mammedov report("movapd (read)", sseeq(mem, &v)); 683f068a46aSIgor Mammedov mem->u[0] = 5; mem->u[1] = 6; mem->u[2] = 7; mem->u[3] = 8; 684f068a46aSIgor Mammedov asm("movapd %1, %0" : "=x"(v.sse) : "m"(*mem)); 685f068a46aSIgor Mammedov report("movapd (write)", sseeq(&v, mem)); 686d7f3ee3cSAvi Kivity } 687d7f3ee3cSAvi Kivity 6883587082bSAvi Kivity static void test_mmx(uint64_t *mem) 6893587082bSAvi Kivity { 6903587082bSAvi Kivity uint64_t v; 6913587082bSAvi Kivity 6923587082bSAvi Kivity write_cr0(read_cr0() & ~6); /* EM, TS */ 6933587082bSAvi Kivity asm volatile("fninit"); 6943587082bSAvi Kivity v = 0x0102030405060708ULL; 6953587082bSAvi Kivity asm("movq %1, %0" : "=m"(*mem) : "y"(v)); 6963587082bSAvi Kivity report("movq (mmx, read)", v == *mem); 6973587082bSAvi Kivity *mem = 0x8070605040302010ull; 6983587082bSAvi Kivity asm("movq %1, %0" : "=y"(v) : "m"(*mem)); 6993587082bSAvi Kivity report("movq (mmx, write)", v == *mem); 7003587082bSAvi Kivity } 7013587082bSAvi Kivity 7028cfa5a06SAvi Kivity static void test_rip_relative(unsigned *mem, char *insn_ram) 7038cfa5a06SAvi Kivity { 7048cfa5a06SAvi Kivity /* movb $1, mem+2(%rip) */ 7058cfa5a06SAvi Kivity insn_ram[0] = 0xc6; 7068cfa5a06SAvi Kivity insn_ram[1] = 0x05; 7078cfa5a06SAvi Kivity *(unsigned *)&insn_ram[2] = 2 + (char *)mem - (insn_ram + 7); 7088cfa5a06SAvi Kivity insn_ram[6] = 0x01; 7098cfa5a06SAvi Kivity /* ret */ 7108cfa5a06SAvi Kivity insn_ram[7] = 0xc3; 7118cfa5a06SAvi Kivity 7128cfa5a06SAvi Kivity *mem = 0; 7138cfa5a06SAvi Kivity asm("callq *%1" : "+m"(*mem) : "r"(insn_ram)); 714ce53c83bSPaolo Bonzini report("movb $imm, 0(%%rip)", *mem == 0x10000); 7158cfa5a06SAvi Kivity } 716d7f3ee3cSAvi Kivity 717b212fcdaSAvi Kivity static void test_shld_shrd(u32 *mem) 718b212fcdaSAvi Kivity { 719b212fcdaSAvi Kivity *mem = 0x12345678; 720b212fcdaSAvi Kivity asm("shld %2, %1, %0" : "+m"(*mem) : "r"(0xaaaaaaaaU), "c"((u8)3)); 721b212fcdaSAvi Kivity report("shld (cl)", *mem == ((0x12345678 << 3) | 5)); 722b212fcdaSAvi Kivity *mem = 0x12345678; 723b212fcdaSAvi Kivity asm("shrd %2, %1, %0" : "+m"(*mem) : "r"(0x55555555U), "c"((u8)3)); 724b212fcdaSAvi Kivity report("shrd (cl)", *mem == ((0x12345678 >> 3) | (5u << 29))); 725b212fcdaSAvi Kivity } 726b212fcdaSAvi Kivity 72730762176SNadav Amit static void test_cmov(u32 *mem) 72830762176SNadav Amit { 72930762176SNadav Amit u64 val; 73030762176SNadav Amit *mem = 0xabcdef12u; 73130762176SNadav Amit asm ("movq $0x1234567812345678, %%rax\n\t" 73230762176SNadav Amit "cmpl %%eax, %%eax\n\t" 73330762176SNadav Amit "cmovnel (%[mem]), %%eax\n\t" 73430762176SNadav Amit "movq %%rax, %[val]\n\t" 73530762176SNadav Amit : [val]"=r"(val) : [mem]"r"(mem) : "%rax", "cc"); 73630762176SNadav Amit report("cmovnel", val == 0x12345678ul); 73730762176SNadav Amit } 73830762176SNadav Amit 739c2aa6128SPeter Feiner static unsigned long rip_advance; 740c2aa6128SPeter Feiner 741c2aa6128SPeter Feiner static void advance_rip_and_note_exception(struct ex_regs *regs) 742d7143f32SAvi Kivity { 743d7143f32SAvi Kivity ++exceptions; 744c2aa6128SPeter Feiner regs->rip += rip_advance; 745d7143f32SAvi Kivity } 746d7143f32SAvi Kivity 74745fdc228SPaolo Bonzini static void test_mmx_movq_mf(uint64_t *mem) 748d7143f32SAvi Kivity { 7493af6fbbeSArthur Chunqi Li /* movq %mm0, (%rax) */ 75045fdc228SPaolo Bonzini extern char movq_start, movq_end; 751d7143f32SAvi Kivity 75245fdc228SPaolo Bonzini uint16_t fcw = 0; /* all exceptions unmasked */ 7533af6fbbeSArthur Chunqi Li write_cr0(read_cr0() & ~6); /* TS, EM */ 754d7143f32SAvi Kivity exceptions = 0; 755c2aa6128SPeter Feiner handle_exception(MF_VECTOR, advance_rip_and_note_exception); 756d7143f32SAvi Kivity asm volatile("fninit; fldcw %0" : : "m"(fcw)); 7573af6fbbeSArthur Chunqi Li asm volatile("fldz; fldz; fdivp"); /* generate exception */ 7583af6fbbeSArthur Chunqi Li 75945fdc228SPaolo Bonzini rip_advance = &movq_end - &movq_start; 76045fdc228SPaolo Bonzini asm(KVM_FEP "movq_start: movq %mm0, (%rax); movq_end:"); 7613af6fbbeSArthur Chunqi Li /* exit MMX mode */ 762d7143f32SAvi Kivity asm volatile("fnclex; emms"); 763d7143f32SAvi Kivity report("movq mmx generates #MF", exceptions == 1); 764d7143f32SAvi Kivity handle_exception(MF_VECTOR, 0); 765d7143f32SAvi Kivity } 766d7143f32SAvi Kivity 767f413c1afSNadav Amit static void test_jmp_noncanonical(uint64_t *mem) 768f413c1afSNadav Amit { 769c2aa6128SPeter Feiner extern char nc_jmp_start, nc_jmp_end; 770c2aa6128SPeter Feiner 771f413c1afSNadav Amit *mem = 0x1111111111111111ul; 772f413c1afSNadav Amit 773f413c1afSNadav Amit exceptions = 0; 774c2aa6128SPeter Feiner rip_advance = &nc_jmp_end - &nc_jmp_start; 775c2aa6128SPeter Feiner handle_exception(GP_VECTOR, advance_rip_and_note_exception); 776c2aa6128SPeter Feiner asm volatile ("nc_jmp_start: jmp *%0; nc_jmp_end:" : : "m"(*mem)); 777f413c1afSNadav Amit report("jump to non-canonical address", exceptions == 1); 778f413c1afSNadav Amit handle_exception(GP_VECTOR, 0); 779f413c1afSNadav Amit } 780f413c1afSNadav Amit 78145fdc228SPaolo Bonzini static void test_movabs(uint64_t *mem) 78259033f47SPaolo Bonzini { 7833af6fbbeSArthur Chunqi Li /* mov $0x9090909090909090, %rcx */ 78445fdc228SPaolo Bonzini unsigned long rcx; 78545fdc228SPaolo Bonzini asm(KVM_FEP "mov $0x9090909090909090, %0" : "=c" (rcx) : "0" (0)); 78645fdc228SPaolo Bonzini report("64-bit mov imm2", rcx == 0x9090909090909090); 78759033f47SPaolo Bonzini } 78859033f47SPaolo Bonzini 78945fdc228SPaolo Bonzini static void test_smsw_reg(uint64_t *mem) 790313f4efeSNadav Amit { 791313f4efeSNadav Amit unsigned long cr0 = read_cr0(); 79245fdc228SPaolo Bonzini unsigned long rax; 79345fdc228SPaolo Bonzini const unsigned long in_rax = 0x1234567890abcdeful; 794313f4efeSNadav Amit 79545fdc228SPaolo Bonzini asm(KVM_FEP "smsww %w0\n\t" : "=a" (rax) : "0" (in_rax)); 79645fdc228SPaolo Bonzini report("16-bit smsw reg", (u16)rax == (u16)cr0 && 79745fdc228SPaolo Bonzini rax >> 16 == in_rax >> 16); 798313f4efeSNadav Amit 79945fdc228SPaolo Bonzini asm(KVM_FEP "smswl %k0\n\t" : "=a" (rax) : "0" (in_rax)); 80045fdc228SPaolo Bonzini report("32-bit smsw reg", rax == (u32)cr0); 801313f4efeSNadav Amit 80245fdc228SPaolo Bonzini asm(KVM_FEP "smswq %d0\n\t" : "=a" (rax) : "0" (in_rax)); 80345fdc228SPaolo Bonzini report("64-bit smsw reg", rax == cr0); 804313f4efeSNadav Amit } 805313f4efeSNadav Amit 80645fdc228SPaolo Bonzini static void test_nop(uint64_t *mem) 807ae399010SNadav Amit { 80845fdc228SPaolo Bonzini unsigned long rax; 80945fdc228SPaolo Bonzini const unsigned long in_rax = 0x1234567890abcdeful; 81045fdc228SPaolo Bonzini asm(KVM_FEP "nop\n\t" : "=a" (rax) : "0" (in_rax)); 81145fdc228SPaolo Bonzini report("nop", rax == in_rax); 812ae399010SNadav Amit } 813ae399010SNadav Amit 81445fdc228SPaolo Bonzini static void test_mov_dr(uint64_t *mem) 815b39a3e14SNadav Amit { 81645fdc228SPaolo Bonzini unsigned long rax; 81745fdc228SPaolo Bonzini const unsigned long in_rax = 0; 818*badc98caSKrish Sadhukhan bool rtm_support = this_cpu_has(X86_FEATURE_RTM); 819b39a3e14SNadav Amit unsigned long dr6_fixed_1 = rtm_support ? 0xfffe0ff0ul : 0xffff0ff0ul; 82045fdc228SPaolo Bonzini asm(KVM_FEP "movq %0, %%dr6\n\t" 82145fdc228SPaolo Bonzini KVM_FEP "movq %%dr6, %0\n\t" : "=a" (rax) : "a" (in_rax)); 82245fdc228SPaolo Bonzini report("mov_dr6", rax == dr6_fixed_1); 823b39a3e14SNadav Amit } 824b39a3e14SNadav Amit 82526311ca9SNadav Amit static void test_push16(uint64_t *mem) 82626311ca9SNadav Amit { 82726311ca9SNadav Amit uint64_t rsp1, rsp2; 82826311ca9SNadav Amit uint16_t r; 82926311ca9SNadav Amit 83026311ca9SNadav Amit asm volatile ( "movq %%rsp, %[rsp1]\n\t" 83126311ca9SNadav Amit "pushw %[v]\n\t" 83226311ca9SNadav Amit "popw %[r]\n\t" 83326311ca9SNadav Amit "movq %%rsp, %[rsp2]\n\t" 83426311ca9SNadav Amit "movq %[rsp1], %%rsp\n\t" : 83526311ca9SNadav Amit [rsp1]"=r"(rsp1), [rsp2]"=r"(rsp2), [r]"=r"(r) 83626311ca9SNadav Amit : [v]"m"(*mem) : "memory"); 83726311ca9SNadav Amit report("push16", rsp1 == rsp2); 83826311ca9SNadav Amit } 83926311ca9SNadav Amit 840ec278ce3SAvi Kivity static void test_crosspage_mmio(volatile uint8_t *mem) 841ec278ce3SAvi Kivity { 842ec278ce3SAvi Kivity volatile uint16_t w, *pw; 843ec278ce3SAvi Kivity 844ec278ce3SAvi Kivity pw = (volatile uint16_t *)&mem[4095]; 845ec278ce3SAvi Kivity mem[4095] = 0x99; 846ec278ce3SAvi Kivity mem[4096] = 0x77; 847ec278ce3SAvi Kivity asm volatile("mov %1, %0" : "=r"(w) : "m"(*pw) : "memory"); 848ec278ce3SAvi Kivity report("cross-page mmio read", w == 0x7799); 849ec278ce3SAvi Kivity asm volatile("mov %1, %0" : "=m"(*pw) : "r"((uint16_t)0x88aa)); 850ec278ce3SAvi Kivity report("cross-page mmio write", mem[4095] == 0xaa && mem[4096] == 0x88); 851ec278ce3SAvi Kivity } 852ec278ce3SAvi Kivity 853a19c7db7SXiao Guangrong static void test_string_io_mmio(volatile uint8_t *mem) 854a19c7db7SXiao Guangrong { 855a19c7db7SXiao Guangrong /* Cross MMIO pages.*/ 856a19c7db7SXiao Guangrong volatile uint8_t *mmio = mem + 4032; 857a19c7db7SXiao Guangrong 858a19c7db7SXiao Guangrong asm volatile("outw %%ax, %%dx \n\t" : : "a"(0x9999), "d"(TESTDEV_IO_PORT)); 859a19c7db7SXiao Guangrong 860a19c7db7SXiao Guangrong asm volatile ("cld; rep insb" : : "d" (TESTDEV_IO_PORT), "D" (mmio), "c" (1024)); 861a19c7db7SXiao Guangrong 862a19c7db7SXiao Guangrong report("string_io_mmio", mmio[1023] == 0x99); 863a19c7db7SXiao Guangrong } 864a19c7db7SXiao Guangrong 86556c6afa7SJan Kiszka /* kvm doesn't allow lidt/lgdt from mmio, so the test is disabled */ 86656c6afa7SJan Kiszka #if 0 86747c1461aSAvi Kivity static void test_lgdt_lidt(volatile uint8_t *mem) 86847c1461aSAvi Kivity { 86947c1461aSAvi Kivity struct descriptor_table_ptr orig, fresh = {}; 87047c1461aSAvi Kivity 87147c1461aSAvi Kivity sgdt(&orig); 87247c1461aSAvi Kivity *(struct descriptor_table_ptr *)mem = (struct descriptor_table_ptr) { 87347c1461aSAvi Kivity .limit = 0xf234, 87447c1461aSAvi Kivity .base = 0x12345678abcd, 87547c1461aSAvi Kivity }; 87647c1461aSAvi Kivity cli(); 87747c1461aSAvi Kivity asm volatile("lgdt %0" : : "m"(*(struct descriptor_table_ptr *)mem)); 87847c1461aSAvi Kivity sgdt(&fresh); 87947c1461aSAvi Kivity lgdt(&orig); 88047c1461aSAvi Kivity sti(); 88147c1461aSAvi Kivity report("lgdt (long address)", orig.limit == fresh.limit && orig.base == fresh.base); 88247c1461aSAvi Kivity 88347c1461aSAvi Kivity sidt(&orig); 88447c1461aSAvi Kivity *(struct descriptor_table_ptr *)mem = (struct descriptor_table_ptr) { 88547c1461aSAvi Kivity .limit = 0x432f, 88647c1461aSAvi Kivity .base = 0xdbca87654321, 88747c1461aSAvi Kivity }; 88847c1461aSAvi Kivity cli(); 88947c1461aSAvi Kivity asm volatile("lidt %0" : : "m"(*(struct descriptor_table_ptr *)mem)); 89047c1461aSAvi Kivity sidt(&fresh); 89147c1461aSAvi Kivity lidt(&orig); 89247c1461aSAvi Kivity sti(); 89347c1461aSAvi Kivity report("lidt (long address)", orig.limit == fresh.limit && orig.base == fresh.base); 89447c1461aSAvi Kivity } 89556c6afa7SJan Kiszka #endif 89647c1461aSAvi Kivity 897fc2f880bSAvi Kivity static void ss_bad_rpl(struct ex_regs *regs) 898fc2f880bSAvi Kivity { 899fc2f880bSAvi Kivity extern char ss_bad_rpl_cont; 900fc2f880bSAvi Kivity 901fc2f880bSAvi Kivity ++exceptions; 902fc2f880bSAvi Kivity regs->rip = (ulong)&ss_bad_rpl_cont; 903fc2f880bSAvi Kivity } 904fc2f880bSAvi Kivity 905fc2f880bSAvi Kivity static void test_sreg(volatile uint16_t *mem) 906fc2f880bSAvi Kivity { 907fc2f880bSAvi Kivity u16 ss = read_ss(); 908fc2f880bSAvi Kivity 909fc2f880bSAvi Kivity // check for null segment load 910fc2f880bSAvi Kivity *mem = 0; 911fc2f880bSAvi Kivity asm volatile("mov %0, %%ss" : : "m"(*mem)); 912488b6ffbSPaolo Bonzini report("mov null, %%ss", read_ss() == 0); 913fc2f880bSAvi Kivity 914fc2f880bSAvi Kivity // check for exception when ss.rpl != cpl on null segment load 915fc2f880bSAvi Kivity exceptions = 0; 916fc2f880bSAvi Kivity handle_exception(GP_VECTOR, ss_bad_rpl); 917fc2f880bSAvi Kivity *mem = 3; 918fc2f880bSAvi Kivity asm volatile("mov %0, %%ss; ss_bad_rpl_cont:" : : "m"(*mem)); 919488b6ffbSPaolo Bonzini report("mov null, %%ss (with ss.rpl != cpl)", exceptions == 1 && read_ss() == 0); 920fc2f880bSAvi Kivity handle_exception(GP_VECTOR, 0); 921fc2f880bSAvi Kivity write_ss(ss); 922fc2f880bSAvi Kivity } 923fc2f880bSAvi Kivity 9244425dba6SPeter Feiner /* Broken emulation causes triple fault, which skips the other tests. */ 9254425dba6SPeter Feiner #if 0 926cb615a4dSAvi Kivity static void test_lldt(volatile uint16_t *mem) 927cb615a4dSAvi Kivity { 9284425dba6SPeter Feiner u64 gdt[] = { 0, /* null descriptor */ 9294425dba6SPeter Feiner #ifdef __X86_64__ 9304425dba6SPeter Feiner 0, /* ldt descriptor is 16 bytes in long mode */ 9314425dba6SPeter Feiner #endif 9324425dba6SPeter Feiner 0x0000f82000000ffffull /* ldt descriptor */ }; 9334425dba6SPeter Feiner struct descriptor_table_ptr gdt_ptr = { .limit = sizeof(gdt) - 1, 9344425dba6SPeter Feiner .base = (ulong)&gdt }; 935cb615a4dSAvi Kivity struct descriptor_table_ptr orig_gdt; 936cb615a4dSAvi Kivity 937cb615a4dSAvi Kivity cli(); 938cb615a4dSAvi Kivity sgdt(&orig_gdt); 939cb615a4dSAvi Kivity lgdt(&gdt_ptr); 940cb615a4dSAvi Kivity *mem = 0x8; 941cb615a4dSAvi Kivity asm volatile("lldt %0" : : "m"(*mem)); 942cb615a4dSAvi Kivity lgdt(&orig_gdt); 943cb615a4dSAvi Kivity sti(); 944cb615a4dSAvi Kivity report("lldt", sldt() == *mem); 945cb615a4dSAvi Kivity } 9464425dba6SPeter Feiner #endif 947cb615a4dSAvi Kivity 94858a9d81eSAvi Kivity static void test_ltr(volatile uint16_t *mem) 94958a9d81eSAvi Kivity { 95058a9d81eSAvi Kivity struct descriptor_table_ptr gdt_ptr; 95158a9d81eSAvi Kivity uint64_t *gdt, *trp; 95258a9d81eSAvi Kivity uint16_t tr = str(); 95358a9d81eSAvi Kivity uint64_t busy_mask = (uint64_t)1 << 41; 95458a9d81eSAvi Kivity 95558a9d81eSAvi Kivity sgdt(&gdt_ptr); 95658a9d81eSAvi Kivity gdt = (uint64_t *)gdt_ptr.base; 95758a9d81eSAvi Kivity trp = &gdt[tr >> 3]; 95858a9d81eSAvi Kivity *trp &= ~busy_mask; 95958a9d81eSAvi Kivity *mem = tr; 96058a9d81eSAvi Kivity asm volatile("ltr %0" : : "m"(*mem) : "memory"); 96158a9d81eSAvi Kivity report("ltr", str() == tr && (*trp & busy_mask)); 96258a9d81eSAvi Kivity } 96358a9d81eSAvi Kivity 9646cff92ddSAvi Kivity static void test_simplealu(u32 *mem) 9656cff92ddSAvi Kivity { 9666cff92ddSAvi Kivity *mem = 0x1234; 9676cff92ddSAvi Kivity asm("or %1, %0" : "+m"(*mem) : "r"(0x8001)); 9686cff92ddSAvi Kivity report("or", *mem == 0x9235); 9696cff92ddSAvi Kivity asm("add %1, %0" : "+m"(*mem) : "r"(2)); 9706cff92ddSAvi Kivity report("add", *mem == 0x9237); 9716cff92ddSAvi Kivity asm("xor %1, %0" : "+m"(*mem) : "r"(0x1111)); 9726cff92ddSAvi Kivity report("xor", *mem == 0x8326); 9736cff92ddSAvi Kivity asm("sub %1, %0" : "+m"(*mem) : "r"(0x26)); 9746cff92ddSAvi Kivity report("sub", *mem == 0x8300); 9756cff92ddSAvi Kivity asm("clc; adc %1, %0" : "+m"(*mem) : "r"(0x100)); 9766cff92ddSAvi Kivity report("adc(0)", *mem == 0x8400); 9776cff92ddSAvi Kivity asm("stc; adc %1, %0" : "+m"(*mem) : "r"(0x100)); 9786cff92ddSAvi Kivity report("adc(0)", *mem == 0x8501); 9796cff92ddSAvi Kivity asm("clc; sbb %1, %0" : "+m"(*mem) : "r"(0)); 9806cff92ddSAvi Kivity report("sbb(0)", *mem == 0x8501); 9816cff92ddSAvi Kivity asm("stc; sbb %1, %0" : "+m"(*mem) : "r"(0)); 9826cff92ddSAvi Kivity report("sbb(1)", *mem == 0x8500); 9836cff92ddSAvi Kivity asm("and %1, %0" : "+m"(*mem) : "r"(0xfe77)); 9846cff92ddSAvi Kivity report("and", *mem == 0x8400); 9856cff92ddSAvi Kivity asm("test %1, %0" : "+m"(*mem) : "r"(0xf000)); 9866cff92ddSAvi Kivity report("test", *mem == 0x8400); 9876cff92ddSAvi Kivity } 9886cff92ddSAvi Kivity 98970bdcadbSNadav Amit static void illegal_movbe_handler(struct ex_regs *regs) 99070bdcadbSNadav Amit { 99170bdcadbSNadav Amit extern char bad_movbe_cont; 99270bdcadbSNadav Amit 99370bdcadbSNadav Amit ++exceptions; 99470bdcadbSNadav Amit regs->rip = (ulong)&bad_movbe_cont; 99570bdcadbSNadav Amit } 99670bdcadbSNadav Amit 99770bdcadbSNadav Amit static void test_illegal_movbe(void) 99870bdcadbSNadav Amit { 999*badc98caSKrish Sadhukhan if (!this_cpu_has(X86_FEATURE_MOVBE)) { 100032b9603cSRadim Krčmář report_skip("illegal movbe"); 100170bdcadbSNadav Amit return; 100270bdcadbSNadav Amit } 100370bdcadbSNadav Amit 100470bdcadbSNadav Amit exceptions = 0; 100570bdcadbSNadav Amit handle_exception(UD_VECTOR, illegal_movbe_handler); 100670bdcadbSNadav Amit asm volatile(".byte 0x0f; .byte 0x38; .byte 0xf0; .byte 0xc0;\n\t" 100770bdcadbSNadav Amit " bad_movbe_cont:" : : : "rax"); 100870bdcadbSNadav Amit report("illegal movbe", exceptions == 1); 100970bdcadbSNadav Amit handle_exception(UD_VECTOR, 0); 101070bdcadbSNadav Amit } 101170bdcadbSNadav Amit 101245fdc228SPaolo Bonzini static void record_no_fep(struct ex_regs *regs) 101345fdc228SPaolo Bonzini { 101445fdc228SPaolo Bonzini fep_available = 0; 101545fdc228SPaolo Bonzini regs->rip += KVM_FEP_LENGTH; 101645fdc228SPaolo Bonzini } 101745fdc228SPaolo Bonzini 10187db17e21SThomas Huth int main(void) 10197d36db35SAvi Kivity { 10207d36db35SAvi Kivity void *mem; 102145fdc228SPaolo Bonzini void *insn_page; 10228cfa5a06SAvi Kivity void *insn_ram; 10237d36db35SAvi Kivity unsigned long t1, t2; 10247d36db35SAvi Kivity 10257d36db35SAvi Kivity setup_vm(); 1026a526e20dSAvi Kivity setup_idt(); 102745fdc228SPaolo Bonzini handle_exception(UD_VECTOR, record_no_fep); 102845fdc228SPaolo Bonzini asm(KVM_FEP "nop"); 102945fdc228SPaolo Bonzini handle_exception(UD_VECTOR, 0); 103045fdc228SPaolo Bonzini 1031ec278ce3SAvi Kivity mem = alloc_vpages(2); 1032ec278ce3SAvi Kivity install_page((void *)read_cr3(), IORAM_BASE_PHYS, mem); 1033ec278ce3SAvi Kivity // install the page twice to test cross-page mmio 1034ec278ce3SAvi Kivity install_page((void *)read_cr3(), IORAM_BASE_PHYS, mem + 4096); 1035d7143f32SAvi Kivity insn_page = alloc_page(); 1036d7143f32SAvi Kivity insn_ram = vmap(virt_to_phys(insn_page), 4096); 10377d36db35SAvi Kivity 10387d36db35SAvi Kivity // test mov reg, r/m and mov r/m, reg 10397d36db35SAvi Kivity t1 = 0x123456789abcdef; 10407d36db35SAvi Kivity asm volatile("mov %[t1], (%[mem]) \n\t" 10417d36db35SAvi Kivity "mov (%[mem]), %[t2]" 10427d36db35SAvi Kivity : [t2]"=r"(t2) 10437d36db35SAvi Kivity : [t1]"r"(t1), [mem]"r"(mem) 10447d36db35SAvi Kivity : "memory"); 10457d36db35SAvi Kivity report("mov reg, r/m (1)", t2 == 0x123456789abcdef); 10467d36db35SAvi Kivity 10476cff92ddSAvi Kivity test_simplealu(mem); 10487d36db35SAvi Kivity test_cmps(mem); 104980a4ea7bSAvi Kivity test_scas(mem); 10507d36db35SAvi Kivity 10517d36db35SAvi Kivity test_push(mem); 10527d36db35SAvi Kivity test_pop(mem); 10537d36db35SAvi Kivity 10547d36db35SAvi Kivity test_xchg(mem); 10555647d55cSWei Yongjun test_xadd(mem); 10567d36db35SAvi Kivity 10577d36db35SAvi Kivity test_cr8(); 10587d36db35SAvi Kivity 10594003963dSNadav Amit test_smsw(mem); 10607d36db35SAvi Kivity test_lmsw(); 10617d36db35SAvi Kivity test_ljmp(mem); 10627d36db35SAvi Kivity test_stringio(); 10637d36db35SAvi Kivity test_incdecnotneg(mem); 1064d4655eafSWei Yongjun test_btc(mem); 10652e16c7f6SWei Yongjun test_bsfbsr(mem); 106651d65a3cSAvi Kivity test_imul(mem); 1067c2c43fcfSAvi Kivity test_muldiv(mem); 1068d7f3ee3cSAvi Kivity test_sse(mem); 10693587082bSAvi Kivity test_mmx(mem); 10708cfa5a06SAvi Kivity test_rip_relative(mem, insn_ram); 1071b212fcdaSAvi Kivity test_shld_shrd(mem); 107247c1461aSAvi Kivity //test_lgdt_lidt(mem); 1073fc2f880bSAvi Kivity test_sreg(mem); 10744425dba6SPeter Feiner //test_lldt(mem); 107558a9d81eSAvi Kivity test_ltr(mem); 107630762176SNadav Amit test_cmov(mem); 10777d36db35SAvi Kivity 107845fdc228SPaolo Bonzini if (fep_available) { 107945fdc228SPaolo Bonzini test_mmx_movq_mf(mem); 108045fdc228SPaolo Bonzini test_movabs(mem); 108145fdc228SPaolo Bonzini test_smsw_reg(mem); 108245fdc228SPaolo Bonzini test_nop(mem); 108345fdc228SPaolo Bonzini test_mov_dr(mem); 108445fdc228SPaolo Bonzini } else { 108545fdc228SPaolo Bonzini report_skip("skipping register-only tests, " 108645fdc228SPaolo Bonzini "use kvm.forced_emulation_prefix=1 to enable"); 108745fdc228SPaolo Bonzini } 108845fdc228SPaolo Bonzini 108926311ca9SNadav Amit test_push16(mem); 1090ec278ce3SAvi Kivity test_crosspage_mmio(mem); 1091ec278ce3SAvi Kivity 1092a19c7db7SXiao Guangrong test_string_io_mmio(mem); 1093a19c7db7SXiao Guangrong 1094f413c1afSNadav Amit test_jmp_noncanonical(mem); 109570bdcadbSNadav Amit test_illegal_movbe(); 1096f413c1afSNadav Amit 1097f3cdd159SJan Kiszka return report_summary(); 10987d36db35SAvi Kivity } 1099