# 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}	mulb	%bl
# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0xf6,0xe3]
         {evex}	mulb	%bl
# CHECK: {nf}	mulb	%bl
# CHECK: encoding: [0x62,0xf4,0x7c,0x0c,0xf6,0xe3]
         {nf}	mulb	%bl
# CHECK: {evex}	mulw	%dx
# CHECK: encoding: [0x62,0xf4,0x7d,0x08,0xf7,0xe2]
         {evex}	mulw	%dx
# CHECK: {nf}	mulw	%dx
# CHECK: encoding: [0x62,0xf4,0x7d,0x0c,0xf7,0xe2]
         {nf}	mulw	%dx
# CHECK: {evex}	mull	%ecx
# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0xf7,0xe1]
         {evex}	mull	%ecx
# CHECK: {nf}	mull	%ecx
# CHECK: encoding: [0x62,0xf4,0x7c,0x0c,0xf7,0xe1]
         {nf}	mull	%ecx
# CHECK: {evex}	mulq	%r9
# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0xf7,0xe1]
         {evex}	mulq	%r9
# CHECK: {nf}	mulq	%r9
# CHECK: encoding: [0x62,0xd4,0xfc,0x0c,0xf7,0xe1]
         {nf}	mulq	%r9
# CHECK: {evex}	mulb	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0xf6,0xa4,0x80,0x23,0x01,0x00,0x00]
         {evex}	mulb	291(%r8,%rax,4)
# CHECK: {nf}	mulb	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0xf6,0xa4,0x80,0x23,0x01,0x00,0x00]
         {nf}	mulb	291(%r8,%rax,4)
# CHECK: {evex}	mulw	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0x7d,0x08,0xf7,0xa4,0x80,0x23,0x01,0x00,0x00]
         {evex}	mulw	291(%r8,%rax,4)
# CHECK: {nf}	mulw	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0x7d,0x0c,0xf7,0xa4,0x80,0x23,0x01,0x00,0x00]
         {nf}	mulw	291(%r8,%rax,4)
# CHECK: {evex}	mull	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0xf7,0xa4,0x80,0x23,0x01,0x00,0x00]
         {evex}	mull	291(%r8,%rax,4)
# CHECK: {nf}	mull	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0xf7,0xa4,0x80,0x23,0x01,0x00,0x00]
         {nf}	mull	291(%r8,%rax,4)
# CHECK: {evex}	mulq	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0xf7,0xa4,0x80,0x23,0x01,0x00,0x00]
         {evex}	mulq	291(%r8,%rax,4)
# CHECK: {nf}	mulq	291(%r8,%rax,4)
# CHECK: encoding: [0x62,0xd4,0xfc,0x0c,0xf7,0xa4,0x80,0x23,0x01,0x00,0x00]
         {nf}	mulq	291(%r8,%rax,4)
