1# RUN: llvm-mc -triple x86_64 -show-encoding %s | FileCheck %s 2# RUN: not llvm-mc -triple i386 -show-encoding %s 2>&1 | FileCheck %s --check-prefix=ERROR 3 4# ERROR-COUNT-16: error: 5# ERROR-NOT: error: 6# CHECK: {evex} divb %bl 7# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0xf6,0xf3] 8 {evex} divb %bl 9# CHECK: {nf} divb %bl 10# CHECK: encoding: [0x62,0xf4,0x7c,0x0c,0xf6,0xf3] 11 {nf} divb %bl 12# CHECK: {evex} divw %dx 13# CHECK: encoding: [0x62,0xf4,0x7d,0x08,0xf7,0xf2] 14 {evex} divw %dx 15# CHECK: {nf} divw %dx 16# CHECK: encoding: [0x62,0xf4,0x7d,0x0c,0xf7,0xf2] 17 {nf} divw %dx 18# CHECK: {evex} divl %ecx 19# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0xf7,0xf1] 20 {evex} divl %ecx 21# CHECK: {nf} divl %ecx 22# CHECK: encoding: [0x62,0xf4,0x7c,0x0c,0xf7,0xf1] 23 {nf} divl %ecx 24# CHECK: {evex} divq %r9 25# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0xf7,0xf1] 26 {evex} divq %r9 27# CHECK: {nf} divq %r9 28# CHECK: encoding: [0x62,0xd4,0xfc,0x0c,0xf7,0xf1] 29 {nf} divq %r9 30# CHECK: {evex} divb 291(%r8,%rax,4) 31# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0xf6,0xb4,0x80,0x23,0x01,0x00,0x00] 32 {evex} divb 291(%r8,%rax,4) 33# CHECK: {nf} divb 291(%r8,%rax,4) 34# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0xf6,0xb4,0x80,0x23,0x01,0x00,0x00] 35 {nf} divb 291(%r8,%rax,4) 36# CHECK: {evex} divw 291(%r8,%rax,4) 37# CHECK: encoding: [0x62,0xd4,0x7d,0x08,0xf7,0xb4,0x80,0x23,0x01,0x00,0x00] 38 {evex} divw 291(%r8,%rax,4) 39# CHECK: {nf} divw 291(%r8,%rax,4) 40# CHECK: encoding: [0x62,0xd4,0x7d,0x0c,0xf7,0xb4,0x80,0x23,0x01,0x00,0x00] 41 {nf} divw 291(%r8,%rax,4) 42# CHECK: {evex} divl 291(%r8,%rax,4) 43# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0xf7,0xb4,0x80,0x23,0x01,0x00,0x00] 44 {evex} divl 291(%r8,%rax,4) 45# CHECK: {nf} divl 291(%r8,%rax,4) 46# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0xf7,0xb4,0x80,0x23,0x01,0x00,0x00] 47 {nf} divl 291(%r8,%rax,4) 48# CHECK: {evex} divq 291(%r8,%rax,4) 49# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0xf7,0xb4,0x80,0x23,0x01,0x00,0x00] 50 {evex} divq 291(%r8,%rax,4) 51# CHECK: {nf} divq 291(%r8,%rax,4) 52# CHECK: encoding: [0x62,0xd4,0xfc,0x0c,0xf7,0xb4,0x80,0x23,0x01,0x00,0x00] 53 {nf} divq 291(%r8,%rax,4) 54