#include "tests/asm.h"
#include <stdio.h>

/* This test only checks register/register cmpxchg */

typedef unsigned long long int ULong;
typedef unsigned int UInt;

ULong m64;

ULong rax;
ULong rbx;
ULong rcx;
ULong rdx;
ULong rax_out;
ULong rbx_out;
ULong rcx_out;

int main ( void )
{
   
   /* 8-bit */
   
   rdx  = 0x11111111; rax = 0x22222222;
   rcx  = 0x33333333; rbx = 0x44444444;
   
   printf("cmpxchg %%bl,%%cl  (al=%llx bl=%llx cl=%llx)\n",
	  rax&0xff,rbx&0xff,rcx&0xff);
      
   asm("\n"
    "\tpush %rax\n"
    "\tpush %rbx\n"
    "\tpush %rcx\n"
    "\tpush %rdx\n"
    "\txor %rax, %rax\n" // get eflags in a known state
#ifndef VGP_amd64_darwin
    "\tmov " VG_SYM(rax) ",%rax\n"
    "\tmov " VG_SYM(rbx) ",%rbx\n"
    "\tmov " VG_SYM(rcx) ",%rcx\n"
    "\tmov " VG_SYM(rdx) ",%rdx\n"
#else
    "\tmov " VG_SYM(rax) "(%rip),%rax\n"
    "\tmov " VG_SYM(rbx) "(%rip),%rbx\n"
    "\tmov " VG_SYM(rcx) "(%rip),%rcx\n"
    "\tmov " VG_SYM(rdx) "(%rip),%rdx\n"
#endif
    "\tcmpxchg %bl,%cl \n"
#ifndef VGP_amd64_darwin
    "\tmov %rax," VG_SYM(rax_out) "\n"
    "\tmov %rbx," VG_SYM(rbx_out) "\n"
    "\tmov %rcx," VG_SYM(rcx_out) "\n"
#else
    "\tmov %rax," VG_SYM(rax_out) "(%rip)\n"
    "\tmov %rbx," VG_SYM(rbx_out) "(%rip)\n"
    "\tmov %rcx," VG_SYM(rcx_out) "(%rip)\n"
#endif
    "\tpop %rdx\n"
    "\tpop %rcx\n"
    "\tpop %rbx\n"
    "\tpop %rax\n"
    );
   
   printf("  al!=cl so al should equal cl (Result al=%llx bl=%llx cl=%llx)\n",
	  rax_out&0xff,rbx_out&0xff,rcx_out&0xff);
   
   
   
   rdx  = 0x99999999; rax = 0x77777777;
   rcx  = 0x55555555; rbx = 0x55555555;
   
   printf("cmpxchg %%bl,%%cl  (al=%llx bl=%llx cl=%llx)\n",
	  rax&0xff,rbx&0xff,rcx&0xff);
      
   asm("\n"
    "\tpush %rax\n"
    "\tpush %rbx\n"
    "\tpush %rcx\n"
    "\tpush %rdx\n"
    "\txor %rax, %rax\n" // get eflags in a known state
#ifndef VGP_amd64_darwin
    "\tmov " VG_SYM(rax) ",%rax\n"
    "\tmov " VG_SYM(rbx) ",%rbx\n"
    "\tmov " VG_SYM(rcx) ",%rcx\n"
    "\tmov " VG_SYM(rdx) ",%rdx\n"
#else
    "\tmov " VG_SYM(rax) "(%rip),%rax\n"
    "\tmov " VG_SYM(rbx) "(%rip),%rbx\n"
    "\tmov " VG_SYM(rcx) "(%rip),%rcx\n"
    "\tmov " VG_SYM(rdx) "(%rip),%rdx\n"
#endif
    "\tcmpxchg %bl,%cl \n"
#ifndef VGP_amd64_darwin
    "\tmov %rax," VG_SYM(rax_out) "\n"
    "\tmov %rbx," VG_SYM(rbx_out) "\n"
    "\tmov %rcx," VG_SYM(rcx_out) "\n"
#else
    "\tmov %rax," VG_SYM(rax_out) "(%rip)\n"
    "\tmov %rbx," VG_SYM(rbx_out) "(%rip)\n"
    "\tmov %rcx," VG_SYM(rcx_out) "(%rip)\n"
#endif
    "\tpop %rdx\n"
    "\tpop %rcx\n"
    "\tpop %rbx\n"
    "\tpop %rax\n"
    );
   
   printf("  al==cl so cl should equal bl (Result al=%llx bl=%llx cl=%llx)\n",
	  rax_out&0xff,rbx_out&0xff,rcx_out&0xff);   
   
   /* 16-bit */
   
   rdx  = 0x11111111; rax = 0x22222222;
   rcx  = 0x33333333; rbx = 0x44444444;
   
   printf("cmpxchg %%bx,%%cx  (ax=%llx bx=%llx cx=%llx)\n",
	  rax&0xffff,rbx&0xffff,rcx&0xffff);
      
   asm("\n"
    "\tpush %rax\n"
    "\tpush %rbx\n"
    "\tpush %rcx\n"
    "\tpush %rdx\n"
    "\txor %rax, %rax\n" // get eflags in a known state
#ifndef VGP_amd64_darwin
    "\tmov " VG_SYM(rax) ",%rax\n"
    "\tmov " VG_SYM(rbx) ",%rbx\n"
    "\tmov " VG_SYM(rcx) ",%rcx\n"
    "\tmov " VG_SYM(rdx) ",%rdx\n"
#else
    "\tmov " VG_SYM(rax) "(%rip),%rax\n"
    "\tmov " VG_SYM(rbx) "(%rip),%rbx\n"
    "\tmov " VG_SYM(rcx) "(%rip),%rcx\n"
    "\tmov " VG_SYM(rdx) "(%rip),%rdx\n"
#endif
    "\tcmpxchg %bx,%cx \n"
#ifndef VGP_amd64_darwin
    "\tmov %rax," VG_SYM(rax_out) "\n"
    "\tmov %rbx," VG_SYM(rbx_out) "\n"
    "\tmov %rcx," VG_SYM(rcx_out) "\n"
#else
    "\tmov %rax," VG_SYM(rax_out) "(%rip)\n"
    "\tmov %rbx," VG_SYM(rbx_out) "(%rip)\n"
    "\tmov %rcx," VG_SYM(rcx_out) "(%rip)\n"
#endif
    "\tpop %rdx\n"
    "\tpop %rcx\n"
    "\tpop %rbx\n"
    "\tpop %rax\n"
    );
   
   printf("  ax!=cx so ax should equal cx (Result ax=%llx bx=%llx cx=%llx)\n",
	  rax_out&0xffff,rbx_out&0xffff,rcx_out&0xffff);
   
   
   
   rdx  = 0x99999999; rax = 0x77777777;
   rcx  = 0x55555555; rbx = 0x55555555;
   
   printf("cmpxchg %%bx,%%cx  (ax=%llx bx=%llx cx=%llx)\n",
	  rax&0xffff,rbx&0xffff,rcx&0xffff);
      
   asm("\n"
    "\tpush %rax\n"
    "\tpush %rbx\n"
    "\tpush %rcx\n"
    "\tpush %rdx\n"
    "\txor %rax, %rax\n" // get eflags in a known state
#ifndef VGP_amd64_darwin
    "\tmov " VG_SYM(rax) ",%rax\n"
    "\tmov " VG_SYM(rbx) ",%rbx\n"
    "\tmov " VG_SYM(rcx) ",%rcx\n"
    "\tmov " VG_SYM(rdx) ",%rdx\n"
#else
    "\tmov " VG_SYM(rax) "(%rip),%rax\n"
    "\tmov " VG_SYM(rbx) "(%rip),%rbx\n"
    "\tmov " VG_SYM(rcx) "(%rip),%rcx\n"
    "\tmov " VG_SYM(rdx) "(%rip),%rdx\n"
#endif
    "\tcmpxchg %bx,%cx \n"
#ifndef VGP_amd64_darwin
    "\tmov %rax," VG_SYM(rax_out) "\n"
    "\tmov %rbx," VG_SYM(rbx_out) "\n"
    "\tmov %rcx," VG_SYM(rcx_out) "\n"
#else
    "\tmov %rax," VG_SYM(rax_out) "(%rip)\n"
    "\tmov %rbx," VG_SYM(rbx_out) "(%rip)\n"
    "\tmov %rcx," VG_SYM(rcx_out) "(%rip)\n"
#endif
    "\tpop %rdx\n"
    "\tpop %rcx\n"
    "\tpop %rbx\n"
    "\tpop %rax\n"
    );
   
   printf("  ax==cx so cx should equal bx (Result ax=%llx bx=%llx cx=%llx)\n",
	  rax_out&0xffff,rbx_out&0xffff,rcx_out&0xffff);   
   
   
   /* 32-bit */
   
   rdx  = 0x11111111; rax = 0x22222222;
   rcx  = 0x33333333; rbx = 0x44444444;
   
   printf("cmpxchg %%ebx,%%ecx  (eax=%llx ebx=%llx ecx=%llx)\n",
	  rax&0xffffffff,rbx&0xffffffff,rcx&0xffffffff);
      
   asm("\n"
    "\tpush %rax\n"
    "\tpush %rbx\n"
    "\tpush %rcx\n"
    "\tpush %rdx\n"
    "\txor %rax, %rax\n" // get eflags in a known state
#ifndef VGP_amd64_darwin
    "\tmov " VG_SYM(rax) ",%rax\n"
    "\tmov " VG_SYM(rbx) ",%rbx\n"
    "\tmov " VG_SYM(rcx) ",%rcx\n"
    "\tmov " VG_SYM(rdx) ",%rdx\n"
#else
    "\tmov " VG_SYM(rax) "(%rip),%rax\n"
    "\tmov " VG_SYM(rbx) "(%rip),%rbx\n"
    "\tmov " VG_SYM(rcx) "(%rip),%rcx\n"
    "\tmov " VG_SYM(rdx) "(%rip),%rdx\n"
#endif
    "\tcmpxchg %ebx,%ecx \n"
#ifndef VGP_amd64_darwin
    "\tmov %rax," VG_SYM(rax_out) "\n"
    "\tmov %rbx," VG_SYM(rbx_out) "\n"
    "\tmov %rcx," VG_SYM(rcx_out) "\n"
#else
    "\tmov %rax," VG_SYM(rax_out) "(%rip)\n"
    "\tmov %rbx," VG_SYM(rbx_out) "(%rip)\n"
    "\tmov %rcx," VG_SYM(rcx_out) "(%rip)\n"
#endif
    "\tpop %rdx\n"
    "\tpop %rcx\n"
    "\tpop %rbx\n"
    "\tpop %rax\n"
    );
   
   printf("  eax!=ecx so eax should equal ecx (Result eax=%llx ebx=%llx ecx=%llx)\n",
	  rax_out&0xffffffff,rbx_out&0xffffffff,rcx_out&0xffffffff);
   
   
   
   rdx  = 0x99999999; rax = 0x77777777;
   rcx  = 0x55555555; rbx = 0x55555555;
   
   printf("cmpxchg %%ebx,%%ecx  (eax=%llx ebx=%llx ecx=%llx)\n",
	  rax&0xffffffff,rbx&0xffffffff,rcx&0xffffffff);
      
   asm("\n"
    "\tpush %rax\n"
    "\tpush %rbx\n"
    "\tpush %rcx\n"
    "\tpush %rdx\n"
    "\txor %rax, %rax\n" // get eflags in a known state
#ifndef VGP_amd64_darwin
    "\tmov " VG_SYM(rax) ",%rax\n"
    "\tmov " VG_SYM(rbx) ",%rbx\n"
    "\tmov " VG_SYM(rcx) ",%rcx\n"
    "\tmov " VG_SYM(rdx) ",%rdx\n"
#else
    "\tmov " VG_SYM(rax) "(%rip),%rax\n"
    "\tmov " VG_SYM(rbx) "(%rip),%rbx\n"
    "\tmov " VG_SYM(rcx) "(%rip),%rcx\n"
    "\tmov " VG_SYM(rdx) "(%rip),%rdx\n"
#endif
    "\tcmpxchg %ebx,%ecx \n"
#ifndef VGP_amd64_darwin
    "\tmov %rax," VG_SYM(rax_out) "\n"
    "\tmov %rbx," VG_SYM(rbx_out) "\n"
    "\tmov %rcx," VG_SYM(rcx_out) "\n"
#else
    "\tmov %rax," VG_SYM(rax_out) "(%rip)\n"
    "\tmov %rbx," VG_SYM(rbx_out) "(%rip)\n"
    "\tmov %rcx," VG_SYM(rcx_out) "(%rip)\n"
#endif
    "\tpop %rdx\n"
    "\tpop %rcx\n"
    "\tpop %rbx\n"
    "\tpop %rax\n"
    );
   
   printf("  eax==ecx so ecx should equal ebx (Result eax=%llx ebx=%llx ecx=%llx)\n",
	  rax_out&0xffffffff,rbx_out&0xffffffff,rcx_out&0xffffffff);
   
   
   /* 64-bit */
   
   rdx  = 0x111111111; rax = 0x222222222;
   rcx  = 0x333333333; rbx = 0x444444444;
   
   printf("cmpxchg %%rbx,%%rcx  (rax=%llx rbx=%llx rcx=%llx)\n",
	  rax,rbx,rcx);
      
   asm("\n"
    "\tpush %rax\n"
    "\tpush %rbx\n"
    "\tpush %rcx\n"
    "\tpush %rdx\n"
    "\txor %rax, %rax\n" // get eflags in a known state
#ifndef VGP_amd64_darwin
    "\tmov " VG_SYM(rax) ",%rax\n"
    "\tmov " VG_SYM(rbx) ",%rbx\n"
    "\tmov " VG_SYM(rcx) ",%rcx\n"
    "\tmov " VG_SYM(rdx) ",%rdx\n"
#else
    "\tmov " VG_SYM(rax) "(%rip),%rax\n"
    "\tmov " VG_SYM(rbx) "(%rip),%rbx\n"
    "\tmov " VG_SYM(rcx) "(%rip),%rcx\n"
    "\tmov " VG_SYM(rdx) "(%rip),%rdx\n"
#endif
    "\tcmpxchg %rbx,%rcx \n"
#ifndef VGP_amd64_darwin
    "\tmov %rax," VG_SYM(rax_out) "\n"
    "\tmov %rbx," VG_SYM(rbx_out) "\n"
    "\tmov %rcx," VG_SYM(rcx_out) "\n"
#else
    "\tmov %rax," VG_SYM(rax_out) "(%rip)\n"
    "\tmov %rbx," VG_SYM(rbx_out) "(%rip)\n"
    "\tmov %rcx," VG_SYM(rcx_out) "(%rip)\n"
#endif
    "\tpop %rdx\n"
    "\tpop %rcx\n"
    "\tpop %rbx\n"
    "\tpop %rax\n"
    );
   
   printf("  rax!=rcx so rax should equal rcx (Result rax=%llx rbx=%llx rcx=%llx)\n",
	  rax_out,rbx_out,rcx_out);
   
   
   
   rdx  = 0x999999999; rax = 0x777777777;
   rcx  = 0x555555555; rbx = 0x555555555;
   
   printf("cmpxchg %%rbx,%%rcx  (rax=%llx rbx=%llx rcx=%llx)\n",
	  rax,rbx,rcx);
      
   asm("\n"
    "\tpush %rax\n"
    "\tpush %rbx\n"
    "\tpush %rcx\n"
    "\tpush %rdx\n"
    "\txor %rax, %rax\n" // get eflags in a known state
#ifndef VGP_amd64_darwin
    "\tmov " VG_SYM(rax) ",%rax\n"
    "\tmov " VG_SYM(rbx) ",%rbx\n"
    "\tmov " VG_SYM(rcx) ",%rcx\n"
    "\tmov " VG_SYM(rdx) ",%rdx\n"
#else
    "\tmov " VG_SYM(rax) "(%rip),%rax\n"
    "\tmov " VG_SYM(rbx) "(%rip),%rbx\n"
    "\tmov " VG_SYM(rcx) "(%rip),%rcx\n"
    "\tmov " VG_SYM(rdx) "(%rip),%rdx\n"
#endif
    "\tcmpxchg %rbx,%rcx \n"
#ifndef VGP_amd64_darwin
    "\tmov %rax," VG_SYM(rax_out) "\n"
    "\tmov %rbx," VG_SYM(rbx_out) "\n"
    "\tmov %rcx," VG_SYM(rcx_out) "\n"
#else
    "\tmov %rax," VG_SYM(rax_out) "(%rip)\n"
    "\tmov %rbx," VG_SYM(rbx_out) "(%rip)\n"
    "\tmov %rcx," VG_SYM(rcx_out) "(%rip)\n"
#endif
    "\tpop %rdx\n"
    "\tpop %rcx\n"
    "\tpop %rbx\n"
    "\tpop %rax\n"
    );
   
   printf("  rax==rcx so ecx should equal rbx (Result rax=%llx rbx=%llx rcx=%llx)\n",
	  rax_out,rbx_out,rcx_out);      
   
   return 0;
}