opcodes/i386-dis-evex-prefix.h

   1   /* PREFIX_EVEX_0F10 */
   2   {
   3     { "vmovupX",        { XM, EXEvexXNoBcst }, PREFIX_OPCODE },
   4     { VEX_W_TABLE (EVEX_W_0F10_P_1) },
   5     { "vmovupX",        { XM, EXEvexXNoBcst }, PREFIX_OPCODE },
   6     { VEX_W_TABLE (EVEX_W_0F10_P_3) },
   7   },
   8   /* PREFIX_EVEX_0F11 */
   9   {
  10     { "vmovupX",        { EXxS, XM }, PREFIX_OPCODE },
  11     { VEX_W_TABLE (EVEX_W_0F11_P_1) },
  12     { "vmovupX",        { EXxS, XM }, PREFIX_OPCODE },
  13     { VEX_W_TABLE (EVEX_W_0F11_P_3) },
  14   },
  15   /* PREFIX_EVEX_0F12 */
  16   {
  17     { MOD_TABLE (MOD_EVEX_0F12_PREFIX_0) },
  18     { VEX_W_TABLE (EVEX_W_0F12_P_1) },
  19     { MOD_TABLE (MOD_EVEX_0F12_PREFIX_2) },
  20     { VEX_W_TABLE (EVEX_W_0F12_P_3) },
  21   },
  22   /* PREFIX_EVEX_0F16 */
  23   {
  24     { MOD_TABLE (MOD_EVEX_0F16_PREFIX_0) },
  25     { VEX_W_TABLE (EVEX_W_0F16_P_1) },
  26     { MOD_TABLE (MOD_EVEX_0F16_PREFIX_2) },
  27   },
  28   /* PREFIX_EVEX_0F2A */
  29   {
  30     { Bad_Opcode },
  31     { "vcvtsi2ss%LQ",   { XMScalar, VexScalar, EXxEVexR, Edq }, 0 },
  32     { Bad_Opcode },
  33     { VEX_W_TABLE (EVEX_W_0F2A_P_3) },
  34   },
  35   /* PREFIX_EVEX_0F2C */
  36   {
  37     { Bad_Opcode },
  38     { "vcvttss2si",     { Gdq, EXxmm_md, EXxEVexS }, 0 },
  39     { Bad_Opcode },
  40     { "vcvttsd2si",     { Gdq, EXxmm_mq, EXxEVexS }, 0 },
  41   },
  42   /* PREFIX_EVEX_0F2D */
  43   {
  44     { Bad_Opcode },
  45     { "vcvtss2si",      { Gdq, EXxmm_md, EXxEVexR }, 0 },
  46     { Bad_Opcode },
  47     { "vcvtsd2si",      { Gdq, EXxmm_mq, EXxEVexR }, 0 },
  48   },
  49   /* PREFIX_EVEX_0F2E */
  50   {
  51     { "vucomisX",       { XMScalar, EXxmm_md, EXxEVexS }, PREFIX_OPCODE },
  52     { Bad_Opcode },
  53     { "vucomisX",       { XMScalar, EXxmm_mq, EXxEVexS }, PREFIX_OPCODE },
  54   },
  55   /* PREFIX_EVEX_0F2F */
  56   {
  57     { "vcomisX",        { XMScalar, EXxmm_md, EXxEVexS }, PREFIX_OPCODE },
  58     { Bad_Opcode },
  59     { "vcomisX",        { XMScalar, EXxmm_mq, EXxEVexS }, PREFIX_OPCODE },
  60   },
  61   /* PREFIX_EVEX_0F51 */
  62   {
  63     { "vsqrtpX",        { XM, EXx, EXxEVexR }, PREFIX_OPCODE },
  64     { VEX_W_TABLE (EVEX_W_0F51_P_1) },
  65     { "vsqrtpX",        { XM, EXx, EXxEVexR }, PREFIX_OPCODE },
  66     { VEX_W_TABLE (EVEX_W_0F51_P_3) },
  67   },
  68   /* PREFIX_EVEX_0F58 */
  69   {
  70     { "vaddpX", { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
  71     { VEX_W_TABLE (EVEX_W_0F58_P_1) },
  72     { "vaddpX", { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
  73     { VEX_W_TABLE (EVEX_W_0F58_P_3) },
  74   },
  75   /* PREFIX_EVEX_0F59 */
  76   {
  77     { "vmulpX", { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
  78     { VEX_W_TABLE (EVEX_W_0F59_P_1) },
  79     { "vmulpX", { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
  80     { VEX_W_TABLE (EVEX_W_0F59_P_3) },
  81   },
  82   /* PREFIX_EVEX_0F5A */
  83   {
  84     { VEX_W_TABLE (EVEX_W_0F5A_P_0) },
  85     { VEX_W_TABLE (EVEX_W_0F5A_P_1) },
  86     { VEX_W_TABLE (EVEX_W_0F5A_P_2) },
  87     { VEX_W_TABLE (EVEX_W_0F5A_P_3) },
  88   },
  89   /* PREFIX_EVEX_0F5B */
  90   {
  91     { VEX_W_TABLE (EVEX_W_0F5B_P_0) },
  92     { VEX_W_TABLE (EVEX_W_0F5B_P_1) },
  93     { VEX_W_TABLE (EVEX_W_0F5B_P_2) },
  94   },
  95   /* PREFIX_EVEX_0F5C */
  96   {
  97     { "vsubpX", { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
  98     { VEX_W_TABLE (EVEX_W_0F5C_P_1) },
  99     { "vsubpX", { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
 100     { VEX_W_TABLE (EVEX_W_0F5C_P_3) },
 101   },
 102   /* PREFIX_EVEX_0F5D */
 103   {
 104     { "vminpX", { XM, Vex, EXx, EXxEVexS }, PREFIX_OPCODE },
 105     { VEX_W_TABLE (EVEX_W_0F5D_P_1) },
 106     { "vminpX", { XM, Vex, EXx, EXxEVexS }, PREFIX_OPCODE },
 107     { VEX_W_TABLE (EVEX_W_0F5D_P_3) },
 108   },
 109   /* PREFIX_EVEX_0F5E */
 110   {
 111     { "vdivpX", { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
 112     { VEX_W_TABLE (EVEX_W_0F5E_P_1) },
 113     { "vdivpX", { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
 114     { VEX_W_TABLE (EVEX_W_0F5E_P_3) },
 115   },
 116   /* PREFIX_EVEX_0F5F */
 117   {
 118     { "vmaxpX", { XM, Vex, EXx, EXxEVexS }, PREFIX_OPCODE },
 119     { VEX_W_TABLE (EVEX_W_0F5F_P_1) },
 120     { "vmaxpX", { XM, Vex, EXx, EXxEVexS }, PREFIX_OPCODE },
 121     { VEX_W_TABLE (EVEX_W_0F5F_P_3) },
 122   },
 123   /* PREFIX_EVEX_0F62 */
 124   {
 125     { Bad_Opcode },
 126     { Bad_Opcode },
 127     { VEX_W_TABLE (EVEX_W_0F62_P_2) },
 128   },
 129   /* PREFIX_EVEX_0F64 */
 130   {
 131     { Bad_Opcode },
 132     { Bad_Opcode },
 133     { "vpcmpgtb",       { XMask, Vex, EXx }, 0 },
 134   },
 135   /* PREFIX_EVEX_0F65 */
 136   {
 137     { Bad_Opcode },
 138     { Bad_Opcode },
 139     { "vpcmpgtw",       { XMask, Vex, EXx }, 0 },
 140   },
 141   /* PREFIX_EVEX_0F66 */
 142   {
 143     { Bad_Opcode },
 144     { Bad_Opcode },
 145     { VEX_W_TABLE (EVEX_W_0F66_P_2) },
 146   },
 147   /* PREFIX_EVEX_0F6A */
 148   {
 149     { Bad_Opcode },
 150     { Bad_Opcode },
 151     { VEX_W_TABLE (EVEX_W_0F6A_P_2) },
 152   },
 153   /* PREFIX_EVEX_0F6B */
 154   {
 155     { Bad_Opcode },
 156     { Bad_Opcode },
 157     { VEX_W_TABLE (EVEX_W_0F6B_P_2) },
 158   },
 159   /* PREFIX_EVEX_0F6C */
 160   {
 161     { Bad_Opcode },
 162     { Bad_Opcode },
 163     { VEX_W_TABLE (EVEX_W_0F6C_P_2) },
 164   },
 165   /* PREFIX_EVEX_0F6D */
 166   {
 167     { Bad_Opcode },
 168     { Bad_Opcode },
 169     { VEX_W_TABLE (EVEX_W_0F6D_P_2) },
 170   },
 171   /* PREFIX_EVEX_0F6E */
 172   {
 173     { Bad_Opcode },
 174     { Bad_Opcode },
 175     { EVEX_LEN_TABLE (EVEX_LEN_0F6E_P_2) },
 176   },
 177   /* PREFIX_EVEX_0F6F */
 178   {
 179     { Bad_Opcode },
 180     { VEX_W_TABLE (EVEX_W_0F6F_P_1) },
 181     { VEX_W_TABLE (EVEX_W_0F6F_P_2) },
 182     { VEX_W_TABLE (EVEX_W_0F6F_P_3) },
 183   },
 184   /* PREFIX_EVEX_0F70 */
 185   {
 186     { Bad_Opcode },
 187     { "vpshufhw",       { XM, EXx, Ib }, 0 },
 188     { VEX_W_TABLE (EVEX_W_0F70_P_2) },
 189     { "vpshuflw",       { XM, EXx, Ib }, 0 },
 190   },
 191   /* PREFIX_EVEX_0F71_REG_2 */
 192   {
 193     { Bad_Opcode },
 194     { Bad_Opcode },
 195     { "vpsrlw", { Vex, EXx, Ib }, 0 },
 196   },
 197   /* PREFIX_EVEX_0F71_REG_4 */
 198   {
 199     { Bad_Opcode },
 200     { Bad_Opcode },
 201     { "vpsraw", { Vex, EXx, Ib }, 0 },
 202   },
 203   /* PREFIX_EVEX_0F71_REG_6 */
 204   {
 205     { Bad_Opcode },
 206     { Bad_Opcode },
 207     { "vpsllw", { Vex, EXx, Ib }, 0 },
 208   },
 209   /* PREFIX_EVEX_0F72_REG_0 */
 210   {
 211     { Bad_Opcode },
 212     { Bad_Opcode },
 213     { "vpror%LW",       { Vex, EXx, Ib }, 0 },
 214   },
 215   /* PREFIX_EVEX_0F72_REG_1 */
 216   {
 217     { Bad_Opcode },
 218     { Bad_Opcode },
 219     { "vprol%LW",       { Vex, EXx, Ib }, 0 },
 220   },
 221   /* PREFIX_EVEX_0F72_REG_2 */
 222   {
 223     { Bad_Opcode },
 224     { Bad_Opcode },
 225     { VEX_W_TABLE (EVEX_W_0F72_R_2_P_2) },
 226   },
 227   /* PREFIX_EVEX_0F72_REG_4 */
 228   {
 229     { Bad_Opcode },
 230     { Bad_Opcode },
 231     { "vpsra%LW",       { Vex, EXx, Ib }, 0 },
 232   },
 233   /* PREFIX_EVEX_0F72_REG_6 */
 234   {
 235     { Bad_Opcode },
 236     { Bad_Opcode },
 237     { VEX_W_TABLE (EVEX_W_0F72_R_6_P_2) },
 238   },
 239   /* PREFIX_EVEX_0F73_REG_2 */
 240   {
 241     { Bad_Opcode },
 242     { Bad_Opcode },
 243     { VEX_W_TABLE (EVEX_W_0F73_R_2_P_2) },
 244   },
 245   /* PREFIX_EVEX_0F73_REG_3 */
 246   {
 247     { Bad_Opcode },
 248     { Bad_Opcode },
 249     { "vpsrldq",        { Vex, EXx, Ib }, 0 },
 250   },
 251   /* PREFIX_EVEX_0F73_REG_6 */
 252   {
 253     { Bad_Opcode },
 254     { Bad_Opcode },
 255     { VEX_W_TABLE (EVEX_W_0F73_R_6_P_2) },
 256   },
 257   /* PREFIX_EVEX_0F73_REG_7 */
 258   {
 259     { Bad_Opcode },
 260     { Bad_Opcode },
 261     { "vpslldq",        { Vex, EXx, Ib }, 0 },
 262   },
 263   /* PREFIX_EVEX_0F74 */
 264   {
 265     { Bad_Opcode },
 266     { Bad_Opcode },
 267     { "vpcmpeqb",       { XMask, Vex, EXx }, 0 },
 268   },
 269   /* PREFIX_EVEX_0F75 */
 270   {
 271     { Bad_Opcode },
 272     { Bad_Opcode },
 273     { "vpcmpeqw",       { XMask, Vex, EXx }, 0 },
 274   },
 275   /* PREFIX_EVEX_0F76 */
 276   {
 277     { Bad_Opcode },
 278     { Bad_Opcode },
 279     { VEX_W_TABLE (EVEX_W_0F76_P_2) },
 280   },
 281   /* PREFIX_EVEX_0F78 */
 282   {
 283     { VEX_W_TABLE (EVEX_W_0F78_P_0) },
 284     { "vcvttss2usi",    { Gdq, EXxmm_md, EXxEVexS }, 0 },
 285     { VEX_W_TABLE (EVEX_W_0F78_P_2) },
 286     { "vcvttsd2usi",    { Gdq, EXxmm_mq, EXxEVexS }, 0 },
 287   },
 288   /* PREFIX_EVEX_0F79 */
 289   {
 290     { VEX_W_TABLE (EVEX_W_0F79_P_0) },
 291     { "vcvtss2usi",     { Gdq, EXxmm_md, EXxEVexR }, 0 },
 292     { VEX_W_TABLE (EVEX_W_0F79_P_2) },
 293     { "vcvtsd2usi",     { Gdq, EXxmm_mq, EXxEVexR }, 0 },
 294   },
 295   /* PREFIX_EVEX_0F7A */
 296   {
 297     { Bad_Opcode },
 298     { VEX_W_TABLE (EVEX_W_0F7A_P_1) },
 299     { VEX_W_TABLE (EVEX_W_0F7A_P_2) },
 300     { VEX_W_TABLE (EVEX_W_0F7A_P_3) },
 301   },
 302   /* PREFIX_EVEX_0F7B */
 303   {
 304     { Bad_Opcode },
 305     { "vcvtusi2ss%LQ",  { XMScalar, VexScalar, EXxEVexR, Edq }, 0 },
 306     { VEX_W_TABLE (EVEX_W_0F7B_P_2) },
 307     { VEX_W_TABLE (EVEX_W_0F7B_P_3) },
 308   },
 309   /* PREFIX_EVEX_0F7E */
 310   {
 311     { Bad_Opcode },
 312     { EVEX_LEN_TABLE (EVEX_LEN_0F7E_P_1) },
 313     { EVEX_LEN_TABLE (EVEX_LEN_0F7E_P_2) },
 314   },
 315   /* PREFIX_EVEX_0F7F */
 316   {
 317     { Bad_Opcode },
 318     { VEX_W_TABLE (EVEX_W_0F7F_P_1) },
 319     { VEX_W_TABLE (EVEX_W_0F7F_P_2) },
 320     { VEX_W_TABLE (EVEX_W_0F7F_P_3) },
 321   },
 322   /* PREFIX_EVEX_0FC2 */
 323   {
 324     { "vcmppX", { XMask, Vex, EXx, EXxEVexS, VCMP }, PREFIX_OPCODE },
 325     { VEX_W_TABLE (EVEX_W_0FC2_P_1) },
 326     { "vcmppX", { XMask, Vex, EXx, EXxEVexS, VCMP }, PREFIX_OPCODE },
 327     { VEX_W_TABLE (EVEX_W_0FC2_P_3) },
 328   },
 329   /* PREFIX_EVEX_0FC4 */
 330   {
 331     { Bad_Opcode },
 332     { Bad_Opcode },
 333     { EVEX_LEN_TABLE (EVEX_LEN_0FC4_P_2) },
 334   },
 335   /* PREFIX_EVEX_0FC5 */
 336   {
 337     { Bad_Opcode },
 338     { Bad_Opcode },
 339     { EVEX_LEN_TABLE (EVEX_LEN_0FC5_P_2) },
 340   },
 341   /* PREFIX_EVEX_0FD2 */
 342   {
 343     { Bad_Opcode },
 344     { Bad_Opcode },
 345     { VEX_W_TABLE (EVEX_W_0FD2_P_2) },
 346   },
 347   /* PREFIX_EVEX_0FD3 */
 348   {
 349     { Bad_Opcode },
 350     { Bad_Opcode },
 351     { VEX_W_TABLE (EVEX_W_0FD3_P_2) },
 352   },
 353   /* PREFIX_EVEX_0FD4 */
 354   {
 355     { Bad_Opcode },
 356     { Bad_Opcode },
 357     { VEX_W_TABLE (EVEX_W_0FD4_P_2) },
 358   },
 359   /* PREFIX_EVEX_0FD6 */
 360   {
 361     { Bad_Opcode },
 362     { Bad_Opcode },
 363     { EVEX_LEN_TABLE (EVEX_LEN_0FD6_P_2) },
 364   },
 365   /* PREFIX_EVEX_0FDB */
 366   {
 367     { Bad_Opcode },
 368     { Bad_Opcode },
 369     { "vpand%LW",       { XM, Vex, EXx }, 0 },
 370   },
 371   /* PREFIX_EVEX_0FDF */
 372   {
 373     { Bad_Opcode },
 374     { Bad_Opcode },
 375     { "vpandn%LW",      { XM, Vex, EXx }, 0 },
 376   },
 377   /* PREFIX_EVEX_0FE2 */
 378   {
 379     { Bad_Opcode },
 380     { Bad_Opcode },
 381     { "vpsra%LW",       { XM, Vex, EXxmm }, 0 },
 382   },
 383   /* PREFIX_EVEX_0FE6 */
 384   {
 385     { Bad_Opcode },
 386     { VEX_W_TABLE (EVEX_W_0FE6_P_1) },
 387     { VEX_W_TABLE (EVEX_W_0FE6_P_2) },
 388     { VEX_W_TABLE (EVEX_W_0FE6_P_3) },
 389   },
 390   /* PREFIX_EVEX_0FE7 */
 391   {
 392     { Bad_Opcode },
 393     { Bad_Opcode },
 394     { VEX_W_TABLE (EVEX_W_0FE7_P_2) },
 395   },
 396   /* PREFIX_EVEX_0FEB */
 397   {
 398     { Bad_Opcode },
 399     { Bad_Opcode },
 400     { "vpor%LW",        { XM, Vex, EXx }, 0 },
 401   },
 402   /* PREFIX_EVEX_0FEF */
 403   {
 404     { Bad_Opcode },
 405     { Bad_Opcode },
 406     { "vpxor%LW",       { XM, Vex, EXx }, 0 },
 407   },
 408   /* PREFIX_EVEX_0FF2 */
 409   {
 410     { Bad_Opcode },
 411     { Bad_Opcode },
 412     { VEX_W_TABLE (EVEX_W_0FF2_P_2) },
 413   },
 414   /* PREFIX_EVEX_0FF3 */
 415   {
 416     { Bad_Opcode },
 417     { Bad_Opcode },
 418     { VEX_W_TABLE (EVEX_W_0FF3_P_2) },
 419   },
 420   /* PREFIX_EVEX_0FF4 */
 421   {
 422     { Bad_Opcode },
 423     { Bad_Opcode },
 424     { VEX_W_TABLE (EVEX_W_0FF4_P_2) },
 425   },
 426   /* PREFIX_EVEX_0FFA */
 427   {
 428     { Bad_Opcode },
 429     { Bad_Opcode },
 430     { VEX_W_TABLE (EVEX_W_0FFA_P_2) },
 431   },
 432   /* PREFIX_EVEX_0FFB */
 433   {
 434     { Bad_Opcode },
 435     { Bad_Opcode },
 436     { VEX_W_TABLE (EVEX_W_0FFB_P_2) },
 437   },
 438   /* PREFIX_EVEX_0FFE */
 439   {
 440     { Bad_Opcode },
 441     { Bad_Opcode },
 442     { VEX_W_TABLE (EVEX_W_0FFE_P_2) },
 443   },
 444   /* PREFIX_EVEX_0F380D */
 445   {
 446     { Bad_Opcode },
 447     { Bad_Opcode },
 448     { VEX_W_TABLE (EVEX_W_0F380D_P_2) },
 449   },
 450   /* PREFIX_EVEX_0F3810 */
 451   {
 452     { Bad_Opcode },
 453     { VEX_W_TABLE (EVEX_W_0F3810_P_1) },
 454     { VEX_W_TABLE (EVEX_W_0F3810_P_2) },
 455   },
 456   /* PREFIX_EVEX_0F3811 */
 457   {
 458     { Bad_Opcode },
 459     { VEX_W_TABLE (EVEX_W_0F3811_P_1) },
 460     { VEX_W_TABLE (EVEX_W_0F3811_P_2) },
 461   },
 462   /* PREFIX_EVEX_0F3812 */
 463   {
 464     { Bad_Opcode },
 465     { VEX_W_TABLE (EVEX_W_0F3812_P_1) },
 466     { VEX_W_TABLE (EVEX_W_0F3812_P_2) },
 467   },
 468   /* PREFIX_EVEX_0F3813 */
 469   {
 470     { Bad_Opcode },
 471     { VEX_W_TABLE (EVEX_W_0F3813_P_1) },
 472     { VEX_W_TABLE (EVEX_W_0F3813_P_2) },
 473   },
 474   /* PREFIX_EVEX_0F3814 */
 475   {
 476     { Bad_Opcode },
 477     { VEX_W_TABLE (EVEX_W_0F3814_P_1) },
 478     { "vprorv%LW",      { XM, Vex, EXx }, 0 },
 479   },
 480   /* PREFIX_EVEX_0F3815 */
 481   {
 482     { Bad_Opcode },
 483     { VEX_W_TABLE (EVEX_W_0F3815_P_1) },
 484     { "vprolv%LW",      { XM, Vex, EXx }, 0 },
 485   },
 486   /* PREFIX_EVEX_0F3816 */
 487   {
 488     { Bad_Opcode },
 489     { Bad_Opcode },
 490     { EVEX_LEN_TABLE (EVEX_LEN_0F3816_P_2) },
 491   },
 492   /* PREFIX_EVEX_0F3819 */
 493   {
 494     { Bad_Opcode },
 495     { Bad_Opcode },
 496     { VEX_W_TABLE (EVEX_W_0F3819_P_2) },
 497   },
 498   /* PREFIX_EVEX_0F381A */
 499   {
 500     { Bad_Opcode },
 501     { Bad_Opcode },
 502     { VEX_W_TABLE (EVEX_W_0F381A_P_2) },
 503   },
 504   /* PREFIX_EVEX_0F381B */
 505   {
 506     { Bad_Opcode },
 507     { Bad_Opcode },
 508     { VEX_W_TABLE (EVEX_W_0F381B_P_2) },
 509   },
 510   /* PREFIX_EVEX_0F381E */
 511   {
 512     { Bad_Opcode },
 513     { Bad_Opcode },
 514     { VEX_W_TABLE (EVEX_W_0F381E_P_2) },
 515   },
 516   /* PREFIX_EVEX_0F381F */
 517   {
 518     { Bad_Opcode },
 519     { Bad_Opcode },
 520     { VEX_W_TABLE (EVEX_W_0F381F_P_2) },
 521   },
 522   /* PREFIX_EVEX_0F3820 */
 523   {
 524     { Bad_Opcode },
 525     { VEX_W_TABLE (EVEX_W_0F3820_P_1) },
 526     { "vpmovsxbw",      { XM, EXxmmq }, 0 },
 527   },
 528   /* PREFIX_EVEX_0F3821 */
 529   {
 530     { Bad_Opcode },
 531     { VEX_W_TABLE (EVEX_W_0F3821_P_1) },
 532     { "vpmovsxbd",      { XM, EXxmmqd }, 0 },
 533   },
 534   /* PREFIX_EVEX_0F3822 */
 535   {
 536     { Bad_Opcode },
 537     { VEX_W_TABLE (EVEX_W_0F3822_P_1) },
 538     { "vpmovsxbq",      { XM, EXxmmdw }, 0 },
 539   },
 540   /* PREFIX_EVEX_0F3823 */
 541   {
 542     { Bad_Opcode },
 543     { VEX_W_TABLE (EVEX_W_0F3823_P_1) },
 544     { "vpmovsxwd",      { XM, EXxmmq }, 0 },
 545   },
 546   /* PREFIX_EVEX_0F3824 */
 547   {
 548     { Bad_Opcode },
 549     { VEX_W_TABLE (EVEX_W_0F3824_P_1) },
 550     { "vpmovsxwq",      { XM, EXxmmqd }, 0 },
 551   },
 552   /* PREFIX_EVEX_0F3825 */
 553   {
 554     { Bad_Opcode },
 555     { VEX_W_TABLE (EVEX_W_0F3825_P_1) },
 556     { VEX_W_TABLE (EVEX_W_0F3825_P_2) },
 557   },
 558   /* PREFIX_EVEX_0F3826 */
 559   {
 560     { Bad_Opcode },
 561     { VEX_W_TABLE (EVEX_W_0F3826_P_1) },
 562     { VEX_W_TABLE (EVEX_W_0F3826_P_2) },
 563   },
 564   /* PREFIX_EVEX_0F3827 */
 565   {
 566     { Bad_Opcode },
 567     { "vptestnm%LW",    { XMask, Vex, EXx }, 0 },
 568     { "vptestm%LW",     { XMask, Vex, EXx }, 0 },
 569   },
 570   /* PREFIX_EVEX_0F3828 */
 571   {
 572     { Bad_Opcode },
 573     { VEX_W_TABLE (EVEX_W_0F3828_P_1) },
 574     { VEX_W_TABLE (EVEX_W_0F3828_P_2) },
 575   },
 576   /* PREFIX_EVEX_0F3829 */
 577   {
 578     { Bad_Opcode },
 579     { VEX_W_TABLE (EVEX_W_0F3829_P_1) },
 580     { VEX_W_TABLE (EVEX_W_0F3829_P_2) },
 581   },
 582   /* PREFIX_EVEX_0F382A */
 583   {
 584     { Bad_Opcode },
 585     { VEX_W_TABLE (EVEX_W_0F382A_P_1) },
 586     { VEX_W_TABLE (EVEX_W_0F382A_P_2) },
 587   },
 588   /* PREFIX_EVEX_0F382B */
 589   {
 590     { Bad_Opcode },
 591     { Bad_Opcode },
 592     { VEX_W_TABLE (EVEX_W_0F382B_P_2) },
 593   },
 594   /* PREFIX_EVEX_0F382C */
 595   {
 596     { Bad_Opcode },
 597     { Bad_Opcode },
 598     { "vscalefp%XW",    { XM, Vex, EXx, EXxEVexR }, 0 },
 599   },
 600   /* PREFIX_EVEX_0F382D */
 601   {
 602     { Bad_Opcode },
 603     { Bad_Opcode },
 604     { "vscalefs%XW",    { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexR }, 0 },
 605   },
 606   /* PREFIX_EVEX_0F3830 */
 607   {
 608     { Bad_Opcode },
 609     { VEX_W_TABLE (EVEX_W_0F3830_P_1) },
 610     { "vpmovzxbw",      { XM, EXxmmq }, 0 },
 611   },
 612   /* PREFIX_EVEX_0F3831 */
 613   {
 614     { Bad_Opcode },
 615     { VEX_W_TABLE (EVEX_W_0F3831_P_1) },
 616     { "vpmovzxbd",      { XM, EXxmmqd }, 0 },
 617   },
 618   /* PREFIX_EVEX_0F3832 */
 619   {
 620     { Bad_Opcode },
 621     { VEX_W_TABLE (EVEX_W_0F3832_P_1) },
 622     { "vpmovzxbq",      { XM, EXxmmdw }, 0 },
 623   },
 624   /* PREFIX_EVEX_0F3833 */
 625   {
 626     { Bad_Opcode },
 627     { VEX_W_TABLE (EVEX_W_0F3833_P_1) },
 628     { "vpmovzxwd",      { XM, EXxmmq }, 0 },
 629   },
 630   /* PREFIX_EVEX_0F3834 */
 631   {
 632     { Bad_Opcode },
 633     { VEX_W_TABLE (EVEX_W_0F3834_P_1) },
 634     { "vpmovzxwq",      { XM, EXxmmqd }, 0 },
 635   },
 636   /* PREFIX_EVEX_0F3835 */
 637   {
 638     { Bad_Opcode },
 639     { VEX_W_TABLE (EVEX_W_0F3835_P_1) },
 640     { VEX_W_TABLE (EVEX_W_0F3835_P_2) },
 641   },
 642   /* PREFIX_EVEX_0F3836 */
 643   {
 644     { Bad_Opcode },
 645     { Bad_Opcode },
 646     { EVEX_LEN_TABLE (EVEX_LEN_0F3836_P_2) },
 647   },
 648   /* PREFIX_EVEX_0F3837 */
 649   {
 650     { Bad_Opcode },
 651     { Bad_Opcode },
 652     { VEX_W_TABLE (EVEX_W_0F3837_P_2) },
 653   },
 654   /* PREFIX_EVEX_0F3838 */
 655   {
 656     { Bad_Opcode },
 657     { VEX_W_TABLE (EVEX_W_0F3838_P_1) },
 658     { "vpminsb",        { XM, Vex, EXx }, 0 },
 659   },
 660   /* PREFIX_EVEX_0F3839 */
 661   {
 662     { Bad_Opcode },
 663     { VEX_W_TABLE (EVEX_W_0F3839_P_1) },
 664     { "vpmins%LW",      { XM, Vex, EXx }, 0 },
 665   },
 666   /* PREFIX_EVEX_0F383A */
 667   {
 668     { Bad_Opcode },
 669     { VEX_W_TABLE (EVEX_W_0F383A_P_1) },
 670     { "vpminuw",        { XM, Vex, EXx }, 0 },
 671   },
 672   /* PREFIX_EVEX_0F383B */
 673   {
 674     { Bad_Opcode },
 675     { Bad_Opcode },
 676     { "vpminu%LW",      { XM, Vex, EXx }, 0 },
 677   },
 678   /* PREFIX_EVEX_0F383D */
 679   {
 680     { Bad_Opcode },
 681     { Bad_Opcode },
 682     { "vpmaxs%LW",      { XM, Vex, EXx }, 0 },
 683   },
 684   /* PREFIX_EVEX_0F383F */
 685   {
 686     { Bad_Opcode },
 687     { Bad_Opcode },
 688     { "vpmaxu%LW",      { XM, Vex, EXx }, 0 },
 689   },
 690   /* PREFIX_EVEX_0F3840 */
 691   {
 692     { Bad_Opcode },
 693     { Bad_Opcode },
 694     { VEX_W_TABLE (EVEX_W_0F3840_P_2) },
 695   },
 696   /* PREFIX_EVEX_0F3842 */
 697   {
 698     { Bad_Opcode },
 699     { Bad_Opcode },
 700     { "vgetexpp%XW",    { XM, EXx, EXxEVexS }, 0 },
 701   },
 702   /* PREFIX_EVEX_0F3843 */
 703   {
 704     { Bad_Opcode },
 705     { Bad_Opcode },
 706     { "vgetexps%XW",    { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexS }, 0 },
 707   },
 708   /* PREFIX_EVEX_0F3844 */
 709   {
 710     { Bad_Opcode },
 711     { Bad_Opcode },
 712     { "vplzcnt%LW",     { XM, EXx }, 0 },
 713   },
 714   /* PREFIX_EVEX_0F3845 */
 715   {
 716     { Bad_Opcode },
 717     { Bad_Opcode },
 718     { "vpsrlv%LW",      { XM, Vex, EXx }, 0 },
 719   },
 720   /* PREFIX_EVEX_0F3846 */
 721   {
 722     { Bad_Opcode },
 723     { Bad_Opcode },
 724     { "vpsrav%LW",      { XM, Vex, EXx }, 0 },
 725   },
 726   /* PREFIX_EVEX_0F3847 */
 727   {
 728     { Bad_Opcode },
 729     { Bad_Opcode },
 730     { "vpsllv%LW",      { XM, Vex, EXx }, 0 },
 731   },
 732   /* PREFIX_EVEX_0F384C */
 733   {
 734     { Bad_Opcode },
 735     { Bad_Opcode },
 736     { "vrcp14p%XW",     { XM, EXx }, 0 },
 737   },
 738   /* PREFIX_EVEX_0F384D */
 739   {
 740     { Bad_Opcode },
 741     { Bad_Opcode },
 742     { "vrcp14s%XW",     { XMScalar, VexScalar, EXVexWdqScalar }, 0 },
 743   },
 744   /* PREFIX_EVEX_0F384E */
 745   {
 746     { Bad_Opcode },
 747     { Bad_Opcode },
 748     { "vrsqrt14p%XW",   { XM, EXx }, 0 },
 749   },
 750   /* PREFIX_EVEX_0F384F */
 751   {
 752     { Bad_Opcode },
 753     { Bad_Opcode },
 754     { "vrsqrt14s%XW",   { XMScalar, VexScalar, EXVexWdqScalar }, 0 },
 755   },
 756   /* PREFIX_EVEX_0F3850 */
 757   {
 758     { Bad_Opcode },
 759     { Bad_Opcode },
 760     { "vpdpbusd",       { XM, Vex, EXx }, 0 },
 761   },
 762   /* PREFIX_EVEX_0F3851 */
 763   {
 764     { Bad_Opcode },
 765     { Bad_Opcode },
 766     { "vpdpbusds",      { XM, Vex, EXx }, 0 },
 767   },
 768   /* PREFIX_EVEX_0F3852 */
 769   {
 770     { Bad_Opcode },
 771     { VEX_W_TABLE (EVEX_W_0F3852_P_1) },
 772     { "vpdpwssd",       { XM, Vex, EXx }, 0 },
 773     { "vp4dpwssd",      { XM, Vex, EXxmm }, 0 },
 774   },
 775   /* PREFIX_EVEX_0F3853 */
 776   {
 777     { Bad_Opcode },
 778     { Bad_Opcode },
 779     { "vpdpwssds",      { XM, Vex, EXx }, 0 },
 780     { "vp4dpwssds",     { XM, Vex, EXxmm }, 0 },
 781   },
 782   /* PREFIX_EVEX_0F3854 */
 783   {
 784     { Bad_Opcode },
 785     { Bad_Opcode },
 786     { VEX_W_TABLE (EVEX_W_0F3854_P_2) },
 787   },
 788   /* PREFIX_EVEX_0F3855 */
 789   {
 790     { Bad_Opcode },
 791     { Bad_Opcode },
 792     { VEX_W_TABLE (EVEX_W_0F3855_P_2) },
 793   },
 794   /* PREFIX_EVEX_0F3859 */
 795   {
 796     { Bad_Opcode },
 797     { Bad_Opcode },
 798     { VEX_W_TABLE (EVEX_W_0F3859_P_2) },
 799   },
 800   /* PREFIX_EVEX_0F385A */
 801   {
 802     { Bad_Opcode },
 803     { Bad_Opcode },
 804     { VEX_W_TABLE (EVEX_W_0F385A_P_2) },
 805   },
 806   /* PREFIX_EVEX_0F385B */
 807   {
 808     { Bad_Opcode },
 809     { Bad_Opcode },
 810     { VEX_W_TABLE (EVEX_W_0F385B_P_2) },
 811   },
 812   /* PREFIX_EVEX_0F3862 */
 813   {
 814     { Bad_Opcode },
 815     { Bad_Opcode },
 816     { VEX_W_TABLE (EVEX_W_0F3862_P_2) },
 817   },
 818   /* PREFIX_EVEX_0F3863 */
 819   {
 820     { Bad_Opcode },
 821     { Bad_Opcode },
 822     { VEX_W_TABLE (EVEX_W_0F3863_P_2) },
 823   },
 824   /* PREFIX_EVEX_0F3864 */
 825   {
 826     { Bad_Opcode },
 827     { Bad_Opcode },
 828     { "vpblendm%LW",    { XM, Vex, EXx }, 0 },
 829   },
 830   /* PREFIX_EVEX_0F3865 */
 831   {
 832     { Bad_Opcode },
 833     { Bad_Opcode },
 834     { "vblendmp%XW",    { XM, Vex, EXx }, 0 },
 835   },
 836   /* PREFIX_EVEX_0F3866 */
 837   {
 838     { Bad_Opcode },
 839     { Bad_Opcode },
 840     { VEX_W_TABLE (EVEX_W_0F3866_P_2) },
 841   },
 842   /* PREFIX_EVEX_0F3868 */
 843   {
 844     { Bad_Opcode },
 845     { Bad_Opcode },
 846     { Bad_Opcode },
 847     { VEX_W_TABLE (EVEX_W_0F3868_P_3) },
 848   },
 849   /* PREFIX_EVEX_0F3870 */
 850   {
 851     { Bad_Opcode },
 852     { Bad_Opcode },
 853     { VEX_W_TABLE (EVEX_W_0F3870_P_2) },
 854   },
 855   /* PREFIX_EVEX_0F3871 */
 856   {
 857     { Bad_Opcode },
 858     { Bad_Opcode },
 859     { VEX_W_TABLE (EVEX_W_0F3871_P_2) },
 860   },
 861   /* PREFIX_EVEX_0F3872 */
 862   {
 863     { Bad_Opcode },
 864     { VEX_W_TABLE (EVEX_W_0F3872_P_1) },
 865     { VEX_W_TABLE (EVEX_W_0F3872_P_2) },
 866     { VEX_W_TABLE (EVEX_W_0F3872_P_3) },
 867   },
 868   /* PREFIX_EVEX_0F3873 */
 869   {
 870     { Bad_Opcode },
 871     { Bad_Opcode },
 872     { VEX_W_TABLE (EVEX_W_0F3873_P_2) },
 873   },
 874   /* PREFIX_EVEX_0F3875 */
 875   {
 876     { Bad_Opcode },
 877     { Bad_Opcode },
 878     { VEX_W_TABLE (EVEX_W_0F3875_P_2) },
 879   },
 880   /* PREFIX_EVEX_0F3876 */
 881   {
 882     { Bad_Opcode },
 883     { Bad_Opcode },
 884     { "vpermi2%LW",     { XM, Vex, EXx }, 0 },
 885   },
 886   /* PREFIX_EVEX_0F3877 */
 887   {
 888     { Bad_Opcode },
 889     { Bad_Opcode },
 890     { "vpermi2p%XW",    { XM, Vex, EXx }, 0 },
 891   },
 892   /* PREFIX_EVEX_0F387A */
 893   {
 894     { Bad_Opcode },
 895     { Bad_Opcode },
 896     { VEX_W_TABLE (EVEX_W_0F387A_P_2) },
 897   },
 898   /* PREFIX_EVEX_0F387B */
 899   {
 900     { Bad_Opcode },
 901     { Bad_Opcode },
 902     { VEX_W_TABLE (EVEX_W_0F387B_P_2) },
 903   },
 904   /* PREFIX_EVEX_0F387C */
 905   {
 906     { Bad_Opcode },
 907     { Bad_Opcode },
 908     { "vpbroadcastK",   { XM, Rdq }, 0 },
 909   },
 910   /* PREFIX_EVEX_0F387D */
 911   {
 912     { Bad_Opcode },
 913     { Bad_Opcode },
 914     { VEX_W_TABLE (EVEX_W_0F387D_P_2) },
 915   },
 916   /* PREFIX_EVEX_0F387E */
 917   {
 918     { Bad_Opcode },
 919     { Bad_Opcode },
 920     { "vpermt2%LW",     { XM, Vex, EXx }, 0 },
 921   },
 922   /* PREFIX_EVEX_0F387F */
 923   {
 924     { Bad_Opcode },
 925     { Bad_Opcode },
 926     { "vpermt2p%XW",    { XM, Vex, EXx }, 0 },
 927   },
 928   /* PREFIX_EVEX_0F3883 */
 929   {
 930     { Bad_Opcode },
 931     { Bad_Opcode },
 932     { VEX_W_TABLE (EVEX_W_0F3883_P_2) },
 933   },
 934   /* PREFIX_EVEX_0F3888 */
 935   {
 936     { Bad_Opcode },
 937     { Bad_Opcode },
 938     { "vexpandp%XW",    { XM, EXEvexXGscat }, 0 },
 939   },
 940   /* PREFIX_EVEX_0F3889 */
 941   {
 942     { Bad_Opcode },
 943     { Bad_Opcode },
 944     { "vpexpand%LW",    { XM, EXEvexXGscat }, 0 },
 945   },
 946   /* PREFIX_EVEX_0F388A */
 947   {
 948     { Bad_Opcode },
 949     { Bad_Opcode },
 950     { "vcompressp%XW",  { EXEvexXGscat, XM }, 0 },
 951   },
 952   /* PREFIX_EVEX_0F388B */
 953   {
 954     { Bad_Opcode },
 955     { Bad_Opcode },
 956     { "vpcompress%LW",  { EXEvexXGscat, XM }, 0 },
 957   },
 958   /* PREFIX_EVEX_0F388D */
 959   {
 960     { Bad_Opcode },
 961     { Bad_Opcode },
 962     { VEX_W_TABLE (EVEX_W_0F388D_P_2) },
 963   },
 964   /* PREFIX_EVEX_0F388F */
 965   {
 966     { Bad_Opcode },
 967     { Bad_Opcode },
 968     { "vpshufbitqmb",  { XMask, Vex, EXx }, 0 },
 969   },
 970   /* PREFIX_EVEX_0F3890 */
 971   {
 972     { Bad_Opcode },
 973     { Bad_Opcode },
 974     { "vpgatherd%LW",   { XM, MVexVSIBDWpX }, 0 },
 975   },
 976   /* PREFIX_EVEX_0F3891 */
 977   {
 978     { Bad_Opcode },
 979     { Bad_Opcode },
 980     { VEX_W_TABLE (EVEX_W_0F3891_P_2) },
 981   },
 982   /* PREFIX_EVEX_0F3892 */
 983   {
 984     { Bad_Opcode },
 985     { Bad_Opcode },
 986     { "vgatherdp%XW",   { XM, MVexVSIBDWpX}, 0 },
 987   },
 988   /* PREFIX_EVEX_0F3893 */
 989   {
 990     { Bad_Opcode },
 991     { Bad_Opcode },
 992     { VEX_W_TABLE (EVEX_W_0F3893_P_2) },
 993   },
 994   /* PREFIX_EVEX_0F389A */
 995   {
 996     { Bad_Opcode },
 997     { Bad_Opcode },
 998     { "vfmsub132p%XW",  { XM, Vex, EXx, EXxEVexR }, 0 },
 999     { "v4fmaddps",      { XM, Vex, Mxmm }, 0 },
1000   },
1001   /* PREFIX_EVEX_0F389B */
1002   {
1003     { Bad_Opcode },
1004     { Bad_Opcode },
1005     { "vfmsub132s%XW",  { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexR }, 0 },
1006     { "v4fmaddss",      { XMScalar, VexScalar, Mxmm }, 0 },
1007   },
1008   /* PREFIX_EVEX_0F38A0 */
1009   {
1010     { Bad_Opcode },
1011     { Bad_Opcode },
1012     { "vpscatterd%LW",  { MVexVSIBDWpX, XM }, 0 },
1013   },
1014   /* PREFIX_EVEX_0F38A1 */
1015   {
1016     { Bad_Opcode },
1017     { Bad_Opcode },
1018     { VEX_W_TABLE (EVEX_W_0F38A1_P_2) },
1019   },
1020   /* PREFIX_EVEX_0F38A2 */
1021   {
1022     { Bad_Opcode },
1023     { Bad_Opcode },
1024     { "vscatterdp%XW",  { MVexVSIBDWpX, XM }, 0 },
1025   },
1026   /* PREFIX_EVEX_0F38A3 */
1027   {
1028     { Bad_Opcode },
1029     { Bad_Opcode },
1030     { VEX_W_TABLE (EVEX_W_0F38A3_P_2) },
1031   },
1032   /* PREFIX_EVEX_0F38AA */
1033   {
1034     { Bad_Opcode },
1035     { Bad_Opcode },
1036     { "vfmsub213p%XW",  { XM, Vex, EXx, EXxEVexR }, 0 },
1037     { "v4fnmaddps",     { XM, Vex, Mxmm }, 0 },
1038   },
1039   /* PREFIX_EVEX_0F38AB */
1040   {
1041     { Bad_Opcode },
1042     { Bad_Opcode },
1043     { "vfmsub213s%XW",  { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexR }, 0 },
1044     { "v4fnmaddss",     { XMScalar, VexScalar, Mxmm }, 0 },
1045   },
1046   /* PREFIX_EVEX_0F38B4 */
1047   {
1048     { Bad_Opcode },
1049     { Bad_Opcode },
1050     { "vpmadd52luq",    { XM, Vex, EXx }, 0 },
1051   },
1052   /* PREFIX_EVEX_0F38B5 */
1053   {
1054     { Bad_Opcode },
1055     { Bad_Opcode },
1056     { "vpmadd52huq",    { XM, Vex, EXx }, 0 },
1057   },
1058   /* PREFIX_EVEX_0F38C4 */
1059   {
1060     { Bad_Opcode },
1061     { Bad_Opcode },
1062     { "vpconflict%LW",  { XM, EXx }, 0 },
1063   },
1064   /* PREFIX_EVEX_0F38C6_REG_1 */
1065   {
1066     { Bad_Opcode },
1067     { Bad_Opcode },
1068     { EVEX_LEN_TABLE (EVEX_LEN_0F38C6_REG_1_PREFIX_2) },
1069   },
1070   /* PREFIX_EVEX_0F38C6_REG_2 */
1071   {
1072     { Bad_Opcode },
1073     { Bad_Opcode },
1074     { EVEX_LEN_TABLE (EVEX_LEN_0F38C6_REG_2_PREFIX_2) },
1075   },
1076   /* PREFIX_EVEX_0F38C6_REG_5 */
1077   {
1078     { Bad_Opcode },
1079     { Bad_Opcode },
1080     { EVEX_LEN_TABLE (EVEX_LEN_0F38C6_REG_5_PREFIX_2) },
1081   },
1082   /* PREFIX_EVEX_0F38C6_REG_6 */
1083   {
1084     { Bad_Opcode },
1085     { Bad_Opcode },
1086     { EVEX_LEN_TABLE (EVEX_LEN_0F38C6_REG_6_PREFIX_2) },
1087   },
1088   /* PREFIX_EVEX_0F38C7_REG_1 */
1089   {
1090     { Bad_Opcode },
1091     { Bad_Opcode },
1092     { VEX_W_TABLE (EVEX_W_0F38C7_R_1_P_2) },
1093   },
1094   /* PREFIX_EVEX_0F38C7_REG_2 */
1095   {
1096     { Bad_Opcode },
1097     { Bad_Opcode },
1098     { VEX_W_TABLE (EVEX_W_0F38C7_R_2_P_2) },
1099   },
1100   /* PREFIX_EVEX_0F38C7_REG_5 */
1101   {
1102     { Bad_Opcode },
1103     { Bad_Opcode },
1104     { VEX_W_TABLE (EVEX_W_0F38C7_R_5_P_2) },
1105   },
1106   /* PREFIX_EVEX_0F38C7_REG_6 */
1107   {
1108     { Bad_Opcode },
1109     { Bad_Opcode },
1110     { VEX_W_TABLE (EVEX_W_0F38C7_R_6_P_2) },
1111   },
1112   /* PREFIX_EVEX_0F38C8 */
1113   {
1114     { Bad_Opcode },
1115     { Bad_Opcode },
1116     { "vexp2p%XW",        { XM, EXx, EXxEVexS }, 0 },
1117   },
1118   /* PREFIX_EVEX_0F38CA */
1119   {
1120     { Bad_Opcode },
1121     { Bad_Opcode },
1122     { "vrcp28p%XW",       { XM, EXx, EXxEVexS }, 0 },
1123   },
1124   /* PREFIX_EVEX_0F38CB */
1125   {
1126     { Bad_Opcode },
1127     { Bad_Opcode },
1128     { "vrcp28s%XW",     { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexS }, 0 },
1129   },
1130   /* PREFIX_EVEX_0F38CC */
1131   {
1132     { Bad_Opcode },
1133     { Bad_Opcode },
1134     { "vrsqrt28p%XW",     { XM, EXx, EXxEVexS }, 0 },
1135   },
1136   /* PREFIX_EVEX_0F38CD */
1137   {
1138     { Bad_Opcode },
1139     { Bad_Opcode },
1140     { "vrsqrt28s%XW",   { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexS }, 0 },
1141   },
1142   /* PREFIX_EVEX_0F3A00 */
1143   {
1144     { Bad_Opcode },
1145     { Bad_Opcode },
1146     { VEX_W_TABLE (EVEX_W_0F3A00_P_2) },
1147   },
1148   /* PREFIX_EVEX_0F3A01 */
1149   {
1150     { Bad_Opcode },
1151     { Bad_Opcode },
1152     { VEX_W_TABLE (EVEX_W_0F3A01_P_2) },
1153   },
1154   /* PREFIX_EVEX_0F3A03 */
1155   {
1156     { Bad_Opcode },
1157     { Bad_Opcode },
1158     { "valign%LW",      { XM, Vex, EXx, Ib }, 0 },
1159   },
1160   /* PREFIX_EVEX_0F3A05 */
1161   {
1162     { Bad_Opcode },
1163     { Bad_Opcode },
1164     { VEX_W_TABLE (EVEX_W_0F3A05_P_2) },
1165   },
1166   /* PREFIX_EVEX_0F3A08 */
1167   {
1168     { Bad_Opcode },
1169     { Bad_Opcode },
1170     { VEX_W_TABLE (EVEX_W_0F3A08_P_2) },
1171   },
1172   /* PREFIX_EVEX_0F3A09 */
1173   {
1174     { Bad_Opcode },
1175     { Bad_Opcode },
1176     { VEX_W_TABLE (EVEX_W_0F3A09_P_2) },
1177   },
1178   /* PREFIX_EVEX_0F3A0A */
1179   {
1180     { Bad_Opcode },
1181     { Bad_Opcode },
1182     { VEX_W_TABLE (EVEX_W_0F3A0A_P_2) },
1183   },
1184   /* PREFIX_EVEX_0F3A0B */
1185   {
1186     { Bad_Opcode },
1187     { Bad_Opcode },
1188     { VEX_W_TABLE (EVEX_W_0F3A0B_P_2) },
1189   },
1190   /* PREFIX_EVEX_0F3A14 */
1191   {
1192     { Bad_Opcode },
1193     { Bad_Opcode },
1194     { EVEX_LEN_TABLE (EVEX_LEN_0F3A14_P_2) },
1195   },
1196   /* PREFIX_EVEX_0F3A15 */
1197   {
1198     { Bad_Opcode },
1199     { Bad_Opcode },
1200     { EVEX_LEN_TABLE (EVEX_LEN_0F3A15_P_2) },
1201   },
1202   /* PREFIX_EVEX_0F3A16 */
1203   {
1204     { Bad_Opcode },
1205     { Bad_Opcode },
1206     { EVEX_LEN_TABLE (EVEX_LEN_0F3A16_P_2) },
1207   },
1208   /* PREFIX_EVEX_0F3A17 */
1209   {
1210     { Bad_Opcode },
1211     { Bad_Opcode },
1212     { EVEX_LEN_TABLE (EVEX_LEN_0F3A17_P_2) },
1213   },
1214   /* PREFIX_EVEX_0F3A18 */
1215   {
1216     { Bad_Opcode },
1217     { Bad_Opcode },
1218     { VEX_W_TABLE (EVEX_W_0F3A18_P_2) },
1219   },
1220   /* PREFIX_EVEX_0F3A19 */
1221   {
1222     { Bad_Opcode },
1223     { Bad_Opcode },
1224     { VEX_W_TABLE (EVEX_W_0F3A19_P_2) },
1225   },
1226   /* PREFIX_EVEX_0F3A1A */
1227   {
1228     { Bad_Opcode },
1229     { Bad_Opcode },
1230     { VEX_W_TABLE (EVEX_W_0F3A1A_P_2) },
1231   },
1232   /* PREFIX_EVEX_0F3A1B */
1233   {
1234     { Bad_Opcode },
1235     { Bad_Opcode },
1236     { VEX_W_TABLE (EVEX_W_0F3A1B_P_2) },
1237   },
1238   /* PREFIX_EVEX_0F3A1E */
1239   {
1240     { Bad_Opcode },
1241     { Bad_Opcode },
1242     { "vpcmpu%LW",      { XMask, Vex, EXx, VPCMP }, 0 },
1243   },
1244   /* PREFIX_EVEX_0F3A1F */
1245   {
1246     { Bad_Opcode },
1247     { Bad_Opcode },
1248     { "vpcmp%LW",       { XMask, Vex, EXx, VPCMP }, 0 },
1249   },
1250   /* PREFIX_EVEX_0F3A20 */
1251   {
1252     { Bad_Opcode },
1253     { Bad_Opcode },
1254     { EVEX_LEN_TABLE (EVEX_LEN_0F3A20_P_2) },
1255   },
1256   /* PREFIX_EVEX_0F3A21 */
1257   {
1258     { Bad_Opcode },
1259     { Bad_Opcode },
1260     { VEX_W_TABLE (EVEX_W_0F3A21_P_2) },
1261   },
1262   /* PREFIX_EVEX_0F3A22 */
1263   {
1264     { Bad_Opcode },
1265     { Bad_Opcode },
1266     { EVEX_LEN_TABLE (EVEX_LEN_0F3A22_P_2) },
1267   },
1268   /* PREFIX_EVEX_0F3A23 */
1269   {
1270     { Bad_Opcode },
1271     { Bad_Opcode },
1272     { VEX_W_TABLE (EVEX_W_0F3A23_P_2) },
1273   },
1274   /* PREFIX_EVEX_0F3A25 */
1275   {
1276     { Bad_Opcode },
1277     { Bad_Opcode },
1278     { "vpternlog%LW",   { XM, Vex, EXx, Ib }, 0 },
1279   },
1280   /* PREFIX_EVEX_0F3A26 */
1281   {
1282     { Bad_Opcode },
1283     { Bad_Opcode },
1284     { "vgetmantp%XW",   { XM, EXx, EXxEVexS, Ib }, 0 },
1285   },
1286   /* PREFIX_EVEX_0F3A27 */
1287   {
1288     { Bad_Opcode },
1289     { Bad_Opcode },
1290     { "vgetmants%XW",   { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexS, Ib }, 0 },
1291   },
1292   /* PREFIX_EVEX_0F3A38 */
1293   {
1294     { Bad_Opcode },
1295     { Bad_Opcode },
1296     { VEX_W_TABLE (EVEX_W_0F3A38_P_2) },
1297   },
1298   /* PREFIX_EVEX_0F3A39 */
1299   {
1300     { Bad_Opcode },
1301     { Bad_Opcode },
1302     { VEX_W_TABLE (EVEX_W_0F3A39_P_2) },
1303   },
1304   /* PREFIX_EVEX_0F3A3A */
1305   {
1306     { Bad_Opcode },
1307     { Bad_Opcode },
1308     { VEX_W_TABLE (EVEX_W_0F3A3A_P_2) },
1309   },
1310   /* PREFIX_EVEX_0F3A3B */
1311   {
1312     { Bad_Opcode },
1313     { Bad_Opcode },
1314     { VEX_W_TABLE (EVEX_W_0F3A3B_P_2) },
1315   },
1316   /* PREFIX_EVEX_0F3A3E */
1317   {
1318     { Bad_Opcode },
1319     { Bad_Opcode },
1320     { VEX_W_TABLE (EVEX_W_0F3A3E_P_2) },
1321   },
1322   /* PREFIX_EVEX_0F3A3F */
1323   {
1324     { Bad_Opcode },
1325     { Bad_Opcode },
1326     { VEX_W_TABLE (EVEX_W_0F3A3F_P_2) },
1327   },
1328   /* PREFIX_EVEX_0F3A42 */
1329   {
1330     { Bad_Opcode },
1331     { Bad_Opcode },
1332     { VEX_W_TABLE (EVEX_W_0F3A42_P_2) },
1333   },
1334   /* PREFIX_EVEX_0F3A43 */
1335   {
1336     { Bad_Opcode },
1337     { Bad_Opcode },
1338     { VEX_W_TABLE (EVEX_W_0F3A43_P_2) },
1339   },
1340   /* PREFIX_EVEX_0F3A50 */
1341   {
1342     { Bad_Opcode },
1343     { Bad_Opcode },
1344     { VEX_W_TABLE (EVEX_W_0F3A50_P_2) },
1345   },
1346   /* PREFIX_EVEX_0F3A51 */
1347   {
1348     { Bad_Opcode },
1349     { Bad_Opcode },
1350     { VEX_W_TABLE (EVEX_W_0F3A51_P_2) },
1351   },
1352   /* PREFIX_EVEX_0F3A54 */
1353   {
1354     { Bad_Opcode },
1355     { Bad_Opcode },
1356     { "vfixupimmp%XW",  { XM, Vex, EXx, EXxEVexS, Ib }, 0 },
1357   },
1358   /* PREFIX_EVEX_0F3A55 */
1359   {
1360     { Bad_Opcode },
1361     { Bad_Opcode },
1362     { "vfixupimms%XW",  { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexS, Ib }, 0 },
1363   },
1364   /* PREFIX_EVEX_0F3A56 */
1365   {
1366     { Bad_Opcode },
1367     { Bad_Opcode },
1368     { VEX_W_TABLE (EVEX_W_0F3A56_P_2) },
1369   },
1370   /* PREFIX_EVEX_0F3A57 */
1371   {
1372     { Bad_Opcode },
1373     { Bad_Opcode },
1374     { VEX_W_TABLE (EVEX_W_0F3A57_P_2) },
1375   },
1376   /* PREFIX_EVEX_0F3A66 */
1377   {
1378     { Bad_Opcode },
1379     { Bad_Opcode },
1380     { VEX_W_TABLE (EVEX_W_0F3A66_P_2) },
1381   },
1382   /* PREFIX_EVEX_0F3A67 */
1383   {
1384     { Bad_Opcode },
1385     { Bad_Opcode },
1386     { VEX_W_TABLE (EVEX_W_0F3A67_P_2) },
1387   },
1388   /* PREFIX_EVEX_0F3A70 */
1389   {
1390     { Bad_Opcode },
1391     { Bad_Opcode },
1392     { VEX_W_TABLE (EVEX_W_0F3A70_P_2) },
1393   },
1394   /* PREFIX_EVEX_0F3A71 */
1395   {
1396     { Bad_Opcode },
1397     { Bad_Opcode },
1398     { VEX_W_TABLE (EVEX_W_0F3A71_P_2) },
1399   },
1400   /* PREFIX_EVEX_0F3A72 */
1401   {
1402     { Bad_Opcode },
1403     { Bad_Opcode },
1404     { VEX_W_TABLE (EVEX_W_0F3A72_P_2) },
1405   },
1406   /* PREFIX_EVEX_0F3A73 */
1407   {
1408     { Bad_Opcode },
1409     { Bad_Opcode },
1410     { VEX_W_TABLE (EVEX_W_0F3A73_P_2) },
1411   },