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