xref: /kvm-unit-tests/x86/emulator.c (revision b212fcda8aa87c3fee20825b28418e88559898fc)
17d36db35SAvi Kivity #include "ioram.h"
27d36db35SAvi Kivity #include "vm.h"
37d36db35SAvi Kivity #include "libcflat.h"
4e7c37968SGleb Natapov #include "desc.h"
57d36db35SAvi Kivity 
67d36db35SAvi Kivity #define memset __builtin_memset
77d36db35SAvi Kivity #define TESTDEV_IO_PORT 0xe0
87d36db35SAvi Kivity 
97d36db35SAvi Kivity int fails, tests;
107d36db35SAvi Kivity 
117d36db35SAvi Kivity void report(const char *name, int result)
127d36db35SAvi Kivity {
137d36db35SAvi Kivity 	++tests;
147d36db35SAvi Kivity 	if (result)
157d36db35SAvi Kivity 		printf("PASS: %s\n", name);
167d36db35SAvi Kivity 	else {
177d36db35SAvi Kivity 		printf("FAIL: %s\n", name);
187d36db35SAvi Kivity 		++fails;
197d36db35SAvi Kivity 	}
207d36db35SAvi Kivity }
217d36db35SAvi Kivity 
227d36db35SAvi Kivity static char st1[] = "abcdefghijklmnop";
237d36db35SAvi Kivity 
247d36db35SAvi Kivity void test_stringio()
257d36db35SAvi Kivity {
267d36db35SAvi Kivity 	unsigned char r = 0;
277d36db35SAvi Kivity 	asm volatile("cld \n\t"
287d36db35SAvi Kivity 		     "movw %0, %%dx \n\t"
297d36db35SAvi Kivity 		     "rep outsb \n\t"
307d36db35SAvi Kivity 		     : : "i"((short)TESTDEV_IO_PORT),
317d36db35SAvi Kivity 		       "S"(st1), "c"(sizeof(st1) - 1));
327d36db35SAvi Kivity 	asm volatile("inb %1, %0\n\t" : "=a"(r) : "i"((short)TESTDEV_IO_PORT));
337d36db35SAvi Kivity 	report("outsb up", r == st1[sizeof(st1) - 2]); /* last char */
347d36db35SAvi Kivity 
357d36db35SAvi Kivity 	asm volatile("std \n\t"
367d36db35SAvi Kivity 		     "movw %0, %%dx \n\t"
377d36db35SAvi Kivity 		     "rep outsb \n\t"
387d36db35SAvi Kivity 		     : : "i"((short)TESTDEV_IO_PORT),
397d36db35SAvi Kivity 		       "S"(st1 + sizeof(st1) - 2), "c"(sizeof(st1) - 1));
407d36db35SAvi Kivity 	asm volatile("cld \n\t" : : );
417d36db35SAvi Kivity 	asm volatile("in %1, %0\n\t" : "=a"(r) : "i"((short)TESTDEV_IO_PORT));
427d36db35SAvi Kivity 	report("outsb down", r == st1[0]);
437d36db35SAvi Kivity }
447d36db35SAvi Kivity 
457d36db35SAvi Kivity void test_cmps_one(unsigned char *m1, unsigned char *m3)
467d36db35SAvi Kivity {
477d36db35SAvi Kivity 	void *rsi, *rdi;
487d36db35SAvi Kivity 	long rcx, tmp;
497d36db35SAvi Kivity 
507d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 30;
517d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
527d36db35SAvi Kivity 		     "repe/cmpsb"
537d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
547d36db35SAvi Kivity 		     : : "cc");
557d36db35SAvi Kivity 	report("repe/cmpsb (1)", rcx == 0 && rsi == m1 + 30 && rdi == m3 + 30);
567d36db35SAvi Kivity 
5751ba4180SAvi Kivity 	rsi = m1; rdi = m3; rcx = 30;
5851ba4180SAvi Kivity 	asm volatile("or $1, %[tmp]\n\t" // clear ZF
5951ba4180SAvi Kivity 		     "repe/cmpsb"
6051ba4180SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
6151ba4180SAvi Kivity 		     : : "cc");
6251ba4180SAvi Kivity 	report("repe/cmpsb (1.zf)", rcx == 0 && rsi == m1 + 30 && rdi == m3 + 30);
6351ba4180SAvi Kivity 
647d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 15;
657d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
667d36db35SAvi Kivity 		     "repe/cmpsw"
677d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
687d36db35SAvi Kivity 		     : : "cc");
697d36db35SAvi Kivity 	report("repe/cmpsw (1)", rcx == 0 && rsi == m1 + 30 && rdi == m3 + 30);
707d36db35SAvi Kivity 
717d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 7;
727d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
737d36db35SAvi Kivity 		     "repe/cmpsl"
747d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
757d36db35SAvi Kivity 		     : : "cc");
767d36db35SAvi Kivity 	report("repe/cmpll (1)", rcx == 0 && rsi == m1 + 28 && rdi == m3 + 28);
777d36db35SAvi Kivity 
787d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 4;
797d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
807d36db35SAvi Kivity 		     "repe/cmpsq"
817d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
827d36db35SAvi Kivity 		     : : "cc");
837d36db35SAvi Kivity 	report("repe/cmpsq (1)", rcx == 0 && rsi == m1 + 32 && rdi == m3 + 32);
847d36db35SAvi Kivity 
857d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 130;
867d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
877d36db35SAvi Kivity 		     "repe/cmpsb"
887d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
897d36db35SAvi Kivity 		     : : "cc");
907d36db35SAvi Kivity 	report("repe/cmpsb (2)",
917d36db35SAvi Kivity 	       rcx == 29 && rsi == m1 + 101 && rdi == m3 + 101);
927d36db35SAvi Kivity 
937d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 65;
947d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
957d36db35SAvi Kivity 		     "repe/cmpsw"
967d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
977d36db35SAvi Kivity 		     : : "cc");
987d36db35SAvi Kivity 	report("repe/cmpsw (2)",
997d36db35SAvi Kivity 	       rcx == 14 && rsi == m1 + 102 && rdi == m3 + 102);
1007d36db35SAvi Kivity 
1017d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 32;
1027d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
1037d36db35SAvi Kivity 		     "repe/cmpsl"
1047d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
1057d36db35SAvi Kivity 		     : : "cc");
1067d36db35SAvi Kivity 	report("repe/cmpll (2)",
1077d36db35SAvi Kivity 	       rcx == 6 && rsi == m1 + 104 && rdi == m3 + 104);
1087d36db35SAvi Kivity 
1097d36db35SAvi Kivity 	rsi = m1; rdi = m3; rcx = 16;
1107d36db35SAvi Kivity 	asm volatile("xor %[tmp], %[tmp] \n\t"
1117d36db35SAvi Kivity 		     "repe/cmpsq"
1127d36db35SAvi Kivity 		     : "+S"(rsi), "+D"(rdi), "+c"(rcx), [tmp]"=&r"(tmp)
1137d36db35SAvi Kivity 		     : : "cc");
1147d36db35SAvi Kivity 	report("repe/cmpsq (2)",
1157d36db35SAvi Kivity 	       rcx == 3 && rsi == m1 + 104 && rdi == m3 + 104);
1167d36db35SAvi Kivity 
1177d36db35SAvi Kivity }
1187d36db35SAvi Kivity 
1197d36db35SAvi Kivity void test_cmps(void *mem)
1207d36db35SAvi Kivity {
1217d36db35SAvi Kivity 	unsigned char *m1 = mem, *m2 = mem + 1024;
1227d36db35SAvi Kivity 	unsigned char m3[1024];
1237d36db35SAvi Kivity 
1247d36db35SAvi Kivity 	for (int i = 0; i < 100; ++i)
1257d36db35SAvi Kivity 		m1[i] = m2[i] = m3[i] = i;
1267d36db35SAvi Kivity 	for (int i = 100; i < 200; ++i)
1277d36db35SAvi Kivity 		m1[i] = (m3[i] = m2[i] = i) + 1;
1287d36db35SAvi Kivity 	test_cmps_one(m1, m3);
1297d36db35SAvi Kivity 	test_cmps_one(m1, m2);
1307d36db35SAvi Kivity }
1317d36db35SAvi Kivity 
13280a4ea7bSAvi Kivity void test_scas(void *mem)
13380a4ea7bSAvi Kivity {
13480a4ea7bSAvi Kivity     bool z;
13580a4ea7bSAvi Kivity     void *di;
13680a4ea7bSAvi Kivity 
13780a4ea7bSAvi Kivity     *(ulong *)mem = 0x77665544332211;
13880a4ea7bSAvi Kivity 
13980a4ea7bSAvi Kivity     di = mem;
14080a4ea7bSAvi Kivity     asm ("scasb; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff11));
14180a4ea7bSAvi Kivity     report("scasb match", di == mem + 1 && z);
14280a4ea7bSAvi Kivity 
14380a4ea7bSAvi Kivity     di = mem;
14480a4ea7bSAvi Kivity     asm ("scasb; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff54));
14580a4ea7bSAvi Kivity     report("scasb mismatch", di == mem + 1 && !z);
14680a4ea7bSAvi Kivity 
14780a4ea7bSAvi Kivity     di = mem;
14880a4ea7bSAvi Kivity     asm ("scasw; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff2211));
14980a4ea7bSAvi Kivity     report("scasw match", di == mem + 2 && z);
15080a4ea7bSAvi Kivity 
15180a4ea7bSAvi Kivity     di = mem;
15280a4ea7bSAvi Kivity     asm ("scasw; setz %0" : "=rm"(z), "+D"(di) : "a"(0xffdd11));
15380a4ea7bSAvi Kivity     report("scasw mismatch", di == mem + 2 && !z);
15480a4ea7bSAvi Kivity 
15580a4ea7bSAvi Kivity     di = mem;
15680a4ea7bSAvi Kivity     asm ("scasl; setz %0" : "=rm"(z), "+D"(di) : "a"(0xff44332211ul));
15780a4ea7bSAvi Kivity     report("scasd match", di == mem + 4 && z);
15880a4ea7bSAvi Kivity 
15980a4ea7bSAvi Kivity     di = mem;
16080a4ea7bSAvi Kivity     asm ("scasl; setz %0" : "=rm"(z), "+D"(di) : "a"(0x45332211));
16180a4ea7bSAvi Kivity     report("scasd mismatch", di == mem + 4 && !z);
16280a4ea7bSAvi Kivity 
16380a4ea7bSAvi Kivity     di = mem;
16480a4ea7bSAvi Kivity     asm ("scasq; setz %0" : "=rm"(z), "+D"(di) : "a"(0x77665544332211ul));
16580a4ea7bSAvi Kivity     report("scasq match", di == mem + 8 && z);
16680a4ea7bSAvi Kivity 
16780a4ea7bSAvi Kivity     di = mem;
16880a4ea7bSAvi Kivity     asm ("scasq; setz %0" : "=rm"(z), "+D"(di) : "a"(3));
16980a4ea7bSAvi Kivity     report("scasq mismatch", di == mem + 8 && !z);
17080a4ea7bSAvi Kivity }
17180a4ea7bSAvi Kivity 
1727d36db35SAvi Kivity void test_cr8(void)
1737d36db35SAvi Kivity {
1747d36db35SAvi Kivity 	unsigned long src, dst;
1757d36db35SAvi Kivity 
1767d36db35SAvi Kivity 	dst = 777;
1777d36db35SAvi Kivity 	src = 3;
1787d36db35SAvi Kivity 	asm volatile("mov %[src], %%cr8; mov %%cr8, %[dst]"
1797d36db35SAvi Kivity 		     : [dst]"+r"(dst), [src]"+r"(src));
1807d36db35SAvi Kivity 	report("mov %cr8", dst == 3 && src == 3);
1817d36db35SAvi Kivity }
1827d36db35SAvi Kivity 
1837d36db35SAvi Kivity void test_push(void *mem)
1847d36db35SAvi Kivity {
1857d36db35SAvi Kivity 	unsigned long tmp;
1867d36db35SAvi Kivity 	unsigned long *stack_top = mem + 4096;
1877d36db35SAvi Kivity 	unsigned long *new_stack_top;
1887d36db35SAvi Kivity 	unsigned long memw = 0x123456789abcdeful;
1897d36db35SAvi Kivity 
1907d36db35SAvi Kivity 	memset(mem, 0x55, (void *)stack_top - mem);
1917d36db35SAvi Kivity 
1927d36db35SAvi Kivity 	asm volatile("mov %%rsp, %[tmp] \n\t"
1937d36db35SAvi Kivity 		     "mov %[stack_top], %%rsp \n\t"
1947d36db35SAvi Kivity 		     "pushq $-7 \n\t"
1957d36db35SAvi Kivity 		     "pushq %[reg] \n\t"
1967d36db35SAvi Kivity 		     "pushq (%[mem]) \n\t"
1977d36db35SAvi Kivity 		     "pushq $-7070707 \n\t"
1987d36db35SAvi Kivity 		     "mov %%rsp, %[new_stack_top] \n\t"
1997d36db35SAvi Kivity 		     "mov %[tmp], %%rsp"
2007d36db35SAvi Kivity 		     : [tmp]"=&r"(tmp), [new_stack_top]"=r"(new_stack_top)
2017d36db35SAvi Kivity 		     : [stack_top]"r"(stack_top),
2027d36db35SAvi Kivity 		       [reg]"r"(-17l), [mem]"r"(&memw)
2037d36db35SAvi Kivity 		     : "memory");
2047d36db35SAvi Kivity 
2057d36db35SAvi Kivity 	report("push $imm8", stack_top[-1] == -7ul);
2067d36db35SAvi Kivity 	report("push %reg", stack_top[-2] == -17ul);
2077d36db35SAvi Kivity 	report("push mem", stack_top[-3] == 0x123456789abcdeful);
2087d36db35SAvi Kivity 	report("push $imm", stack_top[-4] == -7070707);
2097d36db35SAvi Kivity }
2107d36db35SAvi Kivity 
2117d36db35SAvi Kivity void test_pop(void *mem)
2127d36db35SAvi Kivity {
2137d36db35SAvi Kivity 	unsigned long tmp;
2147d36db35SAvi Kivity 	unsigned long *stack_top = mem + 4096;
2157d36db35SAvi Kivity 	unsigned long memw = 0x123456789abcdeful;
2167d36db35SAvi Kivity 	static unsigned long tmp2;
2177d36db35SAvi Kivity 
2187d36db35SAvi Kivity 	memset(mem, 0x55, (void *)stack_top - mem);
2197d36db35SAvi Kivity 
2207d36db35SAvi Kivity 	asm volatile("pushq %[val] \n\t"
2217d36db35SAvi Kivity 		     "popq (%[mem])"
2227d36db35SAvi Kivity 		     : : [val]"m"(memw), [mem]"r"(mem) : "memory");
2237d36db35SAvi Kivity 	report("pop mem", *(unsigned long *)mem == memw);
2247d36db35SAvi Kivity 
2257d36db35SAvi Kivity 	memw = 7 - memw;
2267d36db35SAvi Kivity 	asm volatile("mov %%rsp, %[tmp] \n\t"
2277d36db35SAvi Kivity 		     "mov %[stack_top], %%rsp \n\t"
2287d36db35SAvi Kivity 		     "pushq %[val] \n\t"
2297d36db35SAvi Kivity 		     "popq %[tmp2] \n\t"
2307d36db35SAvi Kivity 		     "mov %[tmp], %%rsp"
2317d36db35SAvi Kivity 		     : [tmp]"=&r"(tmp), [tmp2]"=m"(tmp2)
2327d36db35SAvi Kivity 		     : [val]"r"(memw), [stack_top]"r"(stack_top)
2337d36db35SAvi Kivity 		     : "memory");
2347d36db35SAvi Kivity 	report("pop mem (2)", tmp2 == memw);
2357d36db35SAvi Kivity 
2367d36db35SAvi Kivity 	memw = 129443 - memw;
2377d36db35SAvi Kivity 	asm volatile("mov %%rsp, %[tmp] \n\t"
2387d36db35SAvi Kivity 		     "mov %[stack_top], %%rsp \n\t"
2397d36db35SAvi Kivity 		     "pushq %[val] \n\t"
2407d36db35SAvi Kivity 		     "popq %[tmp2] \n\t"
2417d36db35SAvi Kivity 		     "mov %[tmp], %%rsp"
2427d36db35SAvi Kivity 		     : [tmp]"=&r"(tmp), [tmp2]"=r"(tmp2)
2437d36db35SAvi Kivity 		     : [val]"r"(memw), [stack_top]"r"(stack_top)
2447d36db35SAvi Kivity 		     : "memory");
2457d36db35SAvi Kivity 	report("pop reg", tmp2 == memw);
2467d36db35SAvi Kivity 
2477d36db35SAvi Kivity 	asm volatile("mov %%rsp, %[tmp] \n\t"
2487d36db35SAvi Kivity 		     "mov %[stack_top], %%rsp \n\t"
2497d36db35SAvi Kivity 		     "push $1f \n\t"
2507d36db35SAvi Kivity 		     "ret \n\t"
2517d36db35SAvi Kivity 		     "2: jmp 2b \n\t"
2527d36db35SAvi Kivity 		     "1: mov %[tmp], %%rsp"
2537d36db35SAvi Kivity 		     : [tmp]"=&r"(tmp) : [stack_top]"r"(stack_top)
2547d36db35SAvi Kivity 		     : "memory");
2557d36db35SAvi Kivity 	report("ret", 1);
2567d36db35SAvi Kivity }
2577d36db35SAvi Kivity 
2587d36db35SAvi Kivity void test_ljmp(void *mem)
2597d36db35SAvi Kivity {
2607d36db35SAvi Kivity     unsigned char *m = mem;
2617d36db35SAvi Kivity     volatile int res = 1;
2627d36db35SAvi Kivity 
2637d36db35SAvi Kivity     *(unsigned long**)m = &&jmpf;
2647d36db35SAvi Kivity     asm volatile ("data16/mov %%cs, %0":"=m"(*(m + sizeof(unsigned long))));
2657d36db35SAvi Kivity     asm volatile ("rex64/ljmp *%0"::"m"(*m));
2667d36db35SAvi Kivity     res = 0;
2677d36db35SAvi Kivity jmpf:
2687d36db35SAvi Kivity     report("ljmp", res);
2697d36db35SAvi Kivity }
2707d36db35SAvi Kivity 
2717d36db35SAvi Kivity void test_incdecnotneg(void *mem)
2727d36db35SAvi Kivity {
2737d36db35SAvi Kivity     unsigned long *m = mem, v = 1234;
2747d36db35SAvi Kivity     unsigned char *mb = mem, vb = 66;
2757d36db35SAvi Kivity 
2767d36db35SAvi Kivity     *m = 0;
2777d36db35SAvi Kivity 
2787d36db35SAvi Kivity     asm volatile ("incl %0":"+m"(*m));
2797d36db35SAvi Kivity     report("incl",  *m == 1);
2807d36db35SAvi Kivity     asm volatile ("decl %0":"+m"(*m));
2817d36db35SAvi Kivity     report("decl",  *m == 0);
2827d36db35SAvi Kivity     asm volatile ("incb %0":"+m"(*m));
2837d36db35SAvi Kivity     report("incb",  *m == 1);
2847d36db35SAvi Kivity     asm volatile ("decb %0":"+m"(*m));
2857d36db35SAvi Kivity     report("decb",  *m == 0);
2867d36db35SAvi Kivity 
2877d36db35SAvi Kivity     asm volatile ("lock incl %0":"+m"(*m));
2887d36db35SAvi Kivity     report("lock incl",  *m == 1);
2897d36db35SAvi Kivity     asm volatile ("lock decl %0":"+m"(*m));
2907d36db35SAvi Kivity     report("lock decl",  *m == 0);
2917d36db35SAvi Kivity     asm volatile ("lock incb %0":"+m"(*m));
2927d36db35SAvi Kivity     report("lock incb",  *m == 1);
2937d36db35SAvi Kivity     asm volatile ("lock decb %0":"+m"(*m));
2947d36db35SAvi Kivity     report("lock decb",  *m == 0);
2957d36db35SAvi Kivity 
2967d36db35SAvi Kivity     *m = v;
2977d36db35SAvi Kivity 
2987d36db35SAvi Kivity     asm ("lock negq %0" : "+m"(*m)); v = -v;
2997d36db35SAvi Kivity     report("lock negl", *m == v);
3007d36db35SAvi Kivity     asm ("lock notq %0" : "+m"(*m)); v = ~v;
3017d36db35SAvi Kivity     report("lock notl", *m == v);
3027d36db35SAvi Kivity 
3037d36db35SAvi Kivity     *mb = vb;
3047d36db35SAvi Kivity 
3057d36db35SAvi Kivity     asm ("lock negb %0" : "+m"(*mb)); vb = -vb;
3067d36db35SAvi Kivity     report("lock negb", *mb == vb);
3077d36db35SAvi Kivity     asm ("lock notb %0" : "+m"(*mb)); vb = ~vb;
3087d36db35SAvi Kivity     report("lock notb", *mb == vb);
3097d36db35SAvi Kivity }
3107d36db35SAvi Kivity 
3117d36db35SAvi Kivity void test_smsw(void)
3127d36db35SAvi Kivity {
3137d36db35SAvi Kivity 	char mem[16];
3147d36db35SAvi Kivity 	unsigned short msw, msw_orig, *pmsw;
3157d36db35SAvi Kivity 	int i, zero;
3167d36db35SAvi Kivity 
3177d36db35SAvi Kivity 	msw_orig = read_cr0();
3187d36db35SAvi Kivity 
3197d36db35SAvi Kivity 	asm("smsw %0" : "=r"(msw));
3207d36db35SAvi Kivity 	report("smsw (1)", msw == msw_orig);
3217d36db35SAvi Kivity 
3227d36db35SAvi Kivity 	memset(mem, 0, 16);
3237d36db35SAvi Kivity 	pmsw = (void *)mem;
3247d36db35SAvi Kivity 	asm("smsw %0" : "=m"(pmsw[4]));
3257d36db35SAvi Kivity 	zero = 1;
3267d36db35SAvi Kivity 	for (i = 0; i < 8; ++i)
3277d36db35SAvi Kivity 		if (i != 4 && pmsw[i])
3287d36db35SAvi Kivity 			zero = 0;
3297d36db35SAvi Kivity 	report("smsw (2)", msw == pmsw[4] && zero);
3307d36db35SAvi Kivity }
3317d36db35SAvi Kivity 
3327d36db35SAvi Kivity void test_lmsw(void)
3337d36db35SAvi Kivity {
3347d36db35SAvi Kivity 	char mem[16];
3357d36db35SAvi Kivity 	unsigned short msw, *pmsw;
3367d36db35SAvi Kivity 	unsigned long cr0;
3377d36db35SAvi Kivity 
3387d36db35SAvi Kivity 	cr0 = read_cr0();
3397d36db35SAvi Kivity 
3407d36db35SAvi Kivity 	msw = cr0 ^ 8;
3417d36db35SAvi Kivity 	asm("lmsw %0" : : "r"(msw));
3427d36db35SAvi Kivity 	printf("before %lx after %lx\n", cr0, read_cr0());
3437d36db35SAvi Kivity 	report("lmsw (1)", (cr0 ^ read_cr0()) == 8);
3447d36db35SAvi Kivity 
3457d36db35SAvi Kivity 	pmsw = (void *)mem;
3467d36db35SAvi Kivity 	*pmsw = cr0;
3477d36db35SAvi Kivity 	asm("lmsw %0" : : "m"(*pmsw));
3487d36db35SAvi Kivity 	printf("before %lx after %lx\n", cr0, read_cr0());
3497d36db35SAvi Kivity 	report("lmsw (2)", cr0 == read_cr0());
3507d36db35SAvi Kivity 
3517d36db35SAvi Kivity 	/* lmsw can't clear cr0.pe */
3527d36db35SAvi Kivity 	msw = (cr0 & ~1ul) ^ 4;  /* change EM to force trap */
3537d36db35SAvi Kivity 	asm("lmsw %0" : : "r"(msw));
3547d36db35SAvi Kivity 	report("lmsw (3)", (cr0 ^ read_cr0()) == 4 && (cr0 & 1));
3557d36db35SAvi Kivity 
3567d36db35SAvi Kivity 	/* back to normal */
3577d36db35SAvi Kivity 	msw = cr0;
3587d36db35SAvi Kivity 	asm("lmsw %0" : : "r"(msw));
3597d36db35SAvi Kivity }
3607d36db35SAvi Kivity 
3617d36db35SAvi Kivity void test_xchg(void *mem)
3627d36db35SAvi Kivity {
3637d36db35SAvi Kivity 	unsigned long *memq = mem;
3647d36db35SAvi Kivity 	unsigned long rax;
3657d36db35SAvi Kivity 
3667d36db35SAvi Kivity 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
3677d36db35SAvi Kivity 		     "mov %%rax, (%[memq])\n\t"
3687d36db35SAvi Kivity 		     "mov $0xfedcba9876543210, %%rax\n\t"
3697d36db35SAvi Kivity 		     "xchg %%al, (%[memq])\n\t"
3707d36db35SAvi Kivity 		     "mov %%rax, %[rax]\n\t"
3717d36db35SAvi Kivity 		     : [rax]"=r"(rax)
3727d36db35SAvi Kivity 		     : [memq]"r"(memq)
3737d36db35SAvi Kivity 		     : "memory");
3747d36db35SAvi Kivity 	report("xchg reg, r/m (1)",
3757d36db35SAvi Kivity 	       rax == 0xfedcba98765432ef && *memq == 0x123456789abcd10);
3767d36db35SAvi Kivity 
3777d36db35SAvi Kivity 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
3787d36db35SAvi Kivity 		     "mov %%rax, (%[memq])\n\t"
3797d36db35SAvi Kivity 		     "mov $0xfedcba9876543210, %%rax\n\t"
3807d36db35SAvi Kivity 		     "xchg %%ax, (%[memq])\n\t"
3817d36db35SAvi Kivity 		     "mov %%rax, %[rax]\n\t"
3827d36db35SAvi Kivity 		     : [rax]"=r"(rax)
3837d36db35SAvi Kivity 		     : [memq]"r"(memq)
3847d36db35SAvi Kivity 		     : "memory");
3857d36db35SAvi Kivity 	report("xchg reg, r/m (2)",
3867d36db35SAvi Kivity 	       rax == 0xfedcba987654cdef && *memq == 0x123456789ab3210);
3877d36db35SAvi Kivity 
3887d36db35SAvi Kivity 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
3897d36db35SAvi Kivity 		     "mov %%rax, (%[memq])\n\t"
3907d36db35SAvi Kivity 		     "mov $0xfedcba9876543210, %%rax\n\t"
3917d36db35SAvi Kivity 		     "xchg %%eax, (%[memq])\n\t"
3927d36db35SAvi Kivity 		     "mov %%rax, %[rax]\n\t"
3937d36db35SAvi Kivity 		     : [rax]"=r"(rax)
3947d36db35SAvi Kivity 		     : [memq]"r"(memq)
3957d36db35SAvi Kivity 		     : "memory");
3967d36db35SAvi Kivity 	report("xchg reg, r/m (3)",
3977d36db35SAvi Kivity 	       rax == 0x89abcdef && *memq == 0x123456776543210);
3987d36db35SAvi Kivity 
3997d36db35SAvi Kivity 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
4007d36db35SAvi Kivity 		     "mov %%rax, (%[memq])\n\t"
4017d36db35SAvi Kivity 		     "mov $0xfedcba9876543210, %%rax\n\t"
4027d36db35SAvi Kivity 		     "xchg %%rax, (%[memq])\n\t"
4037d36db35SAvi Kivity 		     "mov %%rax, %[rax]\n\t"
4047d36db35SAvi Kivity 		     : [rax]"=r"(rax)
4057d36db35SAvi Kivity 		     : [memq]"r"(memq)
4067d36db35SAvi Kivity 		     : "memory");
4077d36db35SAvi Kivity 	report("xchg reg, r/m (4)",
4087d36db35SAvi Kivity 	       rax == 0x123456789abcdef && *memq == 0xfedcba9876543210);
4097d36db35SAvi Kivity }
4107d36db35SAvi Kivity 
4115647d55cSWei Yongjun void test_xadd(void *mem)
4125647d55cSWei Yongjun {
4135647d55cSWei Yongjun 	unsigned long *memq = mem;
4145647d55cSWei Yongjun 	unsigned long rax;
4155647d55cSWei Yongjun 
4165647d55cSWei Yongjun 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
4175647d55cSWei Yongjun 		     "mov %%rax, (%[memq])\n\t"
4185647d55cSWei Yongjun 		     "mov $0xfedcba9876543210, %%rax\n\t"
4195647d55cSWei Yongjun 		     "xadd %%al, (%[memq])\n\t"
4205647d55cSWei Yongjun 		     "mov %%rax, %[rax]\n\t"
4215647d55cSWei Yongjun 		     : [rax]"=r"(rax)
4225647d55cSWei Yongjun 		     : [memq]"r"(memq)
4235647d55cSWei Yongjun 		     : "memory");
4245647d55cSWei Yongjun 	report("xadd reg, r/m (1)",
4255647d55cSWei Yongjun 	       rax == 0xfedcba98765432ef && *memq == 0x123456789abcdff);
4265647d55cSWei Yongjun 
4275647d55cSWei Yongjun 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
4285647d55cSWei Yongjun 		     "mov %%rax, (%[memq])\n\t"
4295647d55cSWei Yongjun 		     "mov $0xfedcba9876543210, %%rax\n\t"
4305647d55cSWei Yongjun 		     "xadd %%ax, (%[memq])\n\t"
4315647d55cSWei Yongjun 		     "mov %%rax, %[rax]\n\t"
4325647d55cSWei Yongjun 		     : [rax]"=r"(rax)
4335647d55cSWei Yongjun 		     : [memq]"r"(memq)
4345647d55cSWei Yongjun 		     : "memory");
4355647d55cSWei Yongjun 	report("xadd reg, r/m (2)",
4365647d55cSWei Yongjun 	       rax == 0xfedcba987654cdef && *memq == 0x123456789abffff);
4375647d55cSWei Yongjun 
4385647d55cSWei Yongjun 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
4395647d55cSWei Yongjun 		     "mov %%rax, (%[memq])\n\t"
4405647d55cSWei Yongjun 		     "mov $0xfedcba9876543210, %%rax\n\t"
4415647d55cSWei Yongjun 		     "xadd %%eax, (%[memq])\n\t"
4425647d55cSWei Yongjun 		     "mov %%rax, %[rax]\n\t"
4435647d55cSWei Yongjun 		     : [rax]"=r"(rax)
4445647d55cSWei Yongjun 		     : [memq]"r"(memq)
4455647d55cSWei Yongjun 		     : "memory");
4465647d55cSWei Yongjun 	report("xadd reg, r/m (3)",
4475647d55cSWei Yongjun 	       rax == 0x89abcdef && *memq == 0x1234567ffffffff);
4485647d55cSWei Yongjun 
4495647d55cSWei Yongjun 	asm volatile("mov $0x123456789abcdef, %%rax\n\t"
4505647d55cSWei Yongjun 		     "mov %%rax, (%[memq])\n\t"
4515647d55cSWei Yongjun 		     "mov $0xfedcba9876543210, %%rax\n\t"
4525647d55cSWei Yongjun 		     "xadd %%rax, (%[memq])\n\t"
4535647d55cSWei Yongjun 		     "mov %%rax, %[rax]\n\t"
4545647d55cSWei Yongjun 		     : [rax]"=r"(rax)
4555647d55cSWei Yongjun 		     : [memq]"r"(memq)
4565647d55cSWei Yongjun 		     : "memory");
4575647d55cSWei Yongjun 	report("xadd reg, r/m (4)",
4585647d55cSWei Yongjun 	       rax == 0x123456789abcdef && *memq == 0xffffffffffffffff);
4595647d55cSWei Yongjun }
4605647d55cSWei Yongjun 
461d4655eafSWei Yongjun void test_btc(void *mem)
462d4655eafSWei Yongjun {
463d4655eafSWei Yongjun 	unsigned int *a = mem;
464d4655eafSWei Yongjun 
465d4655eafSWei Yongjun 	memset(mem, 0, 3 * sizeof(unsigned int));
466d4655eafSWei Yongjun 
467d4655eafSWei Yongjun 	asm ("btcl $32, %0" :: "m"(a[0]) : "memory");
468d4655eafSWei Yongjun 	asm ("btcl $1, %0" :: "m"(a[1]) : "memory");
469d4655eafSWei Yongjun 	asm ("btcl %1, %0" :: "m"(a[0]), "r"(66) : "memory");
470d4655eafSWei Yongjun 	report("btcl imm8, r/m", a[0] == 1 && a[1] == 2 && a[2] == 4);
471d4655eafSWei Yongjun 
472d4655eafSWei Yongjun 	asm ("btcl %1, %0" :: "m"(a[3]), "r"(-1) : "memory");
473d4655eafSWei Yongjun 	report("btcl reg, r/m", a[0] == 1 && a[1] == 2 && a[2] == 0x80000004);
474d4655eafSWei Yongjun }
475d4655eafSWei Yongjun 
4762e16c7f6SWei Yongjun void test_bsfbsr(void *mem)
4772e16c7f6SWei Yongjun {
4782e16c7f6SWei Yongjun 	unsigned long *memq = mem, rax;
4792e16c7f6SWei Yongjun 
4802e16c7f6SWei Yongjun 	asm volatile("movw $0xC000, (%[memq])\n\t"
4812e16c7f6SWei Yongjun 		     "bsfw (%[memq]), %%ax\n\t"
4822e16c7f6SWei Yongjun 		     ::[memq]"r"(memq));
4832e16c7f6SWei Yongjun 	asm ("mov %%rax, %[rax]": [rax]"=m"(rax));
4842e16c7f6SWei Yongjun 	report("bsfw r/m, reg", rax == 14);
4852e16c7f6SWei Yongjun 
4862e16c7f6SWei Yongjun 	asm volatile("movl $0xC0000000, (%[memq])\n\t"
4872e16c7f6SWei Yongjun 		     "bsfl (%[memq]), %%eax\n\t"
4882e16c7f6SWei Yongjun 		     ::[memq]"r"(memq));
4892e16c7f6SWei Yongjun 	asm ("mov %%rax, %[rax]": [rax]"=m"(rax));
4902e16c7f6SWei Yongjun 	report("bsfl r/m, reg", rax == 30);
4912e16c7f6SWei Yongjun 
4922e16c7f6SWei Yongjun 	asm volatile("movq $0xC00000000000, %%rax\n\t"
4932e16c7f6SWei Yongjun 		     "movq %%rax, (%[memq])\n\t"
4942e16c7f6SWei Yongjun 		     "bsfq (%[memq]), %%rax\n\t"
4952e16c7f6SWei Yongjun 		     ::[memq]"r"(memq));
4962e16c7f6SWei Yongjun 	asm ("mov %%rax, %[rax]": [rax]"=m"(rax));
4972e16c7f6SWei Yongjun 	report("bsfq r/m, reg", rax == 46);
4982e16c7f6SWei Yongjun 
4992e16c7f6SWei Yongjun 	asm volatile("movq $0, %%rax\n\t"
5002e16c7f6SWei Yongjun 		     "movq %%rax, (%[memq])\n\t"
5012e16c7f6SWei Yongjun 		     "bsfq (%[memq]), %%rax\n\t"
5022e16c7f6SWei Yongjun 		     "jnz 1f\n\t"
5032e16c7f6SWei Yongjun 		     "movl $1, %[rax]\n\t"
5042e16c7f6SWei Yongjun 		     "1:\n\t"
5052e16c7f6SWei Yongjun 		     :[rax]"=m"(rax)
5062e16c7f6SWei Yongjun 		     :[memq]"r"(memq));
5072e16c7f6SWei Yongjun 	report("bsfq r/m, reg", rax == 1);
5082e16c7f6SWei Yongjun 
5092e16c7f6SWei Yongjun 	asm volatile("movw $0xC000, (%[memq])\n\t"
5102e16c7f6SWei Yongjun 		     "bsrw (%[memq]), %%ax\n\t"
5112e16c7f6SWei Yongjun 		     ::[memq]"r"(memq));
5122e16c7f6SWei Yongjun 	asm ("mov %%rax, %[rax]": [rax]"=m"(rax));
5132e16c7f6SWei Yongjun 	report("bsrw r/m, reg", rax == 15);
5142e16c7f6SWei Yongjun 
5152e16c7f6SWei Yongjun 	asm volatile("movl $0xC0000000, (%[memq])\n\t"
5162e16c7f6SWei Yongjun 		     "bsrl (%[memq]), %%eax\n\t"
5172e16c7f6SWei Yongjun 		     ::[memq]"r"(memq));
5182e16c7f6SWei Yongjun 	asm ("mov %%rax, %[rax]": [rax]"=m"(rax));
5192e16c7f6SWei Yongjun 	report("bsrl r/m, reg", rax == 31);
5202e16c7f6SWei Yongjun 
5212e16c7f6SWei Yongjun 	asm volatile("movq $0xC00000000000, %%rax\n\t"
5222e16c7f6SWei Yongjun 		     "movq %%rax, (%[memq])\n\t"
5232e16c7f6SWei Yongjun 		     "bsrq (%[memq]), %%rax\n\t"
5242e16c7f6SWei Yongjun 		     ::[memq]"r"(memq));
5252e16c7f6SWei Yongjun 	asm ("mov %%rax, %[rax]": [rax]"=m"(rax));
5262e16c7f6SWei Yongjun 	report("bsrq r/m, reg", rax == 47);
5272e16c7f6SWei Yongjun 
5282e16c7f6SWei Yongjun 	asm volatile("movq $0, %%rax\n\t"
5292e16c7f6SWei Yongjun 		     "movq %%rax, (%[memq])\n\t"
5302e16c7f6SWei Yongjun 		     "bsrq (%[memq]), %%rax\n\t"
5312e16c7f6SWei Yongjun 		     "jnz 1f\n\t"
5322e16c7f6SWei Yongjun 		     "movl $1, %[rax]\n\t"
5332e16c7f6SWei Yongjun 		     "1:\n\t"
5342e16c7f6SWei Yongjun 		     :[rax]"=m"(rax)
5352e16c7f6SWei Yongjun 		     :[memq]"r"(memq));
5362e16c7f6SWei Yongjun 	report("bsrq r/m, reg", rax == 1);
5372e16c7f6SWei Yongjun }
5382e16c7f6SWei Yongjun 
53951d65a3cSAvi Kivity static void test_imul(ulong *mem)
54051d65a3cSAvi Kivity {
54151d65a3cSAvi Kivity     ulong a;
54251d65a3cSAvi Kivity 
54351d65a3cSAvi Kivity     *mem = 51; a = 0x1234567812345678UL;
54451d65a3cSAvi Kivity     asm ("imulw %1, %%ax" : "+a"(a) : "m"(*mem));
54551d65a3cSAvi Kivity     report("imul ax, mem", a == 0x12345678123439e8);
54651d65a3cSAvi Kivity 
54751d65a3cSAvi Kivity     *mem = 51; a = 0x1234567812345678UL;
54851d65a3cSAvi Kivity     asm ("imull %1, %%eax" : "+a"(a) : "m"(*mem));
54951d65a3cSAvi Kivity     report("imul eax, mem", a == 0xa06d39e8);
55051d65a3cSAvi Kivity 
55151d65a3cSAvi Kivity     *mem = 51; a = 0x1234567812345678UL;
55251d65a3cSAvi Kivity     asm ("imulq %1, %%rax" : "+a"(a) : "m"(*mem));
55351d65a3cSAvi Kivity     report("imul rax, mem", a == 0xA06D39EBA06D39E8UL);
55451d65a3cSAvi Kivity 
55551d65a3cSAvi Kivity     *mem  = 0x1234567812345678UL; a = 0x8765432187654321L;
55651d65a3cSAvi Kivity     asm ("imulw $51, %1, %%ax" : "+a"(a) : "m"(*mem));
55751d65a3cSAvi Kivity     report("imul ax, mem, imm8", a == 0x87654321876539e8);
55851d65a3cSAvi Kivity 
55951d65a3cSAvi Kivity     *mem = 0x1234567812345678UL;
56051d65a3cSAvi Kivity     asm ("imull $51, %1, %%eax" : "+a"(a) : "m"(*mem));
56151d65a3cSAvi Kivity     report("imul eax, mem, imm8", a == 0xa06d39e8);
56251d65a3cSAvi Kivity 
56351d65a3cSAvi Kivity     *mem = 0x1234567812345678UL;
56451d65a3cSAvi Kivity     asm ("imulq $51, %1, %%rax" : "+a"(a) : "m"(*mem));
56551d65a3cSAvi Kivity     report("imul rax, mem, imm8", a == 0xA06D39EBA06D39E8UL);
56651d65a3cSAvi Kivity 
56751d65a3cSAvi Kivity     *mem  = 0x1234567812345678UL; a = 0x8765432187654321L;
56851d65a3cSAvi Kivity     asm ("imulw $311, %1, %%ax" : "+a"(a) : "m"(*mem));
56951d65a3cSAvi Kivity     report("imul ax, mem, imm", a == 0x8765432187650bc8);
57051d65a3cSAvi Kivity 
57151d65a3cSAvi Kivity     *mem = 0x1234567812345678UL;
57251d65a3cSAvi Kivity     asm ("imull $311, %1, %%eax" : "+a"(a) : "m"(*mem));
57351d65a3cSAvi Kivity     report("imul eax, mem, imm", a == 0x1d950bc8);
57451d65a3cSAvi Kivity 
57551d65a3cSAvi Kivity     *mem = 0x1234567812345678UL;
57651d65a3cSAvi Kivity     asm ("imulq $311, %1, %%rax" : "+a"(a) : "m"(*mem));
57751d65a3cSAvi Kivity     report("imul rax, mem, imm", a == 0x1D950BDE1D950BC8L);
57851d65a3cSAvi Kivity }
57951d65a3cSAvi Kivity 
580f12d86b0SAvi Kivity static void test_div(long *mem)
581f12d86b0SAvi Kivity {
582f12d86b0SAvi Kivity     long a, d;
583f12d86b0SAvi Kivity     u8 ex = 1;
584f12d86b0SAvi Kivity 
585f12d86b0SAvi Kivity     *mem = 0; a = 1; d = 2;
586f12d86b0SAvi Kivity     asm (ASM_TRY("1f") "divq %3; movb $0, %2; 1:"
587f12d86b0SAvi Kivity 	 : "+a"(a), "+d"(d), "+q"(ex) : "m"(*mem));
588f12d86b0SAvi Kivity     report("divq (fault)", a == 1 && d == 2 && ex);
589f12d86b0SAvi Kivity 
590f12d86b0SAvi Kivity     *mem = 987654321098765UL; a = 123456789012345UL; d = 123456789012345UL;
591f12d86b0SAvi Kivity     asm (ASM_TRY("1f") "divq %3; movb $0, %2; 1:"
592f12d86b0SAvi Kivity 	 : "+a"(a), "+d"(d), "+q"(ex) : "m"(*mem));
593f12d86b0SAvi Kivity     report("divq (1)",
594f12d86b0SAvi Kivity 	   a == 0x1ffffffb1b963b33ul && d == 0x273ba4384ede2ul && !ex);
595f12d86b0SAvi Kivity }
596f12d86b0SAvi Kivity 
597d7f3ee3cSAvi Kivity typedef unsigned __attribute__((vector_size(16))) sse128;
598d7f3ee3cSAvi Kivity 
599d7f3ee3cSAvi Kivity typedef union {
600d7f3ee3cSAvi Kivity     sse128 sse;
601d7f3ee3cSAvi Kivity     unsigned u[4];
602d7f3ee3cSAvi Kivity } sse_union;
603d7f3ee3cSAvi Kivity 
604d7f3ee3cSAvi Kivity static bool sseeq(sse_union *v1, sse_union *v2)
605d7f3ee3cSAvi Kivity {
606d7f3ee3cSAvi Kivity     bool ok = true;
607d7f3ee3cSAvi Kivity     int i;
608d7f3ee3cSAvi Kivity 
609d7f3ee3cSAvi Kivity     for (i = 0; i < 4; ++i) {
610d7f3ee3cSAvi Kivity 	ok &= v1->u[i] == v2->u[i];
611d7f3ee3cSAvi Kivity     }
612d7f3ee3cSAvi Kivity 
613d7f3ee3cSAvi Kivity     return ok;
614d7f3ee3cSAvi Kivity }
615d7f3ee3cSAvi Kivity 
616d7f3ee3cSAvi Kivity static void test_sse(sse_union *mem)
617d7f3ee3cSAvi Kivity {
618d7f3ee3cSAvi Kivity     sse_union v;
619d7f3ee3cSAvi Kivity 
620d7f3ee3cSAvi Kivity     write_cr0(read_cr0() & ~6); /* EM, TS */
621d7f3ee3cSAvi Kivity     write_cr4(read_cr4() | 0x200); /* OSFXSR */
622d7f3ee3cSAvi Kivity     v.u[0] = 1; v.u[1] = 2; v.u[2] = 3; v.u[3] = 4;
623d7f3ee3cSAvi Kivity     asm("movdqu %1, %0" : "=m"(*mem) : "x"(v.sse));
624d7f3ee3cSAvi Kivity     report("movdqu (read)", sseeq(&v, mem));
625d7f3ee3cSAvi Kivity     mem->u[0] = 5; mem->u[1] = 6; mem->u[2] = 7; mem->u[3] = 8;
626d7f3ee3cSAvi Kivity     asm("movdqu %1, %0" : "=x"(v.sse) : "m"(*mem));
627d7f3ee3cSAvi Kivity     report("movdqu (write)", sseeq(mem, &v));
628d7f3ee3cSAvi Kivity }
629d7f3ee3cSAvi Kivity 
6308cfa5a06SAvi Kivity static void test_rip_relative(unsigned *mem, char *insn_ram)
6318cfa5a06SAvi Kivity {
6328cfa5a06SAvi Kivity     /* movb $1, mem+2(%rip) */
6338cfa5a06SAvi Kivity     insn_ram[0] = 0xc6;
6348cfa5a06SAvi Kivity     insn_ram[1] = 0x05;
6358cfa5a06SAvi Kivity     *(unsigned *)&insn_ram[2] = 2 + (char *)mem - (insn_ram + 7);
6368cfa5a06SAvi Kivity     insn_ram[6] = 0x01;
6378cfa5a06SAvi Kivity     /* ret */
6388cfa5a06SAvi Kivity     insn_ram[7] = 0xc3;
6398cfa5a06SAvi Kivity 
6408cfa5a06SAvi Kivity     *mem = 0;
6418cfa5a06SAvi Kivity     asm("callq *%1" : "+m"(*mem) : "r"(insn_ram));
6428cfa5a06SAvi Kivity     report("movb $imm, 0(%rip)", *mem == 0x10000);
6438cfa5a06SAvi Kivity }
644d7f3ee3cSAvi Kivity 
645*b212fcdaSAvi Kivity static void test_shld_shrd(u32 *mem)
646*b212fcdaSAvi Kivity {
647*b212fcdaSAvi Kivity     *mem = 0x12345678;
648*b212fcdaSAvi Kivity     asm("shld %2, %1, %0" : "+m"(*mem) : "r"(0xaaaaaaaaU), "c"((u8)3));
649*b212fcdaSAvi Kivity     report("shld (cl)", *mem == ((0x12345678 << 3) | 5));
650*b212fcdaSAvi Kivity     *mem = 0x12345678;
651*b212fcdaSAvi Kivity     asm("shrd %2, %1, %0" : "+m"(*mem) : "r"(0x55555555U), "c"((u8)3));
652*b212fcdaSAvi Kivity     report("shrd (cl)", *mem == ((0x12345678 >> 3) | (5u << 29)));
653*b212fcdaSAvi Kivity }
654*b212fcdaSAvi Kivity 
6557d36db35SAvi Kivity int main()
6567d36db35SAvi Kivity {
6577d36db35SAvi Kivity 	void *mem;
6588cfa5a06SAvi Kivity 	void *insn_ram;
6597d36db35SAvi Kivity 	unsigned long t1, t2;
6607d36db35SAvi Kivity 
6617d36db35SAvi Kivity 	setup_vm();
662a526e20dSAvi Kivity 	setup_idt();
6637d36db35SAvi Kivity 	mem = vmap(IORAM_BASE_PHYS, IORAM_LEN);
6648cfa5a06SAvi Kivity 	insn_ram = vmalloc(4096);
6657d36db35SAvi Kivity 
6667d36db35SAvi Kivity 	// test mov reg, r/m and mov r/m, reg
6677d36db35SAvi Kivity 	t1 = 0x123456789abcdef;
6687d36db35SAvi Kivity 	asm volatile("mov %[t1], (%[mem]) \n\t"
6697d36db35SAvi Kivity 		     "mov (%[mem]), %[t2]"
6707d36db35SAvi Kivity 		     : [t2]"=r"(t2)
6717d36db35SAvi Kivity 		     : [t1]"r"(t1), [mem]"r"(mem)
6727d36db35SAvi Kivity 		     : "memory");
6737d36db35SAvi Kivity 	report("mov reg, r/m (1)", t2 == 0x123456789abcdef);
6747d36db35SAvi Kivity 
6757d36db35SAvi Kivity 	test_cmps(mem);
67680a4ea7bSAvi Kivity 	test_scas(mem);
6777d36db35SAvi Kivity 
6787d36db35SAvi Kivity 	test_push(mem);
6797d36db35SAvi Kivity 	test_pop(mem);
6807d36db35SAvi Kivity 
6817d36db35SAvi Kivity 	test_xchg(mem);
6825647d55cSWei Yongjun 	test_xadd(mem);
6837d36db35SAvi Kivity 
6847d36db35SAvi Kivity 	test_cr8();
6857d36db35SAvi Kivity 
6867d36db35SAvi Kivity 	test_smsw();
6877d36db35SAvi Kivity 	test_lmsw();
6887d36db35SAvi Kivity 	test_ljmp(mem);
6897d36db35SAvi Kivity 	test_stringio();
6907d36db35SAvi Kivity 	test_incdecnotneg(mem);
691d4655eafSWei Yongjun 	test_btc(mem);
6922e16c7f6SWei Yongjun 	test_bsfbsr(mem);
69351d65a3cSAvi Kivity 	test_imul(mem);
694f12d86b0SAvi Kivity 	test_div(mem);
695d7f3ee3cSAvi Kivity 	test_sse(mem);
6968cfa5a06SAvi Kivity 	test_rip_relative(mem, insn_ram);
697*b212fcdaSAvi Kivity 	test_shld_shrd(mem);
6987d36db35SAvi Kivity 
6997d36db35SAvi Kivity 	printf("\nSUMMARY: %d tests, %d failures\n", tests, fails);
7007d36db35SAvi Kivity 	return fails ? 1 : 0;
7017d36db35SAvi Kivity }
702