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     { "%XEvpsrldqY",          { Vex, EXx, Ib }, PREFIX_DATA },
27     { Bad_Opcode },
28     { Bad_Opcode },
29     { VEX_W_TABLE (EVEX_W_0F73_R_6) },
30     { "%XEvpslldqY",          { Vex, EXx, Ib }, PREFIX_DATA },
31   },
32   /* REG_EVEX_0F38C6_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_L_2 */
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   /* REG_EVEX_MAP4_80 */
53   {
54     { "%NFaddA",    { VexGb, Eb, Ib }, NO_PREFIX },
55     { "%NForA",     { VexGb, Eb, Ib }, NO_PREFIX },
56     { "adcA",       { VexGb, Eb, Ib }, NO_PREFIX },
57     { "sbbA",       { VexGb, Eb, Ib }, NO_PREFIX },
58     { "%NFandA",    { VexGb, Eb, Ib }, NO_PREFIX },
59     { "%NFsubA",    { VexGb, Eb, Ib }, NO_PREFIX },
60     { "%NFxorA",    { VexGb, Eb, Ib }, NO_PREFIX },
61   },
62   /* REG_EVEX_MAP4_81 */
63   {
64     { "%NFaddQ",    { VexGv, Ev, Iv }, PREFIX_NP_OR_DATA },
65     { "%NForQ",     { VexGv, Ev, Iv }, PREFIX_NP_OR_DATA },
66     { "adcQ",       { VexGv, Ev, Iv }, PREFIX_NP_OR_DATA },
67     { "sbbQ",       { VexGv, Ev, Iv }, PREFIX_NP_OR_DATA },
68     { "%NFandQ",    { VexGv, Ev, Iv }, PREFIX_NP_OR_DATA },
69     { "%NFsubQ",    { VexGv, Ev, Iv }, PREFIX_NP_OR_DATA },
70     { "%NFxorQ",    { VexGv, Ev, Iv }, PREFIX_NP_OR_DATA },
71   },
72   /* REG_EVEX_MAP4_83 */
73   {
74     { "%NFaddQ",    { VexGv, Ev, sIb }, PREFIX_NP_OR_DATA },
75     { "%NForQ",     { VexGv, Ev, sIb }, PREFIX_NP_OR_DATA },
76     { "adcQ",       { VexGv, Ev, sIb }, PREFIX_NP_OR_DATA },
77     { "sbbQ",       { VexGv, Ev, sIb }, PREFIX_NP_OR_DATA },
78     { "%NFandQ",    { VexGv, Ev, sIb }, PREFIX_NP_OR_DATA },
79     { "%NFsubQ",    { VexGv, Ev, sIb }, PREFIX_NP_OR_DATA },
80     { "%NFxorQ",    { VexGv, Ev, sIb }, PREFIX_NP_OR_DATA },
81   },
82   /* REG_EVEX_MAP4_8F */
83   {
84     { VEX_W_TABLE (EVEX_W_MAP4_8F_R_0) },
85   },
86   /* REG_EVEX_MAP4_F6 */
87   {
88     { Bad_Opcode },
89     { Bad_Opcode },
90     { "notA",       { VexGb, Eb }, NO_PREFIX },
91     { "%NFnegA",    { VexGb, Eb }, NO_PREFIX },
92     { "%NFmulA",    { Eb }, NO_PREFIX },
93     { "%NFimulA",   { Eb }, NO_PREFIX },
94     { "%NFdivA",    { Eb }, NO_PREFIX },
95     { "%NFidivA",   { Eb }, NO_PREFIX },
96   },
97   /* REG_EVEX_MAP4_F7 */
98   {
99     { Bad_Opcode },
100     { Bad_Opcode },
101     { "notQ",       { VexGv, Ev }, PREFIX_NP_OR_DATA },
102     { "%NFnegQ",    { VexGv, Ev }, PREFIX_NP_OR_DATA },
103     { "%NFmulQ",    { Ev }, PREFIX_NP_OR_DATA },
104     { "%NFimulQ",   { Ev }, PREFIX_NP_OR_DATA },
105     { "%NFdivQ",    { Ev }, PREFIX_NP_OR_DATA },
106     { "%NFidivQ",   { Ev }, PREFIX_NP_OR_DATA },
107   },
108   /* REG_EVEX_MAP4_FE */
109   {
110     { "%NFincA",    { VexGb, Eb }, NO_PREFIX },
111     { "%NFdecA",    { VexGb, Eb }, NO_PREFIX },
112   },
113   /* REG_EVEX_MAP4_FF */
114   {
115     { "%NFincQ",    { VexGv, Ev }, PREFIX_NP_OR_DATA },
116     { "%NFdecQ",    { VexGv, Ev }, PREFIX_NP_OR_DATA },
117     { Bad_Opcode },
118     { Bad_Opcode },
119     { Bad_Opcode },
120     { Bad_Opcode },
121     { VEX_W_TABLE (EVEX_W_MAP4_FF_R_6) },
122   },
123