# RUN: llvm-mc -triple x86_64 -show-encoding %s | FileCheck %s
# RUN: not llvm-mc -triple i386 -show-encoding %s 2>&1 | FileCheck %s --check-prefix=ERROR

# ERROR-COUNT-16: error:
# ERROR-NOT: error:
# CHECK: {evex}	divb	%bl
# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0xf6,0xf3]
         {evex}	divb	%bl
# CHECK: {nf}	divb	%bl
# CHECK: encoding: [0x62,0xf4,0x7c,0x0c,0xf6,0xf3]
         {nf}	divb	%bl
# CHECK: {evex}	divw	%dx
# CHECK: encoding: [0x62,0xf4,0x7d,0x08,0xf7,0xf2]
         {evex}	divw	%dx
# CHECK: {nf}	divw	%dx
# CHECK: encoding: [0x62,0xf4,0x7d,0x0c,0xf7,0xf2]
         {nf}	divw	%dx
# CHECK: {evex}	divl	%ecx
# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0xf7,0xf1]
         {evex}	divl	%ecx
# CHECK: {nf}	divl	%ecx
# CHECK: encoding: [0x62,0xf4,0x7c,0x0c,0xf7,0xf1]
         {nf}	divl	%ecx
# CHECK: {evex}	divq	%r9
# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0xf7,0xf1]
         {evex}	divq	%r9
# CHECK: {nf}	divq	%r9
# CHECK: encoding: [0x62,0xd4,0xfc,0x0c,0xf7,0xf1]
         {nf}	divq	%r9
# CHECK: {evex}	divb	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0xf6,0xb4,0x80,0x23,0x01,0x00,0x00]
         {evex}	divb	291(%r8,%rax,4)
# CHECK: {nf}	divb	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0xf6,0xb4,0x80,0x23,0x01,0x00,0x00]
         {nf}	divb	291(%r8,%rax,4)
# CHECK: {evex}	divw	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0x7d,0x08,0xf7,0xb4,0x80,0x23,0x01,0x00,0x00]
         {evex}	divw	291(%r8,%rax,4)
# CHECK: {nf}	divw	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0x7d,0x0c,0xf7,0xb4,0x80,0x23,0x01,0x00,0x00]
         {nf}	divw	291(%r8,%rax,4)
# CHECK: {evex}	divl	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0xf7,0xb4,0x80,0x23,0x01,0x00,0x00]
         {evex}	divl	291(%r8,%rax,4)
# CHECK: {nf}	divl	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0xf7,0xb4,0x80,0x23,0x01,0x00,0x00]
         {nf}	divl	291(%r8,%rax,4)
# CHECK: {evex}	divq	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0xf7,0xb4,0x80,0x23,0x01,0x00,0x00]
         {evex}	divq	291(%r8,%rax,4)
# CHECK: {nf}	divq	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0xfc,0x0c,0xf7,0xb4,0x80,0x23,0x01,0x00,0x00]
         {nf}	divq	291(%r8,%rax,4)
