1  /* REG_EVEX_0F71 */
2  {
3    { Bad_Opcode },
4    { Bad_Opcode },
5    { "%XEvpsrlw",	{ Vex, EXx, Ib }, PREFIX_DATA },
6    { Bad_Opcode },
7    { "%XEvpsraw",	{ Vex, EXx, Ib }, PREFIX_DATA },
8    { Bad_Opcode },
9    { "%XEvpsllw",	{ 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    { "%XEvpsra%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    { "%XEvpsrldq",	{ Vex, EXx, Ib }, PREFIX_DATA },
27    { Bad_Opcode },
28    { Bad_Opcode },
29    { VEX_W_TABLE (EVEX_W_0F73_R_6) },
30    { "%XEvpslldq",	{ Vex, EXx, Ib }, PREFIX_DATA },
31  },
32  /* REG_EVEX_0F38C6_M_0_L_2 */
33  {
34    { Bad_Opcode },
35    { "vgatherpf0dp%XW",  { MVexVSIBDWpX }, PREFIX_DATA },
36    { "vgatherpf1dp%XW",  { MVexVSIBDWpX }, PREFIX_DATA },
37    { Bad_Opcode },
38    { Bad_Opcode },
39    { "vscatterpf0dp%XW",  { MVexVSIBDWpX }, PREFIX_DATA },
40    { "vscatterpf1dp%XW",  { MVexVSIBDWpX }, PREFIX_DATA },
41  },
42  /* REG_EVEX_0F38C7_M_0_L_2_W_0 */
43  {
44    { Bad_Opcode },
45    { "vgatherpf0qp%XW",  { MVexVSIBQWpX }, PREFIX_DATA },
46    { "vgatherpf1qp%XW",  { MVexVSIBQWpX }, PREFIX_DATA },
47    { Bad_Opcode },
48    { Bad_Opcode },
49    { "vscatterpf0qp%XW",  { MVexVSIBQWpX }, PREFIX_DATA },
50    { "vscatterpf1qp%XW",  { MVexVSIBQWpX }, PREFIX_DATA },
51  },
52