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