i386-dis-evex-prefix.h revision 1.1 1 1.1 christos /* PREFIX_EVEX_0F10 */
2 1.1 christos {
3 1.1 christos { VEX_W_TABLE (EVEX_W_0F10_P_0) },
4 1.1 christos { VEX_W_TABLE (EVEX_W_0F10_P_1) },
5 1.1 christos { VEX_W_TABLE (EVEX_W_0F10_P_2) },
6 1.1 christos { VEX_W_TABLE (EVEX_W_0F10_P_3) },
7 1.1 christos },
8 1.1 christos /* PREFIX_EVEX_0F11 */
9 1.1 christos {
10 1.1 christos { VEX_W_TABLE (EVEX_W_0F11_P_0) },
11 1.1 christos { VEX_W_TABLE (EVEX_W_0F11_P_1) },
12 1.1 christos { VEX_W_TABLE (EVEX_W_0F11_P_2) },
13 1.1 christos { VEX_W_TABLE (EVEX_W_0F11_P_3) },
14 1.1 christos },
15 1.1 christos /* PREFIX_EVEX_0F12 */
16 1.1 christos {
17 1.1 christos { MOD_TABLE (MOD_EVEX_0F12_PREFIX_0) },
18 1.1 christos { VEX_W_TABLE (EVEX_W_0F12_P_1) },
19 1.1 christos { VEX_W_TABLE (EVEX_W_0F12_P_2) },
20 1.1 christos { VEX_W_TABLE (EVEX_W_0F12_P_3) },
21 1.1 christos },
22 1.1 christos /* PREFIX_EVEX_0F13 */
23 1.1 christos {
24 1.1 christos { VEX_W_TABLE (EVEX_W_0F13_P_0) },
25 1.1 christos { Bad_Opcode },
26 1.1 christos { VEX_W_TABLE (EVEX_W_0F13_P_2) },
27 1.1 christos },
28 1.1 christos /* PREFIX_EVEX_0F14 */
29 1.1 christos {
30 1.1 christos { VEX_W_TABLE (EVEX_W_0F14_P_0) },
31 1.1 christos { Bad_Opcode },
32 1.1 christos { VEX_W_TABLE (EVEX_W_0F14_P_2) },
33 1.1 christos },
34 1.1 christos /* PREFIX_EVEX_0F15 */
35 1.1 christos {
36 1.1 christos { VEX_W_TABLE (EVEX_W_0F15_P_0) },
37 1.1 christos { Bad_Opcode },
38 1.1 christos { VEX_W_TABLE (EVEX_W_0F15_P_2) },
39 1.1 christos },
40 1.1 christos /* PREFIX_EVEX_0F16 */
41 1.1 christos {
42 1.1 christos { MOD_TABLE (MOD_EVEX_0F16_PREFIX_0) },
43 1.1 christos { VEX_W_TABLE (EVEX_W_0F16_P_1) },
44 1.1 christos { VEX_W_TABLE (EVEX_W_0F16_P_2) },
45 1.1 christos },
46 1.1 christos /* PREFIX_EVEX_0F17 */
47 1.1 christos {
48 1.1 christos { VEX_W_TABLE (EVEX_W_0F17_P_0) },
49 1.1 christos { Bad_Opcode },
50 1.1 christos { VEX_W_TABLE (EVEX_W_0F17_P_2) },
51 1.1 christos },
52 1.1 christos /* PREFIX_EVEX_0F28 */
53 1.1 christos {
54 1.1 christos { VEX_W_TABLE (EVEX_W_0F28_P_0) },
55 1.1 christos { Bad_Opcode },
56 1.1 christos { VEX_W_TABLE (EVEX_W_0F28_P_2) },
57 1.1 christos },
58 1.1 christos /* PREFIX_EVEX_0F29 */
59 1.1 christos {
60 1.1 christos { VEX_W_TABLE (EVEX_W_0F29_P_0) },
61 1.1 christos { Bad_Opcode },
62 1.1 christos { VEX_W_TABLE (EVEX_W_0F29_P_2) },
63 1.1 christos },
64 1.1 christos /* PREFIX_EVEX_0F2A */
65 1.1 christos {
66 1.1 christos { Bad_Opcode },
67 1.1 christos { "vcvtsi2ss%LQ", { XMScalar, VexScalar, EXxEVexR, Edq }, 0 },
68 1.1 christos { Bad_Opcode },
69 1.1 christos { VEX_W_TABLE (EVEX_W_0F2A_P_3) },
70 1.1 christos },
71 1.1 christos /* PREFIX_EVEX_0F2B */
72 1.1 christos {
73 1.1 christos { VEX_W_TABLE (EVEX_W_0F2B_P_0) },
74 1.1 christos { Bad_Opcode },
75 1.1 christos { VEX_W_TABLE (EVEX_W_0F2B_P_2) },
76 1.1 christos },
77 1.1 christos /* PREFIX_EVEX_0F2C */
78 1.1 christos {
79 1.1 christos { Bad_Opcode },
80 1.1 christos { "vcvttss2si", { Gdq, EXxmm_md, EXxEVexS }, 0 },
81 1.1 christos { Bad_Opcode },
82 1.1 christos { "vcvttsd2si", { Gdq, EXxmm_mq, EXxEVexS }, 0 },
83 1.1 christos },
84 1.1 christos /* PREFIX_EVEX_0F2D */
85 1.1 christos {
86 1.1 christos { Bad_Opcode },
87 1.1 christos { "vcvtss2si", { Gdq, EXxmm_md, EXxEVexR }, 0 },
88 1.1 christos { Bad_Opcode },
89 1.1 christos { "vcvtsd2si", { Gdq, EXxmm_mq, EXxEVexR }, 0 },
90 1.1 christos },
91 1.1 christos /* PREFIX_EVEX_0F2E */
92 1.1 christos {
93 1.1 christos { VEX_W_TABLE (EVEX_W_0F2E_P_0) },
94 1.1 christos { Bad_Opcode },
95 1.1 christos { VEX_W_TABLE (EVEX_W_0F2E_P_2) },
96 1.1 christos },
97 1.1 christos /* PREFIX_EVEX_0F2F */
98 1.1 christos {
99 1.1 christos { VEX_W_TABLE (EVEX_W_0F2F_P_0) },
100 1.1 christos { Bad_Opcode },
101 1.1 christos { VEX_W_TABLE (EVEX_W_0F2F_P_2) },
102 1.1 christos },
103 1.1 christos /* PREFIX_EVEX_0F51 */
104 1.1 christos {
105 1.1 christos { VEX_W_TABLE (EVEX_W_0F51_P_0) },
106 1.1 christos { VEX_W_TABLE (EVEX_W_0F51_P_1) },
107 1.1 christos { VEX_W_TABLE (EVEX_W_0F51_P_2) },
108 1.1 christos { VEX_W_TABLE (EVEX_W_0F51_P_3) },
109 1.1 christos },
110 1.1 christos /* PREFIX_EVEX_0F54 */
111 1.1 christos {
112 1.1 christos { VEX_W_TABLE (EVEX_W_0F54_P_0) },
113 1.1 christos { Bad_Opcode },
114 1.1 christos { VEX_W_TABLE (EVEX_W_0F54_P_2) },
115 1.1 christos },
116 1.1 christos /* PREFIX_EVEX_0F55 */
117 1.1 christos {
118 1.1 christos { VEX_W_TABLE (EVEX_W_0F55_P_0) },
119 1.1 christos { Bad_Opcode },
120 1.1 christos { VEX_W_TABLE (EVEX_W_0F55_P_2) },
121 1.1 christos },
122 1.1 christos /* PREFIX_EVEX_0F56 */
123 1.1 christos {
124 1.1 christos { VEX_W_TABLE (EVEX_W_0F56_P_0) },
125 1.1 christos { Bad_Opcode },
126 1.1 christos { VEX_W_TABLE (EVEX_W_0F56_P_2) },
127 1.1 christos },
128 1.1 christos /* PREFIX_EVEX_0F57 */
129 1.1 christos {
130 1.1 christos { VEX_W_TABLE (EVEX_W_0F57_P_0) },
131 1.1 christos { Bad_Opcode },
132 1.1 christos { VEX_W_TABLE (EVEX_W_0F57_P_2) },
133 1.1 christos },
134 1.1 christos /* PREFIX_EVEX_0F58 */
135 1.1 christos {
136 1.1 christos { VEX_W_TABLE (EVEX_W_0F58_P_0) },
137 1.1 christos { VEX_W_TABLE (EVEX_W_0F58_P_1) },
138 1.1 christos { VEX_W_TABLE (EVEX_W_0F58_P_2) },
139 1.1 christos { VEX_W_TABLE (EVEX_W_0F58_P_3) },
140 1.1 christos },
141 1.1 christos /* PREFIX_EVEX_0F59 */
142 1.1 christos {
143 1.1 christos { VEX_W_TABLE (EVEX_W_0F59_P_0) },
144 1.1 christos { VEX_W_TABLE (EVEX_W_0F59_P_1) },
145 1.1 christos { VEX_W_TABLE (EVEX_W_0F59_P_2) },
146 1.1 christos { VEX_W_TABLE (EVEX_W_0F59_P_3) },
147 1.1 christos },
148 1.1 christos /* PREFIX_EVEX_0F5A */
149 1.1 christos {
150 1.1 christos { VEX_W_TABLE (EVEX_W_0F5A_P_0) },
151 1.1 christos { VEX_W_TABLE (EVEX_W_0F5A_P_1) },
152 1.1 christos { VEX_W_TABLE (EVEX_W_0F5A_P_2) },
153 1.1 christos { VEX_W_TABLE (EVEX_W_0F5A_P_3) },
154 1.1 christos },
155 1.1 christos /* PREFIX_EVEX_0F5B */
156 1.1 christos {
157 1.1 christos { VEX_W_TABLE (EVEX_W_0F5B_P_0) },
158 1.1 christos { VEX_W_TABLE (EVEX_W_0F5B_P_1) },
159 1.1 christos { VEX_W_TABLE (EVEX_W_0F5B_P_2) },
160 1.1 christos },
161 1.1 christos /* PREFIX_EVEX_0F5C */
162 1.1 christos {
163 1.1 christos { VEX_W_TABLE (EVEX_W_0F5C_P_0) },
164 1.1 christos { VEX_W_TABLE (EVEX_W_0F5C_P_1) },
165 1.1 christos { VEX_W_TABLE (EVEX_W_0F5C_P_2) },
166 1.1 christos { VEX_W_TABLE (EVEX_W_0F5C_P_3) },
167 1.1 christos },
168 1.1 christos /* PREFIX_EVEX_0F5D */
169 1.1 christos {
170 1.1 christos { VEX_W_TABLE (EVEX_W_0F5D_P_0) },
171 1.1 christos { VEX_W_TABLE (EVEX_W_0F5D_P_1) },
172 1.1 christos { VEX_W_TABLE (EVEX_W_0F5D_P_2) },
173 1.1 christos { VEX_W_TABLE (EVEX_W_0F5D_P_3) },
174 1.1 christos },
175 1.1 christos /* PREFIX_EVEX_0F5E */
176 1.1 christos {
177 1.1 christos { VEX_W_TABLE (EVEX_W_0F5E_P_0) },
178 1.1 christos { VEX_W_TABLE (EVEX_W_0F5E_P_1) },
179 1.1 christos { VEX_W_TABLE (EVEX_W_0F5E_P_2) },
180 1.1 christos { VEX_W_TABLE (EVEX_W_0F5E_P_3) },
181 1.1 christos },
182 1.1 christos /* PREFIX_EVEX_0F5F */
183 1.1 christos {
184 1.1 christos { VEX_W_TABLE (EVEX_W_0F5F_P_0) },
185 1.1 christos { VEX_W_TABLE (EVEX_W_0F5F_P_1) },
186 1.1 christos { VEX_W_TABLE (EVEX_W_0F5F_P_2) },
187 1.1 christos { VEX_W_TABLE (EVEX_W_0F5F_P_3) },
188 1.1 christos },
189 1.1 christos /* PREFIX_EVEX_0F60 */
190 1.1 christos {
191 1.1 christos { Bad_Opcode },
192 1.1 christos { Bad_Opcode },
193 1.1 christos { "vpunpcklbw", { XM, Vex, EXx }, 0 },
194 1.1 christos },
195 1.1 christos /* PREFIX_EVEX_0F61 */
196 1.1 christos {
197 1.1 christos { Bad_Opcode },
198 1.1 christos { Bad_Opcode },
199 1.1 christos { "vpunpcklwd", { XM, Vex, EXx }, 0 },
200 1.1 christos },
201 1.1 christos /* PREFIX_EVEX_0F62 */
202 1.1 christos {
203 1.1 christos { Bad_Opcode },
204 1.1 christos { Bad_Opcode },
205 1.1 christos { VEX_W_TABLE (EVEX_W_0F62_P_2) },
206 1.1 christos },
207 1.1 christos /* PREFIX_EVEX_0F63 */
208 1.1 christos {
209 1.1 christos { Bad_Opcode },
210 1.1 christos { Bad_Opcode },
211 1.1 christos { "vpacksswb", { XM, Vex, EXx }, 0 },
212 1.1 christos },
213 1.1 christos /* PREFIX_EVEX_0F64 */
214 1.1 christos {
215 1.1 christos { Bad_Opcode },
216 1.1 christos { Bad_Opcode },
217 1.1 christos { "vpcmpgtb", { XMask, Vex, EXx }, 0 },
218 1.1 christos },
219 1.1 christos /* PREFIX_EVEX_0F65 */
220 1.1 christos {
221 1.1 christos { Bad_Opcode },
222 1.1 christos { Bad_Opcode },
223 1.1 christos { "vpcmpgtw", { XMask, Vex, EXx }, 0 },
224 1.1 christos },
225 1.1 christos /* PREFIX_EVEX_0F66 */
226 1.1 christos {
227 1.1 christos { Bad_Opcode },
228 1.1 christos { Bad_Opcode },
229 1.1 christos { VEX_W_TABLE (EVEX_W_0F66_P_2) },
230 1.1 christos },
231 1.1 christos /* PREFIX_EVEX_0F67 */
232 1.1 christos {
233 1.1 christos { Bad_Opcode },
234 1.1 christos { Bad_Opcode },
235 1.1 christos { "vpackuswb", { XM, Vex, EXx }, 0 },
236 1.1 christos },
237 1.1 christos /* PREFIX_EVEX_0F68 */
238 1.1 christos {
239 1.1 christos { Bad_Opcode },
240 1.1 christos { Bad_Opcode },
241 1.1 christos { "vpunpckhbw", { XM, Vex, EXx }, 0 },
242 1.1 christos },
243 1.1 christos /* PREFIX_EVEX_0F69 */
244 1.1 christos {
245 1.1 christos { Bad_Opcode },
246 1.1 christos { Bad_Opcode },
247 1.1 christos { "vpunpckhwd", { XM, Vex, EXx }, 0 },
248 1.1 christos },
249 1.1 christos /* PREFIX_EVEX_0F6A */
250 1.1 christos {
251 1.1 christos { Bad_Opcode },
252 1.1 christos { Bad_Opcode },
253 1.1 christos { VEX_W_TABLE (EVEX_W_0F6A_P_2) },
254 1.1 christos },
255 1.1 christos /* PREFIX_EVEX_0F6B */
256 1.1 christos {
257 1.1 christos { Bad_Opcode },
258 1.1 christos { Bad_Opcode },
259 1.1 christos { VEX_W_TABLE (EVEX_W_0F6B_P_2) },
260 1.1 christos },
261 1.1 christos /* PREFIX_EVEX_0F6C */
262 1.1 christos {
263 1.1 christos { Bad_Opcode },
264 1.1 christos { Bad_Opcode },
265 1.1 christos { VEX_W_TABLE (EVEX_W_0F6C_P_2) },
266 1.1 christos },
267 1.1 christos /* PREFIX_EVEX_0F6D */
268 1.1 christos {
269 1.1 christos { Bad_Opcode },
270 1.1 christos { Bad_Opcode },
271 1.1 christos { VEX_W_TABLE (EVEX_W_0F6D_P_2) },
272 1.1 christos },
273 1.1 christos /* PREFIX_EVEX_0F6E */
274 1.1 christos {
275 1.1 christos { Bad_Opcode },
276 1.1 christos { Bad_Opcode },
277 1.1 christos { EVEX_LEN_TABLE (EVEX_LEN_0F6E_P_2) },
278 1.1 christos },
279 1.1 christos /* PREFIX_EVEX_0F6F */
280 1.1 christos {
281 1.1 christos { Bad_Opcode },
282 1.1 christos { VEX_W_TABLE (EVEX_W_0F6F_P_1) },
283 1.1 christos { VEX_W_TABLE (EVEX_W_0F6F_P_2) },
284 1.1 christos { VEX_W_TABLE (EVEX_W_0F6F_P_3) },
285 1.1 christos },
286 1.1 christos /* PREFIX_EVEX_0F70 */
287 1.1 christos {
288 1.1 christos { Bad_Opcode },
289 1.1 christos { "vpshufhw", { XM, EXx, Ib }, 0 },
290 1.1 christos { VEX_W_TABLE (EVEX_W_0F70_P_2) },
291 1.1 christos { "vpshuflw", { XM, EXx, Ib }, 0 },
292 1.1 christos },
293 1.1 christos /* PREFIX_EVEX_0F71_REG_2 */
294 1.1 christos {
295 1.1 christos { Bad_Opcode },
296 1.1 christos { Bad_Opcode },
297 1.1 christos { "vpsrlw", { Vex, EXx, Ib }, 0 },
298 1.1 christos },
299 1.1 christos /* PREFIX_EVEX_0F71_REG_4 */
300 1.1 christos {
301 1.1 christos { Bad_Opcode },
302 1.1 christos { Bad_Opcode },
303 1.1 christos { "vpsraw", { Vex, EXx, Ib }, 0 },
304 1.1 christos },
305 1.1 christos /* PREFIX_EVEX_0F71_REG_6 */
306 1.1 christos {
307 1.1 christos { Bad_Opcode },
308 1.1 christos { Bad_Opcode },
309 1.1 christos { "vpsllw", { Vex, EXx, Ib }, 0 },
310 1.1 christos },
311 1.1 christos /* PREFIX_EVEX_0F72_REG_0 */
312 1.1 christos {
313 1.1 christos { Bad_Opcode },
314 1.1 christos { Bad_Opcode },
315 1.1 christos { "vpror%LW", { Vex, EXx, Ib }, 0 },
316 1.1 christos },
317 1.1 christos /* PREFIX_EVEX_0F72_REG_1 */
318 1.1 christos {
319 1.1 christos { Bad_Opcode },
320 1.1 christos { Bad_Opcode },
321 1.1 christos { "vprol%LW", { Vex, EXx, Ib }, 0 },
322 1.1 christos },
323 1.1 christos /* PREFIX_EVEX_0F72_REG_2 */
324 1.1 christos {
325 1.1 christos { Bad_Opcode },
326 1.1 christos { Bad_Opcode },
327 1.1 christos { VEX_W_TABLE (EVEX_W_0F72_R_2_P_2) },
328 1.1 christos },
329 1.1 christos /* PREFIX_EVEX_0F72_REG_4 */
330 1.1 christos {
331 1.1 christos { Bad_Opcode },
332 1.1 christos { Bad_Opcode },
333 1.1 christos { "vpsra%LW", { Vex, EXx, Ib }, 0 },
334 1.1 christos },
335 1.1 christos /* PREFIX_EVEX_0F72_REG_6 */
336 1.1 christos {
337 1.1 christos { Bad_Opcode },
338 1.1 christos { Bad_Opcode },
339 1.1 christos { VEX_W_TABLE (EVEX_W_0F72_R_6_P_2) },
340 1.1 christos },
341 1.1 christos /* PREFIX_EVEX_0F73_REG_2 */
342 1.1 christos {
343 1.1 christos { Bad_Opcode },
344 1.1 christos { Bad_Opcode },
345 1.1 christos { VEX_W_TABLE (EVEX_W_0F73_R_2_P_2) },
346 1.1 christos },
347 1.1 christos /* PREFIX_EVEX_0F73_REG_3 */
348 1.1 christos {
349 1.1 christos { Bad_Opcode },
350 1.1 christos { Bad_Opcode },
351 1.1 christos { "vpsrldq", { Vex, EXx, Ib }, 0 },
352 1.1 christos },
353 1.1 christos /* PREFIX_EVEX_0F73_REG_6 */
354 1.1 christos {
355 1.1 christos { Bad_Opcode },
356 1.1 christos { Bad_Opcode },
357 1.1 christos { VEX_W_TABLE (EVEX_W_0F73_R_6_P_2) },
358 1.1 christos },
359 1.1 christos /* PREFIX_EVEX_0F73_REG_7 */
360 1.1 christos {
361 1.1 christos { Bad_Opcode },
362 1.1 christos { Bad_Opcode },
363 1.1 christos { "vpslldq", { Vex, EXx, Ib }, 0 },
364 1.1 christos },
365 1.1 christos /* PREFIX_EVEX_0F74 */
366 1.1 christos {
367 1.1 christos { Bad_Opcode },
368 1.1 christos { Bad_Opcode },
369 1.1 christos { "vpcmpeqb", { XMask, Vex, EXx }, 0 },
370 1.1 christos },
371 1.1 christos /* PREFIX_EVEX_0F75 */
372 1.1 christos {
373 1.1 christos { Bad_Opcode },
374 1.1 christos { Bad_Opcode },
375 1.1 christos { "vpcmpeqw", { XMask, Vex, EXx }, 0 },
376 1.1 christos },
377 1.1 christos /* PREFIX_EVEX_0F76 */
378 1.1 christos {
379 1.1 christos { Bad_Opcode },
380 1.1 christos { Bad_Opcode },
381 1.1 christos { VEX_W_TABLE (EVEX_W_0F76_P_2) },
382 1.1 christos },
383 1.1 christos /* PREFIX_EVEX_0F78 */
384 1.1 christos {
385 1.1 christos { VEX_W_TABLE (EVEX_W_0F78_P_0) },
386 1.1 christos { "vcvttss2usi", { Gdq, EXxmm_md, EXxEVexS }, 0 },
387 1.1 christos { VEX_W_TABLE (EVEX_W_0F78_P_2) },
388 1.1 christos { "vcvttsd2usi", { Gdq, EXxmm_mq, EXxEVexS }, 0 },
389 1.1 christos },
390 1.1 christos /* PREFIX_EVEX_0F79 */
391 1.1 christos {
392 1.1 christos { VEX_W_TABLE (EVEX_W_0F79_P_0) },
393 1.1 christos { "vcvtss2usi", { Gdq, EXxmm_md, EXxEVexR }, 0 },
394 1.1 christos { VEX_W_TABLE (EVEX_W_0F79_P_2) },
395 1.1 christos { "vcvtsd2usi", { Gdq, EXxmm_mq, EXxEVexR }, 0 },
396 1.1 christos },
397 1.1 christos /* PREFIX_EVEX_0F7A */
398 1.1 christos {
399 1.1 christos { Bad_Opcode },
400 1.1 christos { VEX_W_TABLE (EVEX_W_0F7A_P_1) },
401 1.1 christos { VEX_W_TABLE (EVEX_W_0F7A_P_2) },
402 1.1 christos { VEX_W_TABLE (EVEX_W_0F7A_P_3) },
403 1.1 christos },
404 1.1 christos /* PREFIX_EVEX_0F7B */
405 1.1 christos {
406 1.1 christos { Bad_Opcode },
407 1.1 christos { "vcvtusi2ss%LQ", { XMScalar, VexScalar, EXxEVexR, Edq }, 0 },
408 1.1 christos { VEX_W_TABLE (EVEX_W_0F7B_P_2) },
409 1.1 christos { VEX_W_TABLE (EVEX_W_0F7B_P_3) },
410 1.1 christos },
411 1.1 christos /* PREFIX_EVEX_0F7E */
412 1.1 christos {
413 1.1 christos { Bad_Opcode },
414 1.1 christos { EVEX_LEN_TABLE (EVEX_LEN_0F7E_P_1) },
415 1.1 christos { EVEX_LEN_TABLE (EVEX_LEN_0F7E_P_2) },
416 1.1 christos },
417 1.1 christos /* PREFIX_EVEX_0F7F */
418 1.1 christos {
419 1.1 christos { Bad_Opcode },
420 1.1 christos { VEX_W_TABLE (EVEX_W_0F7F_P_1) },
421 1.1 christos { VEX_W_TABLE (EVEX_W_0F7F_P_2) },
422 1.1 christos { VEX_W_TABLE (EVEX_W_0F7F_P_3) },
423 1.1 christos },
424 1.1 christos /* PREFIX_EVEX_0FC2 */
425 1.1 christos {
426 1.1 christos { VEX_W_TABLE (EVEX_W_0FC2_P_0) },
427 1.1 christos { VEX_W_TABLE (EVEX_W_0FC2_P_1) },
428 1.1 christos { VEX_W_TABLE (EVEX_W_0FC2_P_2) },
429 1.1 christos { VEX_W_TABLE (EVEX_W_0FC2_P_3) },
430 1.1 christos },
431 1.1 christos /* PREFIX_EVEX_0FC4 */
432 1.1 christos {
433 1.1 christos { Bad_Opcode },
434 1.1 christos { Bad_Opcode },
435 1.1 christos { "vpinsrw", { XM, Vex128, Edw, Ib }, 0 },
436 1.1 christos },
437 1.1 christos /* PREFIX_EVEX_0FC5 */
438 1.1 christos {
439 1.1 christos { Bad_Opcode },
440 1.1 christos { Bad_Opcode },
441 1.1 christos { "vpextrw", { Gdq, XS, Ib }, 0 },
442 1.1 christos },
443 1.1 christos /* PREFIX_EVEX_0FC6 */
444 1.1 christos {
445 1.1 christos { VEX_W_TABLE (EVEX_W_0FC6_P_0) },
446 1.1 christos { Bad_Opcode },
447 1.1 christos { VEX_W_TABLE (EVEX_W_0FC6_P_2) },
448 1.1 christos },
449 1.1 christos /* PREFIX_EVEX_0FD1 */
450 1.1 christos {
451 1.1 christos { Bad_Opcode },
452 1.1 christos { Bad_Opcode },
453 1.1 christos { "vpsrlw", { XM, Vex, EXxmm }, 0 },
454 1.1 christos },
455 1.1 christos /* PREFIX_EVEX_0FD2 */
456 1.1 christos {
457 1.1 christos { Bad_Opcode },
458 1.1 christos { Bad_Opcode },
459 1.1 christos { VEX_W_TABLE (EVEX_W_0FD2_P_2) },
460 1.1 christos },
461 1.1 christos /* PREFIX_EVEX_0FD3 */
462 1.1 christos {
463 1.1 christos { Bad_Opcode },
464 1.1 christos { Bad_Opcode },
465 1.1 christos { VEX_W_TABLE (EVEX_W_0FD3_P_2) },
466 1.1 christos },
467 1.1 christos /* PREFIX_EVEX_0FD4 */
468 1.1 christos {
469 1.1 christos { Bad_Opcode },
470 1.1 christos { Bad_Opcode },
471 1.1 christos { VEX_W_TABLE (EVEX_W_0FD4_P_2) },
472 1.1 christos },
473 1.1 christos /* PREFIX_EVEX_0FD5 */
474 1.1 christos {
475 1.1 christos { Bad_Opcode },
476 1.1 christos { Bad_Opcode },
477 1.1 christos { "vpmullw", { XM, Vex, EXx }, 0 },
478 1.1 christos },
479 1.1 christos /* PREFIX_EVEX_0FD6 */
480 1.1 christos {
481 1.1 christos { Bad_Opcode },
482 1.1 christos { Bad_Opcode },
483 1.1 christos { EVEX_LEN_TABLE (EVEX_LEN_0FD6_P_2) },
484 1.1 christos },
485 1.1 christos /* PREFIX_EVEX_0FD8 */
486 1.1 christos {
487 1.1 christos { Bad_Opcode },
488 1.1 christos { Bad_Opcode },
489 1.1 christos { "vpsubusb", { XM, Vex, EXx }, 0 },
490 1.1 christos },
491 1.1 christos /* PREFIX_EVEX_0FD9 */
492 1.1 christos {
493 1.1 christos { Bad_Opcode },
494 1.1 christos { Bad_Opcode },
495 1.1 christos { "vpsubusw", { XM, Vex, EXx }, 0 },
496 1.1 christos },
497 1.1 christos /* PREFIX_EVEX_0FDA */
498 1.1 christos {
499 1.1 christos { Bad_Opcode },
500 1.1 christos { Bad_Opcode },
501 1.1 christos { "vpminub", { XM, Vex, EXx }, 0 },
502 1.1 christos },
503 1.1 christos /* PREFIX_EVEX_0FDB */
504 1.1 christos {
505 1.1 christos { Bad_Opcode },
506 1.1 christos { Bad_Opcode },
507 1.1 christos { "vpand%LW", { XM, Vex, EXx }, 0 },
508 1.1 christos },
509 1.1 christos /* PREFIX_EVEX_0FDC */
510 1.1 christos {
511 1.1 christos { Bad_Opcode },
512 1.1 christos { Bad_Opcode },
513 1.1 christos { "vpaddusb", { XM, Vex, EXx }, 0 },
514 1.1 christos },
515 1.1 christos /* PREFIX_EVEX_0FDD */
516 1.1 christos {
517 1.1 christos { Bad_Opcode },
518 1.1 christos { Bad_Opcode },
519 1.1 christos { "vpaddusw", { XM, Vex, EXx }, 0 },
520 1.1 christos },
521 1.1 christos /* PREFIX_EVEX_0FDE */
522 1.1 christos {
523 1.1 christos { Bad_Opcode },
524 1.1 christos { Bad_Opcode },
525 1.1 christos { "vpmaxub", { XM, Vex, EXx }, 0 },
526 1.1 christos },
527 1.1 christos /* PREFIX_EVEX_0FDF */
528 1.1 christos {
529 1.1 christos { Bad_Opcode },
530 1.1 christos { Bad_Opcode },
531 1.1 christos { "vpandn%LW", { XM, Vex, EXx }, 0 },
532 1.1 christos },
533 1.1 christos /* PREFIX_EVEX_0FE0 */
534 1.1 christos {
535 1.1 christos { Bad_Opcode },
536 1.1 christos { Bad_Opcode },
537 1.1 christos { "vpavgb", { XM, Vex, EXx }, 0 },
538 1.1 christos },
539 1.1 christos /* PREFIX_EVEX_0FE1 */
540 1.1 christos {
541 1.1 christos { Bad_Opcode },
542 1.1 christos { Bad_Opcode },
543 1.1 christos { "vpsraw", { XM, Vex, EXxmm }, 0 },
544 1.1 christos },
545 1.1 christos /* PREFIX_EVEX_0FE2 */
546 1.1 christos {
547 1.1 christos { Bad_Opcode },
548 1.1 christos { Bad_Opcode },
549 1.1 christos { "vpsra%LW", { XM, Vex, EXxmm }, 0 },
550 1.1 christos },
551 1.1 christos /* PREFIX_EVEX_0FE3 */
552 1.1 christos {
553 1.1 christos { Bad_Opcode },
554 1.1 christos { Bad_Opcode },
555 1.1 christos { "vpavgw", { XM, Vex, EXx }, 0 },
556 1.1 christos },
557 1.1 christos /* PREFIX_EVEX_0FE4 */
558 1.1 christos {
559 1.1 christos { Bad_Opcode },
560 1.1 christos { Bad_Opcode },
561 1.1 christos { "vpmulhuw", { XM, Vex, EXx }, 0 },
562 1.1 christos },
563 1.1 christos /* PREFIX_EVEX_0FE5 */
564 1.1 christos {
565 1.1 christos { Bad_Opcode },
566 1.1 christos { Bad_Opcode },
567 1.1 christos { "vpmulhw", { XM, Vex, EXx }, 0 },
568 1.1 christos },
569 1.1 christos /* PREFIX_EVEX_0FE6 */
570 1.1 christos {
571 1.1 christos { Bad_Opcode },
572 1.1 christos { VEX_W_TABLE (EVEX_W_0FE6_P_1) },
573 1.1 christos { VEX_W_TABLE (EVEX_W_0FE6_P_2) },
574 1.1 christos { VEX_W_TABLE (EVEX_W_0FE6_P_3) },
575 1.1 christos },
576 1.1 christos /* PREFIX_EVEX_0FE7 */
577 1.1 christos {
578 1.1 christos { Bad_Opcode },
579 1.1 christos { Bad_Opcode },
580 1.1 christos { VEX_W_TABLE (EVEX_W_0FE7_P_2) },
581 1.1 christos },
582 1.1 christos /* PREFIX_EVEX_0FE8 */
583 1.1 christos {
584 1.1 christos { Bad_Opcode },
585 1.1 christos { Bad_Opcode },
586 1.1 christos { "vpsubsb", { XM, Vex, EXx }, 0 },
587 1.1 christos },
588 1.1 christos /* PREFIX_EVEX_0FE9 */
589 1.1 christos {
590 1.1 christos { Bad_Opcode },
591 1.1 christos { Bad_Opcode },
592 1.1 christos { "vpsubsw", { XM, Vex, EXx }, 0 },
593 1.1 christos },
594 1.1 christos /* PREFIX_EVEX_0FEA */
595 1.1 christos {
596 1.1 christos { Bad_Opcode },
597 1.1 christos { Bad_Opcode },
598 1.1 christos { "vpminsw", { XM, Vex, EXx }, 0 },
599 1.1 christos },
600 1.1 christos /* PREFIX_EVEX_0FEB */
601 1.1 christos {
602 1.1 christos { Bad_Opcode },
603 1.1 christos { Bad_Opcode },
604 1.1 christos { "vpor%LW", { XM, Vex, EXx }, 0 },
605 1.1 christos },
606 1.1 christos /* PREFIX_EVEX_0FEC */
607 1.1 christos {
608 1.1 christos { Bad_Opcode },
609 1.1 christos { Bad_Opcode },
610 1.1 christos { "vpaddsb", { XM, Vex, EXx }, 0 },
611 1.1 christos },
612 1.1 christos /* PREFIX_EVEX_0FED */
613 1.1 christos {
614 1.1 christos { Bad_Opcode },
615 1.1 christos { Bad_Opcode },
616 1.1 christos { "vpaddsw", { XM, Vex, EXx }, 0 },
617 1.1 christos },
618 1.1 christos /* PREFIX_EVEX_0FEE */
619 1.1 christos {
620 1.1 christos { Bad_Opcode },
621 1.1 christos { Bad_Opcode },
622 1.1 christos { "vpmaxsw", { XM, Vex, EXx }, 0 },
623 1.1 christos },
624 1.1 christos /* PREFIX_EVEX_0FEF */
625 1.1 christos {
626 1.1 christos { Bad_Opcode },
627 1.1 christos { Bad_Opcode },
628 1.1 christos { "vpxor%LW", { XM, Vex, EXx }, 0 },
629 1.1 christos },
630 1.1 christos /* PREFIX_EVEX_0FF1 */
631 1.1 christos {
632 1.1 christos { Bad_Opcode },
633 1.1 christos { Bad_Opcode },
634 1.1 christos { "vpsllw", { XM, Vex, EXxmm }, 0 },
635 1.1 christos },
636 1.1 christos /* PREFIX_EVEX_0FF2 */
637 1.1 christos {
638 1.1 christos { Bad_Opcode },
639 1.1 christos { Bad_Opcode },
640 1.1 christos { VEX_W_TABLE (EVEX_W_0FF2_P_2) },
641 1.1 christos },
642 1.1 christos /* PREFIX_EVEX_0FF3 */
643 1.1 christos {
644 1.1 christos { Bad_Opcode },
645 1.1 christos { Bad_Opcode },
646 1.1 christos { VEX_W_TABLE (EVEX_W_0FF3_P_2) },
647 1.1 christos },
648 1.1 christos /* PREFIX_EVEX_0FF4 */
649 1.1 christos {
650 1.1 christos { Bad_Opcode },
651 1.1 christos { Bad_Opcode },
652 1.1 christos { VEX_W_TABLE (EVEX_W_0FF4_P_2) },
653 1.1 christos },
654 1.1 christos /* PREFIX_EVEX_0FF5 */
655 1.1 christos {
656 1.1 christos { Bad_Opcode },
657 1.1 christos { Bad_Opcode },
658 1.1 christos { "vpmaddwd", { XM, Vex, EXx }, 0 },
659 1.1 christos },
660 1.1 christos /* PREFIX_EVEX_0FF6 */
661 1.1 christos {
662 1.1 christos { Bad_Opcode },
663 1.1 christos { Bad_Opcode },
664 1.1 christos { "vpsadbw", { XM, Vex, EXx }, 0 },
665 1.1 christos },
666 1.1 christos /* PREFIX_EVEX_0FF8 */
667 1.1 christos {
668 1.1 christos { Bad_Opcode },
669 1.1 christos { Bad_Opcode },
670 1.1 christos { "vpsubb", { XM, Vex, EXx }, 0 },
671 1.1 christos },
672 1.1 christos /* PREFIX_EVEX_0FF9 */
673 1.1 christos {
674 1.1 christos { Bad_Opcode },
675 1.1 christos { Bad_Opcode },
676 1.1 christos { "vpsubw", { XM, Vex, EXx }, 0 },
677 1.1 christos },
678 1.1 christos /* PREFIX_EVEX_0FFA */
679 1.1 christos {
680 1.1 christos { Bad_Opcode },
681 1.1 christos { Bad_Opcode },
682 1.1 christos { VEX_W_TABLE (EVEX_W_0FFA_P_2) },
683 1.1 christos },
684 1.1 christos /* PREFIX_EVEX_0FFB */
685 1.1 christos {
686 1.1 christos { Bad_Opcode },
687 1.1 christos { Bad_Opcode },
688 1.1 christos { VEX_W_TABLE (EVEX_W_0FFB_P_2) },
689 1.1 christos },
690 1.1 christos /* PREFIX_EVEX_0FFC */
691 1.1 christos {
692 1.1 christos { Bad_Opcode },
693 1.1 christos { Bad_Opcode },
694 1.1 christos { "vpaddb", { XM, Vex, EXx }, 0 },
695 1.1 christos },
696 1.1 christos /* PREFIX_EVEX_0FFD */
697 1.1 christos {
698 1.1 christos { Bad_Opcode },
699 1.1 christos { Bad_Opcode },
700 1.1 christos { "vpaddw", { XM, Vex, EXx }, 0 },
701 1.1 christos },
702 1.1 christos /* PREFIX_EVEX_0FFE */
703 1.1 christos {
704 1.1 christos { Bad_Opcode },
705 1.1 christos { Bad_Opcode },
706 1.1 christos { VEX_W_TABLE (EVEX_W_0FFE_P_2) },
707 1.1 christos },
708 1.1 christos /* PREFIX_EVEX_0F3800 */
709 1.1 christos {
710 1.1 christos { Bad_Opcode },
711 1.1 christos { Bad_Opcode },
712 1.1 christos { "vpshufb", { XM, Vex, EXx }, 0 },
713 1.1 christos },
714 1.1 christos /* PREFIX_EVEX_0F3804 */
715 1.1 christos {
716 1.1 christos { Bad_Opcode },
717 1.1 christos { Bad_Opcode },
718 1.1 christos { "vpmaddubsw", { XM, Vex, EXx }, 0 },
719 1.1 christos },
720 1.1 christos /* PREFIX_EVEX_0F380B */
721 1.1 christos {
722 1.1 christos { Bad_Opcode },
723 1.1 christos { Bad_Opcode },
724 1.1 christos { "vpmulhrsw", { XM, Vex, EXx }, 0 },
725 1.1 christos },
726 1.1 christos /* PREFIX_EVEX_0F380C */
727 1.1 christos {
728 1.1 christos { Bad_Opcode },
729 1.1 christos { Bad_Opcode },
730 1.1 christos { VEX_W_TABLE (EVEX_W_0F380C_P_2) },
731 1.1 christos },
732 1.1 christos /* PREFIX_EVEX_0F380D */
733 1.1 christos {
734 1.1 christos { Bad_Opcode },
735 1.1 christos { Bad_Opcode },
736 1.1 christos { VEX_W_TABLE (EVEX_W_0F380D_P_2) },
737 1.1 christos },
738 1.1 christos /* PREFIX_EVEX_0F3810 */
739 1.1 christos {
740 1.1 christos { Bad_Opcode },
741 1.1 christos { VEX_W_TABLE (EVEX_W_0F3810_P_1) },
742 1.1 christos { VEX_W_TABLE (EVEX_W_0F3810_P_2) },
743 1.1 christos },
744 1.1 christos /* PREFIX_EVEX_0F3811 */
745 1.1 christos {
746 1.1 christos { Bad_Opcode },
747 1.1 christos { VEX_W_TABLE (EVEX_W_0F3811_P_1) },
748 1.1 christos { VEX_W_TABLE (EVEX_W_0F3811_P_2) },
749 1.1 christos },
750 1.1 christos /* PREFIX_EVEX_0F3812 */
751 1.1 christos {
752 1.1 christos { Bad_Opcode },
753 1.1 christos { VEX_W_TABLE (EVEX_W_0F3812_P_1) },
754 1.1 christos { VEX_W_TABLE (EVEX_W_0F3812_P_2) },
755 1.1 christos },
756 1.1 christos /* PREFIX_EVEX_0F3813 */
757 1.1 christos {
758 1.1 christos { Bad_Opcode },
759 1.1 christos { VEX_W_TABLE (EVEX_W_0F3813_P_1) },
760 1.1 christos { VEX_W_TABLE (EVEX_W_0F3813_P_2) },
761 1.1 christos },
762 1.1 christos /* PREFIX_EVEX_0F3814 */
763 1.1 christos {
764 1.1 christos { Bad_Opcode },
765 1.1 christos { VEX_W_TABLE (EVEX_W_0F3814_P_1) },
766 1.1 christos { "vprorv%LW", { XM, Vex, EXx }, 0 },
767 1.1 christos },
768 1.1 christos /* PREFIX_EVEX_0F3815 */
769 1.1 christos {
770 1.1 christos { Bad_Opcode },
771 1.1 christos { VEX_W_TABLE (EVEX_W_0F3815_P_1) },
772 1.1 christos { "vprolv%LW", { XM, Vex, EXx }, 0 },
773 1.1 christos },
774 1.1 christos /* PREFIX_EVEX_0F3816 */
775 1.1 christos {
776 1.1 christos { Bad_Opcode },
777 1.1 christos { Bad_Opcode },
778 1.1 christos { "vpermp%XW", { XM, Vex, EXx }, 0 },
779 1.1 christos },
780 1.1 christos /* PREFIX_EVEX_0F3818 */
781 1.1 christos {
782 1.1 christos { Bad_Opcode },
783 1.1 christos { Bad_Opcode },
784 1.1 christos { VEX_W_TABLE (EVEX_W_0F3818_P_2) },
785 1.1 christos },
786 1.1 christos /* PREFIX_EVEX_0F3819 */
787 1.1 christos {
788 1.1 christos { Bad_Opcode },
789 1.1 christos { Bad_Opcode },
790 1.1 christos { VEX_W_TABLE (EVEX_W_0F3819_P_2) },
791 1.1 christos },
792 1.1 christos /* PREFIX_EVEX_0F381A */
793 1.1 christos {
794 1.1 christos { Bad_Opcode },
795 1.1 christos { Bad_Opcode },
796 1.1 christos { VEX_W_TABLE (EVEX_W_0F381A_P_2) },
797 1.1 christos },
798 1.1 christos /* PREFIX_EVEX_0F381B */
799 1.1 christos {
800 1.1 christos { Bad_Opcode },
801 1.1 christos { Bad_Opcode },
802 1.1 christos { VEX_W_TABLE (EVEX_W_0F381B_P_2) },
803 1.1 christos },
804 1.1 christos /* PREFIX_EVEX_0F381C */
805 1.1 christos {
806 1.1 christos { Bad_Opcode },
807 1.1 christos { Bad_Opcode },
808 1.1 christos { "vpabsb", { XM, EXx }, 0 },
809 1.1 christos },
810 1.1 christos /* PREFIX_EVEX_0F381D */
811 1.1 christos {
812 1.1 christos { Bad_Opcode },
813 1.1 christos { Bad_Opcode },
814 1.1 christos { "vpabsw", { XM, EXx }, 0 },
815 1.1 christos },
816 1.1 christos /* PREFIX_EVEX_0F381E */
817 1.1 christos {
818 1.1 christos { Bad_Opcode },
819 1.1 christos { Bad_Opcode },
820 1.1 christos { VEX_W_TABLE (EVEX_W_0F381E_P_2) },
821 1.1 christos },
822 1.1 christos /* PREFIX_EVEX_0F381F */
823 1.1 christos {
824 1.1 christos { Bad_Opcode },
825 1.1 christos { Bad_Opcode },
826 1.1 christos { VEX_W_TABLE (EVEX_W_0F381F_P_2) },
827 1.1 christos },
828 1.1 christos /* PREFIX_EVEX_0F3820 */
829 1.1 christos {
830 1.1 christos { Bad_Opcode },
831 1.1 christos { VEX_W_TABLE (EVEX_W_0F3820_P_1) },
832 1.1 christos { "vpmovsxbw", { XM, EXxmmq }, 0 },
833 1.1 christos },
834 1.1 christos /* PREFIX_EVEX_0F3821 */
835 1.1 christos {
836 1.1 christos { Bad_Opcode },
837 1.1 christos { VEX_W_TABLE (EVEX_W_0F3821_P_1) },
838 1.1 christos { "vpmovsxbd", { XM, EXxmmqd }, 0 },
839 1.1 christos },
840 1.1 christos /* PREFIX_EVEX_0F3822 */
841 1.1 christos {
842 1.1 christos { Bad_Opcode },
843 1.1 christos { VEX_W_TABLE (EVEX_W_0F3822_P_1) },
844 1.1 christos { "vpmovsxbq", { XM, EXxmmdw }, 0 },
845 1.1 christos },
846 1.1 christos /* PREFIX_EVEX_0F3823 */
847 1.1 christos {
848 1.1 christos { Bad_Opcode },
849 1.1 christos { VEX_W_TABLE (EVEX_W_0F3823_P_1) },
850 1.1 christos { "vpmovsxwd", { XM, EXxmmq }, 0 },
851 1.1 christos },
852 1.1 christos /* PREFIX_EVEX_0F3824 */
853 1.1 christos {
854 1.1 christos { Bad_Opcode },
855 1.1 christos { VEX_W_TABLE (EVEX_W_0F3824_P_1) },
856 1.1 christos { "vpmovsxwq", { XM, EXxmmqd }, 0 },
857 1.1 christos },
858 1.1 christos /* PREFIX_EVEX_0F3825 */
859 1.1 christos {
860 1.1 christos { Bad_Opcode },
861 1.1 christos { VEX_W_TABLE (EVEX_W_0F3825_P_1) },
862 1.1 christos { VEX_W_TABLE (EVEX_W_0F3825_P_2) },
863 1.1 christos },
864 1.1 christos /* PREFIX_EVEX_0F3826 */
865 1.1 christos {
866 1.1 christos { Bad_Opcode },
867 1.1 christos { VEX_W_TABLE (EVEX_W_0F3826_P_1) },
868 1.1 christos { VEX_W_TABLE (EVEX_W_0F3826_P_2) },
869 1.1 christos },
870 1.1 christos /* PREFIX_EVEX_0F3827 */
871 1.1 christos {
872 1.1 christos { Bad_Opcode },
873 1.1 christos { "vptestnm%LW", { XMask, Vex, EXx }, 0 },
874 1.1 christos { "vptestm%LW", { XMask, Vex, EXx }, 0 },
875 1.1 christos },
876 1.1 christos /* PREFIX_EVEX_0F3828 */
877 1.1 christos {
878 1.1 christos { Bad_Opcode },
879 1.1 christos { VEX_W_TABLE (EVEX_W_0F3828_P_1) },
880 1.1 christos { VEX_W_TABLE (EVEX_W_0F3828_P_2) },
881 1.1 christos },
882 1.1 christos /* PREFIX_EVEX_0F3829 */
883 1.1 christos {
884 1.1 christos { Bad_Opcode },
885 1.1 christos { VEX_W_TABLE (EVEX_W_0F3829_P_1) },
886 1.1 christos { VEX_W_TABLE (EVEX_W_0F3829_P_2) },
887 1.1 christos },
888 1.1 christos /* PREFIX_EVEX_0F382A */
889 1.1 christos {
890 1.1 christos { Bad_Opcode },
891 1.1 christos { VEX_W_TABLE (EVEX_W_0F382A_P_1) },
892 1.1 christos { VEX_W_TABLE (EVEX_W_0F382A_P_2) },
893 1.1 christos },
894 1.1 christos /* PREFIX_EVEX_0F382B */
895 1.1 christos {
896 1.1 christos { Bad_Opcode },
897 1.1 christos { Bad_Opcode },
898 1.1 christos { VEX_W_TABLE (EVEX_W_0F382B_P_2) },
899 1.1 christos },
900 1.1 christos /* PREFIX_EVEX_0F382C */
901 1.1 christos {
902 1.1 christos { Bad_Opcode },
903 1.1 christos { Bad_Opcode },
904 1.1 christos { "vscalefp%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
905 1.1 christos },
906 1.1 christos /* PREFIX_EVEX_0F382D */
907 1.1 christos {
908 1.1 christos { Bad_Opcode },
909 1.1 christos { Bad_Opcode },
910 1.1 christos { "vscalefs%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
911 1.1 christos },
912 1.1 christos /* PREFIX_EVEX_0F3830 */
913 1.1 christos {
914 1.1 christos { Bad_Opcode },
915 1.1 christos { VEX_W_TABLE (EVEX_W_0F3830_P_1) },
916 1.1 christos { "vpmovzxbw", { XM, EXxmmq }, 0 },
917 1.1 christos },
918 1.1 christos /* PREFIX_EVEX_0F3831 */
919 1.1 christos {
920 1.1 christos { Bad_Opcode },
921 1.1 christos { VEX_W_TABLE (EVEX_W_0F3831_P_1) },
922 1.1 christos { "vpmovzxbd", { XM, EXxmmqd }, 0 },
923 1.1 christos },
924 1.1 christos /* PREFIX_EVEX_0F3832 */
925 1.1 christos {
926 1.1 christos { Bad_Opcode },
927 1.1 christos { VEX_W_TABLE (EVEX_W_0F3832_P_1) },
928 1.1 christos { "vpmovzxbq", { XM, EXxmmdw }, 0 },
929 1.1 christos },
930 1.1 christos /* PREFIX_EVEX_0F3833 */
931 1.1 christos {
932 1.1 christos { Bad_Opcode },
933 1.1 christos { VEX_W_TABLE (EVEX_W_0F3833_P_1) },
934 1.1 christos { "vpmovzxwd", { XM, EXxmmq }, 0 },
935 1.1 christos },
936 1.1 christos /* PREFIX_EVEX_0F3834 */
937 1.1 christos {
938 1.1 christos { Bad_Opcode },
939 1.1 christos { VEX_W_TABLE (EVEX_W_0F3834_P_1) },
940 1.1 christos { "vpmovzxwq", { XM, EXxmmqd }, 0 },
941 1.1 christos },
942 1.1 christos /* PREFIX_EVEX_0F3835 */
943 1.1 christos {
944 1.1 christos { Bad_Opcode },
945 1.1 christos { VEX_W_TABLE (EVEX_W_0F3835_P_1) },
946 1.1 christos { VEX_W_TABLE (EVEX_W_0F3835_P_2) },
947 1.1 christos },
948 1.1 christos /* PREFIX_EVEX_0F3836 */
949 1.1 christos {
950 1.1 christos { Bad_Opcode },
951 1.1 christos { Bad_Opcode },
952 1.1 christos { "vperm%LW", { XM, Vex, EXx }, 0 },
953 1.1 christos },
954 1.1 christos /* PREFIX_EVEX_0F3837 */
955 1.1 christos {
956 1.1 christos { Bad_Opcode },
957 1.1 christos { Bad_Opcode },
958 1.1 christos { VEX_W_TABLE (EVEX_W_0F3837_P_2) },
959 1.1 christos },
960 1.1 christos /* PREFIX_EVEX_0F3838 */
961 1.1 christos {
962 1.1 christos { Bad_Opcode },
963 1.1 christos { VEX_W_TABLE (EVEX_W_0F3838_P_1) },
964 1.1 christos { "vpminsb", { XM, Vex, EXx }, 0 },
965 1.1 christos },
966 1.1 christos /* PREFIX_EVEX_0F3839 */
967 1.1 christos {
968 1.1 christos { Bad_Opcode },
969 1.1 christos { VEX_W_TABLE (EVEX_W_0F3839_P_1) },
970 1.1 christos { "vpmins%LW", { XM, Vex, EXx }, 0 },
971 1.1 christos },
972 1.1 christos /* PREFIX_EVEX_0F383A */
973 1.1 christos {
974 1.1 christos { Bad_Opcode },
975 1.1 christos { VEX_W_TABLE (EVEX_W_0F383A_P_1) },
976 1.1 christos { "vpminuw", { XM, Vex, EXx }, 0 },
977 1.1 christos },
978 1.1 christos /* PREFIX_EVEX_0F383B */
979 1.1 christos {
980 1.1 christos { Bad_Opcode },
981 1.1 christos { Bad_Opcode },
982 1.1 christos { "vpminu%LW", { XM, Vex, EXx }, 0 },
983 1.1 christos },
984 1.1 christos /* PREFIX_EVEX_0F383C */
985 1.1 christos {
986 1.1 christos { Bad_Opcode },
987 1.1 christos { Bad_Opcode },
988 1.1 christos { "vpmaxsb", { XM, Vex, EXx }, 0 },
989 1.1 christos },
990 1.1 christos /* PREFIX_EVEX_0F383D */
991 1.1 christos {
992 1.1 christos { Bad_Opcode },
993 1.1 christos { Bad_Opcode },
994 1.1 christos { "vpmaxs%LW", { XM, Vex, EXx }, 0 },
995 1.1 christos },
996 1.1 christos /* PREFIX_EVEX_0F383E */
997 1.1 christos {
998 1.1 christos { Bad_Opcode },
999 1.1 christos { Bad_Opcode },
1000 1.1 christos { "vpmaxuw", { XM, Vex, EXx }, 0 },
1001 1.1 christos },
1002 1.1 christos /* PREFIX_EVEX_0F383F */
1003 1.1 christos {
1004 1.1 christos { Bad_Opcode },
1005 1.1 christos { Bad_Opcode },
1006 1.1 christos { "vpmaxu%LW", { XM, Vex, EXx }, 0 },
1007 1.1 christos },
1008 1.1 christos /* PREFIX_EVEX_0F3840 */
1009 1.1 christos {
1010 1.1 christos { Bad_Opcode },
1011 1.1 christos { Bad_Opcode },
1012 1.1 christos { VEX_W_TABLE (EVEX_W_0F3840_P_2) },
1013 1.1 christos },
1014 1.1 christos /* PREFIX_EVEX_0F3842 */
1015 1.1 christos {
1016 1.1 christos { Bad_Opcode },
1017 1.1 christos { Bad_Opcode },
1018 1.1 christos { "vgetexpp%XW", { XM, EXx, EXxEVexS }, 0 },
1019 1.1 christos },
1020 1.1 christos /* PREFIX_EVEX_0F3843 */
1021 1.1 christos {
1022 1.1 christos { Bad_Opcode },
1023 1.1 christos { Bad_Opcode },
1024 1.1 christos { "vgetexps%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexS }, 0 },
1025 1.1 christos },
1026 1.1 christos /* PREFIX_EVEX_0F3844 */
1027 1.1 christos {
1028 1.1 christos { Bad_Opcode },
1029 1.1 christos { Bad_Opcode },
1030 1.1 christos { "vplzcnt%LW", { XM, EXx }, 0 },
1031 1.1 christos },
1032 1.1 christos /* PREFIX_EVEX_0F3845 */
1033 1.1 christos {
1034 1.1 christos { Bad_Opcode },
1035 1.1 christos { Bad_Opcode },
1036 1.1 christos { "vpsrlv%LW", { XM, Vex, EXx }, 0 },
1037 1.1 christos },
1038 1.1 christos /* PREFIX_EVEX_0F3846 */
1039 1.1 christos {
1040 1.1 christos { Bad_Opcode },
1041 1.1 christos { Bad_Opcode },
1042 1.1 christos { "vpsrav%LW", { XM, Vex, EXx }, 0 },
1043 1.1 christos },
1044 1.1 christos /* PREFIX_EVEX_0F3847 */
1045 1.1 christos {
1046 1.1 christos { Bad_Opcode },
1047 1.1 christos { Bad_Opcode },
1048 1.1 christos { "vpsllv%LW", { XM, Vex, EXx }, 0 },
1049 1.1 christos },
1050 1.1 christos /* PREFIX_EVEX_0F384C */
1051 1.1 christos {
1052 1.1 christos { Bad_Opcode },
1053 1.1 christos { Bad_Opcode },
1054 1.1 christos { "vrcp14p%XW", { XM, EXx }, 0 },
1055 1.1 christos },
1056 1.1 christos /* PREFIX_EVEX_0F384D */
1057 1.1 christos {
1058 1.1 christos { Bad_Opcode },
1059 1.1 christos { Bad_Opcode },
1060 1.1 christos { "vrcp14s%XW", { XMScalar, VexScalar, EXxmm_mdq }, 0 },
1061 1.1 christos },
1062 1.1 christos /* PREFIX_EVEX_0F384E */
1063 1.1 christos {
1064 1.1 christos { Bad_Opcode },
1065 1.1 christos { Bad_Opcode },
1066 1.1 christos { "vrsqrt14p%XW", { XM, EXx }, 0 },
1067 1.1 christos },
1068 1.1 christos /* PREFIX_EVEX_0F384F */
1069 1.1 christos {
1070 1.1 christos { Bad_Opcode },
1071 1.1 christos { Bad_Opcode },
1072 1.1 christos { "vrsqrt14s%XW", { XMScalar, VexScalar, EXxmm_mdq }, 0 },
1073 1.1 christos },
1074 1.1 christos /* PREFIX_EVEX_0F3850 */
1075 1.1 christos {
1076 1.1 christos { Bad_Opcode },
1077 1.1 christos { Bad_Opcode },
1078 1.1 christos { "vpdpbusd", { XM, Vex, EXx }, 0 },
1079 1.1 christos },
1080 1.1 christos /* PREFIX_EVEX_0F3851 */
1081 1.1 christos {
1082 1.1 christos { Bad_Opcode },
1083 1.1 christos { Bad_Opcode },
1084 1.1 christos { "vpdpbusds", { XM, Vex, EXx }, 0 },
1085 1.1 christos },
1086 1.1 christos /* PREFIX_EVEX_0F3852 */
1087 1.1 christos {
1088 1.1 christos { Bad_Opcode },
1089 1.1 christos { VEX_W_TABLE (EVEX_W_0F3852_P_1) },
1090 1.1 christos { "vpdpwssd", { XM, Vex, EXx }, 0 },
1091 1.1 christos { "vp4dpwssd", { XM, Vex, EXxmm }, 0 },
1092 1.1 christos },
1093 1.1 christos /* PREFIX_EVEX_0F3853 */
1094 1.1 christos {
1095 1.1 christos { Bad_Opcode },
1096 1.1 christos { Bad_Opcode },
1097 1.1 christos { "vpdpwssds", { XM, Vex, EXx }, 0 },
1098 1.1 christos { "vp4dpwssds", { XM, Vex, EXxmm }, 0 },
1099 1.1 christos },
1100 1.1 christos /* PREFIX_EVEX_0F3854 */
1101 1.1 christos {
1102 1.1 christos { Bad_Opcode },
1103 1.1 christos { Bad_Opcode },
1104 1.1 christos { VEX_W_TABLE (EVEX_W_0F3854_P_2) },
1105 1.1 christos },
1106 1.1 christos /* PREFIX_EVEX_0F3855 */
1107 1.1 christos {
1108 1.1 christos { Bad_Opcode },
1109 1.1 christos { Bad_Opcode },
1110 1.1 christos { VEX_W_TABLE (EVEX_W_0F3855_P_2) },
1111 1.1 christos },
1112 1.1 christos /* PREFIX_EVEX_0F3858 */
1113 1.1 christos {
1114 1.1 christos { Bad_Opcode },
1115 1.1 christos { Bad_Opcode },
1116 1.1 christos { VEX_W_TABLE (EVEX_W_0F3858_P_2) },
1117 1.1 christos },
1118 1.1 christos /* PREFIX_EVEX_0F3859 */
1119 1.1 christos {
1120 1.1 christos { Bad_Opcode },
1121 1.1 christos { Bad_Opcode },
1122 1.1 christos { VEX_W_TABLE (EVEX_W_0F3859_P_2) },
1123 1.1 christos },
1124 1.1 christos /* PREFIX_EVEX_0F385A */
1125 1.1 christos {
1126 1.1 christos { Bad_Opcode },
1127 1.1 christos { Bad_Opcode },
1128 1.1 christos { VEX_W_TABLE (EVEX_W_0F385A_P_2) },
1129 1.1 christos },
1130 1.1 christos /* PREFIX_EVEX_0F385B */
1131 1.1 christos {
1132 1.1 christos { Bad_Opcode },
1133 1.1 christos { Bad_Opcode },
1134 1.1 christos { VEX_W_TABLE (EVEX_W_0F385B_P_2) },
1135 1.1 christos },
1136 1.1 christos /* PREFIX_EVEX_0F3862 */
1137 1.1 christos {
1138 1.1 christos { Bad_Opcode },
1139 1.1 christos { Bad_Opcode },
1140 1.1 christos { VEX_W_TABLE (EVEX_W_0F3862_P_2) },
1141 1.1 christos },
1142 1.1 christos /* PREFIX_EVEX_0F3863 */
1143 1.1 christos {
1144 1.1 christos { Bad_Opcode },
1145 1.1 christos { Bad_Opcode },
1146 1.1 christos { VEX_W_TABLE (EVEX_W_0F3863_P_2) },
1147 1.1 christos },
1148 1.1 christos /* PREFIX_EVEX_0F3864 */
1149 1.1 christos {
1150 1.1 christos { Bad_Opcode },
1151 1.1 christos { Bad_Opcode },
1152 1.1 christos { "vpblendm%LW", { XM, Vex, EXx }, 0 },
1153 1.1 christos },
1154 1.1 christos /* PREFIX_EVEX_0F3865 */
1155 1.1 christos {
1156 1.1 christos { Bad_Opcode },
1157 1.1 christos { Bad_Opcode },
1158 1.1 christos { "vblendmp%XW", { XM, Vex, EXx }, 0 },
1159 1.1 christos },
1160 1.1 christos /* PREFIX_EVEX_0F3866 */
1161 1.1 christos {
1162 1.1 christos { Bad_Opcode },
1163 1.1 christos { Bad_Opcode },
1164 1.1 christos { VEX_W_TABLE (EVEX_W_0F3866_P_2) },
1165 1.1 christos },
1166 1.1 christos /* PREFIX_EVEX_0F3868 */
1167 1.1 christos {
1168 1.1 christos { Bad_Opcode },
1169 1.1 christos { Bad_Opcode },
1170 1.1 christos { Bad_Opcode },
1171 1.1 christos { VEX_W_TABLE (EVEX_W_0F3868_P_3) },
1172 1.1 christos },
1173 1.1 christos /* PREFIX_EVEX_0F3870 */
1174 1.1 christos {
1175 1.1 christos { Bad_Opcode },
1176 1.1 christos { Bad_Opcode },
1177 1.1 christos { VEX_W_TABLE (EVEX_W_0F3870_P_2) },
1178 1.1 christos },
1179 1.1 christos /* PREFIX_EVEX_0F3871 */
1180 1.1 christos {
1181 1.1 christos { Bad_Opcode },
1182 1.1 christos { Bad_Opcode },
1183 1.1 christos { VEX_W_TABLE (EVEX_W_0F3871_P_2) },
1184 1.1 christos },
1185 1.1 christos /* PREFIX_EVEX_0F3872 */
1186 1.1 christos {
1187 1.1 christos { Bad_Opcode },
1188 1.1 christos { VEX_W_TABLE (EVEX_W_0F3872_P_1) },
1189 1.1 christos { VEX_W_TABLE (EVEX_W_0F3872_P_2) },
1190 1.1 christos { VEX_W_TABLE (EVEX_W_0F3872_P_3) },
1191 1.1 christos },
1192 1.1 christos /* PREFIX_EVEX_0F3873 */
1193 1.1 christos {
1194 1.1 christos { Bad_Opcode },
1195 1.1 christos { Bad_Opcode },
1196 1.1 christos { VEX_W_TABLE (EVEX_W_0F3873_P_2) },
1197 1.1 christos },
1198 1.1 christos /* PREFIX_EVEX_0F3875 */
1199 1.1 christos {
1200 1.1 christos { Bad_Opcode },
1201 1.1 christos { Bad_Opcode },
1202 1.1 christos { VEX_W_TABLE (EVEX_W_0F3875_P_2) },
1203 1.1 christos },
1204 1.1 christos /* PREFIX_EVEX_0F3876 */
1205 1.1 christos {
1206 1.1 christos { Bad_Opcode },
1207 1.1 christos { Bad_Opcode },
1208 1.1 christos { "vpermi2%LW", { XM, Vex, EXx }, 0 },
1209 1.1 christos },
1210 1.1 christos /* PREFIX_EVEX_0F3877 */
1211 1.1 christos {
1212 1.1 christos { Bad_Opcode },
1213 1.1 christos { Bad_Opcode },
1214 1.1 christos { "vpermi2p%XW", { XM, Vex, EXx }, 0 },
1215 1.1 christos },
1216 1.1 christos /* PREFIX_EVEX_0F3878 */
1217 1.1 christos {
1218 1.1 christos { Bad_Opcode },
1219 1.1 christos { Bad_Opcode },
1220 1.1 christos { VEX_W_TABLE (EVEX_W_0F3878_P_2) },
1221 1.1 christos },
1222 1.1 christos /* PREFIX_EVEX_0F3879 */
1223 1.1 christos {
1224 1.1 christos { Bad_Opcode },
1225 1.1 christos { Bad_Opcode },
1226 1.1 christos { VEX_W_TABLE (EVEX_W_0F3879_P_2) },
1227 1.1 christos },
1228 1.1 christos /* PREFIX_EVEX_0F387A */
1229 1.1 christos {
1230 1.1 christos { Bad_Opcode },
1231 1.1 christos { Bad_Opcode },
1232 1.1 christos { VEX_W_TABLE (EVEX_W_0F387A_P_2) },
1233 1.1 christos },
1234 1.1 christos /* PREFIX_EVEX_0F387B */
1235 1.1 christos {
1236 1.1 christos { Bad_Opcode },
1237 1.1 christos { Bad_Opcode },
1238 1.1 christos { VEX_W_TABLE (EVEX_W_0F387B_P_2) },
1239 1.1 christos },
1240 1.1 christos /* PREFIX_EVEX_0F387C */
1241 1.1 christos {
1242 1.1 christos { Bad_Opcode },
1243 1.1 christos { Bad_Opcode },
1244 1.1 christos { "vpbroadcastK", { XM, Rdq }, 0 },
1245 1.1 christos },
1246 1.1 christos /* PREFIX_EVEX_0F387D */
1247 1.1 christos {
1248 1.1 christos { Bad_Opcode },
1249 1.1 christos { Bad_Opcode },
1250 1.1 christos { VEX_W_TABLE (EVEX_W_0F387D_P_2) },
1251 1.1 christos },
1252 1.1 christos /* PREFIX_EVEX_0F387E */
1253 1.1 christos {
1254 1.1 christos { Bad_Opcode },
1255 1.1 christos { Bad_Opcode },
1256 1.1 christos { "vpermt2%LW", { XM, Vex, EXx }, 0 },
1257 1.1 christos },
1258 1.1 christos /* PREFIX_EVEX_0F387F */
1259 1.1 christos {
1260 1.1 christos { Bad_Opcode },
1261 1.1 christos { Bad_Opcode },
1262 1.1 christos { "vpermt2p%XW", { XM, Vex, EXx }, 0 },
1263 1.1 christos },
1264 1.1 christos /* PREFIX_EVEX_0F3883 */
1265 1.1 christos {
1266 1.1 christos { Bad_Opcode },
1267 1.1 christos { Bad_Opcode },
1268 1.1 christos { VEX_W_TABLE (EVEX_W_0F3883_P_2) },
1269 1.1 christos },
1270 1.1 christos /* PREFIX_EVEX_0F3888 */
1271 1.1 christos {
1272 1.1 christos { Bad_Opcode },
1273 1.1 christos { Bad_Opcode },
1274 1.1 christos { "vexpandp%XW", { XM, EXEvexXGscat }, 0 },
1275 1.1 christos },
1276 1.1 christos /* PREFIX_EVEX_0F3889 */
1277 1.1 christos {
1278 1.1 christos { Bad_Opcode },
1279 1.1 christos { Bad_Opcode },
1280 1.1 christos { "vpexpand%LW", { XM, EXEvexXGscat }, 0 },
1281 1.1 christos },
1282 1.1 christos /* PREFIX_EVEX_0F388A */
1283 1.1 christos {
1284 1.1 christos { Bad_Opcode },
1285 1.1 christos { Bad_Opcode },
1286 1.1 christos { "vcompressp%XW", { EXEvexXGscat, XM }, 0 },
1287 1.1 christos },
1288 1.1 christos /* PREFIX_EVEX_0F388B */
1289 1.1 christos {
1290 1.1 christos { Bad_Opcode },
1291 1.1 christos { Bad_Opcode },
1292 1.1 christos { "vpcompress%LW", { EXEvexXGscat, XM }, 0 },
1293 1.1 christos },
1294 1.1 christos /* PREFIX_EVEX_0F388D */
1295 1.1 christos {
1296 1.1 christos { Bad_Opcode },
1297 1.1 christos { Bad_Opcode },
1298 1.1 christos { VEX_W_TABLE (EVEX_W_0F388D_P_2) },
1299 1.1 christos },
1300 1.1 christos /* PREFIX_EVEX_0F388F */
1301 1.1 christos {
1302 1.1 christos { Bad_Opcode },
1303 1.1 christos { Bad_Opcode },
1304 1.1 christos { "vpshufbitqmb", { XMask, Vex, EXx }, 0 },
1305 1.1 christos },
1306 1.1 christos /* PREFIX_EVEX_0F3890 */
1307 1.1 christos {
1308 1.1 christos { Bad_Opcode },
1309 1.1 christos { Bad_Opcode },
1310 1.1 christos { "vpgatherd%LW", { XM, MVexVSIBDWpX }, 0 },
1311 1.1 christos },
1312 1.1 christos /* PREFIX_EVEX_0F3891 */
1313 1.1 christos {
1314 1.1 christos { Bad_Opcode },
1315 1.1 christos { Bad_Opcode },
1316 1.1 christos { VEX_W_TABLE (EVEX_W_0F3891_P_2) },
1317 1.1 christos },
1318 1.1 christos /* PREFIX_EVEX_0F3892 */
1319 1.1 christos {
1320 1.1 christos { Bad_Opcode },
1321 1.1 christos { Bad_Opcode },
1322 1.1 christos { "vgatherdp%XW", { XM, MVexVSIBDWpX}, 0 },
1323 1.1 christos },
1324 1.1 christos /* PREFIX_EVEX_0F3893 */
1325 1.1 christos {
1326 1.1 christos { Bad_Opcode },
1327 1.1 christos { Bad_Opcode },
1328 1.1 christos { VEX_W_TABLE (EVEX_W_0F3893_P_2) },
1329 1.1 christos },
1330 1.1 christos /* PREFIX_EVEX_0F3896 */
1331 1.1 christos {
1332 1.1 christos { Bad_Opcode },
1333 1.1 christos { Bad_Opcode },
1334 1.1 christos { "vfmaddsub132p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1335 1.1 christos },
1336 1.1 christos /* PREFIX_EVEX_0F3897 */
1337 1.1 christos {
1338 1.1 christos { Bad_Opcode },
1339 1.1 christos { Bad_Opcode },
1340 1.1 christos { "vfmsubadd132p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1341 1.1 christos },
1342 1.1 christos /* PREFIX_EVEX_0F3898 */
1343 1.1 christos {
1344 1.1 christos { Bad_Opcode },
1345 1.1 christos { Bad_Opcode },
1346 1.1 christos { "vfmadd132p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1347 1.1 christos },
1348 1.1 christos /* PREFIX_EVEX_0F3899 */
1349 1.1 christos {
1350 1.1 christos { Bad_Opcode },
1351 1.1 christos { Bad_Opcode },
1352 1.1 christos { "vfmadd132s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
1353 1.1 christos },
1354 1.1 christos /* PREFIX_EVEX_0F389A */
1355 1.1 christos {
1356 1.1 christos { Bad_Opcode },
1357 1.1 christos { Bad_Opcode },
1358 1.1 christos { "vfmsub132p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1359 1.1 christos { "v4fmaddps", { XM, Vex, Mxmm }, 0 },
1360 1.1 christos },
1361 1.1 christos /* PREFIX_EVEX_0F389B */
1362 1.1 christos {
1363 1.1 christos { Bad_Opcode },
1364 1.1 christos { Bad_Opcode },
1365 1.1 christos { "vfmsub132s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
1366 1.1 christos { "v4fmaddss", { XMScalar, VexScalar, Mxmm }, 0 },
1367 1.1 christos },
1368 1.1 christos /* PREFIX_EVEX_0F389C */
1369 1.1 christos {
1370 1.1 christos { Bad_Opcode },
1371 1.1 christos { Bad_Opcode },
1372 1.1 christos { "vfnmadd132p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1373 1.1 christos },
1374 1.1 christos /* PREFIX_EVEX_0F389D */
1375 1.1 christos {
1376 1.1 christos { Bad_Opcode },
1377 1.1 christos { Bad_Opcode },
1378 1.1 christos { "vfnmadd132s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
1379 1.1 christos },
1380 1.1 christos /* PREFIX_EVEX_0F389E */
1381 1.1 christos {
1382 1.1 christos { Bad_Opcode },
1383 1.1 christos { Bad_Opcode },
1384 1.1 christos { "vfnmsub132p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1385 1.1 christos },
1386 1.1 christos /* PREFIX_EVEX_0F389F */
1387 1.1 christos {
1388 1.1 christos { Bad_Opcode },
1389 1.1 christos { Bad_Opcode },
1390 1.1 christos { "vfnmsub132s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
1391 1.1 christos },
1392 1.1 christos /* PREFIX_EVEX_0F38A0 */
1393 1.1 christos {
1394 1.1 christos { Bad_Opcode },
1395 1.1 christos { Bad_Opcode },
1396 1.1 christos { "vpscatterd%LW", { MVexVSIBDWpX, XM }, 0 },
1397 1.1 christos },
1398 1.1 christos /* PREFIX_EVEX_0F38A1 */
1399 1.1 christos {
1400 1.1 christos { Bad_Opcode },
1401 1.1 christos { Bad_Opcode },
1402 1.1 christos { VEX_W_TABLE (EVEX_W_0F38A1_P_2) },
1403 1.1 christos },
1404 1.1 christos /* PREFIX_EVEX_0F38A2 */
1405 1.1 christos {
1406 1.1 christos { Bad_Opcode },
1407 1.1 christos { Bad_Opcode },
1408 1.1 christos { "vscatterdp%XW", { MVexVSIBDWpX, XM }, 0 },
1409 1.1 christos },
1410 1.1 christos /* PREFIX_EVEX_0F38A3 */
1411 1.1 christos {
1412 1.1 christos { Bad_Opcode },
1413 1.1 christos { Bad_Opcode },
1414 1.1 christos { VEX_W_TABLE (EVEX_W_0F38A3_P_2) },
1415 1.1 christos },
1416 1.1 christos /* PREFIX_EVEX_0F38A6 */
1417 1.1 christos {
1418 1.1 christos { Bad_Opcode },
1419 1.1 christos { Bad_Opcode },
1420 1.1 christos { "vfmaddsub213p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1421 1.1 christos },
1422 1.1 christos /* PREFIX_EVEX_0F38A7 */
1423 1.1 christos {
1424 1.1 christos { Bad_Opcode },
1425 1.1 christos { Bad_Opcode },
1426 1.1 christos { "vfmsubadd213p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1427 1.1 christos },
1428 1.1 christos /* PREFIX_EVEX_0F38A8 */
1429 1.1 christos {
1430 1.1 christos { Bad_Opcode },
1431 1.1 christos { Bad_Opcode },
1432 1.1 christos { "vfmadd213p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1433 1.1 christos },
1434 1.1 christos /* PREFIX_EVEX_0F38A9 */
1435 1.1 christos {
1436 1.1 christos { Bad_Opcode },
1437 1.1 christos { Bad_Opcode },
1438 1.1 christos { "vfmadd213s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
1439 1.1 christos },
1440 1.1 christos /* PREFIX_EVEX_0F38AA */
1441 1.1 christos {
1442 1.1 christos { Bad_Opcode },
1443 1.1 christos { Bad_Opcode },
1444 1.1 christos { "vfmsub213p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1445 1.1 christos { "v4fnmaddps", { XM, Vex, Mxmm }, 0 },
1446 1.1 christos },
1447 1.1 christos /* PREFIX_EVEX_0F38AB */
1448 1.1 christos {
1449 1.1 christos { Bad_Opcode },
1450 1.1 christos { Bad_Opcode },
1451 1.1 christos { "vfmsub213s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
1452 1.1 christos { "v4fnmaddss", { XMScalar, VexScalar, Mxmm }, 0 },
1453 1.1 christos },
1454 1.1 christos /* PREFIX_EVEX_0F38AC */
1455 1.1 christos {
1456 1.1 christos { Bad_Opcode },
1457 1.1 christos { Bad_Opcode },
1458 1.1 christos { "vfnmadd213p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1459 1.1 christos },
1460 1.1 christos /* PREFIX_EVEX_0F38AD */
1461 1.1 christos {
1462 1.1 christos { Bad_Opcode },
1463 1.1 christos { Bad_Opcode },
1464 1.1 christos { "vfnmadd213s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
1465 1.1 christos },
1466 1.1 christos /* PREFIX_EVEX_0F38AE */
1467 1.1 christos {
1468 1.1 christos { Bad_Opcode },
1469 1.1 christos { Bad_Opcode },
1470 1.1 christos { "vfnmsub213p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1471 1.1 christos },
1472 1.1 christos /* PREFIX_EVEX_0F38AF */
1473 1.1 christos {
1474 1.1 christos { Bad_Opcode },
1475 1.1 christos { Bad_Opcode },
1476 1.1 christos { "vfnmsub213s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
1477 1.1 christos },
1478 1.1 christos /* PREFIX_EVEX_0F38B4 */
1479 1.1 christos {
1480 1.1 christos { Bad_Opcode },
1481 1.1 christos { Bad_Opcode },
1482 1.1 christos { "vpmadd52luq", { XM, Vex, EXx }, 0 },
1483 1.1 christos },
1484 1.1 christos /* PREFIX_EVEX_0F38B5 */
1485 1.1 christos {
1486 1.1 christos { Bad_Opcode },
1487 1.1 christos { Bad_Opcode },
1488 1.1 christos { "vpmadd52huq", { XM, Vex, EXx }, 0 },
1489 1.1 christos },
1490 1.1 christos /* PREFIX_EVEX_0F38B6 */
1491 1.1 christos {
1492 1.1 christos { Bad_Opcode },
1493 1.1 christos { Bad_Opcode },
1494 1.1 christos { "vfmaddsub231p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1495 1.1 christos },
1496 1.1 christos /* PREFIX_EVEX_0F38B7 */
1497 1.1 christos {
1498 1.1 christos { Bad_Opcode },
1499 1.1 christos { Bad_Opcode },
1500 1.1 christos { "vfmsubadd231p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1501 1.1 christos },
1502 1.1 christos /* PREFIX_EVEX_0F38B8 */
1503 1.1 christos {
1504 1.1 christos { Bad_Opcode },
1505 1.1 christos { Bad_Opcode },
1506 1.1 christos { "vfmadd231p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1507 1.1 christos },
1508 1.1 christos /* PREFIX_EVEX_0F38B9 */
1509 1.1 christos {
1510 1.1 christos { Bad_Opcode },
1511 1.1 christos { Bad_Opcode },
1512 1.1 christos { "vfmadd231s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
1513 1.1 christos },
1514 1.1 christos /* PREFIX_EVEX_0F38BA */
1515 1.1 christos {
1516 1.1 christos { Bad_Opcode },
1517 1.1 christos { Bad_Opcode },
1518 1.1 christos { "vfmsub231p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1519 1.1 christos },
1520 1.1 christos /* PREFIX_EVEX_0F38BB */
1521 1.1 christos {
1522 1.1 christos { Bad_Opcode },
1523 1.1 christos { Bad_Opcode },
1524 1.1 christos { "vfmsub231s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
1525 1.1 christos },
1526 1.1 christos /* PREFIX_EVEX_0F38BC */
1527 1.1 christos {
1528 1.1 christos { Bad_Opcode },
1529 1.1 christos { Bad_Opcode },
1530 1.1 christos { "vfnmadd231p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1531 1.1 christos },
1532 1.1 christos /* PREFIX_EVEX_0F38BD */
1533 1.1 christos {
1534 1.1 christos { Bad_Opcode },
1535 1.1 christos { Bad_Opcode },
1536 1.1 christos { "vfnmadd231s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
1537 1.1 christos },
1538 1.1 christos /* PREFIX_EVEX_0F38BE */
1539 1.1 christos {
1540 1.1 christos { Bad_Opcode },
1541 1.1 christos { Bad_Opcode },
1542 1.1 christos { "vfnmsub231p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
1543 1.1 christos },
1544 1.1 christos /* PREFIX_EVEX_0F38BF */
1545 1.1 christos {
1546 1.1 christos { Bad_Opcode },
1547 1.1 christos { Bad_Opcode },
1548 1.1 christos { "vfnmsub231s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexR }, 0 },
1549 1.1 christos },
1550 1.1 christos /* PREFIX_EVEX_0F38C4 */
1551 1.1 christos {
1552 1.1 christos { Bad_Opcode },
1553 1.1 christos { Bad_Opcode },
1554 1.1 christos { "vpconflict%LW", { XM, EXx }, 0 },
1555 1.1 christos },
1556 1.1 christos /* PREFIX_EVEX_0F38C6_REG_1 */
1557 1.1 christos {
1558 1.1 christos { Bad_Opcode },
1559 1.1 christos { Bad_Opcode },
1560 1.1 christos { EVEX_LEN_TABLE (EVEX_LEN_0F38C6_REG_1_PREFIX_2) },
1561 1.1 christos },
1562 1.1 christos /* PREFIX_EVEX_0F38C6_REG_2 */
1563 1.1 christos {
1564 1.1 christos { Bad_Opcode },
1565 1.1 christos { Bad_Opcode },
1566 1.1 christos { EVEX_LEN_TABLE (EVEX_LEN_0F38C6_REG_2_PREFIX_2) },
1567 1.1 christos },
1568 1.1 christos /* PREFIX_EVEX_0F38C6_REG_5 */
1569 1.1 christos {
1570 1.1 christos { Bad_Opcode },
1571 1.1 christos { Bad_Opcode },
1572 1.1 christos { EVEX_LEN_TABLE (EVEX_LEN_0F38C6_REG_5_PREFIX_2) },
1573 1.1 christos },
1574 1.1 christos /* PREFIX_EVEX_0F38C6_REG_6 */
1575 1.1 christos {
1576 1.1 christos { Bad_Opcode },
1577 1.1 christos { Bad_Opcode },
1578 1.1 christos { EVEX_LEN_TABLE (EVEX_LEN_0F38C6_REG_6_PREFIX_2) },
1579 1.1 christos },
1580 1.1 christos /* PREFIX_EVEX_0F38C7_REG_1 */
1581 1.1 christos {
1582 1.1 christos { Bad_Opcode },
1583 1.1 christos { Bad_Opcode },
1584 1.1 christos { VEX_W_TABLE (EVEX_W_0F38C7_R_1_P_2) },
1585 1.1 christos },
1586 1.1 christos /* PREFIX_EVEX_0F38C7_REG_2 */
1587 1.1 christos {
1588 1.1 christos { Bad_Opcode },
1589 1.1 christos { Bad_Opcode },
1590 1.1 christos { VEX_W_TABLE (EVEX_W_0F38C7_R_2_P_2) },
1591 1.1 christos },
1592 1.1 christos /* PREFIX_EVEX_0F38C7_REG_5 */
1593 1.1 christos {
1594 1.1 christos { Bad_Opcode },
1595 1.1 christos { Bad_Opcode },
1596 1.1 christos { VEX_W_TABLE (EVEX_W_0F38C7_R_5_P_2) },
1597 1.1 christos },
1598 1.1 christos /* PREFIX_EVEX_0F38C7_REG_6 */
1599 1.1 christos {
1600 1.1 christos { Bad_Opcode },
1601 1.1 christos { Bad_Opcode },
1602 1.1 christos { VEX_W_TABLE (EVEX_W_0F38C7_R_6_P_2) },
1603 1.1 christos },
1604 1.1 christos /* PREFIX_EVEX_0F38C8 */
1605 1.1 christos {
1606 1.1 christos { Bad_Opcode },
1607 1.1 christos { Bad_Opcode },
1608 1.1 christos { "vexp2p%XW", { XM, EXx, EXxEVexS }, 0 },
1609 1.1 christos },
1610 1.1 christos /* PREFIX_EVEX_0F38CA */
1611 1.1 christos {
1612 1.1 christos { Bad_Opcode },
1613 1.1 christos { Bad_Opcode },
1614 1.1 christos { "vrcp28p%XW", { XM, EXx, EXxEVexS }, 0 },
1615 1.1 christos },
1616 1.1 christos /* PREFIX_EVEX_0F38CB */
1617 1.1 christos {
1618 1.1 christos { Bad_Opcode },
1619 1.1 christos { Bad_Opcode },
1620 1.1 christos { "vrcp28s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexS }, 0 },
1621 1.1 christos },
1622 1.1 christos /* PREFIX_EVEX_0F38CC */
1623 1.1 christos {
1624 1.1 christos { Bad_Opcode },
1625 1.1 christos { Bad_Opcode },
1626 1.1 christos { "vrsqrt28p%XW", { XM, EXx, EXxEVexS }, 0 },
1627 1.1 christos },
1628 1.1 christos /* PREFIX_EVEX_0F38CD */
1629 1.1 christos {
1630 1.1 christos { Bad_Opcode },
1631 1.1 christos { Bad_Opcode },
1632 1.1 christos { "vrsqrt28s%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexS }, 0 },
1633 1.1 christos },
1634 1.1 christos /* PREFIX_EVEX_0F38CF */
1635 1.1 christos {
1636 1.1 christos { Bad_Opcode },
1637 1.1 christos { Bad_Opcode },
1638 1.1 christos { "vgf2p8mulb", { XM, Vex, EXx }, 0 },
1639 1.1 christos },
1640 1.1 christos /* PREFIX_EVEX_0F38DC */
1641 1.1 christos {
1642 1.1 christos { Bad_Opcode },
1643 1.1 christos { Bad_Opcode },
1644 1.1 christos { "vaesenc", { XM, Vex, EXx }, 0 },
1645 1.1 christos },
1646 1.1 christos /* PREFIX_EVEX_0F38DD */
1647 1.1 christos {
1648 1.1 christos { Bad_Opcode },
1649 1.1 christos { Bad_Opcode },
1650 1.1 christos { "vaesenclast", { XM, Vex, EXx }, 0 },
1651 1.1 christos },
1652 1.1 christos /* PREFIX_EVEX_0F38DE */
1653 1.1 christos {
1654 1.1 christos { Bad_Opcode },
1655 1.1 christos { Bad_Opcode },
1656 1.1 christos { "vaesdec", { XM, Vex, EXx }, 0 },
1657 1.1 christos },
1658 1.1 christos /* PREFIX_EVEX_0F38DF */
1659 1.1 christos {
1660 1.1 christos { Bad_Opcode },
1661 1.1 christos { Bad_Opcode },
1662 1.1 christos { "vaesdeclast", { XM, Vex, EXx }, 0 },
1663 1.1 christos },
1664 1.1 christos /* PREFIX_EVEX_0F3A00 */
1665 1.1 christos {
1666 1.1 christos { Bad_Opcode },
1667 1.1 christos { Bad_Opcode },
1668 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A00_P_2) },
1669 1.1 christos },
1670 1.1 christos /* PREFIX_EVEX_0F3A01 */
1671 1.1 christos {
1672 1.1 christos { Bad_Opcode },
1673 1.1 christos { Bad_Opcode },
1674 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A01_P_2) },
1675 1.1 christos },
1676 1.1 christos /* PREFIX_EVEX_0F3A03 */
1677 1.1 christos {
1678 1.1 christos { Bad_Opcode },
1679 1.1 christos { Bad_Opcode },
1680 1.1 christos { "valign%LW", { XM, Vex, EXx, Ib }, 0 },
1681 1.1 christos },
1682 1.1 christos /* PREFIX_EVEX_0F3A04 */
1683 1.1 christos {
1684 1.1 christos { Bad_Opcode },
1685 1.1 christos { Bad_Opcode },
1686 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A04_P_2) },
1687 1.1 christos },
1688 1.1 christos /* PREFIX_EVEX_0F3A05 */
1689 1.1 christos {
1690 1.1 christos { Bad_Opcode },
1691 1.1 christos { Bad_Opcode },
1692 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A05_P_2) },
1693 1.1 christos },
1694 1.1 christos /* PREFIX_EVEX_0F3A08 */
1695 1.1 christos {
1696 1.1 christos { Bad_Opcode },
1697 1.1 christos { Bad_Opcode },
1698 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A08_P_2) },
1699 1.1 christos },
1700 1.1 christos /* PREFIX_EVEX_0F3A09 */
1701 1.1 christos {
1702 1.1 christos { Bad_Opcode },
1703 1.1 christos { Bad_Opcode },
1704 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A09_P_2) },
1705 1.1 christos },
1706 1.1 christos /* PREFIX_EVEX_0F3A0A */
1707 1.1 christos {
1708 1.1 christos { Bad_Opcode },
1709 1.1 christos { Bad_Opcode },
1710 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A0A_P_2) },
1711 1.1 christos },
1712 1.1 christos /* PREFIX_EVEX_0F3A0B */
1713 1.1 christos {
1714 1.1 christos { Bad_Opcode },
1715 1.1 christos { Bad_Opcode },
1716 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A0B_P_2) },
1717 1.1 christos },
1718 1.1 christos /* PREFIX_EVEX_0F3A0F */
1719 1.1 christos {
1720 1.1 christos { Bad_Opcode },
1721 1.1 christos { Bad_Opcode },
1722 1.1 christos { "vpalignr", { XM, Vex, EXx, Ib }, 0 },
1723 1.1 christos },
1724 1.1 christos /* PREFIX_EVEX_0F3A14 */
1725 1.1 christos {
1726 1.1 christos { Bad_Opcode },
1727 1.1 christos { Bad_Opcode },
1728 1.1 christos { "vpextrb", { Edqb, XM, Ib }, 0 },
1729 1.1 christos },
1730 1.1 christos /* PREFIX_EVEX_0F3A15 */
1731 1.1 christos {
1732 1.1 christos { Bad_Opcode },
1733 1.1 christos { Bad_Opcode },
1734 1.1 christos { "vpextrw", { Edqw, XM, Ib }, 0 },
1735 1.1 christos },
1736 1.1 christos /* PREFIX_EVEX_0F3A16 */
1737 1.1 christos {
1738 1.1 christos { Bad_Opcode },
1739 1.1 christos { Bad_Opcode },
1740 1.1 christos { "vpextrK", { Edq, XM, Ib }, 0 },
1741 1.1 christos },
1742 1.1 christos /* PREFIX_EVEX_0F3A17 */
1743 1.1 christos {
1744 1.1 christos { Bad_Opcode },
1745 1.1 christos { Bad_Opcode },
1746 1.1 christos { "vextractps", { Edqd, XMM, Ib }, 0 },
1747 1.1 christos },
1748 1.1 christos /* PREFIX_EVEX_0F3A18 */
1749 1.1 christos {
1750 1.1 christos { Bad_Opcode },
1751 1.1 christos { Bad_Opcode },
1752 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A18_P_2) },
1753 1.1 christos },
1754 1.1 christos /* PREFIX_EVEX_0F3A19 */
1755 1.1 christos {
1756 1.1 christos { Bad_Opcode },
1757 1.1 christos { Bad_Opcode },
1758 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A19_P_2) },
1759 1.1 christos },
1760 1.1 christos /* PREFIX_EVEX_0F3A1A */
1761 1.1 christos {
1762 1.1 christos { Bad_Opcode },
1763 1.1 christos { Bad_Opcode },
1764 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A1A_P_2) },
1765 1.1 christos },
1766 1.1 christos /* PREFIX_EVEX_0F3A1B */
1767 1.1 christos {
1768 1.1 christos { Bad_Opcode },
1769 1.1 christos { Bad_Opcode },
1770 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A1B_P_2) },
1771 1.1 christos },
1772 1.1 christos /* PREFIX_EVEX_0F3A1D */
1773 1.1 christos {
1774 1.1 christos { Bad_Opcode },
1775 1.1 christos { Bad_Opcode },
1776 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A1D_P_2) },
1777 1.1 christos },
1778 1.1 christos /* PREFIX_EVEX_0F3A1E */
1779 1.1 christos {
1780 1.1 christos { Bad_Opcode },
1781 1.1 christos { Bad_Opcode },
1782 1.1 christos { "vpcmpu%LW", { XMask, Vex, EXx, VPCMP }, 0 },
1783 1.1 christos },
1784 1.1 christos /* PREFIX_EVEX_0F3A1F */
1785 1.1 christos {
1786 1.1 christos { Bad_Opcode },
1787 1.1 christos { Bad_Opcode },
1788 1.1 christos { "vpcmp%LW", { XMask, Vex, EXx, VPCMP }, 0 },
1789 1.1 christos },
1790 1.1 christos /* PREFIX_EVEX_0F3A20 */
1791 1.1 christos {
1792 1.1 christos { Bad_Opcode },
1793 1.1 christos { Bad_Opcode },
1794 1.1 christos { "vpinsrb", { XM, Vex128, Edb, Ib }, 0 },
1795 1.1 christos },
1796 1.1 christos /* PREFIX_EVEX_0F3A21 */
1797 1.1 christos {
1798 1.1 christos { Bad_Opcode },
1799 1.1 christos { Bad_Opcode },
1800 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A21_P_2) },
1801 1.1 christos },
1802 1.1 christos /* PREFIX_EVEX_0F3A22 */
1803 1.1 christos {
1804 1.1 christos { Bad_Opcode },
1805 1.1 christos { Bad_Opcode },
1806 1.1 christos { "vpinsrK", { XM, Vex128, Edq, Ib }, 0 },
1807 1.1 christos },
1808 1.1 christos /* PREFIX_EVEX_0F3A23 */
1809 1.1 christos {
1810 1.1 christos { Bad_Opcode },
1811 1.1 christos { Bad_Opcode },
1812 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A23_P_2) },
1813 1.1 christos },
1814 1.1 christos /* PREFIX_EVEX_0F3A25 */
1815 1.1 christos {
1816 1.1 christos { Bad_Opcode },
1817 1.1 christos { Bad_Opcode },
1818 1.1 christos { "vpternlog%LW", { XM, Vex, EXx, Ib }, 0 },
1819 1.1 christos },
1820 1.1 christos /* PREFIX_EVEX_0F3A26 */
1821 1.1 christos {
1822 1.1 christos { Bad_Opcode },
1823 1.1 christos { Bad_Opcode },
1824 1.1 christos { "vgetmantp%XW", { XM, EXx, EXxEVexS, Ib }, 0 },
1825 1.1 christos },
1826 1.1 christos /* PREFIX_EVEX_0F3A27 */
1827 1.1 christos {
1828 1.1 christos { Bad_Opcode },
1829 1.1 christos { Bad_Opcode },
1830 1.1 christos { "vgetmants%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexS, Ib }, 0 },
1831 1.1 christos },
1832 1.1 christos /* PREFIX_EVEX_0F3A38 */
1833 1.1 christos {
1834 1.1 christos { Bad_Opcode },
1835 1.1 christos { Bad_Opcode },
1836 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A38_P_2) },
1837 1.1 christos },
1838 1.1 christos /* PREFIX_EVEX_0F3A39 */
1839 1.1 christos {
1840 1.1 christos { Bad_Opcode },
1841 1.1 christos { Bad_Opcode },
1842 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A39_P_2) },
1843 1.1 christos },
1844 1.1 christos /* PREFIX_EVEX_0F3A3A */
1845 1.1 christos {
1846 1.1 christos { Bad_Opcode },
1847 1.1 christos { Bad_Opcode },
1848 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A3A_P_2) },
1849 1.1 christos },
1850 1.1 christos /* PREFIX_EVEX_0F3A3B */
1851 1.1 christos {
1852 1.1 christos { Bad_Opcode },
1853 1.1 christos { Bad_Opcode },
1854 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A3B_P_2) },
1855 1.1 christos },
1856 1.1 christos /* PREFIX_EVEX_0F3A3E */
1857 1.1 christos {
1858 1.1 christos { Bad_Opcode },
1859 1.1 christos { Bad_Opcode },
1860 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A3E_P_2) },
1861 1.1 christos },
1862 1.1 christos /* PREFIX_EVEX_0F3A3F */
1863 1.1 christos {
1864 1.1 christos { Bad_Opcode },
1865 1.1 christos { Bad_Opcode },
1866 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A3F_P_2) },
1867 1.1 christos },
1868 1.1 christos /* PREFIX_EVEX_0F3A42 */
1869 1.1 christos {
1870 1.1 christos { Bad_Opcode },
1871 1.1 christos { Bad_Opcode },
1872 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A42_P_2) },
1873 1.1 christos },
1874 1.1 christos /* PREFIX_EVEX_0F3A43 */
1875 1.1 christos {
1876 1.1 christos { Bad_Opcode },
1877 1.1 christos { Bad_Opcode },
1878 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A43_P_2) },
1879 1.1 christos },
1880 1.1 christos /* PREFIX_EVEX_0F3A44 */
1881 1.1 christos {
1882 1.1 christos { Bad_Opcode },
1883 1.1 christos { Bad_Opcode },
1884 1.1 christos { "vpclmulqdq", { XM, Vex, EXx, PCLMUL }, 0 },
1885 1.1 christos },
1886 1.1 christos /* PREFIX_EVEX_0F3A50 */
1887 1.1 christos {
1888 1.1 christos { Bad_Opcode },
1889 1.1 christos { Bad_Opcode },
1890 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A50_P_2) },
1891 1.1 christos },
1892 1.1 christos /* PREFIX_EVEX_0F3A51 */
1893 1.1 christos {
1894 1.1 christos { Bad_Opcode },
1895 1.1 christos { Bad_Opcode },
1896 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A51_P_2) },
1897 1.1 christos },
1898 1.1 christos /* PREFIX_EVEX_0F3A54 */
1899 1.1 christos {
1900 1.1 christos { Bad_Opcode },
1901 1.1 christos { Bad_Opcode },
1902 1.1 christos { "vfixupimmp%XW", { XM, Vex, EXx, EXxEVexS, Ib }, 0 },
1903 1.1 christos },
1904 1.1 christos /* PREFIX_EVEX_0F3A55 */
1905 1.1 christos {
1906 1.1 christos { Bad_Opcode },
1907 1.1 christos { Bad_Opcode },
1908 1.1 christos { "vfixupimms%XW", { XMScalar, VexScalar, EXxmm_mdq, EXxEVexS, Ib }, 0 },
1909 1.1 christos },
1910 1.1 christos /* PREFIX_EVEX_0F3A56 */
1911 1.1 christos {
1912 1.1 christos { Bad_Opcode },
1913 1.1 christos { Bad_Opcode },
1914 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A56_P_2) },
1915 1.1 christos },
1916 1.1 christos /* PREFIX_EVEX_0F3A57 */
1917 1.1 christos {
1918 1.1 christos { Bad_Opcode },
1919 1.1 christos { Bad_Opcode },
1920 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A57_P_2) },
1921 1.1 christos },
1922 1.1 christos /* PREFIX_EVEX_0F3A66 */
1923 1.1 christos {
1924 1.1 christos { Bad_Opcode },
1925 1.1 christos { Bad_Opcode },
1926 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A66_P_2) },
1927 1.1 christos },
1928 1.1 christos /* PREFIX_EVEX_0F3A67 */
1929 1.1 christos {
1930 1.1 christos { Bad_Opcode },
1931 1.1 christos { Bad_Opcode },
1932 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A67_P_2) },
1933 1.1 christos },
1934 1.1 christos /* PREFIX_EVEX_0F3A70 */
1935 1.1 christos {
1936 1.1 christos { Bad_Opcode },
1937 1.1 christos { Bad_Opcode },
1938 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A70_P_2) },
1939 1.1 christos },
1940 1.1 christos /* PREFIX_EVEX_0F3A71 */
1941 1.1 christos {
1942 1.1 christos { Bad_Opcode },
1943 1.1 christos { Bad_Opcode },
1944 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A71_P_2) },
1945 1.1 christos },
1946 1.1 christos /* PREFIX_EVEX_0F3A72 */
1947 1.1 christos {
1948 1.1 christos { Bad_Opcode },
1949 1.1 christos { Bad_Opcode },
1950 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A72_P_2) },
1951 1.1 christos },
1952 1.1 christos /* PREFIX_EVEX_0F3A73 */
1953 1.1 christos {
1954 1.1 christos { Bad_Opcode },
1955 1.1 christos { Bad_Opcode },
1956 1.1 christos { VEX_W_TABLE (EVEX_W_0F3A73_P_2) },
1957 1.1 christos },
1958 1.1 christos /* PREFIX_EVEX_0F3ACE */
1959 1.1 christos {
1960 1.1 christos { Bad_Opcode },
1961 1.1 christos { Bad_Opcode },
1962 1.1 christos { VEX_W_TABLE (EVEX_W_0F3ACE_P_2) },
1963 1.1 christos },
1964 1.1 christos /* PREFIX_EVEX_0F3ACF */
1965 1.1 christos {
1966 1.1 christos { Bad_Opcode },
1967 1.1 christos { Bad_Opcode },
1968 1.1 christos { VEX_W_TABLE (EVEX_W_0F3ACF_P_2) },
1969 1.1 christos },
1970