none/tests/amd64/asorep.c

   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 }