78 lines · plain
1# RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s2# RUN: not llvm-mc -triple i386 -show-encoding %s 2>&1 | FileCheck %s --check-prefix=ERROR3 4# ERROR-COUNT-16: error:5# ERROR-NOT: error:6 7## aadd8 9# CHECK: {evex} aaddl %ecx, 123(%rax,%rbx,4)10# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0xfc,0x4c,0x98,0x7b]11 {evex} aaddl %ecx, 123(%rax,%rbx,4)12 13# CHECK: {evex} aaddq %r9, 123(%rax,%rbx,4)14# CHECK: encoding: [0x62,0x74,0xfc,0x08,0xfc,0x4c,0x98,0x7b]15 {evex} aaddq %r9, 123(%rax,%rbx,4)16 17# CHECK: aaddl %r18d, 291(%r28,%r29,4)18# CHECK: encoding: [0x62,0x8c,0x78,0x08,0xfc,0x94,0xac,0x23,0x01,0x00,0x00]19 aaddl %r18d, 291(%r28,%r29,4)20 21# CHECK: aaddq %r19, 291(%r28,%r29,4)22# CHECK: encoding: [0x62,0x8c,0xf8,0x08,0xfc,0x9c,0xac,0x23,0x01,0x00,0x00]23 aaddq %r19, 291(%r28,%r29,4)24 25## aand26 27# CHECK: {evex} aandl %ecx, 123(%rax,%rbx,4)28# CHECK: encoding: [0x62,0xf4,0x7d,0x08,0xfc,0x4c,0x98,0x7b]29 {evex} aandl %ecx, 123(%rax,%rbx,4)30 31# CHECK: {evex} aandq %r9, 123(%rax,%rbx,4)32# CHECK: encoding: [0x62,0x74,0xfd,0x08,0xfc,0x4c,0x98,0x7b]33 {evex} aandq %r9, 123(%rax,%rbx,4)34 35# CHECK: aandl %r18d, 291(%r28,%r29,4)36# CHECK: encoding: [0x62,0x8c,0x79,0x08,0xfc,0x94,0xac,0x23,0x01,0x00,0x00]37 aandl %r18d, 291(%r28,%r29,4)38 39# CHECK: aandq %r19, 291(%r28,%r29,4)40# CHECK: encoding: [0x62,0x8c,0xf9,0x08,0xfc,0x9c,0xac,0x23,0x01,0x00,0x00]41 aandq %r19, 291(%r28,%r29,4)42 43## aor44 45# CHECK: {evex} aorl %ecx, 123(%rax,%rbx,4)46# CHECK: encoding: [0x62,0xf4,0x7f,0x08,0xfc,0x4c,0x98,0x7b]47 {evex} aorl %ecx, 123(%rax,%rbx,4)48 49# CHECK: {evex} aorq %r9, 123(%rax,%rbx,4)50# CHECK: encoding: [0x62,0x74,0xff,0x08,0xfc,0x4c,0x98,0x7b]51 {evex} aorq %r9, 123(%rax,%rbx,4)52 53# CHECK: aorl %r18d, 291(%r28,%r29,4)54# CHECK: encoding: [0x62,0x8c,0x7b,0x08,0xfc,0x94,0xac,0x23,0x01,0x00,0x00]55 aorl %r18d, 291(%r28,%r29,4)56 57# CHECK: aorq %r19, 291(%r28,%r29,4)58# CHECK: encoding: [0x62,0x8c,0xfb,0x08,0xfc,0x9c,0xac,0x23,0x01,0x00,0x00]59 aorq %r19, 291(%r28,%r29,4)60 61## axor62 63# CHECK: {evex} axorl %ecx, 123(%rax,%rbx,4)64# CHECK: encoding: [0x62,0xf4,0x7e,0x08,0xfc,0x4c,0x98,0x7b]65 {evex} axorl %ecx, 123(%rax,%rbx,4)66 67# CHECK: {evex} axorq %r9, 123(%rax,%rbx,4)68# CHECK: encoding: [0x62,0x74,0xfe,0x08,0xfc,0x4c,0x98,0x7b]69 {evex} axorq %r9, 123(%rax,%rbx,4)70 71# CHECK: axorl %r18d, 291(%r28,%r29,4)72# CHECK: encoding: [0x62,0x8c,0x7a,0x08,0xfc,0x94,0xac,0x23,0x01,0x00,0x00]73 axorl %r18d, 291(%r28,%r29,4)74 75# CHECK: axorq %r19, 291(%r28,%r29,4)76# CHECK: encoding: [0x62,0x8c,0xfa,0x08,0xfc,0x9c,0xac,0x23,0x01,0x00,0x00]77 axorq %r19, 291(%r28,%r29,4)78