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" 67d36db35SAvi Kivity 77d36db35SAvi Kivity #define memset __builtin_memset 87d36db35SAvi Kivity #define TESTDEV_IO_PORT 0xe0 97d36db35SAvi Kivity 10d7143f32SAvi Kivity static int exceptions; 11d7143f32SAvi Kivity 12c5a2a731SArthur Chunqi Li struct regs { 13c5a2a731SArthur Chunqi Li u64 rax, rbx, rcx, rdx; 14c5a2a731SArthur Chunqi Li u64 rsi, rdi, rsp, rbp; 15c5a2a731SArthur Chunqi Li u64 r8, r9, r10, r11; 16c5a2a731SArthur Chunqi Li u64 r12, r13, r14, r15; 17c5a2a731SArthur Chunqi Li u64 rip, rflags; 18c5a2a731SArthur Chunqi Li }; 19c5a2a731SArthur Chunqi Li struct regs inregs, outregs, save; 20c5a2a731SArthur Chunqi Li 21c5a2a731SArthur Chunqi Li struct insn_desc { 22c5a2a731SArthur Chunqi Li u64 ptr; 23c5a2a731SArthur Chunqi Li size_t len; 24c5a2a731SArthur Chunqi Li }; 25c5a2a731SArthur Chunqi Li 267d36db35SAvi Kivity static char st1[] = "abcdefghijklmnop"; 277d36db35SAvi Kivity 287d36db35SAvi Kivity void test_stringio() 297d36db35SAvi Kivity { 307d36db35SAvi Kivity unsigned char r = 0; 317d36db35SAvi Kivity asm volatile("cld \n\t" 327d36db35SAvi Kivity "movw %0, %%dx \n\t" 337d36db35SAvi Kivity "rep outsb \n\t" 347d36db35SAvi Kivity : : "i"((short)TESTDEV_IO_PORT), 357d36db35SAvi Kivity "S"(st1), "c"(sizeof(st1) - 1)); 367d36db35SAvi Kivity asm volatile("inb %1, %0\n\t" : "=a"(r) : "i"((short)TESTDEV_IO_PORT)); 377d36db35SAvi Kivity report("outsb up", r == st1[sizeof(st1) - 2]); /* last char */ 387d36db35SAvi Kivity 397d36db35SAvi Kivity asm volatile("std \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 + sizeof(st1) - 2), "c"(sizeof(st1) - 1)); 447d36db35SAvi Kivity asm volatile("cld \n\t" : : ); 457d36db35SAvi Kivity asm volatile("in %1, %0\n\t" : "=a"(r) : "i"((short)TESTDEV_IO_PORT)); 467d36db35SAvi Kivity report("outsb down", r == st1[0]); 477d36db35SAvi Kivity } 487d36db35SAvi Kivity 497d36db35SAvi Kivity void test_cmps_one(unsigned char *m1, unsigned char *m3) 507d36db35SAvi Kivity { 517d36db35SAvi Kivity void *rsi, *rdi; 527d36db35SAvi Kivity long rcx, tmp; 537d36db35SAvi Kivity 547d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 30; 557d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 567d36db35SAvi Kivity "repe/cmpsb" 577d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 587d36db35SAvi Kivity : : "cc"); 597d36db35SAvi Kivity report("repe/cmpsb (1)", rcx == 0 && rsi == m1 + 30 && rdi == m3 + 30); 607d36db35SAvi Kivity 6151ba4180SAvi Kivity rsi = m1; rdi = m3; rcx = 30; 6251ba4180SAvi Kivity asm volatile("or $1, %[tmp]\n\t" // clear ZF 6351ba4180SAvi Kivity "repe/cmpsb" 6451ba4180SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 6551ba4180SAvi Kivity : : "cc"); 6651ba4180SAvi Kivity report("repe/cmpsb (1.zf)", rcx == 0 && rsi == m1 + 30 && rdi == m3 + 30); 6751ba4180SAvi Kivity 687d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 15; 697d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 707d36db35SAvi Kivity "repe/cmpsw" 717d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 727d36db35SAvi Kivity : : "cc"); 737d36db35SAvi Kivity report("repe/cmpsw (1)", rcx == 0 && rsi == m1 + 30 && rdi == m3 + 30); 747d36db35SAvi Kivity 757d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 7; 767d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 777d36db35SAvi Kivity "repe/cmpsl" 787d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 797d36db35SAvi Kivity : : "cc"); 807d36db35SAvi Kivity report("repe/cmpll (1)", rcx == 0 && rsi == m1 + 28 && rdi == m3 + 28); 817d36db35SAvi Kivity 827d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 4; 837d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 847d36db35SAvi Kivity "repe/cmpsq" 857d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 867d36db35SAvi Kivity : : "cc"); 877d36db35SAvi Kivity report("repe/cmpsq (1)", rcx == 0 && rsi == m1 + 32 && rdi == m3 + 32); 887d36db35SAvi Kivity 897d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 130; 907d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 917d36db35SAvi Kivity "repe/cmpsb" 927d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 937d36db35SAvi Kivity : : "cc"); 947d36db35SAvi Kivity report("repe/cmpsb (2)", 957d36db35SAvi Kivity rcx == 29 && rsi == m1 + 101 && rdi == m3 + 101); 967d36db35SAvi Kivity 977d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 65; 987d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 997d36db35SAvi Kivity "repe/cmpsw" 1007d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 1017d36db35SAvi Kivity : : "cc"); 1027d36db35SAvi Kivity report("repe/cmpsw (2)", 1037d36db35SAvi Kivity rcx == 14 && rsi == m1 + 102 && rdi == m3 + 102); 1047d36db35SAvi Kivity 1057d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 32; 1067d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 1077d36db35SAvi Kivity "repe/cmpsl" 1087d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 1097d36db35SAvi Kivity : : "cc"); 1107d36db35SAvi Kivity report("repe/cmpll (2)", 1117d36db35SAvi Kivity rcx == 6 && rsi == m1 + 104 && rdi == m3 + 104); 1127d36db35SAvi Kivity 1137d36db35SAvi Kivity rsi = m1; rdi = m3; rcx = 16; 1147d36db35SAvi Kivity asm volatile("xor %[tmp], %[tmp] \n\t" 1157d36db35SAvi Kivity "repe/cmpsq" 1167d36db35SAvi Kivity : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp) 1177d36db35SAvi Kivity : : "cc"); 1187d36db35SAvi Kivity report("repe/cmpsq (2)", 1197d36db35SAvi Kivity rcx == 3 && rsi == m1 + 104 && rdi == m3 + 104); 1207d36db35SAvi Kivity 1217d36db35SAvi Kivity } 1227d36db35SAvi Kivity 1237d36db35SAvi Kivity void test_cmps(void *mem) 1247d36db35SAvi Kivity { 1257d36db35SAvi Kivity unsigned char *m1 = mem, *m2 = mem + 1024; 1267d36db35SAvi Kivity unsigned char m3[1024]; 1277d36db35SAvi Kivity 1287d36db35SAvi Kivity for (int i = 0; i < 100; ++i) 1297d36db35SAvi Kivity m1[i] = m2[i] = m3[i] = i; 1307d36db35SAvi Kivity for (int i = 100; i < 200; ++i) 1317d36db35SAvi Kivity m1[i] = (m3[i] = m2[i] = i) + 1; 1327d36db35SAvi Kivity test_cmps_one(m1, m3); 1337d36db35SAvi Kivity test_cmps_one(m1, m2); 1347d36db35SAvi Kivity } 1357d36db35SAvi Kivity 13680a4ea7bSAvi Kivity void test_scas(void *mem) 13780a4ea7bSAvi Kivity { 13880a4ea7bSAvi Kivity bool z; 13980a4ea7bSAvi Kivity void *di; 14080a4ea7bSAvi Kivity 14180a4ea7bSAvi Kivity *(ulong *)mem = 0x77665544332211; 14280a4ea7bSAvi Kivity 14380a4ea7bSAvi Kivity di = mem; 14480a4ea7bSAvi Kivity asm ("scasb; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff11)); 14580a4ea7bSAvi Kivity report("scasb match", di == mem + 1 && z); 14680a4ea7bSAvi Kivity 14780a4ea7bSAvi Kivity di = mem; 14880a4ea7bSAvi Kivity asm ("scasb; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff54)); 14980a4ea7bSAvi Kivity report("scasb mismatch", di == mem + 1 && !z); 15080a4ea7bSAvi Kivity 15180a4ea7bSAvi Kivity di = mem; 15280a4ea7bSAvi Kivity asm ("scasw; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff2211)); 15380a4ea7bSAvi Kivity report("scasw match", di == mem + 2 && z); 15480a4ea7bSAvi Kivity 15580a4ea7bSAvi Kivity di = mem; 15680a4ea7bSAvi Kivity asm ("scasw; setz %0" : "=rm"(z), "+D"(di) : "a"(0xffdd11)); 15780a4ea7bSAvi Kivity report("scasw mismatch", di == mem + 2 && !z); 15880a4ea7bSAvi Kivity 15980a4ea7bSAvi Kivity di = mem; 16080a4ea7bSAvi Kivity asm ("scasl; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff44332211ul)); 16180a4ea7bSAvi Kivity report("scasd match", di == mem + 4 && z); 16280a4ea7bSAvi Kivity 16380a4ea7bSAvi Kivity di = mem; 16480a4ea7bSAvi Kivity asm ("scasl; setz %0" : "=rm"(z), "+D"(di) : "a"(0x45332211)); 16580a4ea7bSAvi Kivity report("scasd mismatch", di == mem + 4 && !z); 16680a4ea7bSAvi Kivity 16780a4ea7bSAvi Kivity di = mem; 16880a4ea7bSAvi Kivity asm ("scasq; setz %0" : "=rm"(z), "+D"(di) : "a"(0x77665544332211ul)); 16980a4ea7bSAvi Kivity report("scasq match", di == mem + 8 && z); 17080a4ea7bSAvi Kivity 17180a4ea7bSAvi Kivity di = mem; 17280a4ea7bSAvi Kivity asm ("scasq; setz %0" : "=rm"(z), "+D"(di) : "a"(3)); 17380a4ea7bSAvi Kivity report("scasq mismatch", di == mem + 8 && !z); 17480a4ea7bSAvi Kivity } 17580a4ea7bSAvi Kivity 1767d36db35SAvi Kivity void test_cr8(void) 1777d36db35SAvi Kivity { 1787d36db35SAvi Kivity unsigned long src, dst; 1797d36db35SAvi Kivity 1807d36db35SAvi Kivity dst = 777; 1817d36db35SAvi Kivity src = 3; 1827d36db35SAvi Kivity asm volatile("mov %[src], %%cr8; mov %%cr8, %[dst]" 1837d36db35SAvi Kivity : [dst]"+r"(dst), [src]"+r"(src)); 1847d36db35SAvi Kivity report("mov %cr8", dst == 3 && src == 3); 1857d36db35SAvi Kivity } 1867d36db35SAvi Kivity 1877d36db35SAvi Kivity void test_push(void *mem) 1887d36db35SAvi Kivity { 1897d36db35SAvi Kivity unsigned long tmp; 1907d36db35SAvi Kivity unsigned long *stack_top = mem + 4096; 1917d36db35SAvi Kivity unsigned long *new_stack_top; 1927d36db35SAvi Kivity unsigned long memw = 0x123456789abcdeful; 1937d36db35SAvi Kivity 1947d36db35SAvi Kivity memset(mem, 0x55, (void *)stack_top - mem); 1957d36db35SAvi Kivity 1967d36db35SAvi Kivity asm volatile("mov %%rsp, %[tmp] \n\t" 1977d36db35SAvi Kivity "mov %[stack_top], %%rsp \n\t" 1987d36db35SAvi Kivity "pushq $-7 \n\t" 1997d36db35SAvi Kivity "pushq %[reg] \n\t" 2007d36db35SAvi Kivity "pushq (%[mem]) \n\t" 2017d36db35SAvi Kivity "pushq $-7070707 \n\t" 2027d36db35SAvi Kivity "mov %%rsp, %[new_stack_top] \n\t" 2037d36db35SAvi Kivity "mov %[tmp], %%rsp" 2047d36db35SAvi Kivity : [tmp]"=&r"(tmp), [new_stack_top]"=r"(new_stack_top) 2057d36db35SAvi Kivity : [stack_top]"r"(stack_top), 2067d36db35SAvi Kivity [reg]"r"(-17l), [mem]"r"(&memw) 2077d36db35SAvi Kivity : "memory"); 2087d36db35SAvi Kivity 2097d36db35SAvi Kivity report("push $imm8", stack_top[-1] == -7ul); 2107d36db35SAvi Kivity report("push %reg", stack_top[-2] == -17ul); 2117d36db35SAvi Kivity report("push mem", stack_top[-3] == 0x123456789abcdeful); 2127d36db35SAvi Kivity report("push $imm", stack_top[-4] == -7070707); 2137d36db35SAvi Kivity } 2147d36db35SAvi Kivity 2157d36db35SAvi Kivity void test_pop(void *mem) 2167d36db35SAvi Kivity { 21728f04f22SAvi Kivity unsigned long tmp, tmp3, rsp, rbp; 2187d36db35SAvi Kivity unsigned long *stack_top = mem + 4096; 2197d36db35SAvi Kivity unsigned long memw = 0x123456789abcdeful; 2207d36db35SAvi Kivity static unsigned long tmp2; 2217d36db35SAvi Kivity 2227d36db35SAvi Kivity memset(mem, 0x55, (void *)stack_top - mem); 2237d36db35SAvi Kivity 2247d36db35SAvi Kivity asm volatile("pushq %[val] \n\t" 2257d36db35SAvi Kivity "popq (%[mem])" 2267d36db35SAvi Kivity : : [val]"m"(memw), [mem]"r"(mem) : "memory"); 2277d36db35SAvi Kivity report("pop mem", *(unsigned long *)mem == memw); 2287d36db35SAvi Kivity 2297d36db35SAvi Kivity memw = 7 - memw; 2307d36db35SAvi Kivity asm volatile("mov %%rsp, %[tmp] \n\t" 2317d36db35SAvi Kivity "mov %[stack_top], %%rsp \n\t" 2327d36db35SAvi Kivity "pushq %[val] \n\t" 2337d36db35SAvi Kivity "popq %[tmp2] \n\t" 2347d36db35SAvi Kivity "mov %[tmp], %%rsp" 2357d36db35SAvi Kivity : [tmp]"=&r"(tmp), [tmp2]"=m"(tmp2) 2367d36db35SAvi Kivity : [val]"r"(memw), [stack_top]"r"(stack_top) 2377d36db35SAvi Kivity : "memory"); 2387d36db35SAvi Kivity report("pop mem (2)", tmp2 == memw); 2397d36db35SAvi Kivity 2407d36db35SAvi Kivity memw = 129443 - memw; 2417d36db35SAvi Kivity asm volatile("mov %%rsp, %[tmp] \n\t" 2427d36db35SAvi Kivity "mov %[stack_top], %%rsp \n\t" 2437d36db35SAvi Kivity "pushq %[val] \n\t" 2447d36db35SAvi Kivity "popq %[tmp2] \n\t" 2457d36db35SAvi Kivity "mov %[tmp], %%rsp" 2467d36db35SAvi Kivity : [tmp]"=&r"(tmp), [tmp2]"=r"(tmp2) 2477d36db35SAvi Kivity : [val]"r"(memw), [stack_top]"r"(stack_top) 2487d36db35SAvi Kivity : "memory"); 2497d36db35SAvi Kivity report("pop reg", tmp2 == memw); 2507d36db35SAvi Kivity 2517d36db35SAvi Kivity asm volatile("mov %%rsp, %[tmp] \n\t" 2527d36db35SAvi Kivity "mov %[stack_top], %%rsp \n\t" 2537d36db35SAvi Kivity "push $1f \n\t" 2547d36db35SAvi Kivity "ret \n\t" 2557d36db35SAvi Kivity "2: jmp 2b \n\t" 2567d36db35SAvi Kivity "1: mov %[tmp], %%rsp" 2577d36db35SAvi Kivity : [tmp]"=&r"(tmp) : [stack_top]"r"(stack_top) 2587d36db35SAvi Kivity : "memory"); 2597d36db35SAvi Kivity report("ret", 1); 2605269d6e7SAvi Kivity 2615269d6e7SAvi Kivity stack_top[-1] = 0x778899; 2625269d6e7SAvi Kivity asm volatile("mov %%rsp, %[tmp] \n\t" 2635269d6e7SAvi Kivity "mov %%rbp, %[tmp3] \n\t" 2645269d6e7SAvi Kivity "mov %[stack_top], %%rbp \n\t" 2655269d6e7SAvi Kivity "leave \n\t" 2665269d6e7SAvi Kivity "xchg %%rsp, %[tmp] \n\t" 2675269d6e7SAvi Kivity "xchg %%rbp, %[tmp3]" 2685269d6e7SAvi Kivity : [tmp]"=&r"(tmp), [tmp3]"=&r"(tmp3) : [stack_top]"r"(stack_top-1) 2695269d6e7SAvi Kivity : "memory"); 2705269d6e7SAvi Kivity report("leave", tmp == (ulong)stack_top && tmp3 == 0x778899); 27128f04f22SAvi Kivity 27228f04f22SAvi Kivity rbp = 0xaa55aa55bb66bb66ULL; 27328f04f22SAvi Kivity rsp = (unsigned long)stack_top; 27428f04f22SAvi Kivity asm volatile("xchg %%rsp, %[rsp] \n\t" 27528f04f22SAvi Kivity "xchg %%rbp, %[rbp] \n\t" 27628f04f22SAvi Kivity "enter $0x1238, $0 \n\t" 27728f04f22SAvi Kivity "xchg %%rsp, %[rsp] \n\t" 27828f04f22SAvi Kivity "xchg %%rbp, %[rbp]" 27928f04f22SAvi Kivity : [rsp]"+a"(rsp), [rbp]"+b"(rbp) : : "memory"); 28028f04f22SAvi Kivity report("enter", 28128f04f22SAvi Kivity rsp == (unsigned long)stack_top - 8 - 0x1238 28228f04f22SAvi Kivity && rbp == (unsigned long)stack_top - 8 28328f04f22SAvi Kivity && stack_top[-1] == 0xaa55aa55bb66bb66ULL); 2847d36db35SAvi Kivity } 2857d36db35SAvi Kivity 2867d36db35SAvi Kivity void test_ljmp(void *mem) 2877d36db35SAvi Kivity { 2887d36db35SAvi Kivity unsigned char *m = mem; 2897d36db35SAvi Kivity volatile int res = 1; 2907d36db35SAvi Kivity 2917d36db35SAvi Kivity *(unsigned long**)m = &&jmpf; 2927d36db35SAvi Kivity asm volatile ("data16/mov %%cs, %0":"=m"(*(m + sizeof(unsigned long)))); 2937d36db35SAvi Kivity asm volatile ("rex64/ljmp *%0"::"m"(*m)); 2947d36db35SAvi Kivity res = 0; 2957d36db35SAvi Kivity jmpf: 2967d36db35SAvi Kivity report("ljmp", res); 2977d36db35SAvi Kivity } 2987d36db35SAvi Kivity 2997d36db35SAvi Kivity void test_incdecnotneg(void *mem) 3007d36db35SAvi Kivity { 3017d36db35SAvi Kivity unsigned long *m = mem, v = 1234; 3027d36db35SAvi Kivity unsigned char *mb = mem, vb = 66; 3037d36db35SAvi Kivity 3047d36db35SAvi Kivity *m = 0; 3057d36db35SAvi Kivity 3067d36db35SAvi Kivity asm volatile ("incl %0":"+m"(*m)); 3077d36db35SAvi Kivity report("incl", *m == 1); 3087d36db35SAvi Kivity asm volatile ("decl %0":"+m"(*m)); 3097d36db35SAvi Kivity report("decl", *m == 0); 3107d36db35SAvi Kivity asm volatile ("incb %0":"+m"(*m)); 3117d36db35SAvi Kivity report("incb", *m == 1); 3127d36db35SAvi Kivity asm volatile ("decb %0":"+m"(*m)); 3137d36db35SAvi Kivity report("decb", *m == 0); 3147d36db35SAvi Kivity 3157d36db35SAvi Kivity asm volatile ("lock incl %0":"+m"(*m)); 3167d36db35SAvi Kivity report("lock incl", *m == 1); 3177d36db35SAvi Kivity asm volatile ("lock decl %0":"+m"(*m)); 3187d36db35SAvi Kivity report("lock decl", *m == 0); 3197d36db35SAvi Kivity asm volatile ("lock incb %0":"+m"(*m)); 3207d36db35SAvi Kivity report("lock incb", *m == 1); 3217d36db35SAvi Kivity asm volatile ("lock decb %0":"+m"(*m)); 3227d36db35SAvi Kivity report("lock decb", *m == 0); 3237d36db35SAvi Kivity 3247d36db35SAvi Kivity *m = v; 3257d36db35SAvi Kivity 3267d36db35SAvi Kivity asm ("lock negq %0" : "+m"(*m)); v = -v; 3277d36db35SAvi Kivity report("lock negl", *m == v); 3287d36db35SAvi Kivity asm ("lock notq %0" : "+m"(*m)); v = ~v; 3297d36db35SAvi Kivity report("lock notl", *m == v); 3307d36db35SAvi Kivity 3317d36db35SAvi Kivity *mb = vb; 3327d36db35SAvi Kivity 3337d36db35SAvi Kivity asm ("lock negb %0" : "+m"(*mb)); vb = -vb; 3347d36db35SAvi Kivity report("lock negb", *mb == vb); 3357d36db35SAvi Kivity asm ("lock notb %0" : "+m"(*mb)); vb = ~vb; 3367d36db35SAvi Kivity report("lock notb", *mb == vb); 3377d36db35SAvi Kivity } 3387d36db35SAvi Kivity 3397d36db35SAvi Kivity void test_smsw(void) 3407d36db35SAvi Kivity { 3417d36db35SAvi Kivity char mem[16]; 3427d36db35SAvi Kivity unsigned short msw, msw_orig, *pmsw; 3437d36db35SAvi Kivity int i, zero; 3447d36db35SAvi Kivity 3457d36db35SAvi Kivity msw_orig = read_cr0(); 3467d36db35SAvi Kivity 3477d36db35SAvi Kivity asm("smsw %0" : "=r"(msw)); 3487d36db35SAvi Kivity report("smsw (1)", msw == msw_orig); 3497d36db35SAvi Kivity 3507d36db35SAvi Kivity memset(mem, 0, 16); 3517d36db35SAvi Kivity pmsw = (void *)mem; 3527d36db35SAvi Kivity asm("smsw %0" : "=m"(pmsw[4])); 3537d36db35SAvi Kivity zero = 1; 3547d36db35SAvi Kivity for (i = 0; i < 8; ++i) 3557d36db35SAvi Kivity if (i != 4 && pmsw[i]) 3567d36db35SAvi Kivity zero = 0; 3577d36db35SAvi Kivity report("smsw (2)", msw == pmsw[4] && zero); 3587d36db35SAvi Kivity } 3597d36db35SAvi Kivity 3607d36db35SAvi Kivity void test_lmsw(void) 3617d36db35SAvi Kivity { 3627d36db35SAvi Kivity char mem[16]; 3637d36db35SAvi Kivity unsigned short msw, *pmsw; 3647d36db35SAvi Kivity unsigned long cr0; 3657d36db35SAvi Kivity 3667d36db35SAvi Kivity cr0 = read_cr0(); 3677d36db35SAvi Kivity 3687d36db35SAvi Kivity msw = cr0 ^ 8; 3697d36db35SAvi Kivity asm("lmsw %0" : : "r"(msw)); 3707d36db35SAvi Kivity printf("before %lx after %lx\n", cr0, read_cr0()); 3717d36db35SAvi Kivity report("lmsw (1)", (cr0 ^ read_cr0()) == 8); 3727d36db35SAvi Kivity 3737d36db35SAvi Kivity pmsw = (void *)mem; 3747d36db35SAvi Kivity *pmsw = cr0; 3757d36db35SAvi Kivity asm("lmsw %0" : : "m"(*pmsw)); 3767d36db35SAvi Kivity printf("before %lx after %lx\n", cr0, read_cr0()); 3777d36db35SAvi Kivity report("lmsw (2)", cr0 == read_cr0()); 3787d36db35SAvi Kivity 3797d36db35SAvi Kivity /* lmsw can't clear cr0.pe */ 3807d36db35SAvi Kivity msw = (cr0 & ~1ul) ^ 4; /* change EM to force trap */ 3817d36db35SAvi Kivity asm("lmsw %0" : : "r"(msw)); 3827d36db35SAvi Kivity report("lmsw (3)", (cr0 ^ read_cr0()) == 4 && (cr0 & 1)); 3837d36db35SAvi Kivity 3847d36db35SAvi Kivity /* back to normal */ 3857d36db35SAvi Kivity msw = cr0; 3867d36db35SAvi Kivity asm("lmsw %0" : : "r"(msw)); 3877d36db35SAvi Kivity } 3887d36db35SAvi Kivity 3897d36db35SAvi Kivity void test_xchg(void *mem) 3907d36db35SAvi Kivity { 3917d36db35SAvi Kivity unsigned long *memq = mem; 3927d36db35SAvi Kivity unsigned long rax; 3937d36db35SAvi Kivity 3947d36db35SAvi Kivity asm volatile("mov $0x123456789abcdef, %%rax\n\t" 3957d36db35SAvi Kivity "mov %%rax, (%[memq])\n\t" 3967d36db35SAvi Kivity "mov $0xfedcba9876543210, %%rax\n\t" 3977d36db35SAvi Kivity "xchg %%al, (%[memq])\n\t" 3987d36db35SAvi Kivity "mov %%rax, %[rax]\n\t" 3997d36db35SAvi Kivity : [rax]"=r"(rax) 4007d36db35SAvi Kivity : [memq]"r"(memq) 4017d36db35SAvi Kivity : "memory"); 4027d36db35SAvi Kivity report("xchg reg, r/m (1)", 4037d36db35SAvi Kivity rax == 0xfedcba98765432ef && *memq == 0x123456789abcd10); 4047d36db35SAvi Kivity 4057d36db35SAvi Kivity asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4067d36db35SAvi Kivity "mov %%rax, (%[memq])\n\t" 4077d36db35SAvi Kivity "mov $0xfedcba9876543210, %%rax\n\t" 4087d36db35SAvi Kivity "xchg %%ax, (%[memq])\n\t" 4097d36db35SAvi Kivity "mov %%rax, %[rax]\n\t" 4107d36db35SAvi Kivity : [rax]"=r"(rax) 4117d36db35SAvi Kivity : [memq]"r"(memq) 4127d36db35SAvi Kivity : "memory"); 4137d36db35SAvi Kivity report("xchg reg, r/m (2)", 4147d36db35SAvi Kivity rax == 0xfedcba987654cdef && *memq == 0x123456789ab3210); 4157d36db35SAvi Kivity 4167d36db35SAvi Kivity asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4177d36db35SAvi Kivity "mov %%rax, (%[memq])\n\t" 4187d36db35SAvi Kivity "mov $0xfedcba9876543210, %%rax\n\t" 4197d36db35SAvi Kivity "xchg %%eax, (%[memq])\n\t" 4207d36db35SAvi Kivity "mov %%rax, %[rax]\n\t" 4217d36db35SAvi Kivity : [rax]"=r"(rax) 4227d36db35SAvi Kivity : [memq]"r"(memq) 4237d36db35SAvi Kivity : "memory"); 4247d36db35SAvi Kivity report("xchg reg, r/m (3)", 4257d36db35SAvi Kivity rax == 0x89abcdef && *memq == 0x123456776543210); 4267d36db35SAvi Kivity 4277d36db35SAvi Kivity asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4287d36db35SAvi Kivity "mov %%rax, (%[memq])\n\t" 4297d36db35SAvi Kivity "mov $0xfedcba9876543210, %%rax\n\t" 4307d36db35SAvi Kivity "xchg %%rax, (%[memq])\n\t" 4317d36db35SAvi Kivity "mov %%rax, %[rax]\n\t" 4327d36db35SAvi Kivity : [rax]"=r"(rax) 4337d36db35SAvi Kivity : [memq]"r"(memq) 4347d36db35SAvi Kivity : "memory"); 4357d36db35SAvi Kivity report("xchg reg, r/m (4)", 4367d36db35SAvi Kivity rax == 0x123456789abcdef && *memq == 0xfedcba9876543210); 4377d36db35SAvi Kivity } 4387d36db35SAvi Kivity 4395647d55cSWei Yongjun void test_xadd(void *mem) 4405647d55cSWei Yongjun { 4415647d55cSWei Yongjun unsigned long *memq = mem; 4425647d55cSWei Yongjun unsigned long rax; 4435647d55cSWei Yongjun 4445647d55cSWei Yongjun asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4455647d55cSWei Yongjun "mov %%rax, (%[memq])\n\t" 4465647d55cSWei Yongjun "mov $0xfedcba9876543210, %%rax\n\t" 4475647d55cSWei Yongjun "xadd %%al, (%[memq])\n\t" 4485647d55cSWei Yongjun "mov %%rax, %[rax]\n\t" 4495647d55cSWei Yongjun : [rax]"=r"(rax) 4505647d55cSWei Yongjun : [memq]"r"(memq) 4515647d55cSWei Yongjun : "memory"); 4525647d55cSWei Yongjun report("xadd reg, r/m (1)", 4535647d55cSWei Yongjun rax == 0xfedcba98765432ef && *memq == 0x123456789abcdff); 4545647d55cSWei Yongjun 4555647d55cSWei Yongjun asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4565647d55cSWei Yongjun "mov %%rax, (%[memq])\n\t" 4575647d55cSWei Yongjun "mov $0xfedcba9876543210, %%rax\n\t" 4585647d55cSWei Yongjun "xadd %%ax, (%[memq])\n\t" 4595647d55cSWei Yongjun "mov %%rax, %[rax]\n\t" 4605647d55cSWei Yongjun : [rax]"=r"(rax) 4615647d55cSWei Yongjun : [memq]"r"(memq) 4625647d55cSWei Yongjun : "memory"); 4635647d55cSWei Yongjun report("xadd reg, r/m (2)", 4645647d55cSWei Yongjun rax == 0xfedcba987654cdef && *memq == 0x123456789abffff); 4655647d55cSWei Yongjun 4665647d55cSWei Yongjun asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4675647d55cSWei Yongjun "mov %%rax, (%[memq])\n\t" 4685647d55cSWei Yongjun "mov $0xfedcba9876543210, %%rax\n\t" 4695647d55cSWei Yongjun "xadd %%eax, (%[memq])\n\t" 4705647d55cSWei Yongjun "mov %%rax, %[rax]\n\t" 4715647d55cSWei Yongjun : [rax]"=r"(rax) 4725647d55cSWei Yongjun : [memq]"r"(memq) 4735647d55cSWei Yongjun : "memory"); 4745647d55cSWei Yongjun report("xadd reg, r/m (3)", 4755647d55cSWei Yongjun rax == 0x89abcdef && *memq == 0x1234567ffffffff); 4765647d55cSWei Yongjun 4775647d55cSWei Yongjun asm volatile("mov $0x123456789abcdef, %%rax\n\t" 4785647d55cSWei Yongjun "mov %%rax, (%[memq])\n\t" 4795647d55cSWei Yongjun "mov $0xfedcba9876543210, %%rax\n\t" 4805647d55cSWei Yongjun "xadd %%rax, (%[memq])\n\t" 4815647d55cSWei Yongjun "mov %%rax, %[rax]\n\t" 4825647d55cSWei Yongjun : [rax]"=r"(rax) 4835647d55cSWei Yongjun : [memq]"r"(memq) 4845647d55cSWei Yongjun : "memory"); 4855647d55cSWei Yongjun report("xadd reg, r/m (4)", 4865647d55cSWei Yongjun rax == 0x123456789abcdef && *memq == 0xffffffffffffffff); 4875647d55cSWei Yongjun } 4885647d55cSWei Yongjun 489d4655eafSWei Yongjun void test_btc(void *mem) 490d4655eafSWei Yongjun { 491d4655eafSWei Yongjun unsigned int *a = mem; 492d4655eafSWei Yongjun 493d4655eafSWei Yongjun memset(mem, 0, 3 * sizeof(unsigned int)); 494d4655eafSWei Yongjun 495d4655eafSWei Yongjun asm ("btcl $32, %0" :: "m"(a[0]) : "memory"); 496d4655eafSWei Yongjun asm ("btcl $1, %0" :: "m"(a[1]) : "memory"); 497d4655eafSWei Yongjun asm ("btcl %1, %0" :: "m"(a[0]), "r"(66) : "memory"); 498d4655eafSWei Yongjun report("btcl imm8, r/m", a[0] == 1 && a[1] == 2 && a[2] == 4); 499d4655eafSWei Yongjun 500d4655eafSWei Yongjun asm ("btcl %1, %0" :: "m"(a[3]), "r"(-1) : "memory"); 501d4655eafSWei Yongjun report("btcl reg, r/m", a[0] == 1 && a[1] == 2 && a[2] == 0x80000004); 502d4655eafSWei Yongjun } 503d4655eafSWei Yongjun 5042e16c7f6SWei Yongjun void test_bsfbsr(void *mem) 5052e16c7f6SWei Yongjun { 506554de466SAvi Kivity unsigned long rax, *memq = mem; 507554de466SAvi Kivity unsigned eax, *meml = mem; 508554de466SAvi Kivity unsigned short ax, *memw = mem; 509554de466SAvi Kivity unsigned char z; 5102e16c7f6SWei Yongjun 511554de466SAvi Kivity *memw = 0xc000; 512554de466SAvi Kivity asm("bsfw %[mem], %[a]" : [a]"=a"(ax) : [mem]"m"(*memw)); 513554de466SAvi Kivity report("bsfw r/m, reg", ax == 14); 5142e16c7f6SWei Yongjun 515554de466SAvi Kivity *meml = 0xc0000000; 516554de466SAvi Kivity asm("bsfl %[mem], %[a]" : [a]"=a"(eax) : [mem]"m"(*meml)); 517554de466SAvi Kivity report("bsfl r/m, reg", eax == 30); 5182e16c7f6SWei Yongjun 519554de466SAvi Kivity *memq = 0xc00000000000; 520554de466SAvi Kivity asm("bsfq %[mem], %[a]" : [a]"=a"(rax) : [mem]"m"(*memq)); 5212e16c7f6SWei Yongjun report("bsfq r/m, reg", rax == 46); 5222e16c7f6SWei Yongjun 523554de466SAvi Kivity *memq = 0; 524554de466SAvi Kivity asm("bsfq %[mem], %[a]; setz %[z]" 525554de466SAvi Kivity : [a]"=a"(rax), [z]"=rm"(z) : [mem]"m"(*memq)); 526554de466SAvi Kivity report("bsfq r/m, reg", z == 1); 5272e16c7f6SWei Yongjun 528554de466SAvi Kivity *memw = 0xc000; 529554de466SAvi Kivity asm("bsrw %[mem], %[a]" : [a]"=a"(ax) : [mem]"m"(*memw)); 530554de466SAvi Kivity report("bsrw r/m, reg", ax == 15); 5312e16c7f6SWei Yongjun 532554de466SAvi Kivity *meml = 0xc0000000; 533554de466SAvi Kivity asm("bsrl %[mem], %[a]" : [a]"=a"(eax) : [mem]"m"(*meml)); 534554de466SAvi Kivity report("bsrl r/m, reg", eax == 31); 5352e16c7f6SWei Yongjun 536554de466SAvi Kivity *memq = 0xc00000000000; 537554de466SAvi Kivity asm("bsrq %[mem], %[a]" : [a]"=a"(rax) : [mem]"m"(*memq)); 5382e16c7f6SWei Yongjun report("bsrq r/m, reg", rax == 47); 5392e16c7f6SWei Yongjun 540554de466SAvi Kivity *memq = 0; 541554de466SAvi Kivity asm("bsrq %[mem], %[a]; setz %[z]" 542554de466SAvi Kivity : [a]"=a"(rax), [z]"=rm"(z) : [mem]"m"(*memq)); 543554de466SAvi Kivity report("bsrq r/m, reg", z == 1); 5442e16c7f6SWei Yongjun } 5452e16c7f6SWei Yongjun 54651d65a3cSAvi Kivity static void test_imul(ulong *mem) 54751d65a3cSAvi Kivity { 54851d65a3cSAvi Kivity ulong a; 54951d65a3cSAvi Kivity 55051d65a3cSAvi Kivity *mem = 51; a = 0x1234567812345678UL; 55151d65a3cSAvi Kivity asm ("imulw %1, %%ax" : "+a"(a) : "m"(*mem)); 55251d65a3cSAvi Kivity report("imul ax, mem", a == 0x12345678123439e8); 55351d65a3cSAvi Kivity 55451d65a3cSAvi Kivity *mem = 51; a = 0x1234567812345678UL; 55551d65a3cSAvi Kivity asm ("imull %1, %%eax" : "+a"(a) : "m"(*mem)); 55651d65a3cSAvi Kivity report("imul eax, mem", a == 0xa06d39e8); 55751d65a3cSAvi Kivity 55851d65a3cSAvi Kivity *mem = 51; a = 0x1234567812345678UL; 55951d65a3cSAvi Kivity asm ("imulq %1, %%rax" : "+a"(a) : "m"(*mem)); 56051d65a3cSAvi Kivity report("imul rax, mem", a == 0xA06D39EBA06D39E8UL); 56151d65a3cSAvi Kivity 56251d65a3cSAvi Kivity *mem = 0x1234567812345678UL; a = 0x8765432187654321L; 56351d65a3cSAvi Kivity asm ("imulw $51, %1, %%ax" : "+a"(a) : "m"(*mem)); 56451d65a3cSAvi Kivity report("imul ax, mem, imm8", a == 0x87654321876539e8); 56551d65a3cSAvi Kivity 56651d65a3cSAvi Kivity *mem = 0x1234567812345678UL; 56751d65a3cSAvi Kivity asm ("imull $51, %1, %%eax" : "+a"(a) : "m"(*mem)); 56851d65a3cSAvi Kivity report("imul eax, mem, imm8", a == 0xa06d39e8); 56951d65a3cSAvi Kivity 57051d65a3cSAvi Kivity *mem = 0x1234567812345678UL; 57151d65a3cSAvi Kivity asm ("imulq $51, %1, %%rax" : "+a"(a) : "m"(*mem)); 57251d65a3cSAvi Kivity report("imul rax, mem, imm8", a == 0xA06D39EBA06D39E8UL); 57351d65a3cSAvi Kivity 57451d65a3cSAvi Kivity *mem = 0x1234567812345678UL; a = 0x8765432187654321L; 57551d65a3cSAvi Kivity asm ("imulw $311, %1, %%ax" : "+a"(a) : "m"(*mem)); 57651d65a3cSAvi Kivity report("imul ax, mem, imm", a == 0x8765432187650bc8); 57751d65a3cSAvi Kivity 57851d65a3cSAvi Kivity *mem = 0x1234567812345678UL; 57951d65a3cSAvi Kivity asm ("imull $311, %1, %%eax" : "+a"(a) : "m"(*mem)); 58051d65a3cSAvi Kivity report("imul eax, mem, imm", a == 0x1d950bc8); 58151d65a3cSAvi Kivity 58251d65a3cSAvi Kivity *mem = 0x1234567812345678UL; 58351d65a3cSAvi Kivity asm ("imulq $311, %1, %%rax" : "+a"(a) : "m"(*mem)); 58451d65a3cSAvi Kivity report("imul rax, mem, imm", a == 0x1D950BDE1D950BC8L); 58551d65a3cSAvi Kivity } 58651d65a3cSAvi Kivity 587c2c43fcfSAvi Kivity static void test_muldiv(long *mem) 588f12d86b0SAvi Kivity { 589c2c43fcfSAvi Kivity long a, d, aa, dd; 590f12d86b0SAvi Kivity u8 ex = 1; 591f12d86b0SAvi Kivity 592f12d86b0SAvi Kivity *mem = 0; a = 1; d = 2; 593f12d86b0SAvi Kivity asm (ASM_TRY("1f") "divq %3; movb $0, %2; 1:" 594f12d86b0SAvi Kivity : "+a"(a), "+d"(d), "+q"(ex) : "m"(*mem)); 595f12d86b0SAvi Kivity report("divq (fault)", a == 1 && d == 2 && ex); 596f12d86b0SAvi Kivity 597f12d86b0SAvi Kivity *mem = 987654321098765UL; a = 123456789012345UL; d = 123456789012345UL; 598f12d86b0SAvi Kivity asm (ASM_TRY("1f") "divq %3; movb $0, %2; 1:" 599f12d86b0SAvi Kivity : "+a"(a), "+d"(d), "+q"(ex) : "m"(*mem)); 600f12d86b0SAvi Kivity report("divq (1)", 601f12d86b0SAvi Kivity a == 0x1ffffffb1b963b33ul && d == 0x273ba4384ede2ul && !ex); 602c2c43fcfSAvi Kivity aa = 0x1111111111111111; dd = 0x2222222222222222; 603c2c43fcfSAvi Kivity *mem = 0x3333333333333333; a = aa; d = dd; 604c2c43fcfSAvi Kivity asm("mulb %2" : "+a"(a), "+d"(d) : "m"(*mem)); 605c2c43fcfSAvi Kivity report("mulb mem", a == 0x1111111111110363 && d == dd); 606c2c43fcfSAvi Kivity *mem = 0x3333333333333333; a = aa; d = dd; 607c2c43fcfSAvi Kivity asm("mulw %2" : "+a"(a), "+d"(d) : "m"(*mem)); 608c2c43fcfSAvi Kivity report("mulw mem", a == 0x111111111111c963 && d == 0x2222222222220369); 609c2c43fcfSAvi Kivity *mem = 0x3333333333333333; a = aa; d = dd; 610c2c43fcfSAvi Kivity asm("mull %2" : "+a"(a), "+d"(d) : "m"(*mem)); 611c2c43fcfSAvi Kivity report("mull mem", a == 0x962fc963 && d == 0x369d036); 612c2c43fcfSAvi Kivity *mem = 0x3333333333333333; a = aa; d = dd; 613c2c43fcfSAvi Kivity asm("mulq %2" : "+a"(a), "+d"(d) : "m"(*mem)); 614c2c43fcfSAvi Kivity report("mulq mem", a == 0x2fc962fc962fc963 && d == 0x369d0369d0369d0); 615f12d86b0SAvi Kivity } 616f12d86b0SAvi Kivity 617d7f3ee3cSAvi Kivity typedef unsigned __attribute__((vector_size(16))) sse128; 618d7f3ee3cSAvi Kivity 619d7f3ee3cSAvi Kivity typedef union { 620d7f3ee3cSAvi Kivity sse128 sse; 621d7f3ee3cSAvi Kivity unsigned u[4]; 622d7f3ee3cSAvi Kivity } sse_union; 623d7f3ee3cSAvi Kivity 624d7f3ee3cSAvi Kivity static bool sseeq(sse_union *v1, sse_union *v2) 625d7f3ee3cSAvi Kivity { 626d7f3ee3cSAvi Kivity bool ok = true; 627d7f3ee3cSAvi Kivity int i; 628d7f3ee3cSAvi Kivity 629d7f3ee3cSAvi Kivity for (i = 0; i < 4; ++i) { 630d7f3ee3cSAvi Kivity ok &= v1->u[i] == v2->u[i]; 631d7f3ee3cSAvi Kivity } 632d7f3ee3cSAvi Kivity 633d7f3ee3cSAvi Kivity return ok; 634d7f3ee3cSAvi Kivity } 635d7f3ee3cSAvi Kivity 636d7f3ee3cSAvi Kivity static void test_sse(sse_union *mem) 637d7f3ee3cSAvi Kivity { 638d7f3ee3cSAvi Kivity sse_union v; 639d7f3ee3cSAvi Kivity 640d7f3ee3cSAvi Kivity write_cr0(read_cr0() & ~6); /* EM, TS */ 641d7f3ee3cSAvi Kivity write_cr4(read_cr4() | 0x200); /* OSFXSR */ 642d7f3ee3cSAvi Kivity v.u[0] = 1; v.u[1] = 2; v.u[2] = 3; v.u[3] = 4; 643d7f3ee3cSAvi Kivity asm("movdqu %1, %0" : "=m"(*mem) : "x"(v.sse)); 644d7f3ee3cSAvi Kivity report("movdqu (read)", sseeq(&v, mem)); 645d7f3ee3cSAvi Kivity mem->u[0] = 5; mem->u[1] = 6; mem->u[2] = 7; mem->u[3] = 8; 646d7f3ee3cSAvi Kivity asm("movdqu %1, %0" : "=x"(v.sse) : "m"(*mem)); 647d7f3ee3cSAvi Kivity report("movdqu (write)", sseeq(mem, &v)); 648d7f3ee3cSAvi Kivity } 649d7f3ee3cSAvi Kivity 6503587082bSAvi Kivity static void test_mmx(uint64_t *mem) 6513587082bSAvi Kivity { 6523587082bSAvi Kivity uint64_t v; 6533587082bSAvi Kivity 6543587082bSAvi Kivity write_cr0(read_cr0() & ~6); /* EM, TS */ 6553587082bSAvi Kivity asm volatile("fninit"); 6563587082bSAvi Kivity v = 0x0102030405060708ULL; 6573587082bSAvi Kivity asm("movq %1, %0" : "=m"(*mem) : "y"(v)); 6583587082bSAvi Kivity report("movq (mmx, read)", v == *mem); 6593587082bSAvi Kivity *mem = 0x8070605040302010ull; 6603587082bSAvi Kivity asm("movq %1, %0" : "=y"(v) : "m"(*mem)); 6613587082bSAvi Kivity report("movq (mmx, write)", v == *mem); 6623587082bSAvi Kivity } 6633587082bSAvi Kivity 6648cfa5a06SAvi Kivity static void test_rip_relative(unsigned *mem, char *insn_ram) 6658cfa5a06SAvi Kivity { 6668cfa5a06SAvi Kivity /* movb $1, mem+2(%rip) */ 6678cfa5a06SAvi Kivity insn_ram[0] = 0xc6; 6688cfa5a06SAvi Kivity insn_ram[1] = 0x05; 6698cfa5a06SAvi Kivity *(unsigned *)&insn_ram[2] = 2 + (char *)mem - (insn_ram + 7); 6708cfa5a06SAvi Kivity insn_ram[6] = 0x01; 6718cfa5a06SAvi Kivity /* ret */ 6728cfa5a06SAvi Kivity insn_ram[7] = 0xc3; 6738cfa5a06SAvi Kivity 6748cfa5a06SAvi Kivity *mem = 0; 6758cfa5a06SAvi Kivity asm("callq *%1" : "+m"(*mem) : "r"(insn_ram)); 6768cfa5a06SAvi Kivity report("movb $imm, 0(%rip)", *mem == 0x10000); 6778cfa5a06SAvi Kivity } 678d7f3ee3cSAvi Kivity 679b212fcdaSAvi Kivity static void test_shld_shrd(u32 *mem) 680b212fcdaSAvi Kivity { 681b212fcdaSAvi Kivity *mem = 0x12345678; 682b212fcdaSAvi Kivity asm("shld %2, %1, %0" : "+m"(*mem) : "r"(0xaaaaaaaaU), "c"((u8)3)); 683b212fcdaSAvi Kivity report("shld (cl)", *mem == ((0x12345678 << 3) | 5)); 684b212fcdaSAvi Kivity *mem = 0x12345678; 685b212fcdaSAvi Kivity asm("shrd %2, %1, %0" : "+m"(*mem) : "r"(0x55555555U), "c"((u8)3)); 686b212fcdaSAvi Kivity report("shrd (cl)", *mem == ((0x12345678 >> 3) | (5u << 29))); 687b212fcdaSAvi Kivity } 688b212fcdaSAvi Kivity 689c5a2a731SArthur Chunqi Li #define INSN_XCHG_ALL \ 690c5a2a731SArthur Chunqi Li "xchg %rax, 0+save \n\t" \ 691c5a2a731SArthur Chunqi Li "xchg %rbx, 8+save \n\t" \ 692c5a2a731SArthur Chunqi Li "xchg %rcx, 16+save \n\t" \ 693c5a2a731SArthur Chunqi Li "xchg %rdx, 24+save \n\t" \ 694c5a2a731SArthur Chunqi Li "xchg %rsi, 32+save \n\t" \ 695c5a2a731SArthur Chunqi Li "xchg %rdi, 40+save \n\t" \ 696c5a2a731SArthur Chunqi Li "xchg %rsp, 48+save \n\t" \ 697c5a2a731SArthur Chunqi Li "xchg %rbp, 56+save \n\t" \ 698c5a2a731SArthur Chunqi Li "xchg %r8, 64+save \n\t" \ 699c5a2a731SArthur Chunqi Li "xchg %r9, 72+save \n\t" \ 700c5a2a731SArthur Chunqi Li "xchg %r10, 80+save \n\t" \ 701c5a2a731SArthur Chunqi Li "xchg %r11, 88+save \n\t" \ 702c5a2a731SArthur Chunqi Li "xchg %r12, 96+save \n\t" \ 703c5a2a731SArthur Chunqi Li "xchg %r13, 104+save \n\t" \ 704c5a2a731SArthur Chunqi Li "xchg %r14, 112+save \n\t" \ 705c5a2a731SArthur Chunqi Li "xchg %r15, 120+save \n\t" 706c5a2a731SArthur Chunqi Li 707c5a2a731SArthur Chunqi Li asm( 708c5a2a731SArthur Chunqi Li ".align 4096\n\t" 709c5a2a731SArthur Chunqi Li "insn_page:\n\t" 710c5a2a731SArthur Chunqi Li "ret\n\t" 711c5a2a731SArthur Chunqi Li "pushf\n\t" 712c5a2a731SArthur Chunqi Li "push 136+save \n\t" 713c5a2a731SArthur Chunqi Li "popf \n\t" 714c5a2a731SArthur Chunqi Li INSN_XCHG_ALL 715c5a2a731SArthur Chunqi Li "test_insn:\n\t" 716c5a2a731SArthur Chunqi Li "in (%dx),%al\n\t" 717c5a2a731SArthur Chunqi Li ".skip 31, 0x90\n\t" 718c5a2a731SArthur Chunqi Li "test_insn_end:\n\t" 719c5a2a731SArthur Chunqi Li INSN_XCHG_ALL 720c5a2a731SArthur Chunqi Li "pushf \n\t" 721c5a2a731SArthur Chunqi Li "pop 136+save \n\t" 722c5a2a731SArthur Chunqi Li "popf \n\t" 723c5a2a731SArthur Chunqi Li "ret \n\t" 724c5a2a731SArthur Chunqi Li "insn_page_end:\n\t" 725c5a2a731SArthur Chunqi Li ".align 4096\n\t" 726c5a2a731SArthur Chunqi Li ); 727c5a2a731SArthur Chunqi Li 728c5a2a731SArthur Chunqi Li #define MK_INSN(name, str) \ 729c5a2a731SArthur Chunqi Li asm ( \ 730c5a2a731SArthur Chunqi Li ".pushsection .data.insn \n\t" \ 731c5a2a731SArthur Chunqi Li "insn_" #name ": \n\t" \ 732c5a2a731SArthur Chunqi Li ".quad 1001f, 1002f - 1001f \n\t" \ 733c5a2a731SArthur Chunqi Li ".popsection \n\t" \ 734c5a2a731SArthur Chunqi Li ".pushsection .text.insn, \"ax\" \n\t" \ 735c5a2a731SArthur Chunqi Li "1001: \n\t" \ 736c5a2a731SArthur Chunqi Li "insn_code_" #name ": " str " \n\t" \ 737c5a2a731SArthur Chunqi Li "1002: \n\t" \ 738c5a2a731SArthur Chunqi Li ".popsection" \ 739c5a2a731SArthur Chunqi Li ); \ 740c5a2a731SArthur Chunqi Li extern struct insn_desc insn_##name; 741c5a2a731SArthur Chunqi Li 742c5a2a731SArthur Chunqi Li static void trap_emulator(uint64_t *mem, void *alt_insn_page, 743c5a2a731SArthur Chunqi Li struct insn_desc *alt_insn) 744c5a2a731SArthur Chunqi Li { 745c5a2a731SArthur Chunqi Li ulong *cr3 = (ulong *)read_cr3(); 746c5a2a731SArthur Chunqi Li void *insn_ram; 747c5a2a731SArthur Chunqi Li extern u8 insn_page[], test_insn[]; 748c5a2a731SArthur Chunqi Li 749c5a2a731SArthur Chunqi Li insn_ram = vmap(virt_to_phys(insn_page), 4096); 750c5a2a731SArthur Chunqi Li memcpy(alt_insn_page, insn_page, 4096); 751c5a2a731SArthur Chunqi Li memcpy(alt_insn_page + (test_insn - insn_page), 752c5a2a731SArthur Chunqi Li (void *)(alt_insn->ptr), alt_insn->len); 753c5a2a731SArthur Chunqi Li save = inregs; 754c5a2a731SArthur Chunqi Li 755c5a2a731SArthur Chunqi Li /* Load the code TLB with insn_page, but point the page tables at 756c5a2a731SArthur Chunqi Li alt_insn_page (and keep the data TLB clear, for AMD decode assist). 757c5a2a731SArthur Chunqi Li This will make the CPU trap on the insn_page instruction but the 758c5a2a731SArthur Chunqi Li hypervisor will see alt_insn_page. */ 759c5a2a731SArthur Chunqi Li install_page(cr3, virt_to_phys(insn_page), insn_ram); 760c5a2a731SArthur Chunqi Li invlpg(insn_ram); 761c5a2a731SArthur Chunqi Li /* Load code TLB */ 762c5a2a731SArthur Chunqi Li asm volatile("call *%0" : : "r"(insn_ram)); 763c5a2a731SArthur Chunqi Li install_page(cr3, virt_to_phys(alt_insn_page), insn_ram); 764c5a2a731SArthur Chunqi Li /* Trap, let hypervisor emulate at alt_insn_page */ 765c5a2a731SArthur Chunqi Li asm volatile("call *%0": : "r"(insn_ram+1)); 766c5a2a731SArthur Chunqi Li 767c5a2a731SArthur Chunqi Li outregs = save; 768c5a2a731SArthur Chunqi Li } 769c5a2a731SArthur Chunqi Li 770d7143f32SAvi Kivity static void advance_rip_by_3_and_note_exception(struct ex_regs *regs) 771d7143f32SAvi Kivity { 772d7143f32SAvi Kivity ++exceptions; 773d7143f32SAvi Kivity regs->rip += 3; 774d7143f32SAvi Kivity } 775d7143f32SAvi Kivity 776d7143f32SAvi Kivity static void test_mmx_movq_mf(uint64_t *mem, uint8_t *insn_page, 777d7143f32SAvi Kivity uint8_t *alt_insn_page, void *insn_ram) 778d7143f32SAvi Kivity { 7793af6fbbeSArthur Chunqi Li uint16_t fcw = 0; /* all exceptions unmasked */ 7803af6fbbeSArthur Chunqi Li /* movq %mm0, (%rax) */ 7813af6fbbeSArthur Chunqi Li void *stack = alloc_page(); 782d7143f32SAvi Kivity 7833af6fbbeSArthur Chunqi Li write_cr0(read_cr0() & ~6); /* TS, EM */ 784d7143f32SAvi Kivity exceptions = 0; 785d7143f32SAvi Kivity handle_exception(MF_VECTOR, advance_rip_by_3_and_note_exception); 786d7143f32SAvi Kivity asm volatile("fninit; fldcw %0" : : "m"(fcw)); 7873af6fbbeSArthur Chunqi Li asm volatile("fldz; fldz; fdivp"); /* generate exception */ 7883af6fbbeSArthur Chunqi Li 7893af6fbbeSArthur Chunqi Li MK_INSN(mmx_movq_mf, "movq %mm0, (%rax) \n\t"); 7903af6fbbeSArthur Chunqi Li inregs = (struct regs){ .rsp=(u64)stack+1024 }; 7913af6fbbeSArthur Chunqi Li trap_emulator(mem, alt_insn_page, &insn_mmx_movq_mf); 7923af6fbbeSArthur Chunqi Li /* exit MMX mode */ 793d7143f32SAvi Kivity asm volatile("fnclex; emms"); 794d7143f32SAvi Kivity report("movq mmx generates #MF", exceptions == 1); 795d7143f32SAvi Kivity handle_exception(MF_VECTOR, 0); 796d7143f32SAvi Kivity } 797d7143f32SAvi Kivity 79859033f47SPaolo Bonzini static void test_movabs(uint64_t *mem, uint8_t *insn_page, 79959033f47SPaolo Bonzini uint8_t *alt_insn_page, void *insn_ram) 80059033f47SPaolo Bonzini { 8013af6fbbeSArthur Chunqi Li /* mov $0x9090909090909090, %rcx */ 8023af6fbbeSArthur Chunqi Li MK_INSN(movabs, "mov $0x9090909090909090, %rcx\n\t"); 8033af6fbbeSArthur Chunqi Li inregs = (struct regs){ 0 }; 8043af6fbbeSArthur Chunqi Li trap_emulator(mem, alt_insn_page, &insn_movabs); 8053af6fbbeSArthur Chunqi Li report("64-bit mov imm2", outregs.rcx == 0x9090909090909090); 80659033f47SPaolo Bonzini } 80759033f47SPaolo Bonzini 808ec278ce3SAvi Kivity static void test_crosspage_mmio(volatile uint8_t *mem) 809ec278ce3SAvi Kivity { 810ec278ce3SAvi Kivity volatile uint16_t w, *pw; 811ec278ce3SAvi Kivity 812ec278ce3SAvi Kivity pw = (volatile uint16_t *)&mem[4095]; 813ec278ce3SAvi Kivity mem[4095] = 0x99; 814ec278ce3SAvi Kivity mem[4096] = 0x77; 815ec278ce3SAvi Kivity asm volatile("mov %1, %0" : "=r"(w) : "m"(*pw) : "memory"); 816ec278ce3SAvi Kivity report("cross-page mmio read", w == 0x7799); 817ec278ce3SAvi Kivity asm volatile("mov %1, %0" : "=m"(*pw) : "r"((uint16_t)0x88aa)); 818ec278ce3SAvi Kivity report("cross-page mmio write", mem[4095] == 0xaa && mem[4096] == 0x88); 819ec278ce3SAvi Kivity } 820ec278ce3SAvi Kivity 821a19c7db7SXiao Guangrong static void test_string_io_mmio(volatile uint8_t *mem) 822a19c7db7SXiao Guangrong { 823a19c7db7SXiao Guangrong /* Cross MMIO pages.*/ 824a19c7db7SXiao Guangrong volatile uint8_t *mmio = mem + 4032; 825a19c7db7SXiao Guangrong 826a19c7db7SXiao Guangrong asm volatile("outw %%ax, %%dx \n\t" : : "a"(0x9999), "d"(TESTDEV_IO_PORT)); 827a19c7db7SXiao Guangrong 828a19c7db7SXiao Guangrong asm volatile ("cld; rep insb" : : "d" (TESTDEV_IO_PORT), "D" (mmio), "c" (1024)); 829a19c7db7SXiao Guangrong 830a19c7db7SXiao Guangrong report("string_io_mmio", mmio[1023] == 0x99); 831a19c7db7SXiao Guangrong } 832a19c7db7SXiao Guangrong 83356c6afa7SJan Kiszka /* kvm doesn't allow lidt/lgdt from mmio, so the test is disabled */ 83456c6afa7SJan Kiszka #if 0 83547c1461aSAvi Kivity static void test_lgdt_lidt(volatile uint8_t *mem) 83647c1461aSAvi Kivity { 83747c1461aSAvi Kivity struct descriptor_table_ptr orig, fresh = {}; 83847c1461aSAvi Kivity 83947c1461aSAvi Kivity sgdt(&orig); 84047c1461aSAvi Kivity *(struct descriptor_table_ptr *)mem = (struct descriptor_table_ptr) { 84147c1461aSAvi Kivity .limit = 0xf234, 84247c1461aSAvi Kivity .base = 0x12345678abcd, 84347c1461aSAvi Kivity }; 84447c1461aSAvi Kivity cli(); 84547c1461aSAvi Kivity asm volatile("lgdt %0" : : "m"(*(struct descriptor_table_ptr *)mem)); 84647c1461aSAvi Kivity sgdt(&fresh); 84747c1461aSAvi Kivity lgdt(&orig); 84847c1461aSAvi Kivity sti(); 84947c1461aSAvi Kivity report("lgdt (long address)", orig.limit == fresh.limit && orig.base == fresh.base); 85047c1461aSAvi Kivity 85147c1461aSAvi Kivity sidt(&orig); 85247c1461aSAvi Kivity *(struct descriptor_table_ptr *)mem = (struct descriptor_table_ptr) { 85347c1461aSAvi Kivity .limit = 0x432f, 85447c1461aSAvi Kivity .base = 0xdbca87654321, 85547c1461aSAvi Kivity }; 85647c1461aSAvi Kivity cli(); 85747c1461aSAvi Kivity asm volatile("lidt %0" : : "m"(*(struct descriptor_table_ptr *)mem)); 85847c1461aSAvi Kivity sidt(&fresh); 85947c1461aSAvi Kivity lidt(&orig); 86047c1461aSAvi Kivity sti(); 86147c1461aSAvi Kivity report("lidt (long address)", orig.limit == fresh.limit && orig.base == fresh.base); 86247c1461aSAvi Kivity } 86356c6afa7SJan Kiszka #endif 86447c1461aSAvi Kivity 865fc2f880bSAvi Kivity static void ss_bad_rpl(struct ex_regs *regs) 866fc2f880bSAvi Kivity { 867fc2f880bSAvi Kivity extern char ss_bad_rpl_cont; 868fc2f880bSAvi Kivity 869fc2f880bSAvi Kivity ++exceptions; 870fc2f880bSAvi Kivity regs->rip = (ulong)&ss_bad_rpl_cont; 871fc2f880bSAvi Kivity } 872fc2f880bSAvi Kivity 873fc2f880bSAvi Kivity static void test_sreg(volatile uint16_t *mem) 874fc2f880bSAvi Kivity { 875fc2f880bSAvi Kivity u16 ss = read_ss(); 876fc2f880bSAvi Kivity 877fc2f880bSAvi Kivity // check for null segment load 878fc2f880bSAvi Kivity *mem = 0; 879fc2f880bSAvi Kivity asm volatile("mov %0, %%ss" : : "m"(*mem)); 880fc2f880bSAvi Kivity report("mov null, %ss", read_ss() == 0); 881fc2f880bSAvi Kivity 882fc2f880bSAvi Kivity // check for exception when ss.rpl != cpl on null segment load 883fc2f880bSAvi Kivity exceptions = 0; 884fc2f880bSAvi Kivity handle_exception(GP_VECTOR, ss_bad_rpl); 885fc2f880bSAvi Kivity *mem = 3; 886fc2f880bSAvi Kivity asm volatile("mov %0, %%ss; ss_bad_rpl_cont:" : : "m"(*mem)); 887fc2f880bSAvi Kivity report("mov null, %ss (with ss.rpl != cpl)", exceptions == 1 && read_ss() == 0); 888fc2f880bSAvi Kivity handle_exception(GP_VECTOR, 0); 889fc2f880bSAvi Kivity write_ss(ss); 890fc2f880bSAvi Kivity } 891fc2f880bSAvi Kivity 892cb615a4dSAvi Kivity static void test_lldt(volatile uint16_t *mem) 893cb615a4dSAvi Kivity { 894cb615a4dSAvi Kivity u64 gdt[] = { 0, 0x0000f82000000ffffull /* ldt descriptor */ }; 895cb615a4dSAvi Kivity struct descriptor_table_ptr gdt_ptr = { .limit = 0xffff, .base = (ulong)&gdt }; 896cb615a4dSAvi Kivity struct descriptor_table_ptr orig_gdt; 897cb615a4dSAvi Kivity 898cb615a4dSAvi Kivity cli(); 899cb615a4dSAvi Kivity sgdt(&orig_gdt); 900cb615a4dSAvi Kivity lgdt(&gdt_ptr); 901cb615a4dSAvi Kivity *mem = 0x8; 902cb615a4dSAvi Kivity asm volatile("lldt %0" : : "m"(*mem)); 903cb615a4dSAvi Kivity lgdt(&orig_gdt); 904cb615a4dSAvi Kivity sti(); 905cb615a4dSAvi Kivity report("lldt", sldt() == *mem); 906cb615a4dSAvi Kivity } 907cb615a4dSAvi Kivity 90858a9d81eSAvi Kivity static void test_ltr(volatile uint16_t *mem) 90958a9d81eSAvi Kivity { 91058a9d81eSAvi Kivity struct descriptor_table_ptr gdt_ptr; 91158a9d81eSAvi Kivity uint64_t *gdt, *trp; 91258a9d81eSAvi Kivity uint16_t tr = str(); 91358a9d81eSAvi Kivity uint64_t busy_mask = (uint64_t)1 << 41; 91458a9d81eSAvi Kivity 91558a9d81eSAvi Kivity sgdt(&gdt_ptr); 91658a9d81eSAvi Kivity gdt = (uint64_t *)gdt_ptr.base; 91758a9d81eSAvi Kivity trp = &gdt[tr >> 3]; 91858a9d81eSAvi Kivity *trp &= ~busy_mask; 91958a9d81eSAvi Kivity *mem = tr; 92058a9d81eSAvi Kivity asm volatile("ltr %0" : : "m"(*mem) : "memory"); 92158a9d81eSAvi Kivity report("ltr", str() == tr && (*trp & busy_mask)); 92258a9d81eSAvi Kivity } 92358a9d81eSAvi Kivity 9246cff92ddSAvi Kivity static void test_simplealu(u32 *mem) 9256cff92ddSAvi Kivity { 9266cff92ddSAvi Kivity *mem = 0x1234; 9276cff92ddSAvi Kivity asm("or %1, %0" : "+m"(*mem) : "r"(0x8001)); 9286cff92ddSAvi Kivity report("or", *mem == 0x9235); 9296cff92ddSAvi Kivity asm("add %1, %0" : "+m"(*mem) : "r"(2)); 9306cff92ddSAvi Kivity report("add", *mem == 0x9237); 9316cff92ddSAvi Kivity asm("xor %1, %0" : "+m"(*mem) : "r"(0x1111)); 9326cff92ddSAvi Kivity report("xor", *mem == 0x8326); 9336cff92ddSAvi Kivity asm("sub %1, %0" : "+m"(*mem) : "r"(0x26)); 9346cff92ddSAvi Kivity report("sub", *mem == 0x8300); 9356cff92ddSAvi Kivity asm("clc; adc %1, %0" : "+m"(*mem) : "r"(0x100)); 9366cff92ddSAvi Kivity report("adc(0)", *mem == 0x8400); 9376cff92ddSAvi Kivity asm("stc; adc %1, %0" : "+m"(*mem) : "r"(0x100)); 9386cff92ddSAvi Kivity report("adc(0)", *mem == 0x8501); 9396cff92ddSAvi Kivity asm("clc; sbb %1, %0" : "+m"(*mem) : "r"(0)); 9406cff92ddSAvi Kivity report("sbb(0)", *mem == 0x8501); 9416cff92ddSAvi Kivity asm("stc; sbb %1, %0" : "+m"(*mem) : "r"(0)); 9426cff92ddSAvi Kivity report("sbb(1)", *mem == 0x8500); 9436cff92ddSAvi Kivity asm("and %1, %0" : "+m"(*mem) : "r"(0xfe77)); 9446cff92ddSAvi Kivity report("and", *mem == 0x8400); 9456cff92ddSAvi Kivity asm("test %1, %0" : "+m"(*mem) : "r"(0xf000)); 9466cff92ddSAvi Kivity report("test", *mem == 0x8400); 9476cff92ddSAvi Kivity } 9486cff92ddSAvi Kivity 9497d36db35SAvi Kivity int main() 9507d36db35SAvi Kivity { 9517d36db35SAvi Kivity void *mem; 952d7143f32SAvi Kivity void *insn_page, *alt_insn_page; 9538cfa5a06SAvi Kivity void *insn_ram; 9547d36db35SAvi Kivity unsigned long t1, t2; 9557d36db35SAvi Kivity 9567d36db35SAvi Kivity setup_vm(); 957a526e20dSAvi Kivity setup_idt(); 958ec278ce3SAvi Kivity mem = alloc_vpages(2); 959ec278ce3SAvi Kivity install_page((void *)read_cr3(), IORAM_BASE_PHYS, mem); 960ec278ce3SAvi Kivity // install the page twice to test cross-page mmio 961ec278ce3SAvi Kivity install_page((void *)read_cr3(), IORAM_BASE_PHYS, mem + 4096); 962d7143f32SAvi Kivity insn_page = alloc_page(); 963d7143f32SAvi Kivity alt_insn_page = alloc_page(); 964d7143f32SAvi Kivity insn_ram = vmap(virt_to_phys(insn_page), 4096); 9657d36db35SAvi Kivity 9667d36db35SAvi Kivity // test mov reg, r/m and mov r/m, reg 9677d36db35SAvi Kivity t1 = 0x123456789abcdef; 9687d36db35SAvi Kivity asm volatile("mov %[t1], (%[mem]) \n\t" 9697d36db35SAvi Kivity "mov (%[mem]), %[t2]" 9707d36db35SAvi Kivity : [t2]"=r"(t2) 9717d36db35SAvi Kivity : [t1]"r"(t1), [mem]"r"(mem) 9727d36db35SAvi Kivity : "memory"); 9737d36db35SAvi Kivity report("mov reg, r/m (1)", t2 == 0x123456789abcdef); 9747d36db35SAvi Kivity 9756cff92ddSAvi Kivity test_simplealu(mem); 9767d36db35SAvi Kivity test_cmps(mem); 97780a4ea7bSAvi Kivity test_scas(mem); 9787d36db35SAvi Kivity 9797d36db35SAvi Kivity test_push(mem); 9807d36db35SAvi Kivity test_pop(mem); 9817d36db35SAvi Kivity 9827d36db35SAvi Kivity test_xchg(mem); 9835647d55cSWei Yongjun test_xadd(mem); 9847d36db35SAvi Kivity 9857d36db35SAvi Kivity test_cr8(); 9867d36db35SAvi Kivity 9877d36db35SAvi Kivity test_smsw(); 9887d36db35SAvi Kivity test_lmsw(); 9897d36db35SAvi Kivity test_ljmp(mem); 9907d36db35SAvi Kivity test_stringio(); 9917d36db35SAvi Kivity test_incdecnotneg(mem); 992d4655eafSWei Yongjun test_btc(mem); 9932e16c7f6SWei Yongjun test_bsfbsr(mem); 99451d65a3cSAvi Kivity test_imul(mem); 995c2c43fcfSAvi Kivity test_muldiv(mem); 996d7f3ee3cSAvi Kivity test_sse(mem); 9973587082bSAvi Kivity test_mmx(mem); 9988cfa5a06SAvi Kivity test_rip_relative(mem, insn_ram); 999b212fcdaSAvi Kivity test_shld_shrd(mem); 100047c1461aSAvi Kivity //test_lgdt_lidt(mem); 1001fc2f880bSAvi Kivity test_sreg(mem); 1002cb615a4dSAvi Kivity test_lldt(mem); 100358a9d81eSAvi Kivity test_ltr(mem); 10047d36db35SAvi Kivity 1005d7143f32SAvi Kivity test_mmx_movq_mf(mem, insn_page, alt_insn_page, insn_ram); 100659033f47SPaolo Bonzini test_movabs(mem, insn_page, alt_insn_page, insn_ram); 1007d7143f32SAvi Kivity 1008ec278ce3SAvi Kivity test_crosspage_mmio(mem); 1009ec278ce3SAvi Kivity 1010a19c7db7SXiao Guangrong test_string_io_mmio(mem); 1011a19c7db7SXiao Guangrong 1012*f3cdd159SJan Kiszka return report_summary(); 10137d36db35SAvi Kivity } 1014