projects / binutils-gdb.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
GDB/testsuite: Fix PARAM_ZUINTEGER reported for PARAM_ZUINTEGER_UNLIMITED
[binutils-gdb.git] / opcodes / i386-dis-evex-prefix.h
diff --git a/opcodes/i386-dis-evex-prefix.h b/opcodes/i386-dis-evex-prefix.h
index a9581ee7fe65cc682bde0d33932cb64416deda0d..7c2fb484f95d594b486303301fda90554572e6e8 100644 (file)
--- a/opcodes/i386-dis-evex-prefix.h
+++ b/opcodes/i386-dis-evex-prefix.h
@@ -1,98 +1,8 @@
-  /* PREFIX_EVEX_0F10 */
-  {
-    { "vmovupX",       { XM, EXEvexXNoBcst }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F10_P_1) },
-    { "vmovupX",       { XM, EXEvexXNoBcst }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F10_P_3) },
-  },
-  /* PREFIX_EVEX_0F11 */
-  {
-    { "vmovupX",       { EXxS, XM }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F11_P_1) },
-    { "vmovupX",       { EXxS, XM }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F11_P_3) },
-  },
-  /* PREFIX_EVEX_0F12 */
-  {
-    { MOD_TABLE (MOD_EVEX_0F12_PREFIX_0) },
-    { VEX_W_TABLE (EVEX_W_0F12_P_1) },
-    { MOD_TABLE (MOD_EVEX_0F12_PREFIX_2) },
-    { VEX_W_TABLE (EVEX_W_0F12_P_3) },
-  },
-  /* PREFIX_EVEX_0F16 */
-  {
-    { MOD_TABLE (MOD_EVEX_0F16_PREFIX_0) },
-    { VEX_W_TABLE (EVEX_W_0F16_P_1) },
-    { MOD_TABLE (MOD_EVEX_0F16_PREFIX_2) },
-  },
-  /* PREFIX_EVEX_0F2A */
-  {
-    { Bad_Opcode },
-    { "vcvtsi2ss{%LQ|}",       { XMScalar, VexScalar, EXxEVexR, Edq }, 0 },
-    { Bad_Opcode },
-    { VEX_W_TABLE (EVEX_W_0F2A_P_3) },
-  },
-  /* PREFIX_EVEX_0F51 */
-  {
-    { "vsqrtpX",       { XM, EXx, EXxEVexR }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F51_P_1) },
-    { "vsqrtpX",       { XM, EXx, EXxEVexR }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F51_P_3) },
-  },
-  /* PREFIX_EVEX_0F58 */
-  {
-    { "vaddpX",        { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F58_P_1) },
-    { "vaddpX",        { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F58_P_3) },
-  },
-  /* PREFIX_EVEX_0F59 */
-  {
-    { "vmulpX",        { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F59_P_1) },
-    { "vmulpX",        { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F59_P_3) },
-  },
-  /* PREFIX_EVEX_0F5A */
-  {
-    { VEX_W_TABLE (EVEX_W_0F5A_P_0) },
-    { VEX_W_TABLE (EVEX_W_0F5A_P_1) },
-    { VEX_W_TABLE (EVEX_W_0F5A_P_2) },
-    { VEX_W_TABLE (EVEX_W_0F5A_P_3) },
-  },
   /* PREFIX_EVEX_0F5B */
   {
     { VEX_W_TABLE (EVEX_W_0F5B_P_0) },
-    { VEX_W_TABLE (EVEX_W_0F5B_P_1) },
-    { VEX_W_TABLE (EVEX_W_0F5B_P_2) },
-  },
-  /* PREFIX_EVEX_0F5C */
-  {
-    { "vsubpX",        { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F5C_P_1) },
-    { "vsubpX",        { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F5C_P_3) },
-  },
-  /* PREFIX_EVEX_0F5D */
-  {
-    { "vminpX",        { XM, Vex, EXx, EXxEVexS }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F5D_P_1) },
-    { "vminpX",        { XM, Vex, EXx, EXxEVexS }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F5D_P_3) },
-  },
-  /* PREFIX_EVEX_0F5E */
-  {
-    { "vdivpX",        { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F5E_P_1) },
-    { "vdivpX",        { XM, Vex, EXx, EXxEVexR }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F5E_P_3) },
-  },
-  /* PREFIX_EVEX_0F5F */
-  {
-    { "vmaxpX",        { XM, Vex, EXx, EXxEVexS }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F5F_P_1) },
-    { "vmaxpX",        { XM, Vex, EXx, EXxEVexS }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0F5F_P_3) },
+    { "vcvttp%XS2dq", { XM, EXx, EXxEVexS }, 0 },
+    { "vcvtp%XS2dq", { XM, EXx, EXxEVexR }, 0 },
   },
   /* PREFIX_EVEX_0F6F */
   {
@@ -111,16 +21,16 @@
   /* PREFIX_EVEX_0F78 */
   {
     { VEX_W_TABLE (EVEX_W_0F78_P_0) },
-    { "vcvttss2usi",   { Gdq, EXxmm_md, EXxEVexS }, 0 },
+    { "vcvttss2usi",   { Gdq, EXd, EXxEVexS }, 0 },
     { VEX_W_TABLE (EVEX_W_0F78_P_2) },
-    { "vcvttsd2usi",   { Gdq, EXxmm_mq, EXxEVexS }, 0 },
+    { "vcvttsd2usi",   { Gdq, EXq, EXxEVexS }, 0 },
   },
   /* PREFIX_EVEX_0F79 */
   {
     { VEX_W_TABLE (EVEX_W_0F79_P_0) },
-    { "vcvtss2usi",    { Gdq, EXxmm_md, EXxEVexR }, 0 },
+    { "vcvtss2usi",    { Gdq, EXd, EXxEVexR }, 0 },
     { VEX_W_TABLE (EVEX_W_0F79_P_2) },
-    { "vcvtsd2usi",    { Gdq, EXxmm_mq, EXxEVexR }, 0 },
+    { "vcvtsd2usi",    { Gdq, EXq, EXxEVexR }, 0 },
   },
   /* PREFIX_EVEX_0F7A */
   {
@@ -134,13 +44,13 @@
     { Bad_Opcode },
     { "vcvtusi2ss{%LQ|}",      { XMScalar, VexScalar, EXxEVexR, Edq }, 0 },
     { VEX_W_TABLE (EVEX_W_0F7B_P_2) },
-    { VEX_W_TABLE (EVEX_W_0F7B_P_3) },
+    { "vcvtusi2sd{%LQ|}",      { XMScalar, VexScalar, EXxEVexR64, Edq }, 0 },
   },
   /* PREFIX_EVEX_0F7E */
   {
     { Bad_Opcode },
-    { EVEX_LEN_TABLE (EVEX_LEN_0F7E_P_1) },
-    { EVEX_LEN_TABLE (EVEX_LEN_0F7E_P_2) },
+    { VEX_W_TABLE (EVEX_W_0F7E_P_1) },
+    { VEX_LEN_TABLE (VEX_LEN_0F7E_P_2) },
   },
   /* PREFIX_EVEX_0F7F */
   {
@@ -151,17 +61,17 @@
   },
   /* PREFIX_EVEX_0FC2 */
   {
-    { "vcmppX",        { XMask, Vex, EXx, EXxEVexS, CMP }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0FC2_P_1) },
-    { "vcmppX",        { XMask, Vex, EXx, EXxEVexS, CMP }, PREFIX_OPCODE },
-    { VEX_W_TABLE (EVEX_W_0FC2_P_3) },
+    { "vcmppX",        { MaskG, Vex, EXx, EXxEVexS, CMP }, PREFIX_OPCODE },
+    { "vcmps%XS",      { MaskG, VexScalar, EXd, EXxEVexS, CMP }, 0 },
+    { "vcmppX",        { MaskG, Vex, EXx, EXxEVexS, CMP }, PREFIX_OPCODE },
+    { "vcmps%XD",      { MaskG, VexScalar, EXq, EXxEVexS, CMP }, 0 },
   },
   /* PREFIX_EVEX_0FE6 */
   {
     { Bad_Opcode },
     { VEX_W_TABLE (EVEX_W_0FE6_P_1) },
-    { VEX_W_TABLE (EVEX_W_0FE6_P_2) },
-    { VEX_W_TABLE (EVEX_W_0FE6_P_3) },
+    { "vcvttp%XD2dq%XY", { XMxmmq, EXx, EXxEVexS }, 0 },
+    { "vcvtp%XD2dq%XY", { XMxmmq, EXx, EXxEVexR }, 0 },
   },
   /* PREFIX_EVEX_0F3810 */
   {
@@ -185,7 +95,7 @@
   {
     { Bad_Opcode },
     { VEX_W_TABLE (EVEX_W_0F3813_P_1) },
-    { VEX_W_TABLE (EVEX_W_0F3813_P_2) },
+    { "vcvtph2p%XS", { XM, EXxmmq, EXxEVexS }, 0 },
   },
   /* PREFIX_EVEX_0F3814 */
   {
@@ -238,25 +148,25 @@
   /* PREFIX_EVEX_0F3826 */
   {
     { Bad_Opcode },
-    { "vptestnm%BW",   { XMask, Vex, EXx }, 0 },
-    { "vptestm%BW",    { XMask, Vex, EXx }, 0 },
+    { "vptestnm%BW",   { MaskG, Vex, EXx }, 0 },
+    { "vptestm%BW",    { MaskG, Vex, EXx }, 0 },
   },
   /* PREFIX_EVEX_0F3827 */
   {
     { Bad_Opcode },
-    { "vptestnm%DQ",   { XMask, Vex, EXx }, 0 },
-    { "vptestm%DQ",    { XMask, Vex, EXx }, 0 },
+    { "vptestnm%DQ",   { MaskG, Vex, EXx }, 0 },
+    { "vptestm%DQ",    { MaskG, Vex, EXx }, 0 },
   },
   /* PREFIX_EVEX_0F3828 */
   {
     { Bad_Opcode },
-    { "vpmovm2%BW",    { XM, MaskR }, 0 },
+    { MOD_TABLE (MOD_EVEX_0F3828_P_1) },
     { VEX_W_TABLE (EVEX_W_0F3828_P_2) },
   },
   /* PREFIX_EVEX_0F3829 */
   {
     { Bad_Opcode },
-    { "vpmov%BW2m",    { XMask, EXx }, 0 },
+    { "vpmov%BW2m",    { MaskG, EXx }, 0 },
     { VEX_W_TABLE (EVEX_W_0F3829_P_2) },
   },
   /* PREFIX_EVEX_0F382A */
@@ -304,13 +214,13 @@
   /* PREFIX_EVEX_0F3838 */
   {
     { Bad_Opcode },
-    { "vpmovm2%DQ",    { XM, MaskR }, 0 },
+    { MOD_TABLE (MOD_EVEX_0F3838_P_1) },
     { "vpminsb",       { XM, Vex, EXx }, 0 },
   },
   /* PREFIX_EVEX_0F3839 */
   {
     { Bad_Opcode },
-    { "vpmov%DQ2m",    { XMask, EXx }, 0 },
+    { "vpmov%DQ2m",    { MaskG, EXx }, 0 },
     { "vpmins%DQ",     { XM, Vex, EXx }, 0 },
   },
   /* PREFIX_EVEX_0F383A */
@@ -322,7 +232,7 @@
   /* PREFIX_EVEX_0F3852 */
   {
     { Bad_Opcode },
-    { VEX_W_TABLE (EVEX_W_0F3852_P_1) },
+    { "vdpbf16p%XS", { XM, Vex, EXx }, 0 },
     { "vpdpwssd",      { XM, Vex, EXx }, 0 },
     { "vp4dpwssd",     { XM, Vex, EXxmm }, 0 },
   },
@@ -338,14 +248,14 @@
     { Bad_Opcode },
     { Bad_Opcode },
     { Bad_Opcode },
-    { "vp2intersect%DQ", { XMask, Vex, EXx, EXxEVexS }, 0 },
+    { "vp2intersect%DQ", { MaskG, Vex, EXx, EXxEVexS }, 0 },
   },
   /* PREFIX_EVEX_0F3872 */
   {
     { Bad_Opcode },
-    { VEX_W_TABLE (EVEX_W_0F3872_P_1) },
+    { "vcvtnep%XS2bf16%XY", { XMxmmq, EXx }, 0 },
     { VEX_W_TABLE (EVEX_W_0F3872_P_2) },
-    { VEX_W_TABLE (EVEX_W_0F3872_P_3) },
+    { "vcvtne2p%XS2bf16", { XM, Vex, EXx}, 0 },
   },
   /* PREFIX_EVEX_0F389A */
   {
@@ -358,7 +268,7 @@
   {
     { Bad_Opcode },
     { Bad_Opcode },
-    { "vfmsub132s%XW", { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexR }, 0 },
+    { "vfmsub132s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, 0 },
     { "v4fmaddss",     { XMScalar, VexScalar, Mxmm }, 0 },
   },
   /* PREFIX_EVEX_0F38AA */
@@ -372,6 +282,218 @@
   {
     { Bad_Opcode },
     { Bad_Opcode },
-    { "vfmsub213s%XW", { XMScalar, VexScalar, EXVexWdqScalar, EXxEVexR }, 0 },
+    { "vfmsub213s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, 0 },
     { "v4fnmaddss",    { XMScalar, VexScalar, Mxmm }, 0 },
   },
+  /* PREFIX_EVEX_0F3A08 */
+  {
+    { "vrndscalep%XH",  { XM, EXxh, EXxEVexS, Ib }, 0 },
+    { Bad_Opcode },
+    { "vrndscalep%XS",  { XM, EXx, EXxEVexS, Ib }, 0 },
+  },
+  /* PREFIX_EVEX_0F3A0A */
+  {
+    { "vrndscales%XH",  { XMScalar, VexScalar, EXw, EXxEVexS, Ib }, 0 },
+    { Bad_Opcode },
+    { "vrndscales%XS",  { XMScalar, VexScalar, EXd, EXxEVexS, Ib }, 0 },
+  },
+  /* PREFIX_EVEX_0F3A26 */
+  {
+    { "vgetmantp%XH",     { XM, EXxh, EXxEVexS, Ib }, 0 },
+    { Bad_Opcode },
+    { "vgetmantp%XW",  { XM, EXx, EXxEVexS, Ib }, 0 },
+  },
+  /* PREFIX_EVEX_0F3A27 */
+  {
+    { "vgetmants%XH",     { XMScalar, VexScalar, EXw, EXxEVexS, Ib }, 0 },
+    { Bad_Opcode },
+    { "vgetmants%XW",  { XMScalar, VexScalar, EXdq, EXxEVexS, Ib }, 0 },
+  },
+  /* PREFIX_EVEX_0F3A56 */
+  {
+    { "vreducep%XH",      { XM, EXxh, EXxEVexS, Ib }, 0 },
+    { Bad_Opcode },
+    { "vreducep%XW",   { XM, EXx, EXxEVexS, Ib }, 0 },
+  },
+  /* PREFIX_EVEX_0F3A57 */
+  {
+    { "vreduces%XH",      { XMScalar, VexScalar, EXw, EXxEVexS, Ib }, 0 },
+    { Bad_Opcode },
+    { "vreduces%XW",   { XMScalar, VexScalar, EXdq, EXxEVexS, Ib }, 0 },
+  },
+  /* PREFIX_EVEX_0F3A66 */
+  {
+    { "vfpclassp%XH%XZ",  { MaskG, EXxh, Ib }, 0 },
+    { Bad_Opcode },
+    { "vfpclassp%XW%XZ",    { MaskG, EXx, Ib }, 0 },
+  },
+  /* PREFIX_EVEX_0F3A67 */
+  {
+    { "vfpclasss%XH",     { MaskG, EXw, Ib }, 0 },
+    { Bad_Opcode },
+    { "vfpclasss%XW",  { MaskG, EXdq, Ib }, 0 },
+  },
+  /* PREFIX_EVEX_0F3AC2 */
+  {
+    { "vcmpp%XH", { MaskG, Vex, EXxh, EXxEVexS, CMP }, 0 },
+    { "vcmps%XH", { MaskG, VexScalar, EXw, EXxEVexS, CMP }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_10 */
+  {
+    { Bad_Opcode },
+    { "vmovs%XH", { XMScalar, VexScalarR, EXw }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_11 */
+  {
+    { Bad_Opcode },
+    { "vmovs%XH", { EXwS, VexScalarR, XMScalar }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_1D */
+  {
+    { "vcvtss2s%XH",      { XMScalar, VexScalar, EXd, EXxEVexR }, 0 },
+    { Bad_Opcode },
+    { "vcvtps2p%XHx%XY",  { XMxmmq, EXx, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_2A */
+  {
+    { Bad_Opcode },
+    { "vcvtsi2sh{%LQ|}",        { XMScalar, VexScalar, EXxEVexR, Edq }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_2C */
+  {
+    { Bad_Opcode },
+    { "vcvttsh2si",     { Gdq, EXw, EXxEVexS }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_2D */
+  {
+    { Bad_Opcode },
+    { "vcvtsh2si",      { Gdq, EXw, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_2E */
+  {
+    { "vucomis%XH",       { XMScalar, EXw, EXxEVexS }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_2F */
+  {
+    { "vcomis%XH",        { XMScalar, EXw, EXxEVexS }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_51 */
+  {
+    { "vsqrtp%XH",        { XM, EXxh, EXxEVexR }, 0 },
+    { "vsqrts%XH",        { XMScalar, VexScalar, EXw, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_58 */
+  {
+    { "vaddp%XH", { XM, Vex, EXxh, EXxEVexR }, 0 },
+    { "vadds%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_59 */
+  {
+    { "vmulp%XH", { XM, Vex, EXxh, EXxEVexR }, 0 },
+    { "vmuls%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_5A */
+  {
+    { "vcvtp%XH2pd",    { XM, EXxmmqdh, EXxEVexS }, 0 },
+    { "vcvts%XH2sd",    { XMScalar, VexScalar, EXw, EXxEVexS }, 0 },
+    { "vcvtp%XD2ph%XZ", { XMM, EXx, EXxEVexR }, 0 },
+    { "vcvts%XD2sh",    { XMScalar, VexScalar, EXq, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_5B */
+  {
+    { VEX_W_TABLE (EVEX_W_MAP5_5B_P_0) },
+    { "vcvttp%XH2dq",   { XM, EXxmmqh, EXxEVexS }, 0 },
+    { "vcvtp%XH2dq",    { XM, EXxmmqh, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_5C */
+  {
+    { "vsubp%XH", { XM, Vex, EXxh, EXxEVexR }, 0 },
+    { "vsubs%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_5D */
+  {
+    { "vminp%XH", { XM, Vex, EXxh, EXxEVexS }, 0 },
+    { "vmins%XH", { XMScalar, VexScalar, EXw, EXxEVexS }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_5E */
+  {
+    { "vdivp%XH", { XM, Vex, EXxh, EXxEVexR }, 0 },
+    { "vdivs%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_5F */
+  {
+    { "vmaxp%XH", { XM, Vex, EXxh, EXxEVexS }, 0 },
+    { "vmaxs%XH", { XMScalar, VexScalar, EXw, EXxEVexS }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_78 */
+  {
+    { "vcvttp%XH2udq",  { XM, EXxmmqh, EXxEVexS }, 0 },
+    { "vcvttsh2usi",    { Gdq, EXw, EXxEVexS }, 0 },
+    { "vcvttp%XH2uqq",  { XM, EXxmmqdh, EXxEVexS }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_79 */
+  {
+    { "vcvtp%XH2udq",   { XM, EXxmmqh, EXxEVexR }, 0 },
+    { "vcvtsh2usi",     { Gdq, EXw, EXxEVexR }, 0 },
+    { "vcvtp%XH2uqq",   { XM, EXxmmqdh, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_7A */
+  {
+    { Bad_Opcode },
+    { Bad_Opcode },
+    { "vcvttp%XH2qq",   { XM, EXxmmqdh, EXxEVexS }, 0 },
+    { VEX_W_TABLE (EVEX_W_MAP5_7A_P_3) },
+  },
+  /* PREFIX_EVEX_MAP5_7B */
+  {
+    { Bad_Opcode },
+    { "vcvtusi2sh{%LQ|}",       { XMScalar, VexScalar, EXxEVexR, Edq }, 0 },
+    { "vcvtp%XH2qq",    { XM, EXxmmqdh, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_7C */
+  {
+    { "vcvttp%XH2uw",   { XM, EXxh, EXxEVexS }, 0 },
+    { Bad_Opcode },
+    { "vcvttp%XH2w",    { XM, EXxh, EXxEVexS }, 0 },
+  },
+  /* PREFIX_EVEX_MAP5_7D */
+  {
+    { "vcvtp%XH2uw",    { XM, EXxh, EXxEVexR }, 0 },
+    { "vcvtw2p%XH",     { XM, EXxh, EXxEVexR }, 0 },
+    { "vcvtp%XH2w",     { XM, EXxh, EXxEVexR }, 0 },
+    { "vcvtuw2p%XH",    { XM, EXxh, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP6_13 */
+  {
+    { "vcvts%XH2ss",   { XMScalar, VexScalar, EXw, EXxEVexS }, 0 },
+    { Bad_Opcode },
+    { "vcvtp%XH2psx",  { XM, EXxmmqh, EXxEVexS }, 0 },
+  },
+  /* PREFIX_EVEX_MAP6_56 */
+  {
+    { Bad_Opcode },
+    { "vfmaddcp%XH",      { { DistinctDest_Fixup, 0 }, Vex, EXx, EXxEVexR }, 0 },
+    { Bad_Opcode },
+    { "vfcmaddcp%XH",     { { DistinctDest_Fixup, 0 }, Vex, EXx, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP6_57 */
+  {
+    { Bad_Opcode },
+    { "vfmaddcs%XH",      { { DistinctDest_Fixup, scalar_mode }, VexScalar, EXd, EXxEVexR }, 0 },
+    { Bad_Opcode },
+    { "vfcmaddcs%XH",     { { DistinctDest_Fixup, scalar_mode }, VexScalar, EXd, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP6_D6 */
+  {
+    { Bad_Opcode },
+    { "vfmulcp%XH",     { { DistinctDest_Fixup, 0 }, Vex, EXx, EXxEVexR }, 0 },
+    { Bad_Opcode },
+    { "vfcmulcp%XH",    { { DistinctDest_Fixup, 0 }, Vex, EXx, EXxEVexR }, 0 },
+  },
+  /* PREFIX_EVEX_MAP6_D7 */
+  {
+    { Bad_Opcode },
+    { "vfmulcs%XH",     { { DistinctDest_Fixup, scalar_mode }, VexScalar, EXd, EXxEVexR }, 0 },
+    { Bad_Opcode },
+    { "vfcmulcs%XH",    { { DistinctDest_Fixup, scalar_mode }, VexScalar, EXd, EXxEVexR }, 0 },
+  },