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