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 */ 33 { 34 { Bad_Opcode }, 35 { MOD_TABLE (MOD_EVEX_0F38C6_REG_1) }, 36 { MOD_TABLE (MOD_EVEX_0F38C6_REG_2) }, 37 { Bad_Opcode }, 38 { Bad_Opcode }, 39 { MOD_TABLE (MOD_EVEX_0F38C6_REG_5) }, 40 { MOD_TABLE (MOD_EVEX_0F38C6_REG_6) }, 41 }, 42 /* REG_EVEX_0F38C7 */ 43 { 44 { Bad_Opcode }, 45 { MOD_TABLE (MOD_EVEX_0F38C7_REG_1) }, 46 { MOD_TABLE (MOD_EVEX_0F38C7_REG_2) }, 47 { Bad_Opcode }, 48 { Bad_Opcode }, 49 { MOD_TABLE (MOD_EVEX_0F38C7_REG_5) }, 50 { MOD_TABLE (MOD_EVEX_0F38C7_REG_6) }, 51 }, 52