Home | History | Annotate | Download | only in X86
      1 // RUN: llvm-mc -triple i386-unknown-unknown --show-encoding %s | FileCheck %s
      2 
      3 // CHECK: vfmadd132pd  %xmm2, %xmm5, %xmm1
      4 // CHECK: encoding: [0xc4,0xe2,0xd1,0x98,0xca]
      5           vfmadd132pd  %xmm2, %xmm5, %xmm1
      6 
      7 // CHECK: vfmadd132pd  (%eax), %xmm5, %xmm1
      8 // CHECK: encoding: [0xc4,0xe2,0xd1,0x98,0x08]
      9           vfmadd132pd  (%eax), %xmm5, %xmm1
     10 
     11 // CHECK: vfmadd132ps  %xmm2, %xmm5, %xmm1
     12 // CHECK: encoding: [0xc4,0xe2,0x51,0x98,0xca]
     13           vfmadd132ps  %xmm2, %xmm5, %xmm1
     14 
     15 // CHECK: vfmadd132ps  (%eax), %xmm5, %xmm1
     16 // CHECK: encoding: [0xc4,0xe2,0x51,0x98,0x08]
     17           vfmadd132ps  (%eax), %xmm5, %xmm1
     18 
     19 // CHECK: vfmadd213pd  %xmm2, %xmm5, %xmm1
     20 // CHECK: encoding: [0xc4,0xe2,0xd1,0xa8,0xca]
     21           vfmadd213pd  %xmm2, %xmm5, %xmm1
     22 
     23 // CHECK: vfmadd213pd  (%eax), %xmm5, %xmm1
     24 // CHECK: encoding: [0xc4,0xe2,0xd1,0xa8,0x08]
     25           vfmadd213pd  (%eax), %xmm5, %xmm1
     26 
     27 // CHECK: vfmadd213ps  %xmm2, %xmm5, %xmm1
     28 // CHECK: encoding: [0xc4,0xe2,0x51,0xa8,0xca]
     29           vfmadd213ps  %xmm2, %xmm5, %xmm1
     30 
     31 // CHECK: vfmadd213ps  (%eax), %xmm5, %xmm1
     32 // CHECK: encoding: [0xc4,0xe2,0x51,0xa8,0x08]
     33           vfmadd213ps  (%eax), %xmm5, %xmm1
     34 
     35 // CHECK: vfmadd231pd  %xmm2, %xmm5, %xmm1
     36 // CHECK: encoding: [0xc4,0xe2,0xd1,0xb8,0xca]
     37           vfmadd231pd  %xmm2, %xmm5, %xmm1
     38 
     39 // CHECK: vfmadd231pd  (%eax), %xmm5, %xmm1
     40 // CHECK: encoding: [0xc4,0xe2,0xd1,0xb8,0x08]
     41           vfmadd231pd  (%eax), %xmm5, %xmm1
     42 
     43 // CHECK: vfmadd231ps  %xmm2, %xmm5, %xmm1
     44 // CHECK: encoding: [0xc4,0xe2,0x51,0xb8,0xca]
     45           vfmadd231ps  %xmm2, %xmm5, %xmm1
     46 
     47 // CHECK: vfmadd231ps  (%eax), %xmm5, %xmm1
     48 // CHECK: encoding: [0xc4,0xe2,0x51,0xb8,0x08]
     49           vfmadd231ps  (%eax), %xmm5, %xmm1
     50 
     51 // CHECK: vfmadd132pd  %ymm2, %ymm5, %ymm1
     52 // CHECK: encoding: [0xc4,0xe2,0xd5,0x98,0xca]
     53           vfmadd132pd  %ymm2, %ymm5, %ymm1
     54 
     55 // CHECK: vfmadd132pd  (%eax), %ymm5, %ymm1
     56 // CHECK: encoding: [0xc4,0xe2,0xd5,0x98,0x08]
     57           vfmadd132pd  (%eax), %ymm5, %ymm1
     58 
     59 // CHECK: vfmadd132ps  %ymm2, %ymm5, %ymm1
     60 // CHECK: encoding: [0xc4,0xe2,0x55,0x98,0xca]
     61           vfmadd132ps  %ymm2, %ymm5, %ymm1
     62 
     63 // CHECK: vfmadd132ps  (%eax), %ymm5, %ymm1
     64 // CHECK: encoding: [0xc4,0xe2,0x55,0x98,0x08]
     65           vfmadd132ps  (%eax), %ymm5, %ymm1
     66 
     67 // CHECK: vfmadd213pd  %ymm2, %ymm5, %ymm1
     68 // CHECK: encoding: [0xc4,0xe2,0xd5,0xa8,0xca]
     69           vfmadd213pd  %ymm2, %ymm5, %ymm1
     70 
     71 // CHECK: vfmadd213pd  (%eax), %ymm5, %ymm1
     72 // CHECK: encoding: [0xc4,0xe2,0xd5,0xa8,0x08]
     73           vfmadd213pd  (%eax), %ymm5, %ymm1
     74 
     75 // CHECK: vfmadd213ps  %ymm2, %ymm5, %ymm1
     76 // CHECK: encoding: [0xc4,0xe2,0x55,0xa8,0xca]
     77           vfmadd213ps  %ymm2, %ymm5, %ymm1
     78 
     79 // CHECK: vfmadd213ps  (%eax), %ymm5, %ymm1
     80 // CHECK: encoding: [0xc4,0xe2,0x55,0xa8,0x08]
     81           vfmadd213ps  (%eax), %ymm5, %ymm1
     82 
     83 // CHECK: vfmadd231pd  %ymm2, %ymm5, %ymm1
     84 // CHECK: encoding: [0xc4,0xe2,0xd5,0xb8,0xca]
     85           vfmadd231pd  %ymm2, %ymm5, %ymm1
     86 
     87 // CHECK: vfmadd231pd  (%eax), %ymm5, %ymm1
     88 // CHECK: encoding: [0xc4,0xe2,0xd5,0xb8,0x08]
     89           vfmadd231pd  (%eax), %ymm5, %ymm1
     90 
     91 // CHECK: vfmadd231ps  %ymm2, %ymm5, %ymm1
     92 // CHECK: encoding: [0xc4,0xe2,0x55,0xb8,0xca]
     93           vfmadd231ps  %ymm2, %ymm5, %ymm1
     94 
     95 // CHECK: vfmadd231ps  (%eax), %ymm5, %ymm1
     96 // CHECK: encoding: [0xc4,0xe2,0x55,0xb8,0x08]
     97           vfmadd231ps  (%eax), %ymm5, %ymm1
     98 
     99 // CHECK: vfmadd132pd  %xmm2, %xmm5, %xmm1
    100 // CHECK: encoding: [0xc4,0xe2,0xd1,0x98,0xca]
    101           vfmadd132pd  %xmm2, %xmm5, %xmm1
    102 
    103 // CHECK: vfmadd132pd  (%eax), %xmm5, %xmm1
    104 // CHECK: encoding: [0xc4,0xe2,0xd1,0x98,0x08]
    105           vfmadd132pd  (%eax), %xmm5, %xmm1
    106 
    107 // CHECK: vfmadd132ps  %xmm2, %xmm5, %xmm1
    108 // CHECK: encoding: [0xc4,0xe2,0x51,0x98,0xca]
    109           vfmadd132ps  %xmm2, %xmm5, %xmm1
    110 
    111 // CHECK: vfmadd132ps  (%eax), %xmm5, %xmm1
    112 // CHECK: encoding: [0xc4,0xe2,0x51,0x98,0x08]
    113           vfmadd132ps  (%eax), %xmm5, %xmm1
    114 
    115 // CHECK: vfmadd213pd  %xmm2, %xmm5, %xmm1
    116 // CHECK: encoding: [0xc4,0xe2,0xd1,0xa8,0xca]
    117           vfmadd213pd  %xmm2, %xmm5, %xmm1
    118 
    119 // CHECK: vfmadd213pd  (%eax), %xmm5, %xmm1
    120 // CHECK: encoding: [0xc4,0xe2,0xd1,0xa8,0x08]
    121           vfmadd213pd  (%eax), %xmm5, %xmm1
    122 
    123 // CHECK: vfmadd213ps  %xmm2, %xmm5, %xmm1
    124 // CHECK: encoding: [0xc4,0xe2,0x51,0xa8,0xca]
    125           vfmadd213ps  %xmm2, %xmm5, %xmm1
    126 
    127 // CHECK: vfmadd213ps  (%eax), %xmm5, %xmm1
    128 // CHECK: encoding: [0xc4,0xe2,0x51,0xa8,0x08]
    129           vfmadd213ps  (%eax), %xmm5, %xmm1
    130 
    131 // CHECK: vfmadd231pd  %xmm2, %xmm5, %xmm1
    132 // CHECK: encoding: [0xc4,0xe2,0xd1,0xb8,0xca]
    133           vfmadd231pd  %xmm2, %xmm5, %xmm1
    134 
    135 // CHECK: vfmadd231pd  (%eax), %xmm5, %xmm1
    136 // CHECK: encoding: [0xc4,0xe2,0xd1,0xb8,0x08]
    137           vfmadd231pd  (%eax), %xmm5, %xmm1
    138 
    139 // CHECK: vfmadd231ps  %xmm2, %xmm5, %xmm1
    140 // CHECK: encoding: [0xc4,0xe2,0x51,0xb8,0xca]
    141           vfmadd231ps  %xmm2, %xmm5, %xmm1
    142 
    143 // CHECK: vfmadd231ps  (%eax), %xmm5, %xmm1
    144 // CHECK: encoding: [0xc4,0xe2,0x51,0xb8,0x08]
    145           vfmadd231ps  (%eax), %xmm5, %xmm1
    146 
    147 // CHECK: vfmaddsub132pd  %xmm2, %xmm5, %xmm1
    148 // CHECK: encoding: [0xc4,0xe2,0xd1,0x96,0xca]
    149           vfmaddsub132pd  %xmm2, %xmm5, %xmm1
    150 
    151 // CHECK: vfmaddsub132pd  (%eax), %xmm5, %xmm1
    152 // CHECK: encoding: [0xc4,0xe2,0xd1,0x96,0x08]
    153           vfmaddsub132pd  (%eax), %xmm5, %xmm1
    154 
    155 // CHECK: vfmaddsub132ps  %xmm2, %xmm5, %xmm1
    156 // CHECK: encoding: [0xc4,0xe2,0x51,0x96,0xca]
    157           vfmaddsub132ps  %xmm2, %xmm5, %xmm1
    158 
    159 // CHECK: vfmaddsub132ps  (%eax), %xmm5, %xmm1
    160 // CHECK: encoding: [0xc4,0xe2,0x51,0x96,0x08]
    161           vfmaddsub132ps  (%eax), %xmm5, %xmm1
    162 
    163 // CHECK: vfmaddsub213pd  %xmm2, %xmm5, %xmm1
    164 // CHECK: encoding: [0xc4,0xe2,0xd1,0xa6,0xca]
    165           vfmaddsub213pd  %xmm2, %xmm5, %xmm1
    166 
    167 // CHECK: vfmaddsub213pd  (%eax), %xmm5, %xmm1
    168 // CHECK: encoding: [0xc4,0xe2,0xd1,0xa6,0x08]
    169           vfmaddsub213pd  (%eax), %xmm5, %xmm1
    170 
    171 // CHECK: vfmaddsub213ps  %xmm2, %xmm5, %xmm1
    172 // CHECK: encoding: [0xc4,0xe2,0x51,0xa6,0xca]
    173           vfmaddsub213ps  %xmm2, %xmm5, %xmm1
    174 
    175 // CHECK: vfmaddsub213ps  (%eax), %xmm5, %xmm1
    176 // CHECK: encoding: [0xc4,0xe2,0x51,0xa6,0x08]
    177           vfmaddsub213ps  (%eax), %xmm5, %xmm1
    178 
    179 // CHECK: vfmaddsub231pd  %xmm2, %xmm5, %xmm1
    180 // CHECK: encoding: [0xc4,0xe2,0xd1,0xb6,0xca]
    181           vfmaddsub231pd  %xmm2, %xmm5, %xmm1
    182 
    183 // CHECK: vfmaddsub231pd  (%eax), %xmm5, %xmm1
    184 // CHECK: encoding: [0xc4,0xe2,0xd1,0xb6,0x08]
    185           vfmaddsub231pd  (%eax), %xmm5, %xmm1
    186 
    187 // CHECK: vfmaddsub231ps  %xmm2, %xmm5, %xmm1
    188 // CHECK: encoding: [0xc4,0xe2,0x51,0xb6,0xca]
    189           vfmaddsub231ps  %xmm2, %xmm5, %xmm1
    190 
    191 // CHECK: vfmaddsub231ps  (%eax), %xmm5, %xmm1
    192 // CHECK: encoding: [0xc4,0xe2,0x51,0xb6,0x08]
    193           vfmaddsub231ps  (%eax), %xmm5, %xmm1
    194 
    195 // CHECK: vfmsubadd132pd  %xmm2, %xmm5, %xmm1
    196 // CHECK: encoding: [0xc4,0xe2,0xd1,0x97,0xca]
    197           vfmsubadd132pd  %xmm2, %xmm5, %xmm1
    198 
    199 // CHECK: vfmsubadd132pd  (%eax), %xmm5, %xmm1
    200 // CHECK: encoding: [0xc4,0xe2,0xd1,0x97,0x08]
    201           vfmsubadd132pd  (%eax), %xmm5, %xmm1
    202 
    203 // CHECK: vfmsubadd132ps  %xmm2, %xmm5, %xmm1
    204 // CHECK: encoding: [0xc4,0xe2,0x51,0x97,0xca]
    205           vfmsubadd132ps  %xmm2, %xmm5, %xmm1
    206 
    207 // CHECK: vfmsubadd132ps  (%eax), %xmm5, %xmm1
    208 // CHECK: encoding: [0xc4,0xe2,0x51,0x97,0x08]
    209           vfmsubadd132ps  (%eax), %xmm5, %xmm1
    210 
    211 // CHECK: vfmsubadd213pd  %xmm2, %xmm5, %xmm1
    212 // CHECK: encoding: [0xc4,0xe2,0xd1,0xa7,0xca]
    213           vfmsubadd213pd  %xmm2, %xmm5, %xmm1
    214 
    215 // CHECK: vfmsubadd213pd  (%eax), %xmm5, %xmm1
    216 // CHECK: encoding: [0xc4,0xe2,0xd1,0xa7,0x08]
    217           vfmsubadd213pd  (%eax), %xmm5, %xmm1
    218 
    219 // CHECK: vfmsubadd213ps  %xmm2, %xmm5, %xmm1
    220 // CHECK: encoding: [0xc4,0xe2,0x51,0xa7,0xca]
    221           vfmsubadd213ps  %xmm2, %xmm5, %xmm1
    222 
    223 // CHECK: vfmsubadd213ps  (%eax), %xmm5, %xmm1
    224 // CHECK: encoding: [0xc4,0xe2,0x51,0xa7,0x08]
    225           vfmsubadd213ps  (%eax), %xmm5, %xmm1
    226 
    227 // CHECK: vfmsubadd231pd  %xmm2, %xmm5, %xmm1
    228 // CHECK: encoding: [0xc4,0xe2,0xd1,0xb7,0xca]
    229           vfmsubadd231pd  %xmm2, %xmm5, %xmm1
    230 
    231 // CHECK: vfmsubadd231pd  (%eax), %xmm5, %xmm1
    232 // CHECK: encoding: [0xc4,0xe2,0xd1,0xb7,0x08]
    233           vfmsubadd231pd  (%eax), %xmm5, %xmm1
    234 
    235 // CHECK: vfmsubadd231ps  %xmm2, %xmm5, %xmm1
    236 // CHECK: encoding: [0xc4,0xe2,0x51,0xb7,0xca]
    237           vfmsubadd231ps  %xmm2, %xmm5, %xmm1
    238 
    239 // CHECK: vfmsubadd231ps  (%eax), %xmm5, %xmm1
    240 // CHECK: encoding: [0xc4,0xe2,0x51,0xb7,0x08]
    241           vfmsubadd231ps  (%eax), %xmm5, %xmm1
    242 
    243 // CHECK: vfmsub132pd  %xmm2, %xmm5, %xmm1
    244 // CHECK: encoding: [0xc4,0xe2,0xd1,0x9a,0xca]
    245           vfmsub132pd  %xmm2, %xmm5, %xmm1
    246 
    247 // CHECK: vfmsub132pd  (%eax), %xmm5, %xmm1
    248 // CHECK: encoding: [0xc4,0xe2,0xd1,0x9a,0x08]
    249           vfmsub132pd  (%eax), %xmm5, %xmm1
    250 
    251 // CHECK: vfmsub132ps  %xmm2, %xmm5, %xmm1
    252 // CHECK: encoding: [0xc4,0xe2,0x51,0x9a,0xca]
    253           vfmsub132ps  %xmm2, %xmm5, %xmm1
    254 
    255 // CHECK: vfmsub132ps  (%eax), %xmm5, %xmm1
    256 // CHECK: encoding: [0xc4,0xe2,0x51,0x9a,0x08]
    257           vfmsub132ps  (%eax), %xmm5, %xmm1
    258 
    259 // CHECK: vfmsub213pd  %xmm2, %xmm5, %xmm1
    260 // CHECK: encoding: [0xc4,0xe2,0xd1,0xaa,0xca]
    261           vfmsub213pd  %xmm2, %xmm5, %xmm1
    262 
    263 // CHECK: vfmsub213pd  (%eax), %xmm5, %xmm1
    264 // CHECK: encoding: [0xc4,0xe2,0xd1,0xaa,0x08]
    265           vfmsub213pd  (%eax), %xmm5, %xmm1
    266 
    267 // CHECK: vfmsub213ps  %xmm2, %xmm5, %xmm1
    268 // CHECK: encoding: [0xc4,0xe2,0x51,0xaa,0xca]
    269           vfmsub213ps  %xmm2, %xmm5, %xmm1
    270 
    271 // CHECK: vfmsub213ps  (%eax), %xmm5, %xmm1
    272 // CHECK: encoding: [0xc4,0xe2,0x51,0xaa,0x08]
    273           vfmsub213ps  (%eax), %xmm5, %xmm1
    274 
    275 // CHECK: vfmsub231pd  %xmm2, %xmm5, %xmm1
    276 // CHECK: encoding: [0xc4,0xe2,0xd1,0xba,0xca]
    277           vfmsub231pd  %xmm2, %xmm5, %xmm1
    278 
    279 // CHECK: vfmsub231pd  (%eax), %xmm5, %xmm1
    280 // CHECK: encoding: [0xc4,0xe2,0xd1,0xba,0x08]
    281           vfmsub231pd  (%eax), %xmm5, %xmm1
    282 
    283 // CHECK: vfmsub231ps  %xmm2, %xmm5, %xmm1
    284 // CHECK: encoding: [0xc4,0xe2,0x51,0xba,0xca]
    285           vfmsub231ps  %xmm2, %xmm5, %xmm1
    286 
    287 // CHECK: vfmsub231ps  (%eax), %xmm5, %xmm1
    288 // CHECK: encoding: [0xc4,0xe2,0x51,0xba,0x08]
    289           vfmsub231ps  (%eax), %xmm5, %xmm1
    290 
    291 // CHECK: vfnmadd132pd  %xmm2, %xmm5, %xmm1
    292 // CHECK: encoding: [0xc4,0xe2,0xd1,0x9c,0xca]
    293           vfnmadd132pd  %xmm2, %xmm5, %xmm1
    294 
    295 // CHECK: vfnmadd132pd  (%eax), %xmm5, %xmm1
    296 // CHECK: encoding: [0xc4,0xe2,0xd1,0x9c,0x08]
    297           vfnmadd132pd  (%eax), %xmm5, %xmm1
    298 
    299 // CHECK: vfnmadd132ps  %xmm2, %xmm5, %xmm1
    300 // CHECK: encoding: [0xc4,0xe2,0x51,0x9c,0xca]
    301           vfnmadd132ps  %xmm2, %xmm5, %xmm1
    302 
    303 // CHECK: vfnmadd132ps  (%eax), %xmm5, %xmm1
    304 // CHECK: encoding: [0xc4,0xe2,0x51,0x9c,0x08]
    305           vfnmadd132ps  (%eax), %xmm5, %xmm1
    306 
    307 // CHECK: vfnmadd213pd  %xmm2, %xmm5, %xmm1
    308 // CHECK: encoding: [0xc4,0xe2,0xd1,0xac,0xca]
    309           vfnmadd213pd  %xmm2, %xmm5, %xmm1
    310 
    311 // CHECK: vfnmadd213pd  (%eax), %xmm5, %xmm1
    312 // CHECK: encoding: [0xc4,0xe2,0xd1,0xac,0x08]
    313           vfnmadd213pd  (%eax), %xmm5, %xmm1
    314 
    315 // CHECK: vfnmadd213ps  %xmm2, %xmm5, %xmm1
    316 // CHECK: encoding: [0xc4,0xe2,0x51,0xac,0xca]
    317           vfnmadd213ps  %xmm2, %xmm5, %xmm1
    318 
    319 // CHECK: vfnmadd213ps  (%eax), %xmm5, %xmm1
    320 // CHECK: encoding: [0xc4,0xe2,0x51,0xac,0x08]
    321           vfnmadd213ps  (%eax), %xmm5, %xmm1
    322 
    323 // CHECK: vfnmadd231pd  %xmm2, %xmm5, %xmm1
    324 // CHECK: encoding: [0xc4,0xe2,0xd1,0xbc,0xca]
    325           vfnmadd231pd  %xmm2, %xmm5, %xmm1
    326 
    327 // CHECK: vfnmadd231pd  (%eax), %xmm5, %xmm1
    328 // CHECK: encoding: [0xc4,0xe2,0xd1,0xbc,0x08]
    329           vfnmadd231pd  (%eax), %xmm5, %xmm1
    330 
    331 // CHECK: vfnmadd231ps  %xmm2, %xmm5, %xmm1
    332 // CHECK: encoding: [0xc4,0xe2,0x51,0xbc,0xca]
    333           vfnmadd231ps  %xmm2, %xmm5, %xmm1
    334 
    335 // CHECK: vfnmadd231ps  (%eax), %xmm5, %xmm1
    336 // CHECK: encoding: [0xc4,0xe2,0x51,0xbc,0x08]
    337           vfnmadd231ps  (%eax), %xmm5, %xmm1
    338 
    339 // CHECK: vfnmsub132pd  %xmm2, %xmm5, %xmm1
    340 // CHECK: encoding: [0xc4,0xe2,0xd1,0x9e,0xca]
    341           vfnmsub132pd  %xmm2, %xmm5, %xmm1
    342 
    343 // CHECK: vfnmsub132pd  (%eax), %xmm5, %xmm1
    344 // CHECK: encoding: [0xc4,0xe2,0xd1,0x9e,0x08]
    345           vfnmsub132pd  (%eax), %xmm5, %xmm1
    346 
    347 // CHECK: vfnmsub132ps  %xmm2, %xmm5, %xmm1
    348 // CHECK: encoding: [0xc4,0xe2,0x51,0x9e,0xca]
    349           vfnmsub132ps  %xmm2, %xmm5, %xmm1
    350 
    351 // CHECK: vfnmsub132ps  (%eax), %xmm5, %xmm1
    352 // CHECK: encoding: [0xc4,0xe2,0x51,0x9e,0x08]
    353           vfnmsub132ps  (%eax), %xmm5, %xmm1
    354 
    355 // CHECK: vfnmsub213pd  %xmm2, %xmm5, %xmm1
    356 // CHECK: encoding: [0xc4,0xe2,0xd1,0xae,0xca]
    357           vfnmsub213pd  %xmm2, %xmm5, %xmm1
    358 
    359 // CHECK: vfnmsub213pd  (%eax), %xmm5, %xmm1
    360 // CHECK: encoding: [0xc4,0xe2,0xd1,0xae,0x08]
    361           vfnmsub213pd  (%eax), %xmm5, %xmm1
    362 
    363 // CHECK: vfnmsub213ps  %xmm2, %xmm5, %xmm1
    364 // CHECK: encoding: [0xc4,0xe2,0x51,0xae,0xca]
    365           vfnmsub213ps  %xmm2, %xmm5, %xmm1
    366 
    367 // CHECK: vfnmsub213ps  (%eax), %xmm5, %xmm1
    368 // CHECK: encoding: [0xc4,0xe2,0x51,0xae,0x08]
    369           vfnmsub213ps  (%eax), %xmm5, %xmm1
    370 
    371 // CHECK: vfnmsub231pd  %xmm2, %xmm5, %xmm1
    372 // CHECK: encoding: [0xc4,0xe2,0xd1,0xbe,0xca]
    373           vfnmsub231pd  %xmm2, %xmm5, %xmm1
    374 
    375 // CHECK: vfnmsub231pd  (%eax), %xmm5, %xmm1
    376 // CHECK: encoding: [0xc4,0xe2,0xd1,0xbe,0x08]
    377           vfnmsub231pd  (%eax), %xmm5, %xmm1
    378 
    379 // CHECK: vfnmsub231ps  %xmm2, %xmm5, %xmm1
    380 // CHECK: encoding: [0xc4,0xe2,0x51,0xbe,0xca]
    381           vfnmsub231ps  %xmm2, %xmm5, %xmm1
    382 
    383 // CHECK: vfnmsub231ps  (%eax), %xmm5, %xmm1
    384 // CHECK: encoding: [0xc4,0xe2,0x51,0xbe,0x08]
    385           vfnmsub231ps  (%eax), %xmm5, %xmm1
    386 
    387 // CHECK: vfmadd132pd  %ymm2, %ymm5, %ymm1
    388 // CHECK: encoding: [0xc4,0xe2,0xd5,0x98,0xca]
    389           vfmadd132pd  %ymm2, %ymm5, %ymm1
    390 
    391 // CHECK: vfmadd132pd  (%eax), %ymm5, %ymm1
    392 // CHECK: encoding: [0xc4,0xe2,0xd5,0x98,0x08]
    393           vfmadd132pd  (%eax), %ymm5, %ymm1
    394 
    395 // CHECK: vfmadd132ps  %ymm2, %ymm5, %ymm1
    396 // CHECK: encoding: [0xc4,0xe2,0x55,0x98,0xca]
    397           vfmadd132ps  %ymm2, %ymm5, %ymm1
    398 
    399 // CHECK: vfmadd132ps  (%eax), %ymm5, %ymm1
    400 // CHECK: encoding: [0xc4,0xe2,0x55,0x98,0x08]
    401           vfmadd132ps  (%eax), %ymm5, %ymm1
    402 
    403 // CHECK: vfmadd213pd  %ymm2, %ymm5, %ymm1
    404 // CHECK: encoding: [0xc4,0xe2,0xd5,0xa8,0xca]
    405           vfmadd213pd  %ymm2, %ymm5, %ymm1
    406 
    407 // CHECK: vfmadd213pd  (%eax), %ymm5, %ymm1
    408 // CHECK: encoding: [0xc4,0xe2,0xd5,0xa8,0x08]
    409           vfmadd213pd  (%eax), %ymm5, %ymm1
    410 
    411 // CHECK: vfmadd213ps  %ymm2, %ymm5, %ymm1
    412 // CHECK: encoding: [0xc4,0xe2,0x55,0xa8,0xca]
    413           vfmadd213ps  %ymm2, %ymm5, %ymm1
    414 
    415 // CHECK: vfmadd213ps  (%eax), %ymm5, %ymm1
    416 // CHECK: encoding: [0xc4,0xe2,0x55,0xa8,0x08]
    417           vfmadd213ps  (%eax), %ymm5, %ymm1
    418 
    419 // CHECK: vfmadd231pd  %ymm2, %ymm5, %ymm1
    420 // CHECK: encoding: [0xc4,0xe2,0xd5,0xb8,0xca]
    421           vfmadd231pd  %ymm2, %ymm5, %ymm1
    422 
    423 // CHECK: vfmadd231pd  (%eax), %ymm5, %ymm1
    424 // CHECK: encoding: [0xc4,0xe2,0xd5,0xb8,0x08]
    425           vfmadd231pd  (%eax), %ymm5, %ymm1
    426 
    427 // CHECK: vfmadd231ps  %ymm2, %ymm5, %ymm1
    428 // CHECK: encoding: [0xc4,0xe2,0x55,0xb8,0xca]
    429           vfmadd231ps  %ymm2, %ymm5, %ymm1
    430 
    431 // CHECK: vfmadd231ps  (%eax), %ymm5, %ymm1
    432 // CHECK: encoding: [0xc4,0xe2,0x55,0xb8,0x08]
    433           vfmadd231ps  (%eax), %ymm5, %ymm1
    434 
    435 // CHECK: vfmaddsub132pd  %ymm2, %ymm5, %ymm1
    436 // CHECK: encoding: [0xc4,0xe2,0xd5,0x96,0xca]
    437           vfmaddsub132pd  %ymm2, %ymm5, %ymm1
    438 
    439 // CHECK: vfmaddsub132pd  (%eax), %ymm5, %ymm1
    440 // CHECK: encoding: [0xc4,0xe2,0xd5,0x96,0x08]
    441           vfmaddsub132pd  (%eax), %ymm5, %ymm1
    442 
    443 // CHECK: vfmaddsub132ps  %ymm2, %ymm5, %ymm1
    444 // CHECK: encoding: [0xc4,0xe2,0x55,0x96,0xca]
    445           vfmaddsub132ps  %ymm2, %ymm5, %ymm1
    446 
    447 // CHECK: vfmaddsub132ps  (%eax), %ymm5, %ymm1
    448 // CHECK: encoding: [0xc4,0xe2,0x55,0x96,0x08]
    449           vfmaddsub132ps  (%eax), %ymm5, %ymm1
    450 
    451 // CHECK: vfmaddsub213pd  %ymm2, %ymm5, %ymm1
    452 // CHECK: encoding: [0xc4,0xe2,0xd5,0xa6,0xca]
    453           vfmaddsub213pd  %ymm2, %ymm5, %ymm1
    454 
    455 // CHECK: vfmaddsub213pd  (%eax), %ymm5, %ymm1
    456 // CHECK: encoding: [0xc4,0xe2,0xd5,0xa6,0x08]
    457           vfmaddsub213pd  (%eax), %ymm5, %ymm1
    458 
    459 // CHECK: vfmaddsub213ps  %ymm2, %ymm5, %ymm1
    460 // CHECK: encoding: [0xc4,0xe2,0x55,0xa6,0xca]
    461           vfmaddsub213ps  %ymm2, %ymm5, %ymm1
    462 
    463 // CHECK: vfmaddsub213ps  (%eax), %ymm5, %ymm1
    464 // CHECK: encoding: [0xc4,0xe2,0x55,0xa6,0x08]
    465           vfmaddsub213ps  (%eax), %ymm5, %ymm1
    466 
    467 // CHECK: vfmaddsub231pd  %ymm2, %ymm5, %ymm1
    468 // CHECK: encoding: [0xc4,0xe2,0xd5,0xb6,0xca]
    469           vfmaddsub231pd  %ymm2, %ymm5, %ymm1
    470 
    471 // CHECK: vfmaddsub231pd  (%eax), %ymm5, %ymm1
    472 // CHECK: encoding: [0xc4,0xe2,0xd5,0xb6,0x08]
    473           vfmaddsub231pd  (%eax), %ymm5, %ymm1
    474 
    475 // CHECK: vfmaddsub231ps  %ymm2, %ymm5, %ymm1
    476 // CHECK: encoding: [0xc4,0xe2,0x55,0xb6,0xca]
    477           vfmaddsub231ps  %ymm2, %ymm5, %ymm1
    478 
    479 // CHECK: vfmaddsub231ps  (%eax), %ymm5, %ymm1
    480 // CHECK: encoding: [0xc4,0xe2,0x55,0xb6,0x08]
    481           vfmaddsub231ps  (%eax), %ymm5, %ymm1
    482 
    483 // CHECK: vfmsubadd132pd  %ymm2, %ymm5, %ymm1
    484 // CHECK: encoding: [0xc4,0xe2,0xd5,0x97,0xca]
    485           vfmsubadd132pd  %ymm2, %ymm5, %ymm1
    486 
    487 // CHECK: vfmsubadd132pd  (%eax), %ymm5, %ymm1
    488 // CHECK: encoding: [0xc4,0xe2,0xd5,0x97,0x08]
    489           vfmsubadd132pd  (%eax), %ymm5, %ymm1
    490 
    491 // CHECK: vfmsubadd132ps  %ymm2, %ymm5, %ymm1
    492 // CHECK: encoding: [0xc4,0xe2,0x55,0x97,0xca]
    493           vfmsubadd132ps  %ymm2, %ymm5, %ymm1
    494 
    495 // CHECK: vfmsubadd132ps  (%eax), %ymm5, %ymm1
    496 // CHECK: encoding: [0xc4,0xe2,0x55,0x97,0x08]
    497           vfmsubadd132ps  (%eax), %ymm5, %ymm1
    498 
    499 // CHECK: vfmsubadd213pd  %ymm2, %ymm5, %ymm1
    500 // CHECK: encoding: [0xc4,0xe2,0xd5,0xa7,0xca]
    501           vfmsubadd213pd  %ymm2, %ymm5, %ymm1
    502 
    503 // CHECK: vfmsubadd213pd  (%eax), %ymm5, %ymm1
    504 // CHECK: encoding: [0xc4,0xe2,0xd5,0xa7,0x08]
    505           vfmsubadd213pd  (%eax), %ymm5, %ymm1
    506 
    507 // CHECK: vfmsubadd213ps  %ymm2, %ymm5, %ymm1
    508 // CHECK: encoding: [0xc4,0xe2,0x55,0xa7,0xca]
    509           vfmsubadd213ps  %ymm2, %ymm5, %ymm1
    510 
    511 // CHECK: vfmsubadd213ps  (%eax), %ymm5, %ymm1
    512 // CHECK: encoding: [0xc4,0xe2,0x55,0xa7,0x08]
    513           vfmsubadd213ps  (%eax), %ymm5, %ymm1
    514 
    515 // CHECK: vfmsubadd231pd  %ymm2, %ymm5, %ymm1
    516 // CHECK: encoding: [0xc4,0xe2,0xd5,0xb7,0xca]
    517           vfmsubadd231pd  %ymm2, %ymm5, %ymm1
    518 
    519 // CHECK: vfmsubadd231pd  (%eax), %ymm5, %ymm1
    520 // CHECK: encoding: [0xc4,0xe2,0xd5,0xb7,0x08]
    521           vfmsubadd231pd  (%eax), %ymm5, %ymm1
    522 
    523 // CHECK: vfmsubadd231ps  %ymm2, %ymm5, %ymm1
    524 // CHECK: encoding: [0xc4,0xe2,0x55,0xb7,0xca]
    525           vfmsubadd231ps  %ymm2, %ymm5, %ymm1
    526 
    527 // CHECK: vfmsubadd231ps  (%eax), %ymm5, %ymm1
    528 // CHECK: encoding: [0xc4,0xe2,0x55,0xb7,0x08]
    529           vfmsubadd231ps  (%eax), %ymm5, %ymm1
    530 
    531 // CHECK: vfmsub132pd  %ymm2, %ymm5, %ymm1
    532 // CHECK: encoding: [0xc4,0xe2,0xd5,0x9a,0xca]
    533           vfmsub132pd  %ymm2, %ymm5, %ymm1
    534 
    535 // CHECK: vfmsub132pd  (%eax), %ymm5, %ymm1
    536 // CHECK: encoding: [0xc4,0xe2,0xd5,0x9a,0x08]
    537           vfmsub132pd  (%eax), %ymm5, %ymm1
    538 
    539 // CHECK: vfmsub132ps  %ymm2, %ymm5, %ymm1
    540 // CHECK: encoding: [0xc4,0xe2,0x55,0x9a,0xca]
    541           vfmsub132ps  %ymm2, %ymm5, %ymm1
    542 
    543 // CHECK: vfmsub132ps  (%eax), %ymm5, %ymm1
    544 // CHECK: encoding: [0xc4,0xe2,0x55,0x9a,0x08]
    545           vfmsub132ps  (%eax), %ymm5, %ymm1
    546 
    547 // CHECK: vfmsub213pd  %ymm2, %ymm5, %ymm1
    548 // CHECK: encoding: [0xc4,0xe2,0xd5,0xaa,0xca]
    549           vfmsub213pd  %ymm2, %ymm5, %ymm1
    550 
    551 // CHECK: vfmsub213pd  (%eax), %ymm5, %ymm1
    552 // CHECK: encoding: [0xc4,0xe2,0xd5,0xaa,0x08]
    553           vfmsub213pd  (%eax), %ymm5, %ymm1
    554 
    555 // CHECK: vfmsub213ps  %ymm2, %ymm5, %ymm1
    556 // CHECK: encoding: [0xc4,0xe2,0x55,0xaa,0xca]
    557           vfmsub213ps  %ymm2, %ymm5, %ymm1
    558 
    559 // CHECK: vfmsub213ps  (%eax), %ymm5, %ymm1
    560 // CHECK: encoding: [0xc4,0xe2,0x55,0xaa,0x08]
    561           vfmsub213ps  (%eax), %ymm5, %ymm1
    562 
    563 // CHECK: vfmsub231pd  %ymm2, %ymm5, %ymm1
    564 // CHECK: encoding: [0xc4,0xe2,0xd5,0xba,0xca]
    565           vfmsub231pd  %ymm2, %ymm5, %ymm1
    566 
    567 // CHECK: vfmsub231pd  (%eax), %ymm5, %ymm1
    568 // CHECK: encoding: [0xc4,0xe2,0xd5,0xba,0x08]
    569           vfmsub231pd  (%eax), %ymm5, %ymm1
    570 
    571 // CHECK: vfmsub231ps  %ymm2, %ymm5, %ymm1
    572 // CHECK: encoding: [0xc4,0xe2,0x55,0xba,0xca]
    573           vfmsub231ps  %ymm2, %ymm5, %ymm1
    574 
    575 // CHECK: vfmsub231ps  (%eax), %ymm5, %ymm1
    576 // CHECK: encoding: [0xc4,0xe2,0x55,0xba,0x08]
    577           vfmsub231ps  (%eax), %ymm5, %ymm1
    578 
    579 // CHECK: vfnmadd132pd  %ymm2, %ymm5, %ymm1
    580 // CHECK: encoding: [0xc4,0xe2,0xd5,0x9c,0xca]
    581           vfnmadd132pd  %ymm2, %ymm5, %ymm1
    582 
    583 // CHECK: vfnmadd132pd  (%eax), %ymm5, %ymm1
    584 // CHECK: encoding: [0xc4,0xe2,0xd5,0x9c,0x08]
    585           vfnmadd132pd  (%eax), %ymm5, %ymm1
    586 
    587 // CHECK: vfnmadd132ps  %ymm2, %ymm5, %ymm1
    588 // CHECK: encoding: [0xc4,0xe2,0x55,0x9c,0xca]
    589           vfnmadd132ps  %ymm2, %ymm5, %ymm1
    590 
    591 // CHECK: vfnmadd132ps  (%eax), %ymm5, %ymm1
    592 // CHECK: encoding: [0xc4,0xe2,0x55,0x9c,0x08]
    593           vfnmadd132ps  (%eax), %ymm5, %ymm1
    594 
    595 // CHECK: vfnmadd213pd  %ymm2, %ymm5, %ymm1
    596 // CHECK: encoding: [0xc4,0xe2,0xd5,0xac,0xca]
    597           vfnmadd213pd  %ymm2, %ymm5, %ymm1
    598 
    599 // CHECK: vfnmadd213pd  (%eax), %ymm5, %ymm1
    600 // CHECK: encoding: [0xc4,0xe2,0xd5,0xac,0x08]
    601           vfnmadd213pd  (%eax), %ymm5, %ymm1
    602 
    603 // CHECK: vfnmadd213ps  %ymm2, %ymm5, %ymm1
    604 // CHECK: encoding: [0xc4,0xe2,0x55,0xac,0xca]
    605           vfnmadd213ps  %ymm2, %ymm5, %ymm1
    606 
    607 // CHECK: vfnmadd213ps  (%eax), %ymm5, %ymm1
    608 // CHECK: encoding: [0xc4,0xe2,0x55,0xac,0x08]
    609           vfnmadd213ps  (%eax), %ymm5, %ymm1
    610 
    611 // CHECK: vfnmadd231pd  %ymm2, %ymm5, %ymm1
    612 // CHECK: encoding: [0xc4,0xe2,0xd5,0xbc,0xca]
    613           vfnmadd231pd  %ymm2, %ymm5, %ymm1
    614 
    615 // CHECK: vfnmadd231pd  (%eax), %ymm5, %ymm1
    616 // CHECK: encoding: [0xc4,0xe2,0xd5,0xbc,0x08]
    617           vfnmadd231pd  (%eax), %ymm5, %ymm1
    618 
    619 // CHECK: vfnmadd231ps  %ymm2, %ymm5, %ymm1
    620 // CHECK: encoding: [0xc4,0xe2,0x55,0xbc,0xca]
    621           vfnmadd231ps  %ymm2, %ymm5, %ymm1
    622 
    623 // CHECK: vfnmadd231ps  (%eax), %ymm5, %ymm1
    624 // CHECK: encoding: [0xc4,0xe2,0x55,0xbc,0x08]
    625           vfnmadd231ps  (%eax), %ymm5, %ymm1
    626 
    627 // CHECK: vfnmsub132pd  %ymm2, %ymm5, %ymm1
    628 // CHECK: encoding: [0xc4,0xe2,0xd5,0x9e,0xca]
    629           vfnmsub132pd  %ymm2, %ymm5, %ymm1
    630 
    631 // CHECK: vfnmsub132pd  (%eax), %ymm5, %ymm1
    632 // CHECK: encoding: [0xc4,0xe2,0xd5,0x9e,0x08]
    633           vfnmsub132pd  (%eax), %ymm5, %ymm1
    634 
    635 // CHECK: vfnmsub132ps  %ymm2, %ymm5, %ymm1
    636 // CHECK: encoding: [0xc4,0xe2,0x55,0x9e,0xca]
    637           vfnmsub132ps  %ymm2, %ymm5, %ymm1
    638 
    639 // CHECK: vfnmsub132ps  (%eax), %ymm5, %ymm1
    640 // CHECK: encoding: [0xc4,0xe2,0x55,0x9e,0x08]
    641           vfnmsub132ps  (%eax), %ymm5, %ymm1
    642 
    643 // CHECK: vfnmsub213pd  %ymm2, %ymm5, %ymm1
    644 // CHECK: encoding: [0xc4,0xe2,0xd5,0xae,0xca]
    645           vfnmsub213pd  %ymm2, %ymm5, %ymm1
    646 
    647 // CHECK: vfnmsub213pd  (%eax), %ymm5, %ymm1
    648 // CHECK: encoding: [0xc4,0xe2,0xd5,0xae,0x08]
    649           vfnmsub213pd  (%eax), %ymm5, %ymm1
    650 
    651 // CHECK: vfnmsub213ps  %ymm2, %ymm5, %ymm1
    652 // CHECK: encoding: [0xc4,0xe2,0x55,0xae,0xca]
    653           vfnmsub213ps  %ymm2, %ymm5, %ymm1
    654 
    655 // CHECK: vfnmsub213ps  (%eax), %ymm5, %ymm1
    656 // CHECK: encoding: [0xc4,0xe2,0x55,0xae,0x08]
    657           vfnmsub213ps  (%eax), %ymm5, %ymm1
    658 
    659 // CHECK: vfnmsub231pd  %ymm2, %ymm5, %ymm1
    660 // CHECK: encoding: [0xc4,0xe2,0xd5,0xbe,0xca]
    661           vfnmsub231pd  %ymm2, %ymm5, %ymm1
    662 
    663 // CHECK: vfnmsub231pd  (%eax), %ymm5, %ymm1
    664 // CHECK: encoding: [0xc4,0xe2,0xd5,0xbe,0x08]
    665           vfnmsub231pd  (%eax), %ymm5, %ymm1
    666 
    667 // CHECK: vfnmsub231ps  %ymm2, %ymm5, %ymm1
    668 // CHECK: encoding: [0xc4,0xe2,0x55,0xbe,0xca]
    669           vfnmsub231ps  %ymm2, %ymm5, %ymm1
    670 
    671 // CHECK: vfnmsub231ps  (%eax), %ymm5, %ymm1
    672 // CHECK: encoding: [0xc4,0xe2,0x55,0xbe,0x08]
    673           vfnmsub231ps  (%eax), %ymm5, %ymm1
    674 
    675