1 #include <stdint.h> 2 #include <string.h> 3 #include <stdio.h> 4 5 char buf1[64], buf2[64]; 6 7 int 8 main (void) 9 { 10 unsigned long rdi, rsi, rcx, rax; 11 uintptr_t b1 = (uintptr_t) buf1, b2 = (uintptr_t) buf2; 12 13 if (b1 > 0xffffffffULL || b2 > 0xffffffffULL) 14 return 0; 15 16 b1 += 0x100000000ULL; 17 b2 += 0xfff00000000ULL; 18 memcpy (buf1, "abcde", 4); 19 asm volatile ("addr32 rep movsb" 20 : "=D" (rdi), "=S" (rsi), "=c" (rcx) 21 : "D" (b2), "S" (b1), "c" (0x100000004ULL) 22 : "memory"); 23 if (memcmp (buf2, "abcd", 5) != 0 24 || rdi != (uintptr_t) buf2 + 4 25 || rsi != (uintptr_t) buf1 + 4 26 || rcx) 27 fprintf (stderr, "addr32 rep movsb wrong\n"); 28 29 rax = 0x751234560000ULL + (' ' << 8) + '0'; 30 asm volatile ("addr32 rep stosw" 31 : "=D" (rdi), "=c" (rcx), "+a" (rax) 32 : "D" (b2), "c" (0x100000003ULL) 33 : "memory"); 34 if (memcmp (buf2, "0 0 0 ", 7) != 0 35 || rdi != (uintptr_t) buf2 + 6 36 || rcx 37 || rax != 0x751234560000ULL + (' ' << 8) + '0') 38 fprintf (stderr, "addr32 rep stosw wrong\n"); 39 40 asm volatile ("addr32 lodsl" 41 : "=S" (rsi), "=a" (rax) 42 : "S" (b2), "a" (2ULL)); 43 if (rsi != (uintptr_t) buf2 + 4 44 || rax != 0x20302030ULL) 45 fprintf (stderr, "addr32 lodsl wrong\n"); 46 47 memcpy (buf1, "abcdefghijklmno", 16); 48 memcpy (buf2, "abcdefghijklmnO", 16); 49 asm volatile ("addr32 repe cmpsb" 50 : "=D" (rdi), "=S" (rsi), "=c" (rcx) 51 : "D" (b2), "S" (b1), "c" (0x100000020ULL)); 52 if (rdi != (uintptr_t) buf2 + 15 53 || rsi != (uintptr_t) buf1 + 15 54 || rcx != 17ULL) 55 fprintf (stderr, "addr32 repe cmpsb wrong\n"); 56 57 memcpy (buf2, "ababababababababcdab", 20); 58 rax = 0x123450000ULL + ('d' << 8) + 'c'; 59 asm volatile ("addr32 repne scasw" 60 : "=D" (rdi), "=c" (rcx), "+a" (rax) 61 : "D" (b2), "c" (0x100000020ULL)); 62 if (rdi != (uintptr_t) buf2 + 18 63 || rcx != 23ULL 64 || rax != 0x123450000ULL + ('d' << 8) + 'c') 65 fprintf (stderr, "addr32 repne scasw wrong\n"); 66 67 rax = 0x543210000ULL + ('b' << 8) + 'a'; 68 asm volatile ("addr32 repe scasw" 69 : "=D" (rdi), "=c" (rcx), "+a" (rax) 70 : "D" (b2), "c" (0x100000020ULL)); 71 if (rdi != (uintptr_t) buf2 + 18 72 || rcx != 23ULL 73 || rax != 0x543210000ULL + ('b' << 8) + 'a') 74 fprintf (stderr, "addr32 repe scasw wrong\n"); 75 76 return 0; 77 } 78
