opcodes/i386-dis-evex-reg.h

   1   /* REG_EVEX_0F71 */
   2   {
   3     { Bad_Opcode },
   4     { Bad_Opcode },
   5     { "vpsrlw", { Vex, EXx, Ib }, PREFIX_DATA },
   6     { Bad_Opcode },
   7     { "vpsraw", { Vex, EXx, Ib }, PREFIX_DATA },
   8     { Bad_Opcode },
   9     { "vpsllw", { Vex, EXx, Ib }, PREFIX_DATA },
  10   },
  11   /* REG_EVEX_0F72 */
  12   {
  13     { "vpror%DQ",       { Vex, EXx, Ib }, PREFIX_DATA },
  14     { "vprol%DQ",       { Vex, EXx, Ib }, PREFIX_DATA },
  15     { VEX_W_TABLE (EVEX_W_0F72_R_2) },
  16     { Bad_Opcode },
  17     { "vpsra%DQ",       { Vex, EXx, Ib }, PREFIX_DATA },
  18     { Bad_Opcode },
  19     { VEX_W_TABLE (EVEX_W_0F72_R_6) },
  20   },
  21   /* REG_EVEX_0F73 */
  22   {
  23     { Bad_Opcode },
  24     { Bad_Opcode },
  25     { VEX_W_TABLE (EVEX_W_0F73_R_2) },
  26     { "vpsrldq",        { Vex, EXx, Ib }, PREFIX_DATA },
  27     { Bad_Opcode },
  28     { Bad_Opcode },
  29     { VEX_W_TABLE (EVEX_W_0F73_R_6) },
  30     { "vpslldq",        { Vex, EXx, Ib }, PREFIX_DATA },
  31   },
  32   /* REG_EVEX_0F38C6_M_0_L_2 */
  33   {
  34     { Bad_Opcode },
  35     { "vgatherpf0dp%XW",  { MVexVSIBDWpX }, PREFIX_DATA },
  36     { "vgatherpf1dp%XW",  { MVexVSIBDWpX }, PREFIX_DATA },
  37     { Bad_Opcode },
  38     { Bad_Opcode },
  39     { "vscatterpf0dp%XW",  { MVexVSIBDWpX }, PREFIX_DATA },
  40     { "vscatterpf1dp%XW",  { MVexVSIBDWpX }, PREFIX_DATA },
  41   },
  42   /* REG_EVEX_0F38C7_M_0_L_2_W_0 */
  43   {
  44     { Bad_Opcode },
  45     { "vgatherpf0qp%XW",  { MVexVSIBQWpX }, PREFIX_DATA },
  46     { "vgatherpf1qp%XW",  { MVexVSIBQWpX }, PREFIX_DATA },
  47     { Bad_Opcode },
  48     { Bad_Opcode },
  49     { "vscatterpf0qp%XW",  { MVexVSIBQWpX }, PREFIX_DATA },
  50     { "vscatterpf1qp%XW",  { MVexVSIBQWpX }, PREFIX_DATA },
  51   },