xref: /llvm-project/llvm/test/MC/X86/apx/add-att.s (revision d79ccee8dc4aea52c146b10603f2a38646ad22fe) 
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-104: error:
5# ERROR-NOT: error:
6# CHECK: {evex}	addb	$123, %bl
7# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0x80,0xc3,0x7b]
8         {evex}	addb	$123, %bl
9# CHECK: {nf}	addb	$123, %bl
10# CHECK: encoding: [0x62,0xf4,0x7c,0x0c,0x80,0xc3,0x7b]
11         {nf}	addb	$123, %bl
12# CHECK: addb	$123, %bl, %cl
13# CHECK: encoding: [0x62,0xf4,0x74,0x18,0x80,0xc3,0x7b]
14         addb	$123, %bl, %cl
15# CHECK: {nf}	addb	$123, %bl, %cl
16# CHECK: encoding: [0x62,0xf4,0x74,0x1c,0x80,0xc3,0x7b]
17         {nf}	addb	$123, %bl, %cl
18# CHECK: {evex}	addw	$123, %dx
19# CHECK: encoding: [0x62,0xf4,0x7d,0x08,0x83,0xc2,0x7b]
20         {evex}	addw	$123, %dx
21# CHECK: {nf}	addw	$123, %dx
22# CHECK: encoding: [0x62,0xf4,0x7d,0x0c,0x83,0xc2,0x7b]
23         {nf}	addw	$123, %dx
24# CHECK: addw	$123, %dx, %ax
25# CHECK: encoding: [0x62,0xf4,0x7d,0x18,0x83,0xc2,0x7b]
26         addw	$123, %dx, %ax
27# CHECK: {nf}	addw	$123, %dx, %ax
28# CHECK: encoding: [0x62,0xf4,0x7d,0x1c,0x83,0xc2,0x7b]
29         {nf}	addw	$123, %dx, %ax
30# CHECK: {evex}	addl	$123, %ecx
31# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0x83,0xc1,0x7b]
32         {evex}	addl	$123, %ecx
33# CHECK: {nf}	addl	$123, %ecx
34# CHECK: encoding: [0x62,0xf4,0x7c,0x0c,0x83,0xc1,0x7b]
35         {nf}	addl	$123, %ecx
36# CHECK: addl	$123, %ecx, %edx
37# CHECK: encoding: [0x62,0xf4,0x6c,0x18,0x83,0xc1,0x7b]
38         addl	$123, %ecx, %edx
39# CHECK: {nf}	addl	$123, %ecx, %edx
40# CHECK: encoding: [0x62,0xf4,0x6c,0x1c,0x83,0xc1,0x7b]
41         {nf}	addl	$123, %ecx, %edx
42# CHECK: {evex}	addq	$123, %r9
43# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0x83,0xc1,0x7b]
44         {evex}	addq	$123, %r9
45# CHECK: {nf}	addq	$123, %r9
46# CHECK: encoding: [0x62,0xd4,0xfc,0x0c,0x83,0xc1,0x7b]
47         {nf}	addq	$123, %r9
48# CHECK: addq	$123, %r9, %r15
49# CHECK: encoding: [0x62,0xd4,0x84,0x18,0x83,0xc1,0x7b]
50         addq	$123, %r9, %r15
51# CHECK: {nf}	addq	$123, %r9, %r15
52# CHECK: encoding: [0x62,0xd4,0x84,0x1c,0x83,0xc1,0x7b]
53         {nf}	addq	$123, %r9, %r15
54# CHECK: {evex}	addb	$123, 291(%r8,%rax,4)
55# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x80,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
56         {evex}	addb	$123, 291(%r8,%rax,4)
57# CHECK: {nf}	addb	$123, 291(%r8,%rax,4)
58# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0x80,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
59         {nf}	addb	$123, 291(%r8,%rax,4)
60# CHECK: addb	$123, 291(%r8,%rax,4), %bl
61# CHECK: encoding: [0x62,0xd4,0x64,0x18,0x80,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
62         addb	$123, 291(%r8,%rax,4), %bl
63# CHECK: {nf}	addb	$123, 291(%r8,%rax,4), %bl
64# CHECK: encoding: [0x62,0xd4,0x64,0x1c,0x80,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
65         {nf}	addb	$123, 291(%r8,%rax,4), %bl
66# CHECK: {evex}	addw	$123, 291(%r8,%rax,4)
67# CHECK: encoding: [0x62,0xd4,0x7d,0x08,0x83,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
68         {evex}	addw	$123, 291(%r8,%rax,4)
69# CHECK: {nf}	addw	$123, 291(%r8,%rax,4)
70# CHECK: encoding: [0x62,0xd4,0x7d,0x0c,0x83,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
71         {nf}	addw	$123, 291(%r8,%rax,4)
72# CHECK: addw	$123, 291(%r8,%rax,4), %dx
73# CHECK: encoding: [0x62,0xd4,0x6d,0x18,0x83,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
74         addw	$123, 291(%r8,%rax,4), %dx
75# CHECK: {nf}	addw	$123, 291(%r8,%rax,4), %dx
76# CHECK: encoding: [0x62,0xd4,0x6d,0x1c,0x83,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
77         {nf}	addw	$123, 291(%r8,%rax,4), %dx
78# CHECK: {evex}	addl	$123, 291(%r8,%rax,4)
79# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x83,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
80         {evex}	addl	$123, 291(%r8,%rax,4)
81# CHECK: {nf}	addl	$123, 291(%r8,%rax,4)
82# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0x83,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
83         {nf}	addl	$123, 291(%r8,%rax,4)
84# CHECK: addl	$123, 291(%r8,%rax,4), %ecx
85# CHECK: encoding: [0x62,0xd4,0x74,0x18,0x83,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
86         addl	$123, 291(%r8,%rax,4), %ecx
87# CHECK: {nf}	addl	$123, 291(%r8,%rax,4), %ecx
88# CHECK: encoding: [0x62,0xd4,0x74,0x1c,0x83,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
89         {nf}	addl	$123, 291(%r8,%rax,4), %ecx
90# CHECK: {evex}	addq	$123, 291(%r8,%rax,4)
91# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0x83,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
92         {evex}	addq	$123, 291(%r8,%rax,4)
93# CHECK: {nf}	addq	$123, 291(%r8,%rax,4)
94# CHECK: encoding: [0x62,0xd4,0xfc,0x0c,0x83,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
95         {nf}	addq	$123, 291(%r8,%rax,4)
96# CHECK: addq	$123, 291(%r8,%rax,4), %r9
97# CHECK: encoding: [0x62,0xd4,0xb4,0x18,0x83,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
98         addq	$123, 291(%r8,%rax,4), %r9
99# CHECK: {nf}	addq	$123, 291(%r8,%rax,4), %r9
100# CHECK: encoding: [0x62,0xd4,0xb4,0x1c,0x83,0x84,0x80,0x23,0x01,0x00,0x00,0x7b]
101         {nf}	addq	$123, 291(%r8,%rax,4), %r9
102# CHECK: {evex}	addw	$1234, %dx
103# CHECK: encoding: [0x62,0xf4,0x7d,0x08,0x81,0xc2,0xd2,0x04]
104         {evex}	addw	$1234, %dx
105# CHECK: {nf}	addw	$1234, %dx
106# CHECK: encoding: [0x62,0xf4,0x7d,0x0c,0x81,0xc2,0xd2,0x04]
107         {nf}	addw	$1234, %dx
108# CHECK: addw	$1234, %dx, %ax
109# CHECK: encoding: [0x62,0xf4,0x7d,0x18,0x81,0xc2,0xd2,0x04]
110         addw	$1234, %dx, %ax
111# CHECK: {nf}	addw	$1234, %dx, %ax
112# CHECK: encoding: [0x62,0xf4,0x7d,0x1c,0x81,0xc2,0xd2,0x04]
113         {nf}	addw	$1234, %dx, %ax
114# CHECK: {evex}	addw	$1234, 291(%r8,%rax,4)
115# CHECK: encoding: [0x62,0xd4,0x7d,0x08,0x81,0x84,0x80,0x23,0x01,0x00,0x00,0xd2,0x04]
116         {evex}	addw	$1234, 291(%r8,%rax,4)
117# CHECK: {nf}	addw	$1234, 291(%r8,%rax,4)
118# CHECK: encoding: [0x62,0xd4,0x7d,0x0c,0x81,0x84,0x80,0x23,0x01,0x00,0x00,0xd2,0x04]
119         {nf}	addw	$1234, 291(%r8,%rax,4)
120# CHECK: addw	$1234, 291(%r8,%rax,4), %dx
121# CHECK: encoding: [0x62,0xd4,0x6d,0x18,0x81,0x84,0x80,0x23,0x01,0x00,0x00,0xd2,0x04]
122         addw	$1234, 291(%r8,%rax,4), %dx
123# CHECK: {nf}	addw	$1234, 291(%r8,%rax,4), %dx
124# CHECK: encoding: [0x62,0xd4,0x6d,0x1c,0x81,0x84,0x80,0x23,0x01,0x00,0x00,0xd2,0x04]
125         {nf}	addw	$1234, 291(%r8,%rax,4), %dx
126# CHECK: {evex}	addl	$123456, %ecx
127# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0x81,0xc1,0x40,0xe2,0x01,0x00]
128         {evex}	addl	$123456, %ecx
129# CHECK: {nf}	addl	$123456, %ecx
130# CHECK: encoding: [0x62,0xf4,0x7c,0x0c,0x81,0xc1,0x40,0xe2,0x01,0x00]
131         {nf}	addl	$123456, %ecx
132# CHECK: addl	$123456, %ecx, %edx
133# CHECK: encoding: [0x62,0xf4,0x6c,0x18,0x81,0xc1,0x40,0xe2,0x01,0x00]
134         addl	$123456, %ecx, %edx
135# CHECK: {nf}	addl	$123456, %ecx, %edx
136# CHECK: encoding: [0x62,0xf4,0x6c,0x1c,0x81,0xc1,0x40,0xe2,0x01,0x00]
137         {nf}	addl	$123456, %ecx, %edx
138# CHECK: {evex}	addq	$123456, %r9
139# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0x81,0xc1,0x40,0xe2,0x01,0x00]
140         {evex}	addq	$123456, %r9
141# CHECK: {nf}	addq	$123456, %r9
142# CHECK: encoding: [0x62,0xd4,0xfc,0x0c,0x81,0xc1,0x40,0xe2,0x01,0x00]
143         {nf}	addq	$123456, %r9
144# CHECK: addq	$123456, %r9, %r15
145# CHECK: encoding: [0x62,0xd4,0x84,0x18,0x81,0xc1,0x40,0xe2,0x01,0x00]
146         addq	$123456, %r9, %r15
147# CHECK: {nf}	addq	$123456, %r9, %r15
148# CHECK: encoding: [0x62,0xd4,0x84,0x1c,0x81,0xc1,0x40,0xe2,0x01,0x00]
149         {nf}	addq	$123456, %r9, %r15
150# CHECK: {evex}	addl	$123456, 291(%r8,%rax,4)
151# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x81,0x84,0x80,0x23,0x01,0x00,0x00,0x40,0xe2,0x01,0x00]
152         {evex}	addl	$123456, 291(%r8,%rax,4)
153# CHECK: {nf}	addl	$123456, 291(%r8,%rax,4)
154# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0x81,0x84,0x80,0x23,0x01,0x00,0x00,0x40,0xe2,0x01,0x00]
155         {nf}	addl	$123456, 291(%r8,%rax,4)
156# CHECK: addl	$123456, 291(%r8,%rax,4), %ecx
157# CHECK: encoding: [0x62,0xd4,0x74,0x18,0x81,0x84,0x80,0x23,0x01,0x00,0x00,0x40,0xe2,0x01,0x00]
158         addl	$123456, 291(%r8,%rax,4), %ecx
159# CHECK: {nf}	addl	$123456, 291(%r8,%rax,4), %ecx
160# CHECK: encoding: [0x62,0xd4,0x74,0x1c,0x81,0x84,0x80,0x23,0x01,0x00,0x00,0x40,0xe2,0x01,0x00]
161         {nf}	addl	$123456, 291(%r8,%rax,4), %ecx
162# CHECK: {evex}	addq	$123456, 291(%r8,%rax,4)
163# CHECK: encoding: [0x62,0xd4,0xfc,0x08,0x81,0x84,0x80,0x23,0x01,0x00,0x00,0x40,0xe2,0x01,0x00]
164         {evex}	addq	$123456, 291(%r8,%rax,4)
165# CHECK: {nf}	addq	$123456, 291(%r8,%rax,4)
166# CHECK: encoding: [0x62,0xd4,0xfc,0x0c,0x81,0x84,0x80,0x23,0x01,0x00,0x00,0x40,0xe2,0x01,0x00]
167         {nf}	addq	$123456, 291(%r8,%rax,4)
168# CHECK: addq	$123456, 291(%r8,%rax,4), %r9
169# CHECK: encoding: [0x62,0xd4,0xb4,0x18,0x81,0x84,0x80,0x23,0x01,0x00,0x00,0x40,0xe2,0x01,0x00]
170         addq	$123456, 291(%r8,%rax,4), %r9
171# CHECK: {nf}	addq	$123456, 291(%r8,%rax,4), %r9
172# CHECK: encoding: [0x62,0xd4,0xb4,0x1c,0x81,0x84,0x80,0x23,0x01,0x00,0x00,0x40,0xe2,0x01,0x00]
173         {nf}	addq	$123456, 291(%r8,%rax,4), %r9
174# CHECK: {evex}	addb	%bl, %cl
175# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0x00,0xd9]
176         {evex}	addb	%bl, %cl
177# CHECK: {nf}	addb	%bl, %cl
178# CHECK: encoding: [0x62,0xf4,0x7c,0x0c,0x00,0xd9]
179         {nf}	addb	%bl, %cl
180# CHECK: addb	%bl, %cl, %r8b
181# CHECK: encoding: [0x62,0xf4,0x3c,0x18,0x00,0xd9]
182         addb	%bl, %cl, %r8b
183# CHECK: {nf}	addb	%bl, %cl, %r8b
184# CHECK: encoding: [0x62,0xf4,0x3c,0x1c,0x00,0xd9]
185         {nf}	addb	%bl, %cl, %r8b
186# CHECK: {evex}	addb	%bl, 291(%r8,%rax,4)
187# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x00,0x9c,0x80,0x23,0x01,0x00,0x00]
188         {evex}	addb	%bl, 291(%r8,%rax,4)
189# CHECK: {nf}	addb	%bl, 291(%r8,%rax,4)
190# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0x00,0x9c,0x80,0x23,0x01,0x00,0x00]
191         {nf}	addb	%bl, 291(%r8,%rax,4)
192# CHECK: addb	%bl, 291(%r8,%rax,4), %cl
193# CHECK: encoding: [0x62,0xd4,0x74,0x18,0x00,0x9c,0x80,0x23,0x01,0x00,0x00]
194         addb	%bl, 291(%r8,%rax,4), %cl
195# CHECK: {nf}	addb	%bl, 291(%r8,%rax,4), %cl
196# CHECK: encoding: [0x62,0xd4,0x74,0x1c,0x00,0x9c,0x80,0x23,0x01,0x00,0x00]
197         {nf}	addb	%bl, 291(%r8,%rax,4), %cl
198# CHECK: {evex}	addw	%dx, %ax
199# CHECK: encoding: [0x62,0xf4,0x7d,0x08,0x01,0xd0]
200         {evex}	addw	%dx, %ax
201# CHECK: {nf}	addw	%dx, %ax
202# CHECK: encoding: [0x62,0xf4,0x7d,0x0c,0x01,0xd0]
203         {nf}	addw	%dx, %ax
204# CHECK: addw	%dx, %ax, %r9w
205# CHECK: encoding: [0x62,0xf4,0x35,0x18,0x01,0xd0]
206         addw	%dx, %ax, %r9w
207# CHECK: {nf}	addw	%dx, %ax, %r9w
208# CHECK: encoding: [0x62,0xf4,0x35,0x1c,0x01,0xd0]
209         {nf}	addw	%dx, %ax, %r9w
210# CHECK: {evex}	addw	%dx, 291(%r8,%rax,4)
211# CHECK: encoding: [0x62,0xd4,0x7d,0x08,0x01,0x94,0x80,0x23,0x01,0x00,0x00]
212         {evex}	addw	%dx, 291(%r8,%rax,4)
213# CHECK: {nf}	addw	%dx, 291(%r8,%rax,4)
214# CHECK: encoding: [0x62,0xd4,0x7d,0x0c,0x01,0x94,0x80,0x23,0x01,0x00,0x00]
215         {nf}	addw	%dx, 291(%r8,%rax,4)
216# CHECK: addw	%dx, 291(%r8,%rax,4), %ax
217# CHECK: encoding: [0x62,0xd4,0x7d,0x18,0x01,0x94,0x80,0x23,0x01,0x00,0x00]
218         addw	%dx, 291(%r8,%rax,4), %ax
219# CHECK: {nf}	addw	%dx, 291(%r8,%rax,4), %ax
220# CHECK: encoding: [0x62,0xd4,0x7d,0x1c,0x01,0x94,0x80,0x23,0x01,0x00,0x00]
221         {nf}	addw	%dx, 291(%r8,%rax,4), %ax
222# CHECK: {evex}	addl	%ecx, %edx
223# CHECK: encoding: [0x62,0xf4,0x7c,0x08,0x01,0xca]
224         {evex}	addl	%ecx, %edx
225# CHECK: {nf}	addl	%ecx, %edx
226# CHECK: encoding: [0x62,0xf4,0x7c,0x0c,0x01,0xca]
227         {nf}	addl	%ecx, %edx
228# CHECK: addl	%ecx, %edx, %r10d
229# CHECK: encoding: [0x62,0xf4,0x2c,0x18,0x01,0xca]
230         addl	%ecx, %edx, %r10d
231# CHECK: {nf}	addl	%ecx, %edx, %r10d
232# CHECK: encoding: [0x62,0xf4,0x2c,0x1c,0x01,0xca]
233         {nf}	addl	%ecx, %edx, %r10d
234# CHECK: {evex}	addl	%ecx, 291(%r8,%rax,4)
235# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x01,0x8c,0x80,0x23,0x01,0x00,0x00]
236         {evex}	addl	%ecx, 291(%r8,%rax,4)
237# CHECK: {nf}	addl	%ecx, 291(%r8,%rax,4)
238# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0x01,0x8c,0x80,0x23,0x01,0x00,0x00]
239         {nf}	addl	%ecx, 291(%r8,%rax,4)
240# CHECK: addl	%ecx, 291(%r8,%rax,4), %edx
241# CHECK: encoding: [0x62,0xd4,0x6c,0x18,0x01,0x8c,0x80,0x23,0x01,0x00,0x00]
242         addl	%ecx, 291(%r8,%rax,4), %edx
243# CHECK: {nf}	addl	%ecx, 291(%r8,%rax,4), %edx
244# CHECK: encoding: [0x62,0xd4,0x6c,0x1c,0x01,0x8c,0x80,0x23,0x01,0x00,0x00]
245         {nf}	addl	%ecx, 291(%r8,%rax,4), %edx
246# CHECK: {evex}	addq	%r9, %r15
247# CHECK: encoding: [0x62,0x54,0xfc,0x08,0x01,0xcf]
248         {evex}	addq	%r9, %r15
249# CHECK: {nf}	addq	%r9, %r15
250# CHECK: encoding: [0x62,0x54,0xfc,0x0c,0x01,0xcf]
251         {nf}	addq	%r9, %r15
252# CHECK: addq	%r9, %r15, %r11
253# CHECK: encoding: [0x62,0x54,0xa4,0x18,0x01,0xcf]
254         addq	%r9, %r15, %r11
255# CHECK: {nf}	addq	%r9, %r15, %r11
256# CHECK: encoding: [0x62,0x54,0xa4,0x1c,0x01,0xcf]
257         {nf}	addq	%r9, %r15, %r11
258# CHECK: {evex}	addq	%r9, 291(%r8,%rax,4)
259# CHECK: encoding: [0x62,0x54,0xfc,0x08,0x01,0x8c,0x80,0x23,0x01,0x00,0x00]
260         {evex}	addq	%r9, 291(%r8,%rax,4)
261# CHECK: {nf}	addq	%r9, 291(%r8,%rax,4)
262# CHECK: encoding: [0x62,0x54,0xfc,0x0c,0x01,0x8c,0x80,0x23,0x01,0x00,0x00]
263         {nf}	addq	%r9, 291(%r8,%rax,4)
264# CHECK: addq	%r9, 291(%r8,%rax,4), %r15
265# CHECK: encoding: [0x62,0x54,0x84,0x18,0x01,0x8c,0x80,0x23,0x01,0x00,0x00]
266         addq	%r9, 291(%r8,%rax,4), %r15
267# CHECK: {nf}	addq	%r9, 291(%r8,%rax,4), %r15
268# CHECK: encoding: [0x62,0x54,0x84,0x1c,0x01,0x8c,0x80,0x23,0x01,0x00,0x00]
269         {nf}	addq	%r9, 291(%r8,%rax,4), %r15
270# CHECK: {evex}	addb	291(%r8,%rax,4), %bl
271# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x02,0x9c,0x80,0x23,0x01,0x00,0x00]
272         {evex}	addb	291(%r8,%rax,4), %bl
273# CHECK: {nf}	addb	291(%r8,%rax,4), %bl
274# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0x02,0x9c,0x80,0x23,0x01,0x00,0x00]
275         {nf}	addb	291(%r8,%rax,4), %bl
276# CHECK: addb	291(%r8,%rax,4), %bl, %cl
277# CHECK: encoding: [0x62,0xd4,0x74,0x18,0x02,0x9c,0x80,0x23,0x01,0x00,0x00]
278         addb	291(%r8,%rax,4), %bl, %cl
279# CHECK: {nf}	addb	291(%r8,%rax,4), %bl, %cl
280# CHECK: encoding: [0x62,0xd4,0x74,0x1c,0x02,0x9c,0x80,0x23,0x01,0x00,0x00]
281         {nf}	addb	291(%r8,%rax,4), %bl, %cl
282# CHECK: {evex}	addw	291(%r8,%rax,4), %dx
283# CHECK: encoding: [0x62,0xd4,0x7d,0x08,0x03,0x94,0x80,0x23,0x01,0x00,0x00]
284         {evex}	addw	291(%r8,%rax,4), %dx
285# CHECK: {nf}	addw	291(%r8,%rax,4), %dx
286# CHECK: encoding: [0x62,0xd4,0x7d,0x0c,0x03,0x94,0x80,0x23,0x01,0x00,0x00]
287         {nf}	addw	291(%r8,%rax,4), %dx
288# CHECK: addw	291(%r8,%rax,4), %dx, %ax
289# CHECK: encoding: [0x62,0xd4,0x7d,0x18,0x03,0x94,0x80,0x23,0x01,0x00,0x00]
290         addw	291(%r8,%rax,4), %dx, %ax
291# CHECK: {nf}	addw	291(%r8,%rax,4), %dx, %ax
292# CHECK: encoding: [0x62,0xd4,0x7d,0x1c,0x03,0x94,0x80,0x23,0x01,0x00,0x00]
293         {nf}	addw	291(%r8,%rax,4), %dx, %ax
294# CHECK: {evex}	addl	291(%r8,%rax,4), %ecx
295# CHECK: encoding: [0x62,0xd4,0x7c,0x08,0x03,0x8c,0x80,0x23,0x01,0x00,0x00]
296         {evex}	addl	291(%r8,%rax,4), %ecx
297# CHECK: {nf}	addl	291(%r8,%rax,4), %ecx
298# CHECK: encoding: [0x62,0xd4,0x7c,0x0c,0x03,0x8c,0x80,0x23,0x01,0x00,0x00]
299         {nf}	addl	291(%r8,%rax,4), %ecx
300# CHECK: addl	291(%r8,%rax,4), %ecx, %edx
301# CHECK: encoding: [0x62,0xd4,0x6c,0x18,0x03,0x8c,0x80,0x23,0x01,0x00,0x00]
302         addl	291(%r8,%rax,4), %ecx, %edx
303# CHECK: {nf}	addl	291(%r8,%rax,4), %ecx, %edx
304# CHECK: encoding: [0x62,0xd4,0x6c,0x1c,0x03,0x8c,0x80,0x23,0x01,0x00,0x00]
305         {nf}	addl	291(%r8,%rax,4), %ecx, %edx
306# CHECK: {evex}	addq	291(%r8,%rax,4), %r9
307# CHECK: encoding: [0x62,0x54,0xfc,0x08,0x03,0x8c,0x80,0x23,0x01,0x00,0x00]
308         {evex}	addq	291(%r8,%rax,4), %r9
309# CHECK: {nf}	addq	291(%r8,%rax,4), %r9
310# CHECK: encoding: [0x62,0x54,0xfc,0x0c,0x03,0x8c,0x80,0x23,0x01,0x00,0x00]
311         {nf}	addq	291(%r8,%rax,4), %r9
312# CHECK: addq	291(%r8,%rax,4), %r9, %r15
313# CHECK: encoding: [0x62,0x54,0x84,0x18,0x03,0x8c,0x80,0x23,0x01,0x00,0x00]
314         addq	291(%r8,%rax,4), %r9, %r15
315# CHECK: {nf}	addq	291(%r8,%rax,4), %r9, %r15
316# CHECK: encoding: [0x62,0x54,0x84,0x1c,0x03,0x8c,0x80,0x23,0x01,0x00,0x00]
317         {nf}	addq	291(%r8,%rax,4), %r9, %r15
318