xref: /kvm-unit-tests/x86/emulator.c (revision 51ba418039e70baa7af2842c9c5dd09eb7f38183)
17d36db35SAvi Kivity #include "ioram.h"
27d36db35SAvi Kivity #include "vm.h"
37d36db35SAvi Kivity #include "libcflat.h"
47d36db35SAvi Kivity 
57d36db35SAvi Kivity #define memset __builtin_memset
67d36db35SAvi Kivity #define TESTDEV_IO_PORT 0xe0
77d36db35SAvi Kivity 
87d36db35SAvi Kivity int fails, tests;
97d36db35SAvi Kivity 
107d36db35SAvi Kivity void report(const char *name, int result)
117d36db35SAvi Kivity {
127d36db35SAvi Kivity 	++tests;
137d36db35SAvi Kivity 	if (result)
147d36db35SAvi Kivity 		printf("PASS: %s\n", name);
157d36db35SAvi Kivity 	else {
167d36db35SAvi Kivity 		printf("FAIL: %s\n", name);
177d36db35SAvi Kivity 		++fails;
187d36db35SAvi Kivity 	}
197d36db35SAvi Kivity }
207d36db35SAvi Kivity 
217d36db35SAvi Kivity static char st1[] = "abcdefghijklmnop";
227d36db35SAvi Kivity 
237d36db35SAvi Kivity void test_stringio()
247d36db35SAvi Kivity {
257d36db35SAvi Kivity 	unsigned char r = 0;
267d36db35SAvi Kivity 	asm volatile("cld \n\t"
277d36db35SAvi Kivity 		     "movw %0, %%dx \n\t"
287d36db35SAvi Kivity 		     "rep outsb \n\t"
297d36db35SAvi Kivity 		     : : "i"((short)TESTDEV_IO_PORT),
307d36db35SAvi Kivity 		       "S"(st1), "c"(sizeof(st1) - 1));
317d36db35SAvi Kivity 	asm volatile("inb %1, %0\n\t" : "=a"(r) : "i"((short)TESTDEV_IO_PORT));
327d36db35SAvi Kivity 	report("outsb up", r == st1[sizeof(st1) - 2]); /* last char */
337d36db35SAvi Kivity 
347d36db35SAvi Kivity 	asm volatile("std \n\t"
357d36db35SAvi Kivity 		     "movw %0, %%dx \n\t"
367d36db35SAvi Kivity 		     "rep outsb \n\t"
377d36db35SAvi Kivity 		     : : "i"((short)TESTDEV_IO_PORT),
387d36db35SAvi Kivity 		       "S"(st1 + sizeof(st1) - 2), "c"(sizeof(st1) - 1));
397d36db35SAvi Kivity 	asm volatile("cld \n\t" : : );
407d36db35SAvi Kivity 	asm volatile("in %1, %0\n\t" : "=a"(r) : "i"((short)TESTDEV_IO_PORT));
417d36db35SAvi Kivity 	report("outsb down", r == st1[0]);
427d36db35SAvi Kivity }
437d36db35SAvi Kivity 
447d36db35SAvi Kivity void test_cmps_one(unsigned char *m1, unsigned char *m3)
457d36db35SAvi Kivity {
467d36db35SAvi Kivity 	void *rsi, *rdi;
477d36db35SAvi Kivity 	long rcx, tmp;
487d36db35SAvi Kivity 
497d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 30;
507d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
517d36db35SAvi Kivity 		     "repe/cmpsb"
527d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
537d36db35SAvi Kivity 		     : : "cc");
547d36db35SAvi Kivity 	report("repe/cmpsb (1)", rcx == 0 && rsi == m1 + 30 && rdi == m3 + 30);
557d36db35SAvi Kivity 
56*51ba4180SAvi Kivity 	rsi = m1; rdi = m3; rcx = 30;
57*51ba4180SAvi Kivity 	asm volatile("or $1, %[tmp]\n\t" // clear ZF
58*51ba4180SAvi Kivity 		     "repe/cmpsb"
59*51ba4180SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
60*51ba4180SAvi Kivity 		     : : "cc");
61*51ba4180SAvi Kivity 	report("repe/cmpsb (1.zf)", rcx == 0 && rsi == m1 + 30 && rdi == m3 + 30);
62*51ba4180SAvi Kivity 
637d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 15;
647d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
657d36db35SAvi Kivity 		     "repe/cmpsw"
667d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
677d36db35SAvi Kivity 		     : : "cc");
687d36db35SAvi Kivity 	report("repe/cmpsw (1)", rcx == 0 && rsi == m1 + 30 && rdi == m3 + 30);
697d36db35SAvi Kivity 
707d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 7;
717d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
727d36db35SAvi Kivity 		     "repe/cmpsl"
737d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
747d36db35SAvi Kivity 		     : : "cc");
757d36db35SAvi Kivity 	report("repe/cmpll (1)", rcx == 0 && rsi == m1 + 28 && rdi == m3 + 28);
767d36db35SAvi Kivity 
777d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 4;
787d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
797d36db35SAvi Kivity 		     "repe/cmpsq"
807d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
817d36db35SAvi Kivity 		     : : "cc");
827d36db35SAvi Kivity 	report("repe/cmpsq (1)", rcx == 0 && rsi == m1 + 32 && rdi == m3 + 32);
837d36db35SAvi Kivity 
847d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 130;
857d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
867d36db35SAvi Kivity 		     "repe/cmpsb"
877d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
887d36db35SAvi Kivity 		     : : "cc");
897d36db35SAvi Kivity 	report("repe/cmpsb (2)",
907d36db35SAvi Kivity 	       rcx == 29 && rsi == m1 + 101 && rdi == m3 + 101);
917d36db35SAvi Kivity 
927d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 65;
937d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
947d36db35SAvi Kivity 		     "repe/cmpsw"
957d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
967d36db35SAvi Kivity 		     : : "cc");
977d36db35SAvi Kivity 	report("repe/cmpsw (2)",
987d36db35SAvi Kivity 	       rcx == 14 && rsi == m1 + 102 && rdi == m3 + 102);
997d36db35SAvi Kivity 
1007d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 32;
1017d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
1027d36db35SAvi Kivity 		     "repe/cmpsl"
1037d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
1047d36db35SAvi Kivity 		     : : "cc");
1057d36db35SAvi Kivity 	report("repe/cmpll (2)",
1067d36db35SAvi Kivity 	       rcx == 6 && rsi == m1 + 104 && rdi == m3 + 104);
1077d36db35SAvi Kivity 
1087d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 16;
1097d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
1107d36db35SAvi Kivity 		     "repe/cmpsq"
1117d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
1127d36db35SAvi Kivity 		     : : "cc");
1137d36db35SAvi Kivity 	report("repe/cmpsq (2)",
1147d36db35SAvi Kivity 	       rcx == 3 && rsi == m1 + 104 && rdi == m3 + 104);
1157d36db35SAvi Kivity 
1167d36db35SAvi Kivity }
1177d36db35SAvi Kivity 
1187d36db35SAvi Kivity void test_cmps(void *mem)
1197d36db35SAvi Kivity {
1207d36db35SAvi Kivity 	unsigned char *m1 = mem, *m2 = mem + 1024;
1217d36db35SAvi Kivity 	unsigned char m3[1024];
1227d36db35SAvi Kivity 
1237d36db35SAvi Kivity 	for (int i = 0; i < 100; ++i)
1247d36db35SAvi Kivity 		m1[i] = m2[i] = m3[i] = i;
1257d36db35SAvi Kivity 	for (int i = 100; i < 200; ++i)
1267d36db35SAvi Kivity 		m1[i] = (m3[i] = m2[i] = i) + 1;
1277d36db35SAvi Kivity 	test_cmps_one(m1, m3);
1287d36db35SAvi Kivity 	test_cmps_one(m1, m2);
1297d36db35SAvi Kivity }
1307d36db35SAvi Kivity 
13180a4ea7bSAvi Kivity void test_scas(void *mem)
13280a4ea7bSAvi Kivity {
13380a4ea7bSAvi Kivity     bool z;
13480a4ea7bSAvi Kivity     void *di;
13580a4ea7bSAvi Kivity 
13680a4ea7bSAvi Kivity     *(ulong *)mem = 0x77665544332211;
13780a4ea7bSAvi Kivity 
13880a4ea7bSAvi Kivity     di = mem;
13980a4ea7bSAvi Kivity     asm ("scasb; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff11));
14080a4ea7bSAvi Kivity     report("scasb match", di == mem + 1 && z);
14180a4ea7bSAvi Kivity 
14280a4ea7bSAvi Kivity     di = mem;
14380a4ea7bSAvi Kivity     asm ("scasb; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff54));
14480a4ea7bSAvi Kivity     report("scasb mismatch", di == mem + 1 && !z);
14580a4ea7bSAvi Kivity 
14680a4ea7bSAvi Kivity     di = mem;
14780a4ea7bSAvi Kivity     asm ("scasw; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff2211));
14880a4ea7bSAvi Kivity     report("scasw match", di == mem + 2 && z);
14980a4ea7bSAvi Kivity 
15080a4ea7bSAvi Kivity     di = mem;
15180a4ea7bSAvi Kivity     asm ("scasw; setz %0" : "=rm"(z), "+D"(di) : "a"(0xffdd11));
15280a4ea7bSAvi Kivity     report("scasw mismatch", di == mem + 2 && !z);
15380a4ea7bSAvi Kivity 
15480a4ea7bSAvi Kivity     di = mem;
15580a4ea7bSAvi Kivity     asm ("scasl; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff44332211ul));
15680a4ea7bSAvi Kivity     report("scasd match", di == mem + 4 && z);
15780a4ea7bSAvi Kivity 
15880a4ea7bSAvi Kivity     di = mem;
15980a4ea7bSAvi Kivity     asm ("scasl; setz %0" : "=rm"(z), "+D"(di) : "a"(0x45332211));
16080a4ea7bSAvi Kivity     report("scasd mismatch", di == mem + 4 && !z);
16180a4ea7bSAvi Kivity 
16280a4ea7bSAvi Kivity     di = mem;
16380a4ea7bSAvi Kivity     asm ("scasq; setz %0" : "=rm"(z), "+D"(di) : "a"(0x77665544332211ul));
16480a4ea7bSAvi Kivity     report("scasq match", di == mem + 8 && z);
16580a4ea7bSAvi Kivity 
16680a4ea7bSAvi Kivity     di = mem;
16780a4ea7bSAvi Kivity     asm ("scasq; setz %0" : "=rm"(z), "+D"(di) : "a"(3));
16880a4ea7bSAvi Kivity     report("scasq mismatch", di == mem + 8 && !z);
16980a4ea7bSAvi Kivity }
17080a4ea7bSAvi Kivity 
1717d36db35SAvi Kivity void test_cr8(void)
1727d36db35SAvi Kivity {
1737d36db35SAvi Kivity 	unsigned long src, dst;
1747d36db35SAvi Kivity 
1757d36db35SAvi Kivity 	dst = 777;
1767d36db35SAvi Kivity 	src = 3;
1777d36db35SAvi Kivity 	asm volatile("mov %[src], %%cr8; mov %%cr8, %[dst]"
1787d36db35SAvi Kivity 		     : [dst]"+r"(dst), [src]"+r"(src));
1797d36db35SAvi Kivity 	report("mov %cr8", dst == 3 && src == 3);
1807d36db35SAvi Kivity }
1817d36db35SAvi Kivity 
1827d36db35SAvi Kivity void test_push(void *mem)
1837d36db35SAvi Kivity {
1847d36db35SAvi Kivity 	unsigned long tmp;
1857d36db35SAvi Kivity 	unsigned long *stack_top = mem + 4096;
1867d36db35SAvi Kivity 	unsigned long *new_stack_top;
1877d36db35SAvi Kivity 	unsigned long memw = 0x123456789abcdeful;
1887d36db35SAvi Kivity 
1897d36db35SAvi Kivity 	memset(mem, 0x55, (void *)stack_top - mem);
1907d36db35SAvi Kivity 
1917d36db35SAvi Kivity 	asm volatile("mov %%rsp, %[tmp] \n\t"
1927d36db35SAvi Kivity 		     "mov %[stack_top], %%rsp \n\t"
1937d36db35SAvi Kivity 		     "pushq $-7 \n\t"
1947d36db35SAvi Kivity 		     "pushq %[reg] \n\t"
1957d36db35SAvi Kivity 		     "pushq (%[mem]) \n\t"
1967d36db35SAvi Kivity 		     "pushq $-7070707 \n\t"
1977d36db35SAvi Kivity 		     "mov %%rsp, %[new_stack_top] \n\t"
1987d36db35SAvi Kivity 		     "mov %[tmp], %%rsp"
1997d36db35SAvi Kivity 		     : [tmp]"=&r"(tmp), [new_stack_top]"=r"(new_stack_top)
2007d36db35SAvi Kivity 		     : [stack_top]"r"(stack_top),
2017d36db35SAvi Kivity 		       [reg]"r"(-17l), [mem]"r"(&memw)
2027d36db35SAvi Kivity 		     : "memory");
2037d36db35SAvi Kivity 
2047d36db35SAvi Kivity 	report("push $imm8", stack_top[-1] == -7ul);
2057d36db35SAvi Kivity 	report("push %reg", stack_top[-2] == -17ul);
2067d36db35SAvi Kivity 	report("push mem", stack_top[-3] == 0x123456789abcdeful);
2077d36db35SAvi Kivity 	report("push $imm", stack_top[-4] == -7070707);
2087d36db35SAvi Kivity }
2097d36db35SAvi Kivity 
2107d36db35SAvi Kivity void test_pop(void *mem)
2117d36db35SAvi Kivity {
2127d36db35SAvi Kivity 	unsigned long tmp;
2137d36db35SAvi Kivity 	unsigned long *stack_top = mem + 4096;
2147d36db35SAvi Kivity 	unsigned long memw = 0x123456789abcdeful;
2157d36db35SAvi Kivity 	static unsigned long tmp2;
2167d36db35SAvi Kivity 
2177d36db35SAvi Kivity 	memset(mem, 0x55, (void *)stack_top - mem);
2187d36db35SAvi Kivity 
2197d36db35SAvi Kivity 	asm volatile("pushq %[val] \n\t"
2207d36db35SAvi Kivity 		     "popq (%[mem])"
2217d36db35SAvi Kivity 		     : : [val]"m"(memw), [mem]"r"(mem) : "memory");
2227d36db35SAvi Kivity 	report("pop mem", *(unsigned long *)mem == memw);
2237d36db35SAvi Kivity 
2247d36db35SAvi Kivity 	memw = 7 - memw;
2257d36db35SAvi Kivity 	asm volatile("mov %%rsp, %[tmp] \n\t"
2267d36db35SAvi Kivity 		     "mov %[stack_top], %%rsp \n\t"
2277d36db35SAvi Kivity 		     "pushq %[val] \n\t"
2287d36db35SAvi Kivity 		     "popq %[tmp2] \n\t"
2297d36db35SAvi Kivity 		     "mov %[tmp], %%rsp"
2307d36db35SAvi Kivity 		     : [tmp]"=&r"(tmp), [tmp2]"=m"(tmp2)
2317d36db35SAvi Kivity 		     : [val]"r"(memw), [stack_top]"r"(stack_top)
2327d36db35SAvi Kivity 		     : "memory");
2337d36db35SAvi Kivity 	report("pop mem (2)", tmp2 == memw);
2347d36db35SAvi Kivity 
2357d36db35SAvi Kivity 	memw = 129443 - memw;
2367d36db35SAvi Kivity 	asm volatile("mov %%rsp, %[tmp] \n\t"
2377d36db35SAvi Kivity 		     "mov %[stack_top], %%rsp \n\t"
2387d36db35SAvi Kivity 		     "pushq %[val] \n\t"
2397d36db35SAvi Kivity 		     "popq %[tmp2] \n\t"
2407d36db35SAvi Kivity 		     "mov %[tmp], %%rsp"
2417d36db35SAvi Kivity 		     : [tmp]"=&r"(tmp), [tmp2]"=r"(tmp2)
2427d36db35SAvi Kivity 		     : [val]"r"(memw), [stack_top]"r"(stack_top)
2437d36db35SAvi Kivity 		     : "memory");
2447d36db35SAvi Kivity 	report("pop reg", tmp2 == memw);
2457d36db35SAvi Kivity 
2467d36db35SAvi Kivity 	asm volatile("mov %%rsp, %[tmp] \n\t"
2477d36db35SAvi Kivity 		     "mov %[stack_top], %%rsp \n\t"
2487d36db35SAvi Kivity 		     "push $1f \n\t"
2497d36db35SAvi Kivity 		     "ret \n\t"
2507d36db35SAvi Kivity 		     "2: jmp 2b \n\t"
2517d36db35SAvi Kivity 		     "1: mov %[tmp], %%rsp"
2527d36db35SAvi Kivity 		     : [tmp]"=&r"(tmp) : [stack_top]"r"(stack_top)
2537d36db35SAvi Kivity 		     : "memory");
2547d36db35SAvi Kivity 	report("ret", 1);
2557d36db35SAvi Kivity }
2567d36db35SAvi Kivity 
2577d36db35SAvi Kivity void test_ljmp(void *mem)
2587d36db35SAvi Kivity {
2597d36db35SAvi Kivity     unsigned char *m = mem;
2607d36db35SAvi Kivity     volatile int res = 1;
2617d36db35SAvi Kivity 
2627d36db35SAvi Kivity     *(unsigned long**)m = &&jmpf;
2637d36db35SAvi Kivity     asm volatile ("data16/mov %%cs, %0":"=m"(*(m + sizeof(unsigned long))));
2647d36db35SAvi Kivity     asm volatile ("rex64/ljmp *%0"::"m"(*m));
2657d36db35SAvi Kivity     res = 0;
2667d36db35SAvi Kivity jmpf:
2677d36db35SAvi Kivity     report("ljmp", res);
2687d36db35SAvi Kivity }
2697d36db35SAvi Kivity 
2707d36db35SAvi Kivity void test_incdecnotneg(void *mem)
2717d36db35SAvi Kivity {
2727d36db35SAvi Kivity     unsigned long *m = mem, v = 1234;
2737d36db35SAvi Kivity     unsigned char *mb = mem, vb = 66;
2747d36db35SAvi Kivity 
2757d36db35SAvi Kivity     *m = 0;
2767d36db35SAvi Kivity 
2777d36db35SAvi Kivity     asm volatile ("incl %0":"+m"(*m));
2787d36db35SAvi Kivity     report("incl",  *m == 1);
2797d36db35SAvi Kivity     asm volatile ("decl %0":"+m"(*m));
2807d36db35SAvi Kivity     report("decl",  *m == 0);
2817d36db35SAvi Kivity     asm volatile ("incb %0":"+m"(*m));
2827d36db35SAvi Kivity     report("incb",  *m == 1);
2837d36db35SAvi Kivity     asm volatile ("decb %0":"+m"(*m));
2847d36db35SAvi Kivity     report("decb",  *m == 0);
2857d36db35SAvi Kivity 
2867d36db35SAvi Kivity     asm volatile ("lock incl %0":"+m"(*m));
2877d36db35SAvi Kivity     report("lock incl",  *m == 1);
2887d36db35SAvi Kivity     asm volatile ("lock decl %0":"+m"(*m));
2897d36db35SAvi Kivity     report("lock decl",  *m == 0);
2907d36db35SAvi Kivity     asm volatile ("lock incb %0":"+m"(*m));
2917d36db35SAvi Kivity     report("lock incb",  *m == 1);
2927d36db35SAvi Kivity     asm volatile ("lock decb %0":"+m"(*m));
2937d36db35SAvi Kivity     report("lock decb",  *m == 0);
2947d36db35SAvi Kivity 
2957d36db35SAvi Kivity     *m = v;
2967d36db35SAvi Kivity 
2977d36db35SAvi Kivity     asm ("lock negq %0" : "+m"(*m)); v = -v;
2987d36db35SAvi Kivity     report("lock negl", *m == v);
2997d36db35SAvi Kivity     asm ("lock notq %0" : "+m"(*m)); v = ~v;
3007d36db35SAvi Kivity     report("lock notl", *m == v);
3017d36db35SAvi Kivity 
3027d36db35SAvi Kivity     *mb = vb;
3037d36db35SAvi Kivity 
3047d36db35SAvi Kivity     asm ("lock negb %0" : "+m"(*mb)); vb = -vb;
3057d36db35SAvi Kivity     report("lock negb", *mb == vb);
3067d36db35SAvi Kivity     asm ("lock notb %0" : "+m"(*mb)); vb = ~vb;
3077d36db35SAvi Kivity     report("lock notb", *mb == vb);
3087d36db35SAvi Kivity }
3097d36db35SAvi Kivity 
3107d36db35SAvi Kivity void test_smsw(void)
3117d36db35SAvi Kivity {
3127d36db35SAvi Kivity 	char mem[16];
3137d36db35SAvi Kivity 	unsigned short msw, msw_orig, *pmsw;
3147d36db35SAvi Kivity 	int i, zero;
3157d36db35SAvi Kivity 
3167d36db35SAvi Kivity 	msw_orig = read_cr0();
3177d36db35SAvi Kivity 
3187d36db35SAvi Kivity 	asm("smsw %0" : "=r"(msw));
3197d36db35SAvi Kivity 	report("smsw (1)", msw == msw_orig);
3207d36db35SAvi Kivity 
3217d36db35SAvi Kivity 	memset(mem, 0, 16);
3227d36db35SAvi Kivity 	pmsw = (void *)mem;
3237d36db35SAvi Kivity 	asm("smsw %0" : "=m"(pmsw[4]));
3247d36db35SAvi Kivity 	zero = 1;
3257d36db35SAvi Kivity 	for (i = 0; i < 8; ++i)
3267d36db35SAvi Kivity 		if (i != 4 && pmsw[i])
3277d36db35SAvi Kivity 			zero = 0;
3287d36db35SAvi Kivity 	report("smsw (2)", msw == pmsw[4] && zero);
3297d36db35SAvi Kivity }
3307d36db35SAvi Kivity 
3317d36db35SAvi Kivity void test_lmsw(void)
3327d36db35SAvi Kivity {
3337d36db35SAvi Kivity 	char mem[16];
3347d36db35SAvi Kivity 	unsigned short msw, *pmsw;
3357d36db35SAvi Kivity 	unsigned long cr0;
3367d36db35SAvi Kivity 
3377d36db35SAvi Kivity 	cr0 = read_cr0();
3387d36db35SAvi Kivity 
3397d36db35SAvi Kivity 	msw = cr0 ^ 8;
3407d36db35SAvi Kivity 	asm("lmsw %0" : : "r"(msw));
3417d36db35SAvi Kivity 	printf("before %lx after %lx\n", cr0, read_cr0());
3427d36db35SAvi Kivity 	report("lmsw (1)", (cr0 ^ read_cr0()) == 8);
3437d36db35SAvi Kivity 
3447d36db35SAvi Kivity 	pmsw = (void *)mem;
3457d36db35SAvi Kivity 	*pmsw = cr0;
3467d36db35SAvi Kivity 	asm("lmsw %0" : : "m"(*pmsw));
3477d36db35SAvi Kivity 	printf("before %lx after %lx\n", cr0, read_cr0());
3487d36db35SAvi Kivity 	report("lmsw (2)", cr0 == read_cr0());
3497d36db35SAvi Kivity 
3507d36db35SAvi Kivity 	/* lmsw can't clear cr0.pe */
3517d36db35SAvi Kivity 	msw = (cr0 & ~1ul) ^ 4;  /* change EM to force trap */
3527d36db35SAvi Kivity 	asm("lmsw %0" : : "r"(msw));
3537d36db35SAvi Kivity 	report("lmsw (3)", (cr0 ^ read_cr0()) == 4 && (cr0 & 1));
3547d36db35SAvi Kivity 
3557d36db35SAvi Kivity 	/* back to normal */
3567d36db35SAvi Kivity 	msw = cr0;
3577d36db35SAvi Kivity 	asm("lmsw %0" : : "r"(msw));
3587d36db35SAvi Kivity }
3597d36db35SAvi Kivity 
3607d36db35SAvi Kivity void test_xchg(void *mem)
3617d36db35SAvi Kivity {
3627d36db35SAvi Kivity 	unsigned long *memq = mem;
3637d36db35SAvi Kivity 	unsigned long rax;
3647d36db35SAvi Kivity 
3657d36db35SAvi Kivity 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
3667d36db35SAvi Kivity 		     "mov %%rax, (%[memq])\n\t"
3677d36db35SAvi Kivity 		     "mov $0xfedcba9876543210, %%rax\n\t"
3687d36db35SAvi Kivity 		     "xchg %%al, (%[memq])\n\t"
3697d36db35SAvi Kivity 		     "mov %%rax, %[rax]\n\t"
3707d36db35SAvi Kivity 		     : [rax]"=r"(rax)
3717d36db35SAvi Kivity 		     : [memq]"r"(memq)
3727d36db35SAvi Kivity 		     : "memory");
3737d36db35SAvi Kivity 	report("xchg reg, r/m (1)",
3747d36db35SAvi Kivity 	       rax == 0xfedcba98765432ef && *memq == 0x123456789abcd10);
3757d36db35SAvi Kivity 
3767d36db35SAvi Kivity 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
3777d36db35SAvi Kivity 		     "mov %%rax, (%[memq])\n\t"
3787d36db35SAvi Kivity 		     "mov $0xfedcba9876543210, %%rax\n\t"
3797d36db35SAvi Kivity 		     "xchg %%ax, (%[memq])\n\t"
3807d36db35SAvi Kivity 		     "mov %%rax, %[rax]\n\t"
3817d36db35SAvi Kivity 		     : [rax]"=r"(rax)
3827d36db35SAvi Kivity 		     : [memq]"r"(memq)
3837d36db35SAvi Kivity 		     : "memory");
3847d36db35SAvi Kivity 	report("xchg reg, r/m (2)",
3857d36db35SAvi Kivity 	       rax == 0xfedcba987654cdef && *memq == 0x123456789ab3210);
3867d36db35SAvi Kivity 
3877d36db35SAvi Kivity 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
3887d36db35SAvi Kivity 		     "mov %%rax, (%[memq])\n\t"
3897d36db35SAvi Kivity 		     "mov $0xfedcba9876543210, %%rax\n\t"
3907d36db35SAvi Kivity 		     "xchg %%eax, (%[memq])\n\t"
3917d36db35SAvi Kivity 		     "mov %%rax, %[rax]\n\t"
3927d36db35SAvi Kivity 		     : [rax]"=r"(rax)
3937d36db35SAvi Kivity 		     : [memq]"r"(memq)
3947d36db35SAvi Kivity 		     : "memory");
3957d36db35SAvi Kivity 	report("xchg reg, r/m (3)",
3967d36db35SAvi Kivity 	       rax == 0x89abcdef && *memq == 0x123456776543210);
3977d36db35SAvi Kivity 
3987d36db35SAvi Kivity 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
3997d36db35SAvi Kivity 		     "mov %%rax, (%[memq])\n\t"
4007d36db35SAvi Kivity 		     "mov $0xfedcba9876543210, %%rax\n\t"
4017d36db35SAvi Kivity 		     "xchg %%rax, (%[memq])\n\t"
4027d36db35SAvi Kivity 		     "mov %%rax, %[rax]\n\t"
4037d36db35SAvi Kivity 		     : [rax]"=r"(rax)
4047d36db35SAvi Kivity 		     : [memq]"r"(memq)
4057d36db35SAvi Kivity 		     : "memory");
4067d36db35SAvi Kivity 	report("xchg reg, r/m (4)",
4077d36db35SAvi Kivity 	       rax == 0x123456789abcdef && *memq == 0xfedcba9876543210);
4087d36db35SAvi Kivity }
4097d36db35SAvi Kivity 
4105647d55cSWei Yongjun void test_xadd(void *mem)
4115647d55cSWei Yongjun {
4125647d55cSWei Yongjun 	unsigned long *memq = mem;
4135647d55cSWei Yongjun 	unsigned long rax;
4145647d55cSWei Yongjun 
4155647d55cSWei Yongjun 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
4165647d55cSWei Yongjun 		     "mov %%rax, (%[memq])\n\t"
4175647d55cSWei Yongjun 		     "mov $0xfedcba9876543210, %%rax\n\t"
4185647d55cSWei Yongjun 		     "xadd %%al, (%[memq])\n\t"
4195647d55cSWei Yongjun 		     "mov %%rax, %[rax]\n\t"
4205647d55cSWei Yongjun 		     : [rax]"=r"(rax)
4215647d55cSWei Yongjun 		     : [memq]"r"(memq)
4225647d55cSWei Yongjun 		     : "memory");
4235647d55cSWei Yongjun 	report("xadd reg, r/m (1)",
4245647d55cSWei Yongjun 	       rax == 0xfedcba98765432ef && *memq == 0x123456789abcdff);
4255647d55cSWei Yongjun 
4265647d55cSWei Yongjun 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
4275647d55cSWei Yongjun 		     "mov %%rax, (%[memq])\n\t"
4285647d55cSWei Yongjun 		     "mov $0xfedcba9876543210, %%rax\n\t"
4295647d55cSWei Yongjun 		     "xadd %%ax, (%[memq])\n\t"
4305647d55cSWei Yongjun 		     "mov %%rax, %[rax]\n\t"
4315647d55cSWei Yongjun 		     : [rax]"=r"(rax)
4325647d55cSWei Yongjun 		     : [memq]"r"(memq)
4335647d55cSWei Yongjun 		     : "memory");
4345647d55cSWei Yongjun 	report("xadd reg, r/m (2)",
4355647d55cSWei Yongjun 	       rax == 0xfedcba987654cdef && *memq == 0x123456789abffff);
4365647d55cSWei Yongjun 
4375647d55cSWei Yongjun 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
4385647d55cSWei Yongjun 		     "mov %%rax, (%[memq])\n\t"
4395647d55cSWei Yongjun 		     "mov $0xfedcba9876543210, %%rax\n\t"
4405647d55cSWei Yongjun 		     "xadd %%eax, (%[memq])\n\t"
4415647d55cSWei Yongjun 		     "mov %%rax, %[rax]\n\t"
4425647d55cSWei Yongjun 		     : [rax]"=r"(rax)
4435647d55cSWei Yongjun 		     : [memq]"r"(memq)
4445647d55cSWei Yongjun 		     : "memory");
4455647d55cSWei Yongjun 	report("xadd reg, r/m (3)",
4465647d55cSWei Yongjun 	       rax == 0x89abcdef && *memq == 0x1234567ffffffff);
4475647d55cSWei Yongjun 
4485647d55cSWei Yongjun 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
4495647d55cSWei Yongjun 		     "mov %%rax, (%[memq])\n\t"
4505647d55cSWei Yongjun 		     "mov $0xfedcba9876543210, %%rax\n\t"
4515647d55cSWei Yongjun 		     "xadd %%rax, (%[memq])\n\t"
4525647d55cSWei Yongjun 		     "mov %%rax, %[rax]\n\t"
4535647d55cSWei Yongjun 		     : [rax]"=r"(rax)
4545647d55cSWei Yongjun 		     : [memq]"r"(memq)
4555647d55cSWei Yongjun 		     : "memory");
4565647d55cSWei Yongjun 	report("xadd reg, r/m (4)",
4575647d55cSWei Yongjun 	       rax == 0x123456789abcdef && *memq == 0xffffffffffffffff);
4585647d55cSWei Yongjun }
4595647d55cSWei Yongjun 
460d4655eafSWei Yongjun void test_btc(void *mem)
461d4655eafSWei Yongjun {
462d4655eafSWei Yongjun 	unsigned int *a = mem;
463d4655eafSWei Yongjun 
464d4655eafSWei Yongjun 	memset(mem, 0, 3 * sizeof(unsigned int));
465d4655eafSWei Yongjun 
466d4655eafSWei Yongjun 	asm ("btcl $32, %0" :: "m"(a[0]) : "memory");
467d4655eafSWei Yongjun 	asm ("btcl $1, %0" :: "m"(a[1]) : "memory");
468d4655eafSWei Yongjun 	asm ("btcl %1, %0" :: "m"(a[0]), "r"(66) : "memory");
469d4655eafSWei Yongjun 	report("btcl imm8, r/m", a[0] == 1 && a[1] == 2 && a[2] == 4);
470d4655eafSWei Yongjun 
471d4655eafSWei Yongjun 	asm ("btcl %1, %0" :: "m"(a[3]), "r"(-1) : "memory");
472d4655eafSWei Yongjun 	report("btcl reg, r/m", a[0] == 1 && a[1] == 2 && a[2] == 0x80000004);
473d4655eafSWei Yongjun }
474d4655eafSWei Yongjun 
4752e16c7f6SWei Yongjun void test_bsfbsr(void *mem)
4762e16c7f6SWei Yongjun {
4772e16c7f6SWei Yongjun 	unsigned long *memq = mem, rax;
4782e16c7f6SWei Yongjun 
4792e16c7f6SWei Yongjun 	asm volatile("movw $0xC000, (%[memq])\n\t"
4802e16c7f6SWei Yongjun 		     "bsfw (%[memq]), %%ax\n\t"
4812e16c7f6SWei Yongjun 		     ::[memq]"r"(memq));
4822e16c7f6SWei Yongjun 	asm ("mov %%rax, %[rax]": [rax]"=m"(rax));
4832e16c7f6SWei Yongjun 	report("bsfw r/m, reg", rax == 14);
4842e16c7f6SWei Yongjun 
4852e16c7f6SWei Yongjun 	asm volatile("movl $0xC0000000, (%[memq])\n\t"
4862e16c7f6SWei Yongjun 		     "bsfl (%[memq]), %%eax\n\t"
4872e16c7f6SWei Yongjun 		     ::[memq]"r"(memq));
4882e16c7f6SWei Yongjun 	asm ("mov %%rax, %[rax]": [rax]"=m"(rax));
4892e16c7f6SWei Yongjun 	report("bsfl r/m, reg", rax == 30);
4902e16c7f6SWei Yongjun 
4912e16c7f6SWei Yongjun 	asm volatile("movq $0xC00000000000, %%rax\n\t"
4922e16c7f6SWei Yongjun 		     "movq %%rax, (%[memq])\n\t"
4932e16c7f6SWei Yongjun 		     "bsfq (%[memq]), %%rax\n\t"
4942e16c7f6SWei Yongjun 		     ::[memq]"r"(memq));
4952e16c7f6SWei Yongjun 	asm ("mov %%rax, %[rax]": [rax]"=m"(rax));
4962e16c7f6SWei Yongjun 	report("bsfq r/m, reg", rax == 46);
4972e16c7f6SWei Yongjun 
4982e16c7f6SWei Yongjun 	asm volatile("movq $0, %%rax\n\t"
4992e16c7f6SWei Yongjun 		     "movq %%rax, (%[memq])\n\t"
5002e16c7f6SWei Yongjun 		     "bsfq (%[memq]), %%rax\n\t"
5012e16c7f6SWei Yongjun 		     "jnz 1f\n\t"
5022e16c7f6SWei Yongjun 		     "movl $1, %[rax]\n\t"
5032e16c7f6SWei Yongjun 		     "1:\n\t"
5042e16c7f6SWei Yongjun 		     :[rax]"=m"(rax)
5052e16c7f6SWei Yongjun 		     :[memq]"r"(memq));
5062e16c7f6SWei Yongjun 	report("bsfq r/m, reg", rax == 1);
5072e16c7f6SWei Yongjun 
5082e16c7f6SWei Yongjun 	asm volatile("movw $0xC000, (%[memq])\n\t"
5092e16c7f6SWei Yongjun 		     "bsrw (%[memq]), %%ax\n\t"
5102e16c7f6SWei Yongjun 		     ::[memq]"r"(memq));
5112e16c7f6SWei Yongjun 	asm ("mov %%rax, %[rax]": [rax]"=m"(rax));
5122e16c7f6SWei Yongjun 	report("bsrw r/m, reg", rax == 15);
5132e16c7f6SWei Yongjun 
5142e16c7f6SWei Yongjun 	asm volatile("movl $0xC0000000, (%[memq])\n\t"
5152e16c7f6SWei Yongjun 		     "bsrl (%[memq]), %%eax\n\t"
5162e16c7f6SWei Yongjun 		     ::[memq]"r"(memq));
5172e16c7f6SWei Yongjun 	asm ("mov %%rax, %[rax]": [rax]"=m"(rax));
5182e16c7f6SWei Yongjun 	report("bsrl r/m, reg", rax == 31);
5192e16c7f6SWei Yongjun 
5202e16c7f6SWei Yongjun 	asm volatile("movq $0xC00000000000, %%rax\n\t"
5212e16c7f6SWei Yongjun 		     "movq %%rax, (%[memq])\n\t"
5222e16c7f6SWei Yongjun 		     "bsrq (%[memq]), %%rax\n\t"
5232e16c7f6SWei Yongjun 		     ::[memq]"r"(memq));
5242e16c7f6SWei Yongjun 	asm ("mov %%rax, %[rax]": [rax]"=m"(rax));
5252e16c7f6SWei Yongjun 	report("bsrq r/m, reg", rax == 47);
5262e16c7f6SWei Yongjun 
5272e16c7f6SWei Yongjun 	asm volatile("movq $0, %%rax\n\t"
5282e16c7f6SWei Yongjun 		     "movq %%rax, (%[memq])\n\t"
5292e16c7f6SWei Yongjun 		     "bsrq (%[memq]), %%rax\n\t"
5302e16c7f6SWei Yongjun 		     "jnz 1f\n\t"
5312e16c7f6SWei Yongjun 		     "movl $1, %[rax]\n\t"
5322e16c7f6SWei Yongjun 		     "1:\n\t"
5332e16c7f6SWei Yongjun 		     :[rax]"=m"(rax)
5342e16c7f6SWei Yongjun 		     :[memq]"r"(memq));
5352e16c7f6SWei Yongjun 	report("bsrq r/m, reg", rax == 1);
5362e16c7f6SWei Yongjun }
5372e16c7f6SWei Yongjun 
5387d36db35SAvi Kivity int main()
5397d36db35SAvi Kivity {
5407d36db35SAvi Kivity 	void *mem;
5417d36db35SAvi Kivity 	unsigned long t1, t2;
5427d36db35SAvi Kivity 
5437d36db35SAvi Kivity 	setup_vm();
5447d36db35SAvi Kivity 	mem = vmap(IORAM_BASE_PHYS, IORAM_LEN);
5457d36db35SAvi Kivity 
5467d36db35SAvi Kivity 	// test mov reg, r/m and mov r/m, reg
5477d36db35SAvi Kivity 	t1 = 0x123456789abcdef;
5487d36db35SAvi Kivity 	asm volatile("mov %[t1], (%[mem]) \n\t"
5497d36db35SAvi Kivity 		     "mov (%[mem]), %[t2]"
5507d36db35SAvi Kivity 		     : [t2]"=r"(t2)
5517d36db35SAvi Kivity 		     : [t1]"r"(t1), [mem]"r"(mem)
5527d36db35SAvi Kivity 		     : "memory");
5537d36db35SAvi Kivity 	report("mov reg, r/m (1)", t2 == 0x123456789abcdef);
5547d36db35SAvi Kivity 
5557d36db35SAvi Kivity 	test_cmps(mem);
55680a4ea7bSAvi Kivity 	test_scas(mem);
5577d36db35SAvi Kivity 
5587d36db35SAvi Kivity 	test_push(mem);
5597d36db35SAvi Kivity 	test_pop(mem);
5607d36db35SAvi Kivity 
5617d36db35SAvi Kivity 	test_xchg(mem);
5625647d55cSWei Yongjun 	test_xadd(mem);
5637d36db35SAvi Kivity 
5647d36db35SAvi Kivity 	test_cr8();
5657d36db35SAvi Kivity 
5667d36db35SAvi Kivity 	test_smsw();
5677d36db35SAvi Kivity 	test_lmsw();
5687d36db35SAvi Kivity 	test_ljmp(mem);
5697d36db35SAvi Kivity 	test_stringio();
5707d36db35SAvi Kivity 	test_incdecnotneg(mem);
571d4655eafSWei Yongjun 	test_btc(mem);
5722e16c7f6SWei Yongjun 	test_bsfbsr(mem);
5737d36db35SAvi Kivity 
5747d36db35SAvi Kivity 	printf("\nSUMMARY: %d tests, %d failures\n", tests, fails);
5757d36db35SAvi Kivity 	return fails ? 1 : 0;
5767d36db35SAvi Kivity }
577