xref: /llvm-project/llvm/test/MC/X86/avx10_2ni-32-intel.s (revision b0329206db8e66fe180c504115103b27ca50f64e)
1// RUN: llvm-mc -triple i386 -x86-asm-syntax=intel -output-asm-variant=1 --show-encoding %s | FileCheck %s
2
3// VNNI FP16
4
5// CHECK: vdpphps xmm2, xmm3, xmm4
6// CHECK: encoding: [0x62,0xf2,0x64,0x08,0x52,0xd4]
7          vdpphps xmm2, xmm3, xmm4
8
9// CHECK: vdpphps xmm2 {k7}, xmm3, xmm4
10// CHECK: encoding: [0x62,0xf2,0x64,0x0f,0x52,0xd4]
11          vdpphps xmm2 {k7}, xmm3, xmm4
12
13// CHECK: vdpphps xmm2 {k7} {z}, xmm3, xmm4
14// CHECK: encoding: [0x62,0xf2,0x64,0x8f,0x52,0xd4]
15          vdpphps xmm2 {k7} {z}, xmm3, xmm4
16
17// CHECK: vdpphps ymm2, ymm3, ymm4
18// CHECK: encoding: [0x62,0xf2,0x64,0x28,0x52,0xd4]
19          vdpphps ymm2, ymm3, ymm4
20
21// CHECK: vdpphps ymm2 {k7}, ymm3, ymm4
22// CHECK: encoding: [0x62,0xf2,0x64,0x2f,0x52,0xd4]
23          vdpphps ymm2 {k7}, ymm3, ymm4
24
25// CHECK: vdpphps ymm2 {k7} {z}, ymm3, ymm4
26// CHECK: encoding: [0x62,0xf2,0x64,0xaf,0x52,0xd4]
27          vdpphps ymm2 {k7} {z}, ymm3, ymm4
28
29// CHECK: vdpphps zmm2, zmm3, zmm4
30// CHECK: encoding: [0x62,0xf2,0x64,0x48,0x52,0xd4]
31          vdpphps zmm2, zmm3, zmm4
32
33// CHECK: vdpphps zmm2 {k7}, zmm3, zmm4
34// CHECK: encoding: [0x62,0xf2,0x64,0x4f,0x52,0xd4]
35          vdpphps zmm2 {k7}, zmm3, zmm4
36
37// CHECK: vdpphps zmm2 {k7} {z}, zmm3, zmm4
38// CHECK: encoding: [0x62,0xf2,0x64,0xcf,0x52,0xd4]
39          vdpphps zmm2 {k7} {z}, zmm3, zmm4
40
41// CHECK: vdpphps xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
42// CHECK: encoding: [0x62,0xf2,0x64,0x08,0x52,0x94,0xf4,0x00,0x00,0x00,0x10]
43          vdpphps xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
44
45// CHECK: vdpphps xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
46// CHECK: encoding: [0x62,0xf2,0x64,0x0f,0x52,0x94,0x87,0x23,0x01,0x00,0x00]
47          vdpphps xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
48
49// CHECK: vdpphps xmm2, xmm3, dword ptr [eax]{1to4}
50// CHECK: encoding: [0x62,0xf2,0x64,0x18,0x52,0x10]
51          vdpphps xmm2, xmm3, dword ptr [eax]{1to4}
52
53// CHECK: vdpphps xmm2, xmm3, xmmword ptr [2*ebp - 512]
54// CHECK: encoding: [0x62,0xf2,0x64,0x08,0x52,0x14,0x6d,0x00,0xfe,0xff,0xff]
55          vdpphps xmm2, xmm3, xmmword ptr [2*ebp - 512]
56
57// CHECK: vdpphps xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
58// CHECK: encoding: [0x62,0xf2,0x64,0x8f,0x52,0x51,0x7f]
59          vdpphps xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
60
61// CHECK: vdpphps xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
62// CHECK: encoding: [0x62,0xf2,0x64,0x9f,0x52,0x52,0x80]
63          vdpphps xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
64
65// CHECK: vdpphps ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
66// CHECK: encoding: [0x62,0xf2,0x64,0x28,0x52,0x94,0xf4,0x00,0x00,0x00,0x10]
67          vdpphps ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
68
69// CHECK: vdpphps ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
70// CHECK: encoding: [0x62,0xf2,0x64,0x2f,0x52,0x94,0x87,0x23,0x01,0x00,0x00]
71          vdpphps ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
72
73// CHECK: vdpphps ymm2, ymm3, dword ptr [eax]{1to8}
74// CHECK: encoding: [0x62,0xf2,0x64,0x38,0x52,0x10]
75          vdpphps ymm2, ymm3, dword ptr [eax]{1to8}
76
77// CHECK: vdpphps ymm2, ymm3, ymmword ptr [2*ebp - 1024]
78// CHECK: encoding: [0x62,0xf2,0x64,0x28,0x52,0x14,0x6d,0x00,0xfc,0xff,0xff]
79          vdpphps ymm2, ymm3, ymmword ptr [2*ebp - 1024]
80
81// CHECK: vdpphps ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
82// CHECK: encoding: [0x62,0xf2,0x64,0xaf,0x52,0x51,0x7f]
83          vdpphps ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
84
85// CHECK: vdpphps ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
86// CHECK: encoding: [0x62,0xf2,0x64,0xbf,0x52,0x52,0x80]
87          vdpphps ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
88
89// CHECK: vdpphps zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
90// CHECK: encoding: [0x62,0xf2,0x64,0x48,0x52,0x94,0xf4,0x00,0x00,0x00,0x10]
91          vdpphps zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
92
93// CHECK: vdpphps zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
94// CHECK: encoding: [0x62,0xf2,0x64,0x4f,0x52,0x94,0x87,0x23,0x01,0x00,0x00]
95          vdpphps zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
96
97// CHECK: vdpphps zmm2, zmm3, dword ptr [eax]{1to16}
98// CHECK: encoding: [0x62,0xf2,0x64,0x58,0x52,0x10]
99          vdpphps zmm2, zmm3, dword ptr [eax]{1to16}
100
101// CHECK: vdpphps zmm2, zmm3, zmmword ptr [2*ebp - 2048]
102// CHECK: encoding: [0x62,0xf2,0x64,0x48,0x52,0x14,0x6d,0x00,0xf8,0xff,0xff]
103          vdpphps zmm2, zmm3, zmmword ptr [2*ebp - 2048]
104
105// CHECK: vdpphps zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
106// CHECK: encoding: [0x62,0xf2,0x64,0xcf,0x52,0x51,0x7f]
107          vdpphps zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
108
109// CHECK: vdpphps zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
110// CHECK: encoding: [0x62,0xf2,0x64,0xdf,0x52,0x52,0x80]
111          vdpphps zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
112
113// VNNI INT8
114
115// CHECK: vpdpbssd xmm2, xmm3, xmm4
116// CHECK: encoding: [0xc4,0xe2,0x63,0x50,0xd4]
117          vpdpbssd xmm2, xmm3, xmm4
118
119// CHECK: vpdpbssd xmm2 {k7}, xmm3, xmm4
120// CHECK: encoding: [0x62,0xf2,0x67,0x0f,0x50,0xd4]
121          vpdpbssd xmm2 {k7}, xmm3, xmm4
122
123// CHECK: vpdpbssd xmm2 {k7} {z}, xmm3, xmm4
124// CHECK: encoding: [0x62,0xf2,0x67,0x8f,0x50,0xd4]
125          vpdpbssd xmm2 {k7} {z}, xmm3, xmm4
126
127// CHECK: vpdpbssd ymm2, ymm3, ymm4
128// CHECK: encoding: [0xc4,0xe2,0x67,0x50,0xd4]
129          vpdpbssd ymm2, ymm3, ymm4
130
131// CHECK: vpdpbssd ymm2 {k7}, ymm3, ymm4
132// CHECK: encoding: [0x62,0xf2,0x67,0x2f,0x50,0xd4]
133          vpdpbssd ymm2 {k7}, ymm3, ymm4
134
135// CHECK: vpdpbssd ymm2 {k7} {z}, ymm3, ymm4
136// CHECK: encoding: [0x62,0xf2,0x67,0xaf,0x50,0xd4]
137          vpdpbssd ymm2 {k7} {z}, ymm3, ymm4
138
139// CHECK: vpdpbssd zmm2, zmm3, zmm4
140// CHECK: encoding: [0x62,0xf2,0x67,0x48,0x50,0xd4]
141          vpdpbssd zmm2, zmm3, zmm4
142
143// CHECK: vpdpbssd zmm2 {k7}, zmm3, zmm4
144// CHECK: encoding: [0x62,0xf2,0x67,0x4f,0x50,0xd4]
145          vpdpbssd zmm2 {k7}, zmm3, zmm4
146
147// CHECK: vpdpbssd zmm2 {k7} {z}, zmm3, zmm4
148// CHECK: encoding: [0x62,0xf2,0x67,0xcf,0x50,0xd4]
149          vpdpbssd zmm2 {k7} {z}, zmm3, zmm4
150
151// CHECK: vpdpbssd xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
152// CHECK: encoding: [0xc4,0xe2,0x63,0x50,0x94,0xf4,0x00,0x00,0x00,0x10]
153          vpdpbssd xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
154
155// CHECK: vpdpbssd xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
156// CHECK: encoding: [0x62,0xf2,0x67,0x0f,0x50,0x94,0x87,0x23,0x01,0x00,0x00]
157          vpdpbssd xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
158
159// CHECK: vpdpbssd xmm2, xmm3, dword ptr [eax]{1to4}
160// CHECK: encoding: [0x62,0xf2,0x67,0x18,0x50,0x10]
161          vpdpbssd xmm2, xmm3, dword ptr [eax]{1to4}
162
163// CHECK: vpdpbssd xmm2, xmm3, xmmword ptr [2*ebp - 512]
164// CHECK: encoding: [0xc4,0xe2,0x63,0x50,0x14,0x6d,0x00,0xfe,0xff,0xff]
165          vpdpbssd xmm2, xmm3, xmmword ptr [2*ebp - 512]
166
167// CHECK: vpdpbssd xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
168// CHECK: encoding: [0x62,0xf2,0x67,0x8f,0x50,0x51,0x7f]
169          vpdpbssd xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
170
171// CHECK: vpdpbssd xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
172// CHECK: encoding: [0x62,0xf2,0x67,0x9f,0x50,0x52,0x80]
173          vpdpbssd xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
174
175// CHECK: vpdpbssd ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
176// CHECK: encoding: [0xc4,0xe2,0x67,0x50,0x94,0xf4,0x00,0x00,0x00,0x10]
177          vpdpbssd ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
178
179// CHECK: vpdpbssd ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
180// CHECK: encoding: [0x62,0xf2,0x67,0x2f,0x50,0x94,0x87,0x23,0x01,0x00,0x00]
181          vpdpbssd ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
182
183// CHECK: vpdpbssd ymm2, ymm3, dword ptr [eax]{1to8}
184// CHECK: encoding: [0x62,0xf2,0x67,0x38,0x50,0x10]
185          vpdpbssd ymm2, ymm3, dword ptr [eax]{1to8}
186
187// CHECK: vpdpbssd ymm2, ymm3, ymmword ptr [2*ebp - 1024]
188// CHECK: encoding: [0xc4,0xe2,0x67,0x50,0x14,0x6d,0x00,0xfc,0xff,0xff]
189          vpdpbssd ymm2, ymm3, ymmword ptr [2*ebp - 1024]
190
191// CHECK: vpdpbssd ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
192// CHECK: encoding: [0x62,0xf2,0x67,0xaf,0x50,0x51,0x7f]
193          vpdpbssd ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
194
195// CHECK: vpdpbssd ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
196// CHECK: encoding: [0x62,0xf2,0x67,0xbf,0x50,0x52,0x80]
197          vpdpbssd ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
198
199// CHECK: vpdpbssd zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
200// CHECK: encoding: [0x62,0xf2,0x67,0x48,0x50,0x94,0xf4,0x00,0x00,0x00,0x10]
201          vpdpbssd zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
202
203// CHECK: vpdpbssd zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
204// CHECK: encoding: [0x62,0xf2,0x67,0x4f,0x50,0x94,0x87,0x23,0x01,0x00,0x00]
205          vpdpbssd zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
206
207// CHECK: vpdpbssd zmm2, zmm3, dword ptr [eax]{1to16}
208// CHECK: encoding: [0x62,0xf2,0x67,0x58,0x50,0x10]
209          vpdpbssd zmm2, zmm3, dword ptr [eax]{1to16}
210
211// CHECK: vpdpbssd zmm2, zmm3, zmmword ptr [2*ebp - 2048]
212// CHECK: encoding: [0x62,0xf2,0x67,0x48,0x50,0x14,0x6d,0x00,0xf8,0xff,0xff]
213          vpdpbssd zmm2, zmm3, zmmword ptr [2*ebp - 2048]
214
215// CHECK: vpdpbssd zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
216// CHECK: encoding: [0x62,0xf2,0x67,0xcf,0x50,0x51,0x7f]
217          vpdpbssd zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
218
219// CHECK: vpdpbssd zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
220// CHECK: encoding: [0x62,0xf2,0x67,0xdf,0x50,0x52,0x80]
221          vpdpbssd zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
222
223// CHECK: vpdpbssds xmm2, xmm3, xmm4
224// CHECK: encoding: [0xc4,0xe2,0x63,0x51,0xd4]
225          vpdpbssds xmm2, xmm3, xmm4
226
227// CHECK: vpdpbssds xmm2 {k7}, xmm3, xmm4
228// CHECK: encoding: [0x62,0xf2,0x67,0x0f,0x51,0xd4]
229          vpdpbssds xmm2 {k7}, xmm3, xmm4
230
231// CHECK: vpdpbssds xmm2 {k7} {z}, xmm3, xmm4
232// CHECK: encoding: [0x62,0xf2,0x67,0x8f,0x51,0xd4]
233          vpdpbssds xmm2 {k7} {z}, xmm3, xmm4
234
235// CHECK: vpdpbssds ymm2, ymm3, ymm4
236// CHECK: encoding: [0xc4,0xe2,0x67,0x51,0xd4]
237          vpdpbssds ymm2, ymm3, ymm4
238
239// CHECK: vpdpbssds ymm2 {k7}, ymm3, ymm4
240// CHECK: encoding: [0x62,0xf2,0x67,0x2f,0x51,0xd4]
241          vpdpbssds ymm2 {k7}, ymm3, ymm4
242
243// CHECK: vpdpbssds ymm2 {k7} {z}, ymm3, ymm4
244// CHECK: encoding: [0x62,0xf2,0x67,0xaf,0x51,0xd4]
245          vpdpbssds ymm2 {k7} {z}, ymm3, ymm4
246
247// CHECK: vpdpbssds zmm2, zmm3, zmm4
248// CHECK: encoding: [0x62,0xf2,0x67,0x48,0x51,0xd4]
249          vpdpbssds zmm2, zmm3, zmm4
250
251// CHECK: vpdpbssds zmm2 {k7}, zmm3, zmm4
252// CHECK: encoding: [0x62,0xf2,0x67,0x4f,0x51,0xd4]
253          vpdpbssds zmm2 {k7}, zmm3, zmm4
254
255// CHECK: vpdpbssds zmm2 {k7} {z}, zmm3, zmm4
256// CHECK: encoding: [0x62,0xf2,0x67,0xcf,0x51,0xd4]
257          vpdpbssds zmm2 {k7} {z}, zmm3, zmm4
258
259// CHECK: vpdpbssds xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
260// CHECK: encoding: [0xc4,0xe2,0x63,0x51,0x94,0xf4,0x00,0x00,0x00,0x10]
261          vpdpbssds xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
262
263// CHECK: vpdpbssds xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
264// CHECK: encoding: [0x62,0xf2,0x67,0x0f,0x51,0x94,0x87,0x23,0x01,0x00,0x00]
265          vpdpbssds xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
266
267// CHECK: vpdpbssds xmm2, xmm3, dword ptr [eax]{1to4}
268// CHECK: encoding: [0x62,0xf2,0x67,0x18,0x51,0x10]
269          vpdpbssds xmm2, xmm3, dword ptr [eax]{1to4}
270
271// CHECK: vpdpbssds xmm2, xmm3, xmmword ptr [2*ebp - 512]
272// CHECK: encoding: [0xc4,0xe2,0x63,0x51,0x14,0x6d,0x00,0xfe,0xff,0xff]
273          vpdpbssds xmm2, xmm3, xmmword ptr [2*ebp - 512]
274
275// CHECK: vpdpbssds xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
276// CHECK: encoding: [0x62,0xf2,0x67,0x8f,0x51,0x51,0x7f]
277          vpdpbssds xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
278
279// CHECK: vpdpbssds xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
280// CHECK: encoding: [0x62,0xf2,0x67,0x9f,0x51,0x52,0x80]
281          vpdpbssds xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
282
283// CHECK: vpdpbssds ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
284// CHECK: encoding: [0xc4,0xe2,0x67,0x51,0x94,0xf4,0x00,0x00,0x00,0x10]
285          vpdpbssds ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
286
287// CHECK: vpdpbssds ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
288// CHECK: encoding: [0x62,0xf2,0x67,0x2f,0x51,0x94,0x87,0x23,0x01,0x00,0x00]
289          vpdpbssds ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
290
291// CHECK: vpdpbssds ymm2, ymm3, dword ptr [eax]{1to8}
292// CHECK: encoding: [0x62,0xf2,0x67,0x38,0x51,0x10]
293          vpdpbssds ymm2, ymm3, dword ptr [eax]{1to8}
294
295// CHECK: vpdpbssds ymm2, ymm3, ymmword ptr [2*ebp - 1024]
296// CHECK: encoding: [0xc4,0xe2,0x67,0x51,0x14,0x6d,0x00,0xfc,0xff,0xff]
297          vpdpbssds ymm2, ymm3, ymmword ptr [2*ebp - 1024]
298
299// CHECK: vpdpbssds ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
300// CHECK: encoding: [0x62,0xf2,0x67,0xaf,0x51,0x51,0x7f]
301          vpdpbssds ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
302
303// CHECK: vpdpbssds ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
304// CHECK: encoding: [0x62,0xf2,0x67,0xbf,0x51,0x52,0x80]
305          vpdpbssds ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
306
307// CHECK: vpdpbssds zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
308// CHECK: encoding: [0x62,0xf2,0x67,0x48,0x51,0x94,0xf4,0x00,0x00,0x00,0x10]
309          vpdpbssds zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
310
311// CHECK: vpdpbssds zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
312// CHECK: encoding: [0x62,0xf2,0x67,0x4f,0x51,0x94,0x87,0x23,0x01,0x00,0x00]
313          vpdpbssds zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
314
315// CHECK: vpdpbssds zmm2, zmm3, dword ptr [eax]{1to16}
316// CHECK: encoding: [0x62,0xf2,0x67,0x58,0x51,0x10]
317          vpdpbssds zmm2, zmm3, dword ptr [eax]{1to16}
318
319// CHECK: vpdpbssds zmm2, zmm3, zmmword ptr [2*ebp - 2048]
320// CHECK: encoding: [0x62,0xf2,0x67,0x48,0x51,0x14,0x6d,0x00,0xf8,0xff,0xff]
321          vpdpbssds zmm2, zmm3, zmmword ptr [2*ebp - 2048]
322
323// CHECK: vpdpbssds zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
324// CHECK: encoding: [0x62,0xf2,0x67,0xcf,0x51,0x51,0x7f]
325          vpdpbssds zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
326
327// CHECK: vpdpbssds zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
328// CHECK: encoding: [0x62,0xf2,0x67,0xdf,0x51,0x52,0x80]
329          vpdpbssds zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
330
331// CHECK: vpdpbsud xmm2, xmm3, xmm4
332// CHECK: encoding: [0xc4,0xe2,0x62,0x50,0xd4]
333          vpdpbsud xmm2, xmm3, xmm4
334
335// CHECK: vpdpbsud xmm2 {k7}, xmm3, xmm4
336// CHECK: encoding: [0x62,0xf2,0x66,0x0f,0x50,0xd4]
337          vpdpbsud xmm2 {k7}, xmm3, xmm4
338
339// CHECK: vpdpbsud xmm2 {k7} {z}, xmm3, xmm4
340// CHECK: encoding: [0x62,0xf2,0x66,0x8f,0x50,0xd4]
341          vpdpbsud xmm2 {k7} {z}, xmm3, xmm4
342
343// CHECK: vpdpbsud ymm2, ymm3, ymm4
344// CHECK: encoding: [0xc4,0xe2,0x66,0x50,0xd4]
345          vpdpbsud ymm2, ymm3, ymm4
346
347// CHECK: vpdpbsud ymm2 {k7}, ymm3, ymm4
348// CHECK: encoding: [0x62,0xf2,0x66,0x2f,0x50,0xd4]
349          vpdpbsud ymm2 {k7}, ymm3, ymm4
350
351// CHECK: vpdpbsud ymm2 {k7} {z}, ymm3, ymm4
352// CHECK: encoding: [0x62,0xf2,0x66,0xaf,0x50,0xd4]
353          vpdpbsud ymm2 {k7} {z}, ymm3, ymm4
354
355// CHECK: vpdpbsud zmm2, zmm3, zmm4
356// CHECK: encoding: [0x62,0xf2,0x66,0x48,0x50,0xd4]
357          vpdpbsud zmm2, zmm3, zmm4
358
359// CHECK: vpdpbsud zmm2 {k7}, zmm3, zmm4
360// CHECK: encoding: [0x62,0xf2,0x66,0x4f,0x50,0xd4]
361          vpdpbsud zmm2 {k7}, zmm3, zmm4
362
363// CHECK: vpdpbsud zmm2 {k7} {z}, zmm3, zmm4
364// CHECK: encoding: [0x62,0xf2,0x66,0xcf,0x50,0xd4]
365          vpdpbsud zmm2 {k7} {z}, zmm3, zmm4
366
367// CHECK: vpdpbsud xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
368// CHECK: encoding: [0xc4,0xe2,0x62,0x50,0x94,0xf4,0x00,0x00,0x00,0x10]
369          vpdpbsud xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
370
371// CHECK: vpdpbsud xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
372// CHECK: encoding: [0x62,0xf2,0x66,0x0f,0x50,0x94,0x87,0x23,0x01,0x00,0x00]
373          vpdpbsud xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
374
375// CHECK: vpdpbsud xmm2, xmm3, dword ptr [eax]{1to4}
376// CHECK: encoding: [0x62,0xf2,0x66,0x18,0x50,0x10]
377          vpdpbsud xmm2, xmm3, dword ptr [eax]{1to4}
378
379// CHECK: vpdpbsud xmm2, xmm3, xmmword ptr [2*ebp - 512]
380// CHECK: encoding: [0xc4,0xe2,0x62,0x50,0x14,0x6d,0x00,0xfe,0xff,0xff]
381          vpdpbsud xmm2, xmm3, xmmword ptr [2*ebp - 512]
382
383// CHECK: vpdpbsud xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
384// CHECK: encoding: [0x62,0xf2,0x66,0x8f,0x50,0x51,0x7f]
385          vpdpbsud xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
386
387// CHECK: vpdpbsud xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
388// CHECK: encoding: [0x62,0xf2,0x66,0x9f,0x50,0x52,0x80]
389          vpdpbsud xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
390
391// CHECK: vpdpbsud ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
392// CHECK: encoding: [0xc4,0xe2,0x66,0x50,0x94,0xf4,0x00,0x00,0x00,0x10]
393          vpdpbsud ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
394
395// CHECK: vpdpbsud ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
396// CHECK: encoding: [0x62,0xf2,0x66,0x2f,0x50,0x94,0x87,0x23,0x01,0x00,0x00]
397          vpdpbsud ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
398
399// CHECK: vpdpbsud ymm2, ymm3, dword ptr [eax]{1to8}
400// CHECK: encoding: [0x62,0xf2,0x66,0x38,0x50,0x10]
401          vpdpbsud ymm2, ymm3, dword ptr [eax]{1to8}
402
403// CHECK: vpdpbsud ymm2, ymm3, ymmword ptr [2*ebp - 1024]
404// CHECK: encoding: [0xc4,0xe2,0x66,0x50,0x14,0x6d,0x00,0xfc,0xff,0xff]
405          vpdpbsud ymm2, ymm3, ymmword ptr [2*ebp - 1024]
406
407// CHECK: vpdpbsud ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
408// CHECK: encoding: [0x62,0xf2,0x66,0xaf,0x50,0x51,0x7f]
409          vpdpbsud ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
410
411// CHECK: vpdpbsud ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
412// CHECK: encoding: [0x62,0xf2,0x66,0xbf,0x50,0x52,0x80]
413          vpdpbsud ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
414
415// CHECK: vpdpbsud zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
416// CHECK: encoding: [0x62,0xf2,0x66,0x48,0x50,0x94,0xf4,0x00,0x00,0x00,0x10]
417          vpdpbsud zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
418
419// CHECK: vpdpbsud zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
420// CHECK: encoding: [0x62,0xf2,0x66,0x4f,0x50,0x94,0x87,0x23,0x01,0x00,0x00]
421          vpdpbsud zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
422
423// CHECK: vpdpbsud zmm2, zmm3, dword ptr [eax]{1to16}
424// CHECK: encoding: [0x62,0xf2,0x66,0x58,0x50,0x10]
425          vpdpbsud zmm2, zmm3, dword ptr [eax]{1to16}
426
427// CHECK: vpdpbsud zmm2, zmm3, zmmword ptr [2*ebp - 2048]
428// CHECK: encoding: [0x62,0xf2,0x66,0x48,0x50,0x14,0x6d,0x00,0xf8,0xff,0xff]
429          vpdpbsud zmm2, zmm3, zmmword ptr [2*ebp - 2048]
430
431// CHECK: vpdpbsud zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
432// CHECK: encoding: [0x62,0xf2,0x66,0xcf,0x50,0x51,0x7f]
433          vpdpbsud zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
434
435// CHECK: vpdpbsud zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
436// CHECK: encoding: [0x62,0xf2,0x66,0xdf,0x50,0x52,0x80]
437          vpdpbsud zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
438
439// CHECK: vpdpbsuds xmm2, xmm3, xmm4
440// CHECK: encoding: [0xc4,0xe2,0x62,0x51,0xd4]
441          vpdpbsuds xmm2, xmm3, xmm4
442
443// CHECK: vpdpbsuds xmm2 {k7}, xmm3, xmm4
444// CHECK: encoding: [0x62,0xf2,0x66,0x0f,0x51,0xd4]
445          vpdpbsuds xmm2 {k7}, xmm3, xmm4
446
447// CHECK: vpdpbsuds xmm2 {k7} {z}, xmm3, xmm4
448// CHECK: encoding: [0x62,0xf2,0x66,0x8f,0x51,0xd4]
449          vpdpbsuds xmm2 {k7} {z}, xmm3, xmm4
450
451// CHECK: vpdpbsuds ymm2, ymm3, ymm4
452// CHECK: encoding: [0xc4,0xe2,0x66,0x51,0xd4]
453          vpdpbsuds ymm2, ymm3, ymm4
454
455// CHECK: vpdpbsuds ymm2 {k7}, ymm3, ymm4
456// CHECK: encoding: [0x62,0xf2,0x66,0x2f,0x51,0xd4]
457          vpdpbsuds ymm2 {k7}, ymm3, ymm4
458
459// CHECK: vpdpbsuds ymm2 {k7} {z}, ymm3, ymm4
460// CHECK: encoding: [0x62,0xf2,0x66,0xaf,0x51,0xd4]
461          vpdpbsuds ymm2 {k7} {z}, ymm3, ymm4
462
463// CHECK: vpdpbsuds zmm2, zmm3, zmm4
464// CHECK: encoding: [0x62,0xf2,0x66,0x48,0x51,0xd4]
465          vpdpbsuds zmm2, zmm3, zmm4
466
467// CHECK: vpdpbsuds zmm2 {k7}, zmm3, zmm4
468// CHECK: encoding: [0x62,0xf2,0x66,0x4f,0x51,0xd4]
469          vpdpbsuds zmm2 {k7}, zmm3, zmm4
470
471// CHECK: vpdpbsuds zmm2 {k7} {z}, zmm3, zmm4
472// CHECK: encoding: [0x62,0xf2,0x66,0xcf,0x51,0xd4]
473          vpdpbsuds zmm2 {k7} {z}, zmm3, zmm4
474
475// CHECK: vpdpbsuds xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
476// CHECK: encoding: [0xc4,0xe2,0x62,0x51,0x94,0xf4,0x00,0x00,0x00,0x10]
477          vpdpbsuds xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
478
479// CHECK: vpdpbsuds xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
480// CHECK: encoding: [0x62,0xf2,0x66,0x0f,0x51,0x94,0x87,0x23,0x01,0x00,0x00]
481          vpdpbsuds xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
482
483// CHECK: vpdpbsuds xmm2, xmm3, dword ptr [eax]{1to4}
484// CHECK: encoding: [0x62,0xf2,0x66,0x18,0x51,0x10]
485          vpdpbsuds xmm2, xmm3, dword ptr [eax]{1to4}
486
487// CHECK: vpdpbsuds xmm2, xmm3, xmmword ptr [2*ebp - 512]
488// CHECK: encoding: [0xc4,0xe2,0x62,0x51,0x14,0x6d,0x00,0xfe,0xff,0xff]
489          vpdpbsuds xmm2, xmm3, xmmword ptr [2*ebp - 512]
490
491// CHECK: vpdpbsuds xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
492// CHECK: encoding: [0x62,0xf2,0x66,0x8f,0x51,0x51,0x7f]
493          vpdpbsuds xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
494
495// CHECK: vpdpbsuds xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
496// CHECK: encoding: [0x62,0xf2,0x66,0x9f,0x51,0x52,0x80]
497          vpdpbsuds xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
498
499// CHECK: vpdpbsuds ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
500// CHECK: encoding: [0xc4,0xe2,0x66,0x51,0x94,0xf4,0x00,0x00,0x00,0x10]
501          vpdpbsuds ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
502
503// CHECK: vpdpbsuds ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
504// CHECK: encoding: [0x62,0xf2,0x66,0x2f,0x51,0x94,0x87,0x23,0x01,0x00,0x00]
505          vpdpbsuds ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
506
507// CHECK: vpdpbsuds ymm2, ymm3, dword ptr [eax]{1to8}
508// CHECK: encoding: [0x62,0xf2,0x66,0x38,0x51,0x10]
509          vpdpbsuds ymm2, ymm3, dword ptr [eax]{1to8}
510
511// CHECK: vpdpbsuds ymm2, ymm3, ymmword ptr [2*ebp - 1024]
512// CHECK: encoding: [0xc4,0xe2,0x66,0x51,0x14,0x6d,0x00,0xfc,0xff,0xff]
513          vpdpbsuds ymm2, ymm3, ymmword ptr [2*ebp - 1024]
514
515// CHECK: vpdpbsuds ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
516// CHECK: encoding: [0x62,0xf2,0x66,0xaf,0x51,0x51,0x7f]
517          vpdpbsuds ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
518
519// CHECK: vpdpbsuds ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
520// CHECK: encoding: [0x62,0xf2,0x66,0xbf,0x51,0x52,0x80]
521          vpdpbsuds ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
522
523// CHECK: vpdpbsuds zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
524// CHECK: encoding: [0x62,0xf2,0x66,0x48,0x51,0x94,0xf4,0x00,0x00,0x00,0x10]
525          vpdpbsuds zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
526
527// CHECK: vpdpbsuds zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
528// CHECK: encoding: [0x62,0xf2,0x66,0x4f,0x51,0x94,0x87,0x23,0x01,0x00,0x00]
529          vpdpbsuds zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
530
531// CHECK: vpdpbsuds zmm2, zmm3, dword ptr [eax]{1to16}
532// CHECK: encoding: [0x62,0xf2,0x66,0x58,0x51,0x10]
533          vpdpbsuds zmm2, zmm3, dword ptr [eax]{1to16}
534
535// CHECK: vpdpbsuds zmm2, zmm3, zmmword ptr [2*ebp - 2048]
536// CHECK: encoding: [0x62,0xf2,0x66,0x48,0x51,0x14,0x6d,0x00,0xf8,0xff,0xff]
537          vpdpbsuds zmm2, zmm3, zmmword ptr [2*ebp - 2048]
538
539// CHECK: vpdpbsuds zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
540// CHECK: encoding: [0x62,0xf2,0x66,0xcf,0x51,0x51,0x7f]
541          vpdpbsuds zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
542
543// CHECK: vpdpbsuds zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
544// CHECK: encoding: [0x62,0xf2,0x66,0xdf,0x51,0x52,0x80]
545          vpdpbsuds zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
546
547// CHECK: vpdpbuud xmm2, xmm3, xmm4
548// CHECK: encoding: [0xc4,0xe2,0x60,0x50,0xd4]
549          vpdpbuud xmm2, xmm3, xmm4
550
551// CHECK: vpdpbuud xmm2 {k7}, xmm3, xmm4
552// CHECK: encoding: [0x62,0xf2,0x64,0x0f,0x50,0xd4]
553          vpdpbuud xmm2 {k7}, xmm3, xmm4
554
555// CHECK: vpdpbuud xmm2 {k7} {z}, xmm3, xmm4
556// CHECK: encoding: [0x62,0xf2,0x64,0x8f,0x50,0xd4]
557          vpdpbuud xmm2 {k7} {z}, xmm3, xmm4
558
559// CHECK: vpdpbuud ymm2, ymm3, ymm4
560// CHECK: encoding: [0xc4,0xe2,0x64,0x50,0xd4]
561          vpdpbuud ymm2, ymm3, ymm4
562
563// CHECK: vpdpbuud ymm2 {k7}, ymm3, ymm4
564// CHECK: encoding: [0x62,0xf2,0x64,0x2f,0x50,0xd4]
565          vpdpbuud ymm2 {k7}, ymm3, ymm4
566
567// CHECK: vpdpbuud ymm2 {k7} {z}, ymm3, ymm4
568// CHECK: encoding: [0x62,0xf2,0x64,0xaf,0x50,0xd4]
569          vpdpbuud ymm2 {k7} {z}, ymm3, ymm4
570
571// CHECK: vpdpbuud zmm2, zmm3, zmm4
572// CHECK: encoding: [0x62,0xf2,0x64,0x48,0x50,0xd4]
573          vpdpbuud zmm2, zmm3, zmm4
574
575// CHECK: vpdpbuud zmm2 {k7}, zmm3, zmm4
576// CHECK: encoding: [0x62,0xf2,0x64,0x4f,0x50,0xd4]
577          vpdpbuud zmm2 {k7}, zmm3, zmm4
578
579// CHECK: vpdpbuud zmm2 {k7} {z}, zmm3, zmm4
580// CHECK: encoding: [0x62,0xf2,0x64,0xcf,0x50,0xd4]
581          vpdpbuud zmm2 {k7} {z}, zmm3, zmm4
582
583// CHECK: vpdpbuud xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
584// CHECK: encoding: [0xc4,0xe2,0x60,0x50,0x94,0xf4,0x00,0x00,0x00,0x10]
585          vpdpbuud xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
586
587// CHECK: vpdpbuud xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
588// CHECK: encoding: [0x62,0xf2,0x64,0x0f,0x50,0x94,0x87,0x23,0x01,0x00,0x00]
589          vpdpbuud xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
590
591// CHECK: vpdpbuud xmm2, xmm3, dword ptr [eax]{1to4}
592// CHECK: encoding: [0x62,0xf2,0x64,0x18,0x50,0x10]
593          vpdpbuud xmm2, xmm3, dword ptr [eax]{1to4}
594
595// CHECK: vpdpbuud xmm2, xmm3, xmmword ptr [2*ebp - 512]
596// CHECK: encoding: [0xc4,0xe2,0x60,0x50,0x14,0x6d,0x00,0xfe,0xff,0xff]
597          vpdpbuud xmm2, xmm3, xmmword ptr [2*ebp - 512]
598
599// CHECK: vpdpbuud xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
600// CHECK: encoding: [0x62,0xf2,0x64,0x8f,0x50,0x51,0x7f]
601          vpdpbuud xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
602
603// CHECK: vpdpbuud xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
604// CHECK: encoding: [0x62,0xf2,0x64,0x9f,0x50,0x52,0x80]
605          vpdpbuud xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
606
607// CHECK: vpdpbuud ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
608// CHECK: encoding: [0xc4,0xe2,0x64,0x50,0x94,0xf4,0x00,0x00,0x00,0x10]
609          vpdpbuud ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
610
611// CHECK: vpdpbuud ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
612// CHECK: encoding: [0x62,0xf2,0x64,0x2f,0x50,0x94,0x87,0x23,0x01,0x00,0x00]
613          vpdpbuud ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
614
615// CHECK: vpdpbuud ymm2, ymm3, dword ptr [eax]{1to8}
616// CHECK: encoding: [0x62,0xf2,0x64,0x38,0x50,0x10]
617          vpdpbuud ymm2, ymm3, dword ptr [eax]{1to8}
618
619// CHECK: vpdpbuud ymm2, ymm3, ymmword ptr [2*ebp - 1024]
620// CHECK: encoding: [0xc4,0xe2,0x64,0x50,0x14,0x6d,0x00,0xfc,0xff,0xff]
621          vpdpbuud ymm2, ymm3, ymmword ptr [2*ebp - 1024]
622
623// CHECK: vpdpbuud ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
624// CHECK: encoding: [0x62,0xf2,0x64,0xaf,0x50,0x51,0x7f]
625          vpdpbuud ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
626
627// CHECK: vpdpbuud ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
628// CHECK: encoding: [0x62,0xf2,0x64,0xbf,0x50,0x52,0x80]
629          vpdpbuud ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
630
631// CHECK: vpdpbuud zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
632// CHECK: encoding: [0x62,0xf2,0x64,0x48,0x50,0x94,0xf4,0x00,0x00,0x00,0x10]
633          vpdpbuud zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
634
635// CHECK: vpdpbuud zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
636// CHECK: encoding: [0x62,0xf2,0x64,0x4f,0x50,0x94,0x87,0x23,0x01,0x00,0x00]
637          vpdpbuud zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
638
639// CHECK: vpdpbuud zmm2, zmm3, dword ptr [eax]{1to16}
640// CHECK: encoding: [0x62,0xf2,0x64,0x58,0x50,0x10]
641          vpdpbuud zmm2, zmm3, dword ptr [eax]{1to16}
642
643// CHECK: vpdpbuud zmm2, zmm3, zmmword ptr [2*ebp - 2048]
644// CHECK: encoding: [0x62,0xf2,0x64,0x48,0x50,0x14,0x6d,0x00,0xf8,0xff,0xff]
645          vpdpbuud zmm2, zmm3, zmmword ptr [2*ebp - 2048]
646
647// CHECK: vpdpbuud zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
648// CHECK: encoding: [0x62,0xf2,0x64,0xcf,0x50,0x51,0x7f]
649          vpdpbuud zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
650
651// CHECK: vpdpbuud zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
652// CHECK: encoding: [0x62,0xf2,0x64,0xdf,0x50,0x52,0x80]
653          vpdpbuud zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
654
655// CHECK: vpdpbuuds xmm2, xmm3, xmm4
656// CHECK: encoding: [0xc4,0xe2,0x60,0x51,0xd4]
657          vpdpbuuds xmm2, xmm3, xmm4
658
659// CHECK: vpdpbuuds xmm2 {k7}, xmm3, xmm4
660// CHECK: encoding: [0x62,0xf2,0x64,0x0f,0x51,0xd4]
661          vpdpbuuds xmm2 {k7}, xmm3, xmm4
662
663// CHECK: vpdpbuuds xmm2 {k7} {z}, xmm3, xmm4
664// CHECK: encoding: [0x62,0xf2,0x64,0x8f,0x51,0xd4]
665          vpdpbuuds xmm2 {k7} {z}, xmm3, xmm4
666
667// CHECK: vpdpbuuds ymm2, ymm3, ymm4
668// CHECK: encoding: [0xc4,0xe2,0x64,0x51,0xd4]
669          vpdpbuuds ymm2, ymm3, ymm4
670
671// CHECK: vpdpbuuds ymm2 {k7}, ymm3, ymm4
672// CHECK: encoding: [0x62,0xf2,0x64,0x2f,0x51,0xd4]
673          vpdpbuuds ymm2 {k7}, ymm3, ymm4
674
675// CHECK: vpdpbuuds ymm2 {k7} {z}, ymm3, ymm4
676// CHECK: encoding: [0x62,0xf2,0x64,0xaf,0x51,0xd4]
677          vpdpbuuds ymm2 {k7} {z}, ymm3, ymm4
678
679// CHECK: vpdpbuuds zmm2, zmm3, zmm4
680// CHECK: encoding: [0x62,0xf2,0x64,0x48,0x51,0xd4]
681          vpdpbuuds zmm2, zmm3, zmm4
682
683// CHECK: vpdpbuuds zmm2 {k7}, zmm3, zmm4
684// CHECK: encoding: [0x62,0xf2,0x64,0x4f,0x51,0xd4]
685          vpdpbuuds zmm2 {k7}, zmm3, zmm4
686
687// CHECK: vpdpbuuds zmm2 {k7} {z}, zmm3, zmm4
688// CHECK: encoding: [0x62,0xf2,0x64,0xcf,0x51,0xd4]
689          vpdpbuuds zmm2 {k7} {z}, zmm3, zmm4
690
691// CHECK: vpdpbuuds xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
692// CHECK: encoding: [0xc4,0xe2,0x60,0x51,0x94,0xf4,0x00,0x00,0x00,0x10]
693          vpdpbuuds xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
694
695// CHECK: vpdpbuuds xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
696// CHECK: encoding: [0x62,0xf2,0x64,0x0f,0x51,0x94,0x87,0x23,0x01,0x00,0x00]
697          vpdpbuuds xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
698
699// CHECK: vpdpbuuds xmm2, xmm3, dword ptr [eax]{1to4}
700// CHECK: encoding: [0x62,0xf2,0x64,0x18,0x51,0x10]
701          vpdpbuuds xmm2, xmm3, dword ptr [eax]{1to4}
702
703// CHECK: vpdpbuuds xmm2, xmm3, xmmword ptr [2*ebp - 512]
704// CHECK: encoding: [0xc4,0xe2,0x60,0x51,0x14,0x6d,0x00,0xfe,0xff,0xff]
705          vpdpbuuds xmm2, xmm3, xmmword ptr [2*ebp - 512]
706
707// CHECK: vpdpbuuds xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
708// CHECK: encoding: [0x62,0xf2,0x64,0x8f,0x51,0x51,0x7f]
709          vpdpbuuds xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
710
711// CHECK: vpdpbuuds xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
712// CHECK: encoding: [0x62,0xf2,0x64,0x9f,0x51,0x52,0x80]
713          vpdpbuuds xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
714
715// CHECK: vpdpbuuds ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
716// CHECK: encoding: [0xc4,0xe2,0x64,0x51,0x94,0xf4,0x00,0x00,0x00,0x10]
717          vpdpbuuds ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
718
719// CHECK: vpdpbuuds ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
720// CHECK: encoding: [0x62,0xf2,0x64,0x2f,0x51,0x94,0x87,0x23,0x01,0x00,0x00]
721          vpdpbuuds ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
722
723// CHECK: vpdpbuuds ymm2, ymm3, dword ptr [eax]{1to8}
724// CHECK: encoding: [0x62,0xf2,0x64,0x38,0x51,0x10]
725          vpdpbuuds ymm2, ymm3, dword ptr [eax]{1to8}
726
727// CHECK: vpdpbuuds ymm2, ymm3, ymmword ptr [2*ebp - 1024]
728// CHECK: encoding: [0xc4,0xe2,0x64,0x51,0x14,0x6d,0x00,0xfc,0xff,0xff]
729          vpdpbuuds ymm2, ymm3, ymmword ptr [2*ebp - 1024]
730
731// CHECK: vpdpbuuds ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
732// CHECK: encoding: [0x62,0xf2,0x64,0xaf,0x51,0x51,0x7f]
733          vpdpbuuds ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
734
735// CHECK: vpdpbuuds ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
736// CHECK: encoding: [0x62,0xf2,0x64,0xbf,0x51,0x52,0x80]
737          vpdpbuuds ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
738
739// CHECK: vpdpbuuds zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
740// CHECK: encoding: [0x62,0xf2,0x64,0x48,0x51,0x94,0xf4,0x00,0x00,0x00,0x10]
741          vpdpbuuds zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
742
743// CHECK: vpdpbuuds zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
744// CHECK: encoding: [0x62,0xf2,0x64,0x4f,0x51,0x94,0x87,0x23,0x01,0x00,0x00]
745          vpdpbuuds zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
746
747// CHECK: vpdpbuuds zmm2, zmm3, dword ptr [eax]{1to16}
748// CHECK: encoding: [0x62,0xf2,0x64,0x58,0x51,0x10]
749          vpdpbuuds zmm2, zmm3, dword ptr [eax]{1to16}
750
751// CHECK: vpdpbuuds zmm2, zmm3, zmmword ptr [2*ebp - 2048]
752// CHECK: encoding: [0x62,0xf2,0x64,0x48,0x51,0x14,0x6d,0x00,0xf8,0xff,0xff]
753          vpdpbuuds zmm2, zmm3, zmmword ptr [2*ebp - 2048]
754
755// CHECK: vpdpbuuds zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
756// CHECK: encoding: [0x62,0xf2,0x64,0xcf,0x51,0x51,0x7f]
757          vpdpbuuds zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
758
759// CHECK: vpdpbuuds zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
760// CHECK: encoding: [0x62,0xf2,0x64,0xdf,0x51,0x52,0x80]
761          vpdpbuuds zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
762
763// VNNI INT16
764
765// CHECK: vpdpwsud xmm2, xmm3, xmm4
766// CHECK: encoding: [0xc4,0xe2,0x62,0xd2,0xd4]
767          vpdpwsud xmm2, xmm3, xmm4
768
769// CHECK: vpdpwsud xmm2 {k7}, xmm3, xmm4
770// CHECK: encoding: [0x62,0xf2,0x66,0x0f,0xd2,0xd4]
771          vpdpwsud xmm2 {k7}, xmm3, xmm4
772
773// CHECK: vpdpwsud xmm2 {k7} {z}, xmm3, xmm4
774// CHECK: encoding: [0x62,0xf2,0x66,0x8f,0xd2,0xd4]
775          vpdpwsud xmm2 {k7} {z}, xmm3, xmm4
776
777// CHECK: vpdpwsud ymm2, ymm3, ymm4
778// CHECK: encoding: [0xc4,0xe2,0x66,0xd2,0xd4]
779          vpdpwsud ymm2, ymm3, ymm4
780
781// CHECK: vpdpwsud ymm2 {k7}, ymm3, ymm4
782// CHECK: encoding: [0x62,0xf2,0x66,0x2f,0xd2,0xd4]
783          vpdpwsud ymm2 {k7}, ymm3, ymm4
784
785// CHECK: vpdpwsud ymm2 {k7} {z}, ymm3, ymm4
786// CHECK: encoding: [0x62,0xf2,0x66,0xaf,0xd2,0xd4]
787          vpdpwsud ymm2 {k7} {z}, ymm3, ymm4
788
789// CHECK: vpdpwsud zmm2, zmm3, zmm4
790// CHECK: encoding: [0x62,0xf2,0x66,0x48,0xd2,0xd4]
791          vpdpwsud zmm2, zmm3, zmm4
792
793// CHECK: vpdpwsud zmm2 {k7}, zmm3, zmm4
794// CHECK: encoding: [0x62,0xf2,0x66,0x4f,0xd2,0xd4]
795          vpdpwsud zmm2 {k7}, zmm3, zmm4
796
797// CHECK: vpdpwsud zmm2 {k7} {z}, zmm3, zmm4
798// CHECK: encoding: [0x62,0xf2,0x66,0xcf,0xd2,0xd4]
799          vpdpwsud zmm2 {k7} {z}, zmm3, zmm4
800
801// CHECK: vpdpwsud xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
802// CHECK: encoding: [0xc4,0xe2,0x62,0xd2,0x94,0xf4,0x00,0x00,0x00,0x10]
803          vpdpwsud xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
804
805// CHECK: vpdpwsud xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
806// CHECK: encoding: [0x62,0xf2,0x66,0x0f,0xd2,0x94,0x87,0x23,0x01,0x00,0x00]
807          vpdpwsud xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
808
809// CHECK: vpdpwsud xmm2, xmm3, dword ptr [eax]{1to4}
810// CHECK: encoding: [0x62,0xf2,0x66,0x18,0xd2,0x10]
811          vpdpwsud xmm2, xmm3, dword ptr [eax]{1to4}
812
813// CHECK: vpdpwsud xmm2, xmm3, xmmword ptr [2*ebp - 512]
814// CHECK: encoding: [0xc4,0xe2,0x62,0xd2,0x14,0x6d,0x00,0xfe,0xff,0xff]
815          vpdpwsud xmm2, xmm3, xmmword ptr [2*ebp - 512]
816
817// CHECK: vpdpwsud xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
818// CHECK: encoding: [0x62,0xf2,0x66,0x8f,0xd2,0x51,0x7f]
819          vpdpwsud xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
820
821// CHECK: vpdpwsud xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
822// CHECK: encoding: [0x62,0xf2,0x66,0x9f,0xd2,0x52,0x80]
823          vpdpwsud xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
824
825// CHECK: vpdpwsud ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
826// CHECK: encoding: [0xc4,0xe2,0x66,0xd2,0x94,0xf4,0x00,0x00,0x00,0x10]
827          vpdpwsud ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
828
829// CHECK: vpdpwsud ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
830// CHECK: encoding: [0x62,0xf2,0x66,0x2f,0xd2,0x94,0x87,0x23,0x01,0x00,0x00]
831          vpdpwsud ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
832
833// CHECK: vpdpwsud ymm2, ymm3, dword ptr [eax]{1to8}
834// CHECK: encoding: [0x62,0xf2,0x66,0x38,0xd2,0x10]
835          vpdpwsud ymm2, ymm3, dword ptr [eax]{1to8}
836
837// CHECK: vpdpwsud ymm2, ymm3, ymmword ptr [2*ebp - 1024]
838// CHECK: encoding: [0xc4,0xe2,0x66,0xd2,0x14,0x6d,0x00,0xfc,0xff,0xff]
839          vpdpwsud ymm2, ymm3, ymmword ptr [2*ebp - 1024]
840
841// CHECK: vpdpwsud ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
842// CHECK: encoding: [0x62,0xf2,0x66,0xaf,0xd2,0x51,0x7f]
843          vpdpwsud ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
844
845// CHECK: vpdpwsud ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
846// CHECK: encoding: [0x62,0xf2,0x66,0xbf,0xd2,0x52,0x80]
847          vpdpwsud ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
848
849// CHECK: vpdpwsud zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
850// CHECK: encoding: [0x62,0xf2,0x66,0x48,0xd2,0x94,0xf4,0x00,0x00,0x00,0x10]
851          vpdpwsud zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
852
853// CHECK: vpdpwsud zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
854// CHECK: encoding: [0x62,0xf2,0x66,0x4f,0xd2,0x94,0x87,0x23,0x01,0x00,0x00]
855          vpdpwsud zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
856
857// CHECK: vpdpwsud zmm2, zmm3, dword ptr [eax]{1to16}
858// CHECK: encoding: [0x62,0xf2,0x66,0x58,0xd2,0x10]
859          vpdpwsud zmm2, zmm3, dword ptr [eax]{1to16}
860
861// CHECK: vpdpwsud zmm2, zmm3, zmmword ptr [2*ebp - 2048]
862// CHECK: encoding: [0x62,0xf2,0x66,0x48,0xd2,0x14,0x6d,0x00,0xf8,0xff,0xff]
863          vpdpwsud zmm2, zmm3, zmmword ptr [2*ebp - 2048]
864
865// CHECK: vpdpwsud zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
866// CHECK: encoding: [0x62,0xf2,0x66,0xcf,0xd2,0x51,0x7f]
867          vpdpwsud zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
868
869// CHECK: vpdpwsud zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
870// CHECK: encoding: [0x62,0xf2,0x66,0xdf,0xd2,0x52,0x80]
871          vpdpwsud zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
872
873// CHECK: vpdpwsuds xmm2, xmm3, xmm4
874// CHECK: encoding: [0xc4,0xe2,0x62,0xd3,0xd4]
875          vpdpwsuds xmm2, xmm3, xmm4
876
877// CHECK: vpdpwsuds xmm2 {k7}, xmm3, xmm4
878// CHECK: encoding: [0x62,0xf2,0x66,0x0f,0xd3,0xd4]
879          vpdpwsuds xmm2 {k7}, xmm3, xmm4
880
881// CHECK: vpdpwsuds xmm2 {k7} {z}, xmm3, xmm4
882// CHECK: encoding: [0x62,0xf2,0x66,0x8f,0xd3,0xd4]
883          vpdpwsuds xmm2 {k7} {z}, xmm3, xmm4
884
885// CHECK: vpdpwsuds ymm2, ymm3, ymm4
886// CHECK: encoding: [0xc4,0xe2,0x66,0xd3,0xd4]
887          vpdpwsuds ymm2, ymm3, ymm4
888
889// CHECK: vpdpwsuds ymm2 {k7}, ymm3, ymm4
890// CHECK: encoding: [0x62,0xf2,0x66,0x2f,0xd3,0xd4]
891          vpdpwsuds ymm2 {k7}, ymm3, ymm4
892
893// CHECK: vpdpwsuds ymm2 {k7} {z}, ymm3, ymm4
894// CHECK: encoding: [0x62,0xf2,0x66,0xaf,0xd3,0xd4]
895          vpdpwsuds ymm2 {k7} {z}, ymm3, ymm4
896
897// CHECK: vpdpwsuds zmm2, zmm3, zmm4
898// CHECK: encoding: [0x62,0xf2,0x66,0x48,0xd3,0xd4]
899          vpdpwsuds zmm2, zmm3, zmm4
900
901// CHECK: vpdpwsuds zmm2 {k7}, zmm3, zmm4
902// CHECK: encoding: [0x62,0xf2,0x66,0x4f,0xd3,0xd4]
903          vpdpwsuds zmm2 {k7}, zmm3, zmm4
904
905// CHECK: vpdpwsuds zmm2 {k7} {z}, zmm3, zmm4
906// CHECK: encoding: [0x62,0xf2,0x66,0xcf,0xd3,0xd4]
907          vpdpwsuds zmm2 {k7} {z}, zmm3, zmm4
908
909// CHECK: vpdpwsuds xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
910// CHECK: encoding: [0xc4,0xe2,0x62,0xd3,0x94,0xf4,0x00,0x00,0x00,0x10]
911          vpdpwsuds xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
912
913// CHECK: vpdpwsuds xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
914// CHECK: encoding: [0x62,0xf2,0x66,0x0f,0xd3,0x94,0x87,0x23,0x01,0x00,0x00]
915          vpdpwsuds xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
916
917// CHECK: vpdpwsuds xmm2, xmm3, dword ptr [eax]{1to4}
918// CHECK: encoding: [0x62,0xf2,0x66,0x18,0xd3,0x10]
919          vpdpwsuds xmm2, xmm3, dword ptr [eax]{1to4}
920
921// CHECK: vpdpwsuds xmm2, xmm3, xmmword ptr [2*ebp - 512]
922// CHECK: encoding: [0xc4,0xe2,0x62,0xd3,0x14,0x6d,0x00,0xfe,0xff,0xff]
923          vpdpwsuds xmm2, xmm3, xmmword ptr [2*ebp - 512]
924
925// CHECK: vpdpwsuds xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
926// CHECK: encoding: [0x62,0xf2,0x66,0x8f,0xd3,0x51,0x7f]
927          vpdpwsuds xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
928
929// CHECK: vpdpwsuds xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
930// CHECK: encoding: [0x62,0xf2,0x66,0x9f,0xd3,0x52,0x80]
931          vpdpwsuds xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
932
933// CHECK: vpdpwsuds ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
934// CHECK: encoding: [0xc4,0xe2,0x66,0xd3,0x94,0xf4,0x00,0x00,0x00,0x10]
935          vpdpwsuds ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
936
937// CHECK: vpdpwsuds ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
938// CHECK: encoding: [0x62,0xf2,0x66,0x2f,0xd3,0x94,0x87,0x23,0x01,0x00,0x00]
939          vpdpwsuds ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
940
941// CHECK: vpdpwsuds ymm2, ymm3, dword ptr [eax]{1to8}
942// CHECK: encoding: [0x62,0xf2,0x66,0x38,0xd3,0x10]
943          vpdpwsuds ymm2, ymm3, dword ptr [eax]{1to8}
944
945// CHECK: vpdpwsuds ymm2, ymm3, ymmword ptr [2*ebp - 1024]
946// CHECK: encoding: [0xc4,0xe2,0x66,0xd3,0x14,0x6d,0x00,0xfc,0xff,0xff]
947          vpdpwsuds ymm2, ymm3, ymmword ptr [2*ebp - 1024]
948
949// CHECK: vpdpwsuds ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
950// CHECK: encoding: [0x62,0xf2,0x66,0xaf,0xd3,0x51,0x7f]
951          vpdpwsuds ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
952
953// CHECK: vpdpwsuds ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
954// CHECK: encoding: [0x62,0xf2,0x66,0xbf,0xd3,0x52,0x80]
955          vpdpwsuds ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
956
957// CHECK: vpdpwsuds zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
958// CHECK: encoding: [0x62,0xf2,0x66,0x48,0xd3,0x94,0xf4,0x00,0x00,0x00,0x10]
959          vpdpwsuds zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
960
961// CHECK: vpdpwsuds zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
962// CHECK: encoding: [0x62,0xf2,0x66,0x4f,0xd3,0x94,0x87,0x23,0x01,0x00,0x00]
963          vpdpwsuds zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
964
965// CHECK: vpdpwsuds zmm2, zmm3, dword ptr [eax]{1to16}
966// CHECK: encoding: [0x62,0xf2,0x66,0x58,0xd3,0x10]
967          vpdpwsuds zmm2, zmm3, dword ptr [eax]{1to16}
968
969// CHECK: vpdpwsuds zmm2, zmm3, zmmword ptr [2*ebp - 2048]
970// CHECK: encoding: [0x62,0xf2,0x66,0x48,0xd3,0x14,0x6d,0x00,0xf8,0xff,0xff]
971          vpdpwsuds zmm2, zmm3, zmmword ptr [2*ebp - 2048]
972
973// CHECK: vpdpwsuds zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
974// CHECK: encoding: [0x62,0xf2,0x66,0xcf,0xd3,0x51,0x7f]
975          vpdpwsuds zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
976
977// CHECK: vpdpwsuds zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
978// CHECK: encoding: [0x62,0xf2,0x66,0xdf,0xd3,0x52,0x80]
979          vpdpwsuds zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
980
981// CHECK: vpdpwusd xmm2, xmm3, xmm4
982// CHECK: encoding: [0xc4,0xe2,0x61,0xd2,0xd4]
983          vpdpwusd xmm2, xmm3, xmm4
984
985// CHECK: vpdpwusd xmm2 {k7}, xmm3, xmm4
986// CHECK: encoding: [0x62,0xf2,0x65,0x0f,0xd2,0xd4]
987          vpdpwusd xmm2 {k7}, xmm3, xmm4
988
989// CHECK: vpdpwusd xmm2 {k7} {z}, xmm3, xmm4
990// CHECK: encoding: [0x62,0xf2,0x65,0x8f,0xd2,0xd4]
991          vpdpwusd xmm2 {k7} {z}, xmm3, xmm4
992
993// CHECK: vpdpwusd ymm2, ymm3, ymm4
994// CHECK: encoding: [0xc4,0xe2,0x65,0xd2,0xd4]
995          vpdpwusd ymm2, ymm3, ymm4
996
997// CHECK: vpdpwusd ymm2 {k7}, ymm3, ymm4
998// CHECK: encoding: [0x62,0xf2,0x65,0x2f,0xd2,0xd4]
999          vpdpwusd ymm2 {k7}, ymm3, ymm4
1000
1001// CHECK: vpdpwusd ymm2 {k7} {z}, ymm3, ymm4
1002// CHECK: encoding: [0x62,0xf2,0x65,0xaf,0xd2,0xd4]
1003          vpdpwusd ymm2 {k7} {z}, ymm3, ymm4
1004
1005// CHECK: vpdpwusd zmm2, zmm3, zmm4
1006// CHECK: encoding: [0x62,0xf2,0x65,0x48,0xd2,0xd4]
1007          vpdpwusd zmm2, zmm3, zmm4
1008
1009// CHECK: vpdpwusd zmm2 {k7}, zmm3, zmm4
1010// CHECK: encoding: [0x62,0xf2,0x65,0x4f,0xd2,0xd4]
1011          vpdpwusd zmm2 {k7}, zmm3, zmm4
1012
1013// CHECK: vpdpwusd zmm2 {k7} {z}, zmm3, zmm4
1014// CHECK: encoding: [0x62,0xf2,0x65,0xcf,0xd2,0xd4]
1015          vpdpwusd zmm2 {k7} {z}, zmm3, zmm4
1016
1017// CHECK: vpdpwusd xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
1018// CHECK: encoding: [0xc4,0xe2,0x61,0xd2,0x94,0xf4,0x00,0x00,0x00,0x10]
1019          vpdpwusd xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
1020
1021// CHECK: vpdpwusd xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
1022// CHECK: encoding: [0x62,0xf2,0x65,0x0f,0xd2,0x94,0x87,0x23,0x01,0x00,0x00]
1023          vpdpwusd xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
1024
1025// CHECK: vpdpwusd xmm2, xmm3, dword ptr [eax]{1to4}
1026// CHECK: encoding: [0x62,0xf2,0x65,0x18,0xd2,0x10]
1027          vpdpwusd xmm2, xmm3, dword ptr [eax]{1to4}
1028
1029// CHECK: vpdpwusd xmm2, xmm3, xmmword ptr [2*ebp - 512]
1030// CHECK: encoding: [0xc4,0xe2,0x61,0xd2,0x14,0x6d,0x00,0xfe,0xff,0xff]
1031          vpdpwusd xmm2, xmm3, xmmword ptr [2*ebp - 512]
1032
1033// CHECK: vpdpwusd xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
1034// CHECK: encoding: [0x62,0xf2,0x65,0x8f,0xd2,0x51,0x7f]
1035          vpdpwusd xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
1036
1037// CHECK: vpdpwusd xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
1038// CHECK: encoding: [0x62,0xf2,0x65,0x9f,0xd2,0x52,0x80]
1039          vpdpwusd xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
1040
1041// CHECK: vpdpwusd ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
1042// CHECK: encoding: [0xc4,0xe2,0x65,0xd2,0x94,0xf4,0x00,0x00,0x00,0x10]
1043          vpdpwusd ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
1044
1045// CHECK: vpdpwusd ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
1046// CHECK: encoding: [0x62,0xf2,0x65,0x2f,0xd2,0x94,0x87,0x23,0x01,0x00,0x00]
1047          vpdpwusd ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
1048
1049// CHECK: vpdpwusd ymm2, ymm3, dword ptr [eax]{1to8}
1050// CHECK: encoding: [0x62,0xf2,0x65,0x38,0xd2,0x10]
1051          vpdpwusd ymm2, ymm3, dword ptr [eax]{1to8}
1052
1053// CHECK: vpdpwusd ymm2, ymm3, ymmword ptr [2*ebp - 1024]
1054// CHECK: encoding: [0xc4,0xe2,0x65,0xd2,0x14,0x6d,0x00,0xfc,0xff,0xff]
1055          vpdpwusd ymm2, ymm3, ymmword ptr [2*ebp - 1024]
1056
1057// CHECK: vpdpwusd ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
1058// CHECK: encoding: [0x62,0xf2,0x65,0xaf,0xd2,0x51,0x7f]
1059          vpdpwusd ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
1060
1061// CHECK: vpdpwusd ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
1062// CHECK: encoding: [0x62,0xf2,0x65,0xbf,0xd2,0x52,0x80]
1063          vpdpwusd ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
1064
1065// CHECK: vpdpwusd zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
1066// CHECK: encoding: [0x62,0xf2,0x65,0x48,0xd2,0x94,0xf4,0x00,0x00,0x00,0x10]
1067          vpdpwusd zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
1068
1069// CHECK: vpdpwusd zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
1070// CHECK: encoding: [0x62,0xf2,0x65,0x4f,0xd2,0x94,0x87,0x23,0x01,0x00,0x00]
1071          vpdpwusd zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
1072
1073// CHECK: vpdpwusd zmm2, zmm3, dword ptr [eax]{1to16}
1074// CHECK: encoding: [0x62,0xf2,0x65,0x58,0xd2,0x10]
1075          vpdpwusd zmm2, zmm3, dword ptr [eax]{1to16}
1076
1077// CHECK: vpdpwusd zmm2, zmm3, zmmword ptr [2*ebp - 2048]
1078// CHECK: encoding: [0x62,0xf2,0x65,0x48,0xd2,0x14,0x6d,0x00,0xf8,0xff,0xff]
1079          vpdpwusd zmm2, zmm3, zmmword ptr [2*ebp - 2048]
1080
1081// CHECK: vpdpwusd zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
1082// CHECK: encoding: [0x62,0xf2,0x65,0xcf,0xd2,0x51,0x7f]
1083          vpdpwusd zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
1084
1085// CHECK: vpdpwusd zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
1086// CHECK: encoding: [0x62,0xf2,0x65,0xdf,0xd2,0x52,0x80]
1087          vpdpwusd zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
1088
1089// CHECK: vpdpwusds xmm2, xmm3, xmm4
1090// CHECK: encoding: [0xc4,0xe2,0x61,0xd3,0xd4]
1091          vpdpwusds xmm2, xmm3, xmm4
1092
1093// CHECK: vpdpwusds xmm2 {k7}, xmm3, xmm4
1094// CHECK: encoding: [0x62,0xf2,0x65,0x0f,0xd3,0xd4]
1095          vpdpwusds xmm2 {k7}, xmm3, xmm4
1096
1097// CHECK: vpdpwusds xmm2 {k7} {z}, xmm3, xmm4
1098// CHECK: encoding: [0x62,0xf2,0x65,0x8f,0xd3,0xd4]
1099          vpdpwusds xmm2 {k7} {z}, xmm3, xmm4
1100
1101// CHECK: vpdpwusds ymm2, ymm3, ymm4
1102// CHECK: encoding: [0xc4,0xe2,0x65,0xd3,0xd4]
1103          vpdpwusds ymm2, ymm3, ymm4
1104
1105// CHECK: vpdpwusds ymm2 {k7}, ymm3, ymm4
1106// CHECK: encoding: [0x62,0xf2,0x65,0x2f,0xd3,0xd4]
1107          vpdpwusds ymm2 {k7}, ymm3, ymm4
1108
1109// CHECK: vpdpwusds ymm2 {k7} {z}, ymm3, ymm4
1110// CHECK: encoding: [0x62,0xf2,0x65,0xaf,0xd3,0xd4]
1111          vpdpwusds ymm2 {k7} {z}, ymm3, ymm4
1112
1113// CHECK: vpdpwusds zmm2, zmm3, zmm4
1114// CHECK: encoding: [0x62,0xf2,0x65,0x48,0xd3,0xd4]
1115          vpdpwusds zmm2, zmm3, zmm4
1116
1117// CHECK: vpdpwusds zmm2 {k7}, zmm3, zmm4
1118// CHECK: encoding: [0x62,0xf2,0x65,0x4f,0xd3,0xd4]
1119          vpdpwusds zmm2 {k7}, zmm3, zmm4
1120
1121// CHECK: vpdpwusds zmm2 {k7} {z}, zmm3, zmm4
1122// CHECK: encoding: [0x62,0xf2,0x65,0xcf,0xd3,0xd4]
1123          vpdpwusds zmm2 {k7} {z}, zmm3, zmm4
1124
1125// CHECK: vpdpwusds xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
1126// CHECK: encoding: [0xc4,0xe2,0x61,0xd3,0x94,0xf4,0x00,0x00,0x00,0x10]
1127          vpdpwusds xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
1128
1129// CHECK: vpdpwusds xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
1130// CHECK: encoding: [0x62,0xf2,0x65,0x0f,0xd3,0x94,0x87,0x23,0x01,0x00,0x00]
1131          vpdpwusds xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
1132
1133// CHECK: vpdpwusds xmm2, xmm3, dword ptr [eax]{1to4}
1134// CHECK: encoding: [0x62,0xf2,0x65,0x18,0xd3,0x10]
1135          vpdpwusds xmm2, xmm3, dword ptr [eax]{1to4}
1136
1137// CHECK: vpdpwusds xmm2, xmm3, xmmword ptr [2*ebp - 512]
1138// CHECK: encoding: [0xc4,0xe2,0x61,0xd3,0x14,0x6d,0x00,0xfe,0xff,0xff]
1139          vpdpwusds xmm2, xmm3, xmmword ptr [2*ebp - 512]
1140
1141// CHECK: vpdpwusds xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
1142// CHECK: encoding: [0x62,0xf2,0x65,0x8f,0xd3,0x51,0x7f]
1143          vpdpwusds xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
1144
1145// CHECK: vpdpwusds xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
1146// CHECK: encoding: [0x62,0xf2,0x65,0x9f,0xd3,0x52,0x80]
1147          vpdpwusds xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
1148
1149// CHECK: vpdpwusds ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
1150// CHECK: encoding: [0xc4,0xe2,0x65,0xd3,0x94,0xf4,0x00,0x00,0x00,0x10]
1151          vpdpwusds ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
1152
1153// CHECK: vpdpwusds ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
1154// CHECK: encoding: [0x62,0xf2,0x65,0x2f,0xd3,0x94,0x87,0x23,0x01,0x00,0x00]
1155          vpdpwusds ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
1156
1157// CHECK: vpdpwusds ymm2, ymm3, dword ptr [eax]{1to8}
1158// CHECK: encoding: [0x62,0xf2,0x65,0x38,0xd3,0x10]
1159          vpdpwusds ymm2, ymm3, dword ptr [eax]{1to8}
1160
1161// CHECK: vpdpwusds ymm2, ymm3, ymmword ptr [2*ebp - 1024]
1162// CHECK: encoding: [0xc4,0xe2,0x65,0xd3,0x14,0x6d,0x00,0xfc,0xff,0xff]
1163          vpdpwusds ymm2, ymm3, ymmword ptr [2*ebp - 1024]
1164
1165// CHECK: vpdpwusds ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
1166// CHECK: encoding: [0x62,0xf2,0x65,0xaf,0xd3,0x51,0x7f]
1167          vpdpwusds ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
1168
1169// CHECK: vpdpwusds ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
1170// CHECK: encoding: [0x62,0xf2,0x65,0xbf,0xd3,0x52,0x80]
1171          vpdpwusds ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
1172
1173// CHECK: vpdpwusds zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
1174// CHECK: encoding: [0x62,0xf2,0x65,0x48,0xd3,0x94,0xf4,0x00,0x00,0x00,0x10]
1175          vpdpwusds zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
1176
1177// CHECK: vpdpwusds zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
1178// CHECK: encoding: [0x62,0xf2,0x65,0x4f,0xd3,0x94,0x87,0x23,0x01,0x00,0x00]
1179          vpdpwusds zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
1180
1181// CHECK: vpdpwusds zmm2, zmm3, dword ptr [eax]{1to16}
1182// CHECK: encoding: [0x62,0xf2,0x65,0x58,0xd3,0x10]
1183          vpdpwusds zmm2, zmm3, dword ptr [eax]{1to16}
1184
1185// CHECK: vpdpwusds zmm2, zmm3, zmmword ptr [2*ebp - 2048]
1186// CHECK: encoding: [0x62,0xf2,0x65,0x48,0xd3,0x14,0x6d,0x00,0xf8,0xff,0xff]
1187          vpdpwusds zmm2, zmm3, zmmword ptr [2*ebp - 2048]
1188
1189// CHECK: vpdpwusds zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
1190// CHECK: encoding: [0x62,0xf2,0x65,0xcf,0xd3,0x51,0x7f]
1191          vpdpwusds zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
1192
1193// CHECK: vpdpwusds zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
1194// CHECK: encoding: [0x62,0xf2,0x65,0xdf,0xd3,0x52,0x80]
1195          vpdpwusds zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
1196
1197// CHECK: vpdpwuud xmm2, xmm3, xmm4
1198// CHECK: encoding: [0xc4,0xe2,0x60,0xd2,0xd4]
1199          vpdpwuud xmm2, xmm3, xmm4
1200
1201// CHECK: vpdpwuud xmm2 {k7}, xmm3, xmm4
1202// CHECK: encoding: [0x62,0xf2,0x64,0x0f,0xd2,0xd4]
1203          vpdpwuud xmm2 {k7}, xmm3, xmm4
1204
1205// CHECK: vpdpwuud xmm2 {k7} {z}, xmm3, xmm4
1206// CHECK: encoding: [0x62,0xf2,0x64,0x8f,0xd2,0xd4]
1207          vpdpwuud xmm2 {k7} {z}, xmm3, xmm4
1208
1209// CHECK: vpdpwuud ymm2, ymm3, ymm4
1210// CHECK: encoding: [0xc4,0xe2,0x64,0xd2,0xd4]
1211          vpdpwuud ymm2, ymm3, ymm4
1212
1213// CHECK: vpdpwuud ymm2 {k7}, ymm3, ymm4
1214// CHECK: encoding: [0x62,0xf2,0x64,0x2f,0xd2,0xd4]
1215          vpdpwuud ymm2 {k7}, ymm3, ymm4
1216
1217// CHECK: vpdpwuud ymm2 {k7} {z}, ymm3, ymm4
1218// CHECK: encoding: [0x62,0xf2,0x64,0xaf,0xd2,0xd4]
1219          vpdpwuud ymm2 {k7} {z}, ymm3, ymm4
1220
1221// CHECK: vpdpwuud zmm2, zmm3, zmm4
1222// CHECK: encoding: [0x62,0xf2,0x64,0x48,0xd2,0xd4]
1223          vpdpwuud zmm2, zmm3, zmm4
1224
1225// CHECK: vpdpwuud zmm2 {k7}, zmm3, zmm4
1226// CHECK: encoding: [0x62,0xf2,0x64,0x4f,0xd2,0xd4]
1227          vpdpwuud zmm2 {k7}, zmm3, zmm4
1228
1229// CHECK: vpdpwuud zmm2 {k7} {z}, zmm3, zmm4
1230// CHECK: encoding: [0x62,0xf2,0x64,0xcf,0xd2,0xd4]
1231          vpdpwuud zmm2 {k7} {z}, zmm3, zmm4
1232
1233// CHECK: vpdpwuud xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
1234// CHECK: encoding: [0xc4,0xe2,0x60,0xd2,0x94,0xf4,0x00,0x00,0x00,0x10]
1235          vpdpwuud xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
1236
1237// CHECK: vpdpwuud xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
1238// CHECK: encoding: [0x62,0xf2,0x64,0x0f,0xd2,0x94,0x87,0x23,0x01,0x00,0x00]
1239          vpdpwuud xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
1240
1241// CHECK: vpdpwuud xmm2, xmm3, dword ptr [eax]{1to4}
1242// CHECK: encoding: [0x62,0xf2,0x64,0x18,0xd2,0x10]
1243          vpdpwuud xmm2, xmm3, dword ptr [eax]{1to4}
1244
1245// CHECK: vpdpwuud xmm2, xmm3, xmmword ptr [2*ebp - 512]
1246// CHECK: encoding: [0xc4,0xe2,0x60,0xd2,0x14,0x6d,0x00,0xfe,0xff,0xff]
1247          vpdpwuud xmm2, xmm3, xmmword ptr [2*ebp - 512]
1248
1249// CHECK: vpdpwuud xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
1250// CHECK: encoding: [0x62,0xf2,0x64,0x8f,0xd2,0x51,0x7f]
1251          vpdpwuud xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
1252
1253// CHECK: vpdpwuud xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
1254// CHECK: encoding: [0x62,0xf2,0x64,0x9f,0xd2,0x52,0x80]
1255          vpdpwuud xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
1256
1257// CHECK: vpdpwuud ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
1258// CHECK: encoding: [0xc4,0xe2,0x64,0xd2,0x94,0xf4,0x00,0x00,0x00,0x10]
1259          vpdpwuud ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
1260
1261// CHECK: vpdpwuud ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
1262// CHECK: encoding: [0x62,0xf2,0x64,0x2f,0xd2,0x94,0x87,0x23,0x01,0x00,0x00]
1263          vpdpwuud ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
1264
1265// CHECK: vpdpwuud ymm2, ymm3, dword ptr [eax]{1to8}
1266// CHECK: encoding: [0x62,0xf2,0x64,0x38,0xd2,0x10]
1267          vpdpwuud ymm2, ymm3, dword ptr [eax]{1to8}
1268
1269// CHECK: vpdpwuud ymm2, ymm3, ymmword ptr [2*ebp - 1024]
1270// CHECK: encoding: [0xc4,0xe2,0x64,0xd2,0x14,0x6d,0x00,0xfc,0xff,0xff]
1271          vpdpwuud ymm2, ymm3, ymmword ptr [2*ebp - 1024]
1272
1273// CHECK: vpdpwuud ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
1274// CHECK: encoding: [0x62,0xf2,0x64,0xaf,0xd2,0x51,0x7f]
1275          vpdpwuud ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
1276
1277// CHECK: vpdpwuud ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
1278// CHECK: encoding: [0x62,0xf2,0x64,0xbf,0xd2,0x52,0x80]
1279          vpdpwuud ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
1280
1281// CHECK: vpdpwuud zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
1282// CHECK: encoding: [0x62,0xf2,0x64,0x48,0xd2,0x94,0xf4,0x00,0x00,0x00,0x10]
1283          vpdpwuud zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
1284
1285// CHECK: vpdpwuud zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
1286// CHECK: encoding: [0x62,0xf2,0x64,0x4f,0xd2,0x94,0x87,0x23,0x01,0x00,0x00]
1287          vpdpwuud zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
1288
1289// CHECK: vpdpwuud zmm2, zmm3, dword ptr [eax]{1to16}
1290// CHECK: encoding: [0x62,0xf2,0x64,0x58,0xd2,0x10]
1291          vpdpwuud zmm2, zmm3, dword ptr [eax]{1to16}
1292
1293// CHECK: vpdpwuud zmm2, zmm3, zmmword ptr [2*ebp - 2048]
1294// CHECK: encoding: [0x62,0xf2,0x64,0x48,0xd2,0x14,0x6d,0x00,0xf8,0xff,0xff]
1295          vpdpwuud zmm2, zmm3, zmmword ptr [2*ebp - 2048]
1296
1297// CHECK: vpdpwuud zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
1298// CHECK: encoding: [0x62,0xf2,0x64,0xcf,0xd2,0x51,0x7f]
1299          vpdpwuud zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
1300
1301// CHECK: vpdpwuud zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
1302// CHECK: encoding: [0x62,0xf2,0x64,0xdf,0xd2,0x52,0x80]
1303          vpdpwuud zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
1304
1305// CHECK: vpdpwuuds xmm2, xmm3, xmm4
1306// CHECK: encoding: [0xc4,0xe2,0x60,0xd3,0xd4]
1307          vpdpwuuds xmm2, xmm3, xmm4
1308
1309// CHECK: vpdpwuuds xmm2 {k7}, xmm3, xmm4
1310// CHECK: encoding: [0x62,0xf2,0x64,0x0f,0xd3,0xd4]
1311          vpdpwuuds xmm2 {k7}, xmm3, xmm4
1312
1313// CHECK: vpdpwuuds xmm2 {k7} {z}, xmm3, xmm4
1314// CHECK: encoding: [0x62,0xf2,0x64,0x8f,0xd3,0xd4]
1315          vpdpwuuds xmm2 {k7} {z}, xmm3, xmm4
1316
1317// CHECK: vpdpwuuds ymm2, ymm3, ymm4
1318// CHECK: encoding: [0xc4,0xe2,0x64,0xd3,0xd4]
1319          vpdpwuuds ymm2, ymm3, ymm4
1320
1321// CHECK: vpdpwuuds ymm2 {k7}, ymm3, ymm4
1322// CHECK: encoding: [0x62,0xf2,0x64,0x2f,0xd3,0xd4]
1323          vpdpwuuds ymm2 {k7}, ymm3, ymm4
1324
1325// CHECK: vpdpwuuds ymm2 {k7} {z}, ymm3, ymm4
1326// CHECK: encoding: [0x62,0xf2,0x64,0xaf,0xd3,0xd4]
1327          vpdpwuuds ymm2 {k7} {z}, ymm3, ymm4
1328
1329// CHECK: vpdpwuuds zmm2, zmm3, zmm4
1330// CHECK: encoding: [0x62,0xf2,0x64,0x48,0xd3,0xd4]
1331          vpdpwuuds zmm2, zmm3, zmm4
1332
1333// CHECK: vpdpwuuds zmm2 {k7}, zmm3, zmm4
1334// CHECK: encoding: [0x62,0xf2,0x64,0x4f,0xd3,0xd4]
1335          vpdpwuuds zmm2 {k7}, zmm3, zmm4
1336
1337// CHECK: vpdpwuuds zmm2 {k7} {z}, zmm3, zmm4
1338// CHECK: encoding: [0x62,0xf2,0x64,0xcf,0xd3,0xd4]
1339          vpdpwuuds zmm2 {k7} {z}, zmm3, zmm4
1340
1341// CHECK: vpdpwuuds xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
1342// CHECK: encoding: [0xc4,0xe2,0x60,0xd3,0x94,0xf4,0x00,0x00,0x00,0x10]
1343          vpdpwuuds xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456]
1344
1345// CHECK: vpdpwuuds xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
1346// CHECK: encoding: [0x62,0xf2,0x64,0x0f,0xd3,0x94,0x87,0x23,0x01,0x00,0x00]
1347          vpdpwuuds xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291]
1348
1349// CHECK: vpdpwuuds xmm2, xmm3, dword ptr [eax]{1to4}
1350// CHECK: encoding: [0x62,0xf2,0x64,0x18,0xd3,0x10]
1351          vpdpwuuds xmm2, xmm3, dword ptr [eax]{1to4}
1352
1353// CHECK: vpdpwuuds xmm2, xmm3, xmmword ptr [2*ebp - 512]
1354// CHECK: encoding: [0xc4,0xe2,0x60,0xd3,0x14,0x6d,0x00,0xfe,0xff,0xff]
1355          vpdpwuuds xmm2, xmm3, xmmword ptr [2*ebp - 512]
1356
1357// CHECK: vpdpwuuds xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
1358// CHECK: encoding: [0x62,0xf2,0x64,0x8f,0xd3,0x51,0x7f]
1359          vpdpwuuds xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032]
1360
1361// CHECK: vpdpwuuds xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
1362// CHECK: encoding: [0x62,0xf2,0x64,0x9f,0xd3,0x52,0x80]
1363          vpdpwuuds xmm2 {k7} {z}, xmm3, dword ptr [edx - 512]{1to4}
1364
1365// CHECK: vpdpwuuds ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
1366// CHECK: encoding: [0xc4,0xe2,0x64,0xd3,0x94,0xf4,0x00,0x00,0x00,0x10]
1367          vpdpwuuds ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456]
1368
1369// CHECK: vpdpwuuds ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
1370// CHECK: encoding: [0x62,0xf2,0x64,0x2f,0xd3,0x94,0x87,0x23,0x01,0x00,0x00]
1371          vpdpwuuds ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291]
1372
1373// CHECK: vpdpwuuds ymm2, ymm3, dword ptr [eax]{1to8}
1374// CHECK: encoding: [0x62,0xf2,0x64,0x38,0xd3,0x10]
1375          vpdpwuuds ymm2, ymm3, dword ptr [eax]{1to8}
1376
1377// CHECK: vpdpwuuds ymm2, ymm3, ymmword ptr [2*ebp - 1024]
1378// CHECK: encoding: [0xc4,0xe2,0x64,0xd3,0x14,0x6d,0x00,0xfc,0xff,0xff]
1379          vpdpwuuds ymm2, ymm3, ymmword ptr [2*ebp - 1024]
1380
1381// CHECK: vpdpwuuds ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
1382// CHECK: encoding: [0x62,0xf2,0x64,0xaf,0xd3,0x51,0x7f]
1383          vpdpwuuds ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064]
1384
1385// CHECK: vpdpwuuds ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
1386// CHECK: encoding: [0x62,0xf2,0x64,0xbf,0xd3,0x52,0x80]
1387          vpdpwuuds ymm2 {k7} {z}, ymm3, dword ptr [edx - 512]{1to8}
1388
1389// CHECK: vpdpwuuds zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
1390// CHECK: encoding: [0x62,0xf2,0x64,0x48,0xd3,0x94,0xf4,0x00,0x00,0x00,0x10]
1391          vpdpwuuds zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456]
1392
1393// CHECK: vpdpwuuds zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
1394// CHECK: encoding: [0x62,0xf2,0x64,0x4f,0xd3,0x94,0x87,0x23,0x01,0x00,0x00]
1395          vpdpwuuds zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291]
1396
1397// CHECK: vpdpwuuds zmm2, zmm3, dword ptr [eax]{1to16}
1398// CHECK: encoding: [0x62,0xf2,0x64,0x58,0xd3,0x10]
1399          vpdpwuuds zmm2, zmm3, dword ptr [eax]{1to16}
1400
1401// CHECK: vpdpwuuds zmm2, zmm3, zmmword ptr [2*ebp - 2048]
1402// CHECK: encoding: [0x62,0xf2,0x64,0x48,0xd3,0x14,0x6d,0x00,0xf8,0xff,0xff]
1403          vpdpwuuds zmm2, zmm3, zmmword ptr [2*ebp - 2048]
1404
1405// CHECK: vpdpwuuds zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
1406// CHECK: encoding: [0x62,0xf2,0x64,0xcf,0xd3,0x51,0x7f]
1407          vpdpwuuds zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128]
1408
1409// CHECK: vpdpwuuds zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
1410// CHECK: encoding: [0x62,0xf2,0x64,0xdf,0xd3,0x52,0x80]
1411          vpdpwuuds zmm2 {k7} {z}, zmm3, dword ptr [edx - 512]{1to16}
1412
1413// VMPSADBW
1414
1415// CHECK: vmpsadbw xmm2, xmm3, xmm4, 123
1416// CHECK: encoding: [0xc4,0xe3,0x61,0x42,0xd4,0x7b]
1417          vmpsadbw xmm2, xmm3, xmm4, 123
1418
1419// CHECK: vmpsadbw xmm2 {k7}, xmm3, xmm4, 123
1420// CHECK: encoding: [0x62,0xf3,0x66,0x0f,0x42,0xd4,0x7b]
1421          vmpsadbw xmm2 {k7}, xmm3, xmm4, 123
1422
1423// CHECK: vmpsadbw xmm2 {k7} {z}, xmm3, xmm4, 123
1424// CHECK: encoding: [0x62,0xf3,0x66,0x8f,0x42,0xd4,0x7b]
1425          vmpsadbw xmm2 {k7} {z}, xmm3, xmm4, 123
1426
1427// CHECK: vmpsadbw ymm2, ymm3, ymm4, 123
1428// CHECK: encoding: [0xc4,0xe3,0x65,0x42,0xd4,0x7b]
1429          vmpsadbw ymm2, ymm3, ymm4, 123
1430
1431// CHECK: vmpsadbw ymm2 {k7}, ymm3, ymm4, 123
1432// CHECK: encoding: [0x62,0xf3,0x66,0x2f,0x42,0xd4,0x7b]
1433          vmpsadbw ymm2 {k7}, ymm3, ymm4, 123
1434
1435// CHECK: vmpsadbw ymm2 {k7} {z}, ymm3, ymm4, 123
1436// CHECK: encoding: [0x62,0xf3,0x66,0xaf,0x42,0xd4,0x7b]
1437          vmpsadbw ymm2 {k7} {z}, ymm3, ymm4, 123
1438
1439// CHECK: vmpsadbw zmm2, zmm3, zmm4, 123
1440// CHECK: encoding: [0x62,0xf3,0x66,0x48,0x42,0xd4,0x7b]
1441          vmpsadbw zmm2, zmm3, zmm4, 123
1442
1443// CHECK: vmpsadbw zmm2 {k7}, zmm3, zmm4, 123
1444// CHECK: encoding: [0x62,0xf3,0x66,0x4f,0x42,0xd4,0x7b]
1445          vmpsadbw zmm2 {k7}, zmm3, zmm4, 123
1446
1447// CHECK: vmpsadbw zmm2 {k7} {z}, zmm3, zmm4, 123
1448// CHECK: encoding: [0x62,0xf3,0x66,0xcf,0x42,0xd4,0x7b]
1449          vmpsadbw zmm2 {k7} {z}, zmm3, zmm4, 123
1450
1451// CHECK: vmpsadbw xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456], 123
1452// CHECK: encoding: [0xc4,0xe3,0x61,0x42,0x94,0xf4,0x00,0x00,0x00,0x10,0x7b]
1453          vmpsadbw xmm2, xmm3, xmmword ptr [esp + 8*esi + 268435456], 123
1454
1455// CHECK: vmpsadbw xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291], 123
1456// CHECK: encoding: [0x62,0xf3,0x66,0x0f,0x42,0x94,0x87,0x23,0x01,0x00,0x00,0x7b]
1457          vmpsadbw xmm2 {k7}, xmm3, xmmword ptr [edi + 4*eax + 291], 123
1458
1459// CHECK: vmpsadbw xmm2, xmm3, xmmword ptr [eax], 123
1460// CHECK: encoding: [0xc4,0xe3,0x61,0x42,0x10,0x7b]
1461          vmpsadbw xmm2, xmm3, xmmword ptr [eax], 123
1462
1463// CHECK: vmpsadbw xmm2, xmm3, xmmword ptr [2*ebp - 512], 123
1464// CHECK: encoding: [0xc4,0xe3,0x61,0x42,0x14,0x6d,0x00,0xfe,0xff,0xff,0x7b]
1465          vmpsadbw xmm2, xmm3, xmmword ptr [2*ebp - 512], 123
1466
1467// CHECK: vmpsadbw xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032], 123
1468// CHECK: encoding: [0x62,0xf3,0x66,0x8f,0x42,0x51,0x7f,0x7b]
1469          vmpsadbw xmm2 {k7} {z}, xmm3, xmmword ptr [ecx + 2032], 123
1470
1471// CHECK: vmpsadbw xmm2 {k7} {z}, xmm3, xmmword ptr [edx - 2048], 123
1472// CHECK: encoding: [0x62,0xf3,0x66,0x8f,0x42,0x52,0x80,0x7b]
1473          vmpsadbw xmm2 {k7} {z}, xmm3, xmmword ptr [edx - 2048], 123
1474
1475// CHECK: vmpsadbw ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456], 123
1476// CHECK: encoding: [0xc4,0xe3,0x65,0x42,0x94,0xf4,0x00,0x00,0x00,0x10,0x7b]
1477          vmpsadbw ymm2, ymm3, ymmword ptr [esp + 8*esi + 268435456], 123
1478
1479// CHECK: vmpsadbw ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291], 123
1480// CHECK: encoding: [0x62,0xf3,0x66,0x2f,0x42,0x94,0x87,0x23,0x01,0x00,0x00,0x7b]
1481          vmpsadbw ymm2 {k7}, ymm3, ymmword ptr [edi + 4*eax + 291], 123
1482
1483// CHECK: vmpsadbw ymm2, ymm3, ymmword ptr [eax], 123
1484// CHECK: encoding: [0xc4,0xe3,0x65,0x42,0x10,0x7b]
1485          vmpsadbw ymm2, ymm3, ymmword ptr [eax], 123
1486
1487// CHECK: vmpsadbw ymm2, ymm3, ymmword ptr [2*ebp - 1024], 123
1488// CHECK: encoding: [0xc4,0xe3,0x65,0x42,0x14,0x6d,0x00,0xfc,0xff,0xff,0x7b]
1489          vmpsadbw ymm2, ymm3, ymmword ptr [2*ebp - 1024], 123
1490
1491// CHECK: vmpsadbw ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064], 123
1492// CHECK: encoding: [0x62,0xf3,0x66,0xaf,0x42,0x51,0x7f,0x7b]
1493          vmpsadbw ymm2 {k7} {z}, ymm3, ymmword ptr [ecx + 4064], 123
1494
1495// CHECK: vmpsadbw ymm2 {k7} {z}, ymm3, ymmword ptr [edx - 4096], 123
1496// CHECK: encoding: [0x62,0xf3,0x66,0xaf,0x42,0x52,0x80,0x7b]
1497          vmpsadbw ymm2 {k7} {z}, ymm3, ymmword ptr [edx - 4096], 123
1498
1499// CHECK: vmpsadbw zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456], 123
1500// CHECK: encoding: [0x62,0xf3,0x66,0x48,0x42,0x94,0xf4,0x00,0x00,0x00,0x10,0x7b]
1501          vmpsadbw zmm2, zmm3, zmmword ptr [esp + 8*esi + 268435456], 123
1502
1503// CHECK: vmpsadbw zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291], 123
1504// CHECK: encoding: [0x62,0xf3,0x66,0x4f,0x42,0x94,0x87,0x23,0x01,0x00,0x00,0x7b]
1505          vmpsadbw zmm2 {k7}, zmm3, zmmword ptr [edi + 4*eax + 291], 123
1506
1507// CHECK: vmpsadbw zmm2, zmm3, zmmword ptr [eax], 123
1508// CHECK: encoding: [0x62,0xf3,0x66,0x48,0x42,0x10,0x7b]
1509          vmpsadbw zmm2, zmm3, zmmword ptr [eax], 123
1510
1511// CHECK: vmpsadbw zmm2, zmm3, zmmword ptr [2*ebp - 2048], 123
1512// CHECK: encoding: [0x62,0xf3,0x66,0x48,0x42,0x14,0x6d,0x00,0xf8,0xff,0xff,0x7b]
1513          vmpsadbw zmm2, zmm3, zmmword ptr [2*ebp - 2048], 123
1514
1515// CHECK: vmpsadbw zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128], 123
1516// CHECK: encoding: [0x62,0xf3,0x66,0xcf,0x42,0x51,0x7f,0x7b]
1517          vmpsadbw zmm2 {k7} {z}, zmm3, zmmword ptr [ecx + 8128], 123
1518
1519// CHECK: vmpsadbw zmm2 {k7} {z}, zmm3, zmmword ptr [edx - 8192], 123
1520// CHECK: encoding: [0x62,0xf3,0x66,0xcf,0x42,0x52,0x80,0x7b]
1521          vmpsadbw zmm2 {k7} {z}, zmm3, zmmword ptr [edx - 8192], 123
1522
1523// YMM Rounding
1524
1525// CHECK: vaddpd ymm2, ymm3, ymm4, {rn-sae}
1526// CHECK: encoding: [0x62,0xf1,0xe1,0x18,0x58,0xd4]
1527          vaddpd ymm2, ymm3, ymm4, {rn-sae}
1528
1529// CHECK: vaddpd ymm2 {k7}, ymm3, ymm4, {rd-sae}
1530// CHECK: encoding: [0x62,0xf1,0xe1,0x3f,0x58,0xd4]
1531          vaddpd ymm2 {k7}, ymm3, ymm4, {rd-sae}
1532
1533// CHECK: vaddpd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
1534// CHECK: encoding: [0x62,0xf1,0xe1,0xff,0x58,0xd4]
1535          vaddpd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
1536
1537// CHECK: vaddph ymm2, ymm3, ymm4, {rn-sae}
1538// CHECK: encoding: [0x62,0xf5,0x60,0x18,0x58,0xd4]
1539          vaddph ymm2, ymm3, ymm4, {rn-sae}
1540
1541// CHECK: vaddph ymm2 {k7}, ymm3, ymm4, {rd-sae}
1542// CHECK: encoding: [0x62,0xf5,0x60,0x3f,0x58,0xd4]
1543          vaddph ymm2 {k7}, ymm3, ymm4, {rd-sae}
1544
1545// CHECK: vaddph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
1546// CHECK: encoding: [0x62,0xf5,0x60,0xff,0x58,0xd4]
1547          vaddph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
1548
1549// CHECK: vaddps ymm2, ymm3, ymm4, {rn-sae}
1550// CHECK: encoding: [0x62,0xf1,0x60,0x18,0x58,0xd4]
1551          vaddps ymm2, ymm3, ymm4, {rn-sae}
1552
1553// CHECK: vaddps ymm2 {k7}, ymm3, ymm4, {rd-sae}
1554// CHECK: encoding: [0x62,0xf1,0x60,0x3f,0x58,0xd4]
1555          vaddps ymm2 {k7}, ymm3, ymm4, {rd-sae}
1556
1557// CHECK: vaddps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
1558// CHECK: encoding: [0x62,0xf1,0x60,0xff,0x58,0xd4]
1559          vaddps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
1560
1561// CHECK: vcmppd k5, ymm3, ymm4, {sae}, 123
1562// CHECK: encoding: [0x62,0xf1,0xe1,0x18,0xc2,0xec,0x7b]
1563          vcmppd k5, ymm3, ymm4, {sae}, 123
1564
1565// CHECK: vcmppd k5 {k7}, ymm3, ymm4, {sae}, 123
1566// CHECK: encoding: [0x62,0xf1,0xe1,0x1f,0xc2,0xec,0x7b]
1567          vcmppd k5 {k7}, ymm3, ymm4, {sae}, 123
1568
1569// CHECK: vcmpph k5, ymm3, ymm4, {sae}, 123
1570// CHECK: encoding: [0x62,0xf3,0x60,0x18,0xc2,0xec,0x7b]
1571          vcmpph k5, ymm3, ymm4, {sae}, 123
1572
1573// CHECK: vcmpph k5 {k7}, ymm3, ymm4, {sae}, 123
1574// CHECK: encoding: [0x62,0xf3,0x60,0x1f,0xc2,0xec,0x7b]
1575          vcmpph k5 {k7}, ymm3, ymm4, {sae}, 123
1576
1577// CHECK: vcmpps k5, ymm3, ymm4, {sae}, 123
1578// CHECK: encoding: [0x62,0xf1,0x60,0x18,0xc2,0xec,0x7b]
1579          vcmpps k5, ymm3, ymm4, {sae}, 123
1580
1581// CHECK: vcmpps k5 {k7}, ymm3, ymm4, {sae}, 123
1582// CHECK: encoding: [0x62,0xf1,0x60,0x1f,0xc2,0xec,0x7b]
1583          vcmpps k5 {k7}, ymm3, ymm4, {sae}, 123
1584
1585// CHECK: vcvtdq2ph xmm2, ymm3, {rn-sae}
1586// CHECK: encoding: [0x62,0xf5,0x78,0x18,0x5b,0xd3]
1587          vcvtdq2ph xmm2, ymm3, {rn-sae}
1588
1589// CHECK: vcvtdq2ph xmm2 {k7}, ymm3, {rd-sae}
1590// CHECK: encoding: [0x62,0xf5,0x78,0x3f,0x5b,0xd3]
1591          vcvtdq2ph xmm2 {k7}, ymm3, {rd-sae}
1592
1593// CHECK: vcvtdq2ph xmm2 {k7} {z}, ymm3, {rz-sae}
1594// CHECK: encoding: [0x62,0xf5,0x78,0xff,0x5b,0xd3]
1595          vcvtdq2ph xmm2 {k7} {z}, ymm3, {rz-sae}
1596
1597// CHECK: vcvtdq2ps ymm2, ymm3, {rn-sae}
1598// CHECK: encoding: [0x62,0xf1,0x78,0x18,0x5b,0xd3]
1599          vcvtdq2ps ymm2, ymm3, {rn-sae}
1600
1601// CHECK: vcvtdq2ps ymm2 {k7}, ymm3, {rd-sae}
1602// CHECK: encoding: [0x62,0xf1,0x78,0x3f,0x5b,0xd3]
1603          vcvtdq2ps ymm2 {k7}, ymm3, {rd-sae}
1604
1605// CHECK: vcvtdq2ps ymm2 {k7} {z}, ymm3, {rz-sae}
1606// CHECK: encoding: [0x62,0xf1,0x78,0xff,0x5b,0xd3]
1607          vcvtdq2ps ymm2 {k7} {z}, ymm3, {rz-sae}
1608
1609// CHECK: vcvtpd2dq xmm2, ymm3, {rn-sae}
1610// CHECK: encoding: [0x62,0xf1,0xfb,0x18,0xe6,0xd3]
1611          vcvtpd2dq xmm2, ymm3, {rn-sae}
1612
1613// CHECK: vcvtpd2dq xmm2 {k7}, ymm3, {rd-sae}
1614// CHECK: encoding: [0x62,0xf1,0xfb,0x3f,0xe6,0xd3]
1615          vcvtpd2dq xmm2 {k7}, ymm3, {rd-sae}
1616
1617// CHECK: vcvtpd2dq xmm2 {k7} {z}, ymm3, {rz-sae}
1618// CHECK: encoding: [0x62,0xf1,0xfb,0xff,0xe6,0xd3]
1619          vcvtpd2dq xmm2 {k7} {z}, ymm3, {rz-sae}
1620
1621// CHECK: vcvtpd2ph xmm2, ymm3, {rn-sae}
1622// CHECK: encoding: [0x62,0xf5,0xf9,0x18,0x5a,0xd3]
1623          vcvtpd2ph xmm2, ymm3, {rn-sae}
1624
1625// CHECK: vcvtpd2ph xmm2 {k7}, ymm3, {rd-sae}
1626// CHECK: encoding: [0x62,0xf5,0xf9,0x3f,0x5a,0xd3]
1627          vcvtpd2ph xmm2 {k7}, ymm3, {rd-sae}
1628
1629// CHECK: vcvtpd2ph xmm2 {k7} {z}, ymm3, {rz-sae}
1630// CHECK: encoding: [0x62,0xf5,0xf9,0xff,0x5a,0xd3]
1631          vcvtpd2ph xmm2 {k7} {z}, ymm3, {rz-sae}
1632
1633// CHECK: vcvtpd2ps xmm2, ymm3, {rn-sae}
1634// CHECK: encoding: [0x62,0xf1,0xf9,0x18,0x5a,0xd3]
1635          vcvtpd2ps xmm2, ymm3, {rn-sae}
1636
1637// CHECK: vcvtpd2ps xmm2 {k7}, ymm3, {rd-sae}
1638// CHECK: encoding: [0x62,0xf1,0xf9,0x3f,0x5a,0xd3]
1639          vcvtpd2ps xmm2 {k7}, ymm3, {rd-sae}
1640
1641// CHECK: vcvtpd2ps xmm2 {k7} {z}, ymm3, {rz-sae}
1642// CHECK: encoding: [0x62,0xf1,0xf9,0xff,0x5a,0xd3]
1643          vcvtpd2ps xmm2 {k7} {z}, ymm3, {rz-sae}
1644
1645// CHECK: vcvtpd2qq ymm2, ymm3, {rn-sae}
1646// CHECK: encoding: [0x62,0xf1,0xf9,0x18,0x7b,0xd3]
1647          vcvtpd2qq ymm2, ymm3, {rn-sae}
1648
1649// CHECK: vcvtpd2qq ymm2 {k7}, ymm3, {rd-sae}
1650// CHECK: encoding: [0x62,0xf1,0xf9,0x3f,0x7b,0xd3]
1651          vcvtpd2qq ymm2 {k7}, ymm3, {rd-sae}
1652
1653// CHECK: vcvtpd2qq ymm2 {k7} {z}, ymm3, {rz-sae}
1654// CHECK: encoding: [0x62,0xf1,0xf9,0xff,0x7b,0xd3]
1655          vcvtpd2qq ymm2 {k7} {z}, ymm3, {rz-sae}
1656
1657// CHECK: vcvtpd2udq xmm2, ymm3, {rn-sae}
1658// CHECK: encoding: [0x62,0xf1,0xf8,0x18,0x79,0xd3]
1659          vcvtpd2udq xmm2, ymm3, {rn-sae}
1660
1661// CHECK: vcvtpd2udq xmm2 {k7}, ymm3, {rd-sae}
1662// CHECK: encoding: [0x62,0xf1,0xf8,0x3f,0x79,0xd3]
1663          vcvtpd2udq xmm2 {k7}, ymm3, {rd-sae}
1664
1665// CHECK: vcvtpd2udq xmm2 {k7} {z}, ymm3, {rz-sae}
1666// CHECK: encoding: [0x62,0xf1,0xf8,0xff,0x79,0xd3]
1667          vcvtpd2udq xmm2 {k7} {z}, ymm3, {rz-sae}
1668
1669// CHECK: vcvtpd2uqq ymm2, ymm3, {rn-sae}
1670// CHECK: encoding: [0x62,0xf1,0xf9,0x18,0x79,0xd3]
1671          vcvtpd2uqq ymm2, ymm3, {rn-sae}
1672
1673// CHECK: vcvtpd2uqq ymm2 {k7}, ymm3, {rd-sae}
1674// CHECK: encoding: [0x62,0xf1,0xf9,0x3f,0x79,0xd3]
1675          vcvtpd2uqq ymm2 {k7}, ymm3, {rd-sae}
1676
1677// CHECK: vcvtpd2uqq ymm2 {k7} {z}, ymm3, {rz-sae}
1678// CHECK: encoding: [0x62,0xf1,0xf9,0xff,0x79,0xd3]
1679          vcvtpd2uqq ymm2 {k7} {z}, ymm3, {rz-sae}
1680
1681// CHECK: vcvtph2dq ymm2, xmm3, {rn-sae}
1682// CHECK: encoding: [0x62,0xf5,0x79,0x18,0x5b,0xd3]
1683          vcvtph2dq ymm2, xmm3, {rn-sae}
1684
1685// CHECK: vcvtph2dq ymm2 {k7}, xmm3, {rd-sae}
1686// CHECK: encoding: [0x62,0xf5,0x79,0x3f,0x5b,0xd3]
1687          vcvtph2dq ymm2 {k7}, xmm3, {rd-sae}
1688
1689// CHECK: vcvtph2dq ymm2 {k7} {z}, xmm3, {rz-sae}
1690// CHECK: encoding: [0x62,0xf5,0x79,0xff,0x5b,0xd3]
1691          vcvtph2dq ymm2 {k7} {z}, xmm3, {rz-sae}
1692
1693// CHECK: vcvtph2pd ymm2, xmm3, {sae}
1694// CHECK: encoding: [0x62,0xf5,0x78,0x18,0x5a,0xd3]
1695          vcvtph2pd ymm2, xmm3, {sae}
1696
1697// CHECK: vcvtph2pd ymm2 {k7}, xmm3, {sae}
1698// CHECK: encoding: [0x62,0xf5,0x78,0x1f,0x5a,0xd3]
1699          vcvtph2pd ymm2 {k7}, xmm3, {sae}
1700
1701// CHECK: vcvtph2pd ymm2 {k7} {z}, xmm3, {sae}
1702// CHECK: encoding: [0x62,0xf5,0x78,0x9f,0x5a,0xd3]
1703          vcvtph2pd ymm2 {k7} {z}, xmm3, {sae}
1704
1705// CHECK: vcvtph2ps ymm2, xmm3, {sae}
1706// CHECK: encoding: [0x62,0xf2,0x79,0x18,0x13,0xd3]
1707          vcvtph2ps ymm2, xmm3, {sae}
1708
1709// CHECK: vcvtph2ps ymm2 {k7}, xmm3, {sae}
1710// CHECK: encoding: [0x62,0xf2,0x79,0x1f,0x13,0xd3]
1711          vcvtph2ps ymm2 {k7}, xmm3, {sae}
1712
1713// CHECK: vcvtph2ps ymm2 {k7} {z}, xmm3, {sae}
1714// CHECK: encoding: [0x62,0xf2,0x79,0x9f,0x13,0xd3]
1715          vcvtph2ps ymm2 {k7} {z}, xmm3, {sae}
1716
1717// CHECK: vcvtph2psx ymm2, xmm3, {sae}
1718// CHECK: encoding: [0x62,0xf6,0x79,0x18,0x13,0xd3]
1719          vcvtph2psx ymm2, xmm3, {sae}
1720
1721// CHECK: vcvtph2psx ymm2 {k7}, xmm3, {sae}
1722// CHECK: encoding: [0x62,0xf6,0x79,0x1f,0x13,0xd3]
1723          vcvtph2psx ymm2 {k7}, xmm3, {sae}
1724
1725// CHECK: vcvtph2psx ymm2 {k7} {z}, xmm3, {sae}
1726// CHECK: encoding: [0x62,0xf6,0x79,0x9f,0x13,0xd3]
1727          vcvtph2psx ymm2 {k7} {z}, xmm3, {sae}
1728
1729// CHECK: vcvtph2qq ymm2, xmm3, {rn-sae}
1730// CHECK: encoding: [0x62,0xf5,0x79,0x18,0x7b,0xd3]
1731          vcvtph2qq ymm2, xmm3, {rn-sae}
1732
1733// CHECK: vcvtph2qq ymm2 {k7}, xmm3, {rd-sae}
1734// CHECK: encoding: [0x62,0xf5,0x79,0x3f,0x7b,0xd3]
1735          vcvtph2qq ymm2 {k7}, xmm3, {rd-sae}
1736
1737// CHECK: vcvtph2qq ymm2 {k7} {z}, xmm3, {rz-sae}
1738// CHECK: encoding: [0x62,0xf5,0x79,0xff,0x7b,0xd3]
1739          vcvtph2qq ymm2 {k7} {z}, xmm3, {rz-sae}
1740
1741// CHECK: vcvtph2udq ymm2, xmm3, {rn-sae}
1742// CHECK: encoding: [0x62,0xf5,0x78,0x18,0x79,0xd3]
1743          vcvtph2udq ymm2, xmm3, {rn-sae}
1744
1745// CHECK: vcvtph2udq ymm2 {k7}, xmm3, {rd-sae}
1746// CHECK: encoding: [0x62,0xf5,0x78,0x3f,0x79,0xd3]
1747          vcvtph2udq ymm2 {k7}, xmm3, {rd-sae}
1748
1749// CHECK: vcvtph2udq ymm2 {k7} {z}, xmm3, {rz-sae}
1750// CHECK: encoding: [0x62,0xf5,0x78,0xff,0x79,0xd3]
1751          vcvtph2udq ymm2 {k7} {z}, xmm3, {rz-sae}
1752
1753// CHECK: vcvtph2uqq ymm2, xmm3, {rn-sae}
1754// CHECK: encoding: [0x62,0xf5,0x79,0x18,0x79,0xd3]
1755          vcvtph2uqq ymm2, xmm3, {rn-sae}
1756
1757// CHECK: vcvtph2uqq ymm2 {k7}, xmm3, {rd-sae}
1758// CHECK: encoding: [0x62,0xf5,0x79,0x3f,0x79,0xd3]
1759          vcvtph2uqq ymm2 {k7}, xmm3, {rd-sae}
1760
1761// CHECK: vcvtph2uqq ymm2 {k7} {z}, xmm3, {rz-sae}
1762// CHECK: encoding: [0x62,0xf5,0x79,0xff,0x79,0xd3]
1763          vcvtph2uqq ymm2 {k7} {z}, xmm3, {rz-sae}
1764
1765// CHECK: vcvtph2uw ymm2, ymm3, {rn-sae}
1766// CHECK: encoding: [0x62,0xf5,0x78,0x18,0x7d,0xd3]
1767          vcvtph2uw ymm2, ymm3, {rn-sae}
1768
1769// CHECK: vcvtph2uw ymm2 {k7}, ymm3, {rd-sae}
1770// CHECK: encoding: [0x62,0xf5,0x78,0x3f,0x7d,0xd3]
1771          vcvtph2uw ymm2 {k7}, ymm3, {rd-sae}
1772
1773// CHECK: vcvtph2uw ymm2 {k7} {z}, ymm3, {rz-sae}
1774// CHECK: encoding: [0x62,0xf5,0x78,0xff,0x7d,0xd3]
1775          vcvtph2uw ymm2 {k7} {z}, ymm3, {rz-sae}
1776
1777// CHECK: vcvtph2w ymm2, ymm3, {rn-sae}
1778// CHECK: encoding: [0x62,0xf5,0x79,0x18,0x7d,0xd3]
1779          vcvtph2w ymm2, ymm3, {rn-sae}
1780
1781// CHECK: vcvtph2w ymm2 {k7}, ymm3, {rd-sae}
1782// CHECK: encoding: [0x62,0xf5,0x79,0x3f,0x7d,0xd3]
1783          vcvtph2w ymm2 {k7}, ymm3, {rd-sae}
1784
1785// CHECK: vcvtph2w ymm2 {k7} {z}, ymm3, {rz-sae}
1786// CHECK: encoding: [0x62,0xf5,0x79,0xff,0x7d,0xd3]
1787          vcvtph2w ymm2 {k7} {z}, ymm3, {rz-sae}
1788
1789// CHECK: vcvtps2dq ymm2, ymm3, {rn-sae}
1790// CHECK: encoding: [0x62,0xf1,0x79,0x18,0x5b,0xd3]
1791          vcvtps2dq ymm2, ymm3, {rn-sae}
1792
1793// CHECK: vcvtps2dq ymm2 {k7}, ymm3, {rd-sae}
1794// CHECK: encoding: [0x62,0xf1,0x79,0x3f,0x5b,0xd3]
1795          vcvtps2dq ymm2 {k7}, ymm3, {rd-sae}
1796
1797// CHECK: vcvtps2dq ymm2 {k7} {z}, ymm3, {rz-sae}
1798// CHECK: encoding: [0x62,0xf1,0x79,0xff,0x5b,0xd3]
1799          vcvtps2dq ymm2 {k7} {z}, ymm3, {rz-sae}
1800
1801// CHECK: vcvtps2pd ymm2, xmm3, {sae}
1802// CHECK: encoding: [0x62,0xf1,0x78,0x18,0x5a,0xd3]
1803          vcvtps2pd ymm2, xmm3, {sae}
1804
1805// CHECK: vcvtps2pd ymm2 {k7}, xmm3, {sae}
1806// CHECK: encoding: [0x62,0xf1,0x78,0x1f,0x5a,0xd3]
1807          vcvtps2pd ymm2 {k7}, xmm3, {sae}
1808
1809// CHECK: vcvtps2pd ymm2 {k7} {z}, xmm3, {sae}
1810// CHECK: encoding: [0x62,0xf1,0x78,0x9f,0x5a,0xd3]
1811          vcvtps2pd ymm2 {k7} {z}, xmm3, {sae}
1812
1813// CHECK: vcvtps2ph xmm2, ymm3, {sae}, 123
1814// CHECK: encoding: [0x62,0xf3,0x79,0x18,0x1d,0xda,0x7b]
1815          vcvtps2ph xmm2, ymm3, {sae}, 123
1816
1817// CHECK: vcvtps2ph xmm2 {k7}, ymm3, {sae}, 123
1818// CHECK: encoding: [0x62,0xf3,0x79,0x1f,0x1d,0xda,0x7b]
1819          vcvtps2ph xmm2 {k7}, ymm3, {sae}, 123
1820
1821// CHECK: vcvtps2ph xmm2 {k7} {z}, ymm3, {sae}, 123
1822// CHECK: encoding: [0x62,0xf3,0x79,0x9f,0x1d,0xda,0x7b]
1823          vcvtps2ph xmm2 {k7} {z}, ymm3, {sae}, 123
1824
1825// CHECK: vcvtps2phx xmm2, ymm3, {rn-sae}
1826// CHECK: encoding: [0x62,0xf5,0x79,0x18,0x1d,0xd3]
1827          vcvtps2phx xmm2, ymm3, {rn-sae}
1828
1829// CHECK: vcvtps2phx xmm2 {k7}, ymm3, {rd-sae}
1830// CHECK: encoding: [0x62,0xf5,0x79,0x3f,0x1d,0xd3]
1831          vcvtps2phx xmm2 {k7}, ymm3, {rd-sae}
1832
1833// CHECK: vcvtps2phx xmm2 {k7} {z}, ymm3, {rz-sae}
1834// CHECK: encoding: [0x62,0xf5,0x79,0xff,0x1d,0xd3]
1835          vcvtps2phx xmm2 {k7} {z}, ymm3, {rz-sae}
1836
1837// CHECK: vcvtps2qq ymm2, xmm3, {rn-sae}
1838// CHECK: encoding: [0x62,0xf1,0x79,0x18,0x7b,0xd3]
1839          vcvtps2qq ymm2, xmm3, {rn-sae}
1840
1841// CHECK: vcvtps2qq ymm2 {k7}, xmm3, {rd-sae}
1842// CHECK: encoding: [0x62,0xf1,0x79,0x3f,0x7b,0xd3]
1843          vcvtps2qq ymm2 {k7}, xmm3, {rd-sae}
1844
1845// CHECK: vcvtps2qq ymm2 {k7} {z}, xmm3, {rz-sae}
1846// CHECK: encoding: [0x62,0xf1,0x79,0xff,0x7b,0xd3]
1847          vcvtps2qq ymm2 {k7} {z}, xmm3, {rz-sae}
1848
1849// CHECK: vcvtps2udq ymm2, ymm3, {rn-sae}
1850// CHECK: encoding: [0x62,0xf1,0x78,0x18,0x79,0xd3]
1851          vcvtps2udq ymm2, ymm3, {rn-sae}
1852
1853// CHECK: vcvtps2udq ymm2 {k7}, ymm3, {rd-sae}
1854// CHECK: encoding: [0x62,0xf1,0x78,0x3f,0x79,0xd3]
1855          vcvtps2udq ymm2 {k7}, ymm3, {rd-sae}
1856
1857// CHECK: vcvtps2udq ymm2 {k7} {z}, ymm3, {rz-sae}
1858// CHECK: encoding: [0x62,0xf1,0x78,0xff,0x79,0xd3]
1859          vcvtps2udq ymm2 {k7} {z}, ymm3, {rz-sae}
1860
1861// CHECK: vcvtps2uqq ymm2, xmm3, {rn-sae}
1862// CHECK: encoding: [0x62,0xf1,0x79,0x18,0x79,0xd3]
1863          vcvtps2uqq ymm2, xmm3, {rn-sae}
1864
1865// CHECK: vcvtps2uqq ymm2 {k7}, xmm3, {rd-sae}
1866// CHECK: encoding: [0x62,0xf1,0x79,0x3f,0x79,0xd3]
1867          vcvtps2uqq ymm2 {k7}, xmm3, {rd-sae}
1868
1869// CHECK: vcvtps2uqq ymm2 {k7} {z}, xmm3, {rz-sae}
1870// CHECK: encoding: [0x62,0xf1,0x79,0xff,0x79,0xd3]
1871          vcvtps2uqq ymm2 {k7} {z}, xmm3, {rz-sae}
1872
1873// CHECK: vcvtqq2pd ymm2, ymm3, {rn-sae}
1874// CHECK: encoding: [0x62,0xf1,0xfa,0x18,0xe6,0xd3]
1875          vcvtqq2pd ymm2, ymm3, {rn-sae}
1876
1877// CHECK: vcvtqq2pd ymm2 {k7}, ymm3, {rd-sae}
1878// CHECK: encoding: [0x62,0xf1,0xfa,0x3f,0xe6,0xd3]
1879          vcvtqq2pd ymm2 {k7}, ymm3, {rd-sae}
1880
1881// CHECK: vcvtqq2pd ymm2 {k7} {z}, ymm3, {rz-sae}
1882// CHECK: encoding: [0x62,0xf1,0xfa,0xff,0xe6,0xd3]
1883          vcvtqq2pd ymm2 {k7} {z}, ymm3, {rz-sae}
1884
1885// CHECK: vcvtqq2ph xmm2, ymm3, {rn-sae}
1886// CHECK: encoding: [0x62,0xf5,0xf8,0x18,0x5b,0xd3]
1887          vcvtqq2ph xmm2, ymm3, {rn-sae}
1888
1889// CHECK: vcvtqq2ph xmm2 {k7}, ymm3, {rd-sae}
1890// CHECK: encoding: [0x62,0xf5,0xf8,0x3f,0x5b,0xd3]
1891          vcvtqq2ph xmm2 {k7}, ymm3, {rd-sae}
1892
1893// CHECK: vcvtqq2ph xmm2 {k7} {z}, ymm3, {rz-sae}
1894// CHECK: encoding: [0x62,0xf5,0xf8,0xff,0x5b,0xd3]
1895          vcvtqq2ph xmm2 {k7} {z}, ymm3, {rz-sae}
1896
1897// CHECK: vcvtqq2ps xmm2, ymm3, {rn-sae}
1898// CHECK: encoding: [0x62,0xf1,0xf8,0x18,0x5b,0xd3]
1899          vcvtqq2ps xmm2, ymm3, {rn-sae}
1900
1901// CHECK: vcvtqq2ps xmm2 {k7}, ymm3, {rd-sae}
1902// CHECK: encoding: [0x62,0xf1,0xf8,0x3f,0x5b,0xd3]
1903          vcvtqq2ps xmm2 {k7}, ymm3, {rd-sae}
1904
1905// CHECK: vcvtqq2ps xmm2 {k7} {z}, ymm3, {rz-sae}
1906// CHECK: encoding: [0x62,0xf1,0xf8,0xff,0x5b,0xd3]
1907          vcvtqq2ps xmm2 {k7} {z}, ymm3, {rz-sae}
1908
1909// CHECK: vcvttpd2dq xmm2, ymm3, {sae}
1910// CHECK: encoding: [0x62,0xf1,0xf9,0x18,0xe6,0xd3]
1911          vcvttpd2dq xmm2, ymm3, {sae}
1912
1913// CHECK: vcvttpd2dq xmm2 {k7}, ymm3, {sae}
1914// CHECK: encoding: [0x62,0xf1,0xf9,0x1f,0xe6,0xd3]
1915          vcvttpd2dq xmm2 {k7}, ymm3, {sae}
1916
1917// CHECK: vcvttpd2dq xmm2 {k7} {z}, ymm3, {sae}
1918// CHECK: encoding: [0x62,0xf1,0xf9,0x9f,0xe6,0xd3]
1919          vcvttpd2dq xmm2 {k7} {z}, ymm3, {sae}
1920
1921// CHECK: vcvttpd2qq ymm2, ymm3, {sae}
1922// CHECK: encoding: [0x62,0xf1,0xf9,0x18,0x7a,0xd3]
1923          vcvttpd2qq ymm2, ymm3, {sae}
1924
1925// CHECK: vcvttpd2qq ymm2 {k7}, ymm3, {sae}
1926// CHECK: encoding: [0x62,0xf1,0xf9,0x1f,0x7a,0xd3]
1927          vcvttpd2qq ymm2 {k7}, ymm3, {sae}
1928
1929// CHECK: vcvttpd2qq ymm2 {k7} {z}, ymm3, {sae}
1930// CHECK: encoding: [0x62,0xf1,0xf9,0x9f,0x7a,0xd3]
1931          vcvttpd2qq ymm2 {k7} {z}, ymm3, {sae}
1932
1933// CHECK: vcvttpd2udq xmm2, ymm3, {sae}
1934// CHECK: encoding: [0x62,0xf1,0xf8,0x18,0x78,0xd3]
1935          vcvttpd2udq xmm2, ymm3, {sae}
1936
1937// CHECK: vcvttpd2udq xmm2 {k7}, ymm3, {sae}
1938// CHECK: encoding: [0x62,0xf1,0xf8,0x1f,0x78,0xd3]
1939          vcvttpd2udq xmm2 {k7}, ymm3, {sae}
1940
1941// CHECK: vcvttpd2udq xmm2 {k7} {z}, ymm3, {sae}
1942// CHECK: encoding: [0x62,0xf1,0xf8,0x9f,0x78,0xd3]
1943          vcvttpd2udq xmm2 {k7} {z}, ymm3, {sae}
1944
1945// CHECK: vcvttpd2uqq ymm2, ymm3, {sae}
1946// CHECK: encoding: [0x62,0xf1,0xf9,0x18,0x78,0xd3]
1947          vcvttpd2uqq ymm2, ymm3, {sae}
1948
1949// CHECK: vcvttpd2uqq ymm2 {k7}, ymm3, {sae}
1950// CHECK: encoding: [0x62,0xf1,0xf9,0x1f,0x78,0xd3]
1951          vcvttpd2uqq ymm2 {k7}, ymm3, {sae}
1952
1953// CHECK: vcvttpd2uqq ymm2 {k7} {z}, ymm3, {sae}
1954// CHECK: encoding: [0x62,0xf1,0xf9,0x9f,0x78,0xd3]
1955          vcvttpd2uqq ymm2 {k7} {z}, ymm3, {sae}
1956
1957// CHECK: vcvttph2dq ymm2, xmm3, {sae}
1958// CHECK: encoding: [0x62,0xf5,0x7a,0x18,0x5b,0xd3]
1959          vcvttph2dq ymm2, xmm3, {sae}
1960
1961// CHECK: vcvttph2dq ymm2 {k7}, xmm3, {sae}
1962// CHECK: encoding: [0x62,0xf5,0x7a,0x1f,0x5b,0xd3]
1963          vcvttph2dq ymm2 {k7}, xmm3, {sae}
1964
1965// CHECK: vcvttph2dq ymm2 {k7} {z}, xmm3, {sae}
1966// CHECK: encoding: [0x62,0xf5,0x7a,0x9f,0x5b,0xd3]
1967          vcvttph2dq ymm2 {k7} {z}, xmm3, {sae}
1968
1969// CHECK: vcvttph2qq ymm2, xmm3, {sae}
1970// CHECK: encoding: [0x62,0xf5,0x79,0x18,0x7a,0xd3]
1971          vcvttph2qq ymm2, xmm3, {sae}
1972
1973// CHECK: vcvttph2qq ymm2 {k7}, xmm3, {sae}
1974// CHECK: encoding: [0x62,0xf5,0x79,0x1f,0x7a,0xd3]
1975          vcvttph2qq ymm2 {k7}, xmm3, {sae}
1976
1977// CHECK: vcvttph2qq ymm2 {k7} {z}, xmm3, {sae}
1978// CHECK: encoding: [0x62,0xf5,0x79,0x9f,0x7a,0xd3]
1979          vcvttph2qq ymm2 {k7} {z}, xmm3, {sae}
1980
1981// CHECK: vcvttph2udq ymm2, xmm3, {sae}
1982// CHECK: encoding: [0x62,0xf5,0x78,0x18,0x78,0xd3]
1983          vcvttph2udq ymm2, xmm3, {sae}
1984
1985// CHECK: vcvttph2udq ymm2 {k7}, xmm3, {sae}
1986// CHECK: encoding: [0x62,0xf5,0x78,0x1f,0x78,0xd3]
1987          vcvttph2udq ymm2 {k7}, xmm3, {sae}
1988
1989// CHECK: vcvttph2udq ymm2 {k7} {z}, xmm3, {sae}
1990// CHECK: encoding: [0x62,0xf5,0x78,0x9f,0x78,0xd3]
1991          vcvttph2udq ymm2 {k7} {z}, xmm3, {sae}
1992
1993// CHECK: vcvttph2uqq ymm2, xmm3, {sae}
1994// CHECK: encoding: [0x62,0xf5,0x79,0x18,0x78,0xd3]
1995          vcvttph2uqq ymm2, xmm3, {sae}
1996
1997// CHECK: vcvttph2uqq ymm2 {k7}, xmm3, {sae}
1998// CHECK: encoding: [0x62,0xf5,0x79,0x1f,0x78,0xd3]
1999          vcvttph2uqq ymm2 {k7}, xmm3, {sae}
2000
2001// CHECK: vcvttph2uqq ymm2 {k7} {z}, xmm3, {sae}
2002// CHECK: encoding: [0x62,0xf5,0x79,0x9f,0x78,0xd3]
2003          vcvttph2uqq ymm2 {k7} {z}, xmm3, {sae}
2004
2005// CHECK: vcvttph2uw ymm2, ymm3, {sae}
2006// CHECK: encoding: [0x62,0xf5,0x78,0x18,0x7c,0xd3]
2007          vcvttph2uw ymm2, ymm3, {sae}
2008
2009// CHECK: vcvttph2uw ymm2 {k7}, ymm3, {sae}
2010// CHECK: encoding: [0x62,0xf5,0x78,0x1f,0x7c,0xd3]
2011          vcvttph2uw ymm2 {k7}, ymm3, {sae}
2012
2013// CHECK: vcvttph2uw ymm2 {k7} {z}, ymm3, {sae}
2014// CHECK: encoding: [0x62,0xf5,0x78,0x9f,0x7c,0xd3]
2015          vcvttph2uw ymm2 {k7} {z}, ymm3, {sae}
2016
2017// CHECK: vcvttph2w ymm2, ymm3, {sae}
2018// CHECK: encoding: [0x62,0xf5,0x79,0x18,0x7c,0xd3]
2019          vcvttph2w ymm2, ymm3, {sae}
2020
2021// CHECK: vcvttph2w ymm2 {k7}, ymm3, {sae}
2022// CHECK: encoding: [0x62,0xf5,0x79,0x1f,0x7c,0xd3]
2023          vcvttph2w ymm2 {k7}, ymm3, {sae}
2024
2025// CHECK: vcvttph2w ymm2 {k7} {z}, ymm3, {sae}
2026// CHECK: encoding: [0x62,0xf5,0x79,0x9f,0x7c,0xd3]
2027          vcvttph2w ymm2 {k7} {z}, ymm3, {sae}
2028
2029// CHECK: vcvttps2dq ymm2, ymm3, {sae}
2030// CHECK: encoding: [0x62,0xf1,0x7a,0x18,0x5b,0xd3]
2031          vcvttps2dq ymm2, ymm3, {sae}
2032
2033// CHECK: vcvttps2dq ymm2 {k7}, ymm3, {sae}
2034// CHECK: encoding: [0x62,0xf1,0x7a,0x1f,0x5b,0xd3]
2035          vcvttps2dq ymm2 {k7}, ymm3, {sae}
2036
2037// CHECK: vcvttps2dq ymm2 {k7} {z}, ymm3, {sae}
2038// CHECK: encoding: [0x62,0xf1,0x7a,0x9f,0x5b,0xd3]
2039          vcvttps2dq ymm2 {k7} {z}, ymm3, {sae}
2040
2041// CHECK: vcvttps2qq ymm2, xmm3, {sae}
2042// CHECK: encoding: [0x62,0xf1,0x79,0x18,0x7a,0xd3]
2043          vcvttps2qq ymm2, xmm3, {sae}
2044
2045// CHECK: vcvttps2qq ymm2 {k7}, xmm3, {sae}
2046// CHECK: encoding: [0x62,0xf1,0x79,0x1f,0x7a,0xd3]
2047          vcvttps2qq ymm2 {k7}, xmm3, {sae}
2048
2049// CHECK: vcvttps2qq ymm2 {k7} {z}, xmm3, {sae}
2050// CHECK: encoding: [0x62,0xf1,0x79,0x9f,0x7a,0xd3]
2051          vcvttps2qq ymm2 {k7} {z}, xmm3, {sae}
2052
2053// CHECK: vcvttps2udq ymm2, ymm3, {sae}
2054// CHECK: encoding: [0x62,0xf1,0x78,0x18,0x78,0xd3]
2055          vcvttps2udq ymm2, ymm3, {sae}
2056
2057// CHECK: vcvttps2udq ymm2 {k7}, ymm3, {sae}
2058// CHECK: encoding: [0x62,0xf1,0x78,0x1f,0x78,0xd3]
2059          vcvttps2udq ymm2 {k7}, ymm3, {sae}
2060
2061// CHECK: vcvttps2udq ymm2 {k7} {z}, ymm3, {sae}
2062// CHECK: encoding: [0x62,0xf1,0x78,0x9f,0x78,0xd3]
2063          vcvttps2udq ymm2 {k7} {z}, ymm3, {sae}
2064
2065// CHECK: vcvttps2uqq ymm2, xmm3, {sae}
2066// CHECK: encoding: [0x62,0xf1,0x79,0x18,0x78,0xd3]
2067          vcvttps2uqq ymm2, xmm3, {sae}
2068
2069// CHECK: vcvttps2uqq ymm2 {k7}, xmm3, {sae}
2070// CHECK: encoding: [0x62,0xf1,0x79,0x1f,0x78,0xd3]
2071          vcvttps2uqq ymm2 {k7}, xmm3, {sae}
2072
2073// CHECK: vcvttps2uqq ymm2 {k7} {z}, xmm3, {sae}
2074// CHECK: encoding: [0x62,0xf1,0x79,0x9f,0x78,0xd3]
2075          vcvttps2uqq ymm2 {k7} {z}, xmm3, {sae}
2076
2077// CHECK: vcvtudq2ph xmm2, ymm3, {rn-sae}
2078// CHECK: encoding: [0x62,0xf5,0x7b,0x18,0x7a,0xd3]
2079          vcvtudq2ph xmm2, ymm3, {rn-sae}
2080
2081// CHECK: vcvtudq2ph xmm2 {k7}, ymm3, {rd-sae}
2082// CHECK: encoding: [0x62,0xf5,0x7b,0x3f,0x7a,0xd3]
2083          vcvtudq2ph xmm2 {k7}, ymm3, {rd-sae}
2084
2085// CHECK: vcvtudq2ph xmm2 {k7} {z}, ymm3, {rz-sae}
2086// CHECK: encoding: [0x62,0xf5,0x7b,0xff,0x7a,0xd3]
2087          vcvtudq2ph xmm2 {k7} {z}, ymm3, {rz-sae}
2088
2089// CHECK: vcvtudq2ps ymm2, ymm3, {rn-sae}
2090// CHECK: encoding: [0x62,0xf1,0x7b,0x18,0x7a,0xd3]
2091          vcvtudq2ps ymm2, ymm3, {rn-sae}
2092
2093// CHECK: vcvtudq2ps ymm2 {k7}, ymm3, {rd-sae}
2094// CHECK: encoding: [0x62,0xf1,0x7b,0x3f,0x7a,0xd3]
2095          vcvtudq2ps ymm2 {k7}, ymm3, {rd-sae}
2096
2097// CHECK: vcvtudq2ps ymm2 {k7} {z}, ymm3, {rz-sae}
2098// CHECK: encoding: [0x62,0xf1,0x7b,0xff,0x7a,0xd3]
2099          vcvtudq2ps ymm2 {k7} {z}, ymm3, {rz-sae}
2100
2101// CHECK: vcvtuqq2pd ymm2, ymm3, {rn-sae}
2102// CHECK: encoding: [0x62,0xf1,0xfa,0x18,0x7a,0xd3]
2103          vcvtuqq2pd ymm2, ymm3, {rn-sae}
2104
2105// CHECK: vcvtuqq2pd ymm2 {k7}, ymm3, {rd-sae}
2106// CHECK: encoding: [0x62,0xf1,0xfa,0x3f,0x7a,0xd3]
2107          vcvtuqq2pd ymm2 {k7}, ymm3, {rd-sae}
2108
2109// CHECK: vcvtuqq2pd ymm2 {k7} {z}, ymm3, {rz-sae}
2110// CHECK: encoding: [0x62,0xf1,0xfa,0xff,0x7a,0xd3]
2111          vcvtuqq2pd ymm2 {k7} {z}, ymm3, {rz-sae}
2112
2113// CHECK: vcvtuqq2ph xmm2, ymm3, {rn-sae}
2114// CHECK: encoding: [0x62,0xf5,0xfb,0x18,0x7a,0xd3]
2115          vcvtuqq2ph xmm2, ymm3, {rn-sae}
2116
2117// CHECK: vcvtuqq2ph xmm2 {k7}, ymm3, {rd-sae}
2118// CHECK: encoding: [0x62,0xf5,0xfb,0x3f,0x7a,0xd3]
2119          vcvtuqq2ph xmm2 {k7}, ymm3, {rd-sae}
2120
2121// CHECK: vcvtuqq2ph xmm2 {k7} {z}, ymm3, {rz-sae}
2122// CHECK: encoding: [0x62,0xf5,0xfb,0xff,0x7a,0xd3]
2123          vcvtuqq2ph xmm2 {k7} {z}, ymm3, {rz-sae}
2124
2125// CHECK: vcvtuqq2ps xmm2, ymm3, {rn-sae}
2126// CHECK: encoding: [0x62,0xf1,0xfb,0x18,0x7a,0xd3]
2127          vcvtuqq2ps xmm2, ymm3, {rn-sae}
2128
2129// CHECK: vcvtuqq2ps xmm2 {k7}, ymm3, {rd-sae}
2130// CHECK: encoding: [0x62,0xf1,0xfb,0x3f,0x7a,0xd3]
2131          vcvtuqq2ps xmm2 {k7}, ymm3, {rd-sae}
2132
2133// CHECK: vcvtuqq2ps xmm2 {k7} {z}, ymm3, {rz-sae}
2134// CHECK: encoding: [0x62,0xf1,0xfb,0xff,0x7a,0xd3]
2135          vcvtuqq2ps xmm2 {k7} {z}, ymm3, {rz-sae}
2136
2137// CHECK: vcvtuw2ph ymm2, ymm3, {rn-sae}
2138// CHECK: encoding: [0x62,0xf5,0x7b,0x18,0x7d,0xd3]
2139          vcvtuw2ph ymm2, ymm3, {rn-sae}
2140
2141// CHECK: vcvtuw2ph ymm2 {k7}, ymm3, {rd-sae}
2142// CHECK: encoding: [0x62,0xf5,0x7b,0x3f,0x7d,0xd3]
2143          vcvtuw2ph ymm2 {k7}, ymm3, {rd-sae}
2144
2145// CHECK: vcvtuw2ph ymm2 {k7} {z}, ymm3, {rz-sae}
2146// CHECK: encoding: [0x62,0xf5,0x7b,0xff,0x7d,0xd3]
2147          vcvtuw2ph ymm2 {k7} {z}, ymm3, {rz-sae}
2148
2149// CHECK: vcvtw2ph ymm2, ymm3, {rn-sae}
2150// CHECK: encoding: [0x62,0xf5,0x7a,0x18,0x7d,0xd3]
2151          vcvtw2ph ymm2, ymm3, {rn-sae}
2152
2153// CHECK: vcvtw2ph ymm2 {k7}, ymm3, {rd-sae}
2154// CHECK: encoding: [0x62,0xf5,0x7a,0x3f,0x7d,0xd3]
2155          vcvtw2ph ymm2 {k7}, ymm3, {rd-sae}
2156
2157// CHECK: vcvtw2ph ymm2 {k7} {z}, ymm3, {rz-sae}
2158// CHECK: encoding: [0x62,0xf5,0x7a,0xff,0x7d,0xd3]
2159          vcvtw2ph ymm2 {k7} {z}, ymm3, {rz-sae}
2160
2161// CHECK: vdivpd ymm2, ymm3, ymm4, {rn-sae}
2162// CHECK: encoding: [0x62,0xf1,0xe1,0x18,0x5e,0xd4]
2163          vdivpd ymm2, ymm3, ymm4, {rn-sae}
2164
2165// CHECK: vdivpd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2166// CHECK: encoding: [0x62,0xf1,0xe1,0x3f,0x5e,0xd4]
2167          vdivpd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2168
2169// CHECK: vdivpd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2170// CHECK: encoding: [0x62,0xf1,0xe1,0xff,0x5e,0xd4]
2171          vdivpd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2172
2173// CHECK: vdivph ymm2, ymm3, ymm4, {rn-sae}
2174// CHECK: encoding: [0x62,0xf5,0x60,0x18,0x5e,0xd4]
2175          vdivph ymm2, ymm3, ymm4, {rn-sae}
2176
2177// CHECK: vdivph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2178// CHECK: encoding: [0x62,0xf5,0x60,0x3f,0x5e,0xd4]
2179          vdivph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2180
2181// CHECK: vdivph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2182// CHECK: encoding: [0x62,0xf5,0x60,0xff,0x5e,0xd4]
2183          vdivph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2184
2185// CHECK: vdivps ymm2, ymm3, ymm4, {rn-sae}
2186// CHECK: encoding: [0x62,0xf1,0x60,0x18,0x5e,0xd4]
2187          vdivps ymm2, ymm3, ymm4, {rn-sae}
2188
2189// CHECK: vdivps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2190// CHECK: encoding: [0x62,0xf1,0x60,0x3f,0x5e,0xd4]
2191          vdivps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2192
2193// CHECK: vdivps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2194// CHECK: encoding: [0x62,0xf1,0x60,0xff,0x5e,0xd4]
2195          vdivps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2196
2197// CHECK: vfcmaddcph ymm2, ymm3, ymm4, {rn-sae}
2198// CHECK: encoding: [0x62,0xf6,0x63,0x18,0x56,0xd4]
2199          vfcmaddcph ymm2, ymm3, ymm4, {rn-sae}
2200
2201// CHECK: vfcmaddcph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2202// CHECK: encoding: [0x62,0xf6,0x63,0x3f,0x56,0xd4]
2203          vfcmaddcph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2204
2205// CHECK: vfcmaddcph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2206// CHECK: encoding: [0x62,0xf6,0x63,0xff,0x56,0xd4]
2207          vfcmaddcph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2208
2209// CHECK: vfcmulcph ymm2, ymm3, ymm4, {rn-sae}
2210// CHECK: encoding: [0x62,0xf6,0x63,0x18,0xd6,0xd4]
2211          vfcmulcph ymm2, ymm3, ymm4, {rn-sae}
2212
2213// CHECK: vfcmulcph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2214// CHECK: encoding: [0x62,0xf6,0x63,0x3f,0xd6,0xd4]
2215          vfcmulcph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2216
2217// CHECK: vfcmulcph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2218// CHECK: encoding: [0x62,0xf6,0x63,0xff,0xd6,0xd4]
2219          vfcmulcph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2220
2221// CHECK: vfixupimmpd ymm2, ymm3, ymm4, {sae}, 123
2222// CHECK: encoding: [0x62,0xf3,0xe1,0x18,0x54,0xd4,0x7b]
2223          vfixupimmpd ymm2, ymm3, ymm4, {sae}, 123
2224
2225// CHECK: vfixupimmpd ymm2 {k7}, ymm3, ymm4, {sae}, 123
2226// CHECK: encoding: [0x62,0xf3,0xe1,0x1f,0x54,0xd4,0x7b]
2227          vfixupimmpd ymm2 {k7}, ymm3, ymm4, {sae}, 123
2228
2229// CHECK: vfixupimmpd ymm2 {k7} {z}, ymm3, ymm4, {sae}, 123
2230// CHECK: encoding: [0x62,0xf3,0xe1,0x9f,0x54,0xd4,0x7b]
2231          vfixupimmpd ymm2 {k7} {z}, ymm3, ymm4, {sae}, 123
2232
2233// CHECK: vfixupimmps ymm2, ymm3, ymm4, {sae}, 123
2234// CHECK: encoding: [0x62,0xf3,0x61,0x18,0x54,0xd4,0x7b]
2235          vfixupimmps ymm2, ymm3, ymm4, {sae}, 123
2236
2237// CHECK: vfixupimmps ymm2 {k7}, ymm3, ymm4, {sae}, 123
2238// CHECK: encoding: [0x62,0xf3,0x61,0x1f,0x54,0xd4,0x7b]
2239          vfixupimmps ymm2 {k7}, ymm3, ymm4, {sae}, 123
2240
2241// CHECK: vfixupimmps ymm2 {k7} {z}, ymm3, ymm4, {sae}, 123
2242// CHECK: encoding: [0x62,0xf3,0x61,0x9f,0x54,0xd4,0x7b]
2243          vfixupimmps ymm2 {k7} {z}, ymm3, ymm4, {sae}, 123
2244
2245// CHECK: vfmadd132pd ymm2, ymm3, ymm4, {rn-sae}
2246// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0x98,0xd4]
2247          vfmadd132pd ymm2, ymm3, ymm4, {rn-sae}
2248
2249// CHECK: vfmadd132pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2250// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0x98,0xd4]
2251          vfmadd132pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2252
2253// CHECK: vfmadd132pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2254// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0x98,0xd4]
2255          vfmadd132pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2256
2257// CHECK: vfmadd132ph ymm2, ymm3, ymm4, {rn-sae}
2258// CHECK: encoding: [0x62,0xf6,0x61,0x18,0x98,0xd4]
2259          vfmadd132ph ymm2, ymm3, ymm4, {rn-sae}
2260
2261// CHECK: vfmadd132ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2262// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0x98,0xd4]
2263          vfmadd132ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2264
2265// CHECK: vfmadd132ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2266// CHECK: encoding: [0x62,0xf6,0x61,0xff,0x98,0xd4]
2267          vfmadd132ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2268
2269// CHECK: vfmadd132ps ymm2, ymm3, ymm4, {rn-sae}
2270// CHECK: encoding: [0x62,0xf2,0x61,0x18,0x98,0xd4]
2271          vfmadd132ps ymm2, ymm3, ymm4, {rn-sae}
2272
2273// CHECK: vfmadd132ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2274// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0x98,0xd4]
2275          vfmadd132ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2276
2277// CHECK: vfmadd132ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2278// CHECK: encoding: [0x62,0xf2,0x61,0xff,0x98,0xd4]
2279          vfmadd132ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2280
2281// CHECK: vfmadd213pd ymm2, ymm3, ymm4, {rn-sae}
2282// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0xa8,0xd4]
2283          vfmadd213pd ymm2, ymm3, ymm4, {rn-sae}
2284
2285// CHECK: vfmadd213pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2286// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0xa8,0xd4]
2287          vfmadd213pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2288
2289// CHECK: vfmadd213pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2290// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0xa8,0xd4]
2291          vfmadd213pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2292
2293// CHECK: vfmadd213ph ymm2, ymm3, ymm4, {rn-sae}
2294// CHECK: encoding: [0x62,0xf6,0x61,0x18,0xa8,0xd4]
2295          vfmadd213ph ymm2, ymm3, ymm4, {rn-sae}
2296
2297// CHECK: vfmadd213ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2298// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0xa8,0xd4]
2299          vfmadd213ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2300
2301// CHECK: vfmadd213ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2302// CHECK: encoding: [0x62,0xf6,0x61,0xff,0xa8,0xd4]
2303          vfmadd213ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2304
2305// CHECK: vfmadd213ps ymm2, ymm3, ymm4, {rn-sae}
2306// CHECK: encoding: [0x62,0xf2,0x61,0x18,0xa8,0xd4]
2307          vfmadd213ps ymm2, ymm3, ymm4, {rn-sae}
2308
2309// CHECK: vfmadd213ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2310// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0xa8,0xd4]
2311          vfmadd213ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2312
2313// CHECK: vfmadd213ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2314// CHECK: encoding: [0x62,0xf2,0x61,0xff,0xa8,0xd4]
2315          vfmadd213ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2316
2317// CHECK: vfmadd231pd ymm2, ymm3, ymm4, {rn-sae}
2318// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0xb8,0xd4]
2319          vfmadd231pd ymm2, ymm3, ymm4, {rn-sae}
2320
2321// CHECK: vfmadd231pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2322// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0xb8,0xd4]
2323          vfmadd231pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2324
2325// CHECK: vfmadd231pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2326// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0xb8,0xd4]
2327          vfmadd231pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2328
2329// CHECK: vfmadd231ph ymm2, ymm3, ymm4, {rn-sae}
2330// CHECK: encoding: [0x62,0xf6,0x61,0x18,0xb8,0xd4]
2331          vfmadd231ph ymm2, ymm3, ymm4, {rn-sae}
2332
2333// CHECK: vfmadd231ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2334// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0xb8,0xd4]
2335          vfmadd231ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2336
2337// CHECK: vfmadd231ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2338// CHECK: encoding: [0x62,0xf6,0x61,0xff,0xb8,0xd4]
2339          vfmadd231ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2340
2341// CHECK: vfmadd231ps ymm2, ymm3, ymm4, {rn-sae}
2342// CHECK: encoding: [0x62,0xf2,0x61,0x18,0xb8,0xd4]
2343          vfmadd231ps ymm2, ymm3, ymm4, {rn-sae}
2344
2345// CHECK: vfmadd231ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2346// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0xb8,0xd4]
2347          vfmadd231ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2348
2349// CHECK: vfmadd231ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2350// CHECK: encoding: [0x62,0xf2,0x61,0xff,0xb8,0xd4]
2351          vfmadd231ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2352
2353// CHECK: vfmaddcph ymm2, ymm3, ymm4, {rn-sae}
2354// CHECK: encoding: [0x62,0xf6,0x62,0x18,0x56,0xd4]
2355          vfmaddcph ymm2, ymm3, ymm4, {rn-sae}
2356
2357// CHECK: vfmaddcph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2358// CHECK: encoding: [0x62,0xf6,0x62,0x3f,0x56,0xd4]
2359          vfmaddcph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2360
2361// CHECK: vfmaddcph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2362// CHECK: encoding: [0x62,0xf6,0x62,0xff,0x56,0xd4]
2363          vfmaddcph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2364
2365// CHECK: vfmaddsub132pd ymm2, ymm3, ymm4, {rn-sae}
2366// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0x96,0xd4]
2367          vfmaddsub132pd ymm2, ymm3, ymm4, {rn-sae}
2368
2369// CHECK: vfmaddsub132pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2370// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0x96,0xd4]
2371          vfmaddsub132pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2372
2373// CHECK: vfmaddsub132pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2374// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0x96,0xd4]
2375          vfmaddsub132pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2376
2377// CHECK: vfmaddsub132ph ymm2, ymm3, ymm4, {rn-sae}
2378// CHECK: encoding: [0x62,0xf6,0x61,0x18,0x96,0xd4]
2379          vfmaddsub132ph ymm2, ymm3, ymm4, {rn-sae}
2380
2381// CHECK: vfmaddsub132ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2382// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0x96,0xd4]
2383          vfmaddsub132ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2384
2385// CHECK: vfmaddsub132ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2386// CHECK: encoding: [0x62,0xf6,0x61,0xff,0x96,0xd4]
2387          vfmaddsub132ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2388
2389// CHECK: vfmaddsub132ps ymm2, ymm3, ymm4, {rn-sae}
2390// CHECK: encoding: [0x62,0xf2,0x61,0x18,0x96,0xd4]
2391          vfmaddsub132ps ymm2, ymm3, ymm4, {rn-sae}
2392
2393// CHECK: vfmaddsub132ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2394// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0x96,0xd4]
2395          vfmaddsub132ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2396
2397// CHECK: vfmaddsub132ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2398// CHECK: encoding: [0x62,0xf2,0x61,0xff,0x96,0xd4]
2399          vfmaddsub132ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2400
2401// CHECK: vfmaddsub213pd ymm2, ymm3, ymm4, {rn-sae}
2402// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0xa6,0xd4]
2403          vfmaddsub213pd ymm2, ymm3, ymm4, {rn-sae}
2404
2405// CHECK: vfmaddsub213pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2406// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0xa6,0xd4]
2407          vfmaddsub213pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2408
2409// CHECK: vfmaddsub213pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2410// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0xa6,0xd4]
2411          vfmaddsub213pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2412
2413// CHECK: vfmaddsub213ph ymm2, ymm3, ymm4, {rn-sae}
2414// CHECK: encoding: [0x62,0xf6,0x61,0x18,0xa6,0xd4]
2415          vfmaddsub213ph ymm2, ymm3, ymm4, {rn-sae}
2416
2417// CHECK: vfmaddsub213ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2418// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0xa6,0xd4]
2419          vfmaddsub213ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2420
2421// CHECK: vfmaddsub213ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2422// CHECK: encoding: [0x62,0xf6,0x61,0xff,0xa6,0xd4]
2423          vfmaddsub213ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2424
2425// CHECK: vfmaddsub213ps ymm2, ymm3, ymm4, {rn-sae}
2426// CHECK: encoding: [0x62,0xf2,0x61,0x18,0xa6,0xd4]
2427          vfmaddsub213ps ymm2, ymm3, ymm4, {rn-sae}
2428
2429// CHECK: vfmaddsub213ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2430// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0xa6,0xd4]
2431          vfmaddsub213ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2432
2433// CHECK: vfmaddsub213ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2434// CHECK: encoding: [0x62,0xf2,0x61,0xff,0xa6,0xd4]
2435          vfmaddsub213ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2436
2437// CHECK: vfmaddsub231pd ymm2, ymm3, ymm4, {rn-sae}
2438// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0xb6,0xd4]
2439          vfmaddsub231pd ymm2, ymm3, ymm4, {rn-sae}
2440
2441// CHECK: vfmaddsub231pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2442// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0xb6,0xd4]
2443          vfmaddsub231pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2444
2445// CHECK: vfmaddsub231pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2446// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0xb6,0xd4]
2447          vfmaddsub231pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2448
2449// CHECK: vfmaddsub231ph ymm2, ymm3, ymm4, {rn-sae}
2450// CHECK: encoding: [0x62,0xf6,0x61,0x18,0xb6,0xd4]
2451          vfmaddsub231ph ymm2, ymm3, ymm4, {rn-sae}
2452
2453// CHECK: vfmaddsub231ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2454// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0xb6,0xd4]
2455          vfmaddsub231ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2456
2457// CHECK: vfmaddsub231ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2458// CHECK: encoding: [0x62,0xf6,0x61,0xff,0xb6,0xd4]
2459          vfmaddsub231ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2460
2461// CHECK: vfmaddsub231ps ymm2, ymm3, ymm4, {rn-sae}
2462// CHECK: encoding: [0x62,0xf2,0x61,0x18,0xb6,0xd4]
2463          vfmaddsub231ps ymm2, ymm3, ymm4, {rn-sae}
2464
2465// CHECK: vfmaddsub231ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2466// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0xb6,0xd4]
2467          vfmaddsub231ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2468
2469// CHECK: vfmaddsub231ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2470// CHECK: encoding: [0x62,0xf2,0x61,0xff,0xb6,0xd4]
2471          vfmaddsub231ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2472
2473// CHECK: vfmsub132pd ymm2, ymm3, ymm4, {rn-sae}
2474// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0x9a,0xd4]
2475          vfmsub132pd ymm2, ymm3, ymm4, {rn-sae}
2476
2477// CHECK: vfmsub132pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2478// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0x9a,0xd4]
2479          vfmsub132pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2480
2481// CHECK: vfmsub132pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2482// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0x9a,0xd4]
2483          vfmsub132pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2484
2485// CHECK: vfmsub132ph ymm2, ymm3, ymm4, {rn-sae}
2486// CHECK: encoding: [0x62,0xf6,0x61,0x18,0x9a,0xd4]
2487          vfmsub132ph ymm2, ymm3, ymm4, {rn-sae}
2488
2489// CHECK: vfmsub132ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2490// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0x9a,0xd4]
2491          vfmsub132ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2492
2493// CHECK: vfmsub132ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2494// CHECK: encoding: [0x62,0xf6,0x61,0xff,0x9a,0xd4]
2495          vfmsub132ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2496
2497// CHECK: vfmsub132ps ymm2, ymm3, ymm4, {rn-sae}
2498// CHECK: encoding: [0x62,0xf2,0x61,0x18,0x9a,0xd4]
2499          vfmsub132ps ymm2, ymm3, ymm4, {rn-sae}
2500
2501// CHECK: vfmsub132ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2502// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0x9a,0xd4]
2503          vfmsub132ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2504
2505// CHECK: vfmsub132ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2506// CHECK: encoding: [0x62,0xf2,0x61,0xff,0x9a,0xd4]
2507          vfmsub132ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2508
2509// CHECK: vfmsub213pd ymm2, ymm3, ymm4, {rn-sae}
2510// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0xaa,0xd4]
2511          vfmsub213pd ymm2, ymm3, ymm4, {rn-sae}
2512
2513// CHECK: vfmsub213pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2514// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0xaa,0xd4]
2515          vfmsub213pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2516
2517// CHECK: vfmsub213pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2518// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0xaa,0xd4]
2519          vfmsub213pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2520
2521// CHECK: vfmsub213ph ymm2, ymm3, ymm4, {rn-sae}
2522// CHECK: encoding: [0x62,0xf6,0x61,0x18,0xaa,0xd4]
2523          vfmsub213ph ymm2, ymm3, ymm4, {rn-sae}
2524
2525// CHECK: vfmsub213ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2526// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0xaa,0xd4]
2527          vfmsub213ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2528
2529// CHECK: vfmsub213ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2530// CHECK: encoding: [0x62,0xf6,0x61,0xff,0xaa,0xd4]
2531          vfmsub213ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2532
2533// CHECK: vfmsub213ps ymm2, ymm3, ymm4, {rn-sae}
2534// CHECK: encoding: [0x62,0xf2,0x61,0x18,0xaa,0xd4]
2535          vfmsub213ps ymm2, ymm3, ymm4, {rn-sae}
2536
2537// CHECK: vfmsub213ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2538// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0xaa,0xd4]
2539          vfmsub213ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2540
2541// CHECK: vfmsub213ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2542// CHECK: encoding: [0x62,0xf2,0x61,0xff,0xaa,0xd4]
2543          vfmsub213ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2544
2545// CHECK: vfmsub231pd ymm2, ymm3, ymm4, {rn-sae}
2546// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0xba,0xd4]
2547          vfmsub231pd ymm2, ymm3, ymm4, {rn-sae}
2548
2549// CHECK: vfmsub231pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2550// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0xba,0xd4]
2551          vfmsub231pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2552
2553// CHECK: vfmsub231pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2554// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0xba,0xd4]
2555          vfmsub231pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2556
2557// CHECK: vfmsub231ph ymm2, ymm3, ymm4, {rn-sae}
2558// CHECK: encoding: [0x62,0xf6,0x61,0x18,0xba,0xd4]
2559          vfmsub231ph ymm2, ymm3, ymm4, {rn-sae}
2560
2561// CHECK: vfmsub231ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2562// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0xba,0xd4]
2563          vfmsub231ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2564
2565// CHECK: vfmsub231ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2566// CHECK: encoding: [0x62,0xf6,0x61,0xff,0xba,0xd4]
2567          vfmsub231ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2568
2569// CHECK: vfmsub231ps ymm2, ymm3, ymm4, {rn-sae}
2570// CHECK: encoding: [0x62,0xf2,0x61,0x18,0xba,0xd4]
2571          vfmsub231ps ymm2, ymm3, ymm4, {rn-sae}
2572
2573// CHECK: vfmsub231ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2574// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0xba,0xd4]
2575          vfmsub231ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2576
2577// CHECK: vfmsub231ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2578// CHECK: encoding: [0x62,0xf2,0x61,0xff,0xba,0xd4]
2579          vfmsub231ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2580
2581// CHECK: vfmsubadd132pd ymm2, ymm3, ymm4, {rn-sae}
2582// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0x97,0xd4]
2583          vfmsubadd132pd ymm2, ymm3, ymm4, {rn-sae}
2584
2585// CHECK: vfmsubadd132pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2586// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0x97,0xd4]
2587          vfmsubadd132pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2588
2589// CHECK: vfmsubadd132pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2590// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0x97,0xd4]
2591          vfmsubadd132pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2592
2593// CHECK: vfmsubadd132ph ymm2, ymm3, ymm4, {rn-sae}
2594// CHECK: encoding: [0x62,0xf6,0x61,0x18,0x97,0xd4]
2595          vfmsubadd132ph ymm2, ymm3, ymm4, {rn-sae}
2596
2597// CHECK: vfmsubadd132ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2598// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0x97,0xd4]
2599          vfmsubadd132ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2600
2601// CHECK: vfmsubadd132ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2602// CHECK: encoding: [0x62,0xf6,0x61,0xff,0x97,0xd4]
2603          vfmsubadd132ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2604
2605// CHECK: vfmsubadd132ps ymm2, ymm3, ymm4, {rn-sae}
2606// CHECK: encoding: [0x62,0xf2,0x61,0x18,0x97,0xd4]
2607          vfmsubadd132ps ymm2, ymm3, ymm4, {rn-sae}
2608
2609// CHECK: vfmsubadd132ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2610// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0x97,0xd4]
2611          vfmsubadd132ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2612
2613// CHECK: vfmsubadd132ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2614// CHECK: encoding: [0x62,0xf2,0x61,0xff,0x97,0xd4]
2615          vfmsubadd132ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2616
2617// CHECK: vfmsubadd213pd ymm2, ymm3, ymm4, {rn-sae}
2618// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0xa7,0xd4]
2619          vfmsubadd213pd ymm2, ymm3, ymm4, {rn-sae}
2620
2621// CHECK: vfmsubadd213pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2622// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0xa7,0xd4]
2623          vfmsubadd213pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2624
2625// CHECK: vfmsubadd213pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2626// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0xa7,0xd4]
2627          vfmsubadd213pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2628
2629// CHECK: vfmsubadd213ph ymm2, ymm3, ymm4, {rn-sae}
2630// CHECK: encoding: [0x62,0xf6,0x61,0x18,0xa7,0xd4]
2631          vfmsubadd213ph ymm2, ymm3, ymm4, {rn-sae}
2632
2633// CHECK: vfmsubadd213ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2634// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0xa7,0xd4]
2635          vfmsubadd213ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2636
2637// CHECK: vfmsubadd213ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2638// CHECK: encoding: [0x62,0xf6,0x61,0xff,0xa7,0xd4]
2639          vfmsubadd213ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2640
2641// CHECK: vfmsubadd213ps ymm2, ymm3, ymm4, {rn-sae}
2642// CHECK: encoding: [0x62,0xf2,0x61,0x18,0xa7,0xd4]
2643          vfmsubadd213ps ymm2, ymm3, ymm4, {rn-sae}
2644
2645// CHECK: vfmsubadd213ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2646// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0xa7,0xd4]
2647          vfmsubadd213ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2648
2649// CHECK: vfmsubadd213ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2650// CHECK: encoding: [0x62,0xf2,0x61,0xff,0xa7,0xd4]
2651          vfmsubadd213ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2652
2653// CHECK: vfmsubadd231pd ymm2, ymm3, ymm4, {rn-sae}
2654// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0xb7,0xd4]
2655          vfmsubadd231pd ymm2, ymm3, ymm4, {rn-sae}
2656
2657// CHECK: vfmsubadd231pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2658// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0xb7,0xd4]
2659          vfmsubadd231pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2660
2661// CHECK: vfmsubadd231pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2662// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0xb7,0xd4]
2663          vfmsubadd231pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2664
2665// CHECK: vfmsubadd231ph ymm2, ymm3, ymm4, {rn-sae}
2666// CHECK: encoding: [0x62,0xf6,0x61,0x18,0xb7,0xd4]
2667          vfmsubadd231ph ymm2, ymm3, ymm4, {rn-sae}
2668
2669// CHECK: vfmsubadd231ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2670// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0xb7,0xd4]
2671          vfmsubadd231ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2672
2673// CHECK: vfmsubadd231ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2674// CHECK: encoding: [0x62,0xf6,0x61,0xff,0xb7,0xd4]
2675          vfmsubadd231ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2676
2677// CHECK: vfmsubadd231ps ymm2, ymm3, ymm4, {rn-sae}
2678// CHECK: encoding: [0x62,0xf2,0x61,0x18,0xb7,0xd4]
2679          vfmsubadd231ps ymm2, ymm3, ymm4, {rn-sae}
2680
2681// CHECK: vfmsubadd231ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2682// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0xb7,0xd4]
2683          vfmsubadd231ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2684
2685// CHECK: vfmsubadd231ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2686// CHECK: encoding: [0x62,0xf2,0x61,0xff,0xb7,0xd4]
2687          vfmsubadd231ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2688
2689// CHECK: vfmulcph ymm2, ymm3, ymm4, {rn-sae}
2690// CHECK: encoding: [0x62,0xf6,0x62,0x18,0xd6,0xd4]
2691          vfmulcph ymm2, ymm3, ymm4, {rn-sae}
2692
2693// CHECK: vfmulcph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2694// CHECK: encoding: [0x62,0xf6,0x62,0x3f,0xd6,0xd4]
2695          vfmulcph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2696
2697// CHECK: vfmulcph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2698// CHECK: encoding: [0x62,0xf6,0x62,0xff,0xd6,0xd4]
2699          vfmulcph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2700
2701// CHECK: vfnmadd132pd ymm2, ymm3, ymm4, {rn-sae}
2702// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0x9c,0xd4]
2703          vfnmadd132pd ymm2, ymm3, ymm4, {rn-sae}
2704
2705// CHECK: vfnmadd132pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2706// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0x9c,0xd4]
2707          vfnmadd132pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2708
2709// CHECK: vfnmadd132pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2710// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0x9c,0xd4]
2711          vfnmadd132pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2712
2713// CHECK: vfnmadd132ph ymm2, ymm3, ymm4, {rn-sae}
2714// CHECK: encoding: [0x62,0xf6,0x61,0x18,0x9c,0xd4]
2715          vfnmadd132ph ymm2, ymm3, ymm4, {rn-sae}
2716
2717// CHECK: vfnmadd132ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2718// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0x9c,0xd4]
2719          vfnmadd132ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2720
2721// CHECK: vfnmadd132ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2722// CHECK: encoding: [0x62,0xf6,0x61,0xff,0x9c,0xd4]
2723          vfnmadd132ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2724
2725// CHECK: vfnmadd132ps ymm2, ymm3, ymm4, {rn-sae}
2726// CHECK: encoding: [0x62,0xf2,0x61,0x18,0x9c,0xd4]
2727          vfnmadd132ps ymm2, ymm3, ymm4, {rn-sae}
2728
2729// CHECK: vfnmadd132ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2730// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0x9c,0xd4]
2731          vfnmadd132ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2732
2733// CHECK: vfnmadd132ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2734// CHECK: encoding: [0x62,0xf2,0x61,0xff,0x9c,0xd4]
2735          vfnmadd132ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2736
2737// CHECK: vfnmadd213pd ymm2, ymm3, ymm4, {rn-sae}
2738// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0xac,0xd4]
2739          vfnmadd213pd ymm2, ymm3, ymm4, {rn-sae}
2740
2741// CHECK: vfnmadd213pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2742// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0xac,0xd4]
2743          vfnmadd213pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2744
2745// CHECK: vfnmadd213pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2746// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0xac,0xd4]
2747          vfnmadd213pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2748
2749// CHECK: vfnmadd213ph ymm2, ymm3, ymm4, {rn-sae}
2750// CHECK: encoding: [0x62,0xf6,0x61,0x18,0xac,0xd4]
2751          vfnmadd213ph ymm2, ymm3, ymm4, {rn-sae}
2752
2753// CHECK: vfnmadd213ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2754// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0xac,0xd4]
2755          vfnmadd213ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2756
2757// CHECK: vfnmadd213ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2758// CHECK: encoding: [0x62,0xf6,0x61,0xff,0xac,0xd4]
2759          vfnmadd213ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2760
2761// CHECK: vfnmadd213ps ymm2, ymm3, ymm4, {rn-sae}
2762// CHECK: encoding: [0x62,0xf2,0x61,0x18,0xac,0xd4]
2763          vfnmadd213ps ymm2, ymm3, ymm4, {rn-sae}
2764
2765// CHECK: vfnmadd213ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2766// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0xac,0xd4]
2767          vfnmadd213ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2768
2769// CHECK: vfnmadd213ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2770// CHECK: encoding: [0x62,0xf2,0x61,0xff,0xac,0xd4]
2771          vfnmadd213ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2772
2773// CHECK: vfnmadd231pd ymm2, ymm3, ymm4, {rn-sae}
2774// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0xbc,0xd4]
2775          vfnmadd231pd ymm2, ymm3, ymm4, {rn-sae}
2776
2777// CHECK: vfnmadd231pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2778// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0xbc,0xd4]
2779          vfnmadd231pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2780
2781// CHECK: vfnmadd231pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2782// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0xbc,0xd4]
2783          vfnmadd231pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2784
2785// CHECK: vfnmadd231ph ymm2, ymm3, ymm4, {rn-sae}
2786// CHECK: encoding: [0x62,0xf6,0x61,0x18,0xbc,0xd4]
2787          vfnmadd231ph ymm2, ymm3, ymm4, {rn-sae}
2788
2789// CHECK: vfnmadd231ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2790// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0xbc,0xd4]
2791          vfnmadd231ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2792
2793// CHECK: vfnmadd231ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2794// CHECK: encoding: [0x62,0xf6,0x61,0xff,0xbc,0xd4]
2795          vfnmadd231ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2796
2797// CHECK: vfnmadd231ps ymm2, ymm3, ymm4, {rn-sae}
2798// CHECK: encoding: [0x62,0xf2,0x61,0x18,0xbc,0xd4]
2799          vfnmadd231ps ymm2, ymm3, ymm4, {rn-sae}
2800
2801// CHECK: vfnmadd231ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2802// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0xbc,0xd4]
2803          vfnmadd231ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2804
2805// CHECK: vfnmadd231ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2806// CHECK: encoding: [0x62,0xf2,0x61,0xff,0xbc,0xd4]
2807          vfnmadd231ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2808
2809// CHECK: vfnmsub132pd ymm2, ymm3, ymm4, {rn-sae}
2810// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0x9e,0xd4]
2811          vfnmsub132pd ymm2, ymm3, ymm4, {rn-sae}
2812
2813// CHECK: vfnmsub132pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2814// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0x9e,0xd4]
2815          vfnmsub132pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2816
2817// CHECK: vfnmsub132pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2818// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0x9e,0xd4]
2819          vfnmsub132pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2820
2821// CHECK: vfnmsub132ph ymm2, ymm3, ymm4, {rn-sae}
2822// CHECK: encoding: [0x62,0xf6,0x61,0x18,0x9e,0xd4]
2823          vfnmsub132ph ymm2, ymm3, ymm4, {rn-sae}
2824
2825// CHECK: vfnmsub132ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2826// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0x9e,0xd4]
2827          vfnmsub132ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2828
2829// CHECK: vfnmsub132ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2830// CHECK: encoding: [0x62,0xf6,0x61,0xff,0x9e,0xd4]
2831          vfnmsub132ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2832
2833// CHECK: vfnmsub132ps ymm2, ymm3, ymm4, {rn-sae}
2834// CHECK: encoding: [0x62,0xf2,0x61,0x18,0x9e,0xd4]
2835          vfnmsub132ps ymm2, ymm3, ymm4, {rn-sae}
2836
2837// CHECK: vfnmsub132ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2838// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0x9e,0xd4]
2839          vfnmsub132ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2840
2841// CHECK: vfnmsub132ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2842// CHECK: encoding: [0x62,0xf2,0x61,0xff,0x9e,0xd4]
2843          vfnmsub132ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2844
2845// CHECK: vfnmsub213pd ymm2, ymm3, ymm4, {rn-sae}
2846// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0xae,0xd4]
2847          vfnmsub213pd ymm2, ymm3, ymm4, {rn-sae}
2848
2849// CHECK: vfnmsub213pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2850// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0xae,0xd4]
2851          vfnmsub213pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2852
2853// CHECK: vfnmsub213pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2854// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0xae,0xd4]
2855          vfnmsub213pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2856
2857// CHECK: vfnmsub213ph ymm2, ymm3, ymm4, {rn-sae}
2858// CHECK: encoding: [0x62,0xf6,0x61,0x18,0xae,0xd4]
2859          vfnmsub213ph ymm2, ymm3, ymm4, {rn-sae}
2860
2861// CHECK: vfnmsub213ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2862// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0xae,0xd4]
2863          vfnmsub213ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2864
2865// CHECK: vfnmsub213ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2866// CHECK: encoding: [0x62,0xf6,0x61,0xff,0xae,0xd4]
2867          vfnmsub213ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2868
2869// CHECK: vfnmsub213ps ymm2, ymm3, ymm4, {rn-sae}
2870// CHECK: encoding: [0x62,0xf2,0x61,0x18,0xae,0xd4]
2871          vfnmsub213ps ymm2, ymm3, ymm4, {rn-sae}
2872
2873// CHECK: vfnmsub213ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2874// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0xae,0xd4]
2875          vfnmsub213ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2876
2877// CHECK: vfnmsub213ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2878// CHECK: encoding: [0x62,0xf2,0x61,0xff,0xae,0xd4]
2879          vfnmsub213ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2880
2881// CHECK: vfnmsub231pd ymm2, ymm3, ymm4, {rn-sae}
2882// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0xbe,0xd4]
2883          vfnmsub231pd ymm2, ymm3, ymm4, {rn-sae}
2884
2885// CHECK: vfnmsub231pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2886// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0xbe,0xd4]
2887          vfnmsub231pd ymm2 {k7}, ymm3, ymm4, {rd-sae}
2888
2889// CHECK: vfnmsub231pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2890// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0xbe,0xd4]
2891          vfnmsub231pd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2892
2893// CHECK: vfnmsub231ph ymm2, ymm3, ymm4, {rn-sae}
2894// CHECK: encoding: [0x62,0xf6,0x61,0x18,0xbe,0xd4]
2895          vfnmsub231ph ymm2, ymm3, ymm4, {rn-sae}
2896
2897// CHECK: vfnmsub231ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2898// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0xbe,0xd4]
2899          vfnmsub231ph ymm2 {k7}, ymm3, ymm4, {rd-sae}
2900
2901// CHECK: vfnmsub231ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2902// CHECK: encoding: [0x62,0xf6,0x61,0xff,0xbe,0xd4]
2903          vfnmsub231ph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2904
2905// CHECK: vfnmsub231ps ymm2, ymm3, ymm4, {rn-sae}
2906// CHECK: encoding: [0x62,0xf2,0x61,0x18,0xbe,0xd4]
2907          vfnmsub231ps ymm2, ymm3, ymm4, {rn-sae}
2908
2909// CHECK: vfnmsub231ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2910// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0xbe,0xd4]
2911          vfnmsub231ps ymm2 {k7}, ymm3, ymm4, {rd-sae}
2912
2913// CHECK: vfnmsub231ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2914// CHECK: encoding: [0x62,0xf2,0x61,0xff,0xbe,0xd4]
2915          vfnmsub231ps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
2916
2917// CHECK: vgetexppd ymm2, ymm3, {sae}
2918// CHECK: encoding: [0x62,0xf2,0xf9,0x18,0x42,0xd3]
2919          vgetexppd ymm2, ymm3, {sae}
2920
2921// CHECK: vgetexppd ymm2 {k7}, ymm3, {sae}
2922// CHECK: encoding: [0x62,0xf2,0xf9,0x1f,0x42,0xd3]
2923          vgetexppd ymm2 {k7}, ymm3, {sae}
2924
2925// CHECK: vgetexppd ymm2 {k7} {z}, ymm3, {sae}
2926// CHECK: encoding: [0x62,0xf2,0xf9,0x9f,0x42,0xd3]
2927          vgetexppd ymm2 {k7} {z}, ymm3, {sae}
2928
2929// CHECK: vgetexpph ymm2, ymm3, {sae}
2930// CHECK: encoding: [0x62,0xf6,0x79,0x18,0x42,0xd3]
2931          vgetexpph ymm2, ymm3, {sae}
2932
2933// CHECK: vgetexpph ymm2 {k7}, ymm3, {sae}
2934// CHECK: encoding: [0x62,0xf6,0x79,0x1f,0x42,0xd3]
2935          vgetexpph ymm2 {k7}, ymm3, {sae}
2936
2937// CHECK: vgetexpph ymm2 {k7} {z}, ymm3, {sae}
2938// CHECK: encoding: [0x62,0xf6,0x79,0x9f,0x42,0xd3]
2939          vgetexpph ymm2 {k7} {z}, ymm3, {sae}
2940
2941// CHECK: vgetexpps ymm2, ymm3, {sae}
2942// CHECK: encoding: [0x62,0xf2,0x79,0x18,0x42,0xd3]
2943          vgetexpps ymm2, ymm3, {sae}
2944
2945// CHECK: vgetexpps ymm2 {k7}, ymm3, {sae}
2946// CHECK: encoding: [0x62,0xf2,0x79,0x1f,0x42,0xd3]
2947          vgetexpps ymm2 {k7}, ymm3, {sae}
2948
2949// CHECK: vgetexpps ymm2 {k7} {z}, ymm3, {sae}
2950// CHECK: encoding: [0x62,0xf2,0x79,0x9f,0x42,0xd3]
2951          vgetexpps ymm2 {k7} {z}, ymm3, {sae}
2952
2953// CHECK: vgetmantpd ymm2, ymm3, {sae}, 123
2954// CHECK: encoding: [0x62,0xf3,0xf9,0x18,0x26,0xd3,0x7b]
2955          vgetmantpd ymm2, ymm3, {sae}, 123
2956
2957// CHECK: vgetmantpd ymm2 {k7}, ymm3, {sae}, 123
2958// CHECK: encoding: [0x62,0xf3,0xf9,0x1f,0x26,0xd3,0x7b]
2959          vgetmantpd ymm2 {k7}, ymm3, {sae}, 123
2960
2961// CHECK: vgetmantpd ymm2 {k7} {z}, ymm3, {sae}, 123
2962// CHECK: encoding: [0x62,0xf3,0xf9,0x9f,0x26,0xd3,0x7b]
2963          vgetmantpd ymm2 {k7} {z}, ymm3, {sae}, 123
2964
2965// CHECK: vgetmantph ymm2, ymm3, {sae}, 123
2966// CHECK: encoding: [0x62,0xf3,0x78,0x18,0x26,0xd3,0x7b]
2967          vgetmantph ymm2, ymm3, {sae}, 123
2968
2969// CHECK: vgetmantph ymm2 {k7}, ymm3, {sae}, 123
2970// CHECK: encoding: [0x62,0xf3,0x78,0x1f,0x26,0xd3,0x7b]
2971          vgetmantph ymm2 {k7}, ymm3, {sae}, 123
2972
2973// CHECK: vgetmantph ymm2 {k7} {z}, ymm3, {sae}, 123
2974// CHECK: encoding: [0x62,0xf3,0x78,0x9f,0x26,0xd3,0x7b]
2975          vgetmantph ymm2 {k7} {z}, ymm3, {sae}, 123
2976
2977// CHECK: vgetmantps ymm2, ymm3, {sae}, 123
2978// CHECK: encoding: [0x62,0xf3,0x79,0x18,0x26,0xd3,0x7b]
2979          vgetmantps ymm2, ymm3, {sae}, 123
2980
2981// CHECK: vgetmantps ymm2 {k7}, ymm3, {sae}, 123
2982// CHECK: encoding: [0x62,0xf3,0x79,0x1f,0x26,0xd3,0x7b]
2983          vgetmantps ymm2 {k7}, ymm3, {sae}, 123
2984
2985// CHECK: vgetmantps ymm2 {k7} {z}, ymm3, {sae}, 123
2986// CHECK: encoding: [0x62,0xf3,0x79,0x9f,0x26,0xd3,0x7b]
2987          vgetmantps ymm2 {k7} {z}, ymm3, {sae}, 123
2988
2989// CHECK: vmaxpd ymm2, ymm3, ymm4, {sae}
2990// CHECK: encoding: [0x62,0xf1,0xe1,0x18,0x5f,0xd4]
2991          vmaxpd ymm2, ymm3, ymm4, {sae}
2992
2993// CHECK: vmaxpd ymm2 {k7}, ymm3, ymm4, {sae}
2994// CHECK: encoding: [0x62,0xf1,0xe1,0x1f,0x5f,0xd4]
2995          vmaxpd ymm2 {k7}, ymm3, ymm4, {sae}
2996
2997// CHECK: vmaxpd ymm2 {k7} {z}, ymm3, ymm4, {sae}
2998// CHECK: encoding: [0x62,0xf1,0xe1,0x9f,0x5f,0xd4]
2999          vmaxpd ymm2 {k7} {z}, ymm3, ymm4, {sae}
3000
3001// CHECK: vmaxph ymm2, ymm3, ymm4, {sae}
3002// CHECK: encoding: [0x62,0xf5,0x60,0x18,0x5f,0xd4]
3003          vmaxph ymm2, ymm3, ymm4, {sae}
3004
3005// CHECK: vmaxph ymm2 {k7}, ymm3, ymm4, {sae}
3006// CHECK: encoding: [0x62,0xf5,0x60,0x1f,0x5f,0xd4]
3007          vmaxph ymm2 {k7}, ymm3, ymm4, {sae}
3008
3009// CHECK: vmaxph ymm2 {k7} {z}, ymm3, ymm4, {sae}
3010// CHECK: encoding: [0x62,0xf5,0x60,0x9f,0x5f,0xd4]
3011          vmaxph ymm2 {k7} {z}, ymm3, ymm4, {sae}
3012
3013// CHECK: vmaxps ymm2, ymm3, ymm4, {sae}
3014// CHECK: encoding: [0x62,0xf1,0x60,0x18,0x5f,0xd4]
3015          vmaxps ymm2, ymm3, ymm4, {sae}
3016
3017// CHECK: vmaxps ymm2 {k7}, ymm3, ymm4, {sae}
3018// CHECK: encoding: [0x62,0xf1,0x60,0x1f,0x5f,0xd4]
3019          vmaxps ymm2 {k7}, ymm3, ymm4, {sae}
3020
3021// CHECK: vmaxps ymm2 {k7} {z}, ymm3, ymm4, {sae}
3022// CHECK: encoding: [0x62,0xf1,0x60,0x9f,0x5f,0xd4]
3023          vmaxps ymm2 {k7} {z}, ymm3, ymm4, {sae}
3024
3025// CHECK: vminpd ymm2, ymm3, ymm4, {sae}
3026// CHECK: encoding: [0x62,0xf1,0xe1,0x18,0x5d,0xd4]
3027          vminpd ymm2, ymm3, ymm4, {sae}
3028
3029// CHECK: vminpd ymm2 {k7}, ymm3, ymm4, {sae}
3030// CHECK: encoding: [0x62,0xf1,0xe1,0x1f,0x5d,0xd4]
3031          vminpd ymm2 {k7}, ymm3, ymm4, {sae}
3032
3033// CHECK: vminpd ymm2 {k7} {z}, ymm3, ymm4, {sae}
3034// CHECK: encoding: [0x62,0xf1,0xe1,0x9f,0x5d,0xd4]
3035          vminpd ymm2 {k7} {z}, ymm3, ymm4, {sae}
3036
3037// CHECK: vminph ymm2, ymm3, ymm4, {sae}
3038// CHECK: encoding: [0x62,0xf5,0x60,0x18,0x5d,0xd4]
3039          vminph ymm2, ymm3, ymm4, {sae}
3040
3041// CHECK: vminph ymm2 {k7}, ymm3, ymm4, {sae}
3042// CHECK: encoding: [0x62,0xf5,0x60,0x1f,0x5d,0xd4]
3043          vminph ymm2 {k7}, ymm3, ymm4, {sae}
3044
3045// CHECK: vminph ymm2 {k7} {z}, ymm3, ymm4, {sae}
3046// CHECK: encoding: [0x62,0xf5,0x60,0x9f,0x5d,0xd4]
3047          vminph ymm2 {k7} {z}, ymm3, ymm4, {sae}
3048
3049// CHECK: vminps ymm2, ymm3, ymm4, {sae}
3050// CHECK: encoding: [0x62,0xf1,0x60,0x18,0x5d,0xd4]
3051          vminps ymm2, ymm3, ymm4, {sae}
3052
3053// CHECK: vminps ymm2 {k7}, ymm3, ymm4, {sae}
3054// CHECK: encoding: [0x62,0xf1,0x60,0x1f,0x5d,0xd4]
3055          vminps ymm2 {k7}, ymm3, ymm4, {sae}
3056
3057// CHECK: vminps ymm2 {k7} {z}, ymm3, ymm4, {sae}
3058// CHECK: encoding: [0x62,0xf1,0x60,0x9f,0x5d,0xd4]
3059          vminps ymm2 {k7} {z}, ymm3, ymm4, {sae}
3060
3061// CHECK: vmulpd ymm2, ymm3, ymm4, {rn-sae}
3062// CHECK: encoding: [0x62,0xf1,0xe1,0x18,0x59,0xd4]
3063          vmulpd ymm2, ymm3, ymm4, {rn-sae}
3064
3065// CHECK: vmulpd ymm2 {k7}, ymm3, ymm4, {rd-sae}
3066// CHECK: encoding: [0x62,0xf1,0xe1,0x3f,0x59,0xd4]
3067          vmulpd ymm2 {k7}, ymm3, ymm4, {rd-sae}
3068
3069// CHECK: vmulpd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3070// CHECK: encoding: [0x62,0xf1,0xe1,0xff,0x59,0xd4]
3071          vmulpd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3072
3073// CHECK: vmulph ymm2, ymm3, ymm4, {rn-sae}
3074// CHECK: encoding: [0x62,0xf5,0x60,0x18,0x59,0xd4]
3075          vmulph ymm2, ymm3, ymm4, {rn-sae}
3076
3077// CHECK: vmulph ymm2 {k7}, ymm3, ymm4, {rd-sae}
3078// CHECK: encoding: [0x62,0xf5,0x60,0x3f,0x59,0xd4]
3079          vmulph ymm2 {k7}, ymm3, ymm4, {rd-sae}
3080
3081// CHECK: vmulph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3082// CHECK: encoding: [0x62,0xf5,0x60,0xff,0x59,0xd4]
3083          vmulph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3084
3085// CHECK: vmulps ymm2, ymm3, ymm4, {rn-sae}
3086// CHECK: encoding: [0x62,0xf1,0x60,0x18,0x59,0xd4]
3087          vmulps ymm2, ymm3, ymm4, {rn-sae}
3088
3089// CHECK: vmulps ymm2 {k7}, ymm3, ymm4, {rd-sae}
3090// CHECK: encoding: [0x62,0xf1,0x60,0x3f,0x59,0xd4]
3091          vmulps ymm2 {k7}, ymm3, ymm4, {rd-sae}
3092
3093// CHECK: vmulps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3094// CHECK: encoding: [0x62,0xf1,0x60,0xff,0x59,0xd4]
3095          vmulps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3096
3097// CHECK: vrangepd ymm2, ymm3, ymm4, {sae}, 123
3098// CHECK: encoding: [0x62,0xf3,0xe1,0x18,0x50,0xd4,0x7b]
3099          vrangepd ymm2, ymm3, ymm4, {sae}, 123
3100
3101// CHECK: vrangepd ymm2 {k7}, ymm3, ymm4, {sae}, 123
3102// CHECK: encoding: [0x62,0xf3,0xe1,0x1f,0x50,0xd4,0x7b]
3103          vrangepd ymm2 {k7}, ymm3, ymm4, {sae}, 123
3104
3105// CHECK: vrangepd ymm2 {k7} {z}, ymm3, ymm4, {sae}, 123
3106// CHECK: encoding: [0x62,0xf3,0xe1,0x9f,0x50,0xd4,0x7b]
3107          vrangepd ymm2 {k7} {z}, ymm3, ymm4, {sae}, 123
3108
3109// CHECK: vrangeps ymm2, ymm3, ymm4, {sae}, 123
3110// CHECK: encoding: [0x62,0xf3,0x61,0x18,0x50,0xd4,0x7b]
3111          vrangeps ymm2, ymm3, ymm4, {sae}, 123
3112
3113// CHECK: vrangeps ymm2 {k7}, ymm3, ymm4, {sae}, 123
3114// CHECK: encoding: [0x62,0xf3,0x61,0x1f,0x50,0xd4,0x7b]
3115          vrangeps ymm2 {k7}, ymm3, ymm4, {sae}, 123
3116
3117// CHECK: vrangeps ymm2 {k7} {z}, ymm3, ymm4, {sae}, 123
3118// CHECK: encoding: [0x62,0xf3,0x61,0x9f,0x50,0xd4,0x7b]
3119          vrangeps ymm2 {k7} {z}, ymm3, ymm4, {sae}, 123
3120
3121// CHECK: vreducepd ymm2, ymm3, {sae}, 123
3122// CHECK: encoding: [0x62,0xf3,0xf9,0x18,0x56,0xd3,0x7b]
3123          vreducepd ymm2, ymm3, {sae}, 123
3124
3125// CHECK: vreducepd ymm2 {k7}, ymm3, {sae}, 123
3126// CHECK: encoding: [0x62,0xf3,0xf9,0x1f,0x56,0xd3,0x7b]
3127          vreducepd ymm2 {k7}, ymm3, {sae}, 123
3128
3129// CHECK: vreducepd ymm2 {k7} {z}, ymm3, {sae}, 123
3130// CHECK: encoding: [0x62,0xf3,0xf9,0x9f,0x56,0xd3,0x7b]
3131          vreducepd ymm2 {k7} {z}, ymm3, {sae}, 123
3132
3133// CHECK: vreduceph ymm2, ymm3, {sae}, 123
3134// CHECK: encoding: [0x62,0xf3,0x78,0x18,0x56,0xd3,0x7b]
3135          vreduceph ymm2, ymm3, {sae}, 123
3136
3137// CHECK: vreduceph ymm2 {k7}, ymm3, {sae}, 123
3138// CHECK: encoding: [0x62,0xf3,0x78,0x1f,0x56,0xd3,0x7b]
3139          vreduceph ymm2 {k7}, ymm3, {sae}, 123
3140
3141// CHECK: vreduceph ymm2 {k7} {z}, ymm3, {sae}, 123
3142// CHECK: encoding: [0x62,0xf3,0x78,0x9f,0x56,0xd3,0x7b]
3143          vreduceph ymm2 {k7} {z}, ymm3, {sae}, 123
3144
3145// CHECK: vreduceps ymm2, ymm3, {sae}, 123
3146// CHECK: encoding: [0x62,0xf3,0x79,0x18,0x56,0xd3,0x7b]
3147          vreduceps ymm2, ymm3, {sae}, 123
3148
3149// CHECK: vreduceps ymm2 {k7}, ymm3, {sae}, 123
3150// CHECK: encoding: [0x62,0xf3,0x79,0x1f,0x56,0xd3,0x7b]
3151          vreduceps ymm2 {k7}, ymm3, {sae}, 123
3152
3153// CHECK: vreduceps ymm2 {k7} {z}, ymm3, {sae}, 123
3154// CHECK: encoding: [0x62,0xf3,0x79,0x9f,0x56,0xd3,0x7b]
3155          vreduceps ymm2 {k7} {z}, ymm3, {sae}, 123
3156
3157// CHECK: vrndscalepd ymm2, ymm3, {sae}, 123
3158// CHECK: encoding: [0x62,0xf3,0xf9,0x18,0x09,0xd3,0x7b]
3159          vrndscalepd ymm2, ymm3, {sae}, 123
3160
3161// CHECK: vrndscalepd ymm2 {k7}, ymm3, {sae}, 123
3162// CHECK: encoding: [0x62,0xf3,0xf9,0x1f,0x09,0xd3,0x7b]
3163          vrndscalepd ymm2 {k7}, ymm3, {sae}, 123
3164
3165// CHECK: vrndscalepd ymm2 {k7} {z}, ymm3, {sae}, 123
3166// CHECK: encoding: [0x62,0xf3,0xf9,0x9f,0x09,0xd3,0x7b]
3167          vrndscalepd ymm2 {k7} {z}, ymm3, {sae}, 123
3168
3169// CHECK: vrndscaleph ymm2, ymm3, {sae}, 123
3170// CHECK: encoding: [0x62,0xf3,0x78,0x18,0x08,0xd3,0x7b]
3171          vrndscaleph ymm2, ymm3, {sae}, 123
3172
3173// CHECK: vrndscaleph ymm2 {k7}, ymm3, {sae}, 123
3174// CHECK: encoding: [0x62,0xf3,0x78,0x1f,0x08,0xd3,0x7b]
3175          vrndscaleph ymm2 {k7}, ymm3, {sae}, 123
3176
3177// CHECK: vrndscaleph ymm2 {k7} {z}, ymm3, {sae}, 123
3178// CHECK: encoding: [0x62,0xf3,0x78,0x9f,0x08,0xd3,0x7b]
3179          vrndscaleph ymm2 {k7} {z}, ymm3, {sae}, 123
3180
3181// CHECK: vrndscaleps ymm2, ymm3, {sae}, 123
3182// CHECK: encoding: [0x62,0xf3,0x79,0x18,0x08,0xd3,0x7b]
3183          vrndscaleps ymm2, ymm3, {sae}, 123
3184
3185// CHECK: vrndscaleps ymm2 {k7}, ymm3, {sae}, 123
3186// CHECK: encoding: [0x62,0xf3,0x79,0x1f,0x08,0xd3,0x7b]
3187          vrndscaleps ymm2 {k7}, ymm3, {sae}, 123
3188
3189// CHECK: vrndscaleps ymm2 {k7} {z}, ymm3, {sae}, 123
3190// CHECK: encoding: [0x62,0xf3,0x79,0x9f,0x08,0xd3,0x7b]
3191          vrndscaleps ymm2 {k7} {z}, ymm3, {sae}, 123
3192
3193// CHECK: vscalefpd ymm2, ymm3, ymm4, {rn-sae}
3194// CHECK: encoding: [0x62,0xf2,0xe1,0x18,0x2c,0xd4]
3195          vscalefpd ymm2, ymm3, ymm4, {rn-sae}
3196
3197// CHECK: vscalefpd ymm2 {k7}, ymm3, ymm4, {rd-sae}
3198// CHECK: encoding: [0x62,0xf2,0xe1,0x3f,0x2c,0xd4]
3199          vscalefpd ymm2 {k7}, ymm3, ymm4, {rd-sae}
3200
3201// CHECK: vscalefpd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3202// CHECK: encoding: [0x62,0xf2,0xe1,0xff,0x2c,0xd4]
3203          vscalefpd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3204
3205// CHECK: vscalefph ymm2, ymm3, ymm4, {rn-sae}
3206// CHECK: encoding: [0x62,0xf6,0x61,0x18,0x2c,0xd4]
3207          vscalefph ymm2, ymm3, ymm4, {rn-sae}
3208
3209// CHECK: vscalefph ymm2 {k7}, ymm3, ymm4, {rd-sae}
3210// CHECK: encoding: [0x62,0xf6,0x61,0x3f,0x2c,0xd4]
3211          vscalefph ymm2 {k7}, ymm3, ymm4, {rd-sae}
3212
3213// CHECK: vscalefph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3214// CHECK: encoding: [0x62,0xf6,0x61,0xff,0x2c,0xd4]
3215          vscalefph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3216
3217// CHECK: vscalefps ymm2, ymm3, ymm4, {rn-sae}
3218// CHECK: encoding: [0x62,0xf2,0x61,0x18,0x2c,0xd4]
3219          vscalefps ymm2, ymm3, ymm4, {rn-sae}
3220
3221// CHECK: vscalefps ymm2 {k7}, ymm3, ymm4, {rd-sae}
3222// CHECK: encoding: [0x62,0xf2,0x61,0x3f,0x2c,0xd4]
3223          vscalefps ymm2 {k7}, ymm3, ymm4, {rd-sae}
3224
3225// CHECK: vscalefps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3226// CHECK: encoding: [0x62,0xf2,0x61,0xff,0x2c,0xd4]
3227          vscalefps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3228
3229// CHECK: vsqrtpd ymm2, ymm3, {rn-sae}
3230// CHECK: encoding: [0x62,0xf1,0xf9,0x18,0x51,0xd3]
3231          vsqrtpd ymm2, ymm3, {rn-sae}
3232
3233// CHECK: vsqrtpd ymm2 {k7}, ymm3, {rd-sae}
3234// CHECK: encoding: [0x62,0xf1,0xf9,0x3f,0x51,0xd3]
3235          vsqrtpd ymm2 {k7}, ymm3, {rd-sae}
3236
3237// CHECK: vsqrtpd ymm2 {k7} {z}, ymm3, {rz-sae}
3238// CHECK: encoding: [0x62,0xf1,0xf9,0xff,0x51,0xd3]
3239          vsqrtpd ymm2 {k7} {z}, ymm3, {rz-sae}
3240
3241// CHECK: vsqrtph ymm2, ymm3, {rn-sae}
3242// CHECK: encoding: [0x62,0xf5,0x78,0x18,0x51,0xd3]
3243          vsqrtph ymm2, ymm3, {rn-sae}
3244
3245// CHECK: vsqrtph ymm2 {k7}, ymm3, {rd-sae}
3246// CHECK: encoding: [0x62,0xf5,0x78,0x3f,0x51,0xd3]
3247          vsqrtph ymm2 {k7}, ymm3, {rd-sae}
3248
3249// CHECK: vsqrtph ymm2 {k7} {z}, ymm3, {rz-sae}
3250// CHECK: encoding: [0x62,0xf5,0x78,0xff,0x51,0xd3]
3251          vsqrtph ymm2 {k7} {z}, ymm3, {rz-sae}
3252
3253// CHECK: vsqrtps ymm2, ymm3, {rn-sae}
3254// CHECK: encoding: [0x62,0xf1,0x78,0x18,0x51,0xd3]
3255          vsqrtps ymm2, ymm3, {rn-sae}
3256
3257// CHECK: vsqrtps ymm2 {k7}, ymm3, {rd-sae}
3258// CHECK: encoding: [0x62,0xf1,0x78,0x3f,0x51,0xd3]
3259          vsqrtps ymm2 {k7}, ymm3, {rd-sae}
3260
3261// CHECK: vsqrtps ymm2 {k7} {z}, ymm3, {rz-sae}
3262// CHECK: encoding: [0x62,0xf1,0x78,0xff,0x51,0xd3]
3263          vsqrtps ymm2 {k7} {z}, ymm3, {rz-sae}
3264
3265// CHECK: vsubpd ymm2, ymm3, ymm4, {rn-sae}
3266// CHECK: encoding: [0x62,0xf1,0xe1,0x18,0x5c,0xd4]
3267          vsubpd ymm2, ymm3, ymm4, {rn-sae}
3268
3269// CHECK: vsubpd ymm2 {k7}, ymm3, ymm4, {rd-sae}
3270// CHECK: encoding: [0x62,0xf1,0xe1,0x3f,0x5c,0xd4]
3271          vsubpd ymm2 {k7}, ymm3, ymm4, {rd-sae}
3272
3273// CHECK: vsubpd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3274// CHECK: encoding: [0x62,0xf1,0xe1,0xff,0x5c,0xd4]
3275          vsubpd ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3276
3277// CHECK: vsubph ymm2, ymm3, ymm4, {rn-sae}
3278// CHECK: encoding: [0x62,0xf5,0x60,0x18,0x5c,0xd4]
3279          vsubph ymm2, ymm3, ymm4, {rn-sae}
3280
3281// CHECK: vsubph ymm2 {k7}, ymm3, ymm4, {rd-sae}
3282// CHECK: encoding: [0x62,0xf5,0x60,0x3f,0x5c,0xd4]
3283          vsubph ymm2 {k7}, ymm3, ymm4, {rd-sae}
3284
3285// CHECK: vsubph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3286// CHECK: encoding: [0x62,0xf5,0x60,0xff,0x5c,0xd4]
3287          vsubph ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3288
3289// CHECK: vsubps ymm2, ymm3, ymm4, {rn-sae}
3290// CHECK: encoding: [0x62,0xf1,0x60,0x18,0x5c,0xd4]
3291          vsubps ymm2, ymm3, ymm4, {rn-sae}
3292
3293// CHECK: vsubps ymm2 {k7}, ymm3, ymm4, {rd-sae}
3294// CHECK: encoding: [0x62,0xf1,0x60,0x3f,0x5c,0xd4]
3295          vsubps ymm2 {k7}, ymm3, ymm4, {rd-sae}
3296
3297// CHECK: vsubps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3298// CHECK: encoding: [0x62,0xf1,0x60,0xff,0x5c,0xd4]
3299          vsubps ymm2 {k7} {z}, ymm3, ymm4, {rz-sae}
3300