• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding < %s | FileCheck %s
2
3// CHECK: vpdpbusd %xmm3, %xmm2, %xmm1
4// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x50,0xcb]
5          vpdpbusd %xmm3, %xmm2, %xmm1
6
7// CHECK: vpdpbusds %xmm3, %xmm2, %xmm1
8// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x51,0xcb]
9          vpdpbusds %xmm3, %xmm2, %xmm1
10
11// CHECK: vpdpwssd %xmm3, %xmm2, %xmm1
12// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x52,0xcb]
13          vpdpwssd %xmm3, %xmm2, %xmm1
14
15// CHECK: vpdpwssds %xmm3, %xmm2, %xmm1
16// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x53,0xcb]
17          vpdpwssds %xmm3, %xmm2, %xmm1
18
19// CHECK: vpdpbusd %xmm23, %xmm22, %xmm21
20// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x50,0xef]
21          vpdpbusd %xmm23, %xmm22, %xmm21
22
23// CHECK: vpdpbusds %xmm23, %xmm22, %xmm21
24// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x51,0xef]
25          vpdpbusds %xmm23, %xmm22, %xmm21
26
27// CHECK: vpdpwssd %xmm23, %xmm22, %xmm21
28// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x52,0xef]
29          vpdpwssd %xmm23, %xmm22, %xmm21
30
31// CHECK: vpdpwssds %xmm23, %xmm22, %xmm21
32// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x53,0xef]
33          vpdpwssds %xmm23, %xmm22, %xmm21
34
35// CHECK: vpdpbusd %xmm3, %xmm2, %xmm1 {%k2}
36// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x50,0xcb]
37          vpdpbusd %xmm3, %xmm2, %xmm1 {%k2}
38
39// CHECK: vpdpbusds %xmm3, %xmm2, %xmm1 {%k2}
40// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x51,0xcb]
41          vpdpbusds %xmm3, %xmm2, %xmm1 {%k2}
42
43// CHECK: vpdpwssd %xmm3, %xmm2, %xmm1 {%k2}
44// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x52,0xcb]
45          vpdpwssd %xmm3, %xmm2, %xmm1 {%k2}
46
47// CHECK: vpdpwssds %xmm3, %xmm2, %xmm1 {%k2}
48// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x53,0xcb]
49          vpdpwssds %xmm3, %xmm2, %xmm1 {%k2}
50
51// CHECK: vpdpbusd %xmm23, %xmm22, %xmm21 {%k2}
52// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x50,0xef]
53          vpdpbusd %xmm23, %xmm22, %xmm21 {%k2}
54
55// CHECK: vpdpbusds %xmm23, %xmm22, %xmm21 {%k2}
56// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x51,0xef]
57          vpdpbusds %xmm23, %xmm22, %xmm21 {%k2}
58
59// CHECK: vpdpwssd %xmm23, %xmm22, %xmm21 {%k2}
60// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x52,0xef]
61          vpdpwssd %xmm23, %xmm22, %xmm21 {%k2}
62
63// CHECK: vpdpwssds %xmm23, %xmm22, %xmm21 {%k2}
64// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x53,0xef]
65          vpdpwssds %xmm23, %xmm22, %xmm21 {%k2}
66
67// CHECK: vpdpbusd  (%rcx), %xmm2, %xmm1
68// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x50,0x09]
69          vpdpbusd  (%rcx), %xmm2, %xmm1
70
71// CHECK: vpdpbusd  -64(%rsp), %xmm2, %xmm1
72// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x50,0x4c,0x24,0xfc]
73          vpdpbusd  -64(%rsp), %xmm2, %xmm1
74
75// CHECK: vpdpbusd  64(%rsp), %xmm2, %xmm1
76// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x50,0x4c,0x24,0x04]
77          vpdpbusd  64(%rsp), %xmm2, %xmm1
78
79// CHECK: vpdpbusd  268435456(%rcx,%r14,8), %xmm2, %xmm1
80// CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x50,0x8c,0xf1,0x00,0x00,0x00,0x10]
81          vpdpbusd  268435456(%rcx,%r14,8), %xmm2, %xmm1
82
83// CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %xmm2, %xmm1
84// CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x50,0x8c,0xf1,0x00,0x00,0x00,0xe0]
85          vpdpbusd  -536870912(%rcx,%r14,8), %xmm2, %xmm1
86
87// CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %xmm2, %xmm1
88// CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x50,0x8c,0xf1,0x02,0x00,0x00,0xe0]
89          vpdpbusd  -536870910(%rcx,%r14,8), %xmm2, %xmm1
90
91// CHECK: vpdpbusds  (%rcx), %xmm2, %xmm1
92// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x51,0x09]
93          vpdpbusds  (%rcx), %xmm2, %xmm1
94
95// CHECK: vpdpbusds  -64(%rsp), %xmm2, %xmm1
96// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x51,0x4c,0x24,0xfc]
97          vpdpbusds  -64(%rsp), %xmm2, %xmm1
98
99// CHECK: vpdpbusds  64(%rsp), %xmm2, %xmm1
100// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x51,0x4c,0x24,0x04]
101          vpdpbusds  64(%rsp), %xmm2, %xmm1
102
103// CHECK: vpdpbusds  268435456(%rcx,%r14,8), %xmm2, %xmm1
104// CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x51,0x8c,0xf1,0x00,0x00,0x00,0x10]
105          vpdpbusds  268435456(%rcx,%r14,8), %xmm2, %xmm1
106
107// CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %xmm2, %xmm1
108// CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x51,0x8c,0xf1,0x00,0x00,0x00,0xe0]
109          vpdpbusds  -536870912(%rcx,%r14,8), %xmm2, %xmm1
110
111// CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %xmm2, %xmm1
112// CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x51,0x8c,0xf1,0x02,0x00,0x00,0xe0]
113          vpdpbusds  -536870910(%rcx,%r14,8), %xmm2, %xmm1
114
115// CHECK: vpdpwssd  (%rcx), %xmm2, %xmm1
116// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x52,0x09]
117          vpdpwssd  (%rcx), %xmm2, %xmm1
118
119// CHECK: vpdpwssd  -64(%rsp), %xmm2, %xmm1
120// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x52,0x4c,0x24,0xfc]
121          vpdpwssd  -64(%rsp), %xmm2, %xmm1
122
123// CHECK: vpdpwssd  64(%rsp), %xmm2, %xmm1
124// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x52,0x4c,0x24,0x04]
125          vpdpwssd  64(%rsp), %xmm2, %xmm1
126
127// CHECK: vpdpwssd  268435456(%rcx,%r14,8), %xmm2, %xmm1
128// CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x52,0x8c,0xf1,0x00,0x00,0x00,0x10]
129          vpdpwssd  268435456(%rcx,%r14,8), %xmm2, %xmm1
130
131// CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %xmm2, %xmm1
132// CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x52,0x8c,0xf1,0x00,0x00,0x00,0xe0]
133          vpdpwssd  -536870912(%rcx,%r14,8), %xmm2, %xmm1
134
135// CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %xmm2, %xmm1
136// CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x52,0x8c,0xf1,0x02,0x00,0x00,0xe0]
137          vpdpwssd  -536870910(%rcx,%r14,8), %xmm2, %xmm1
138
139// CHECK: vpdpwssds  (%rcx), %xmm2, %xmm1
140// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x53,0x09]
141          vpdpwssds  (%rcx), %xmm2, %xmm1
142
143// CHECK: vpdpwssds  -64(%rsp), %xmm2, %xmm1
144// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x53,0x4c,0x24,0xfc]
145          vpdpwssds  -64(%rsp), %xmm2, %xmm1
146
147// CHECK: vpdpwssds  64(%rsp), %xmm2, %xmm1
148// CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x53,0x4c,0x24,0x04]
149          vpdpwssds  64(%rsp), %xmm2, %xmm1
150
151// CHECK: vpdpwssds  268435456(%rcx,%r14,8), %xmm2, %xmm1
152// CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x53,0x8c,0xf1,0x00,0x00,0x00,0x10]
153          vpdpwssds  268435456(%rcx,%r14,8), %xmm2, %xmm1
154
155// CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %xmm2, %xmm1
156// CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x53,0x8c,0xf1,0x00,0x00,0x00,0xe0]
157          vpdpwssds  -536870912(%rcx,%r14,8), %xmm2, %xmm1
158
159// CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %xmm2, %xmm1
160// CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x53,0x8c,0xf1,0x02,0x00,0x00,0xe0]
161          vpdpwssds  -536870910(%rcx,%r14,8), %xmm2, %xmm1
162
163// CHECK: vpdpbusd  (%rcx), %xmm22, %xmm21
164// CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x50,0x29]
165          vpdpbusd  (%rcx), %xmm22, %xmm21
166
167// CHECK: vpdpbusd  -64(%rsp), %xmm22, %xmm21
168// CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x50,0x6c,0x24,0xfc]
169          vpdpbusd  -64(%rsp), %xmm22, %xmm21
170
171// CHECK: vpdpbusd  64(%rsp), %xmm22, %xmm21
172// CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x50,0x6c,0x24,0x04]
173          vpdpbusd  64(%rsp), %xmm22, %xmm21
174
175// CHECK: vpdpbusd  268435456(%rcx,%r14,8), %xmm22, %xmm21
176// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x50,0xac,0xf1,0x00,0x00,0x00,0x10]
177          vpdpbusd  268435456(%rcx,%r14,8), %xmm22, %xmm21
178
179// CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %xmm22, %xmm21
180// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x50,0xac,0xf1,0x00,0x00,0x00,0xe0]
181          vpdpbusd  -536870912(%rcx,%r14,8), %xmm22, %xmm21
182
183// CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %xmm22, %xmm21
184// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x50,0xac,0xf1,0x02,0x00,0x00,0xe0]
185          vpdpbusd  -536870910(%rcx,%r14,8), %xmm22, %xmm21
186
187// CHECK: vpdpbusds  (%rcx), %xmm22, %xmm21
188// CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x51,0x29]
189          vpdpbusds  (%rcx), %xmm22, %xmm21
190
191// CHECK: vpdpbusds  -64(%rsp), %xmm22, %xmm21
192// CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x51,0x6c,0x24,0xfc]
193          vpdpbusds  -64(%rsp), %xmm22, %xmm21
194
195// CHECK: vpdpbusds  64(%rsp), %xmm22, %xmm21
196// CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x51,0x6c,0x24,0x04]
197          vpdpbusds  64(%rsp), %xmm22, %xmm21
198
199// CHECK: vpdpbusds  268435456(%rcx,%r14,8), %xmm22, %xmm21
200// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x51,0xac,0xf1,0x00,0x00,0x00,0x10]
201          vpdpbusds  268435456(%rcx,%r14,8), %xmm22, %xmm21
202
203// CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %xmm22, %xmm21
204// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x51,0xac,0xf1,0x00,0x00,0x00,0xe0]
205          vpdpbusds  -536870912(%rcx,%r14,8), %xmm22, %xmm21
206
207// CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %xmm22, %xmm21
208// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x51,0xac,0xf1,0x02,0x00,0x00,0xe0]
209          vpdpbusds  -536870910(%rcx,%r14,8), %xmm22, %xmm21
210
211// CHECK: vpdpwssd  (%rcx), %xmm22, %xmm21
212// CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x52,0x29]
213          vpdpwssd  (%rcx), %xmm22, %xmm21
214
215// CHECK: vpdpwssd  -64(%rsp), %xmm22, %xmm21
216// CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x52,0x6c,0x24,0xfc]
217          vpdpwssd  -64(%rsp), %xmm22, %xmm21
218
219// CHECK: vpdpwssd  64(%rsp), %xmm22, %xmm21
220// CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x52,0x6c,0x24,0x04]
221          vpdpwssd  64(%rsp), %xmm22, %xmm21
222
223// CHECK: vpdpwssd  268435456(%rcx,%r14,8), %xmm22, %xmm21
224// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x52,0xac,0xf1,0x00,0x00,0x00,0x10]
225          vpdpwssd  268435456(%rcx,%r14,8), %xmm22, %xmm21
226
227// CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %xmm22, %xmm21
228// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x52,0xac,0xf1,0x00,0x00,0x00,0xe0]
229          vpdpwssd  -536870912(%rcx,%r14,8), %xmm22, %xmm21
230
231// CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %xmm22, %xmm21
232// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x52,0xac,0xf1,0x02,0x00,0x00,0xe0]
233          vpdpwssd  -536870910(%rcx,%r14,8), %xmm22, %xmm21
234
235// CHECK: vpdpwssds  (%rcx), %xmm22, %xmm21
236// CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x53,0x29]
237          vpdpwssds  (%rcx), %xmm22, %xmm21
238
239// CHECK: vpdpwssds  -64(%rsp), %xmm22, %xmm21
240// CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x53,0x6c,0x24,0xfc]
241          vpdpwssds  -64(%rsp), %xmm22, %xmm21
242
243// CHECK: vpdpwssds  64(%rsp), %xmm22, %xmm21
244// CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x53,0x6c,0x24,0x04]
245          vpdpwssds  64(%rsp), %xmm22, %xmm21
246
247// CHECK: vpdpwssds  268435456(%rcx,%r14,8), %xmm22, %xmm21
248// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x53,0xac,0xf1,0x00,0x00,0x00,0x10]
249          vpdpwssds  268435456(%rcx,%r14,8), %xmm22, %xmm21
250
251// CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %xmm22, %xmm21
252// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x53,0xac,0xf1,0x00,0x00,0x00,0xe0]
253          vpdpwssds  -536870912(%rcx,%r14,8), %xmm22, %xmm21
254
255// CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %xmm22, %xmm21
256// CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x53,0xac,0xf1,0x02,0x00,0x00,0xe0]
257          vpdpwssds  -536870910(%rcx,%r14,8), %xmm22, %xmm21
258
259// CHECK: vpdpbusd  (%rcx), %xmm2, %xmm1 {%k2}
260// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x50,0x09]
261          vpdpbusd  (%rcx), %xmm2, %xmm1 {%k2}
262
263// CHECK: vpdpbusd  -64(%rsp), %xmm2, %xmm1 {%k2}
264// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x50,0x4c,0x24,0xfc]
265          vpdpbusd  -64(%rsp), %xmm2, %xmm1 {%k2}
266
267// CHECK: vpdpbusd  64(%rsp), %xmm2, %xmm1 {%k2}
268// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x50,0x4c,0x24,0x04]
269          vpdpbusd  64(%rsp), %xmm2, %xmm1 {%k2}
270
271// CHECK: vpdpbusd  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
272// CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x50,0x8c,0xf1,0x00,0x00,0x00,0x10]
273          vpdpbusd  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
274
275// CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
276// CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x50,0x8c,0xf1,0x00,0x00,0x00,0xe0]
277          vpdpbusd  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
278
279// CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
280// CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x50,0x8c,0xf1,0x02,0x00,0x00,0xe0]
281          vpdpbusd  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
282
283// CHECK: vpdpbusds  (%rcx), %xmm2, %xmm1 {%k2}
284// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x51,0x09]
285          vpdpbusds  (%rcx), %xmm2, %xmm1 {%k2}
286
287// CHECK: vpdpbusds  -64(%rsp), %xmm2, %xmm1 {%k2}
288// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x51,0x4c,0x24,0xfc]
289          vpdpbusds  -64(%rsp), %xmm2, %xmm1 {%k2}
290
291// CHECK: vpdpbusds  64(%rsp), %xmm2, %xmm1 {%k2}
292// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x51,0x4c,0x24,0x04]
293          vpdpbusds  64(%rsp), %xmm2, %xmm1 {%k2}
294
295// CHECK: vpdpbusds  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
296// CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x51,0x8c,0xf1,0x00,0x00,0x00,0x10]
297          vpdpbusds  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
298
299// CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
300// CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x51,0x8c,0xf1,0x00,0x00,0x00,0xe0]
301          vpdpbusds  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
302
303// CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
304// CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x51,0x8c,0xf1,0x02,0x00,0x00,0xe0]
305          vpdpbusds  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
306
307// CHECK: vpdpwssd  (%rcx), %xmm2, %xmm1 {%k2}
308// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x52,0x09]
309          vpdpwssd  (%rcx), %xmm2, %xmm1 {%k2}
310
311// CHECK: vpdpwssd  -64(%rsp), %xmm2, %xmm1 {%k2}
312// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x52,0x4c,0x24,0xfc]
313          vpdpwssd  -64(%rsp), %xmm2, %xmm1 {%k2}
314
315// CHECK: vpdpwssd  64(%rsp), %xmm2, %xmm1 {%k2}
316// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x52,0x4c,0x24,0x04]
317          vpdpwssd  64(%rsp), %xmm2, %xmm1 {%k2}
318
319// CHECK: vpdpwssd  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
320// CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x52,0x8c,0xf1,0x00,0x00,0x00,0x10]
321          vpdpwssd  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
322
323// CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
324// CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x52,0x8c,0xf1,0x00,0x00,0x00,0xe0]
325          vpdpwssd  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
326
327// CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
328// CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x52,0x8c,0xf1,0x02,0x00,0x00,0xe0]
329          vpdpwssd  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
330
331// CHECK: vpdpwssds  (%rcx), %xmm2, %xmm1 {%k2}
332// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x53,0x09]
333          vpdpwssds  (%rcx), %xmm2, %xmm1 {%k2}
334
335// CHECK: vpdpwssds  -64(%rsp), %xmm2, %xmm1 {%k2}
336// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x53,0x4c,0x24,0xfc]
337          vpdpwssds  -64(%rsp), %xmm2, %xmm1 {%k2}
338
339// CHECK: vpdpwssds  64(%rsp), %xmm2, %xmm1 {%k2}
340// CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x53,0x4c,0x24,0x04]
341          vpdpwssds  64(%rsp), %xmm2, %xmm1 {%k2}
342
343// CHECK: vpdpwssds  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
344// CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x53,0x8c,0xf1,0x00,0x00,0x00,0x10]
345          vpdpwssds  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
346
347// CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
348// CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x53,0x8c,0xf1,0x00,0x00,0x00,0xe0]
349          vpdpwssds  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
350
351// CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
352// CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x53,0x8c,0xf1,0x02,0x00,0x00,0xe0]
353          vpdpwssds  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
354
355// CHECK: vpdpbusd  (%rcx), %xmm22, %xmm21 {%k2}
356// CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x50,0x29]
357          vpdpbusd  (%rcx), %xmm22, %xmm21 {%k2}
358
359// CHECK: vpdpbusd  -64(%rsp), %xmm22, %xmm21 {%k2}
360// CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x50,0x6c,0x24,0xfc]
361          vpdpbusd  -64(%rsp), %xmm22, %xmm21 {%k2}
362
363// CHECK: vpdpbusd  64(%rsp), %xmm22, %xmm21 {%k2}
364// CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x50,0x6c,0x24,0x04]
365          vpdpbusd  64(%rsp), %xmm22, %xmm21 {%k2}
366
367// CHECK: vpdpbusd  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
368// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x50,0xac,0xf1,0x00,0x00,0x00,0x10]
369          vpdpbusd  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
370
371// CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
372// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x50,0xac,0xf1,0x00,0x00,0x00,0xe0]
373          vpdpbusd  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
374
375// CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
376// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x50,0xac,0xf1,0x02,0x00,0x00,0xe0]
377          vpdpbusd  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
378
379// CHECK: vpdpbusds  (%rcx), %xmm22, %xmm21 {%k2}
380// CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x51,0x29]
381          vpdpbusds  (%rcx), %xmm22, %xmm21 {%k2}
382
383// CHECK: vpdpbusds  -64(%rsp), %xmm22, %xmm21 {%k2}
384// CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x51,0x6c,0x24,0xfc]
385          vpdpbusds  -64(%rsp), %xmm22, %xmm21 {%k2}
386
387// CHECK: vpdpbusds  64(%rsp), %xmm22, %xmm21 {%k2}
388// CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x51,0x6c,0x24,0x04]
389          vpdpbusds  64(%rsp), %xmm22, %xmm21 {%k2}
390
391// CHECK: vpdpbusds  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
392// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x51,0xac,0xf1,0x00,0x00,0x00,0x10]
393          vpdpbusds  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
394
395// CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
396// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x51,0xac,0xf1,0x00,0x00,0x00,0xe0]
397          vpdpbusds  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
398
399// CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
400// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x51,0xac,0xf1,0x02,0x00,0x00,0xe0]
401          vpdpbusds  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
402
403// CHECK: vpdpwssd  (%rcx), %xmm22, %xmm21 {%k2}
404// CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x52,0x29]
405          vpdpwssd  (%rcx), %xmm22, %xmm21 {%k2}
406
407// CHECK: vpdpwssd  -64(%rsp), %xmm22, %xmm21 {%k2}
408// CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x52,0x6c,0x24,0xfc]
409          vpdpwssd  -64(%rsp), %xmm22, %xmm21 {%k2}
410
411// CHECK: vpdpwssd  64(%rsp), %xmm22, %xmm21 {%k2}
412// CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x52,0x6c,0x24,0x04]
413          vpdpwssd  64(%rsp), %xmm22, %xmm21 {%k2}
414
415// CHECK: vpdpwssd  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
416// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x52,0xac,0xf1,0x00,0x00,0x00,0x10]
417          vpdpwssd  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
418
419// CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
420// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x52,0xac,0xf1,0x00,0x00,0x00,0xe0]
421          vpdpwssd  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
422
423// CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
424// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x52,0xac,0xf1,0x02,0x00,0x00,0xe0]
425          vpdpwssd  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
426
427// CHECK: vpdpwssds  (%rcx), %xmm22, %xmm21 {%k2}
428// CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x53,0x29]
429          vpdpwssds  (%rcx), %xmm22, %xmm21 {%k2}
430
431// CHECK: vpdpwssds  -64(%rsp), %xmm22, %xmm21 {%k2}
432// CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x53,0x6c,0x24,0xfc]
433          vpdpwssds  -64(%rsp), %xmm22, %xmm21 {%k2}
434
435// CHECK: vpdpwssds  64(%rsp), %xmm22, %xmm21 {%k2}
436// CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x53,0x6c,0x24,0x04]
437          vpdpwssds  64(%rsp), %xmm22, %xmm21 {%k2}
438
439// CHECK: vpdpwssds  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
440// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x53,0xac,0xf1,0x00,0x00,0x00,0x10]
441          vpdpwssds  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
442
443// CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
444// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x53,0xac,0xf1,0x00,0x00,0x00,0xe0]
445          vpdpwssds  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
446
447// CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
448// CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x53,0xac,0xf1,0x02,0x00,0x00,0xe0]
449          vpdpwssds  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
450
451// CHECK: vpdpbusd %ymm3, %ymm2, %ymm1
452// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x50,0xcb]
453          vpdpbusd %ymm3, %ymm2, %ymm1
454
455// CHECK: vpdpbusds %ymm3, %ymm2, %ymm1
456// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x51,0xcb]
457          vpdpbusds %ymm3, %ymm2, %ymm1
458
459// CHECK: vpdpwssd %ymm3, %ymm2, %ymm1
460// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x52,0xcb]
461          vpdpwssd %ymm3, %ymm2, %ymm1
462
463// CHECK: vpdpwssds %ymm3, %ymm2, %ymm1
464// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x53,0xcb]
465          vpdpwssds %ymm3, %ymm2, %ymm1
466
467// CHECK: vpdpbusd %ymm23, %ymm22, %ymm21
468// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x50,0xef]
469          vpdpbusd %ymm23, %ymm22, %ymm21
470
471// CHECK: vpdpbusds %ymm23, %ymm22, %ymm21
472// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x51,0xef]
473          vpdpbusds %ymm23, %ymm22, %ymm21
474
475// CHECK: vpdpwssd %ymm23, %ymm22, %ymm21
476// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x52,0xef]
477          vpdpwssd %ymm23, %ymm22, %ymm21
478
479// CHECK: vpdpwssds %ymm23, %ymm22, %ymm21
480// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x53,0xef]
481          vpdpwssds %ymm23, %ymm22, %ymm21
482
483// CHECK: vpdpbusd %ymm3, %ymm2, %ymm1 {%k2}
484// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x50,0xcb]
485          vpdpbusd %ymm3, %ymm2, %ymm1 {%k2}
486
487// CHECK: vpdpbusds %ymm3, %ymm2, %ymm1 {%k2}
488// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x51,0xcb]
489          vpdpbusds %ymm3, %ymm2, %ymm1 {%k2}
490
491// CHECK: vpdpwssd %ymm3, %ymm2, %ymm1 {%k2}
492// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x52,0xcb]
493          vpdpwssd %ymm3, %ymm2, %ymm1 {%k2}
494
495// CHECK: vpdpwssds %ymm3, %ymm2, %ymm1 {%k2}
496// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x53,0xcb]
497          vpdpwssds %ymm3, %ymm2, %ymm1 {%k2}
498
499// CHECK: vpdpbusd %ymm23, %ymm22, %ymm21 {%k2}
500// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x50,0xef]
501          vpdpbusd %ymm23, %ymm22, %ymm21 {%k2}
502
503// CHECK: vpdpbusds %ymm23, %ymm22, %ymm21 {%k2}
504// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x51,0xef]
505          vpdpbusds %ymm23, %ymm22, %ymm21 {%k2}
506
507// CHECK: vpdpwssd %ymm23, %ymm22, %ymm21 {%k2}
508// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x52,0xef]
509          vpdpwssd %ymm23, %ymm22, %ymm21 {%k2}
510
511// CHECK: vpdpwssds %ymm23, %ymm22, %ymm21 {%k2}
512// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x53,0xef]
513          vpdpwssds %ymm23, %ymm22, %ymm21 {%k2}
514
515// CHECK: vpdpbusd  (%rcx), %ymm2, %ymm1
516// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x50,0x09]
517          vpdpbusd  (%rcx), %ymm2, %ymm1
518
519// CHECK: vpdpbusd  -128(%rsp), %ymm2, %ymm1
520// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x50,0x4c,0x24,0xfc]
521          vpdpbusd  -128(%rsp), %ymm2, %ymm1
522
523// CHECK: vpdpbusd  128(%rsp), %ymm2, %ymm1
524// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x50,0x4c,0x24,0x04]
525          vpdpbusd  128(%rsp), %ymm2, %ymm1
526
527// CHECK: vpdpbusd  268435456(%rcx,%r14,8), %ymm2, %ymm1
528// CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x50,0x8c,0xf1,0x00,0x00,0x00,0x10]
529          vpdpbusd  268435456(%rcx,%r14,8), %ymm2, %ymm1
530
531// CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %ymm2, %ymm1
532// CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x50,0x8c,0xf1,0x00,0x00,0x00,0xe0]
533          vpdpbusd  -536870912(%rcx,%r14,8), %ymm2, %ymm1
534
535// CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %ymm2, %ymm1
536// CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x50,0x8c,0xf1,0x02,0x00,0x00,0xe0]
537          vpdpbusd  -536870910(%rcx,%r14,8), %ymm2, %ymm1
538
539// CHECK: vpdpbusds  (%rcx), %ymm2, %ymm1
540// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x51,0x09]
541          vpdpbusds  (%rcx), %ymm2, %ymm1
542
543// CHECK: vpdpbusds  -128(%rsp), %ymm2, %ymm1
544// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x51,0x4c,0x24,0xfc]
545          vpdpbusds  -128(%rsp), %ymm2, %ymm1
546
547// CHECK: vpdpbusds  128(%rsp), %ymm2, %ymm1
548// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x51,0x4c,0x24,0x04]
549          vpdpbusds  128(%rsp), %ymm2, %ymm1
550
551// CHECK: vpdpbusds  268435456(%rcx,%r14,8), %ymm2, %ymm1
552// CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x51,0x8c,0xf1,0x00,0x00,0x00,0x10]
553          vpdpbusds  268435456(%rcx,%r14,8), %ymm2, %ymm1
554
555// CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %ymm2, %ymm1
556// CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x51,0x8c,0xf1,0x00,0x00,0x00,0xe0]
557          vpdpbusds  -536870912(%rcx,%r14,8), %ymm2, %ymm1
558
559// CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %ymm2, %ymm1
560// CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x51,0x8c,0xf1,0x02,0x00,0x00,0xe0]
561          vpdpbusds  -536870910(%rcx,%r14,8), %ymm2, %ymm1
562
563// CHECK: vpdpwssd  (%rcx), %ymm2, %ymm1
564// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x52,0x09]
565          vpdpwssd  (%rcx), %ymm2, %ymm1
566
567// CHECK: vpdpwssd  -128(%rsp), %ymm2, %ymm1
568// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x52,0x4c,0x24,0xfc]
569          vpdpwssd  -128(%rsp), %ymm2, %ymm1
570
571// CHECK: vpdpwssd  128(%rsp), %ymm2, %ymm1
572// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x52,0x4c,0x24,0x04]
573          vpdpwssd  128(%rsp), %ymm2, %ymm1
574
575// CHECK: vpdpwssd  268435456(%rcx,%r14,8), %ymm2, %ymm1
576// CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x52,0x8c,0xf1,0x00,0x00,0x00,0x10]
577          vpdpwssd  268435456(%rcx,%r14,8), %ymm2, %ymm1
578
579// CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %ymm2, %ymm1
580// CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x52,0x8c,0xf1,0x00,0x00,0x00,0xe0]
581          vpdpwssd  -536870912(%rcx,%r14,8), %ymm2, %ymm1
582
583// CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %ymm2, %ymm1
584// CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x52,0x8c,0xf1,0x02,0x00,0x00,0xe0]
585          vpdpwssd  -536870910(%rcx,%r14,8), %ymm2, %ymm1
586
587// CHECK: vpdpwssds  (%rcx), %ymm2, %ymm1
588// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x53,0x09]
589          vpdpwssds  (%rcx), %ymm2, %ymm1
590
591// CHECK: vpdpwssds  -128(%rsp), %ymm2, %ymm1
592// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x53,0x4c,0x24,0xfc]
593          vpdpwssds  -128(%rsp), %ymm2, %ymm1
594
595// CHECK: vpdpwssds  128(%rsp), %ymm2, %ymm1
596// CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x53,0x4c,0x24,0x04]
597          vpdpwssds  128(%rsp), %ymm2, %ymm1
598
599// CHECK: vpdpwssds  268435456(%rcx,%r14,8), %ymm2, %ymm1
600// CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x53,0x8c,0xf1,0x00,0x00,0x00,0x10]
601          vpdpwssds  268435456(%rcx,%r14,8), %ymm2, %ymm1
602
603// CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %ymm2, %ymm1
604// CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x53,0x8c,0xf1,0x00,0x00,0x00,0xe0]
605          vpdpwssds  -536870912(%rcx,%r14,8), %ymm2, %ymm1
606
607// CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %ymm2, %ymm1
608// CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x53,0x8c,0xf1,0x02,0x00,0x00,0xe0]
609          vpdpwssds  -536870910(%rcx,%r14,8), %ymm2, %ymm1
610
611// CHECK: vpdpbusd  (%rcx), %ymm22, %ymm21
612// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x50,0x29]
613          vpdpbusd  (%rcx), %ymm22, %ymm21
614
615// CHECK: vpdpbusd  -128(%rsp), %ymm22, %ymm21
616// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x50,0x6c,0x24,0xfc]
617          vpdpbusd  -128(%rsp), %ymm22, %ymm21
618
619// CHECK: vpdpbusd  128(%rsp), %ymm22, %ymm21
620// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x50,0x6c,0x24,0x04]
621          vpdpbusd  128(%rsp), %ymm22, %ymm21
622
623// CHECK: vpdpbusd  268435456(%rcx,%r14,8), %ymm22, %ymm21
624// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x50,0xac,0xf1,0x00,0x00,0x00,0x10]
625          vpdpbusd  268435456(%rcx,%r14,8), %ymm22, %ymm21
626
627// CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %ymm22, %ymm21
628// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x50,0xac,0xf1,0x00,0x00,0x00,0xe0]
629          vpdpbusd  -536870912(%rcx,%r14,8), %ymm22, %ymm21
630
631// CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %ymm22, %ymm21
632// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x50,0xac,0xf1,0x02,0x00,0x00,0xe0]
633          vpdpbusd  -536870910(%rcx,%r14,8), %ymm22, %ymm21
634
635// CHECK: vpdpbusds  (%rcx), %ymm22, %ymm21
636// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x51,0x29]
637          vpdpbusds  (%rcx), %ymm22, %ymm21
638
639// CHECK: vpdpbusds  -128(%rsp), %ymm22, %ymm21
640// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x51,0x6c,0x24,0xfc]
641          vpdpbusds  -128(%rsp), %ymm22, %ymm21
642
643// CHECK: vpdpbusds  128(%rsp), %ymm22, %ymm21
644// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x51,0x6c,0x24,0x04]
645          vpdpbusds  128(%rsp), %ymm22, %ymm21
646
647// CHECK: vpdpbusds  268435456(%rcx,%r14,8), %ymm22, %ymm21
648// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x51,0xac,0xf1,0x00,0x00,0x00,0x10]
649          vpdpbusds  268435456(%rcx,%r14,8), %ymm22, %ymm21
650
651// CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %ymm22, %ymm21
652// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x51,0xac,0xf1,0x00,0x00,0x00,0xe0]
653          vpdpbusds  -536870912(%rcx,%r14,8), %ymm22, %ymm21
654
655// CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %ymm22, %ymm21
656// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x51,0xac,0xf1,0x02,0x00,0x00,0xe0]
657          vpdpbusds  -536870910(%rcx,%r14,8), %ymm22, %ymm21
658
659// CHECK: vpdpwssd  (%rcx), %ymm22, %ymm21
660// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x52,0x29]
661          vpdpwssd  (%rcx), %ymm22, %ymm21
662
663// CHECK: vpdpwssd  -128(%rsp), %ymm22, %ymm21
664// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x52,0x6c,0x24,0xfc]
665          vpdpwssd  -128(%rsp), %ymm22, %ymm21
666
667// CHECK: vpdpwssd  128(%rsp), %ymm22, %ymm21
668// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x52,0x6c,0x24,0x04]
669          vpdpwssd  128(%rsp), %ymm22, %ymm21
670
671// CHECK: vpdpwssd  268435456(%rcx,%r14,8), %ymm22, %ymm21
672// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x52,0xac,0xf1,0x00,0x00,0x00,0x10]
673          vpdpwssd  268435456(%rcx,%r14,8), %ymm22, %ymm21
674
675// CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %ymm22, %ymm21
676// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x52,0xac,0xf1,0x00,0x00,0x00,0xe0]
677          vpdpwssd  -536870912(%rcx,%r14,8), %ymm22, %ymm21
678
679// CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %ymm22, %ymm21
680// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x52,0xac,0xf1,0x02,0x00,0x00,0xe0]
681          vpdpwssd  -536870910(%rcx,%r14,8), %ymm22, %ymm21
682
683// CHECK: vpdpwssds  (%rcx), %ymm22, %ymm21
684// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x53,0x29]
685          vpdpwssds  (%rcx), %ymm22, %ymm21
686
687// CHECK: vpdpwssds  -128(%rsp), %ymm22, %ymm21
688// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x53,0x6c,0x24,0xfc]
689          vpdpwssds  -128(%rsp), %ymm22, %ymm21
690
691// CHECK: vpdpwssds  128(%rsp), %ymm22, %ymm21
692// CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x53,0x6c,0x24,0x04]
693          vpdpwssds  128(%rsp), %ymm22, %ymm21
694
695// CHECK: vpdpwssds  268435456(%rcx,%r14,8), %ymm22, %ymm21
696// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x53,0xac,0xf1,0x00,0x00,0x00,0x10]
697          vpdpwssds  268435456(%rcx,%r14,8), %ymm22, %ymm21
698
699// CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %ymm22, %ymm21
700// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x53,0xac,0xf1,0x00,0x00,0x00,0xe0]
701          vpdpwssds  -536870912(%rcx,%r14,8), %ymm22, %ymm21
702
703// CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %ymm22, %ymm21
704// CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x53,0xac,0xf1,0x02,0x00,0x00,0xe0]
705          vpdpwssds  -536870910(%rcx,%r14,8), %ymm22, %ymm21
706
707// CHECK: vpdpbusd  (%rcx), %ymm2, %ymm1 {%k2}
708// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x50,0x09]
709          vpdpbusd  (%rcx), %ymm2, %ymm1 {%k2}
710
711// CHECK: vpdpbusd  -128(%rsp), %ymm2, %ymm1 {%k2}
712// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x50,0x4c,0x24,0xfc]
713          vpdpbusd  -128(%rsp), %ymm2, %ymm1 {%k2}
714
715// CHECK: vpdpbusd  128(%rsp), %ymm2, %ymm1 {%k2}
716// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x50,0x4c,0x24,0x04]
717          vpdpbusd  128(%rsp), %ymm2, %ymm1 {%k2}
718
719// CHECK: vpdpbusd  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
720// CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x50,0x8c,0xf1,0x00,0x00,0x00,0x10]
721          vpdpbusd  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
722
723// CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
724// CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x50,0x8c,0xf1,0x00,0x00,0x00,0xe0]
725          vpdpbusd  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
726
727// CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
728// CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x50,0x8c,0xf1,0x02,0x00,0x00,0xe0]
729          vpdpbusd  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
730
731// CHECK: vpdpbusds  (%rcx), %ymm2, %ymm1 {%k2}
732// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x51,0x09]
733          vpdpbusds  (%rcx), %ymm2, %ymm1 {%k2}
734
735// CHECK: vpdpbusds  -128(%rsp), %ymm2, %ymm1 {%k2}
736// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x51,0x4c,0x24,0xfc]
737          vpdpbusds  -128(%rsp), %ymm2, %ymm1 {%k2}
738
739// CHECK: vpdpbusds  128(%rsp), %ymm2, %ymm1 {%k2}
740// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x51,0x4c,0x24,0x04]
741          vpdpbusds  128(%rsp), %ymm2, %ymm1 {%k2}
742
743// CHECK: vpdpbusds  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
744// CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x51,0x8c,0xf1,0x00,0x00,0x00,0x10]
745          vpdpbusds  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
746
747// CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
748// CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x51,0x8c,0xf1,0x00,0x00,0x00,0xe0]
749          vpdpbusds  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
750
751// CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
752// CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x51,0x8c,0xf1,0x02,0x00,0x00,0xe0]
753          vpdpbusds  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
754
755// CHECK: vpdpwssd  (%rcx), %ymm2, %ymm1 {%k2}
756// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x52,0x09]
757          vpdpwssd  (%rcx), %ymm2, %ymm1 {%k2}
758
759// CHECK: vpdpwssd  -128(%rsp), %ymm2, %ymm1 {%k2}
760// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x52,0x4c,0x24,0xfc]
761          vpdpwssd  -128(%rsp), %ymm2, %ymm1 {%k2}
762
763// CHECK: vpdpwssd  128(%rsp), %ymm2, %ymm1 {%k2}
764// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x52,0x4c,0x24,0x04]
765          vpdpwssd  128(%rsp), %ymm2, %ymm1 {%k2}
766
767// CHECK: vpdpwssd  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
768// CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x52,0x8c,0xf1,0x00,0x00,0x00,0x10]
769          vpdpwssd  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
770
771// CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
772// CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x52,0x8c,0xf1,0x00,0x00,0x00,0xe0]
773          vpdpwssd  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
774
775// CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
776// CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x52,0x8c,0xf1,0x02,0x00,0x00,0xe0]
777          vpdpwssd  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
778
779// CHECK: vpdpwssds  (%rcx), %ymm2, %ymm1 {%k2}
780// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x53,0x09]
781          vpdpwssds  (%rcx), %ymm2, %ymm1 {%k2}
782
783// CHECK: vpdpwssds  -128(%rsp), %ymm2, %ymm1 {%k2}
784// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x53,0x4c,0x24,0xfc]
785          vpdpwssds  -128(%rsp), %ymm2, %ymm1 {%k2}
786
787// CHECK: vpdpwssds  128(%rsp), %ymm2, %ymm1 {%k2}
788// CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x53,0x4c,0x24,0x04]
789          vpdpwssds  128(%rsp), %ymm2, %ymm1 {%k2}
790
791// CHECK: vpdpwssds  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
792// CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x53,0x8c,0xf1,0x00,0x00,0x00,0x10]
793          vpdpwssds  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
794
795// CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
796// CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x53,0x8c,0xf1,0x00,0x00,0x00,0xe0]
797          vpdpwssds  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
798
799// CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
800// CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x53,0x8c,0xf1,0x02,0x00,0x00,0xe0]
801          vpdpwssds  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
802
803// CHECK: vpdpbusd  (%rcx), %ymm22, %ymm21 {%k2}
804// CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x50,0x29]
805          vpdpbusd  (%rcx), %ymm22, %ymm21 {%k2}
806
807// CHECK: vpdpbusd  -128(%rsp), %ymm22, %ymm21 {%k2}
808// CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x50,0x6c,0x24,0xfc]
809          vpdpbusd  -128(%rsp), %ymm22, %ymm21 {%k2}
810
811// CHECK: vpdpbusd  128(%rsp), %ymm22, %ymm21 {%k2}
812// CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x50,0x6c,0x24,0x04]
813          vpdpbusd  128(%rsp), %ymm22, %ymm21 {%k2}
814
815// CHECK: vpdpbusd  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
816// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x50,0xac,0xf1,0x00,0x00,0x00,0x10]
817          vpdpbusd  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
818
819// CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
820// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x50,0xac,0xf1,0x00,0x00,0x00,0xe0]
821          vpdpbusd  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
822
823// CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
824// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x50,0xac,0xf1,0x02,0x00,0x00,0xe0]
825          vpdpbusd  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
826
827// CHECK: vpdpbusds  (%rcx), %ymm22, %ymm21 {%k2}
828// CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x51,0x29]
829          vpdpbusds  (%rcx), %ymm22, %ymm21 {%k2}
830
831// CHECK: vpdpbusds  -128(%rsp), %ymm22, %ymm21 {%k2}
832// CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x51,0x6c,0x24,0xfc]
833          vpdpbusds  -128(%rsp), %ymm22, %ymm21 {%k2}
834
835// CHECK: vpdpbusds  128(%rsp), %ymm22, %ymm21 {%k2}
836// CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x51,0x6c,0x24,0x04]
837          vpdpbusds  128(%rsp), %ymm22, %ymm21 {%k2}
838
839// CHECK: vpdpbusds  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
840// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x51,0xac,0xf1,0x00,0x00,0x00,0x10]
841          vpdpbusds  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
842
843// CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
844// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x51,0xac,0xf1,0x00,0x00,0x00,0xe0]
845          vpdpbusds  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
846
847// CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
848// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x51,0xac,0xf1,0x02,0x00,0x00,0xe0]
849          vpdpbusds  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
850
851// CHECK: vpdpwssd  (%rcx), %ymm22, %ymm21 {%k2}
852// CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x52,0x29]
853          vpdpwssd  (%rcx), %ymm22, %ymm21 {%k2}
854
855// CHECK: vpdpwssd  -128(%rsp), %ymm22, %ymm21 {%k2}
856// CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x52,0x6c,0x24,0xfc]
857          vpdpwssd  -128(%rsp), %ymm22, %ymm21 {%k2}
858
859// CHECK: vpdpwssd  128(%rsp), %ymm22, %ymm21 {%k2}
860// CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x52,0x6c,0x24,0x04]
861          vpdpwssd  128(%rsp), %ymm22, %ymm21 {%k2}
862
863// CHECK: vpdpwssd  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
864// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x52,0xac,0xf1,0x00,0x00,0x00,0x10]
865          vpdpwssd  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
866
867// CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
868// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x52,0xac,0xf1,0x00,0x00,0x00,0xe0]
869          vpdpwssd  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
870
871// CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
872// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x52,0xac,0xf1,0x02,0x00,0x00,0xe0]
873          vpdpwssd  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
874
875// CHECK: vpdpwssds  (%rcx), %ymm22, %ymm21 {%k2}
876// CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x53,0x29]
877          vpdpwssds  (%rcx), %ymm22, %ymm21 {%k2}
878
879// CHECK: vpdpwssds  -128(%rsp), %ymm22, %ymm21 {%k2}
880// CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x53,0x6c,0x24,0xfc]
881          vpdpwssds  -128(%rsp), %ymm22, %ymm21 {%k2}
882
883// CHECK: vpdpwssds  128(%rsp), %ymm22, %ymm21 {%k2}
884// CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x53,0x6c,0x24,0x04]
885          vpdpwssds  128(%rsp), %ymm22, %ymm21 {%k2}
886
887// CHECK: vpdpwssds  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
888// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x53,0xac,0xf1,0x00,0x00,0x00,0x10]
889          vpdpwssds  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
890
891// CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
892// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x53,0xac,0xf1,0x00,0x00,0x00,0xe0]
893          vpdpwssds  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
894
895// CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
896// CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x53,0xac,0xf1,0x02,0x00,0x00,0xe0]
897          vpdpwssds  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
898
899