/* This is a test program that checks the parsing of instructions with
xacquire and xrelease prefixes. The tested insns are, afaics,
exactly those listed in the Intel description for the two prefixes
("XACQUIRE/XRELEASE -- Hardware Lock Elision Prefix Hints"). */
#include <stdio.h>
typedef unsigned long long int ULong;
#define CAT2(_x,_y) _x##_y
#define CAT(_x,_y) CAT2(_x,_y)
#define GEN_BINARY(_insn) \
void CAT(do_,_insn) ( void ) \
{ \
volatile ULong n = 0x5555555555555555ULL; \
ULong some = 0x271831415927D459ULL; \
__asm__ __volatile__( \
"\t" \
"stc" "\n\t" \
"xacquire lock " #_insn "q $123456789, (%0)" "\n\t" \
"xrelease lock " #_insn "q $123456789, (%0)" "\n\t" \
"xacquire lock " #_insn "l $0x12345FE, (%0)" "\n\t" \
"xrelease lock " #_insn "l $0x12345FE, (%0)" "\n\t" \
"xacquire lock " #_insn "w $0x9876, (%0)" "\n\t" \
"xrelease lock " #_insn "w $0x9876, (%0)" "\n\t" \
"xacquire lock " #_insn "b $0x45, (%0)" "\n\t" \
"xrelease lock " #_insn "b $0x45, (%0)" "\n\t" \
"xacquire lock " #_insn "q %1, (%0)" "\n\t" \
"xrelease lock " #_insn "q %1, (%0)" "\n\t" \
"xacquire lock " #_insn "l %k1, (%0)" "\n\t" \
"xrelease lock " #_insn "l %k1, (%0)" "\n\t" \
"xacquire lock " #_insn "w %w1, (%0)" "\n\t" \
"xrelease lock " #_insn "w %w1, (%0)" "\n\t" \
"xacquire lock " #_insn "b %b1, (%0)" "\n\t" \
"xrelease lock " #_insn "b %b1, (%0)" "\n\t" \
: : "r"(&n), "r"(some) : "cc", "memory" \
); \
printf("result for '%-3s' is %016llx\n", #_insn, n); \
}
GEN_BINARY(add)
GEN_BINARY(adc)
GEN_BINARY(and)
GEN_BINARY(or)
GEN_BINARY(sbb)
GEN_BINARY(sub)
GEN_BINARY(xor)
#define GEN_UNARY(_insn) \
void CAT(do_,_insn) ( void ) \
{ \
volatile ULong n = 0x5555555555555555ULL; \
__asm__ __volatile__( \
"\t" \
"stc" "\n\t" \
"xacquire lock " #_insn "q (%0)" "\n\t" \
"xrelease lock " #_insn "q (%0)" "\n\t" \
"xacquire lock " #_insn "l (%0)" "\n\t" \
"xrelease lock " #_insn "l (%0)" "\n\t" \
"xacquire lock " #_insn "w (%0)" "\n\t" \
"xrelease lock " #_insn "w (%0)" "\n\t" \
"xacquire lock " #_insn "b (%0)" "\n\t" \
"xrelease lock " #_insn "b (%0)" "\n\t" \
: : "r"(&n) : "cc", "memory" \
); \
printf("result for '%-3s' is %016llx\n", #_insn, n); \
}
GEN_UNARY(dec)
GEN_UNARY(inc)
GEN_UNARY(neg)
GEN_UNARY(not)
void do_btc ( void )
{
volatile ULong n = 0x5555555555555555ULL;
__asm__ __volatile__(
"xacquire lock btcq %1, (%0)" "\n\t"
"xacquire lock btcq $57, (%0)" "\n\t"
"xrelease lock btcq %1, (%0)" "\n\t"
"xrelease lock btcq $55, (%0)" "\n\t"
"xacquire lock btcl %k1, (%0)" "\n\t"
"xacquire lock btcl $27, (%0)" "\n\t"
"xrelease lock btcl %k1, (%0)" "\n\t"
"xrelease lock btcl $25, (%0)" "\n\t"
"xacquire lock btcw %w1, (%0)" "\n\t"
"xacquire lock btcw $12, (%0)" "\n\t"
"xrelease lock btcw %w1, (%0)" "\n\t"
"xrelease lock btcw $11, (%0)" "\n\t"
: : "r"(&n), "r"(6ULL) : "cc", "memory"
);
printf("result for '%-3s' is %016llx\n", "btc", n); \
}
void do_btr ( void )
{
volatile ULong n = 0x5555555555555555ULL;
__asm__ __volatile__(
"xacquire lock btrq %1, (%0)" "\n\t"
"xacquire lock btrq $57, (%0)" "\n\t"
"xrelease lock btrq %1, (%0)" "\n\t"
"xrelease lock btrq $55, (%0)" "\n\t"
"xacquire lock btrl %k1, (%0)" "\n\t"
"xacquire lock btrl $27, (%0)" "\n\t"
"xrelease lock btrl %k1, (%0)" "\n\t"
"xrelease lock btrl $25, (%0)" "\n\t"
"xacquire lock btrw %w1, (%0)" "\n\t"
"xacquire lock btrw $12, (%0)" "\n\t"
"xrelease lock btrw %w1, (%0)" "\n\t"
"xrelease lock btrw $11, (%0)" "\n\t"
: : "r"(&n), "r"(6ULL) : "cc", "memory"
);
printf("result for '%-3s' is %016llx\n", "btr", n); \
}
void do_bts ( void )
{
volatile ULong n = 0x5555555555555555ULL;
__asm__ __volatile__(
"xacquire lock btsq %1, (%0)" "\n\t"
"xacquire lock btsq $57, (%0)" "\n\t"
"xrelease lock btsq %1, (%0)" "\n\t"
"xrelease lock btsq $55, (%0)" "\n\t"
"xacquire lock btsl %k1, (%0)" "\n\t"
"xacquire lock btsl $27, (%0)" "\n\t"
"xrelease lock btsl %k1, (%0)" "\n\t"
"xrelease lock btsl $25, (%0)" "\n\t"
"xacquire lock btsw %w1, (%0)" "\n\t"
"xacquire lock btsw $12, (%0)" "\n\t"
"xrelease lock btsw %w1, (%0)" "\n\t"
"xrelease lock btsw $11, (%0)" "\n\t"
: : "r"(&n), "r"(6ULL) : "cc", "memory"
);
printf("result for '%-3s' is %016llx\n", "bts", n); \
}
void do_cmpxchg ( void )
{
volatile ULong n = 0x5555555555555555ULL;
ULong some = 0x271831415927D459ULL;
__asm__ __volatile__(
"\t"
"stc" "\n\t"
// zero out rax and get the flags in a known state
"xorq %%rax, %%rax" "\n\t"
"xacquire lock cmpxchgq %1, (%0)" "\n\t"
"xrelease lock cmpxchgq %1, (%0)" "\n\t"
"xacquire lock cmpxchgl %k1, (%0)" "\n\t"
"xrelease lock cmpxchgl %k1, (%0)" "\n\t"
"xacquire lock cmpxchgw %w1, (%0)" "\n\t"
"xrelease lock cmpxchgw %w1, (%0)" "\n\t"
"xacquire lock cmpxchgb %b1, (%0)" "\n\t"
"xrelease lock cmpxchgb %b1, (%0)" "\n\t"
: : "r"(&n), "r"(some) : "cc", "memory", "rax"
);
printf("result for '%-3s' is %016llx\n", "cmpxchg", n);
}
void do_cmpxchg8b ( void )
{
volatile ULong n = 0x5555555555555555ULL;
__asm__ __volatile__(
"xorq %%rax, %%rax" "\n\t"
"xorq %%rdx, %%rdx" "\n\t"
"movabsq $0x1122334455667788, %%rcx" "\n\t"
"movabsq $0xffeeddccbbaa9988, %%rbx" "\n\t"
"xacquire lock cmpxchg8b (%0)" "\n\t"
"xrelease lock cmpxchg8b (%0)" "\n\t"
: : "r"(&n) : "cc", "memory", "rax", "rbx", "rcx", "rdx"
);
printf("result for '%-3s' is %016llx\n", "cmpxchg8b", n);
}
void do_xadd ( void )
{
volatile ULong n = 0x5555555555555555ULL;
ULong some = 0x271831415927D459ULL;
__asm__ __volatile__(
"\t"
"stc" "\n\t"
// zero out rax and get the flags in a known state
"xorq %%rax, %%rax" "\n\t"
"xacquire lock xaddq %1, (%0)" "\n\t"
"xrelease lock xaddq %1, (%0)" "\n\t"
"xacquire lock xaddl %k1, (%0)" "\n\t"
"xrelease lock xaddl %k1, (%0)" "\n\t"
"xacquire lock xaddw %w1, (%0)" "\n\t"
"xrelease lock xaddw %w1, (%0)" "\n\t"
"xacquire lock xaddb %b1, (%0)" "\n\t"
"xrelease lock xaddb %b1, (%0)" "\n\t"
: : "r"(&n), "r"(some) : "cc", "memory", "rax"
// not sure this constraint string is really correct, since %1
// is written as well as read, in this case. But I can't figure
// out how to tell gcc that.
);
printf("result for '%-3s' is %016llx\n", "xadd", n);
}
void do_xchg ( void )
{
volatile ULong n = 0x5555555555555555ULL;
ULong some = 0x271831415927D459ULL;
__asm__ __volatile__(
"\t"
"stc" "\n\t"
// zero out rax and get the flags in a known state
"xorq %%rax, %%rax" "\n\t"
"xacquire lock xchgq %1, (%0)" "\n\t"
"xrelease lock xchgq %1, (%0)" "\n\t"
"xacquire lock xchgl %k1, (%0)" "\n\t"
"xrelease lock xchgl %k1, (%0)" "\n\t"
"xacquire lock xchgw %w1, (%0)" "\n\t"
"xrelease lock xchgw %w1, (%0)" "\n\t"
"xacquire lock xchgb %b1, (%0)" "\n\t"
"xrelease lock xchgb %b1, (%0)" "\n\t"
: : "r"(&n), "r"(some) : "cc", "memory", "rax"
// not sure this constraint string is really correct, since %1
// is written as well as read, in this case. But I can't figure
// out how to tell gcc that.
);
printf("result for '%-3s' is %016llx\n", "xchg", n);
}
void do_xchg_no_lock ( void )
{
volatile ULong n = 0x5555555555555555ULL;
ULong some = 0x271831415927D459ULL;
__asm__ __volatile__(
"\t"
"stc" "\n\t"
// zero out rax and get the flags in a known state
"xorq %%rax, %%rax" "\n\t"
"xacquire xchgq %1, (%0)" "\n\t"
"xrelease xchgq %1, (%0)" "\n\t"
"xacquire xchgl %k1, (%0)" "\n\t"
"xrelease xchgl %k1, (%0)" "\n\t"
"xacquire xchgw %w1, (%0)" "\n\t"
"xrelease xchgw %w1, (%0)" "\n\t"
"xacquire xchgb %b1, (%0)" "\n\t"
"xrelease xchgb %b1, (%0)" "\n\t"
: : "r"(&n), "r"(some) : "cc", "memory", "rax"
// not sure this constraint string is really correct, since %1
// is written as well as read, in this case. But I can't figure
// out how to tell gcc that.
);
printf("result for '%-3s' is %016llx\n", "xchg-no-lock", n);
}
void do_mov ( void )
{
// According to the Intel docs, we only need to allow xrelease here.
volatile ULong n = 0x5555555555555555ULL;
ULong some = 0x271831415927D459ULL;
__asm__ __volatile__(
"\t"
"xrelease movq %1, 0(%0)" "\n\t"
"xrelease movl %k1, 1(%0)" "\n\t"
"xrelease movw %w1, 3(%0)" "\n\t"
"xrelease movb %b1, 7(%0)" "\n\t"
: : "r"(&n), "r"(some) : "cc", "memory"
);
printf("result for '%-3s' is %016llx\n", "mov-reg", n);
n = 0xAAAAAAAAAAAAAAAAULL;
__asm__ __volatile__(
"\t"
"xrelease movq $-0x79876543, 0(%0)" "\n\t"
"xrelease movl $0xEFCDAB89, 1(%0)" "\n\t"
"xrelease movw $0xF00D, 3(%0)" "\n\t"
"xrelease movb $0x42, 7(%0)" "\n\t"
: : "r"(&n) : "cc", "memory"
);
printf("result for '%-3s' is %016llx\n", "mov-imm", n);
}
int main ( void )
{
do_add();
do_adc();
do_and();
do_or();
do_sbb();
do_sub();
do_xor();
do_dec();
do_inc();
do_neg();
do_not();
do_btc();
do_btr();
do_bts();
do_cmpxchg();
do_cmpxchg8b();
do_xadd();
do_xchg();
do_xchg_no_lock();
do_mov();
return 0;
}