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