i386-dis-evex-reg.h revision 1.1.1.1 1 1.1 christos /* REG_EVEX_0F71 */
2 1.1 christos {
3 1.1 christos { Bad_Opcode },
4 1.1 christos { Bad_Opcode },
5 1.1 christos { "vpsrlw", { Vex, EXx, Ib }, PREFIX_DATA },
6 1.1 christos { Bad_Opcode },
7 1.1 christos { "vpsraw", { Vex, EXx, Ib }, PREFIX_DATA },
8 1.1 christos { Bad_Opcode },
9 1.1 christos { "vpsllw", { Vex, EXx, Ib }, PREFIX_DATA },
10 1.1 christos },
11 1.1 christos /* REG_EVEX_0F72 */
12 1.1 christos {
13 1.1 christos { "vpror%DQ", { Vex, EXx, Ib }, PREFIX_DATA },
14 1.1 christos { "vprol%DQ", { Vex, EXx, Ib }, PREFIX_DATA },
15 1.1 christos { VEX_W_TABLE (EVEX_W_0F72_R_2) },
16 1.1 christos { Bad_Opcode },
17 1.1 christos { "vpsra%DQ", { Vex, EXx, Ib }, PREFIX_DATA },
18 1.1 christos { Bad_Opcode },
19 1.1 christos { VEX_W_TABLE (EVEX_W_0F72_R_6) },
20 1.1 christos },
21 1.1 christos /* REG_EVEX_0F73 */
22 1.1 christos {
23 1.1 christos { Bad_Opcode },
24 1.1 christos { Bad_Opcode },
25 1.1 christos { VEX_W_TABLE (EVEX_W_0F73_R_2) },
26 1.1 christos { "vpsrldq", { Vex, EXx, Ib }, PREFIX_DATA },
27 1.1 christos { Bad_Opcode },
28 1.1 christos { Bad_Opcode },
29 1.1 christos { VEX_W_TABLE (EVEX_W_0F73_R_6) },
30 1.1 christos { "vpslldq", { Vex, EXx, Ib }, PREFIX_DATA },
31 1.1 christos },
32 1.1 christos /* REG_EVEX_0F38C6 */
33 1.1 christos {
34 1.1 christos { Bad_Opcode },
35 1.1 christos { MOD_TABLE (MOD_EVEX_0F38C6_REG_1) },
36 1.1 christos { MOD_TABLE (MOD_EVEX_0F38C6_REG_2) },
37 1.1 christos { Bad_Opcode },
38 1.1 christos { Bad_Opcode },
39 1.1 christos { MOD_TABLE (MOD_EVEX_0F38C6_REG_5) },
40 1.1 christos { MOD_TABLE (MOD_EVEX_0F38C6_REG_6) },
41 1.1 christos },
42 1.1 christos /* REG_EVEX_0F38C7 */
43 1.1 christos {
44 1.1 christos { Bad_Opcode },
45 1.1 christos { MOD_TABLE (MOD_EVEX_0F38C7_REG_1) },
46 1.1 christos { MOD_TABLE (MOD_EVEX_0F38C7_REG_2) },
47 1.1 christos { Bad_Opcode },
48 1.1 christos { Bad_Opcode },
49 1.1 christos { MOD_TABLE (MOD_EVEX_0F38C7_REG_5) },
50 1.1 christos { MOD_TABLE (MOD_EVEX_0F38C7_REG_6) },
51 1.1 christos },
52