cmpxchg8b.c revision e739ac0589b4fb43561f801c4faba8c1b89f8680 
1#include "tests/asm.h"
2#include <stdio.h>
3
4typedef unsigned long long int ULong;
5typedef unsigned int UInt;
6
7ULong m64;
8
9UInt eax;
10UInt ebx;
11UInt ecx;
12UInt edx;
13UInt zout;
14
15extern void foo ( void );
16asm("\n"
17    VG_SYM(foo) ":\n"
18    "\tpushl %eax\n"
19    "\tpushl %ebx\n"
20    "\tpushl %ecx\n"
21    "\tpushl %edx\n"
22
23    "\txorl %eax, %eax\n" // get eflags in a known state
24
25    "\tmovl " VG_SYM(eax) ",%eax\n"
26    "\tmovl " VG_SYM(ebx) ",%ebx\n"
27    "\tmovl " VG_SYM(ecx) ",%ecx\n"
28    "\tmovl " VG_SYM(edx) ",%edx\n"
29    "\tcmpxchg8b " VG_SYM(m64) "\n"
30    "\tmovl %eax," VG_SYM(eax) "\n"
31    "\tmovl %ebx," VG_SYM(ebx) "\n"
32    "\tmovl %ecx," VG_SYM(ecx) "\n"
33    "\tmovl %edx," VG_SYM(edx) "\n"
34    "\tpushfl\n"
35    "\tpopl %eax\n"
36    "\tmovl %eax," VG_SYM(zout) "\n"
37
38    "\tpopl %edx\n"
39    "\tpopl %ecx\n"
40    "\tpopl %ebx\n"
41    "\tpopl %eax\n"
42    "\tret\n"
43    );
44
45int main ( void )
46{
47   edx  = 0x11111111; eax = 0x22222222;
48   ecx  = 0x33333333; ebx = 0x44444444;
49   zout = 0x55555555;
50   m64  = 0x1111111122222222ULL;
51   foo();
52   printf("0x%x 0x%x 0x%x 0x%x 0x%x 0x%llx\n",
53	  eax, ebx, ecx, edx, zout & 0xFFFF, m64 );
54
55   edx  = 0x11111111; eax = 0x22222222;
56   ecx  = 0x33333333; ebx = 0x44444444;
57   zout = 0x55555555;
58   m64  = 0x1111111122222222ULL;
59   m64 += 0x1ULL;
60   foo();
61   printf("0x%x 0x%x 0x%x 0x%x 0x%x 0x%llx\n",
62	  eax, ebx, ecx, edx, zout & 0xFFFF, m64 );
63
64   edx  = 0x11111111; eax = 0x22222222;
65   ecx  = 0x33333333; ebx = 0x44444444;
66   zout = 0x55555555;
67   m64  = 0x1111111122222222ULL;
68   m64 += 0x100000000ULL;
69   foo();
70   printf("0x%x 0x%x 0x%x 0x%x 0x%x 0x%llx\n",
71	  eax, ebx, ecx, edx, zout & 0xFFFF, m64 );
72
73   edx  = 0x11111111; eax = 0x22222222;
74   ecx  = 0x33333333; ebx = 0x44444444;
75   zout = 0x55555555;
76   m64  = 0x6666666677777777ULL;
77   foo();
78   printf("0x%x 0x%x 0x%x 0x%x 0x%x 0x%llx\n",
79	  eax, ebx, ecx, edx, zout & 0xFFFF, m64 );
80
81   return 0;
82}
83