- /* PREFIX_EVEX_0F38B6 */
- {
- { Bad_Opcode },
- { Bad_Opcode },
- { "vfmaddsub231p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
- },
- /* PREFIX_EVEX_0F38B7 */
- {
- { Bad_Opcode },
- { Bad_Opcode },
- { "vfmsubadd231p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
- },
- /* PREFIX_EVEX_0F38B8 */
- {
- { Bad_Opcode },
- { Bad_Opcode },
- { "vfmadd231p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
- },
- /* PREFIX_EVEX_0F38B9 */
- {
- { Bad_Opcode },
- { Bad_Opcode },
- { "vfmadd231s%XW", { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexR }, 0 },
- },
- /* PREFIX_EVEX_0F38BA */
- {
- { Bad_Opcode },
- { Bad_Opcode },
- { "vfmsub231p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
- },
- /* PREFIX_EVEX_0F38BB */
- {
- { Bad_Opcode },
- { Bad_Opcode },
- { "vfmsub231s%XW", { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexR }, 0 },
- },
- /* PREFIX_EVEX_0F38BC */
- {
- { Bad_Opcode },
- { Bad_Opcode },
- { "vfnmadd231p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
- },
- /* PREFIX_EVEX_0F38BD */
- {
- { Bad_Opcode },
- { Bad_Opcode },
- { "vfnmadd231s%XW", { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexR }, 0 },
- },
- /* PREFIX_EVEX_0F38BE */
- {
- { Bad_Opcode },
- { Bad_Opcode },
- { "vfnmsub231p%XW", { XM, Vex, EXx, EXxEVexR }, 0 },
- },
- /* PREFIX_EVEX_0F38BF */
- {
- { Bad_Opcode },
- { Bad_Opcode },
- { "vfnmsub231s%XW", { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexR }, 0 },
- },