xref: /llvm-project/llvm/test/MC/X86/apx/rao-int-att.s (revision 02d56801ee8e4fcce303a47e5fac1967f5660d38) 
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
7## aadd
8
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## aand
26
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## aor
44
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## axor
62
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