xref: /llvm-project/llvm/test/MC/X86/avx512fp16vl-intel.s (revision c394d97ed3c10a8a77742296248e68c654f37c45) 
1// RUN: llvm-mc -triple x86_64-unknown-unknown -x86-asm-syntax=intel -output-asm-variant=1 --show-encoding %s | FileCheck %s
2
3// CHECK: vaddph ymm30, ymm29, ymm28
4// CHECK: encoding: [0x62,0x05,0x14,0x20,0x58,0xf4]
5          vaddph ymm30, ymm29, ymm28
6
7// CHECK: vaddph xmm30, xmm29, xmm28
8// CHECK: encoding: [0x62,0x05,0x14,0x00,0x58,0xf4]
9          vaddph xmm30, xmm29, xmm28
10
11// CHECK: vaddph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
12// CHECK: encoding: [0x62,0x25,0x14,0x27,0x58,0xb4,0xf5,0x00,0x00,0x00,0x10]
13          vaddph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
14
15// CHECK: vaddph ymm30, ymm29, word ptr [r9]{1to16}
16// CHECK: encoding: [0x62,0x45,0x14,0x30,0x58,0x31]
17          vaddph ymm30, ymm29, word ptr [r9]{1to16}
18
19// CHECK: vaddph ymm30, ymm29, ymmword ptr [rcx + 4064]
20// CHECK: encoding: [0x62,0x65,0x14,0x20,0x58,0x71,0x7f]
21          vaddph ymm30, ymm29, ymmword ptr [rcx + 4064]
22
23// CHECK: vaddph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
24// CHECK: encoding: [0x62,0x65,0x14,0xb7,0x58,0x72,0x80]
25          vaddph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
26
27// CHECK: vaddph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
28// CHECK: encoding: [0x62,0x25,0x14,0x07,0x58,0xb4,0xf5,0x00,0x00,0x00,0x10]
29          vaddph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
30
31// CHECK: vaddph xmm30, xmm29, word ptr [r9]{1to8}
32// CHECK: encoding: [0x62,0x45,0x14,0x10,0x58,0x31]
33          vaddph xmm30, xmm29, word ptr [r9]{1to8}
34
35// CHECK: vaddph xmm30, xmm29, xmmword ptr [rcx + 2032]
36// CHECK: encoding: [0x62,0x65,0x14,0x00,0x58,0x71,0x7f]
37          vaddph xmm30, xmm29, xmmword ptr [rcx + 2032]
38
39// CHECK: vaddph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
40// CHECK: encoding: [0x62,0x65,0x14,0x97,0x58,0x72,0x80]
41          vaddph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
42
43// CHECK: vcmpeqph k5, ymm29, ymm28
44// CHECK: encoding: [0x62,0x93,0x14,0x20,0xc2,0xec,0x00]
45          vcmpph k5, ymm29, ymm28, 0
46
47// CHECK: vcmpltph k5, xmm29, xmm28
48// CHECK: encoding: [0x62,0x93,0x14,0x00,0xc2,0xec,0x01]
49          vcmpph k5, xmm29, xmm28, 1
50
51// CHECK: vcmpleph k5 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
52// CHECK: encoding: [0x62,0xb3,0x14,0x07,0xc2,0xac,0xf5,0x00,0x00,0x00,0x10,0x02]
53          vcmpph k5 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456], 2
54
55// CHECK: vcmpunordph k5, xmm29, word ptr [r9]{1to8}
56// CHECK: encoding: [0x62,0xd3,0x14,0x10,0xc2,0x29,0x03]
57          vcmpph k5, xmm29, word ptr [r9]{1to8}, 3
58
59// CHECK: vcmpneqph k5, xmm29, xmmword ptr [rcx + 2032]
60// CHECK: encoding: [0x62,0xf3,0x14,0x00,0xc2,0x69,0x7f,0x04]
61          vcmpph k5, xmm29, xmmword ptr [rcx + 2032], 4
62
63// CHECK: vcmpnltph k5 {k7}, xmm29, word ptr [rdx - 256]{1to8}
64// CHECK: encoding: [0x62,0xf3,0x14,0x17,0xc2,0x6a,0x80,0x05]
65          vcmpph k5 {k7}, xmm29, word ptr [rdx - 256]{1to8}, 5
66
67// CHECK: vcmpnleph k5 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
68// CHECK: encoding: [0x62,0xb3,0x14,0x27,0xc2,0xac,0xf5,0x00,0x00,0x00,0x10,0x06]
69          vcmpph k5 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456], 6
70
71// CHECK: vcmpordph k5, ymm29, word ptr [r9]{1to16}
72// CHECK: encoding: [0x62,0xd3,0x14,0x30,0xc2,0x29,0x07]
73          vcmpph k5, ymm29, word ptr [r9]{1to16}, 7
74
75// CHECK: vcmpeq_uqph k5, ymm29, ymmword ptr [rcx + 4064]
76// CHECK: encoding: [0x62,0xf3,0x14,0x20,0xc2,0x69,0x7f,0x08]
77          vcmpph k5, ymm29, ymmword ptr [rcx + 4064], 8
78
79// CHECK: vcmpngeph k5 {k7}, ymm29, word ptr [rdx - 256]{1to16}
80// CHECK: encoding: [0x62,0xf3,0x14,0x37,0xc2,0x6a,0x80,0x09]
81          vcmpph k5 {k7}, ymm29, word ptr [rdx - 256]{1to16}, 9
82
83// CHECK: vdivph ymm30, ymm29, ymm28
84// CHECK: encoding: [0x62,0x05,0x14,0x20,0x5e,0xf4]
85          vdivph ymm30, ymm29, ymm28
86
87// CHECK: vdivph xmm30, xmm29, xmm28
88// CHECK: encoding: [0x62,0x05,0x14,0x00,0x5e,0xf4]
89          vdivph xmm30, xmm29, xmm28
90
91// CHECK: vdivph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
92// CHECK: encoding: [0x62,0x25,0x14,0x27,0x5e,0xb4,0xf5,0x00,0x00,0x00,0x10]
93          vdivph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
94
95// CHECK: vdivph ymm30, ymm29, word ptr [r9]{1to16}
96// CHECK: encoding: [0x62,0x45,0x14,0x30,0x5e,0x31]
97          vdivph ymm30, ymm29, word ptr [r9]{1to16}
98
99// CHECK: vdivph ymm30, ymm29, ymmword ptr [rcx + 4064]
100// CHECK: encoding: [0x62,0x65,0x14,0x20,0x5e,0x71,0x7f]
101          vdivph ymm30, ymm29, ymmword ptr [rcx + 4064]
102
103// CHECK: vdivph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
104// CHECK: encoding: [0x62,0x65,0x14,0xb7,0x5e,0x72,0x80]
105          vdivph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
106
107// CHECK: vdivph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
108// CHECK: encoding: [0x62,0x25,0x14,0x07,0x5e,0xb4,0xf5,0x00,0x00,0x00,0x10]
109          vdivph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
110
111// CHECK: vdivph xmm30, xmm29, word ptr [r9]{1to8}
112// CHECK: encoding: [0x62,0x45,0x14,0x10,0x5e,0x31]
113          vdivph xmm30, xmm29, word ptr [r9]{1to8}
114
115// CHECK: vdivph xmm30, xmm29, xmmword ptr [rcx + 2032]
116// CHECK: encoding: [0x62,0x65,0x14,0x00,0x5e,0x71,0x7f]
117          vdivph xmm30, xmm29, xmmword ptr [rcx + 2032]
118
119// CHECK: vdivph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
120// CHECK: encoding: [0x62,0x65,0x14,0x97,0x5e,0x72,0x80]
121          vdivph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
122
123// CHECK: vmaxph ymm30, ymm29, ymm28
124// CHECK: encoding: [0x62,0x05,0x14,0x20,0x5f,0xf4]
125          vmaxph ymm30, ymm29, ymm28
126
127// CHECK: vmaxph xmm30, xmm29, xmm28
128// CHECK: encoding: [0x62,0x05,0x14,0x00,0x5f,0xf4]
129          vmaxph xmm30, xmm29, xmm28
130
131// CHECK: vmaxph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
132// CHECK: encoding: [0x62,0x25,0x14,0x27,0x5f,0xb4,0xf5,0x00,0x00,0x00,0x10]
133          vmaxph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
134
135// CHECK: vmaxph ymm30, ymm29, word ptr [r9]{1to16}
136// CHECK: encoding: [0x62,0x45,0x14,0x30,0x5f,0x31]
137          vmaxph ymm30, ymm29, word ptr [r9]{1to16}
138
139// CHECK: vmaxph ymm30, ymm29, ymmword ptr [rcx + 4064]
140// CHECK: encoding: [0x62,0x65,0x14,0x20,0x5f,0x71,0x7f]
141          vmaxph ymm30, ymm29, ymmword ptr [rcx + 4064]
142
143// CHECK: vmaxph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
144// CHECK: encoding: [0x62,0x65,0x14,0xb7,0x5f,0x72,0x80]
145          vmaxph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
146
147// CHECK: vmaxph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
148// CHECK: encoding: [0x62,0x25,0x14,0x07,0x5f,0xb4,0xf5,0x00,0x00,0x00,0x10]
149          vmaxph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
150
151// CHECK: vmaxph xmm30, xmm29, word ptr [r9]{1to8}
152// CHECK: encoding: [0x62,0x45,0x14,0x10,0x5f,0x31]
153          vmaxph xmm30, xmm29, word ptr [r9]{1to8}
154
155// CHECK: vmaxph xmm30, xmm29, xmmword ptr [rcx + 2032]
156// CHECK: encoding: [0x62,0x65,0x14,0x00,0x5f,0x71,0x7f]
157          vmaxph xmm30, xmm29, xmmword ptr [rcx + 2032]
158
159// CHECK: vmaxph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
160// CHECK: encoding: [0x62,0x65,0x14,0x97,0x5f,0x72,0x80]
161          vmaxph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
162
163// CHECK: vminph ymm30, ymm29, ymm28
164// CHECK: encoding: [0x62,0x05,0x14,0x20,0x5d,0xf4]
165          vminph ymm30, ymm29, ymm28
166
167// CHECK: vminph xmm30, xmm29, xmm28
168// CHECK: encoding: [0x62,0x05,0x14,0x00,0x5d,0xf4]
169          vminph xmm30, xmm29, xmm28
170
171// CHECK: vminph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
172// CHECK: encoding: [0x62,0x25,0x14,0x27,0x5d,0xb4,0xf5,0x00,0x00,0x00,0x10]
173          vminph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
174
175// CHECK: vminph ymm30, ymm29, word ptr [r9]{1to16}
176// CHECK: encoding: [0x62,0x45,0x14,0x30,0x5d,0x31]
177          vminph ymm30, ymm29, word ptr [r9]{1to16}
178
179// CHECK: vminph ymm30, ymm29, ymmword ptr [rcx + 4064]
180// CHECK: encoding: [0x62,0x65,0x14,0x20,0x5d,0x71,0x7f]
181          vminph ymm30, ymm29, ymmword ptr [rcx + 4064]
182
183// CHECK: vminph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
184// CHECK: encoding: [0x62,0x65,0x14,0xb7,0x5d,0x72,0x80]
185          vminph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
186
187// CHECK: vminph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
188// CHECK: encoding: [0x62,0x25,0x14,0x07,0x5d,0xb4,0xf5,0x00,0x00,0x00,0x10]
189          vminph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
190
191// CHECK: vminph xmm30, xmm29, word ptr [r9]{1to8}
192// CHECK: encoding: [0x62,0x45,0x14,0x10,0x5d,0x31]
193          vminph xmm30, xmm29, word ptr [r9]{1to8}
194
195// CHECK: vminph xmm30, xmm29, xmmword ptr [rcx + 2032]
196// CHECK: encoding: [0x62,0x65,0x14,0x00,0x5d,0x71,0x7f]
197          vminph xmm30, xmm29, xmmword ptr [rcx + 2032]
198
199// CHECK: vminph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
200// CHECK: encoding: [0x62,0x65,0x14,0x97,0x5d,0x72,0x80]
201          vminph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
202
203// CHECK: vmulph ymm30, ymm29, ymm28
204// CHECK: encoding: [0x62,0x05,0x14,0x20,0x59,0xf4]
205          vmulph ymm30, ymm29, ymm28
206
207// CHECK: vmulph xmm30, xmm29, xmm28
208// CHECK: encoding: [0x62,0x05,0x14,0x00,0x59,0xf4]
209          vmulph xmm30, xmm29, xmm28
210
211// CHECK: vmulph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
212// CHECK: encoding: [0x62,0x25,0x14,0x27,0x59,0xb4,0xf5,0x00,0x00,0x00,0x10]
213          vmulph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
214
215// CHECK: vmulph ymm30, ymm29, word ptr [r9]{1to16}
216// CHECK: encoding: [0x62,0x45,0x14,0x30,0x59,0x31]
217          vmulph ymm30, ymm29, word ptr [r9]{1to16}
218
219// CHECK: vmulph ymm30, ymm29, ymmword ptr [rcx + 4064]
220// CHECK: encoding: [0x62,0x65,0x14,0x20,0x59,0x71,0x7f]
221          vmulph ymm30, ymm29, ymmword ptr [rcx + 4064]
222
223// CHECK: vmulph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
224// CHECK: encoding: [0x62,0x65,0x14,0xb7,0x59,0x72,0x80]
225          vmulph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
226
227// CHECK: vmulph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
228// CHECK: encoding: [0x62,0x25,0x14,0x07,0x59,0xb4,0xf5,0x00,0x00,0x00,0x10]
229          vmulph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
230
231// CHECK: vmulph xmm30, xmm29, word ptr [r9]{1to8}
232// CHECK: encoding: [0x62,0x45,0x14,0x10,0x59,0x31]
233          vmulph xmm30, xmm29, word ptr [r9]{1to8}
234
235// CHECK: vmulph xmm30, xmm29, xmmword ptr [rcx + 2032]
236// CHECK: encoding: [0x62,0x65,0x14,0x00,0x59,0x71,0x7f]
237          vmulph xmm30, xmm29, xmmword ptr [rcx + 2032]
238
239// CHECK: vmulph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
240// CHECK: encoding: [0x62,0x65,0x14,0x97,0x59,0x72,0x80]
241          vmulph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
242
243// CHECK: vsubph ymm30, ymm29, ymm28
244// CHECK: encoding: [0x62,0x05,0x14,0x20,0x5c,0xf4]
245          vsubph ymm30, ymm29, ymm28
246
247// CHECK: vsubph xmm30, xmm29, xmm28
248// CHECK: encoding: [0x62,0x05,0x14,0x00,0x5c,0xf4]
249          vsubph xmm30, xmm29, xmm28
250
251// CHECK: vsubph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
252// CHECK: encoding: [0x62,0x25,0x14,0x27,0x5c,0xb4,0xf5,0x00,0x00,0x00,0x10]
253          vsubph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
254
255// CHECK: vsubph ymm30, ymm29, word ptr [r9]{1to16}
256// CHECK: encoding: [0x62,0x45,0x14,0x30,0x5c,0x31]
257          vsubph ymm30, ymm29, word ptr [r9]{1to16}
258
259// CHECK: vsubph ymm30, ymm29, ymmword ptr [rcx + 4064]
260// CHECK: encoding: [0x62,0x65,0x14,0x20,0x5c,0x71,0x7f]
261          vsubph ymm30, ymm29, ymmword ptr [rcx + 4064]
262
263// CHECK: vsubph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
264// CHECK: encoding: [0x62,0x65,0x14,0xb7,0x5c,0x72,0x80]
265          vsubph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
266
267// CHECK: vsubph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
268// CHECK: encoding: [0x62,0x25,0x14,0x07,0x5c,0xb4,0xf5,0x00,0x00,0x00,0x10]
269          vsubph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
270
271// CHECK: vsubph xmm30, xmm29, word ptr [r9]{1to8}
272// CHECK: encoding: [0x62,0x45,0x14,0x10,0x5c,0x31]
273          vsubph xmm30, xmm29, word ptr [r9]{1to8}
274
275// CHECK: vsubph xmm30, xmm29, xmmword ptr [rcx + 2032]
276// CHECK: encoding: [0x62,0x65,0x14,0x00,0x5c,0x71,0x7f]
277          vsubph xmm30, xmm29, xmmword ptr [rcx + 2032]
278
279// CHECK: vsubph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
280// CHECK: encoding: [0x62,0x65,0x14,0x97,0x5c,0x72,0x80]
281          vsubph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
282
283// CHECK: vcvtdq2ph xmm30, xmm29
284// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x5b,0xf5]
285          vcvtdq2ph xmm30, xmm29
286
287// CHECK: vcvtdq2ph xmm30, ymm29
288// CHECK: encoding: [0x62,0x05,0x7c,0x28,0x5b,0xf5]
289          vcvtdq2ph xmm30, ymm29
290
291// CHECK: vcvtdq2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
292// CHECK: encoding: [0x62,0x25,0x7c,0x0f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]
293          vcvtdq2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
294
295// CHECK: vcvtdq2ph xmm30, dword ptr [r9]{1to4}
296// CHECK: encoding: [0x62,0x45,0x7c,0x18,0x5b,0x31]
297          vcvtdq2ph xmm30, dword ptr [r9]{1to4}
298
299// CHECK: vcvtdq2ph xmm30, xmmword ptr [rcx + 2032]
300// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x5b,0x71,0x7f]
301          vcvtdq2ph xmm30, xmmword ptr [rcx + 2032]
302
303// CHECK: vcvtdq2ph xmm30 {k7} {z}, dword ptr [rdx - 512]{1to4}
304// CHECK: encoding: [0x62,0x65,0x7c,0x9f,0x5b,0x72,0x80]
305          vcvtdq2ph xmm30 {k7} {z}, dword ptr [rdx - 512]{1to4}
306
307// CHECK: vcvtdq2ph xmm30, dword ptr [r9]{1to8}
308// CHECK: encoding: [0x62,0x45,0x7c,0x38,0x5b,0x31]
309          vcvtdq2ph xmm30, dword ptr [r9]{1to8}
310
311// CHECK: vcvtdq2ph xmm30, ymmword ptr [rcx + 4064]
312// CHECK: encoding: [0x62,0x65,0x7c,0x28,0x5b,0x71,0x7f]
313          vcvtdq2ph xmm30, ymmword ptr [rcx + 4064]
314
315// CHECK: vcvtdq2ph xmm30 {k7} {z}, dword ptr [rdx - 512]{1to8}
316// CHECK: encoding: [0x62,0x65,0x7c,0xbf,0x5b,0x72,0x80]
317          vcvtdq2ph xmm30 {k7} {z}, dword ptr [rdx - 512]{1to8}
318
319// CHECK: vcvtpd2ph xmm30, xmm29
320// CHECK: encoding: [0x62,0x05,0xfd,0x08,0x5a,0xf5]
321          vcvtpd2ph xmm30, xmm29
322
323// CHECK: vcvtpd2ph xmm30, ymm29
324// CHECK: encoding: [0x62,0x05,0xfd,0x28,0x5a,0xf5]
325          vcvtpd2ph xmm30, ymm29
326
327// CHECK: vcvtpd2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
328// CHECK: encoding: [0x62,0x25,0xfd,0x0f,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10]
329          vcvtpd2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
330
331// CHECK: vcvtpd2ph xmm30, qword ptr [r9]{1to2}
332// CHECK: encoding: [0x62,0x45,0xfd,0x18,0x5a,0x31]
333          vcvtpd2ph xmm30, qword ptr [r9]{1to2}
334
335// CHECK: vcvtpd2ph xmm30, xmmword ptr [rcx + 2032]
336// CHECK: encoding: [0x62,0x65,0xfd,0x08,0x5a,0x71,0x7f]
337          vcvtpd2ph xmm30, xmmword ptr [rcx + 2032]
338
339// CHECK: vcvtpd2ph xmm30 {k7} {z}, qword ptr [rdx - 1024]{1to2}
340// CHECK: encoding: [0x62,0x65,0xfd,0x9f,0x5a,0x72,0x80]
341          vcvtpd2ph xmm30 {k7} {z}, qword ptr [rdx - 1024]{1to2}
342
343// CHECK: vcvtpd2ph xmm30, qword ptr [r9]{1to4}
344// CHECK: encoding: [0x62,0x45,0xfd,0x38,0x5a,0x31]
345          vcvtpd2ph xmm30, qword ptr [r9]{1to4}
346
347// CHECK: vcvtpd2ph xmm30, ymmword ptr [rcx + 4064]
348// CHECK: encoding: [0x62,0x65,0xfd,0x28,0x5a,0x71,0x7f]
349          vcvtpd2ph xmm30, ymmword ptr [rcx + 4064]
350
351// CHECK: vcvtpd2ph xmm30 {k7} {z}, qword ptr [rdx - 1024]{1to4}
352// CHECK: encoding: [0x62,0x65,0xfd,0xbf,0x5a,0x72,0x80]
353          vcvtpd2ph xmm30 {k7} {z}, qword ptr [rdx - 1024]{1to4}
354
355// CHECK: vcvtph2dq xmm30, xmm29
356// CHECK: encoding: [0x62,0x05,0x7d,0x08,0x5b,0xf5]
357          vcvtph2dq xmm30, xmm29
358
359// CHECK: vcvtph2dq ymm30, xmm29
360// CHECK: encoding: [0x62,0x05,0x7d,0x28,0x5b,0xf5]
361          vcvtph2dq ymm30, xmm29
362
363// CHECK: vcvtph2dq xmm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
364// CHECK: encoding: [0x62,0x25,0x7d,0x0f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]
365          vcvtph2dq xmm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
366
367// CHECK: vcvtph2dq xmm30, word ptr [r9]{1to4}
368// CHECK: encoding: [0x62,0x45,0x7d,0x18,0x5b,0x31]
369          vcvtph2dq xmm30, word ptr [r9]{1to4}
370
371// CHECK: vcvtph2dq xmm30, qword ptr [rcx + 1016]
372// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x5b,0x71,0x7f]
373          vcvtph2dq xmm30, qword ptr [rcx + 1016]
374
375// CHECK: vcvtph2dq xmm30 {k7} {z}, word ptr [rdx - 256]{1to4}
376// CHECK: encoding: [0x62,0x65,0x7d,0x9f,0x5b,0x72,0x80]
377          vcvtph2dq xmm30 {k7} {z}, word ptr [rdx - 256]{1to4}
378
379// CHECK: vcvtph2dq ymm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
380// CHECK: encoding: [0x62,0x25,0x7d,0x2f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]
381          vcvtph2dq ymm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
382
383// CHECK: vcvtph2dq ymm30, word ptr [r9]{1to8}
384// CHECK: encoding: [0x62,0x45,0x7d,0x38,0x5b,0x31]
385          vcvtph2dq ymm30, word ptr [r9]{1to8}
386
387// CHECK: vcvtph2dq ymm30, xmmword ptr [rcx + 2032]
388// CHECK: encoding: [0x62,0x65,0x7d,0x28,0x5b,0x71,0x7f]
389          vcvtph2dq ymm30, xmmword ptr [rcx + 2032]
390
391// CHECK: vcvtph2dq ymm30 {k7} {z}, word ptr [rdx - 256]{1to8}
392// CHECK: encoding: [0x62,0x65,0x7d,0xbf,0x5b,0x72,0x80]
393          vcvtph2dq ymm30 {k7} {z}, word ptr [rdx - 256]{1to8}
394
395// CHECK: vcvtph2pd xmm30, xmm29
396// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x5a,0xf5]
397          vcvtph2pd xmm30, xmm29
398
399// CHECK: vcvtph2pd ymm30, xmm29
400// CHECK: encoding: [0x62,0x05,0x7c,0x28,0x5a,0xf5]
401          vcvtph2pd ymm30, xmm29
402
403// CHECK: vcvtph2pd xmm30 {k7}, dword ptr [rbp + 8*r14 + 268435456]
404// CHECK: encoding: [0x62,0x25,0x7c,0x0f,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10]
405          vcvtph2pd xmm30 {k7}, dword ptr [rbp + 8*r14 + 268435456]
406
407// CHECK: vcvtph2pd xmm30, word ptr [r9]{1to2}
408// CHECK: encoding: [0x62,0x45,0x7c,0x18,0x5a,0x31]
409          vcvtph2pd xmm30, word ptr [r9]{1to2}
410
411// CHECK: vcvtph2pd xmm30, dword ptr [rcx + 508]
412// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x5a,0x71,0x7f]
413          vcvtph2pd xmm30, dword ptr [rcx + 508]
414
415// CHECK: vcvtph2pd xmm30 {k7} {z}, word ptr [rdx - 256]{1to2}
416// CHECK: encoding: [0x62,0x65,0x7c,0x9f,0x5a,0x72,0x80]
417          vcvtph2pd xmm30 {k7} {z}, word ptr [rdx - 256]{1to2}
418
419// CHECK: vcvtph2pd ymm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
420// CHECK: encoding: [0x62,0x25,0x7c,0x2f,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10]
421          vcvtph2pd ymm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
422
423// CHECK: vcvtph2pd ymm30, word ptr [r9]{1to4}
424// CHECK: encoding: [0x62,0x45,0x7c,0x38,0x5a,0x31]
425          vcvtph2pd ymm30, word ptr [r9]{1to4}
426
427// CHECK: vcvtph2pd ymm30, qword ptr [rcx + 1016]
428// CHECK: encoding: [0x62,0x65,0x7c,0x28,0x5a,0x71,0x7f]
429          vcvtph2pd ymm30, qword ptr [rcx + 1016]
430
431// CHECK: vcvtph2pd ymm30 {k7} {z}, word ptr [rdx - 256]{1to4}
432// CHECK: encoding: [0x62,0x65,0x7c,0xbf,0x5a,0x72,0x80]
433          vcvtph2pd ymm30 {k7} {z}, word ptr [rdx - 256]{1to4}
434
435// CHECK: vcvtph2psx xmm30, xmm29
436// CHECK: encoding: [0x62,0x06,0x7d,0x08,0x13,0xf5]
437          vcvtph2psx xmm30, xmm29
438
439// CHECK: vcvtph2psx ymm30, xmm29
440// CHECK: encoding: [0x62,0x06,0x7d,0x28,0x13,0xf5]
441          vcvtph2psx ymm30, xmm29
442
443// CHECK: vcvtph2psx xmm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
444// CHECK: encoding: [0x62,0x26,0x7d,0x0f,0x13,0xb4,0xf5,0x00,0x00,0x00,0x10]
445          vcvtph2psx xmm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
446
447// CHECK: vcvtph2psx xmm30, word ptr [r9]{1to4}
448// CHECK: encoding: [0x62,0x46,0x7d,0x18,0x13,0x31]
449          vcvtph2psx xmm30, word ptr [r9]{1to4}
450
451// CHECK: vcvtph2psx xmm30, qword ptr [rcx + 1016]
452// CHECK: encoding: [0x62,0x66,0x7d,0x08,0x13,0x71,0x7f]
453          vcvtph2psx xmm30, qword ptr [rcx + 1016]
454
455// CHECK: vcvtph2psx xmm30 {k7} {z}, word ptr [rdx - 256]{1to4}
456// CHECK: encoding: [0x62,0x66,0x7d,0x9f,0x13,0x72,0x80]
457          vcvtph2psx xmm30 {k7} {z}, word ptr [rdx - 256]{1to4}
458
459// CHECK: vcvtph2psx ymm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
460// CHECK: encoding: [0x62,0x26,0x7d,0x2f,0x13,0xb4,0xf5,0x00,0x00,0x00,0x10]
461          vcvtph2psx ymm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
462
463// CHECK: vcvtph2psx ymm30, word ptr [r9]{1to8}
464// CHECK: encoding: [0x62,0x46,0x7d,0x38,0x13,0x31]
465          vcvtph2psx ymm30, word ptr [r9]{1to8}
466
467// CHECK: vcvtph2psx ymm30, xmmword ptr [rcx + 2032]
468// CHECK: encoding: [0x62,0x66,0x7d,0x28,0x13,0x71,0x7f]
469          vcvtph2psx ymm30, xmmword ptr [rcx + 2032]
470
471// CHECK: vcvtph2psx ymm30 {k7} {z}, word ptr [rdx - 256]{1to8}
472// CHECK: encoding: [0x62,0x66,0x7d,0xbf,0x13,0x72,0x80]
473          vcvtph2psx ymm30 {k7} {z}, word ptr [rdx - 256]{1to8}
474
475// CHECK: vcvtph2qq xmm30, xmm29
476// CHECK: encoding: [0x62,0x05,0x7d,0x08,0x7b,0xf5]
477          vcvtph2qq xmm30, xmm29
478
479// CHECK: vcvtph2qq ymm30, xmm29
480// CHECK: encoding: [0x62,0x05,0x7d,0x28,0x7b,0xf5]
481          vcvtph2qq ymm30, xmm29
482
483// CHECK: vcvtph2qq xmm30 {k7}, dword ptr [rbp + 8*r14 + 268435456]
484// CHECK: encoding: [0x62,0x25,0x7d,0x0f,0x7b,0xb4,0xf5,0x00,0x00,0x00,0x10]
485          vcvtph2qq xmm30 {k7}, dword ptr [rbp + 8*r14 + 268435456]
486
487// CHECK: vcvtph2qq xmm30, word ptr [r9]{1to2}
488// CHECK: encoding: [0x62,0x45,0x7d,0x18,0x7b,0x31]
489          vcvtph2qq xmm30, word ptr [r9]{1to2}
490
491// CHECK: vcvtph2qq xmm30, dword ptr [rcx + 508]
492// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x7b,0x71,0x7f]
493          vcvtph2qq xmm30, dword ptr [rcx + 508]
494
495// CHECK: vcvtph2qq xmm30 {k7} {z}, word ptr [rdx - 256]{1to2}
496// CHECK: encoding: [0x62,0x65,0x7d,0x9f,0x7b,0x72,0x80]
497          vcvtph2qq xmm30 {k7} {z}, word ptr [rdx - 256]{1to2}
498
499// CHECK: vcvtph2qq ymm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
500// CHECK: encoding: [0x62,0x25,0x7d,0x2f,0x7b,0xb4,0xf5,0x00,0x00,0x00,0x10]
501          vcvtph2qq ymm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
502
503// CHECK: vcvtph2qq ymm30, word ptr [r9]{1to4}
504// CHECK: encoding: [0x62,0x45,0x7d,0x38,0x7b,0x31]
505          vcvtph2qq ymm30, word ptr [r9]{1to4}
506
507// CHECK: vcvtph2qq ymm30, qword ptr [rcx + 1016]
508// CHECK: encoding: [0x62,0x65,0x7d,0x28,0x7b,0x71,0x7f]
509          vcvtph2qq ymm30, qword ptr [rcx + 1016]
510
511// CHECK: vcvtph2qq ymm30 {k7} {z}, word ptr [rdx - 256]{1to4}
512// CHECK: encoding: [0x62,0x65,0x7d,0xbf,0x7b,0x72,0x80]
513          vcvtph2qq ymm30 {k7} {z}, word ptr [rdx - 256]{1to4}
514
515// CHECK: vcvtph2udq xmm30, xmm29
516// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x79,0xf5]
517          vcvtph2udq xmm30, xmm29
518
519// CHECK: vcvtph2udq ymm30, xmm29
520// CHECK: encoding: [0x62,0x05,0x7c,0x28,0x79,0xf5]
521          vcvtph2udq ymm30, xmm29
522
523// CHECK: vcvtph2udq xmm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
524// CHECK: encoding: [0x62,0x25,0x7c,0x0f,0x79,0xb4,0xf5,0x00,0x00,0x00,0x10]
525          vcvtph2udq xmm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
526
527// CHECK: vcvtph2udq xmm30, word ptr [r9]{1to4}
528// CHECK: encoding: [0x62,0x45,0x7c,0x18,0x79,0x31]
529          vcvtph2udq xmm30, word ptr [r9]{1to4}
530
531// CHECK: vcvtph2udq xmm30, qword ptr [rcx + 1016]
532// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x79,0x71,0x7f]
533          vcvtph2udq xmm30, qword ptr [rcx + 1016]
534
535// CHECK: vcvtph2udq xmm30 {k7} {z}, word ptr [rdx - 256]{1to4}
536// CHECK: encoding: [0x62,0x65,0x7c,0x9f,0x79,0x72,0x80]
537          vcvtph2udq xmm30 {k7} {z}, word ptr [rdx - 256]{1to4}
538
539// CHECK: vcvtph2udq ymm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
540// CHECK: encoding: [0x62,0x25,0x7c,0x2f,0x79,0xb4,0xf5,0x00,0x00,0x00,0x10]
541          vcvtph2udq ymm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
542
543// CHECK: vcvtph2udq ymm30, word ptr [r9]{1to8}
544// CHECK: encoding: [0x62,0x45,0x7c,0x38,0x79,0x31]
545          vcvtph2udq ymm30, word ptr [r9]{1to8}
546
547// CHECK: vcvtph2udq ymm30, xmmword ptr [rcx + 2032]
548// CHECK: encoding: [0x62,0x65,0x7c,0x28,0x79,0x71,0x7f]
549          vcvtph2udq ymm30, xmmword ptr [rcx + 2032]
550
551// CHECK: vcvtph2udq ymm30 {k7} {z}, word ptr [rdx - 256]{1to8}
552// CHECK: encoding: [0x62,0x65,0x7c,0xbf,0x79,0x72,0x80]
553          vcvtph2udq ymm30 {k7} {z}, word ptr [rdx - 256]{1to8}
554
555// CHECK: vcvtph2uqq xmm30, xmm29
556// CHECK: encoding: [0x62,0x05,0x7d,0x08,0x79,0xf5]
557          vcvtph2uqq xmm30, xmm29
558
559// CHECK: vcvtph2uqq ymm30, xmm29
560// CHECK: encoding: [0x62,0x05,0x7d,0x28,0x79,0xf5]
561          vcvtph2uqq ymm30, xmm29
562
563// CHECK: vcvtph2uqq xmm30 {k7}, dword ptr [rbp + 8*r14 + 268435456]
564// CHECK: encoding: [0x62,0x25,0x7d,0x0f,0x79,0xb4,0xf5,0x00,0x00,0x00,0x10]
565          vcvtph2uqq xmm30 {k7}, dword ptr [rbp + 8*r14 + 268435456]
566
567// CHECK: vcvtph2uqq xmm30, word ptr [r9]{1to2}
568// CHECK: encoding: [0x62,0x45,0x7d,0x18,0x79,0x31]
569          vcvtph2uqq xmm30, word ptr [r9]{1to2}
570
571// CHECK: vcvtph2uqq xmm30, dword ptr [rcx + 508]
572// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x79,0x71,0x7f]
573          vcvtph2uqq xmm30, dword ptr [rcx + 508]
574
575// CHECK: vcvtph2uqq xmm30 {k7} {z}, word ptr [rdx - 256]{1to2}
576// CHECK: encoding: [0x62,0x65,0x7d,0x9f,0x79,0x72,0x80]
577          vcvtph2uqq xmm30 {k7} {z}, word ptr [rdx - 256]{1to2}
578
579// CHECK: vcvtph2uqq ymm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
580// CHECK: encoding: [0x62,0x25,0x7d,0x2f,0x79,0xb4,0xf5,0x00,0x00,0x00,0x10]
581          vcvtph2uqq ymm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
582
583// CHECK: vcvtph2uqq ymm30, word ptr [r9]{1to4}
584// CHECK: encoding: [0x62,0x45,0x7d,0x38,0x79,0x31]
585          vcvtph2uqq ymm30, word ptr [r9]{1to4}
586
587// CHECK: vcvtph2uqq ymm30, qword ptr [rcx + 1016]
588// CHECK: encoding: [0x62,0x65,0x7d,0x28,0x79,0x71,0x7f]
589          vcvtph2uqq ymm30, qword ptr [rcx + 1016]
590
591// CHECK: vcvtph2uqq ymm30 {k7} {z}, word ptr [rdx - 256]{1to4}
592// CHECK: encoding: [0x62,0x65,0x7d,0xbf,0x79,0x72,0x80]
593          vcvtph2uqq ymm30 {k7} {z}, word ptr [rdx - 256]{1to4}
594
595// CHECK: vcvtph2uw xmm30, xmm29
596// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x7d,0xf5]
597          vcvtph2uw xmm30, xmm29
598
599// CHECK: vcvtph2uw ymm30, ymm29
600// CHECK: encoding: [0x62,0x05,0x7c,0x28,0x7d,0xf5]
601          vcvtph2uw ymm30, ymm29
602
603// CHECK: vcvtph2uw xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
604// CHECK: encoding: [0x62,0x25,0x7c,0x0f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]
605          vcvtph2uw xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
606
607// CHECK: vcvtph2uw xmm30, word ptr [r9]{1to8}
608// CHECK: encoding: [0x62,0x45,0x7c,0x18,0x7d,0x31]
609          vcvtph2uw xmm30, word ptr [r9]{1to8}
610
611// CHECK: vcvtph2uw xmm30, xmmword ptr [rcx + 2032]
612// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x7d,0x71,0x7f]
613          vcvtph2uw xmm30, xmmword ptr [rcx + 2032]
614
615// CHECK: vcvtph2uw xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
616// CHECK: encoding: [0x62,0x65,0x7c,0x9f,0x7d,0x72,0x80]
617          vcvtph2uw xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
618
619// CHECK: vcvtph2uw ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
620// CHECK: encoding: [0x62,0x25,0x7c,0x2f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]
621          vcvtph2uw ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
622
623// CHECK: vcvtph2uw ymm30, word ptr [r9]{1to16}
624// CHECK: encoding: [0x62,0x45,0x7c,0x38,0x7d,0x31]
625          vcvtph2uw ymm30, word ptr [r9]{1to16}
626
627// CHECK: vcvtph2uw ymm30, ymmword ptr [rcx + 4064]
628// CHECK: encoding: [0x62,0x65,0x7c,0x28,0x7d,0x71,0x7f]
629          vcvtph2uw ymm30, ymmword ptr [rcx + 4064]
630
631// CHECK: vcvtph2uw ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
632// CHECK: encoding: [0x62,0x65,0x7c,0xbf,0x7d,0x72,0x80]
633          vcvtph2uw ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
634
635// CHECK: vcvtph2w xmm30, xmm29
636// CHECK: encoding: [0x62,0x05,0x7d,0x08,0x7d,0xf5]
637          vcvtph2w xmm30, xmm29
638
639// CHECK: vcvtph2w ymm30, ymm29
640// CHECK: encoding: [0x62,0x05,0x7d,0x28,0x7d,0xf5]
641          vcvtph2w ymm30, ymm29
642
643// CHECK: vcvtph2w xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
644// CHECK: encoding: [0x62,0x25,0x7d,0x0f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]
645          vcvtph2w xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
646
647// CHECK: vcvtph2w xmm30, word ptr [r9]{1to8}
648// CHECK: encoding: [0x62,0x45,0x7d,0x18,0x7d,0x31]
649          vcvtph2w xmm30, word ptr [r9]{1to8}
650
651// CHECK: vcvtph2w xmm30, xmmword ptr [rcx + 2032]
652// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x7d,0x71,0x7f]
653          vcvtph2w xmm30, xmmword ptr [rcx + 2032]
654
655// CHECK: vcvtph2w xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
656// CHECK: encoding: [0x62,0x65,0x7d,0x9f,0x7d,0x72,0x80]
657          vcvtph2w xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
658
659// CHECK: vcvtph2w ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
660// CHECK: encoding: [0x62,0x25,0x7d,0x2f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]
661          vcvtph2w ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
662
663// CHECK: vcvtph2w ymm30, word ptr [r9]{1to16}
664// CHECK: encoding: [0x62,0x45,0x7d,0x38,0x7d,0x31]
665          vcvtph2w ymm30, word ptr [r9]{1to16}
666
667// CHECK: vcvtph2w ymm30, ymmword ptr [rcx + 4064]
668// CHECK: encoding: [0x62,0x65,0x7d,0x28,0x7d,0x71,0x7f]
669          vcvtph2w ymm30, ymmword ptr [rcx + 4064]
670
671// CHECK: vcvtph2w ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
672// CHECK: encoding: [0x62,0x65,0x7d,0xbf,0x7d,0x72,0x80]
673          vcvtph2w ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
674
675// CHECK: vcvtps2phx xmm30, xmm29
676// CHECK: encoding: [0x62,0x05,0x7d,0x08,0x1d,0xf5]
677          vcvtps2phx xmm30, xmm29
678
679// CHECK: vcvtps2phx xmm30, ymm29
680// CHECK: encoding: [0x62,0x05,0x7d,0x28,0x1d,0xf5]
681          vcvtps2phx xmm30, ymm29
682
683// CHECK: vcvtps2phx xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
684// CHECK: encoding: [0x62,0x25,0x7d,0x0f,0x1d,0xb4,0xf5,0x00,0x00,0x00,0x10]
685          vcvtps2phx xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
686
687// CHECK: vcvtps2phx xmm30, dword ptr [r9]{1to4}
688// CHECK: encoding: [0x62,0x45,0x7d,0x18,0x1d,0x31]
689          vcvtps2phx xmm30, dword ptr [r9]{1to4}
690
691// CHECK: vcvtps2phx xmm30, xmmword ptr [rcx + 2032]
692// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x1d,0x71,0x7f]
693          vcvtps2phx xmm30, xmmword ptr [rcx + 2032]
694
695// CHECK: vcvtps2phx xmm30 {k7} {z}, dword ptr [rdx - 512]{1to4}
696// CHECK: encoding: [0x62,0x65,0x7d,0x9f,0x1d,0x72,0x80]
697          vcvtps2phx xmm30 {k7} {z}, dword ptr [rdx - 512]{1to4}
698
699// CHECK: vcvtps2phx xmm30, dword ptr [r9]{1to8}
700// CHECK: encoding: [0x62,0x45,0x7d,0x38,0x1d,0x31]
701          vcvtps2phx xmm30, dword ptr [r9]{1to8}
702
703// CHECK: vcvtps2phx xmm30, ymmword ptr [rcx + 4064]
704// CHECK: encoding: [0x62,0x65,0x7d,0x28,0x1d,0x71,0x7f]
705          vcvtps2phx xmm30, ymmword ptr [rcx + 4064]
706
707// CHECK: vcvtps2phx xmm30 {k7} {z}, dword ptr [rdx - 512]{1to8}
708// CHECK: encoding: [0x62,0x65,0x7d,0xbf,0x1d,0x72,0x80]
709          vcvtps2phx xmm30 {k7} {z}, dword ptr [rdx - 512]{1to8}
710
711// CHECK: vcvtqq2ph xmm30, xmm29
712// CHECK: encoding: [0x62,0x05,0xfc,0x08,0x5b,0xf5]
713          vcvtqq2ph xmm30, xmm29
714
715// CHECK: vcvtqq2ph xmm30, ymm29
716// CHECK: encoding: [0x62,0x05,0xfc,0x28,0x5b,0xf5]
717          vcvtqq2ph xmm30, ymm29
718
719// CHECK: vcvtqq2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
720// CHECK: encoding: [0x62,0x25,0xfc,0x0f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]
721          vcvtqq2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
722
723// CHECK: vcvtqq2ph xmm30, qword ptr [r9]{1to2}
724// CHECK: encoding: [0x62,0x45,0xfc,0x18,0x5b,0x31]
725          vcvtqq2ph xmm30, qword ptr [r9]{1to2}
726
727// CHECK: vcvtqq2ph xmm30, xmmword ptr [rcx + 2032]
728// CHECK: encoding: [0x62,0x65,0xfc,0x08,0x5b,0x71,0x7f]
729          vcvtqq2ph xmm30, xmmword ptr [rcx + 2032]
730
731// CHECK: vcvtqq2ph xmm30 {k7} {z}, qword ptr [rdx - 1024]{1to2}
732// CHECK: encoding: [0x62,0x65,0xfc,0x9f,0x5b,0x72,0x80]
733          vcvtqq2ph xmm30 {k7} {z}, qword ptr [rdx - 1024]{1to2}
734
735// CHECK: vcvtqq2ph xmm30, qword ptr [r9]{1to4}
736// CHECK: encoding: [0x62,0x45,0xfc,0x38,0x5b,0x31]
737          vcvtqq2ph xmm30, qword ptr [r9]{1to4}
738
739// CHECK: vcvtqq2ph xmm30, ymmword ptr [rcx + 4064]
740// CHECK: encoding: [0x62,0x65,0xfc,0x28,0x5b,0x71,0x7f]
741          vcvtqq2ph xmm30, ymmword ptr [rcx + 4064]
742
743// CHECK: vcvtqq2ph xmm30 {k7} {z}, qword ptr [rdx - 1024]{1to4}
744// CHECK: encoding: [0x62,0x65,0xfc,0xbf,0x5b,0x72,0x80]
745          vcvtqq2ph xmm30 {k7} {z}, qword ptr [rdx - 1024]{1to4}
746
747// CHECK: vcvttph2dq xmm30, xmm29
748// CHECK: encoding: [0x62,0x05,0x7e,0x08,0x5b,0xf5]
749          vcvttph2dq xmm30, xmm29
750
751// CHECK: vcvttph2dq ymm30, xmm29
752// CHECK: encoding: [0x62,0x05,0x7e,0x28,0x5b,0xf5]
753          vcvttph2dq ymm30, xmm29
754
755// CHECK: vcvttph2dq xmm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
756// CHECK: encoding: [0x62,0x25,0x7e,0x0f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]
757          vcvttph2dq xmm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
758
759// CHECK: vcvttph2dq xmm30, word ptr [r9]{1to4}
760// CHECK: encoding: [0x62,0x45,0x7e,0x18,0x5b,0x31]
761          vcvttph2dq xmm30, word ptr [r9]{1to4}
762
763// CHECK: vcvttph2dq xmm30, qword ptr [rcx + 1016]
764// CHECK: encoding: [0x62,0x65,0x7e,0x08,0x5b,0x71,0x7f]
765          vcvttph2dq xmm30, qword ptr [rcx + 1016]
766
767// CHECK: vcvttph2dq xmm30 {k7} {z}, word ptr [rdx - 256]{1to4}
768// CHECK: encoding: [0x62,0x65,0x7e,0x9f,0x5b,0x72,0x80]
769          vcvttph2dq xmm30 {k7} {z}, word ptr [rdx - 256]{1to4}
770
771// CHECK: vcvttph2dq ymm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
772// CHECK: encoding: [0x62,0x25,0x7e,0x2f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10]
773          vcvttph2dq ymm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
774
775// CHECK: vcvttph2dq ymm30, word ptr [r9]{1to8}
776// CHECK: encoding: [0x62,0x45,0x7e,0x38,0x5b,0x31]
777          vcvttph2dq ymm30, word ptr [r9]{1to8}
778
779// CHECK: vcvttph2dq ymm30, xmmword ptr [rcx + 2032]
780// CHECK: encoding: [0x62,0x65,0x7e,0x28,0x5b,0x71,0x7f]
781          vcvttph2dq ymm30, xmmword ptr [rcx + 2032]
782
783// CHECK: vcvttph2dq ymm30 {k7} {z}, word ptr [rdx - 256]{1to8}
784// CHECK: encoding: [0x62,0x65,0x7e,0xbf,0x5b,0x72,0x80]
785          vcvttph2dq ymm30 {k7} {z}, word ptr [rdx - 256]{1to8}
786
787// CHECK: vcvttph2qq xmm30, xmm29
788// CHECK: encoding: [0x62,0x05,0x7d,0x08,0x7a,0xf5]
789          vcvttph2qq xmm30, xmm29
790
791// CHECK: vcvttph2qq ymm30, xmm29
792// CHECK: encoding: [0x62,0x05,0x7d,0x28,0x7a,0xf5]
793          vcvttph2qq ymm30, xmm29
794
795// CHECK: vcvttph2qq xmm30 {k7}, dword ptr [rbp + 8*r14 + 268435456]
796// CHECK: encoding: [0x62,0x25,0x7d,0x0f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10]
797          vcvttph2qq xmm30 {k7}, dword ptr [rbp + 8*r14 + 268435456]
798
799// CHECK: vcvttph2qq xmm30, word ptr [r9]{1to2}
800// CHECK: encoding: [0x62,0x45,0x7d,0x18,0x7a,0x31]
801          vcvttph2qq xmm30, word ptr [r9]{1to2}
802
803// CHECK: vcvttph2qq xmm30, dword ptr [rcx + 508]
804// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x7a,0x71,0x7f]
805          vcvttph2qq xmm30, dword ptr [rcx + 508]
806
807// CHECK: vcvttph2qq xmm30 {k7} {z}, word ptr [rdx - 256]{1to2}
808// CHECK: encoding: [0x62,0x65,0x7d,0x9f,0x7a,0x72,0x80]
809          vcvttph2qq xmm30 {k7} {z}, word ptr [rdx - 256]{1to2}
810
811// CHECK: vcvttph2qq ymm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
812// CHECK: encoding: [0x62,0x25,0x7d,0x2f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10]
813          vcvttph2qq ymm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
814
815// CHECK: vcvttph2qq ymm30, word ptr [r9]{1to4}
816// CHECK: encoding: [0x62,0x45,0x7d,0x38,0x7a,0x31]
817          vcvttph2qq ymm30, word ptr [r9]{1to4}
818
819// CHECK: vcvttph2qq ymm30, qword ptr [rcx + 1016]
820// CHECK: encoding: [0x62,0x65,0x7d,0x28,0x7a,0x71,0x7f]
821          vcvttph2qq ymm30, qword ptr [rcx + 1016]
822
823// CHECK: vcvttph2qq ymm30 {k7} {z}, word ptr [rdx - 256]{1to4}
824// CHECK: encoding: [0x62,0x65,0x7d,0xbf,0x7a,0x72,0x80]
825          vcvttph2qq ymm30 {k7} {z}, word ptr [rdx - 256]{1to4}
826
827// CHECK: vcvttph2udq xmm30, xmm29
828// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x78,0xf5]
829          vcvttph2udq xmm30, xmm29
830
831// CHECK: vcvttph2udq ymm30, xmm29
832// CHECK: encoding: [0x62,0x05,0x7c,0x28,0x78,0xf5]
833          vcvttph2udq ymm30, xmm29
834
835// CHECK: vcvttph2udq xmm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
836// CHECK: encoding: [0x62,0x25,0x7c,0x0f,0x78,0xb4,0xf5,0x00,0x00,0x00,0x10]
837          vcvttph2udq xmm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
838
839// CHECK: vcvttph2udq xmm30, word ptr [r9]{1to4}
840// CHECK: encoding: [0x62,0x45,0x7c,0x18,0x78,0x31]
841          vcvttph2udq xmm30, word ptr [r9]{1to4}
842
843// CHECK: vcvttph2udq xmm30, qword ptr [rcx + 1016]
844// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x78,0x71,0x7f]
845          vcvttph2udq xmm30, qword ptr [rcx + 1016]
846
847// CHECK: vcvttph2udq xmm30 {k7} {z}, word ptr [rdx - 256]{1to4}
848// CHECK: encoding: [0x62,0x65,0x7c,0x9f,0x78,0x72,0x80]
849          vcvttph2udq xmm30 {k7} {z}, word ptr [rdx - 256]{1to4}
850
851// CHECK: vcvttph2udq ymm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
852// CHECK: encoding: [0x62,0x25,0x7c,0x2f,0x78,0xb4,0xf5,0x00,0x00,0x00,0x10]
853          vcvttph2udq ymm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
854
855// CHECK: vcvttph2udq ymm30, word ptr [r9]{1to8}
856// CHECK: encoding: [0x62,0x45,0x7c,0x38,0x78,0x31]
857          vcvttph2udq ymm30, word ptr [r9]{1to8}
858
859// CHECK: vcvttph2udq ymm30, xmmword ptr [rcx + 2032]
860// CHECK: encoding: [0x62,0x65,0x7c,0x28,0x78,0x71,0x7f]
861          vcvttph2udq ymm30, xmmword ptr [rcx + 2032]
862
863// CHECK: vcvttph2udq ymm30 {k7} {z}, word ptr [rdx - 256]{1to8}
864// CHECK: encoding: [0x62,0x65,0x7c,0xbf,0x78,0x72,0x80]
865          vcvttph2udq ymm30 {k7} {z}, word ptr [rdx - 256]{1to8}
866
867// CHECK: vcvttph2uqq xmm30, xmm29
868// CHECK: encoding: [0x62,0x05,0x7d,0x08,0x78,0xf5]
869          vcvttph2uqq xmm30, xmm29
870
871// CHECK: vcvttph2uqq ymm30, xmm29
872// CHECK: encoding: [0x62,0x05,0x7d,0x28,0x78,0xf5]
873          vcvttph2uqq ymm30, xmm29
874
875// CHECK: vcvttph2uqq xmm30 {k7}, dword ptr [rbp + 8*r14 + 268435456]
876// CHECK: encoding: [0x62,0x25,0x7d,0x0f,0x78,0xb4,0xf5,0x00,0x00,0x00,0x10]
877          vcvttph2uqq xmm30 {k7}, dword ptr [rbp + 8*r14 + 268435456]
878
879// CHECK: vcvttph2uqq xmm30, word ptr [r9]{1to2}
880// CHECK: encoding: [0x62,0x45,0x7d,0x18,0x78,0x31]
881          vcvttph2uqq xmm30, word ptr [r9]{1to2}
882
883// CHECK: vcvttph2uqq xmm30, dword ptr [rcx + 508]
884// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x78,0x71,0x7f]
885          vcvttph2uqq xmm30, dword ptr [rcx + 508]
886
887// CHECK: vcvttph2uqq xmm30 {k7} {z}, word ptr [rdx - 256]{1to2}
888// CHECK: encoding: [0x62,0x65,0x7d,0x9f,0x78,0x72,0x80]
889          vcvttph2uqq xmm30 {k7} {z}, word ptr [rdx - 256]{1to2}
890
891// CHECK: vcvttph2uqq ymm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
892// CHECK: encoding: [0x62,0x25,0x7d,0x2f,0x78,0xb4,0xf5,0x00,0x00,0x00,0x10]
893          vcvttph2uqq ymm30 {k7}, qword ptr [rbp + 8*r14 + 268435456]
894
895// CHECK: vcvttph2uqq ymm30, word ptr [r9]{1to4}
896// CHECK: encoding: [0x62,0x45,0x7d,0x38,0x78,0x31]
897          vcvttph2uqq ymm30, word ptr [r9]{1to4}
898
899// CHECK: vcvttph2uqq ymm30, qword ptr [rcx + 1016]
900// CHECK: encoding: [0x62,0x65,0x7d,0x28,0x78,0x71,0x7f]
901          vcvttph2uqq ymm30, qword ptr [rcx + 1016]
902
903// CHECK: vcvttph2uqq ymm30 {k7} {z}, word ptr [rdx - 256]{1to4}
904// CHECK: encoding: [0x62,0x65,0x7d,0xbf,0x78,0x72,0x80]
905          vcvttph2uqq ymm30 {k7} {z}, word ptr [rdx - 256]{1to4}
906
907// CHECK: vcvttph2uw xmm30, xmm29
908// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x7c,0xf5]
909          vcvttph2uw xmm30, xmm29
910
911// CHECK: vcvttph2uw ymm30, ymm29
912// CHECK: encoding: [0x62,0x05,0x7c,0x28,0x7c,0xf5]
913          vcvttph2uw ymm30, ymm29
914
915// CHECK: vcvttph2uw xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
916// CHECK: encoding: [0x62,0x25,0x7c,0x0f,0x7c,0xb4,0xf5,0x00,0x00,0x00,0x10]
917          vcvttph2uw xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
918
919// CHECK: vcvttph2uw xmm30, word ptr [r9]{1to8}
920// CHECK: encoding: [0x62,0x45,0x7c,0x18,0x7c,0x31]
921          vcvttph2uw xmm30, word ptr [r9]{1to8}
922
923// CHECK: vcvttph2uw xmm30, xmmword ptr [rcx + 2032]
924// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x7c,0x71,0x7f]
925          vcvttph2uw xmm30, xmmword ptr [rcx + 2032]
926
927// CHECK: vcvttph2uw xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
928// CHECK: encoding: [0x62,0x65,0x7c,0x9f,0x7c,0x72,0x80]
929          vcvttph2uw xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
930
931// CHECK: vcvttph2uw ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
932// CHECK: encoding: [0x62,0x25,0x7c,0x2f,0x7c,0xb4,0xf5,0x00,0x00,0x00,0x10]
933          vcvttph2uw ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
934
935// CHECK: vcvttph2uw ymm30, word ptr [r9]{1to16}
936// CHECK: encoding: [0x62,0x45,0x7c,0x38,0x7c,0x31]
937          vcvttph2uw ymm30, word ptr [r9]{1to16}
938
939// CHECK: vcvttph2uw ymm30, ymmword ptr [rcx + 4064]
940// CHECK: encoding: [0x62,0x65,0x7c,0x28,0x7c,0x71,0x7f]
941          vcvttph2uw ymm30, ymmword ptr [rcx + 4064]
942
943// CHECK: vcvttph2uw ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
944// CHECK: encoding: [0x62,0x65,0x7c,0xbf,0x7c,0x72,0x80]
945          vcvttph2uw ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
946
947// CHECK: vcvttph2w xmm30, xmm29
948// CHECK: encoding: [0x62,0x05,0x7d,0x08,0x7c,0xf5]
949          vcvttph2w xmm30, xmm29
950
951// CHECK: vcvttph2w ymm30, ymm29
952// CHECK: encoding: [0x62,0x05,0x7d,0x28,0x7c,0xf5]
953          vcvttph2w ymm30, ymm29
954
955// CHECK: vcvttph2w xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
956// CHECK: encoding: [0x62,0x25,0x7d,0x0f,0x7c,0xb4,0xf5,0x00,0x00,0x00,0x10]
957          vcvttph2w xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
958
959// CHECK: vcvttph2w xmm30, word ptr [r9]{1to8}
960// CHECK: encoding: [0x62,0x45,0x7d,0x18,0x7c,0x31]
961          vcvttph2w xmm30, word ptr [r9]{1to8}
962
963// CHECK: vcvttph2w xmm30, xmmword ptr [rcx + 2032]
964// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x7c,0x71,0x7f]
965          vcvttph2w xmm30, xmmword ptr [rcx + 2032]
966
967// CHECK: vcvttph2w xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
968// CHECK: encoding: [0x62,0x65,0x7d,0x9f,0x7c,0x72,0x80]
969          vcvttph2w xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
970
971// CHECK: vcvttph2w ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
972// CHECK: encoding: [0x62,0x25,0x7d,0x2f,0x7c,0xb4,0xf5,0x00,0x00,0x00,0x10]
973          vcvttph2w ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
974
975// CHECK: vcvttph2w ymm30, word ptr [r9]{1to16}
976// CHECK: encoding: [0x62,0x45,0x7d,0x38,0x7c,0x31]
977          vcvttph2w ymm30, word ptr [r9]{1to16}
978
979// CHECK: vcvttph2w ymm30, ymmword ptr [rcx + 4064]
980// CHECK: encoding: [0x62,0x65,0x7d,0x28,0x7c,0x71,0x7f]
981          vcvttph2w ymm30, ymmword ptr [rcx + 4064]
982
983// CHECK: vcvttph2w ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
984// CHECK: encoding: [0x62,0x65,0x7d,0xbf,0x7c,0x72,0x80]
985          vcvttph2w ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
986
987// CHECK: vcvtudq2ph xmm30, xmm29
988// CHECK: encoding: [0x62,0x05,0x7f,0x08,0x7a,0xf5]
989          vcvtudq2ph xmm30, xmm29
990
991// CHECK: vcvtudq2ph xmm30, ymm29
992// CHECK: encoding: [0x62,0x05,0x7f,0x28,0x7a,0xf5]
993          vcvtudq2ph xmm30, ymm29
994
995// CHECK: vcvtudq2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
996// CHECK: encoding: [0x62,0x25,0x7f,0x0f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10]
997          vcvtudq2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
998
999// CHECK: vcvtudq2ph xmm30, dword ptr [r9]{1to4}
1000// CHECK: encoding: [0x62,0x45,0x7f,0x18,0x7a,0x31]
1001          vcvtudq2ph xmm30, dword ptr [r9]{1to4}
1002
1003// CHECK: vcvtudq2ph xmm30, xmmword ptr [rcx + 2032]
1004// CHECK: encoding: [0x62,0x65,0x7f,0x08,0x7a,0x71,0x7f]
1005          vcvtudq2ph xmm30, xmmword ptr [rcx + 2032]
1006
1007// CHECK: vcvtudq2ph xmm30 {k7} {z}, dword ptr [rdx - 512]{1to4}
1008// CHECK: encoding: [0x62,0x65,0x7f,0x9f,0x7a,0x72,0x80]
1009          vcvtudq2ph xmm30 {k7} {z}, dword ptr [rdx - 512]{1to4}
1010
1011// CHECK: vcvtudq2ph xmm30, dword ptr [r9]{1to8}
1012// CHECK: encoding: [0x62,0x45,0x7f,0x38,0x7a,0x31]
1013          vcvtudq2ph xmm30, dword ptr [r9]{1to8}
1014
1015// CHECK: vcvtudq2ph xmm30, ymmword ptr [rcx + 4064]
1016// CHECK: encoding: [0x62,0x65,0x7f,0x28,0x7a,0x71,0x7f]
1017          vcvtudq2ph xmm30, ymmword ptr [rcx + 4064]
1018
1019// CHECK: vcvtudq2ph xmm30 {k7} {z}, dword ptr [rdx - 512]{1to8}
1020// CHECK: encoding: [0x62,0x65,0x7f,0xbf,0x7a,0x72,0x80]
1021          vcvtudq2ph xmm30 {k7} {z}, dword ptr [rdx - 512]{1to8}
1022
1023// CHECK: vcvtuqq2ph xmm30, xmm29
1024// CHECK: encoding: [0x62,0x05,0xff,0x08,0x7a,0xf5]
1025          vcvtuqq2ph xmm30, xmm29
1026
1027// CHECK: vcvtuqq2ph xmm30, ymm29
1028// CHECK: encoding: [0x62,0x05,0xff,0x28,0x7a,0xf5]
1029          vcvtuqq2ph xmm30, ymm29
1030
1031// CHECK: vcvtuqq2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1032// CHECK: encoding: [0x62,0x25,0xff,0x0f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10]
1033          vcvtuqq2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1034
1035// CHECK: vcvtuqq2ph xmm30, qword ptr [r9]{1to2}
1036// CHECK: encoding: [0x62,0x45,0xff,0x18,0x7a,0x31]
1037          vcvtuqq2ph xmm30, qword ptr [r9]{1to2}
1038
1039// CHECK: vcvtuqq2ph xmm30, xmmword ptr [rcx + 2032]
1040// CHECK: encoding: [0x62,0x65,0xff,0x08,0x7a,0x71,0x7f]
1041          vcvtuqq2ph xmm30, xmmword ptr [rcx + 2032]
1042
1043// CHECK: vcvtuqq2ph xmm30 {k7} {z}, qword ptr [rdx - 1024]{1to2}
1044// CHECK: encoding: [0x62,0x65,0xff,0x9f,0x7a,0x72,0x80]
1045          vcvtuqq2ph xmm30 {k7} {z}, qword ptr [rdx - 1024]{1to2}
1046
1047// CHECK: vcvtuqq2ph xmm30, qword ptr [r9]{1to4}
1048// CHECK: encoding: [0x62,0x45,0xff,0x38,0x7a,0x31]
1049          vcvtuqq2ph xmm30, qword ptr [r9]{1to4}
1050
1051// CHECK: vcvtuqq2ph xmm30, ymmword ptr [rcx + 4064]
1052// CHECK: encoding: [0x62,0x65,0xff,0x28,0x7a,0x71,0x7f]
1053          vcvtuqq2ph xmm30, ymmword ptr [rcx + 4064]
1054
1055// CHECK: vcvtuqq2ph xmm30 {k7} {z}, qword ptr [rdx - 1024]{1to4}
1056// CHECK: encoding: [0x62,0x65,0xff,0xbf,0x7a,0x72,0x80]
1057          vcvtuqq2ph xmm30 {k7} {z}, qword ptr [rdx - 1024]{1to4}
1058
1059// CHECK: vcvtuw2ph xmm30, xmm29
1060// CHECK: encoding: [0x62,0x05,0x7f,0x08,0x7d,0xf5]
1061          vcvtuw2ph xmm30, xmm29
1062
1063// CHECK: vcvtuw2ph ymm30, ymm29
1064// CHECK: encoding: [0x62,0x05,0x7f,0x28,0x7d,0xf5]
1065          vcvtuw2ph ymm30, ymm29
1066
1067// CHECK: vcvtuw2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1068// CHECK: encoding: [0x62,0x25,0x7f,0x0f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]
1069          vcvtuw2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1070
1071// CHECK: vcvtuw2ph xmm30, word ptr [r9]{1to8}
1072// CHECK: encoding: [0x62,0x45,0x7f,0x18,0x7d,0x31]
1073          vcvtuw2ph xmm30, word ptr [r9]{1to8}
1074
1075// CHECK: vcvtuw2ph xmm30, xmmword ptr [rcx + 2032]
1076// CHECK: encoding: [0x62,0x65,0x7f,0x08,0x7d,0x71,0x7f]
1077          vcvtuw2ph xmm30, xmmword ptr [rcx + 2032]
1078
1079// CHECK: vcvtuw2ph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
1080// CHECK: encoding: [0x62,0x65,0x7f,0x9f,0x7d,0x72,0x80]
1081          vcvtuw2ph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
1082
1083// CHECK: vcvtuw2ph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
1084// CHECK: encoding: [0x62,0x25,0x7f,0x2f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]
1085          vcvtuw2ph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
1086
1087// CHECK: vcvtuw2ph ymm30, word ptr [r9]{1to16}
1088// CHECK: encoding: [0x62,0x45,0x7f,0x38,0x7d,0x31]
1089          vcvtuw2ph ymm30, word ptr [r9]{1to16}
1090
1091// CHECK: vcvtuw2ph ymm30, ymmword ptr [rcx + 4064]
1092// CHECK: encoding: [0x62,0x65,0x7f,0x28,0x7d,0x71,0x7f]
1093          vcvtuw2ph ymm30, ymmword ptr [rcx + 4064]
1094
1095// CHECK: vcvtuw2ph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
1096// CHECK: encoding: [0x62,0x65,0x7f,0xbf,0x7d,0x72,0x80]
1097          vcvtuw2ph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
1098
1099// CHECK: vcvtw2ph xmm30, xmm29
1100// CHECK: encoding: [0x62,0x05,0x7e,0x08,0x7d,0xf5]
1101          vcvtw2ph xmm30, xmm29
1102
1103// CHECK: vcvtw2ph ymm30, ymm29
1104// CHECK: encoding: [0x62,0x05,0x7e,0x28,0x7d,0xf5]
1105          vcvtw2ph ymm30, ymm29
1106
1107// CHECK: vcvtw2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1108// CHECK: encoding: [0x62,0x25,0x7e,0x0f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]
1109          vcvtw2ph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1110
1111// CHECK: vcvtw2ph xmm30, word ptr [r9]{1to8}
1112// CHECK: encoding: [0x62,0x45,0x7e,0x18,0x7d,0x31]
1113          vcvtw2ph xmm30, word ptr [r9]{1to8}
1114
1115// CHECK: vcvtw2ph xmm30, xmmword ptr [rcx + 2032]
1116// CHECK: encoding: [0x62,0x65,0x7e,0x08,0x7d,0x71,0x7f]
1117          vcvtw2ph xmm30, xmmword ptr [rcx + 2032]
1118
1119// CHECK: vcvtw2ph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
1120// CHECK: encoding: [0x62,0x65,0x7e,0x9f,0x7d,0x72,0x80]
1121          vcvtw2ph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
1122
1123// CHECK: vcvtw2ph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
1124// CHECK: encoding: [0x62,0x25,0x7e,0x2f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10]
1125          vcvtw2ph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
1126
1127// CHECK: vcvtw2ph ymm30, word ptr [r9]{1to16}
1128// CHECK: encoding: [0x62,0x45,0x7e,0x38,0x7d,0x31]
1129          vcvtw2ph ymm30, word ptr [r9]{1to16}
1130
1131// CHECK: vcvtw2ph ymm30, ymmword ptr [rcx + 4064]
1132// CHECK: encoding: [0x62,0x65,0x7e,0x28,0x7d,0x71,0x7f]
1133          vcvtw2ph ymm30, ymmword ptr [rcx + 4064]
1134
1135// CHECK: vcvtw2ph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
1136// CHECK: encoding: [0x62,0x65,0x7e,0xbf,0x7d,0x72,0x80]
1137          vcvtw2ph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
1138
1139// CHECK: vfpclassph k5, xmm30, 123
1140// CHECK: encoding: [0x62,0x93,0x7c,0x08,0x66,0xee,0x7b]
1141          vfpclassph k5, xmm30, 123
1142
1143// CHECK: vfpclassph k5, ymm30, 123
1144// CHECK: encoding: [0x62,0x93,0x7c,0x28,0x66,0xee,0x7b]
1145          vfpclassph k5, ymm30, 123
1146
1147// CHECK: vfpclassph k5 {k7}, xmmword ptr [rbp + 8*r14 + 268435456], 123
1148// CHECK: encoding: [0x62,0xb3,0x7c,0x0f,0x66,0xac,0xf5,0x00,0x00,0x00,0x10,0x7b]
1149          vfpclassph k5 {k7}, xmmword ptr [rbp + 8*r14 + 268435456], 123
1150
1151// CHECK: vfpclassph k5, word ptr [r9]{1to8}, 123
1152// CHECK: encoding: [0x62,0xd3,0x7c,0x18,0x66,0x29,0x7b]
1153          vfpclassph k5, word ptr [r9]{1to8}, 123
1154
1155// CHECK: vfpclassph k5, xmmword ptr [rcx + 2032], 123
1156// CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x66,0x69,0x7f,0x7b]
1157          vfpclassph k5, xmmword ptr [rcx + 2032], 123
1158
1159// CHECK: vfpclassph k5 {k7}, word ptr [rdx - 256]{1to8}, 123
1160// CHECK: encoding: [0x62,0xf3,0x7c,0x1f,0x66,0x6a,0x80,0x7b]
1161          vfpclassph k5 {k7}, word ptr [rdx - 256]{1to8}, 123
1162
1163// CHECK: vfpclassph k5, word ptr [r9]{1to16}, 123
1164// CHECK: encoding: [0x62,0xd3,0x7c,0x38,0x66,0x29,0x7b]
1165          vfpclassph k5, word ptr [r9]{1to16}, 123
1166
1167// CHECK: vfpclassph k5, ymmword ptr [rcx + 4064], 123
1168// CHECK: encoding: [0x62,0xf3,0x7c,0x28,0x66,0x69,0x7f,0x7b]
1169          vfpclassph k5, ymmword ptr [rcx + 4064], 123
1170
1171// CHECK: vfpclassph k5 {k7}, word ptr [rdx - 256]{1to16}, 123
1172// CHECK: encoding: [0x62,0xf3,0x7c,0x3f,0x66,0x6a,0x80,0x7b]
1173          vfpclassph k5 {k7}, word ptr [rdx - 256]{1to16}, 123
1174
1175// CHECK: vgetexpph xmm30, xmm29
1176// CHECK: encoding: [0x62,0x06,0x7d,0x08,0x42,0xf5]
1177          vgetexpph xmm30, xmm29
1178
1179// CHECK: vgetexpph ymm30, ymm29
1180// CHECK: encoding: [0x62,0x06,0x7d,0x28,0x42,0xf5]
1181          vgetexpph ymm30, ymm29
1182
1183// CHECK: vgetexpph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1184// CHECK: encoding: [0x62,0x26,0x7d,0x0f,0x42,0xb4,0xf5,0x00,0x00,0x00,0x10]
1185          vgetexpph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1186
1187// CHECK: vgetexpph xmm30, word ptr [r9]{1to8}
1188// CHECK: encoding: [0x62,0x46,0x7d,0x18,0x42,0x31]
1189          vgetexpph xmm30, word ptr [r9]{1to8}
1190
1191// CHECK: vgetexpph xmm30, xmmword ptr [rcx + 2032]
1192// CHECK: encoding: [0x62,0x66,0x7d,0x08,0x42,0x71,0x7f]
1193          vgetexpph xmm30, xmmword ptr [rcx + 2032]
1194
1195// CHECK: vgetexpph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
1196// CHECK: encoding: [0x62,0x66,0x7d,0x9f,0x42,0x72,0x80]
1197          vgetexpph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
1198
1199// CHECK: vgetexpph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
1200// CHECK: encoding: [0x62,0x26,0x7d,0x2f,0x42,0xb4,0xf5,0x00,0x00,0x00,0x10]
1201          vgetexpph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
1202
1203// CHECK: vgetexpph ymm30, word ptr [r9]{1to16}
1204// CHECK: encoding: [0x62,0x46,0x7d,0x38,0x42,0x31]
1205          vgetexpph ymm30, word ptr [r9]{1to16}
1206
1207// CHECK: vgetexpph ymm30, ymmword ptr [rcx + 4064]
1208// CHECK: encoding: [0x62,0x66,0x7d,0x28,0x42,0x71,0x7f]
1209          vgetexpph ymm30, ymmword ptr [rcx + 4064]
1210
1211// CHECK: vgetexpph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
1212// CHECK: encoding: [0x62,0x66,0x7d,0xbf,0x42,0x72,0x80]
1213          vgetexpph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
1214
1215// CHECK: vgetmantph ymm30, ymm29, 123
1216// CHECK: encoding: [0x62,0x03,0x7c,0x28,0x26,0xf5,0x7b]
1217          vgetmantph ymm30, ymm29, 123
1218
1219// CHECK: vgetmantph xmm30, xmm29, 123
1220// CHECK: encoding: [0x62,0x03,0x7c,0x08,0x26,0xf5,0x7b]
1221          vgetmantph xmm30, xmm29, 123
1222
1223// CHECK: vgetmantph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456], 123
1224// CHECK: encoding: [0x62,0x23,0x7c,0x0f,0x26,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]
1225          vgetmantph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456], 123
1226
1227// CHECK: vgetmantph xmm30, word ptr [r9]{1to8}, 123
1228// CHECK: encoding: [0x62,0x43,0x7c,0x18,0x26,0x31,0x7b]
1229          vgetmantph xmm30, word ptr [r9]{1to8}, 123
1230
1231// CHECK: vgetmantph xmm30, xmmword ptr [rcx + 2032], 123
1232// CHECK: encoding: [0x62,0x63,0x7c,0x08,0x26,0x71,0x7f,0x7b]
1233          vgetmantph xmm30, xmmword ptr [rcx + 2032], 123
1234
1235// CHECK: vgetmantph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}, 123
1236// CHECK: encoding: [0x62,0x63,0x7c,0x9f,0x26,0x72,0x80,0x7b]
1237          vgetmantph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}, 123
1238
1239// CHECK: vgetmantph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456], 123
1240// CHECK: encoding: [0x62,0x23,0x7c,0x2f,0x26,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]
1241          vgetmantph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456], 123
1242
1243// CHECK: vgetmantph ymm30, word ptr [r9]{1to16}, 123
1244// CHECK: encoding: [0x62,0x43,0x7c,0x38,0x26,0x31,0x7b]
1245          vgetmantph ymm30, word ptr [r9]{1to16}, 123
1246
1247// CHECK: vgetmantph ymm30, ymmword ptr [rcx + 4064], 123
1248// CHECK: encoding: [0x62,0x63,0x7c,0x28,0x26,0x71,0x7f,0x7b]
1249          vgetmantph ymm30, ymmword ptr [rcx + 4064], 123
1250
1251// CHECK: vgetmantph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}, 123
1252// CHECK: encoding: [0x62,0x63,0x7c,0xbf,0x26,0x72,0x80,0x7b]
1253          vgetmantph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}, 123
1254
1255// CHECK: vrcpph xmm30, xmm29
1256// CHECK: encoding: [0x62,0x06,0x7d,0x08,0x4c,0xf5]
1257          vrcpph xmm30, xmm29
1258
1259// CHECK: vrcpph ymm30, ymm29
1260// CHECK: encoding: [0x62,0x06,0x7d,0x28,0x4c,0xf5]
1261          vrcpph ymm30, ymm29
1262
1263// CHECK: vrcpph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1264// CHECK: encoding: [0x62,0x26,0x7d,0x0f,0x4c,0xb4,0xf5,0x00,0x00,0x00,0x10]
1265          vrcpph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1266
1267// CHECK: vrcpph xmm30, word ptr [r9]{1to8}
1268// CHECK: encoding: [0x62,0x46,0x7d,0x18,0x4c,0x31]
1269          vrcpph xmm30, word ptr [r9]{1to8}
1270
1271// CHECK: vrcpph xmm30, xmmword ptr [rcx + 2032]
1272// CHECK: encoding: [0x62,0x66,0x7d,0x08,0x4c,0x71,0x7f]
1273          vrcpph xmm30, xmmword ptr [rcx + 2032]
1274
1275// CHECK: vrcpph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
1276// CHECK: encoding: [0x62,0x66,0x7d,0x9f,0x4c,0x72,0x80]
1277          vrcpph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
1278
1279// CHECK: vrcpph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
1280// CHECK: encoding: [0x62,0x26,0x7d,0x2f,0x4c,0xb4,0xf5,0x00,0x00,0x00,0x10]
1281          vrcpph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
1282
1283// CHECK: vrcpph ymm30, word ptr [r9]{1to16}
1284// CHECK: encoding: [0x62,0x46,0x7d,0x38,0x4c,0x31]
1285          vrcpph ymm30, word ptr [r9]{1to16}
1286
1287// CHECK: vrcpph ymm30, ymmword ptr [rcx + 4064]
1288// CHECK: encoding: [0x62,0x66,0x7d,0x28,0x4c,0x71,0x7f]
1289          vrcpph ymm30, ymmword ptr [rcx + 4064]
1290
1291// CHECK: vrcpph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
1292// CHECK: encoding: [0x62,0x66,0x7d,0xbf,0x4c,0x72,0x80]
1293          vrcpph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
1294
1295// CHECK: vreduceph ymm30, ymm29, 123
1296// CHECK: encoding: [0x62,0x03,0x7c,0x28,0x56,0xf5,0x7b]
1297          vreduceph ymm30, ymm29, 123
1298
1299// CHECK: vreduceph xmm30, xmm29, 123
1300// CHECK: encoding: [0x62,0x03,0x7c,0x08,0x56,0xf5,0x7b]
1301          vreduceph xmm30, xmm29, 123
1302
1303// CHECK: vreduceph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456], 123
1304// CHECK: encoding: [0x62,0x23,0x7c,0x0f,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]
1305          vreduceph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456], 123
1306
1307// CHECK: vreduceph xmm30, word ptr [r9]{1to8}, 123
1308// CHECK: encoding: [0x62,0x43,0x7c,0x18,0x56,0x31,0x7b]
1309          vreduceph xmm30, word ptr [r9]{1to8}, 123
1310
1311// CHECK: vreduceph xmm30, xmmword ptr [rcx + 2032], 123
1312// CHECK: encoding: [0x62,0x63,0x7c,0x08,0x56,0x71,0x7f,0x7b]
1313          vreduceph xmm30, xmmword ptr [rcx + 2032], 123
1314
1315// CHECK: vreduceph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}, 123
1316// CHECK: encoding: [0x62,0x63,0x7c,0x9f,0x56,0x72,0x80,0x7b]
1317          vreduceph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}, 123
1318
1319// CHECK: vreduceph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456], 123
1320// CHECK: encoding: [0x62,0x23,0x7c,0x2f,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]
1321          vreduceph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456], 123
1322
1323// CHECK: vreduceph ymm30, word ptr [r9]{1to16}, 123
1324// CHECK: encoding: [0x62,0x43,0x7c,0x38,0x56,0x31,0x7b]
1325          vreduceph ymm30, word ptr [r9]{1to16}, 123
1326
1327// CHECK: vreduceph ymm30, ymmword ptr [rcx + 4064], 123
1328// CHECK: encoding: [0x62,0x63,0x7c,0x28,0x56,0x71,0x7f,0x7b]
1329          vreduceph ymm30, ymmword ptr [rcx + 4064], 123
1330
1331// CHECK: vreduceph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}, 123
1332// CHECK: encoding: [0x62,0x63,0x7c,0xbf,0x56,0x72,0x80,0x7b]
1333          vreduceph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}, 123
1334
1335// CHECK: vrndscaleph ymm30, ymm29, 123
1336// CHECK: encoding: [0x62,0x03,0x7c,0x28,0x08,0xf5,0x7b]
1337          vrndscaleph ymm30, ymm29, 123
1338
1339// CHECK: vrndscaleph xmm30, xmm29, 123
1340// CHECK: encoding: [0x62,0x03,0x7c,0x08,0x08,0xf5,0x7b]
1341          vrndscaleph xmm30, xmm29, 123
1342
1343// CHECK: vrndscaleph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456], 123
1344// CHECK: encoding: [0x62,0x23,0x7c,0x0f,0x08,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]
1345          vrndscaleph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456], 123
1346
1347// CHECK: vrndscaleph xmm30, word ptr [r9]{1to8}, 123
1348// CHECK: encoding: [0x62,0x43,0x7c,0x18,0x08,0x31,0x7b]
1349          vrndscaleph xmm30, word ptr [r9]{1to8}, 123
1350
1351// CHECK: vrndscaleph xmm30, xmmword ptr [rcx + 2032], 123
1352// CHECK: encoding: [0x62,0x63,0x7c,0x08,0x08,0x71,0x7f,0x7b]
1353          vrndscaleph xmm30, xmmword ptr [rcx + 2032], 123
1354
1355// CHECK: vrndscaleph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}, 123
1356// CHECK: encoding: [0x62,0x63,0x7c,0x9f,0x08,0x72,0x80,0x7b]
1357          vrndscaleph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}, 123
1358
1359// CHECK: vrndscaleph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456], 123
1360// CHECK: encoding: [0x62,0x23,0x7c,0x2f,0x08,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b]
1361          vrndscaleph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456], 123
1362
1363// CHECK: vrndscaleph ymm30, word ptr [r9]{1to16}, 123
1364// CHECK: encoding: [0x62,0x43,0x7c,0x38,0x08,0x31,0x7b]
1365          vrndscaleph ymm30, word ptr [r9]{1to16}, 123
1366
1367// CHECK: vrndscaleph ymm30, ymmword ptr [rcx + 4064], 123
1368// CHECK: encoding: [0x62,0x63,0x7c,0x28,0x08,0x71,0x7f,0x7b]
1369          vrndscaleph ymm30, ymmword ptr [rcx + 4064], 123
1370
1371// CHECK: vrndscaleph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}, 123
1372// CHECK: encoding: [0x62,0x63,0x7c,0xbf,0x08,0x72,0x80,0x7b]
1373          vrndscaleph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}, 123
1374
1375// CHECK: vrsqrtph xmm30, xmm29
1376// CHECK: encoding: [0x62,0x06,0x7d,0x08,0x4e,0xf5]
1377          vrsqrtph xmm30, xmm29
1378
1379// CHECK: vrsqrtph ymm30, ymm29
1380// CHECK: encoding: [0x62,0x06,0x7d,0x28,0x4e,0xf5]
1381          vrsqrtph ymm30, ymm29
1382
1383// CHECK: vrsqrtph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1384// CHECK: encoding: [0x62,0x26,0x7d,0x0f,0x4e,0xb4,0xf5,0x00,0x00,0x00,0x10]
1385          vrsqrtph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1386
1387// CHECK: vrsqrtph xmm30, word ptr [r9]{1to8}
1388// CHECK: encoding: [0x62,0x46,0x7d,0x18,0x4e,0x31]
1389          vrsqrtph xmm30, word ptr [r9]{1to8}
1390
1391// CHECK: vrsqrtph xmm30, xmmword ptr [rcx + 2032]
1392// CHECK: encoding: [0x62,0x66,0x7d,0x08,0x4e,0x71,0x7f]
1393          vrsqrtph xmm30, xmmword ptr [rcx + 2032]
1394
1395// CHECK: vrsqrtph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
1396// CHECK: encoding: [0x62,0x66,0x7d,0x9f,0x4e,0x72,0x80]
1397          vrsqrtph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
1398
1399// CHECK: vrsqrtph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
1400// CHECK: encoding: [0x62,0x26,0x7d,0x2f,0x4e,0xb4,0xf5,0x00,0x00,0x00,0x10]
1401          vrsqrtph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
1402
1403// CHECK: vrsqrtph ymm30, word ptr [r9]{1to16}
1404// CHECK: encoding: [0x62,0x46,0x7d,0x38,0x4e,0x31]
1405          vrsqrtph ymm30, word ptr [r9]{1to16}
1406
1407// CHECK: vrsqrtph ymm30, ymmword ptr [rcx + 4064]
1408// CHECK: encoding: [0x62,0x66,0x7d,0x28,0x4e,0x71,0x7f]
1409          vrsqrtph ymm30, ymmword ptr [rcx + 4064]
1410
1411// CHECK: vrsqrtph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
1412// CHECK: encoding: [0x62,0x66,0x7d,0xbf,0x4e,0x72,0x80]
1413          vrsqrtph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
1414
1415// CHECK: vscalefph ymm30, ymm29, ymm28
1416// CHECK: encoding: [0x62,0x06,0x15,0x20,0x2c,0xf4]
1417          vscalefph ymm30, ymm29, ymm28
1418
1419// CHECK: vscalefph xmm30, xmm29, xmm28
1420// CHECK: encoding: [0x62,0x06,0x15,0x00,0x2c,0xf4]
1421          vscalefph xmm30, xmm29, xmm28
1422
1423// CHECK: vscalefph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1424// CHECK: encoding: [0x62,0x26,0x15,0x27,0x2c,0xb4,0xf5,0x00,0x00,0x00,0x10]
1425          vscalefph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1426
1427// CHECK: vscalefph ymm30, ymm29, word ptr [r9]{1to16}
1428// CHECK: encoding: [0x62,0x46,0x15,0x30,0x2c,0x31]
1429          vscalefph ymm30, ymm29, word ptr [r9]{1to16}
1430
1431// CHECK: vscalefph ymm30, ymm29, ymmword ptr [rcx + 4064]
1432// CHECK: encoding: [0x62,0x66,0x15,0x20,0x2c,0x71,0x7f]
1433          vscalefph ymm30, ymm29, ymmword ptr [rcx + 4064]
1434
1435// CHECK: vscalefph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1436// CHECK: encoding: [0x62,0x66,0x15,0xb7,0x2c,0x72,0x80]
1437          vscalefph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1438
1439// CHECK: vscalefph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1440// CHECK: encoding: [0x62,0x26,0x15,0x07,0x2c,0xb4,0xf5,0x00,0x00,0x00,0x10]
1441          vscalefph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1442
1443// CHECK: vscalefph xmm30, xmm29, word ptr [r9]{1to8}
1444// CHECK: encoding: [0x62,0x46,0x15,0x10,0x2c,0x31]
1445          vscalefph xmm30, xmm29, word ptr [r9]{1to8}
1446
1447// CHECK: vscalefph xmm30, xmm29, xmmword ptr [rcx + 2032]
1448// CHECK: encoding: [0x62,0x66,0x15,0x00,0x2c,0x71,0x7f]
1449          vscalefph xmm30, xmm29, xmmword ptr [rcx + 2032]
1450
1451// CHECK: vscalefph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1452// CHECK: encoding: [0x62,0x66,0x15,0x97,0x2c,0x72,0x80]
1453          vscalefph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1454
1455// CHECK: vsqrtph xmm30, xmm29
1456// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x51,0xf5]
1457          vsqrtph xmm30, xmm29
1458
1459// CHECK: vsqrtph ymm30, ymm29
1460// CHECK: encoding: [0x62,0x05,0x7c,0x28,0x51,0xf5]
1461          vsqrtph ymm30, ymm29
1462
1463// CHECK: vsqrtph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1464// CHECK: encoding: [0x62,0x25,0x7c,0x0f,0x51,0xb4,0xf5,0x00,0x00,0x00,0x10]
1465          vsqrtph xmm30 {k7}, xmmword ptr [rbp + 8*r14 + 268435456]
1466
1467// CHECK: vsqrtph xmm30, word ptr [r9]{1to8}
1468// CHECK: encoding: [0x62,0x45,0x7c,0x18,0x51,0x31]
1469          vsqrtph xmm30, word ptr [r9]{1to8}
1470
1471// CHECK: vsqrtph xmm30, xmmword ptr [rcx + 2032]
1472// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x51,0x71,0x7f]
1473          vsqrtph xmm30, xmmword ptr [rcx + 2032]
1474
1475// CHECK: vsqrtph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
1476// CHECK: encoding: [0x62,0x65,0x7c,0x9f,0x51,0x72,0x80]
1477          vsqrtph xmm30 {k7} {z}, word ptr [rdx - 256]{1to8}
1478
1479// CHECK: vsqrtph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
1480// CHECK: encoding: [0x62,0x25,0x7c,0x2f,0x51,0xb4,0xf5,0x00,0x00,0x00,0x10]
1481          vsqrtph ymm30 {k7}, ymmword ptr [rbp + 8*r14 + 268435456]
1482
1483// CHECK: vsqrtph ymm30, word ptr [r9]{1to16}
1484// CHECK: encoding: [0x62,0x45,0x7c,0x38,0x51,0x31]
1485          vsqrtph ymm30, word ptr [r9]{1to16}
1486
1487// CHECK: vsqrtph ymm30, ymmword ptr [rcx + 4064]
1488// CHECK: encoding: [0x62,0x65,0x7c,0x28,0x51,0x71,0x7f]
1489          vsqrtph ymm30, ymmword ptr [rcx + 4064]
1490
1491// CHECK: vsqrtph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
1492// CHECK: encoding: [0x62,0x65,0x7c,0xbf,0x51,0x72,0x80]
1493          vsqrtph ymm30 {k7} {z}, word ptr [rdx - 256]{1to16}
1494
1495// CHECK: vfmadd132ph ymm30, ymm29, ymm28
1496// CHECK: encoding: [0x62,0x06,0x15,0x20,0x98,0xf4]
1497          vfmadd132ph ymm30, ymm29, ymm28
1498
1499// CHECK: vfmadd132ph xmm30, xmm29, xmm28
1500// CHECK: encoding: [0x62,0x06,0x15,0x00,0x98,0xf4]
1501          vfmadd132ph xmm30, xmm29, xmm28
1502
1503// CHECK: vfmadd132ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1504// CHECK: encoding: [0x62,0x26,0x15,0x27,0x98,0xb4,0xf5,0x00,0x00,0x00,0x10]
1505          vfmadd132ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1506
1507// CHECK: vfmadd132ph ymm30, ymm29, word ptr [r9]{1to16}
1508// CHECK: encoding: [0x62,0x46,0x15,0x30,0x98,0x31]
1509          vfmadd132ph ymm30, ymm29, word ptr [r9]{1to16}
1510
1511// CHECK: vfmadd132ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1512// CHECK: encoding: [0x62,0x66,0x15,0x20,0x98,0x71,0x7f]
1513          vfmadd132ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1514
1515// CHECK: vfmadd132ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1516// CHECK: encoding: [0x62,0x66,0x15,0xb7,0x98,0x72,0x80]
1517          vfmadd132ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1518
1519// CHECK: vfmadd132ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1520// CHECK: encoding: [0x62,0x26,0x15,0x07,0x98,0xb4,0xf5,0x00,0x00,0x00,0x10]
1521          vfmadd132ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1522
1523// CHECK: vfmadd132ph xmm30, xmm29, word ptr [r9]{1to8}
1524// CHECK: encoding: [0x62,0x46,0x15,0x10,0x98,0x31]
1525          vfmadd132ph xmm30, xmm29, word ptr [r9]{1to8}
1526
1527// CHECK: vfmadd132ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1528// CHECK: encoding: [0x62,0x66,0x15,0x00,0x98,0x71,0x7f]
1529          vfmadd132ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1530
1531// CHECK: vfmadd132ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1532// CHECK: encoding: [0x62,0x66,0x15,0x97,0x98,0x72,0x80]
1533          vfmadd132ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1534
1535// CHECK: vfmadd213ph ymm30, ymm29, ymm28
1536// CHECK: encoding: [0x62,0x06,0x15,0x20,0xa8,0xf4]
1537          vfmadd213ph ymm30, ymm29, ymm28
1538
1539// CHECK: vfmadd213ph xmm30, xmm29, xmm28
1540// CHECK: encoding: [0x62,0x06,0x15,0x00,0xa8,0xf4]
1541          vfmadd213ph xmm30, xmm29, xmm28
1542
1543// CHECK: vfmadd213ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1544// CHECK: encoding: [0x62,0x26,0x15,0x27,0xa8,0xb4,0xf5,0x00,0x00,0x00,0x10]
1545          vfmadd213ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1546
1547// CHECK: vfmadd213ph ymm30, ymm29, word ptr [r9]{1to16}
1548// CHECK: encoding: [0x62,0x46,0x15,0x30,0xa8,0x31]
1549          vfmadd213ph ymm30, ymm29, word ptr [r9]{1to16}
1550
1551// CHECK: vfmadd213ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1552// CHECK: encoding: [0x62,0x66,0x15,0x20,0xa8,0x71,0x7f]
1553          vfmadd213ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1554
1555// CHECK: vfmadd213ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1556// CHECK: encoding: [0x62,0x66,0x15,0xb7,0xa8,0x72,0x80]
1557          vfmadd213ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1558
1559// CHECK: vfmadd213ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1560// CHECK: encoding: [0x62,0x26,0x15,0x07,0xa8,0xb4,0xf5,0x00,0x00,0x00,0x10]
1561          vfmadd213ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1562
1563// CHECK: vfmadd213ph xmm30, xmm29, word ptr [r9]{1to8}
1564// CHECK: encoding: [0x62,0x46,0x15,0x10,0xa8,0x31]
1565          vfmadd213ph xmm30, xmm29, word ptr [r9]{1to8}
1566
1567// CHECK: vfmadd213ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1568// CHECK: encoding: [0x62,0x66,0x15,0x00,0xa8,0x71,0x7f]
1569          vfmadd213ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1570
1571// CHECK: vfmadd213ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1572// CHECK: encoding: [0x62,0x66,0x15,0x97,0xa8,0x72,0x80]
1573          vfmadd213ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1574
1575// CHECK: vfmadd231ph ymm30, ymm29, ymm28
1576// CHECK: encoding: [0x62,0x06,0x15,0x20,0xb8,0xf4]
1577          vfmadd231ph ymm30, ymm29, ymm28
1578
1579// CHECK: vfmadd231ph xmm30, xmm29, xmm28
1580// CHECK: encoding: [0x62,0x06,0x15,0x00,0xb8,0xf4]
1581          vfmadd231ph xmm30, xmm29, xmm28
1582
1583// CHECK: vfmadd231ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1584// CHECK: encoding: [0x62,0x26,0x15,0x27,0xb8,0xb4,0xf5,0x00,0x00,0x00,0x10]
1585          vfmadd231ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1586
1587// CHECK: vfmadd231ph ymm30, ymm29, word ptr [r9]{1to16}
1588// CHECK: encoding: [0x62,0x46,0x15,0x30,0xb8,0x31]
1589          vfmadd231ph ymm30, ymm29, word ptr [r9]{1to16}
1590
1591// CHECK: vfmadd231ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1592// CHECK: encoding: [0x62,0x66,0x15,0x20,0xb8,0x71,0x7f]
1593          vfmadd231ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1594
1595// CHECK: vfmadd231ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1596// CHECK: encoding: [0x62,0x66,0x15,0xb7,0xb8,0x72,0x80]
1597          vfmadd231ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1598
1599// CHECK: vfmadd231ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1600// CHECK: encoding: [0x62,0x26,0x15,0x07,0xb8,0xb4,0xf5,0x00,0x00,0x00,0x10]
1601          vfmadd231ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1602
1603// CHECK: vfmadd231ph xmm30, xmm29, word ptr [r9]{1to8}
1604// CHECK: encoding: [0x62,0x46,0x15,0x10,0xb8,0x31]
1605          vfmadd231ph xmm30, xmm29, word ptr [r9]{1to8}
1606
1607// CHECK: vfmadd231ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1608// CHECK: encoding: [0x62,0x66,0x15,0x00,0xb8,0x71,0x7f]
1609          vfmadd231ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1610
1611// CHECK: vfmadd231ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1612// CHECK: encoding: [0x62,0x66,0x15,0x97,0xb8,0x72,0x80]
1613          vfmadd231ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1614
1615// CHECK: vfmaddsub132ph ymm30, ymm29, ymm28
1616// CHECK: encoding: [0x62,0x06,0x15,0x20,0x96,0xf4]
1617          vfmaddsub132ph ymm30, ymm29, ymm28
1618
1619// CHECK: vfmaddsub132ph xmm30, xmm29, xmm28
1620// CHECK: encoding: [0x62,0x06,0x15,0x00,0x96,0xf4]
1621          vfmaddsub132ph xmm30, xmm29, xmm28
1622
1623// CHECK: vfmaddsub132ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1624// CHECK: encoding: [0x62,0x26,0x15,0x27,0x96,0xb4,0xf5,0x00,0x00,0x00,0x10]
1625          vfmaddsub132ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1626
1627// CHECK: vfmaddsub132ph ymm30, ymm29, word ptr [r9]{1to16}
1628// CHECK: encoding: [0x62,0x46,0x15,0x30,0x96,0x31]
1629          vfmaddsub132ph ymm30, ymm29, word ptr [r9]{1to16}
1630
1631// CHECK: vfmaddsub132ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1632// CHECK: encoding: [0x62,0x66,0x15,0x20,0x96,0x71,0x7f]
1633          vfmaddsub132ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1634
1635// CHECK: vfmaddsub132ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1636// CHECK: encoding: [0x62,0x66,0x15,0xb7,0x96,0x72,0x80]
1637          vfmaddsub132ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1638
1639// CHECK: vfmaddsub132ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1640// CHECK: encoding: [0x62,0x26,0x15,0x07,0x96,0xb4,0xf5,0x00,0x00,0x00,0x10]
1641          vfmaddsub132ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1642
1643// CHECK: vfmaddsub132ph xmm30, xmm29, word ptr [r9]{1to8}
1644// CHECK: encoding: [0x62,0x46,0x15,0x10,0x96,0x31]
1645          vfmaddsub132ph xmm30, xmm29, word ptr [r9]{1to8}
1646
1647// CHECK: vfmaddsub132ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1648// CHECK: encoding: [0x62,0x66,0x15,0x00,0x96,0x71,0x7f]
1649          vfmaddsub132ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1650
1651// CHECK: vfmaddsub132ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1652// CHECK: encoding: [0x62,0x66,0x15,0x97,0x96,0x72,0x80]
1653          vfmaddsub132ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1654
1655// CHECK: vfmaddsub213ph ymm30, ymm29, ymm28
1656// CHECK: encoding: [0x62,0x06,0x15,0x20,0xa6,0xf4]
1657          vfmaddsub213ph ymm30, ymm29, ymm28
1658
1659// CHECK: vfmaddsub213ph xmm30, xmm29, xmm28
1660// CHECK: encoding: [0x62,0x06,0x15,0x00,0xa6,0xf4]
1661          vfmaddsub213ph xmm30, xmm29, xmm28
1662
1663// CHECK: vfmaddsub213ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1664// CHECK: encoding: [0x62,0x26,0x15,0x27,0xa6,0xb4,0xf5,0x00,0x00,0x00,0x10]
1665          vfmaddsub213ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1666
1667// CHECK: vfmaddsub213ph ymm30, ymm29, word ptr [r9]{1to16}
1668// CHECK: encoding: [0x62,0x46,0x15,0x30,0xa6,0x31]
1669          vfmaddsub213ph ymm30, ymm29, word ptr [r9]{1to16}
1670
1671// CHECK: vfmaddsub213ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1672// CHECK: encoding: [0x62,0x66,0x15,0x20,0xa6,0x71,0x7f]
1673          vfmaddsub213ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1674
1675// CHECK: vfmaddsub213ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1676// CHECK: encoding: [0x62,0x66,0x15,0xb7,0xa6,0x72,0x80]
1677          vfmaddsub213ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1678
1679// CHECK: vfmaddsub213ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1680// CHECK: encoding: [0x62,0x26,0x15,0x07,0xa6,0xb4,0xf5,0x00,0x00,0x00,0x10]
1681          vfmaddsub213ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1682
1683// CHECK: vfmaddsub213ph xmm30, xmm29, word ptr [r9]{1to8}
1684// CHECK: encoding: [0x62,0x46,0x15,0x10,0xa6,0x31]
1685          vfmaddsub213ph xmm30, xmm29, word ptr [r9]{1to8}
1686
1687// CHECK: vfmaddsub213ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1688// CHECK: encoding: [0x62,0x66,0x15,0x00,0xa6,0x71,0x7f]
1689          vfmaddsub213ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1690
1691// CHECK: vfmaddsub213ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1692// CHECK: encoding: [0x62,0x66,0x15,0x97,0xa6,0x72,0x80]
1693          vfmaddsub213ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1694
1695// CHECK: vfmaddsub231ph ymm30, ymm29, ymm28
1696// CHECK: encoding: [0x62,0x06,0x15,0x20,0xb6,0xf4]
1697          vfmaddsub231ph ymm30, ymm29, ymm28
1698
1699// CHECK: vfmaddsub231ph xmm30, xmm29, xmm28
1700// CHECK: encoding: [0x62,0x06,0x15,0x00,0xb6,0xf4]
1701          vfmaddsub231ph xmm30, xmm29, xmm28
1702
1703// CHECK: vfmaddsub231ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1704// CHECK: encoding: [0x62,0x26,0x15,0x27,0xb6,0xb4,0xf5,0x00,0x00,0x00,0x10]
1705          vfmaddsub231ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1706
1707// CHECK: vfmaddsub231ph ymm30, ymm29, word ptr [r9]{1to16}
1708// CHECK: encoding: [0x62,0x46,0x15,0x30,0xb6,0x31]
1709          vfmaddsub231ph ymm30, ymm29, word ptr [r9]{1to16}
1710
1711// CHECK: vfmaddsub231ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1712// CHECK: encoding: [0x62,0x66,0x15,0x20,0xb6,0x71,0x7f]
1713          vfmaddsub231ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1714
1715// CHECK: vfmaddsub231ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1716// CHECK: encoding: [0x62,0x66,0x15,0xb7,0xb6,0x72,0x80]
1717          vfmaddsub231ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1718
1719// CHECK: vfmaddsub231ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1720// CHECK: encoding: [0x62,0x26,0x15,0x07,0xb6,0xb4,0xf5,0x00,0x00,0x00,0x10]
1721          vfmaddsub231ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1722
1723// CHECK: vfmaddsub231ph xmm30, xmm29, word ptr [r9]{1to8}
1724// CHECK: encoding: [0x62,0x46,0x15,0x10,0xb6,0x31]
1725          vfmaddsub231ph xmm30, xmm29, word ptr [r9]{1to8}
1726
1727// CHECK: vfmaddsub231ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1728// CHECK: encoding: [0x62,0x66,0x15,0x00,0xb6,0x71,0x7f]
1729          vfmaddsub231ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1730
1731// CHECK: vfmaddsub231ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1732// CHECK: encoding: [0x62,0x66,0x15,0x97,0xb6,0x72,0x80]
1733          vfmaddsub231ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1734
1735// CHECK: vfmsub132ph ymm30, ymm29, ymm28
1736// CHECK: encoding: [0x62,0x06,0x15,0x20,0x9a,0xf4]
1737          vfmsub132ph ymm30, ymm29, ymm28
1738
1739// CHECK: vfmsub132ph xmm30, xmm29, xmm28
1740// CHECK: encoding: [0x62,0x06,0x15,0x00,0x9a,0xf4]
1741          vfmsub132ph xmm30, xmm29, xmm28
1742
1743// CHECK: vfmsub132ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1744// CHECK: encoding: [0x62,0x26,0x15,0x27,0x9a,0xb4,0xf5,0x00,0x00,0x00,0x10]
1745          vfmsub132ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1746
1747// CHECK: vfmsub132ph ymm30, ymm29, word ptr [r9]{1to16}
1748// CHECK: encoding: [0x62,0x46,0x15,0x30,0x9a,0x31]
1749          vfmsub132ph ymm30, ymm29, word ptr [r9]{1to16}
1750
1751// CHECK: vfmsub132ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1752// CHECK: encoding: [0x62,0x66,0x15,0x20,0x9a,0x71,0x7f]
1753          vfmsub132ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1754
1755// CHECK: vfmsub132ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1756// CHECK: encoding: [0x62,0x66,0x15,0xb7,0x9a,0x72,0x80]
1757          vfmsub132ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1758
1759// CHECK: vfmsub132ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1760// CHECK: encoding: [0x62,0x26,0x15,0x07,0x9a,0xb4,0xf5,0x00,0x00,0x00,0x10]
1761          vfmsub132ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1762
1763// CHECK: vfmsub132ph xmm30, xmm29, word ptr [r9]{1to8}
1764// CHECK: encoding: [0x62,0x46,0x15,0x10,0x9a,0x31]
1765          vfmsub132ph xmm30, xmm29, word ptr [r9]{1to8}
1766
1767// CHECK: vfmsub132ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1768// CHECK: encoding: [0x62,0x66,0x15,0x00,0x9a,0x71,0x7f]
1769          vfmsub132ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1770
1771// CHECK: vfmsub132ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1772// CHECK: encoding: [0x62,0x66,0x15,0x97,0x9a,0x72,0x80]
1773          vfmsub132ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1774
1775// CHECK: vfmsub213ph ymm30, ymm29, ymm28
1776// CHECK: encoding: [0x62,0x06,0x15,0x20,0xaa,0xf4]
1777          vfmsub213ph ymm30, ymm29, ymm28
1778
1779// CHECK: vfmsub213ph xmm30, xmm29, xmm28
1780// CHECK: encoding: [0x62,0x06,0x15,0x00,0xaa,0xf4]
1781          vfmsub213ph xmm30, xmm29, xmm28
1782
1783// CHECK: vfmsub213ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1784// CHECK: encoding: [0x62,0x26,0x15,0x27,0xaa,0xb4,0xf5,0x00,0x00,0x00,0x10]
1785          vfmsub213ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1786
1787// CHECK: vfmsub213ph ymm30, ymm29, word ptr [r9]{1to16}
1788// CHECK: encoding: [0x62,0x46,0x15,0x30,0xaa,0x31]
1789          vfmsub213ph ymm30, ymm29, word ptr [r9]{1to16}
1790
1791// CHECK: vfmsub213ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1792// CHECK: encoding: [0x62,0x66,0x15,0x20,0xaa,0x71,0x7f]
1793          vfmsub213ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1794
1795// CHECK: vfmsub213ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1796// CHECK: encoding: [0x62,0x66,0x15,0xb7,0xaa,0x72,0x80]
1797          vfmsub213ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1798
1799// CHECK: vfmsub213ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1800// CHECK: encoding: [0x62,0x26,0x15,0x07,0xaa,0xb4,0xf5,0x00,0x00,0x00,0x10]
1801          vfmsub213ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1802
1803// CHECK: vfmsub213ph xmm30, xmm29, word ptr [r9]{1to8}
1804// CHECK: encoding: [0x62,0x46,0x15,0x10,0xaa,0x31]
1805          vfmsub213ph xmm30, xmm29, word ptr [r9]{1to8}
1806
1807// CHECK: vfmsub213ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1808// CHECK: encoding: [0x62,0x66,0x15,0x00,0xaa,0x71,0x7f]
1809          vfmsub213ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1810
1811// CHECK: vfmsub213ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1812// CHECK: encoding: [0x62,0x66,0x15,0x97,0xaa,0x72,0x80]
1813          vfmsub213ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1814
1815// CHECK: vfmsub231ph ymm30, ymm29, ymm28
1816// CHECK: encoding: [0x62,0x06,0x15,0x20,0xba,0xf4]
1817          vfmsub231ph ymm30, ymm29, ymm28
1818
1819// CHECK: vfmsub231ph xmm30, xmm29, xmm28
1820// CHECK: encoding: [0x62,0x06,0x15,0x00,0xba,0xf4]
1821          vfmsub231ph xmm30, xmm29, xmm28
1822
1823// CHECK: vfmsub231ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1824// CHECK: encoding: [0x62,0x26,0x15,0x27,0xba,0xb4,0xf5,0x00,0x00,0x00,0x10]
1825          vfmsub231ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1826
1827// CHECK: vfmsub231ph ymm30, ymm29, word ptr [r9]{1to16}
1828// CHECK: encoding: [0x62,0x46,0x15,0x30,0xba,0x31]
1829          vfmsub231ph ymm30, ymm29, word ptr [r9]{1to16}
1830
1831// CHECK: vfmsub231ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1832// CHECK: encoding: [0x62,0x66,0x15,0x20,0xba,0x71,0x7f]
1833          vfmsub231ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1834
1835// CHECK: vfmsub231ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1836// CHECK: encoding: [0x62,0x66,0x15,0xb7,0xba,0x72,0x80]
1837          vfmsub231ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1838
1839// CHECK: vfmsub231ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1840// CHECK: encoding: [0x62,0x26,0x15,0x07,0xba,0xb4,0xf5,0x00,0x00,0x00,0x10]
1841          vfmsub231ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1842
1843// CHECK: vfmsub231ph xmm30, xmm29, word ptr [r9]{1to8}
1844// CHECK: encoding: [0x62,0x46,0x15,0x10,0xba,0x31]
1845          vfmsub231ph xmm30, xmm29, word ptr [r9]{1to8}
1846
1847// CHECK: vfmsub231ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1848// CHECK: encoding: [0x62,0x66,0x15,0x00,0xba,0x71,0x7f]
1849          vfmsub231ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1850
1851// CHECK: vfmsub231ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1852// CHECK: encoding: [0x62,0x66,0x15,0x97,0xba,0x72,0x80]
1853          vfmsub231ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1854
1855// CHECK: vfmsubadd132ph ymm30, ymm29, ymm28
1856// CHECK: encoding: [0x62,0x06,0x15,0x20,0x97,0xf4]
1857          vfmsubadd132ph ymm30, ymm29, ymm28
1858
1859// CHECK: vfmsubadd132ph xmm30, xmm29, xmm28
1860// CHECK: encoding: [0x62,0x06,0x15,0x00,0x97,0xf4]
1861          vfmsubadd132ph xmm30, xmm29, xmm28
1862
1863// CHECK: vfmsubadd132ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1864// CHECK: encoding: [0x62,0x26,0x15,0x27,0x97,0xb4,0xf5,0x00,0x00,0x00,0x10]
1865          vfmsubadd132ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1866
1867// CHECK: vfmsubadd132ph ymm30, ymm29, word ptr [r9]{1to16}
1868// CHECK: encoding: [0x62,0x46,0x15,0x30,0x97,0x31]
1869          vfmsubadd132ph ymm30, ymm29, word ptr [r9]{1to16}
1870
1871// CHECK: vfmsubadd132ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1872// CHECK: encoding: [0x62,0x66,0x15,0x20,0x97,0x71,0x7f]
1873          vfmsubadd132ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1874
1875// CHECK: vfmsubadd132ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1876// CHECK: encoding: [0x62,0x66,0x15,0xb7,0x97,0x72,0x80]
1877          vfmsubadd132ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1878
1879// CHECK: vfmsubadd132ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1880// CHECK: encoding: [0x62,0x26,0x15,0x07,0x97,0xb4,0xf5,0x00,0x00,0x00,0x10]
1881          vfmsubadd132ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1882
1883// CHECK: vfmsubadd132ph xmm30, xmm29, word ptr [r9]{1to8}
1884// CHECK: encoding: [0x62,0x46,0x15,0x10,0x97,0x31]
1885          vfmsubadd132ph xmm30, xmm29, word ptr [r9]{1to8}
1886
1887// CHECK: vfmsubadd132ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1888// CHECK: encoding: [0x62,0x66,0x15,0x00,0x97,0x71,0x7f]
1889          vfmsubadd132ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1890
1891// CHECK: vfmsubadd132ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1892// CHECK: encoding: [0x62,0x66,0x15,0x97,0x97,0x72,0x80]
1893          vfmsubadd132ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1894
1895// CHECK: vfmsubadd213ph ymm30, ymm29, ymm28
1896// CHECK: encoding: [0x62,0x06,0x15,0x20,0xa7,0xf4]
1897          vfmsubadd213ph ymm30, ymm29, ymm28
1898
1899// CHECK: vfmsubadd213ph xmm30, xmm29, xmm28
1900// CHECK: encoding: [0x62,0x06,0x15,0x00,0xa7,0xf4]
1901          vfmsubadd213ph xmm30, xmm29, xmm28
1902
1903// CHECK: vfmsubadd213ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1904// CHECK: encoding: [0x62,0x26,0x15,0x27,0xa7,0xb4,0xf5,0x00,0x00,0x00,0x10]
1905          vfmsubadd213ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1906
1907// CHECK: vfmsubadd213ph ymm30, ymm29, word ptr [r9]{1to16}
1908// CHECK: encoding: [0x62,0x46,0x15,0x30,0xa7,0x31]
1909          vfmsubadd213ph ymm30, ymm29, word ptr [r9]{1to16}
1910
1911// CHECK: vfmsubadd213ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1912// CHECK: encoding: [0x62,0x66,0x15,0x20,0xa7,0x71,0x7f]
1913          vfmsubadd213ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1914
1915// CHECK: vfmsubadd213ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1916// CHECK: encoding: [0x62,0x66,0x15,0xb7,0xa7,0x72,0x80]
1917          vfmsubadd213ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1918
1919// CHECK: vfmsubadd213ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1920// CHECK: encoding: [0x62,0x26,0x15,0x07,0xa7,0xb4,0xf5,0x00,0x00,0x00,0x10]
1921          vfmsubadd213ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1922
1923// CHECK: vfmsubadd213ph xmm30, xmm29, word ptr [r9]{1to8}
1924// CHECK: encoding: [0x62,0x46,0x15,0x10,0xa7,0x31]
1925          vfmsubadd213ph xmm30, xmm29, word ptr [r9]{1to8}
1926
1927// CHECK: vfmsubadd213ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1928// CHECK: encoding: [0x62,0x66,0x15,0x00,0xa7,0x71,0x7f]
1929          vfmsubadd213ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1930
1931// CHECK: vfmsubadd213ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1932// CHECK: encoding: [0x62,0x66,0x15,0x97,0xa7,0x72,0x80]
1933          vfmsubadd213ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1934
1935// CHECK: vfmsubadd231ph ymm30, ymm29, ymm28
1936// CHECK: encoding: [0x62,0x06,0x15,0x20,0xb7,0xf4]
1937          vfmsubadd231ph ymm30, ymm29, ymm28
1938
1939// CHECK: vfmsubadd231ph xmm30, xmm29, xmm28
1940// CHECK: encoding: [0x62,0x06,0x15,0x00,0xb7,0xf4]
1941          vfmsubadd231ph xmm30, xmm29, xmm28
1942
1943// CHECK: vfmsubadd231ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1944// CHECK: encoding: [0x62,0x26,0x15,0x27,0xb7,0xb4,0xf5,0x00,0x00,0x00,0x10]
1945          vfmsubadd231ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1946
1947// CHECK: vfmsubadd231ph ymm30, ymm29, word ptr [r9]{1to16}
1948// CHECK: encoding: [0x62,0x46,0x15,0x30,0xb7,0x31]
1949          vfmsubadd231ph ymm30, ymm29, word ptr [r9]{1to16}
1950
1951// CHECK: vfmsubadd231ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1952// CHECK: encoding: [0x62,0x66,0x15,0x20,0xb7,0x71,0x7f]
1953          vfmsubadd231ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1954
1955// CHECK: vfmsubadd231ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1956// CHECK: encoding: [0x62,0x66,0x15,0xb7,0xb7,0x72,0x80]
1957          vfmsubadd231ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1958
1959// CHECK: vfmsubadd231ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1960// CHECK: encoding: [0x62,0x26,0x15,0x07,0xb7,0xb4,0xf5,0x00,0x00,0x00,0x10]
1961          vfmsubadd231ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
1962
1963// CHECK: vfmsubadd231ph xmm30, xmm29, word ptr [r9]{1to8}
1964// CHECK: encoding: [0x62,0x46,0x15,0x10,0xb7,0x31]
1965          vfmsubadd231ph xmm30, xmm29, word ptr [r9]{1to8}
1966
1967// CHECK: vfmsubadd231ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1968// CHECK: encoding: [0x62,0x66,0x15,0x00,0xb7,0x71,0x7f]
1969          vfmsubadd231ph xmm30, xmm29, xmmword ptr [rcx + 2032]
1970
1971// CHECK: vfmsubadd231ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1972// CHECK: encoding: [0x62,0x66,0x15,0x97,0xb7,0x72,0x80]
1973          vfmsubadd231ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
1974
1975// CHECK: vfnmadd132ph ymm30, ymm29, ymm28
1976// CHECK: encoding: [0x62,0x06,0x15,0x20,0x9c,0xf4]
1977          vfnmadd132ph ymm30, ymm29, ymm28
1978
1979// CHECK: vfnmadd132ph xmm30, xmm29, xmm28
1980// CHECK: encoding: [0x62,0x06,0x15,0x00,0x9c,0xf4]
1981          vfnmadd132ph xmm30, xmm29, xmm28
1982
1983// CHECK: vfnmadd132ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1984// CHECK: encoding: [0x62,0x26,0x15,0x27,0x9c,0xb4,0xf5,0x00,0x00,0x00,0x10]
1985          vfnmadd132ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
1986
1987// CHECK: vfnmadd132ph ymm30, ymm29, word ptr [r9]{1to16}
1988// CHECK: encoding: [0x62,0x46,0x15,0x30,0x9c,0x31]
1989          vfnmadd132ph ymm30, ymm29, word ptr [r9]{1to16}
1990
1991// CHECK: vfnmadd132ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1992// CHECK: encoding: [0x62,0x66,0x15,0x20,0x9c,0x71,0x7f]
1993          vfnmadd132ph ymm30, ymm29, ymmword ptr [rcx + 4064]
1994
1995// CHECK: vfnmadd132ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1996// CHECK: encoding: [0x62,0x66,0x15,0xb7,0x9c,0x72,0x80]
1997          vfnmadd132ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
1998
1999// CHECK: vfnmadd132ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2000// CHECK: encoding: [0x62,0x26,0x15,0x07,0x9c,0xb4,0xf5,0x00,0x00,0x00,0x10]
2001          vfnmadd132ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2002
2003// CHECK: vfnmadd132ph xmm30, xmm29, word ptr [r9]{1to8}
2004// CHECK: encoding: [0x62,0x46,0x15,0x10,0x9c,0x31]
2005          vfnmadd132ph xmm30, xmm29, word ptr [r9]{1to8}
2006
2007// CHECK: vfnmadd132ph xmm30, xmm29, xmmword ptr [rcx + 2032]
2008// CHECK: encoding: [0x62,0x66,0x15,0x00,0x9c,0x71,0x7f]
2009          vfnmadd132ph xmm30, xmm29, xmmword ptr [rcx + 2032]
2010
2011// CHECK: vfnmadd132ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
2012// CHECK: encoding: [0x62,0x66,0x15,0x97,0x9c,0x72,0x80]
2013          vfnmadd132ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
2014
2015// CHECK: vfnmadd213ph ymm30, ymm29, ymm28
2016// CHECK: encoding: [0x62,0x06,0x15,0x20,0xac,0xf4]
2017          vfnmadd213ph ymm30, ymm29, ymm28
2018
2019// CHECK: vfnmadd213ph xmm30, xmm29, xmm28
2020// CHECK: encoding: [0x62,0x06,0x15,0x00,0xac,0xf4]
2021          vfnmadd213ph xmm30, xmm29, xmm28
2022
2023// CHECK: vfnmadd213ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2024// CHECK: encoding: [0x62,0x26,0x15,0x27,0xac,0xb4,0xf5,0x00,0x00,0x00,0x10]
2025          vfnmadd213ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2026
2027// CHECK: vfnmadd213ph ymm30, ymm29, word ptr [r9]{1to16}
2028// CHECK: encoding: [0x62,0x46,0x15,0x30,0xac,0x31]
2029          vfnmadd213ph ymm30, ymm29, word ptr [r9]{1to16}
2030
2031// CHECK: vfnmadd213ph ymm30, ymm29, ymmword ptr [rcx + 4064]
2032// CHECK: encoding: [0x62,0x66,0x15,0x20,0xac,0x71,0x7f]
2033          vfnmadd213ph ymm30, ymm29, ymmword ptr [rcx + 4064]
2034
2035// CHECK: vfnmadd213ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
2036// CHECK: encoding: [0x62,0x66,0x15,0xb7,0xac,0x72,0x80]
2037          vfnmadd213ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
2038
2039// CHECK: vfnmadd213ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2040// CHECK: encoding: [0x62,0x26,0x15,0x07,0xac,0xb4,0xf5,0x00,0x00,0x00,0x10]
2041          vfnmadd213ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2042
2043// CHECK: vfnmadd213ph xmm30, xmm29, word ptr [r9]{1to8}
2044// CHECK: encoding: [0x62,0x46,0x15,0x10,0xac,0x31]
2045          vfnmadd213ph xmm30, xmm29, word ptr [r9]{1to8}
2046
2047// CHECK: vfnmadd213ph xmm30, xmm29, xmmword ptr [rcx + 2032]
2048// CHECK: encoding: [0x62,0x66,0x15,0x00,0xac,0x71,0x7f]
2049          vfnmadd213ph xmm30, xmm29, xmmword ptr [rcx + 2032]
2050
2051// CHECK: vfnmadd213ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
2052// CHECK: encoding: [0x62,0x66,0x15,0x97,0xac,0x72,0x80]
2053          vfnmadd213ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
2054
2055// CHECK: vfnmadd231ph ymm30, ymm29, ymm28
2056// CHECK: encoding: [0x62,0x06,0x15,0x20,0xbc,0xf4]
2057          vfnmadd231ph ymm30, ymm29, ymm28
2058
2059// CHECK: vfnmadd231ph xmm30, xmm29, xmm28
2060// CHECK: encoding: [0x62,0x06,0x15,0x00,0xbc,0xf4]
2061          vfnmadd231ph xmm30, xmm29, xmm28
2062
2063// CHECK: vfnmadd231ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2064// CHECK: encoding: [0x62,0x26,0x15,0x27,0xbc,0xb4,0xf5,0x00,0x00,0x00,0x10]
2065          vfnmadd231ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2066
2067// CHECK: vfnmadd231ph ymm30, ymm29, word ptr [r9]{1to16}
2068// CHECK: encoding: [0x62,0x46,0x15,0x30,0xbc,0x31]
2069          vfnmadd231ph ymm30, ymm29, word ptr [r9]{1to16}
2070
2071// CHECK: vfnmadd231ph ymm30, ymm29, ymmword ptr [rcx + 4064]
2072// CHECK: encoding: [0x62,0x66,0x15,0x20,0xbc,0x71,0x7f]
2073          vfnmadd231ph ymm30, ymm29, ymmword ptr [rcx + 4064]
2074
2075// CHECK: vfnmadd231ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
2076// CHECK: encoding: [0x62,0x66,0x15,0xb7,0xbc,0x72,0x80]
2077          vfnmadd231ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
2078
2079// CHECK: vfnmadd231ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2080// CHECK: encoding: [0x62,0x26,0x15,0x07,0xbc,0xb4,0xf5,0x00,0x00,0x00,0x10]
2081          vfnmadd231ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2082
2083// CHECK: vfnmadd231ph xmm30, xmm29, word ptr [r9]{1to8}
2084// CHECK: encoding: [0x62,0x46,0x15,0x10,0xbc,0x31]
2085          vfnmadd231ph xmm30, xmm29, word ptr [r9]{1to8}
2086
2087// CHECK: vfnmadd231ph xmm30, xmm29, xmmword ptr [rcx + 2032]
2088// CHECK: encoding: [0x62,0x66,0x15,0x00,0xbc,0x71,0x7f]
2089          vfnmadd231ph xmm30, xmm29, xmmword ptr [rcx + 2032]
2090
2091// CHECK: vfnmadd231ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
2092// CHECK: encoding: [0x62,0x66,0x15,0x97,0xbc,0x72,0x80]
2093          vfnmadd231ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
2094
2095// CHECK: vfnmsub132ph ymm30, ymm29, ymm28
2096// CHECK: encoding: [0x62,0x06,0x15,0x20,0x9e,0xf4]
2097          vfnmsub132ph ymm30, ymm29, ymm28
2098
2099// CHECK: vfnmsub132ph xmm30, xmm29, xmm28
2100// CHECK: encoding: [0x62,0x06,0x15,0x00,0x9e,0xf4]
2101          vfnmsub132ph xmm30, xmm29, xmm28
2102
2103// CHECK: vfnmsub132ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2104// CHECK: encoding: [0x62,0x26,0x15,0x27,0x9e,0xb4,0xf5,0x00,0x00,0x00,0x10]
2105          vfnmsub132ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2106
2107// CHECK: vfnmsub132ph ymm30, ymm29, word ptr [r9]{1to16}
2108// CHECK: encoding: [0x62,0x46,0x15,0x30,0x9e,0x31]
2109          vfnmsub132ph ymm30, ymm29, word ptr [r9]{1to16}
2110
2111// CHECK: vfnmsub132ph ymm30, ymm29, ymmword ptr [rcx + 4064]
2112// CHECK: encoding: [0x62,0x66,0x15,0x20,0x9e,0x71,0x7f]
2113          vfnmsub132ph ymm30, ymm29, ymmword ptr [rcx + 4064]
2114
2115// CHECK: vfnmsub132ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
2116// CHECK: encoding: [0x62,0x66,0x15,0xb7,0x9e,0x72,0x80]
2117          vfnmsub132ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
2118
2119// CHECK: vfnmsub132ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2120// CHECK: encoding: [0x62,0x26,0x15,0x07,0x9e,0xb4,0xf5,0x00,0x00,0x00,0x10]
2121          vfnmsub132ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2122
2123// CHECK: vfnmsub132ph xmm30, xmm29, word ptr [r9]{1to8}
2124// CHECK: encoding: [0x62,0x46,0x15,0x10,0x9e,0x31]
2125          vfnmsub132ph xmm30, xmm29, word ptr [r9]{1to8}
2126
2127// CHECK: vfnmsub132ph xmm30, xmm29, xmmword ptr [rcx + 2032]
2128// CHECK: encoding: [0x62,0x66,0x15,0x00,0x9e,0x71,0x7f]
2129          vfnmsub132ph xmm30, xmm29, xmmword ptr [rcx + 2032]
2130
2131// CHECK: vfnmsub132ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
2132// CHECK: encoding: [0x62,0x66,0x15,0x97,0x9e,0x72,0x80]
2133          vfnmsub132ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
2134
2135// CHECK: vfnmsub213ph ymm30, ymm29, ymm28
2136// CHECK: encoding: [0x62,0x06,0x15,0x20,0xae,0xf4]
2137          vfnmsub213ph ymm30, ymm29, ymm28
2138
2139// CHECK: vfnmsub213ph xmm30, xmm29, xmm28
2140// CHECK: encoding: [0x62,0x06,0x15,0x00,0xae,0xf4]
2141          vfnmsub213ph xmm30, xmm29, xmm28
2142
2143// CHECK: vfnmsub213ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2144// CHECK: encoding: [0x62,0x26,0x15,0x27,0xae,0xb4,0xf5,0x00,0x00,0x00,0x10]
2145          vfnmsub213ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2146
2147// CHECK: vfnmsub213ph ymm30, ymm29, word ptr [r9]{1to16}
2148// CHECK: encoding: [0x62,0x46,0x15,0x30,0xae,0x31]
2149          vfnmsub213ph ymm30, ymm29, word ptr [r9]{1to16}
2150
2151// CHECK: vfnmsub213ph ymm30, ymm29, ymmword ptr [rcx + 4064]
2152// CHECK: encoding: [0x62,0x66,0x15,0x20,0xae,0x71,0x7f]
2153          vfnmsub213ph ymm30, ymm29, ymmword ptr [rcx + 4064]
2154
2155// CHECK: vfnmsub213ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
2156// CHECK: encoding: [0x62,0x66,0x15,0xb7,0xae,0x72,0x80]
2157          vfnmsub213ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
2158
2159// CHECK: vfnmsub213ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2160// CHECK: encoding: [0x62,0x26,0x15,0x07,0xae,0xb4,0xf5,0x00,0x00,0x00,0x10]
2161          vfnmsub213ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2162
2163// CHECK: vfnmsub213ph xmm30, xmm29, word ptr [r9]{1to8}
2164// CHECK: encoding: [0x62,0x46,0x15,0x10,0xae,0x31]
2165          vfnmsub213ph xmm30, xmm29, word ptr [r9]{1to8}
2166
2167// CHECK: vfnmsub213ph xmm30, xmm29, xmmword ptr [rcx + 2032]
2168// CHECK: encoding: [0x62,0x66,0x15,0x00,0xae,0x71,0x7f]
2169          vfnmsub213ph xmm30, xmm29, xmmword ptr [rcx + 2032]
2170
2171// CHECK: vfnmsub213ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
2172// CHECK: encoding: [0x62,0x66,0x15,0x97,0xae,0x72,0x80]
2173          vfnmsub213ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
2174
2175// CHECK: vfnmsub231ph ymm30, ymm29, ymm28
2176// CHECK: encoding: [0x62,0x06,0x15,0x20,0xbe,0xf4]
2177          vfnmsub231ph ymm30, ymm29, ymm28
2178
2179// CHECK: vfnmsub231ph xmm30, xmm29, xmm28
2180// CHECK: encoding: [0x62,0x06,0x15,0x00,0xbe,0xf4]
2181          vfnmsub231ph xmm30, xmm29, xmm28
2182
2183// CHECK: vfnmsub231ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2184// CHECK: encoding: [0x62,0x26,0x15,0x27,0xbe,0xb4,0xf5,0x00,0x00,0x00,0x10]
2185          vfnmsub231ph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2186
2187// CHECK: vfnmsub231ph ymm30, ymm29, word ptr [r9]{1to16}
2188// CHECK: encoding: [0x62,0x46,0x15,0x30,0xbe,0x31]
2189          vfnmsub231ph ymm30, ymm29, word ptr [r9]{1to16}
2190
2191// CHECK: vfnmsub231ph ymm30, ymm29, ymmword ptr [rcx + 4064]
2192// CHECK: encoding: [0x62,0x66,0x15,0x20,0xbe,0x71,0x7f]
2193          vfnmsub231ph ymm30, ymm29, ymmword ptr [rcx + 4064]
2194
2195// CHECK: vfnmsub231ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
2196// CHECK: encoding: [0x62,0x66,0x15,0xb7,0xbe,0x72,0x80]
2197          vfnmsub231ph ymm30 {k7} {z}, ymm29, word ptr [rdx - 256]{1to16}
2198
2199// CHECK: vfnmsub231ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2200// CHECK: encoding: [0x62,0x26,0x15,0x07,0xbe,0xb4,0xf5,0x00,0x00,0x00,0x10]
2201          vfnmsub231ph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2202
2203// CHECK: vfnmsub231ph xmm30, xmm29, word ptr [r9]{1to8}
2204// CHECK: encoding: [0x62,0x46,0x15,0x10,0xbe,0x31]
2205          vfnmsub231ph xmm30, xmm29, word ptr [r9]{1to8}
2206
2207// CHECK: vfnmsub231ph xmm30, xmm29, xmmword ptr [rcx + 2032]
2208// CHECK: encoding: [0x62,0x66,0x15,0x00,0xbe,0x71,0x7f]
2209          vfnmsub231ph xmm30, xmm29, xmmword ptr [rcx + 2032]
2210
2211// CHECK: vfnmsub231ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
2212// CHECK: encoding: [0x62,0x66,0x15,0x97,0xbe,0x72,0x80]
2213          vfnmsub231ph xmm30 {k7} {z}, xmm29, word ptr [rdx - 256]{1to8}
2214
2215// CHECK: vfcmaddcph ymm30, ymm29, ymm28
2216// CHECK: encoding: [0x62,0x06,0x17,0x20,0x56,0xf4]
2217          vfcmaddcph ymm30, ymm29, ymm28
2218
2219// CHECK: vfcmaddcph xmm30, xmm29, xmm28
2220// CHECK: encoding: [0x62,0x06,0x17,0x00,0x56,0xf4]
2221          vfcmaddcph xmm30, xmm29, xmm28
2222
2223// CHECK: vfcmaddcph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2224// CHECK: encoding: [0x62,0x26,0x17,0x27,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10]
2225          vfcmaddcph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2226
2227// CHECK: vfcmaddcph ymm30, ymm29, dword ptr [r9]{1to8}
2228// CHECK: encoding: [0x62,0x46,0x17,0x30,0x56,0x31]
2229          vfcmaddcph ymm30, ymm29, dword ptr [r9]{1to8}
2230
2231// CHECK: vfcmaddcph ymm30, ymm29, ymmword ptr [rcx + 4064]
2232// CHECK: encoding: [0x62,0x66,0x17,0x20,0x56,0x71,0x7f]
2233          vfcmaddcph ymm30, ymm29, ymmword ptr [rcx + 4064]
2234
2235// CHECK: vfcmaddcph ymm30 {k7} {z}, ymm29, dword ptr [rdx - 512]{1to8}
2236// CHECK: encoding: [0x62,0x66,0x17,0xb7,0x56,0x72,0x80]
2237          vfcmaddcph ymm30 {k7} {z}, ymm29, dword ptr [rdx - 512]{1to8}
2238
2239// CHECK: vfcmaddcph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2240// CHECK: encoding: [0x62,0x26,0x17,0x07,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10]
2241          vfcmaddcph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2242
2243// CHECK: vfcmaddcph xmm30, xmm29, dword ptr [r9]{1to4}
2244// CHECK: encoding: [0x62,0x46,0x17,0x10,0x56,0x31]
2245          vfcmaddcph xmm30, xmm29, dword ptr [r9]{1to4}
2246
2247// CHECK: vfcmaddcph xmm30, xmm29, xmmword ptr [rcx + 2032]
2248// CHECK: encoding: [0x62,0x66,0x17,0x00,0x56,0x71,0x7f]
2249          vfcmaddcph xmm30, xmm29, xmmword ptr [rcx + 2032]
2250
2251// CHECK: vfcmaddcph xmm30 {k7} {z}, xmm29, dword ptr [rdx - 512]{1to4}
2252// CHECK: encoding: [0x62,0x66,0x17,0x97,0x56,0x72,0x80]
2253          vfcmaddcph xmm30 {k7} {z}, xmm29, dword ptr [rdx - 512]{1to4}
2254
2255// CHECK: vfcmulcph ymm30, ymm29, ymm28
2256// CHECK: encoding: [0x62,0x06,0x17,0x20,0xd6,0xf4]
2257          vfcmulcph ymm30, ymm29, ymm28
2258
2259// CHECK: vfcmulcph xmm30, xmm29, xmm28
2260// CHECK: encoding: [0x62,0x06,0x17,0x00,0xd6,0xf4]
2261          vfcmulcph xmm30, xmm29, xmm28
2262
2263// CHECK: vfcmulcph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2264// CHECK: encoding: [0x62,0x26,0x17,0x27,0xd6,0xb4,0xf5,0x00,0x00,0x00,0x10]
2265          vfcmulcph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2266
2267// CHECK: vfcmulcph ymm30, ymm29, dword ptr [r9]{1to8}
2268// CHECK: encoding: [0x62,0x46,0x17,0x30,0xd6,0x31]
2269          vfcmulcph ymm30, ymm29, dword ptr [r9]{1to8}
2270
2271// CHECK: vfcmulcph ymm30, ymm29, ymmword ptr [rcx + 4064]
2272// CHECK: encoding: [0x62,0x66,0x17,0x20,0xd6,0x71,0x7f]
2273          vfcmulcph ymm30, ymm29, ymmword ptr [rcx + 4064]
2274
2275// CHECK: vfcmulcph ymm30 {k7} {z}, ymm29, dword ptr [rdx - 512]{1to8}
2276// CHECK: encoding: [0x62,0x66,0x17,0xb7,0xd6,0x72,0x80]
2277          vfcmulcph ymm30 {k7} {z}, ymm29, dword ptr [rdx - 512]{1to8}
2278
2279// CHECK: vfcmulcph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2280// CHECK: encoding: [0x62,0x26,0x17,0x07,0xd6,0xb4,0xf5,0x00,0x00,0x00,0x10]
2281          vfcmulcph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2282
2283// CHECK: vfcmulcph xmm30, xmm29, dword ptr [r9]{1to4}
2284// CHECK: encoding: [0x62,0x46,0x17,0x10,0xd6,0x31]
2285          vfcmulcph xmm30, xmm29, dword ptr [r9]{1to4}
2286
2287// CHECK: vfcmulcph xmm30, xmm29, xmmword ptr [rcx + 2032]
2288// CHECK: encoding: [0x62,0x66,0x17,0x00,0xd6,0x71,0x7f]
2289          vfcmulcph xmm30, xmm29, xmmword ptr [rcx + 2032]
2290
2291// CHECK: vfcmulcph xmm30 {k7} {z}, xmm29, dword ptr [rdx - 512]{1to4}
2292// CHECK: encoding: [0x62,0x66,0x17,0x97,0xd6,0x72,0x80]
2293          vfcmulcph xmm30 {k7} {z}, xmm29, dword ptr [rdx - 512]{1to4}
2294
2295// CHECK: vfmaddcph ymm30, ymm29, ymm28
2296// CHECK: encoding: [0x62,0x06,0x16,0x20,0x56,0xf4]
2297          vfmaddcph ymm30, ymm29, ymm28
2298
2299// CHECK: vfmaddcph xmm30, xmm29, xmm28
2300// CHECK: encoding: [0x62,0x06,0x16,0x00,0x56,0xf4]
2301          vfmaddcph xmm30, xmm29, xmm28
2302
2303// CHECK: vfmaddcph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2304// CHECK: encoding: [0x62,0x26,0x16,0x27,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10]
2305          vfmaddcph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2306
2307// CHECK: vfmaddcph ymm30, ymm29, dword ptr [r9]{1to8}
2308// CHECK: encoding: [0x62,0x46,0x16,0x30,0x56,0x31]
2309          vfmaddcph ymm30, ymm29, dword ptr [r9]{1to8}
2310
2311// CHECK: vfmaddcph ymm30, ymm29, ymmword ptr [rcx + 4064]
2312// CHECK: encoding: [0x62,0x66,0x16,0x20,0x56,0x71,0x7f]
2313          vfmaddcph ymm30, ymm29, ymmword ptr [rcx + 4064]
2314
2315// CHECK: vfmaddcph ymm30 {k7} {z}, ymm29, dword ptr [rdx - 512]{1to8}
2316// CHECK: encoding: [0x62,0x66,0x16,0xb7,0x56,0x72,0x80]
2317          vfmaddcph ymm30 {k7} {z}, ymm29, dword ptr [rdx - 512]{1to8}
2318
2319// CHECK: vfmaddcph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2320// CHECK: encoding: [0x62,0x26,0x16,0x07,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10]
2321          vfmaddcph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2322
2323// CHECK: vfmaddcph xmm30, xmm29, dword ptr [r9]{1to4}
2324// CHECK: encoding: [0x62,0x46,0x16,0x10,0x56,0x31]
2325          vfmaddcph xmm30, xmm29, dword ptr [r9]{1to4}
2326
2327// CHECK: vfmaddcph xmm30, xmm29, xmmword ptr [rcx + 2032]
2328// CHECK: encoding: [0x62,0x66,0x16,0x00,0x56,0x71,0x7f]
2329          vfmaddcph xmm30, xmm29, xmmword ptr [rcx + 2032]
2330
2331// CHECK: vfmaddcph xmm30 {k7} {z}, xmm29, dword ptr [rdx - 512]{1to4}
2332// CHECK: encoding: [0x62,0x66,0x16,0x97,0x56,0x72,0x80]
2333          vfmaddcph xmm30 {k7} {z}, xmm29, dword ptr [rdx - 512]{1to4}
2334
2335// CHECK: vfmulcph ymm30, ymm29, ymm28
2336// CHECK: encoding: [0x62,0x06,0x16,0x20,0xd6,0xf4]
2337          vfmulcph ymm30, ymm29, ymm28
2338
2339// CHECK: vfmulcph xmm30, xmm29, xmm28
2340// CHECK: encoding: [0x62,0x06,0x16,0x00,0xd6,0xf4]
2341          vfmulcph xmm30, xmm29, xmm28
2342
2343// CHECK: vfmulcph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2344// CHECK: encoding: [0x62,0x26,0x16,0x27,0xd6,0xb4,0xf5,0x00,0x00,0x00,0x10]
2345          vfmulcph ymm30 {k7}, ymm29, ymmword ptr [rbp + 8*r14 + 268435456]
2346
2347// CHECK: vfmulcph ymm30, ymm29, dword ptr [r9]{1to8}
2348// CHECK: encoding: [0x62,0x46,0x16,0x30,0xd6,0x31]
2349          vfmulcph ymm30, ymm29, dword ptr [r9]{1to8}
2350
2351// CHECK: vfmulcph ymm30, ymm29, ymmword ptr [rcx + 4064]
2352// CHECK: encoding: [0x62,0x66,0x16,0x20,0xd6,0x71,0x7f]
2353          vfmulcph ymm30, ymm29, ymmword ptr [rcx + 4064]
2354
2355// CHECK: vfmulcph ymm30 {k7} {z}, ymm29, dword ptr [rdx - 512]{1to8}
2356// CHECK: encoding: [0x62,0x66,0x16,0xb7,0xd6,0x72,0x80]
2357          vfmulcph ymm30 {k7} {z}, ymm29, dword ptr [rdx - 512]{1to8}
2358
2359// CHECK: vfmulcph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2360// CHECK: encoding: [0x62,0x26,0x16,0x07,0xd6,0xb4,0xf5,0x00,0x00,0x00,0x10]
2361          vfmulcph xmm30 {k7}, xmm29, xmmword ptr [rbp + 8*r14 + 268435456]
2362
2363// CHECK: vfmulcph xmm30, xmm29, dword ptr [r9]{1to4}
2364// CHECK: encoding: [0x62,0x46,0x16,0x10,0xd6,0x31]
2365          vfmulcph xmm30, xmm29, dword ptr [r9]{1to4}
2366
2367// CHECK: vfmulcph xmm30, xmm29, xmmword ptr [rcx + 2032]
2368// CHECK: encoding: [0x62,0x66,0x16,0x00,0xd6,0x71,0x7f]
2369          vfmulcph xmm30, xmm29, xmmword ptr [rcx + 2032]
2370
2371// CHECK: vfmulcph xmm30 {k7} {z}, xmm29, dword ptr [rdx - 512]{1to4}
2372// CHECK: encoding: [0x62,0x66,0x16,0x97,0xd6,0x72,0x80]
2373          vfmulcph xmm30 {k7} {z}, xmm29, dword ptr [rdx - 512]{1to4}
2374