# Check 64bit unsupported HLE instructions

	.allow_index_reg
	.text
_start:

# Tests for op imm8 al
	xacquire adc $100,%al
	xacquire lock adc $100,%al
	lock xacquire adc $100,%al
	xrelease adc $100,%al
	xrelease lock adc $100,%al
	lock xrelease adc $100,%al

# Tests for op imm16 ax
	xacquire adc $1000,%ax
	xacquire lock adc $1000,%ax
	lock xacquire adc $1000,%ax
	xrelease adc $1000,%ax
	xrelease lock adc $1000,%ax
	lock xrelease adc $1000,%ax

# Tests for op imm32 eax
	xacquire adc $10000000,%eax
	xacquire lock adc $10000000,%eax
	lock xacquire adc $10000000,%eax
	xrelease adc $10000000,%eax
	xrelease lock adc $10000000,%eax
	lock xrelease adc $10000000,%eax


# Tests for op imm32 rax
	xacquire adc $10000000,%rax
	xacquire lock adc $10000000,%rax
	lock xacquire adc $10000000,%rax
	xrelease adc $10000000,%rax
	xrelease lock adc $10000000,%rax
	lock xrelease adc $10000000,%rax

# Tests for op imm8 regb/m8
	xacquire adcb $100,%cl
	xacquire lock adcb $100,%cl
	lock xacquire adcb $100,%cl
	xrelease adcb $100,%cl
	xrelease lock adcb $100,%cl
	lock xrelease adcb $100,%cl
	xacquire adcb $100,(%rcx)
	xrelease adcb $100,(%rcx)

# Tests for op imm16 regs/m16
	xacquire adcw $1000,%cx
	xacquire lock adcw $1000,%cx
	lock xacquire adcw $1000,%cx
	xrelease adcw $1000,%cx
	xrelease lock adcw $1000,%cx
	lock xrelease adcw $1000,%cx
	xacquire adcw $1000,(%rcx)
	xrelease adcw $1000,(%rcx)

# Tests for op imm32 regl/m32
	xacquire adcl $10000000,%ecx
	xacquire lock adcl $10000000,%ecx
	lock xacquire adcl $10000000,%ecx
	xrelease adcl $10000000,%ecx
	xrelease lock adcl $10000000,%ecx
	lock xrelease adcl $10000000,%ecx
	xacquire adcl $10000000,(%rcx)
	xrelease adcl $10000000,(%rcx)

# Tests for op imm32 regq/m64
	xacquire adcq $10000000,%rcx
	xacquire lock adcq $10000000,%rcx
	lock xacquire adcq $10000000,%rcx
	xrelease adcq $10000000,%rcx
	xrelease lock adcq $10000000,%rcx
	lock xrelease adcq $10000000,%rcx
	xacquire adcq $10000000,(%rcx)
	xrelease adcq $10000000,(%rcx)

# Tests for op imm8 regs/m16
	xacquire adcw $100,%cx
	xacquire lock adcw $100,%cx
	lock xacquire adcw $100,%cx
	xrelease adcw $100,%cx
	xrelease lock adcw $100,%cx
	lock xrelease adcw $100,%cx
	xacquire adcw $100,(%rcx)
	xrelease adcw $100,(%rcx)

# Tests for op imm8 regl/m32
	xacquire adcl $100,%ecx
	xacquire lock adcl $100,%ecx
	lock xacquire adcl $100,%ecx
	xrelease adcl $100,%ecx
	xrelease lock adcl $100,%ecx
	lock xrelease adcl $100,%ecx
	xacquire adcl $100,(%rcx)
	xrelease adcl $100,(%rcx)

# Tests for op imm8 regq/m64
	xacquire adcq $100,%rcx
	xacquire lock adcq $100,%rcx
	lock xacquire adcq $100,%rcx
	xrelease adcq $100,%rcx
	xrelease lock adcq $100,%rcx
	lock xrelease adcq $100,%rcx
	xacquire adcq $100,(%rcx)
	xrelease adcq $100,(%rcx)

# Tests for op imm8 regb/m8
	xacquire adcb $100,%cl
	xacquire lock adcb $100,%cl
	lock xacquire adcb $100,%cl
	xrelease adcb $100,%cl
	xrelease lock adcb $100,%cl
	lock xrelease adcb $100,%cl
	xacquire adcb $100,(%rcx)
	xrelease adcb $100,(%rcx)

# Tests for op regb regb/m8
# Tests for op regb/m8 regb
	xacquire adcb %al,%cl
	xacquire lock adcb %al,%cl
	lock xacquire adcb %al,%cl
	xrelease adcb %al,%cl
	xrelease lock adcb %al,%cl
	lock xrelease adcb %al,%cl
	xacquire adcb %al,(%rcx)
	xrelease adcb %al,(%rcx)
	xacquire adcb %cl,%al
	xacquire lock adcb %cl,%al
	lock xacquire adcb %cl,%al
	xrelease adcb %cl,%al
	xrelease lock adcb %cl,%al
	lock xrelease adcb %cl,%al
	xacquire adcb (%rcx),%al
	xacquire lock adcb (%rcx),%al
	lock xacquire adcb (%rcx),%al
	xrelease adcb (%rcx),%al
	xrelease lock adcb (%rcx),%al
	lock xrelease adcb (%rcx),%al

# Tests for op regs regs/m16
# Tests for op regs/m16 regs
	xacquire adcw %ax,%cx
	xacquire lock adcw %ax,%cx
	lock xacquire adcw %ax,%cx
	xrelease adcw %ax,%cx
	xrelease lock adcw %ax,%cx
	lock xrelease adcw %ax,%cx
	xacquire adcw %ax,(%rcx)
	xrelease adcw %ax,(%rcx)
	xacquire adcw %cx,%ax
	xacquire lock adcw %cx,%ax
	lock xacquire adcw %cx,%ax
	xrelease adcw %cx,%ax
	xrelease lock adcw %cx,%ax
	lock xrelease adcw %cx,%ax
	xacquire adcw (%rcx),%ax
	xacquire lock adcw (%rcx),%ax
	lock xacquire adcw (%rcx),%ax
	xrelease adcw (%rcx),%ax
	xrelease lock adcw (%rcx),%ax
	lock xrelease adcw (%rcx),%ax

# Tests for op regl regl/m32
# Tests for op regl/m32 regl
	xacquire adcl %eax,%ecx
	xacquire lock adcl %eax,%ecx
	lock xacquire adcl %eax,%ecx
	xrelease adcl %eax,%ecx
	xrelease lock adcl %eax,%ecx
	lock xrelease adcl %eax,%ecx
	xacquire adcl %eax,(%rcx)
	xrelease adcl %eax,(%rcx)
	xacquire adcl %ecx,%eax
	xacquire lock adcl %ecx,%eax
	lock xacquire adcl %ecx,%eax
	xrelease adcl %ecx,%eax
	xrelease lock adcl %ecx,%eax
	lock xrelease adcl %ecx,%eax
	xacquire adcl (%rcx),%eax
	xacquire lock adcl (%rcx),%eax
	lock xacquire adcl (%rcx),%eax
	xrelease adcl (%rcx),%eax
	xrelease lock adcl (%rcx),%eax
	lock xrelease adcl (%rcx),%eax

# Tests for op regq regq/m64
# Tests for op regq/m64 regq
	xacquire adcq %rax,%rcx
	xacquire lock adcq %rax,%rcx
	lock xacquire adcq %rax,%rcx
	xrelease adcq %rax,%rcx
	xrelease lock adcq %rax,%rcx
	lock xrelease adcq %rax,%rcx
	xacquire adcq %rax,(%rcx)
	xrelease adcq %rax,(%rcx)
	xacquire adcq %rcx,%rax
	xacquire lock adcq %rcx,%rax
	lock xacquire adcq %rcx,%rax
	xrelease adcq %rcx,%rax
	xrelease lock adcq %rcx,%rax
	lock xrelease adcq %rcx,%rax
	xacquire adcq (%rcx),%rax
	xacquire lock adcq (%rcx),%rax
	lock xacquire adcq (%rcx),%rax
	xrelease adcq (%rcx),%rax
	xrelease lock adcq (%rcx),%rax
	lock xrelease adcq (%rcx),%rax

# Tests for op regs, regs/m16
	xacquire btcw %ax,%cx
	xacquire lock btcw %ax,%cx
	lock xacquire btcw %ax,%cx
	xrelease btcw %ax,%cx
	xrelease lock btcw %ax,%cx
	lock xrelease btcw %ax,%cx
	xacquire btcw %ax,(%rcx)
	xrelease btcw %ax,(%rcx)

# Tests for op regl regl/m32
	xacquire btcl %eax,%ecx
	xacquire lock btcl %eax,%ecx
	lock xacquire btcl %eax,%ecx
	xrelease btcl %eax,%ecx
	xrelease lock btcl %eax,%ecx
	lock xrelease btcl %eax,%ecx
	xacquire btcl %eax,(%rcx)
	xrelease btcl %eax,(%rcx)

# Tests for op regq regq/m64
	xacquire btcq %rax,%rcx
	xacquire lock btcq %rax,%rcx
	lock xacquire btcq %rax,%rcx
	xrelease btcq %rax,%rcx
	xrelease lock btcq %rax,%rcx
	lock xrelease btcq %rax,%rcx
	xacquire btcq %rax,(%rcx)
	xrelease btcq %rax,(%rcx)

# Tests for op regb/m8
	xacquire decb %cl
	xacquire lock decb %cl
	lock xacquire decb %cl
	xrelease decb %cl
	xrelease lock decb %cl
	lock xrelease decb %cl
	xacquire decb (%rcx)
	xrelease decb (%rcx)

# Tests for op regs/m16
	xacquire decw %cx
	xacquire lock decw %cx
	lock xacquire decw %cx
	xrelease decw %cx
	xrelease lock decw %cx
	lock xrelease decw %cx
	xacquire decw (%rcx)
	xrelease decw (%rcx)

# Tests for op regl/m32
	xacquire decl %ecx
	xacquire lock decl %ecx
	lock xacquire decl %ecx
	xrelease decl %ecx
	xrelease lock decl %ecx
	lock xrelease decl %ecx
	xacquire decl (%rcx)
	xrelease decl (%rcx)

# Tests for op regq/m64
	xacquire decq %rcx
	xacquire lock decq %rcx
	lock xacquire decq %rcx
	xrelease decq %rcx
	xrelease lock decq %rcx
	lock xrelease decq %rcx
	xacquire decq (%rcx)
	xrelease decq (%rcx)

# Tests for op m64
	xacquire cmpxchg8bq (%rcx)
	xrelease cmpxchg8bq (%rcx)

# Tests for op regb, regb/m8
	xacquire cmpxchgb %cl,%al
	xacquire lock cmpxchgb %cl,%al
	lock xacquire cmpxchgb %cl,%al
	xrelease cmpxchgb %cl,%al
	xrelease lock cmpxchgb %cl,%al
	lock xrelease cmpxchgb %cl,%al
	xacquire cmpxchgb %cl,(%rcx)
	xrelease cmpxchgb %cl,(%rcx)

	.intel_syntax noprefix

# Tests for op imm8 al
	xacquire adc al,100
	xacquire lock adc al,100
	lock xacquire adc al,100
	xrelease adc al,100
	xrelease lock adc al,100
	lock xrelease adc al,100

# Tests for op imm16 ax
	xacquire adc ax,1000
	xacquire lock adc ax,1000
	lock xacquire adc ax,1000
	xrelease adc ax,1000
	xrelease lock adc ax,1000
	lock xrelease adc ax,1000

# Tests for op imm32 eax
	xacquire adc eax,10000000
	xacquire lock adc eax,10000000
	lock xacquire adc eax,10000000
	xrelease adc eax,10000000
	xrelease lock adc eax,10000000
	lock xrelease adc eax,10000000


# Tests for op imm32 rax
	xacquire adc rax,10000000
	xacquire lock adc rax,10000000
	lock xacquire adc rax,10000000
	xrelease adc rax,10000000
	xrelease lock adc rax,10000000
	lock xrelease adc rax,10000000

# Tests for op imm8 regb/m8
	xacquire adc cl,100
	xacquire lock adc cl,100
	lock xacquire adc cl,100
	xrelease adc cl,100
	xrelease lock adc cl,100
	lock xrelease adc cl,100
	xacquire adc BYTE PTR [rcx],100
	xrelease adc BYTE PTR [rcx],100

# Tests for op imm16 regs/m16
	xacquire adc cx,1000
	xacquire lock adc cx,1000
	lock xacquire adc cx,1000
	xrelease adc cx,1000
	xrelease lock adc cx,1000
	lock xrelease adc cx,1000
	xacquire adc WORD PTR [rcx],1000
	xrelease adc WORD PTR [rcx],1000

# Tests for op imm32 regl/m32
	xacquire adc ecx,10000000
	xacquire lock adc ecx,10000000
	lock xacquire adc ecx,10000000
	xrelease adc ecx,10000000
	xrelease lock adc ecx,10000000
	lock xrelease adc ecx,10000000
	xacquire adc DWORD PTR [rcx],10000000
	xrelease adc DWORD PTR [rcx],10000000

# Tests for op imm32 regq/m64
	xacquire adc rcx,10000000
	xacquire lock adc rcx,10000000
	lock xacquire adc rcx,10000000
	xrelease adc rcx,10000000
	xrelease lock adc rcx,10000000
	lock xrelease adc rcx,10000000
	xacquire adc QWORD PTR [rcx],10000000
	xrelease adc QWORD PTR [rcx],10000000

# Tests for op imm8 regs/m16
	xacquire adc cx,100
	xacquire lock adc cx,100
	lock xacquire adc cx,100
	xrelease adc cx,100
	xrelease lock adc cx,100
	lock xrelease adc cx,100
	xacquire adc WORD PTR [rcx],100
	xrelease adc WORD PTR [rcx],100

# Tests for op imm8 regl/m32
	xacquire adc ecx,100
	xacquire lock adc ecx,100
	lock xacquire adc ecx,100
	xrelease adc ecx,100
	xrelease lock adc ecx,100
	lock xrelease adc ecx,100
	xacquire adc DWORD PTR [rcx],100
	xrelease adc DWORD PTR [rcx],100

# Tests for op imm8 regq/m64
	xacquire adc rcx,100
	xacquire lock adc rcx,100
	lock xacquire adc rcx,100
	xrelease adc rcx,100
	xrelease lock adc rcx,100
	lock xrelease adc rcx,100
	xacquire adc QWORD PTR [rcx],100
	xrelease adc QWORD PTR [rcx],100

# Tests for op imm8 regb/m8
	xacquire adc cl,100
	xacquire lock adc cl,100
	lock xacquire adc cl,100
	xrelease adc cl,100
	xrelease lock adc cl,100
	lock xrelease adc cl,100
	xacquire adc BYTE PTR [rcx],100
	xrelease adc BYTE PTR [rcx],100

# Tests for op regb regb/m8
# Tests for op regb/m8 regb
	xacquire adc cl,al
	xacquire lock adc cl,al
	lock xacquire adc cl,al
	xrelease adc cl,al
	xrelease lock adc cl,al
	lock xrelease adc cl,al
	xacquire adc BYTE PTR [rcx],al
	xrelease adc BYTE PTR [rcx],al
	xacquire adc al,cl
	xacquire lock adc al,cl
	lock xacquire adc al,cl
	xrelease adc al,cl
	xrelease lock adc al,cl
	lock xrelease adc al,cl
	xacquire adc al,BYTE PTR [rcx]
	xacquire lock adc al,BYTE PTR [rcx]
	lock xacquire adc al,BYTE PTR [rcx]
	xrelease adc al,BYTE PTR [rcx]
	xrelease lock adc al,BYTE PTR [rcx]
	lock xrelease adc al,BYTE PTR [rcx]

# Tests for op regs regs/m16
# Tests for op regs/m16 regs
	xacquire adc cx,ax
	xacquire lock adc cx,ax
	lock xacquire adc cx,ax
	xrelease adc cx,ax
	xrelease lock adc cx,ax
	lock xrelease adc cx,ax
	xacquire adc WORD PTR [rcx],ax
	xrelease adc WORD PTR [rcx],ax
	xacquire adc ax,cx
	xacquire lock adc ax,cx
	lock xacquire adc ax,cx
	xrelease adc ax,cx
	xrelease lock adc ax,cx
	lock xrelease adc ax,cx
	xacquire adc ax,WORD PTR [rcx]
	xacquire lock adc ax,WORD PTR [rcx]
	lock xacquire adc ax,WORD PTR [rcx]
	xrelease adc ax,WORD PTR [rcx]
	xrelease lock adc ax,WORD PTR [rcx]
	lock xrelease adc ax,WORD PTR [rcx]

# Tests for op regl regl/m32
# Tests for op regl/m32 regl
	xacquire adc ecx,eax
	xacquire lock adc ecx,eax
	lock xacquire adc ecx,eax
	xrelease adc ecx,eax
	xrelease lock adc ecx,eax
	lock xrelease adc ecx,eax
	xacquire adc DWORD PTR [rcx],eax
	xrelease adc DWORD PTR [rcx],eax
	xacquire adc eax,ecx
	xacquire lock adc eax,ecx
	lock xacquire adc eax,ecx
	xrelease adc eax,ecx
	xrelease lock adc eax,ecx
	lock xrelease adc eax,ecx
	xacquire adc eax,DWORD PTR [rcx]
	xacquire lock adc eax,DWORD PTR [rcx]
	lock xacquire adc eax,DWORD PTR [rcx]
	xrelease adc eax,DWORD PTR [rcx]
	xrelease lock adc eax,DWORD PTR [rcx]
	lock xrelease adc eax,DWORD PTR [rcx]

# Tests for op regq regq/m64
# Tests for op regq/m64 regq
	xacquire adc rcx,rax
	xacquire lock adc rcx,rax
	lock xacquire adc rcx,rax
	xrelease adc rcx,rax
	xrelease lock adc rcx,rax
	lock xrelease adc rcx,rax
	xacquire adc QWORD PTR [rcx],rax
	xrelease adc QWORD PTR [rcx],rax
	xacquire adc rax,rcx
	xacquire lock adc rax,rcx
	lock xacquire adc rax,rcx
	xrelease adc rax,rcx
	xrelease lock adc rax,rcx
	lock xrelease adc rax,rcx
	xacquire adc rax,QWORD PTR [rcx]
	xacquire lock adc rax,QWORD PTR [rcx]
	lock xacquire adc rax,QWORD PTR [rcx]
	xrelease adc rax,QWORD PTR [rcx]
	xrelease lock adc rax,QWORD PTR [rcx]
	lock xrelease adc rax,QWORD PTR [rcx]

# Tests for op regs, regs/m16
	xacquire btc cx,ax
	xacquire lock btc cx,ax
	lock xacquire btc cx,ax
	xrelease btc cx,ax
	xrelease lock btc cx,ax
	lock xrelease btc cx,ax
	xacquire btc WORD PTR [rcx],ax
	xrelease btc WORD PTR [rcx],ax

# Tests for op regl regl/m32
	xacquire btc ecx,eax
	xacquire lock btc ecx,eax
	lock xacquire btc ecx,eax
	xrelease btc ecx,eax
	xrelease lock btc ecx,eax
	lock xrelease btc ecx,eax
	xacquire btc DWORD PTR [rcx],eax
	xrelease btc DWORD PTR [rcx],eax

# Tests for op regq regq/m64
	xacquire btc rcx,rax
	xacquire lock btc rcx,rax
	lock xacquire btc rcx,rax
	xrelease btc rcx,rax
	xrelease lock btc rcx,rax
	lock xrelease btc rcx,rax
	xacquire btc QWORD PTR [rcx],rax
	xrelease btc QWORD PTR [rcx],rax

# Tests for op regb/m8
	xacquire dec cl
	xacquire lock dec cl
	lock xacquire dec cl
	xrelease dec cl
	xrelease lock dec cl
	lock xrelease dec cl
	xacquire dec BYTE PTR [rcx]
	xrelease dec BYTE PTR [rcx]

# Tests for op regs/m16
	xacquire dec cx
	xacquire lock dec cx
	lock xacquire dec cx
	xrelease dec cx
	xrelease lock dec cx
	lock xrelease dec cx
	xacquire dec WORD PTR [rcx]
	xrelease dec WORD PTR [rcx]

# Tests for op regl/m32
	xacquire dec ecx
	xacquire lock dec ecx
	lock xacquire dec ecx
	xrelease dec ecx
	xrelease lock dec ecx
	lock xrelease dec ecx
	xacquire dec DWORD PTR [rcx]
	xrelease dec DWORD PTR [rcx]

# Tests for op regq/m64
	xacquire dec rcx
	xacquire lock dec rcx
	lock xacquire dec rcx
	xrelease dec rcx
	xrelease lock dec rcx
	lock xrelease dec rcx
	xacquire dec QWORD PTR [rcx]
	xrelease dec QWORD PTR [rcx]

# Tests for op m64
	xacquire cmpxchg8b QWORD PTR [rcx]
	xrelease cmpxchg8b QWORD PTR [rcx]

# Tests for op regb, regb/m8
	xacquire cmpxchg al,cl
	xacquire lock cmpxchg al,cl
	lock xacquire cmpxchg al,cl
	xrelease cmpxchg al,cl
	xrelease lock cmpxchg al,cl
	lock xrelease cmpxchg al,cl
	xacquire cmpxchg BYTE PTR [rcx],cl
	xrelease cmpxchg BYTE PTR [rcx],cl