Home | History | Annotate | Download | only in X86 
      1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
      2 
      3 // vfmadd
      4 // CHECK: vfmaddss  (%rcx), %xmm1, %xmm0, %xmm0
      5 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6a,0x01,0x10]
      6           vfmaddss  (%rcx), %xmm1, %xmm0, %xmm0
      7 
      8 // CHECK: vfmaddss   %xmm1, (%rcx), %xmm0, %xmm0
      9 // CHECK: encoding: [0xc4,0xe3,0x79,0x6a,0x01,0x10]
     10           vfmaddss   %xmm1, (%rcx),%xmm0, %xmm0
     11 
     12 // CHECK: vfmaddss   %xmm2, %xmm1, %xmm0, %xmm0
     13 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6a,0xc2,0x10]
     14           vfmaddss   %xmm2, %xmm1, %xmm0, %xmm0
     15 
     16 // CHECK: vfmaddsd  (%rcx), %xmm1, %xmm0, %xmm0
     17 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6b,0x01,0x10]
     18           vfmaddsd  (%rcx), %xmm1, %xmm0, %xmm0
     19 
     20 // CHECK: vfmaddsd   %xmm1, (%rcx), %xmm0, %xmm0
     21 // CHECK: encoding: [0xc4,0xe3,0x79,0x6b,0x01,0x10]
     22           vfmaddsd   %xmm1, (%rcx),%xmm0, %xmm0
     23 
     24 // CHECK: vfmaddsd   %xmm2, %xmm1, %xmm0, %xmm0
     25 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6b,0xc2,0x10]
     26           vfmaddsd   %xmm2, %xmm1, %xmm0, %xmm0
     27 
     28 // CHECK: vfmaddps  (%rcx), %xmm1, %xmm0, %xmm0
     29 // CHECK: encoding: [0xc4,0xe3,0xf9,0x68,0x01,0x10]
     30           vfmaddps  (%rcx), %xmm1, %xmm0, %xmm0
     31 
     32 // CHECK: vfmaddps   %xmm1, (%rcx), %xmm0, %xmm0
     33 // CHECK: encoding: [0xc4,0xe3,0x79,0x68,0x01,0x10]
     34           vfmaddps   %xmm1, (%rcx),%xmm0, %xmm0
     35 
     36 // CHECK: vfmaddps   %xmm2, %xmm1, %xmm0, %xmm0
     37 // CHECK: encoding: [0xc4,0xe3,0xf9,0x68,0xc2,0x10]
     38           vfmaddps   %xmm2, %xmm1, %xmm0, %xmm0
     39 
     40 // CHECK: vfmaddpd  (%rcx), %xmm1, %xmm0, %xmm0
     41 // CHECK: encoding: [0xc4,0xe3,0xf9,0x69,0x01,0x10]
     42           vfmaddpd  (%rcx), %xmm1, %xmm0, %xmm0
     43 
     44 // CHECK: vfmaddpd   %xmm1, (%rcx), %xmm0, %xmm0
     45 // CHECK: encoding: [0xc4,0xe3,0x79,0x69,0x01,0x10]
     46           vfmaddpd   %xmm1, (%rcx),%xmm0, %xmm0
     47 
     48 // CHECK: vfmaddpd   %xmm2, %xmm1, %xmm0, %xmm0
     49 // CHECK: encoding: [0xc4,0xe3,0xf9,0x69,0xc2,0x10]
     50           vfmaddpd   %xmm2, %xmm1, %xmm0, %xmm0
     51 
     52 // CHECK: vfmaddps  (%rcx), %ymm1, %ymm0, %ymm0
     53 // CHECK: encoding: [0xc4,0xe3,0xfd,0x68,0x01,0x10]
     54           vfmaddps  (%rcx), %ymm1, %ymm0, %ymm0
     55 
     56 // CHECK: vfmaddps   %ymm1, (%rcx), %ymm0, %ymm0
     57 // CHECK: encoding: [0xc4,0xe3,0x7d,0x68,0x01,0x10]
     58           vfmaddps   %ymm1, (%rcx),%ymm0, %ymm0
     59 
     60 // CHECK: vfmaddps   %ymm2, %ymm1, %ymm0, %ymm0
     61 // CHECK: encoding: [0xc4,0xe3,0xfd,0x68,0xc2,0x10]
     62           vfmaddps   %ymm2, %ymm1, %ymm0, %ymm0
     63 
     64 // CHECK: vfmaddpd  (%rcx), %ymm1, %ymm0, %ymm0
     65 // CHECK: encoding: [0xc4,0xe3,0xfd,0x69,0x01,0x10]
     66           vfmaddpd  (%rcx), %ymm1, %ymm0, %ymm0
     67 
     68 // CHECK: vfmaddpd   %ymm1, (%rcx), %ymm0, %ymm0
     69 // CHECK: encoding: [0xc4,0xe3,0x7d,0x69,0x01,0x10]
     70           vfmaddpd   %ymm1, (%rcx),%ymm0, %ymm0
     71 
     72 // CHECK: vfmaddpd   %ymm2, %ymm1, %ymm0, %ymm0
     73 // CHECK: encoding: [0xc4,0xe3,0xfd,0x69,0xc2,0x10]
     74           vfmaddpd   %ymm2, %ymm1, %ymm0, %ymm0
     75 
     76 // vfmsub
     77 // CHECK: vfmsubss  (%rcx), %xmm1, %xmm0, %xmm0
     78 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6e,0x01,0x10]
     79           vfmsubss  (%rcx), %xmm1, %xmm0, %xmm0
     80 
     81 // CHECK: vfmsubss   %xmm1, (%rcx), %xmm0, %xmm0
     82 // CHECK: encoding: [0xc4,0xe3,0x79,0x6e,0x01,0x10]
     83           vfmsubss   %xmm1, (%rcx),%xmm0, %xmm0
     84 
     85 // CHECK: vfmsubss   %xmm2, %xmm1, %xmm0, %xmm0
     86 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6e,0xc2,0x10]
     87           vfmsubss   %xmm2, %xmm1, %xmm0, %xmm0
     88 
     89 // CHECK: vfmsubsd  (%rcx), %xmm1, %xmm0, %xmm0
     90 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6f,0x01,0x10]
     91           vfmsubsd  (%rcx), %xmm1, %xmm0, %xmm0
     92 
     93 // CHECK: vfmsubsd   %xmm1, (%rcx), %xmm0, %xmm0
     94 // CHECK: encoding: [0xc4,0xe3,0x79,0x6f,0x01,0x10]
     95           vfmsubsd   %xmm1, (%rcx),%xmm0, %xmm0
     96 
     97 // CHECK: vfmsubsd   %xmm2, %xmm1, %xmm0, %xmm0
     98 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6f,0xc2,0x10]
     99           vfmsubsd   %xmm2, %xmm1, %xmm0, %xmm0
    100 
    101 // CHECK: vfmsubps  (%rcx), %xmm1, %xmm0, %xmm0
    102 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6c,0x01,0x10]
    103           vfmsubps  (%rcx), %xmm1, %xmm0, %xmm0
    104 
    105 // CHECK: vfmsubps   %xmm1, (%rcx), %xmm0, %xmm0
    106 // CHECK: encoding: [0xc4,0xe3,0x79,0x6c,0x01,0x10]
    107           vfmsubps   %xmm1, (%rcx),%xmm0, %xmm0
    108 
    109 // CHECK: vfmsubps   %xmm2, %xmm1, %xmm0, %xmm0
    110 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6c,0xc2,0x10]
    111           vfmsubps   %xmm2, %xmm1, %xmm0, %xmm0
    112 
    113 // CHECK: vfmsubpd  (%rcx), %xmm1, %xmm0, %xmm0
    114 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6d,0x01,0x10]
    115           vfmsubpd  (%rcx), %xmm1, %xmm0, %xmm0
    116 
    117 // CHECK: vfmsubpd   %xmm1, (%rcx), %xmm0, %xmm0
    118 // CHECK: encoding: [0xc4,0xe3,0x79,0x6d,0x01,0x10]
    119           vfmsubpd   %xmm1, (%rcx),%xmm0, %xmm0
    120 
    121 // CHECK: vfmsubpd   %xmm2, %xmm1, %xmm0, %xmm0
    122 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6d,0xc2,0x10]
    123           vfmsubpd   %xmm2, %xmm1, %xmm0, %xmm0
    124 
    125 // CHECK: vfmsubps  (%rcx), %ymm1, %ymm0, %ymm0
    126 // CHECK: encoding: [0xc4,0xe3,0xfd,0x6c,0x01,0x10]
    127           vfmsubps  (%rcx), %ymm1, %ymm0, %ymm0
    128 
    129 // CHECK: vfmsubps   %ymm1, (%rcx), %ymm0, %ymm0
    130 // CHECK: encoding: [0xc4,0xe3,0x7d,0x6c,0x01,0x10]
    131           vfmsubps   %ymm1, (%rcx),%ymm0, %ymm0
    132 
    133 // CHECK: vfmsubps   %ymm2, %ymm1, %ymm0, %ymm0
    134 // CHECK: encoding: [0xc4,0xe3,0xfd,0x6c,0xc2,0x10]
    135           vfmsubps   %ymm2, %ymm1, %ymm0, %ymm0
    136 
    137 // CHECK: vfmsubpd  (%rcx), %ymm1, %ymm0, %ymm0
    138 // CHECK: encoding: [0xc4,0xe3,0xfd,0x6d,0x01,0x10]
    139           vfmsubpd  (%rcx), %ymm1, %ymm0, %ymm0
    140 
    141 // CHECK: vfmsubpd   %ymm1, (%rcx), %ymm0, %ymm0
    142 // CHECK: encoding: [0xc4,0xe3,0x7d,0x6d,0x01,0x10]
    143           vfmsubpd   %ymm1, (%rcx),%ymm0, %ymm0
    144 
    145 // CHECK: vfmsubpd   %ymm2, %ymm1, %ymm0, %ymm0
    146 // CHECK: encoding: [0xc4,0xe3,0xfd,0x6d,0xc2,0x10]
    147           vfmsubpd   %ymm2, %ymm1, %ymm0, %ymm0
    148 
    149 // vfnmadd
    150 // CHECK: vfnmaddss  (%rcx), %xmm1, %xmm0, %xmm0
    151 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7a,0x01,0x10]
    152           vfnmaddss  (%rcx), %xmm1, %xmm0, %xmm0
    153 
    154 // CHECK: vfnmaddss   %xmm1, (%rcx), %xmm0, %xmm0
    155 // CHECK: encoding: [0xc4,0xe3,0x79,0x7a,0x01,0x10]
    156           vfnmaddss   %xmm1, (%rcx),%xmm0, %xmm0
    157 
    158 // CHECK: vfnmaddss   %xmm2, %xmm1, %xmm0, %xmm0
    159 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7a,0xc2,0x10]
    160           vfnmaddss   %xmm2, %xmm1, %xmm0, %xmm0
    161 
    162 // CHECK: vfnmaddsd  (%rcx), %xmm1, %xmm0, %xmm0
    163 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7b,0x01,0x10]
    164           vfnmaddsd  (%rcx), %xmm1, %xmm0, %xmm0
    165 
    166 // CHECK: vfnmaddsd   %xmm1, (%rcx), %xmm0, %xmm0
    167 // CHECK: encoding: [0xc4,0xe3,0x79,0x7b,0x01,0x10]
    168           vfnmaddsd   %xmm1, (%rcx),%xmm0, %xmm0
    169 
    170 // CHECK: vfnmaddsd   %xmm2, %xmm1, %xmm0, %xmm0
    171 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7b,0xc2,0x10]
    172           vfnmaddsd   %xmm2, %xmm1, %xmm0, %xmm0
    173 
    174 // CHECK: vfnmaddps  (%rcx), %xmm1, %xmm0, %xmm0
    175 // CHECK: encoding: [0xc4,0xe3,0xf9,0x78,0x01,0x10]
    176           vfnmaddps  (%rcx), %xmm1, %xmm0, %xmm0
    177 
    178 // CHECK: vfnmaddps   %xmm1, (%rcx), %xmm0, %xmm0
    179 // CHECK: encoding: [0xc4,0xe3,0x79,0x78,0x01,0x10]
    180           vfnmaddps   %xmm1, (%rcx),%xmm0, %xmm0
    181 
    182 // CHECK: vfnmaddps   %xmm2, %xmm1, %xmm0, %xmm0
    183 // CHECK: encoding: [0xc4,0xe3,0xf9,0x78,0xc2,0x10]
    184           vfnmaddps   %xmm2, %xmm1, %xmm0, %xmm0
    185 
    186 // CHECK: vfnmaddpd  (%rcx), %xmm1, %xmm0, %xmm0
    187 // CHECK: encoding: [0xc4,0xe3,0xf9,0x79,0x01,0x10]
    188           vfnmaddpd  (%rcx), %xmm1, %xmm0, %xmm0
    189 
    190 // CHECK: vfnmaddpd   %xmm1, (%rcx), %xmm0, %xmm0
    191 // CHECK: encoding: [0xc4,0xe3,0x79,0x79,0x01,0x10]
    192           vfnmaddpd   %xmm1, (%rcx),%xmm0, %xmm0
    193 
    194 // CHECK: vfnmaddpd   %xmm2, %xmm1, %xmm0, %xmm0
    195 // CHECK: encoding: [0xc4,0xe3,0xf9,0x79,0xc2,0x10]
    196           vfnmaddpd   %xmm2, %xmm1, %xmm0, %xmm0
    197 
    198 // CHECK: vfnmaddps  (%rcx), %ymm1, %ymm0, %ymm0
    199 // CHECK: encoding: [0xc4,0xe3,0xfd,0x78,0x01,0x10]
    200           vfnmaddps  (%rcx), %ymm1, %ymm0, %ymm0
    201 
    202 // CHECK: vfnmaddps   %ymm1, (%rcx), %ymm0, %ymm0
    203 // CHECK: encoding: [0xc4,0xe3,0x7d,0x78,0x01,0x10]
    204           vfnmaddps   %ymm1, (%rcx),%ymm0, %ymm0
    205 
    206 // CHECK: vfnmaddps   %ymm2, %ymm1, %ymm0, %ymm0
    207 // CHECK: encoding: [0xc4,0xe3,0xfd,0x78,0xc2,0x10]
    208           vfnmaddps   %ymm2, %ymm1, %ymm0, %ymm0
    209 
    210 // CHECK: vfnmaddpd  (%rcx), %ymm1, %ymm0, %ymm0
    211 // CHECK: encoding: [0xc4,0xe3,0xfd,0x79,0x01,0x10]
    212           vfnmaddpd  (%rcx), %ymm1, %ymm0, %ymm0
    213 
    214 // CHECK: vfnmaddpd   %ymm1, (%rcx), %ymm0, %ymm0
    215 // CHECK: encoding: [0xc4,0xe3,0x7d,0x79,0x01,0x10]
    216           vfnmaddpd   %ymm1, (%rcx),%ymm0, %ymm0
    217 
    218 // CHECK: vfnmaddpd   %ymm2, %ymm1, %ymm0, %ymm0
    219 // CHECK: encoding: [0xc4,0xe3,0xfd,0x79,0xc2,0x10]
    220           vfnmaddpd   %ymm2, %ymm1, %ymm0, %ymm0
    221 
    222 // vfnmsub
    223 // CHECK: vfnmsubss  (%rcx), %xmm1, %xmm0, %xmm0
    224 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7e,0x01,0x10]
    225           vfnmsubss  (%rcx), %xmm1, %xmm0, %xmm0
    226 
    227 // CHECK: vfnmsubss   %xmm1, (%rcx), %xmm0, %xmm0
    228 // CHECK: encoding: [0xc4,0xe3,0x79,0x7e,0x01,0x10]
    229           vfnmsubss   %xmm1, (%rcx),%xmm0, %xmm0
    230 
    231 // CHECK: vfnmsubss   %xmm2, %xmm1, %xmm0, %xmm0
    232 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7e,0xc2,0x10]
    233           vfnmsubss   %xmm2, %xmm1, %xmm0, %xmm0
    234 
    235 // CHECK: vfnmsubsd  (%rcx), %xmm1, %xmm0, %xmm0
    236 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7f,0x01,0x10]
    237           vfnmsubsd  (%rcx), %xmm1, %xmm0, %xmm0
    238 
    239 // CHECK: vfnmsubsd   %xmm1, (%rcx), %xmm0, %xmm0
    240 // CHECK: encoding: [0xc4,0xe3,0x79,0x7f,0x01,0x10]
    241           vfnmsubsd   %xmm1, (%rcx),%xmm0, %xmm0
    242 
    243 // CHECK: vfnmsubsd   %xmm2, %xmm1, %xmm0, %xmm0
    244 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7f,0xc2,0x10]
    245           vfnmsubsd   %xmm2, %xmm1, %xmm0, %xmm0
    246 
    247 // CHECK: vfnmsubps  (%rcx), %xmm1, %xmm0, %xmm0
    248 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7c,0x01,0x10]
    249           vfnmsubps  (%rcx), %xmm1, %xmm0, %xmm0
    250 
    251 // CHECK: vfnmsubps   %xmm1, (%rcx), %xmm0, %xmm0
    252 // CHECK: encoding: [0xc4,0xe3,0x79,0x7c,0x01,0x10]
    253           vfnmsubps   %xmm1, (%rcx),%xmm0, %xmm0
    254 
    255 // CHECK: vfnmsubps   %xmm2, %xmm1, %xmm0, %xmm0
    256 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7c,0xc2,0x10]
    257           vfnmsubps   %xmm2, %xmm1, %xmm0, %xmm0
    258 
    259 // CHECK: vfnmsubpd  (%rcx), %xmm1, %xmm0, %xmm0
    260 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7d,0x01,0x10]
    261           vfnmsubpd  (%rcx), %xmm1, %xmm0, %xmm0
    262 
    263 // CHECK: vfnmsubpd   %xmm1, (%rcx), %xmm0, %xmm0
    264 // CHECK: encoding: [0xc4,0xe3,0x79,0x7d,0x01,0x10]
    265           vfnmsubpd   %xmm1, (%rcx),%xmm0, %xmm0
    266 
    267 // CHECK: vfnmsubpd   %xmm2, %xmm1, %xmm0, %xmm0
    268 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7d,0xc2,0x10]
    269           vfnmsubpd   %xmm2, %xmm1, %xmm0, %xmm0
    270 
    271 // CHECK: vfnmsubps  (%rcx), %ymm1, %ymm0, %ymm0
    272 // CHECK: encoding: [0xc4,0xe3,0xfd,0x7c,0x01,0x10]
    273           vfnmsubps  (%rcx), %ymm1, %ymm0, %ymm0
    274 
    275 // CHECK: vfnmsubps   %ymm1, (%rcx), %ymm0, %ymm0
    276 // CHECK: encoding: [0xc4,0xe3,0x7d,0x7c,0x01,0x10]
    277           vfnmsubps   %ymm1, (%rcx),%ymm0, %ymm0
    278 
    279 // CHECK: vfnmsubps   %ymm2, %ymm1, %ymm0, %ymm0
    280 // CHECK: encoding: [0xc4,0xe3,0xfd,0x7c,0xc2,0x10]
    281           vfnmsubps   %ymm2, %ymm1, %ymm0, %ymm0
    282 
    283 // CHECK: vfnmsubpd  (%rcx), %ymm1, %ymm0, %ymm0
    284 // CHECK: encoding: [0xc4,0xe3,0xfd,0x7d,0x01,0x10]
    285           vfnmsubpd  (%rcx), %ymm1, %ymm0, %ymm0
    286 
    287 // CHECK: vfnmsubpd   %ymm1, (%rcx), %ymm0, %ymm0
    288 // CHECK: encoding: [0xc4,0xe3,0x7d,0x7d,0x01,0x10]
    289           vfnmsubpd   %ymm1, (%rcx),%ymm0, %ymm0
    290 
    291 // CHECK: vfnmsubpd   %ymm2, %ymm1, %ymm0, %ymm0
    292 // CHECK: encoding: [0xc4,0xe3,0xfd,0x7d,0xc2,0x10]
    293           vfnmsubpd   %ymm2, %ymm1, %ymm0, %ymm0
    294 
    295 // vfmaddsub
    296 // CHECK: vfmaddsubps  (%rcx), %xmm1, %xmm0, %xmm0
    297 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5c,0x01,0x10]
    298           vfmaddsubps  (%rcx), %xmm1, %xmm0, %xmm0
    299 
    300 // CHECK: vfmaddsubps   %xmm1, (%rcx), %xmm0, %xmm0
    301 // CHECK: encoding: [0xc4,0xe3,0x79,0x5c,0x01,0x10]
    302           vfmaddsubps   %xmm1, (%rcx),%xmm0, %xmm0
    303 
    304 // CHECK: vfmaddsubps   %xmm2, %xmm1, %xmm0, %xmm0
    305 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5c,0xc2,0x10]
    306           vfmaddsubps   %xmm2, %xmm1, %xmm0, %xmm0
    307 
    308 // CHECK: vfmaddsubpd  (%rcx), %xmm1, %xmm0, %xmm0
    309 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5d,0x01,0x10]
    310           vfmaddsubpd  (%rcx), %xmm1, %xmm0, %xmm0
    311 
    312 // CHECK: vfmaddsubpd   %xmm1, (%rcx), %xmm0, %xmm0
    313 // CHECK: encoding: [0xc4,0xe3,0x79,0x5d,0x01,0x10]
    314           vfmaddsubpd   %xmm1, (%rcx),%xmm0, %xmm0
    315 
    316 // CHECK: vfmaddsubpd   %xmm2, %xmm1, %xmm0, %xmm0
    317 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5d,0xc2,0x10]
    318           vfmaddsubpd   %xmm2, %xmm1, %xmm0, %xmm0
    319 
    320 // CHECK: vfmaddsubps  (%rcx), %ymm1, %ymm0, %ymm0
    321 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5c,0x01,0x10]
    322           vfmaddsubps  (%rcx), %ymm1, %ymm0, %ymm0
    323 
    324 // CHECK: vfmaddsubps   %ymm1, (%rcx), %ymm0, %ymm0
    325 // CHECK: encoding: [0xc4,0xe3,0x7d,0x5c,0x01,0x10]
    326           vfmaddsubps   %ymm1, (%rcx),%ymm0, %ymm0
    327 
    328 // CHECK: vfmaddsubps   %ymm2, %ymm1, %ymm0, %ymm0
    329 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5c,0xc2,0x10]
    330           vfmaddsubps   %ymm2, %ymm1, %ymm0, %ymm0
    331 
    332 // CHECK: vfmaddsubpd  (%rcx), %ymm1, %ymm0, %ymm0
    333 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5d,0x01,0x10]
    334           vfmaddsubpd  (%rcx), %ymm1, %ymm0, %ymm0
    335 
    336 // CHECK: vfmaddsubpd   %ymm1, (%rcx), %ymm0, %ymm0
    337 // CHECK: encoding: [0xc4,0xe3,0x7d,0x5d,0x01,0x10]
    338           vfmaddsubpd   %ymm1, (%rcx),%ymm0, %ymm0
    339 
    340 // CHECK: vfmaddsubpd   %ymm2, %ymm1, %ymm0, %ymm0
    341 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5d,0xc2,0x10]
    342           vfmaddsubpd   %ymm2, %ymm1, %ymm0, %ymm0
    343 
    344 // vfmsubadd
    345 // CHECK: vfmsubaddps  (%rcx), %xmm1, %xmm0, %xmm0
    346 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5e,0x01,0x10]
    347           vfmsubaddps  (%rcx), %xmm1, %xmm0, %xmm0
    348 
    349 // CHECK: vfmsubaddps   %xmm1, (%rcx), %xmm0, %xmm0
    350 // CHECK: encoding: [0xc4,0xe3,0x79,0x5e,0x01,0x10]
    351           vfmsubaddps   %xmm1, (%rcx),%xmm0, %xmm0
    352 
    353 // CHECK: vfmsubaddps   %xmm2, %xmm1, %xmm0, %xmm0
    354 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5e,0xc2,0x10]
    355           vfmsubaddps   %xmm2, %xmm1, %xmm0, %xmm0
    356 
    357 // CHECK: vfmsubaddpd  (%rcx), %xmm1, %xmm0, %xmm0
    358 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5f,0x01,0x10]
    359           vfmsubaddpd  (%rcx), %xmm1, %xmm0, %xmm0
    360 
    361 // CHECK: vfmsubaddpd   %xmm1, (%rcx), %xmm0, %xmm0
    362 // CHECK: encoding: [0xc4,0xe3,0x79,0x5f,0x01,0x10]
    363           vfmsubaddpd   %xmm1, (%rcx),%xmm0, %xmm0
    364 
    365 // CHECK: vfmsubaddpd   %xmm2, %xmm1, %xmm0, %xmm0
    366 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5f,0xc2,0x10]
    367           vfmsubaddpd   %xmm2, %xmm1, %xmm0, %xmm0
    368 
    369 // CHECK: vfmsubaddps  (%rcx), %ymm1, %ymm0, %ymm0
    370 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5e,0x01,0x10]
    371           vfmsubaddps  (%rcx), %ymm1, %ymm0, %ymm0
    372 
    373 // CHECK: vfmsubaddps   %ymm1, (%rcx), %ymm0, %ymm0
    374 // CHECK: encoding: [0xc4,0xe3,0x7d,0x5e,0x01,0x10]
    375           vfmsubaddps   %ymm1, (%rcx),%ymm0, %ymm0
    376 
    377 // CHECK: vfmsubaddps   %ymm2, %ymm1, %ymm0, %ymm0
    378 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5e,0xc2,0x10]
    379           vfmsubaddps   %ymm2, %ymm1, %ymm0, %ymm0
    380 
    381 // CHECK: vfmsubaddpd  (%rcx), %ymm1, %ymm0, %ymm0
    382 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5f,0x01,0x10]
    383           vfmsubaddpd  (%rcx), %ymm1, %ymm0, %ymm0
    384 
    385 // CHECK: vfmsubaddpd   %ymm1, (%rcx), %ymm0, %ymm0
    386 // CHECK: encoding: [0xc4,0xe3,0x7d,0x5f,0x01,0x10]
    387           vfmsubaddpd   %ymm1, (%rcx),%ymm0, %ymm0
    388 
    389 // CHECK: vfmsubaddpd   %ymm2, %ymm1, %ymm0, %ymm0
    390 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5f,0xc2,0x10]
    391           vfmsubaddpd   %ymm2, %ymm1, %ymm0, %ymm0
    392