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