(root)/
binutils-2.41/
opcodes/
i386-dis-evex-prefix.h
       1    /* PREFIX_EVEX_0F5B */
       2    {
       3      { VEX_W_TABLE (EVEX_W_0F5B_P_0) },
       4      { "%XEvcvttp%XS2dq", { XM, EXx, EXxEVexS }, 0 },
       5      { "%XEvcvtp%XS2dq", { XM, EXx, EXxEVexR }, 0 },
       6    },
       7    /* PREFIX_EVEX_0F6F */
       8    {
       9      { Bad_Opcode },
      10      { VEX_W_TABLE (EVEX_W_0F6F_P_1) },
      11      { VEX_W_TABLE (EVEX_W_0F6F_P_2) },
      12      { VEX_W_TABLE (EVEX_W_0F6F_P_3) },
      13    },
      14    /* PREFIX_EVEX_0F70 */
      15    {
      16      { Bad_Opcode },
      17      { "%XEvpshufhw",	{ XM, EXx, Ib }, 0 },
      18      { VEX_W_TABLE (EVEX_W_0F70_P_2) },
      19      { "%XEvpshuflw",	{ XM, EXx, Ib }, 0 },
      20    },
      21    /* PREFIX_EVEX_0F78 */
      22    {
      23      { VEX_W_TABLE (EVEX_W_0F78_P_0) },
      24      { "vcvttss2usi",	{ Gdq, EXd, EXxEVexS }, 0 },
      25      { VEX_W_TABLE (EVEX_W_0F78_P_2) },
      26      { "vcvttsd2usi",	{ Gdq, EXq, EXxEVexS }, 0 },
      27    },
      28    /* PREFIX_EVEX_0F79 */
      29    {
      30      { VEX_W_TABLE (EVEX_W_0F79_P_0) },
      31      { "vcvtss2usi",	{ Gdq, EXd, EXxEVexR }, 0 },
      32      { VEX_W_TABLE (EVEX_W_0F79_P_2) },
      33      { "vcvtsd2usi",	{ Gdq, EXq, EXxEVexR }, 0 },
      34    },
      35    /* PREFIX_EVEX_0F7A */
      36    {
      37      { Bad_Opcode },
      38      { VEX_W_TABLE (EVEX_W_0F7A_P_1) },
      39      { VEX_W_TABLE (EVEX_W_0F7A_P_2) },
      40      { VEX_W_TABLE (EVEX_W_0F7A_P_3) },
      41    },
      42    /* PREFIX_EVEX_0F7B */
      43    {
      44      { Bad_Opcode },
      45      { "vcvtusi2ss{%LQ|}",	{ XMScalar, VexScalar, EXxEVexR, Edq }, 0 },
      46      { VEX_W_TABLE (EVEX_W_0F7B_P_2) },
      47      { "vcvtusi2sd{%LQ|}",	{ XMScalar, VexScalar, EXxEVexR64, Edq }, 0 },
      48    },
      49    /* PREFIX_EVEX_0F7E */
      50    {
      51      { Bad_Opcode },
      52      { VEX_W_TABLE (EVEX_W_0F7E_P_1) },
      53      { VEX_LEN_TABLE (VEX_LEN_0F7E_P_2) },
      54    },
      55    /* PREFIX_EVEX_0F7F */
      56    {
      57      { Bad_Opcode },
      58      { VEX_W_TABLE (EVEX_W_0F7F_P_1) },
      59      { VEX_W_TABLE (EVEX_W_0F7F_P_2) },
      60      { VEX_W_TABLE (EVEX_W_0F7F_P_3) },
      61    },
      62    /* PREFIX_EVEX_0FC2 */
      63    {
      64      { "vcmppX",	{ MaskG, Vex, EXx, EXxEVexS, CMP }, PREFIX_OPCODE },
      65      { "vcmps%XS",	{ MaskG, VexScalar, EXd, EXxEVexS, CMP }, 0 },
      66      { "vcmppX",	{ MaskG, Vex, EXx, EXxEVexS, CMP }, PREFIX_OPCODE },
      67      { "vcmps%XD",	{ MaskG, VexScalar, EXq, EXxEVexS, CMP }, 0 },
      68    },
      69    /* PREFIX_EVEX_0FE6 */
      70    {
      71      { Bad_Opcode },
      72      { VEX_W_TABLE (EVEX_W_0FE6_P_1) },
      73      { "%XEvcvttp%XD2dq%XY", { XMxmmq, EXx, EXxEVexS }, 0 },
      74      { "%XEvcvtp%XD2dq%XY", { XMxmmq, EXx, EXxEVexR }, 0 },
      75    },
      76    /* PREFIX_EVEX_0F3810 */
      77    {
      78      { Bad_Opcode },
      79      { VEX_W_TABLE (EVEX_W_0F3810_P_1) },
      80      { VEX_W_TABLE (EVEX_W_0F3810_P_2) },
      81    },
      82    /* PREFIX_EVEX_0F3811 */
      83    {
      84      { Bad_Opcode },
      85      { VEX_W_TABLE (EVEX_W_0F3811_P_1) },
      86      { VEX_W_TABLE (EVEX_W_0F3811_P_2) },
      87    },
      88    /* PREFIX_EVEX_0F3812 */
      89    {
      90      { Bad_Opcode },
      91      { VEX_W_TABLE (EVEX_W_0F3812_P_1) },
      92      { VEX_W_TABLE (EVEX_W_0F3812_P_2) },
      93    },
      94    /* PREFIX_EVEX_0F3813 */
      95    {
      96      { Bad_Opcode },
      97      { VEX_W_TABLE (EVEX_W_0F3813_P_1) },
      98      { "%XEvcvtph2p%XS", { XM, EXxmmq, EXxEVexS }, 0 },
      99    },
     100    /* PREFIX_EVEX_0F3814 */
     101    {
     102      { Bad_Opcode },
     103      { VEX_W_TABLE (EVEX_W_0F3814_P_1) },
     104      { "vprorv%DQ",	{ XM, Vex, EXx }, 0 },
     105    },
     106    /* PREFIX_EVEX_0F3815 */
     107    {
     108      { Bad_Opcode },
     109      { VEX_W_TABLE (EVEX_W_0F3815_P_1) },
     110      { "vprolv%DQ",	{ XM, Vex, EXx }, 0 },
     111    },
     112    /* PREFIX_EVEX_0F3820 */
     113    {
     114      { Bad_Opcode },
     115      { VEX_W_TABLE (EVEX_W_0F3820_P_1) },
     116      { "%XEvpmovsxbw",	{ XM, EXxmmq }, 0 },
     117    },
     118    /* PREFIX_EVEX_0F3821 */
     119    {
     120      { Bad_Opcode },
     121      { VEX_W_TABLE (EVEX_W_0F3821_P_1) },
     122      { "%XEvpmovsxbd",	{ XM, EXxmmqd }, 0 },
     123    },
     124    /* PREFIX_EVEX_0F3822 */
     125    {
     126      { Bad_Opcode },
     127      { VEX_W_TABLE (EVEX_W_0F3822_P_1) },
     128      { "%XEvpmovsxbq",	{ XM, EXxmmdw }, 0 },
     129    },
     130    /* PREFIX_EVEX_0F3823 */
     131    {
     132      { Bad_Opcode },
     133      { VEX_W_TABLE (EVEX_W_0F3823_P_1) },
     134      { "%XEvpmovsxwd",	{ XM, EXxmmq }, 0 },
     135    },
     136    /* PREFIX_EVEX_0F3824 */
     137    {
     138      { Bad_Opcode },
     139      { VEX_W_TABLE (EVEX_W_0F3824_P_1) },
     140      { "%XEvpmovsxwq",	{ XM, EXxmmqd }, 0 },
     141    },
     142    /* PREFIX_EVEX_0F3825 */
     143    {
     144      { Bad_Opcode },
     145      { VEX_W_TABLE (EVEX_W_0F3825_P_1) },
     146      { VEX_W_TABLE (EVEX_W_0F3825_P_2) },
     147    },
     148    /* PREFIX_EVEX_0F3826 */
     149    {
     150      { Bad_Opcode },
     151      { "vptestnm%BW",	{ MaskG, Vex, EXx }, 0 },
     152      { "vptestm%BW",	{ MaskG, Vex, EXx }, 0 },
     153    },
     154    /* PREFIX_EVEX_0F3827 */
     155    {
     156      { Bad_Opcode },
     157      { "vptestnm%DQ",	{ MaskG, Vex, EXx }, 0 },
     158      { "vptestm%DQ",	{ MaskG, Vex, EXx }, 0 },
     159    },
     160    /* PREFIX_EVEX_0F3828 */
     161    {
     162      { Bad_Opcode },
     163      { MOD_TABLE (MOD_EVEX_0F3828_P_1) },
     164      { VEX_W_TABLE (EVEX_W_0F3828_P_2) },
     165    },
     166    /* PREFIX_EVEX_0F3829 */
     167    {
     168      { Bad_Opcode },
     169      { "vpmov%BW2m",	{ MaskG, EXx }, 0 },
     170      { VEX_W_TABLE (EVEX_W_0F3829_P_2) },
     171    },
     172    /* PREFIX_EVEX_0F382A */
     173    {
     174      { Bad_Opcode },
     175      { VEX_W_TABLE (EVEX_W_0F382A_P_1) },
     176      { VEX_W_TABLE (EVEX_W_0F382A_P_2) },
     177    },
     178    /* PREFIX_EVEX_0F3830 */
     179    {
     180      { Bad_Opcode },
     181      { VEX_W_TABLE (EVEX_W_0F3830_P_1) },
     182      { "%XEvpmovzxbw",	{ XM, EXxmmq }, 0 },
     183    },
     184    /* PREFIX_EVEX_0F3831 */
     185    {
     186      { Bad_Opcode },
     187      { VEX_W_TABLE (EVEX_W_0F3831_P_1) },
     188      { "%XEvpmovzxbd",	{ XM, EXxmmqd }, 0 },
     189    },
     190    /* PREFIX_EVEX_0F3832 */
     191    {
     192      { Bad_Opcode },
     193      { VEX_W_TABLE (EVEX_W_0F3832_P_1) },
     194      { "%XEvpmovzxbq",	{ XM, EXxmmdw }, 0 },
     195    },
     196    /* PREFIX_EVEX_0F3833 */
     197    {
     198      { Bad_Opcode },
     199      { VEX_W_TABLE (EVEX_W_0F3833_P_1) },
     200      { "%XEvpmovzxwd",	{ XM, EXxmmq }, 0 },
     201    },
     202    /* PREFIX_EVEX_0F3834 */
     203    {
     204      { Bad_Opcode },
     205      { VEX_W_TABLE (EVEX_W_0F3834_P_1) },
     206      { "%XEvpmovzxwq",	{ XM, EXxmmqd }, 0 },
     207    },
     208    /* PREFIX_EVEX_0F3835 */
     209    {
     210      { Bad_Opcode },
     211      { VEX_W_TABLE (EVEX_W_0F3835_P_1) },
     212      { VEX_W_TABLE (EVEX_W_0F3835_P_2) },
     213    },
     214    /* PREFIX_EVEX_0F3838 */
     215    {
     216      { Bad_Opcode },
     217      { MOD_TABLE (MOD_EVEX_0F3838_P_1) },
     218      { "%XEvpminsb",	{ XM, Vex, EXx }, 0 },
     219    },
     220    /* PREFIX_EVEX_0F3839 */
     221    {
     222      { Bad_Opcode },
     223      { "vpmov%DQ2m",	{ MaskG, EXx }, 0 },
     224      { "%XEvpmins%DQ",	{ XM, Vex, EXx }, 0 },
     225    },
     226    /* PREFIX_EVEX_0F383A */
     227    {
     228      { Bad_Opcode },
     229      { VEX_W_TABLE (EVEX_W_0F383A_P_1) },
     230      { "%XEvpminuw",	{ XM, Vex, EXx }, 0 },
     231    },
     232    /* PREFIX_EVEX_0F3852 */
     233    {
     234      { Bad_Opcode },
     235      { "vdpbf16p%XS", { XM, Vex, EXx }, 0 },
     236      { VEX_W_TABLE (VEX_W_0F3852) },
     237      { "vp4dpws%XSd",	{ XM, Vex, Mxmm }, 0 },
     238    },
     239    /* PREFIX_EVEX_0F3853 */
     240    {
     241      { Bad_Opcode },
     242      { Bad_Opcode },
     243      { VEX_W_TABLE (VEX_W_0F3853) },
     244      { "vp4dpws%XSds",	{ XM, Vex, Mxmm }, 0 },
     245    },
     246    /* PREFIX_EVEX_0F3868 */
     247    {
     248      { Bad_Opcode },
     249      { Bad_Opcode },
     250      { Bad_Opcode },
     251      { "vp2intersect%DQ", { MaskG, Vex, EXx, EXxEVexS }, 0 },
     252    },
     253    /* PREFIX_EVEX_0F3872 */
     254    {
     255      { Bad_Opcode },
     256      { "vcvtnep%XS2bf16%XY", { XMxmmq, EXx }, 0 },
     257      { VEX_W_TABLE (EVEX_W_0F3872_P_2) },
     258      { "vcvtne2p%XS2bf16", { XM, Vex, EXx}, 0 },
     259    },
     260    /* PREFIX_EVEX_0F389A */
     261    {
     262      { Bad_Opcode },
     263      { Bad_Opcode },
     264      { "%XEvfmsub132p%XW",	{ XM, Vex, EXx, EXxEVexR }, 0 },
     265      { "v4fmaddp%XS",	{ XM, Vex, Mxmm }, 0 },
     266    },
     267    /* PREFIX_EVEX_0F389B */
     268    {
     269      { Bad_Opcode },
     270      { Bad_Opcode },
     271      { "%XEvfmsub132s%XW",	{ XMScalar, VexScalar, EXdq, EXxEVexR }, 0 },
     272      { "v4fmadds%XS",	{ XMScalar, VexScalar, Mxmm }, 0 },
     273    },
     274    /* PREFIX_EVEX_0F38AA */
     275    {
     276      { Bad_Opcode },
     277      { Bad_Opcode },
     278      { "%XEvfmsub213p%XW",	{ XM, Vex, EXx, EXxEVexR }, 0 },
     279      { "v4fnmaddp%XS",	{ XM, Vex, Mxmm }, 0 },
     280    },
     281    /* PREFIX_EVEX_0F38AB */
     282    {
     283      { Bad_Opcode },
     284      { Bad_Opcode },
     285      { "%XEvfmsub213s%XW",	{ XMScalar, VexScalar, EXdq, EXxEVexR }, 0 },
     286      { "v4fnmadds%XS",	{ XMScalar, VexScalar, Mxmm }, 0 },
     287    },
     288    /* PREFIX_EVEX_0F3A08 */
     289    {
     290      { "vrndscalep%XH",  { XM, EXxh, EXxEVexS, Ib }, 0 },
     291      { Bad_Opcode },
     292      { "vrndscalep%XS",  { XM, EXx, EXxEVexS, Ib }, 0 },
     293    },
     294    /* PREFIX_EVEX_0F3A0A */
     295    {
     296      { "vrndscales%XH",  { XMScalar, VexScalar, EXw, EXxEVexS, Ib }, 0 },
     297      { Bad_Opcode },
     298      { "vrndscales%XS",  { XMScalar, VexScalar, EXd, EXxEVexS, Ib }, 0 },
     299    },
     300    /* PREFIX_EVEX_0F3A26 */
     301    {
     302      { "vgetmantp%XH",     { XM, EXxh, EXxEVexS, Ib }, 0 },
     303      { Bad_Opcode },
     304      { "vgetmantp%XW",	{ XM, EXx, EXxEVexS, Ib }, 0 },
     305    },
     306    /* PREFIX_EVEX_0F3A27 */
     307    {
     308      { "vgetmants%XH",     { XMScalar, VexScalar, EXw, EXxEVexS, Ib }, 0 },
     309      { Bad_Opcode },
     310      { "vgetmants%XW",	{ XMScalar, VexScalar, EXdq, EXxEVexS, Ib }, 0 },
     311    },
     312    /* PREFIX_EVEX_0F3A56 */
     313    {
     314      { "vreducep%XH",      { XM, EXxh, EXxEVexS, Ib }, 0 },
     315      { Bad_Opcode },
     316      { "vreducep%XW",	{ XM, EXx, EXxEVexS, Ib }, 0 },
     317    },
     318    /* PREFIX_EVEX_0F3A57 */
     319    {
     320      { "vreduces%XH",      { XMScalar, VexScalar, EXw, EXxEVexS, Ib }, 0 },
     321      { Bad_Opcode },
     322      { "vreduces%XW",	{ XMScalar, VexScalar, EXdq, EXxEVexS, Ib }, 0 },
     323    },
     324    /* PREFIX_EVEX_0F3A66 */
     325    {
     326      { "vfpclassp%XH%XZ",  { MaskG, EXxh, Ib }, 0 },
     327      { Bad_Opcode },
     328      { "vfpclassp%XW%XZ",    { MaskG, EXx, Ib }, 0 },
     329    },
     330    /* PREFIX_EVEX_0F3A67 */
     331    {
     332      { "vfpclasss%XH",     { MaskG, EXw, Ib }, 0 },
     333      { Bad_Opcode },
     334      { "vfpclasss%XW",	{ MaskG, EXdq, Ib }, 0 },
     335    },
     336    /* PREFIX_EVEX_0F3AC2 */
     337    {
     338      { "vcmpp%XH", { MaskG, Vex, EXxh, EXxEVexS, CMP }, 0 },
     339      { "vcmps%XH", { MaskG, VexScalar, EXw, EXxEVexS, CMP }, 0 },
     340    },
     341    /* PREFIX_EVEX_MAP5_10 */
     342    {
     343      { Bad_Opcode },
     344      { "vmovs%XH", { XMScalar, VexScalarR, EXw }, 0 },
     345    },
     346    /* PREFIX_EVEX_MAP5_11 */
     347    {
     348      { Bad_Opcode },
     349      { "vmovs%XH", { EXwS, VexScalarR, XMScalar }, 0 },
     350    },
     351    /* PREFIX_EVEX_MAP5_1D */
     352    {
     353      { "vcvtss2s%XH",      { XMScalar, VexScalar, EXd, EXxEVexR }, 0 },
     354      { Bad_Opcode },
     355      { "vcvtps2p%XHx%XY",  { XMxmmq, EXx, EXxEVexR }, 0 },
     356    },
     357    /* PREFIX_EVEX_MAP5_2A */
     358    {
     359      { Bad_Opcode },
     360      { "vcvtsi2sh{%LQ|}",        { XMScalar, VexScalar, EXxEVexR, Edq }, 0 },
     361    },
     362    /* PREFIX_EVEX_MAP5_2C */
     363    {
     364      { Bad_Opcode },
     365      { "vcvttsh2si",     { Gdq, EXw, EXxEVexS }, 0 },
     366    },
     367    /* PREFIX_EVEX_MAP5_2D */
     368    {
     369      { Bad_Opcode },
     370      { "vcvtsh2si",      { Gdq, EXw, EXxEVexR }, 0 },
     371    },
     372    /* PREFIX_EVEX_MAP5_2E */
     373    {
     374      { "vucomis%XH",       { XMScalar, EXw, EXxEVexS }, 0 },
     375    },
     376    /* PREFIX_EVEX_MAP5_2F */
     377    {
     378      { "vcomis%XH",        { XMScalar, EXw, EXxEVexS }, 0 },
     379    },
     380    /* PREFIX_EVEX_MAP5_51 */
     381    {
     382      { "vsqrtp%XH",        { XM, EXxh, EXxEVexR }, 0 },
     383      { "vsqrts%XH",        { XMScalar, VexScalar, EXw, EXxEVexR }, 0 },
     384    },
     385    /* PREFIX_EVEX_MAP5_58 */
     386    {
     387      { "vaddp%XH", { XM, Vex, EXxh, EXxEVexR }, 0 },
     388      { "vadds%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, 0 },
     389    },
     390    /* PREFIX_EVEX_MAP5_59 */
     391    {
     392      { "vmulp%XH", { XM, Vex, EXxh, EXxEVexR }, 0 },
     393      { "vmuls%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, 0 },
     394    },
     395    /* PREFIX_EVEX_MAP5_5A */
     396    {
     397      { "vcvtp%XH2pd",    { XM, EXxmmqdh, EXxEVexS }, 0 },
     398      { "vcvts%XH2sd",    { XMScalar, VexScalar, EXw, EXxEVexS }, 0 },
     399      { "vcvtp%XD2ph%XZ", { XMM, EXx, EXxEVexR }, 0 },
     400      { "vcvts%XD2sh",    { XMScalar, VexScalar, EXq, EXxEVexR }, 0 },
     401    },
     402    /* PREFIX_EVEX_MAP5_5B */
     403    {
     404      { VEX_W_TABLE (EVEX_W_MAP5_5B_P_0) },
     405      { "vcvttp%XH2dq",   { XM, EXxmmqh, EXxEVexS }, 0 },
     406      { "vcvtp%XH2dq",    { XM, EXxmmqh, EXxEVexR }, 0 },
     407    },
     408    /* PREFIX_EVEX_MAP5_5C */
     409    {
     410      { "vsubp%XH", { XM, Vex, EXxh, EXxEVexR }, 0 },
     411      { "vsubs%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, 0 },
     412    },
     413    /* PREFIX_EVEX_MAP5_5D */
     414    {
     415      { "vminp%XH", { XM, Vex, EXxh, EXxEVexS }, 0 },
     416      { "vmins%XH", { XMScalar, VexScalar, EXw, EXxEVexS }, 0 },
     417    },
     418    /* PREFIX_EVEX_MAP5_5E */
     419    {
     420      { "vdivp%XH", { XM, Vex, EXxh, EXxEVexR }, 0 },
     421      { "vdivs%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, 0 },
     422    },
     423    /* PREFIX_EVEX_MAP5_5F */
     424    {
     425      { "vmaxp%XH", { XM, Vex, EXxh, EXxEVexS }, 0 },
     426      { "vmaxs%XH", { XMScalar, VexScalar, EXw, EXxEVexS }, 0 },
     427    },
     428    /* PREFIX_EVEX_MAP5_78 */
     429    {
     430      { "vcvttp%XH2udq",  { XM, EXxmmqh, EXxEVexS }, 0 },
     431      { "vcvttsh2usi",    { Gdq, EXw, EXxEVexS }, 0 },
     432      { "vcvttp%XH2uqq",  { XM, EXxmmqdh, EXxEVexS }, 0 },
     433    },
     434    /* PREFIX_EVEX_MAP5_79 */
     435    {
     436      { "vcvtp%XH2udq",   { XM, EXxmmqh, EXxEVexR }, 0 },
     437      { "vcvtsh2usi",     { Gdq, EXw, EXxEVexR }, 0 },
     438      { "vcvtp%XH2uqq",   { XM, EXxmmqdh, EXxEVexR }, 0 },
     439    },
     440    /* PREFIX_EVEX_MAP5_7A */
     441    {
     442      { Bad_Opcode },
     443      { Bad_Opcode },
     444      { "vcvttp%XH2qq",   { XM, EXxmmqdh, EXxEVexS }, 0 },
     445      { VEX_W_TABLE (EVEX_W_MAP5_7A_P_3) },
     446    },
     447    /* PREFIX_EVEX_MAP5_7B */
     448    {
     449      { Bad_Opcode },
     450      { "vcvtusi2sh{%LQ|}",       { XMScalar, VexScalar, EXxEVexR, Edq }, 0 },
     451      { "vcvtp%XH2qq",    { XM, EXxmmqdh, EXxEVexR }, 0 },
     452    },
     453    /* PREFIX_EVEX_MAP5_7C */
     454    {
     455      { "vcvttp%XH2uw",   { XM, EXxh, EXxEVexS }, 0 },
     456      { Bad_Opcode },
     457      { "vcvttp%XH2w",    { XM, EXxh, EXxEVexS }, 0 },
     458    },
     459    /* PREFIX_EVEX_MAP5_7D */
     460    {
     461      { "vcvtp%XH2uw",    { XM, EXxh, EXxEVexR }, 0 },
     462      { "vcvtw2p%XH",     { XM, EXxh, EXxEVexR }, 0 },
     463      { "vcvtp%XH2w",     { XM, EXxh, EXxEVexR }, 0 },
     464      { "vcvtuw2p%XH",    { XM, EXxh, EXxEVexR }, 0 },
     465    },
     466    /* PREFIX_EVEX_MAP6_13 */
     467    {
     468      { "vcvts%XH2ss",	{ XMScalar, VexScalar, EXw, EXxEVexS }, 0 },
     469      { Bad_Opcode },
     470      { "vcvtp%XH2psx",	{ XM, EXxmmqh, EXxEVexS }, 0 },
     471    },
     472    /* PREFIX_EVEX_MAP6_56 */
     473    {
     474      { Bad_Opcode },
     475      { "vfmaddcp%XH",      { { DistinctDest_Fixup, 0 }, Vex, EXx, EXxEVexR }, 0 },
     476      { Bad_Opcode },
     477      { "vfcmaddcp%XH",     { { DistinctDest_Fixup, 0 }, Vex, EXx, EXxEVexR }, 0 },
     478    },
     479    /* PREFIX_EVEX_MAP6_57 */
     480    {
     481      { Bad_Opcode },
     482      { "vfmaddcs%XH",      { { DistinctDest_Fixup, scalar_mode }, VexScalar, EXd, EXxEVexR }, 0 },
     483      { Bad_Opcode },
     484      { "vfcmaddcs%XH",     { { DistinctDest_Fixup, scalar_mode }, VexScalar, EXd, EXxEVexR }, 0 },
     485    },
     486    /* PREFIX_EVEX_MAP6_D6 */
     487    {
     488      { Bad_Opcode },
     489      { "vfmulcp%XH",     { { DistinctDest_Fixup, 0 }, Vex, EXx, EXxEVexR }, 0 },
     490      { Bad_Opcode },
     491      { "vfcmulcp%XH",    { { DistinctDest_Fixup, 0 }, Vex, EXx, EXxEVexR }, 0 },
     492    },
     493    /* PREFIX_EVEX_MAP6_D7 */
     494    {
     495      { Bad_Opcode },
     496      { "vfmulcs%XH",     { { DistinctDest_Fixup, scalar_mode }, VexScalar, EXd, EXxEVexR }, 0 },
     497      { Bad_Opcode },
     498      { "vfcmulcs%XH",    { { DistinctDest_Fixup, scalar_mode }, VexScalar, EXd, EXxEVexR }, 0 },
     499    },