xref: /kvm-unit-tests/x86/emulator.c (revision badc98cafea47463b8151eefbc6d4954f6aec6a9)
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