Home | History | Annotate | Line # | Download | only in opcodes
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