test/MC/X86/x86_64-fma4-encoding.s

   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: vfmaddsd   %xmm10, %xmm1, %xmm0, %xmm0
  29 // CHECK: encoding: [0xc4,0xc3,0xf9,0x6b,0xc2,0x10]
  30           vfmaddsd   %xmm10, %xmm1, %xmm0, %xmm0
  31
  32 // CHECK: vfmaddps  (%rcx), %xmm1, %xmm0, %xmm0
  33 // CHECK: encoding: [0xc4,0xe3,0xf9,0x68,0x01,0x10]
  34           vfmaddps  (%rcx), %xmm1, %xmm0, %xmm0
  35
  36 // CHECK: vfmaddps   %xmm1, (%rcx), %xmm0, %xmm0
  37 // CHECK: encoding: [0xc4,0xe3,0x79,0x68,0x01,0x10]
  38           vfmaddps   %xmm1, (%rcx),%xmm0, %xmm0
  39
  40 // CHECK: vfmaddps   %xmm2, %xmm1, %xmm0, %xmm0
  41 // CHECK: encoding: [0xc4,0xe3,0xf9,0x68,0xc2,0x10]
  42           vfmaddps   %xmm2, %xmm1, %xmm0, %xmm0
  43
  44 // CHECK: vfmaddpd  (%rcx), %xmm1, %xmm0, %xmm0
  45 // CHECK: encoding: [0xc4,0xe3,0xf9,0x69,0x01,0x10]
  46           vfmaddpd  (%rcx), %xmm1, %xmm0, %xmm0
  47
  48 // CHECK: vfmaddpd   %xmm1, (%rcx), %xmm0, %xmm0
  49 // CHECK: encoding: [0xc4,0xe3,0x79,0x69,0x01,0x10]
  50           vfmaddpd   %xmm1, (%rcx),%xmm0, %xmm0
  51
  52 // CHECK: vfmaddpd   %xmm2, %xmm1, %xmm0, %xmm0
  53 // CHECK: encoding: [0xc4,0xe3,0xf9,0x69,0xc2,0x10]
  54           vfmaddpd   %xmm2, %xmm1, %xmm0, %xmm0
  55
  56 // CHECK: vfmaddps  (%rcx), %ymm1, %ymm0, %ymm0
  57 // CHECK: encoding: [0xc4,0xe3,0xfd,0x68,0x01,0x10]
  58           vfmaddps  (%rcx), %ymm1, %ymm0, %ymm0
  59
  60 // CHECK: vfmaddps   %ymm1, (%rcx), %ymm0, %ymm0
  61 // CHECK: encoding: [0xc4,0xe3,0x7d,0x68,0x01,0x10]
  62           vfmaddps   %ymm1, (%rcx),%ymm0, %ymm0
  63
  64 // CHECK: vfmaddps   %ymm2, %ymm1, %ymm0, %ymm0
  65 // CHECK: encoding: [0xc4,0xe3,0xfd,0x68,0xc2,0x10]
  66           vfmaddps   %ymm2, %ymm1, %ymm0, %ymm0
  67
  68 // CHECK: vfmaddpd  (%rcx), %ymm1, %ymm0, %ymm0
  69 // CHECK: encoding: [0xc4,0xe3,0xfd,0x69,0x01,0x10]
  70           vfmaddpd  (%rcx), %ymm1, %ymm0, %ymm0
  71
  72 // CHECK: vfmaddpd   %ymm1, (%rcx), %ymm0, %ymm0
  73 // CHECK: encoding: [0xc4,0xe3,0x7d,0x69,0x01,0x10]
  74           vfmaddpd   %ymm1, (%rcx),%ymm0, %ymm0
  75
  76 // CHECK: vfmaddpd   %ymm2, %ymm1, %ymm0, %ymm0
  77 // CHECK: encoding: [0xc4,0xe3,0xfd,0x69,0xc2,0x10]
  78           vfmaddpd   %ymm2, %ymm1, %ymm0, %ymm0
  79
  80 // PR15040
  81 // CHECK: vfmaddss  foo(%rip), %xmm1, %xmm0, %xmm0
  82 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6a,0x05,A,A,A,A,0x10]
  83 // CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
  84           vfmaddss  foo(%rip), %xmm1, %xmm0, %xmm0
  85
  86 // CHECK: vfmaddss   %xmm1, foo(%rip), %xmm0, %xmm0
  87 // CHECK: encoding: [0xc4,0xe3,0x79,0x6a,0x05,A,A,A,A,0x10]
  88 // CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
  89           vfmaddss   %xmm1, foo(%rip),%xmm0, %xmm0
  90
  91 // CHECK: vfmaddsd  foo(%rip), %xmm1, %xmm0, %xmm0
  92 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6b,0x05,A,A,A,A,0x10]
  93 // CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
  94           vfmaddsd  foo(%rip), %xmm1, %xmm0, %xmm0
  95
  96 // CHECK: vfmaddsd   %xmm1, foo(%rip), %xmm0, %xmm0
  97 // CHECK: encoding: [0xc4,0xe3,0x79,0x6b,0x05,A,A,A,A,0x10]
  98 // CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
  99           vfmaddsd   %xmm1, foo(%rip),%xmm0, %xmm0
 100
 101 // CHECK: vfmaddps  foo(%rip), %xmm1, %xmm0, %xmm0
 102 // CHECK: encoding: [0xc4,0xe3,0xf9,0x68,0x05,A,A,A,A,0x10]
 103 // CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
 104           vfmaddps  foo(%rip), %xmm1, %xmm0, %xmm0
 105
 106 // CHECK: vfmaddps   %xmm1, foo(%rip), %xmm0, %xmm0
 107 // CHECK: encoding: [0xc4,0xe3,0x79,0x68,0x05,A,A,A,A,0x10]
 108 // CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
 109           vfmaddps   %xmm1, foo(%rip),%xmm0, %xmm0
 110
 111 // CHECK: vfmaddpd  foo(%rip), %xmm1, %xmm0, %xmm0
 112 // CHECK: encoding: [0xc4,0xe3,0xf9,0x69,0x05,A,A,A,A,0x10]
 113 // CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
 114           vfmaddpd  foo(%rip), %xmm1, %xmm0, %xmm0
 115
 116 // CHECK: vfmaddpd   %xmm1, foo(%rip), %xmm0, %xmm0
 117 // CHECK: encoding: [0xc4,0xe3,0x79,0x69,0x05,A,A,A,A,0x10]
 118 // CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
 119           vfmaddpd   %xmm1, foo(%rip),%xmm0, %xmm0
 120
 121 // CHECK: vfmaddps  foo(%rip), %ymm1, %ymm0, %ymm0
 122 // CHECK: encoding: [0xc4,0xe3,0xfd,0x68,0x05,A,A,A,A,0x10]
 123 // CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
 124           vfmaddps  foo(%rip), %ymm1, %ymm0, %ymm0
 125
 126 // CHECK: vfmaddps   %ymm1, foo(%rip), %ymm0, %ymm0
 127 // CHECK: encoding: [0xc4,0xe3,0x7d,0x68,0x05,A,A,A,A,0x10]
 128 // CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
 129           vfmaddps   %ymm1, foo(%rip),%ymm0, %ymm0
 130
 131 // CHECK: vfmaddpd  foo(%rip), %ymm1, %ymm0, %ymm0
 132 // CHECK: encoding: [0xc4,0xe3,0xfd,0x69,0x05,A,A,A,A,0x10]
 133 // CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
 134           vfmaddpd  foo(%rip), %ymm1, %ymm0, %ymm0
 135
 136 // CHECK: vfmaddpd   %ymm1, foo(%rip), %ymm0, %ymm0
 137 // CHECK: encoding: [0xc4,0xe3,0x7d,0x69,0x05,A,A,A,A,0x10]
 138 // CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
 139           vfmaddpd   %ymm1, foo(%rip),%ymm0, %ymm0
 140
 141 // vfmsub
 142 // CHECK: vfmsubss  (%rcx), %xmm1, %xmm0, %xmm0
 143 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6e,0x01,0x10]
 144           vfmsubss  (%rcx), %xmm1, %xmm0, %xmm0
 145
 146 // CHECK: vfmsubss   %xmm1, (%rcx), %xmm0, %xmm0
 147 // CHECK: encoding: [0xc4,0xe3,0x79,0x6e,0x01,0x10]
 148           vfmsubss   %xmm1, (%rcx),%xmm0, %xmm0
 149
 150 // CHECK: vfmsubss   %xmm2, %xmm1, %xmm0, %xmm0
 151 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6e,0xc2,0x10]
 152           vfmsubss   %xmm2, %xmm1, %xmm0, %xmm0
 153
 154 // CHECK: vfmsubsd  (%rcx), %xmm1, %xmm0, %xmm0
 155 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6f,0x01,0x10]
 156           vfmsubsd  (%rcx), %xmm1, %xmm0, %xmm0
 157
 158 // CHECK: vfmsubsd   %xmm1, (%rcx), %xmm0, %xmm0
 159 // CHECK: encoding: [0xc4,0xe3,0x79,0x6f,0x01,0x10]
 160           vfmsubsd   %xmm1, (%rcx),%xmm0, %xmm0
 161
 162 // CHECK: vfmsubsd   %xmm2, %xmm1, %xmm0, %xmm0
 163 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6f,0xc2,0x10]
 164           vfmsubsd   %xmm2, %xmm1, %xmm0, %xmm0
 165
 166 // CHECK: vfmsubps  (%rcx), %xmm1, %xmm0, %xmm0
 167 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6c,0x01,0x10]
 168           vfmsubps  (%rcx), %xmm1, %xmm0, %xmm0
 169
 170 // CHECK: vfmsubps   %xmm1, (%rcx), %xmm0, %xmm0
 171 // CHECK: encoding: [0xc4,0xe3,0x79,0x6c,0x01,0x10]
 172           vfmsubps   %xmm1, (%rcx),%xmm0, %xmm0
 173
 174 // CHECK: vfmsubps   %xmm2, %xmm1, %xmm0, %xmm0
 175 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6c,0xc2,0x10]
 176           vfmsubps   %xmm2, %xmm1, %xmm0, %xmm0
 177
 178 // CHECK: vfmsubpd  (%rcx), %xmm1, %xmm0, %xmm0
 179 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6d,0x01,0x10]
 180           vfmsubpd  (%rcx), %xmm1, %xmm0, %xmm0
 181
 182 // CHECK: vfmsubpd   %xmm1, (%rcx), %xmm0, %xmm0
 183 // CHECK: encoding: [0xc4,0xe3,0x79,0x6d,0x01,0x10]
 184           vfmsubpd   %xmm1, (%rcx),%xmm0, %xmm0
 185
 186 // CHECK: vfmsubpd   %xmm2, %xmm1, %xmm0, %xmm0
 187 // CHECK: encoding: [0xc4,0xe3,0xf9,0x6d,0xc2,0x10]
 188           vfmsubpd   %xmm2, %xmm1, %xmm0, %xmm0
 189
 190 // CHECK: vfmsubps  (%rcx), %ymm1, %ymm0, %ymm0
 191 // CHECK: encoding: [0xc4,0xe3,0xfd,0x6c,0x01,0x10]
 192           vfmsubps  (%rcx), %ymm1, %ymm0, %ymm0
 193
 194 // CHECK: vfmsubps   %ymm1, (%rcx), %ymm0, %ymm0
 195 // CHECK: encoding: [0xc4,0xe3,0x7d,0x6c,0x01,0x10]
 196           vfmsubps   %ymm1, (%rcx),%ymm0, %ymm0
 197
 198 // CHECK: vfmsubps   %ymm2, %ymm1, %ymm0, %ymm0
 199 // CHECK: encoding: [0xc4,0xe3,0xfd,0x6c,0xc2,0x10]
 200           vfmsubps   %ymm2, %ymm1, %ymm0, %ymm0
 201
 202 // CHECK: vfmsubpd  (%rcx), %ymm1, %ymm0, %ymm0
 203 // CHECK: encoding: [0xc4,0xe3,0xfd,0x6d,0x01,0x10]
 204           vfmsubpd  (%rcx), %ymm1, %ymm0, %ymm0
 205
 206 // CHECK: vfmsubpd   %ymm1, (%rcx), %ymm0, %ymm0
 207 // CHECK: encoding: [0xc4,0xe3,0x7d,0x6d,0x01,0x10]
 208           vfmsubpd   %ymm1, (%rcx),%ymm0, %ymm0
 209
 210 // CHECK: vfmsubpd   %ymm2, %ymm1, %ymm0, %ymm0
 211 // CHECK: encoding: [0xc4,0xe3,0xfd,0x6d,0xc2,0x10]
 212           vfmsubpd   %ymm2, %ymm1, %ymm0, %ymm0
 213
 214 // vfnmadd
 215 // CHECK: vfnmaddss  (%rcx), %xmm1, %xmm0, %xmm0
 216 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7a,0x01,0x10]
 217           vfnmaddss  (%rcx), %xmm1, %xmm0, %xmm0
 218
 219 // CHECK: vfnmaddss   %xmm1, (%rcx), %xmm0, %xmm0
 220 // CHECK: encoding: [0xc4,0xe3,0x79,0x7a,0x01,0x10]
 221           vfnmaddss   %xmm1, (%rcx),%xmm0, %xmm0
 222
 223 // CHECK: vfnmaddss   %xmm2, %xmm1, %xmm0, %xmm0
 224 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7a,0xc2,0x10]
 225           vfnmaddss   %xmm2, %xmm1, %xmm0, %xmm0
 226
 227 // CHECK: vfnmaddsd  (%rcx), %xmm1, %xmm0, %xmm0
 228 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7b,0x01,0x10]
 229           vfnmaddsd  (%rcx), %xmm1, %xmm0, %xmm0
 230
 231 // CHECK: vfnmaddsd   %xmm1, (%rcx), %xmm0, %xmm0
 232 // CHECK: encoding: [0xc4,0xe3,0x79,0x7b,0x01,0x10]
 233           vfnmaddsd   %xmm1, (%rcx),%xmm0, %xmm0
 234
 235 // CHECK: vfnmaddsd   %xmm2, %xmm1, %xmm0, %xmm0
 236 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7b,0xc2,0x10]
 237           vfnmaddsd   %xmm2, %xmm1, %xmm0, %xmm0
 238
 239 // CHECK: vfnmaddps  (%rcx), %xmm1, %xmm0, %xmm0
 240 // CHECK: encoding: [0xc4,0xe3,0xf9,0x78,0x01,0x10]
 241           vfnmaddps  (%rcx), %xmm1, %xmm0, %xmm0
 242
 243 // CHECK: vfnmaddps   %xmm1, (%rcx), %xmm0, %xmm0
 244 // CHECK: encoding: [0xc4,0xe3,0x79,0x78,0x01,0x10]
 245           vfnmaddps   %xmm1, (%rcx),%xmm0, %xmm0
 246
 247 // CHECK: vfnmaddps   %xmm2, %xmm1, %xmm0, %xmm0
 248 // CHECK: encoding: [0xc4,0xe3,0xf9,0x78,0xc2,0x10]
 249           vfnmaddps   %xmm2, %xmm1, %xmm0, %xmm0
 250
 251 // CHECK: vfnmaddpd  (%rcx), %xmm1, %xmm0, %xmm0
 252 // CHECK: encoding: [0xc4,0xe3,0xf9,0x79,0x01,0x10]
 253           vfnmaddpd  (%rcx), %xmm1, %xmm0, %xmm0
 254
 255 // CHECK: vfnmaddpd   %xmm1, (%rcx), %xmm0, %xmm0
 256 // CHECK: encoding: [0xc4,0xe3,0x79,0x79,0x01,0x10]
 257           vfnmaddpd   %xmm1, (%rcx),%xmm0, %xmm0
 258
 259 // CHECK: vfnmaddpd   %xmm2, %xmm1, %xmm0, %xmm0
 260 // CHECK: encoding: [0xc4,0xe3,0xf9,0x79,0xc2,0x10]
 261           vfnmaddpd   %xmm2, %xmm1, %xmm0, %xmm0
 262
 263 // CHECK: vfnmaddps  (%rcx), %ymm1, %ymm0, %ymm0
 264 // CHECK: encoding: [0xc4,0xe3,0xfd,0x78,0x01,0x10]
 265           vfnmaddps  (%rcx), %ymm1, %ymm0, %ymm0
 266
 267 // CHECK: vfnmaddps   %ymm1, (%rcx), %ymm0, %ymm0
 268 // CHECK: encoding: [0xc4,0xe3,0x7d,0x78,0x01,0x10]
 269           vfnmaddps   %ymm1, (%rcx),%ymm0, %ymm0
 270
 271 // CHECK: vfnmaddps   %ymm2, %ymm1, %ymm0, %ymm0
 272 // CHECK: encoding: [0xc4,0xe3,0xfd,0x78,0xc2,0x10]
 273           vfnmaddps   %ymm2, %ymm1, %ymm0, %ymm0
 274
 275 // CHECK: vfnmaddpd  (%rcx), %ymm1, %ymm0, %ymm0
 276 // CHECK: encoding: [0xc4,0xe3,0xfd,0x79,0x01,0x10]
 277           vfnmaddpd  (%rcx), %ymm1, %ymm0, %ymm0
 278
 279 // CHECK: vfnmaddpd   %ymm1, (%rcx), %ymm0, %ymm0
 280 // CHECK: encoding: [0xc4,0xe3,0x7d,0x79,0x01,0x10]
 281           vfnmaddpd   %ymm1, (%rcx),%ymm0, %ymm0
 282
 283 // CHECK: vfnmaddpd   %ymm2, %ymm1, %ymm0, %ymm0
 284 // CHECK: encoding: [0xc4,0xe3,0xfd,0x79,0xc2,0x10]
 285           vfnmaddpd   %ymm2, %ymm1, %ymm0, %ymm0
 286
 287 // vfnmsub
 288 // CHECK: vfnmsubss  (%rcx), %xmm1, %xmm0, %xmm0
 289 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7e,0x01,0x10]
 290           vfnmsubss  (%rcx), %xmm1, %xmm0, %xmm0
 291
 292 // CHECK: vfnmsubss   %xmm1, (%rcx), %xmm0, %xmm0
 293 // CHECK: encoding: [0xc4,0xe3,0x79,0x7e,0x01,0x10]
 294           vfnmsubss   %xmm1, (%rcx),%xmm0, %xmm0
 295
 296 // CHECK: vfnmsubss   %xmm2, %xmm1, %xmm0, %xmm0
 297 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7e,0xc2,0x10]
 298           vfnmsubss   %xmm2, %xmm1, %xmm0, %xmm0
 299
 300 // CHECK: vfnmsubsd  (%rcx), %xmm1, %xmm0, %xmm0
 301 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7f,0x01,0x10]
 302           vfnmsubsd  (%rcx), %xmm1, %xmm0, %xmm0
 303
 304 // CHECK: vfnmsubsd   %xmm1, (%rcx), %xmm0, %xmm0
 305 // CHECK: encoding: [0xc4,0xe3,0x79,0x7f,0x01,0x10]
 306           vfnmsubsd   %xmm1, (%rcx),%xmm0, %xmm0
 307
 308 // CHECK: vfnmsubsd   %xmm2, %xmm1, %xmm0, %xmm0
 309 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7f,0xc2,0x10]
 310           vfnmsubsd   %xmm2, %xmm1, %xmm0, %xmm0
 311
 312 // CHECK: vfnmsubps  (%rcx), %xmm1, %xmm0, %xmm0
 313 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7c,0x01,0x10]
 314           vfnmsubps  (%rcx), %xmm1, %xmm0, %xmm0
 315
 316 // CHECK: vfnmsubps   %xmm1, (%rcx), %xmm0, %xmm0
 317 // CHECK: encoding: [0xc4,0xe3,0x79,0x7c,0x01,0x10]
 318           vfnmsubps   %xmm1, (%rcx),%xmm0, %xmm0
 319
 320 // CHECK: vfnmsubps   %xmm2, %xmm1, %xmm0, %xmm0
 321 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7c,0xc2,0x10]
 322           vfnmsubps   %xmm2, %xmm1, %xmm0, %xmm0
 323
 324 // CHECK: vfnmsubpd  (%rcx), %xmm1, %xmm0, %xmm0
 325 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7d,0x01,0x10]
 326           vfnmsubpd  (%rcx), %xmm1, %xmm0, %xmm0
 327
 328 // CHECK: vfnmsubpd   %xmm1, (%rcx), %xmm0, %xmm0
 329 // CHECK: encoding: [0xc4,0xe3,0x79,0x7d,0x01,0x10]
 330           vfnmsubpd   %xmm1, (%rcx),%xmm0, %xmm0
 331
 332 // CHECK: vfnmsubpd   %xmm2, %xmm1, %xmm0, %xmm0
 333 // CHECK: encoding: [0xc4,0xe3,0xf9,0x7d,0xc2,0x10]
 334           vfnmsubpd   %xmm2, %xmm1, %xmm0, %xmm0
 335
 336 // CHECK: vfnmsubps  (%rcx), %ymm1, %ymm0, %ymm0
 337 // CHECK: encoding: [0xc4,0xe3,0xfd,0x7c,0x01,0x10]
 338           vfnmsubps  (%rcx), %ymm1, %ymm0, %ymm0
 339
 340 // CHECK: vfnmsubps   %ymm1, (%rcx), %ymm0, %ymm0
 341 // CHECK: encoding: [0xc4,0xe3,0x7d,0x7c,0x01,0x10]
 342           vfnmsubps   %ymm1, (%rcx),%ymm0, %ymm0
 343
 344 // CHECK: vfnmsubps   %ymm2, %ymm1, %ymm0, %ymm0
 345 // CHECK: encoding: [0xc4,0xe3,0xfd,0x7c,0xc2,0x10]
 346           vfnmsubps   %ymm2, %ymm1, %ymm0, %ymm0
 347
 348 // CHECK: vfnmsubpd  (%rcx), %ymm1, %ymm0, %ymm0
 349 // CHECK: encoding: [0xc4,0xe3,0xfd,0x7d,0x01,0x10]
 350           vfnmsubpd  (%rcx), %ymm1, %ymm0, %ymm0
 351
 352 // CHECK: vfnmsubpd   %ymm1, (%rcx), %ymm0, %ymm0
 353 // CHECK: encoding: [0xc4,0xe3,0x7d,0x7d,0x01,0x10]
 354           vfnmsubpd   %ymm1, (%rcx),%ymm0, %ymm0
 355
 356 // CHECK: vfnmsubpd   %ymm2, %ymm1, %ymm0, %ymm0
 357 // CHECK: encoding: [0xc4,0xe3,0xfd,0x7d,0xc2,0x10]
 358           vfnmsubpd   %ymm2, %ymm1, %ymm0, %ymm0
 359
 360 // vfmaddsub
 361 // CHECK: vfmaddsubps  (%rcx), %xmm1, %xmm0, %xmm0
 362 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5c,0x01,0x10]
 363           vfmaddsubps  (%rcx), %xmm1, %xmm0, %xmm0
 364
 365 // CHECK: vfmaddsubps   %xmm1, (%rcx), %xmm0, %xmm0
 366 // CHECK: encoding: [0xc4,0xe3,0x79,0x5c,0x01,0x10]
 367           vfmaddsubps   %xmm1, (%rcx),%xmm0, %xmm0
 368
 369 // CHECK: vfmaddsubps   %xmm2, %xmm1, %xmm0, %xmm0
 370 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5c,0xc2,0x10]
 371           vfmaddsubps   %xmm2, %xmm1, %xmm0, %xmm0
 372
 373 // CHECK: vfmaddsubpd  (%rcx), %xmm1, %xmm0, %xmm0
 374 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5d,0x01,0x10]
 375           vfmaddsubpd  (%rcx), %xmm1, %xmm0, %xmm0
 376
 377 // CHECK: vfmaddsubpd   %xmm1, (%rcx), %xmm0, %xmm0
 378 // CHECK: encoding: [0xc4,0xe3,0x79,0x5d,0x01,0x10]
 379           vfmaddsubpd   %xmm1, (%rcx),%xmm0, %xmm0
 380
 381 // CHECK: vfmaddsubpd   %xmm2, %xmm1, %xmm0, %xmm0
 382 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5d,0xc2,0x10]
 383           vfmaddsubpd   %xmm2, %xmm1, %xmm0, %xmm0
 384
 385 // CHECK: vfmaddsubps  (%rcx), %ymm1, %ymm0, %ymm0
 386 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5c,0x01,0x10]
 387           vfmaddsubps  (%rcx), %ymm1, %ymm0, %ymm0
 388
 389 // CHECK: vfmaddsubps   %ymm1, (%rcx), %ymm0, %ymm0
 390 // CHECK: encoding: [0xc4,0xe3,0x7d,0x5c,0x01,0x10]
 391           vfmaddsubps   %ymm1, (%rcx),%ymm0, %ymm0
 392
 393 // CHECK: vfmaddsubps   %ymm2, %ymm1, %ymm0, %ymm0
 394 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5c,0xc2,0x10]
 395           vfmaddsubps   %ymm2, %ymm1, %ymm0, %ymm0
 396
 397 // CHECK: vfmaddsubpd  (%rcx), %ymm1, %ymm0, %ymm0
 398 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5d,0x01,0x10]
 399           vfmaddsubpd  (%rcx), %ymm1, %ymm0, %ymm0
 400
 401 // CHECK: vfmaddsubpd   %ymm1, (%rcx), %ymm0, %ymm0
 402 // CHECK: encoding: [0xc4,0xe3,0x7d,0x5d,0x01,0x10]
 403           vfmaddsubpd   %ymm1, (%rcx),%ymm0, %ymm0
 404
 405 // CHECK: vfmaddsubpd   %ymm2, %ymm1, %ymm0, %ymm0
 406 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5d,0xc2,0x10]
 407           vfmaddsubpd   %ymm2, %ymm1, %ymm0, %ymm0
 408
 409 // vfmsubadd
 410 // CHECK: vfmsubaddps  (%rcx), %xmm1, %xmm0, %xmm0
 411 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5e,0x01,0x10]
 412           vfmsubaddps  (%rcx), %xmm1, %xmm0, %xmm0
 413
 414 // CHECK: vfmsubaddps   %xmm1, (%rcx), %xmm0, %xmm0
 415 // CHECK: encoding: [0xc4,0xe3,0x79,0x5e,0x01,0x10]
 416           vfmsubaddps   %xmm1, (%rcx),%xmm0, %xmm0
 417
 418 // CHECK: vfmsubaddps   %xmm2, %xmm1, %xmm0, %xmm0
 419 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5e,0xc2,0x10]
 420           vfmsubaddps   %xmm2, %xmm1, %xmm0, %xmm0
 421
 422 // CHECK: vfmsubaddpd  (%rcx), %xmm1, %xmm0, %xmm0
 423 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5f,0x01,0x10]
 424           vfmsubaddpd  (%rcx), %xmm1, %xmm0, %xmm0
 425
 426 // CHECK: vfmsubaddpd   %xmm1, (%rcx), %xmm0, %xmm0
 427 // CHECK: encoding: [0xc4,0xe3,0x79,0x5f,0x01,0x10]
 428           vfmsubaddpd   %xmm1, (%rcx),%xmm0, %xmm0
 429
 430 // CHECK: vfmsubaddpd   %xmm2, %xmm1, %xmm0, %xmm0
 431 // CHECK: encoding: [0xc4,0xe3,0xf9,0x5f,0xc2,0x10]
 432           vfmsubaddpd   %xmm2, %xmm1, %xmm0, %xmm0
 433
 434 // CHECK: vfmsubaddps  (%rcx), %ymm1, %ymm0, %ymm0
 435 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5e,0x01,0x10]
 436           vfmsubaddps  (%rcx), %ymm1, %ymm0, %ymm0
 437
 438 // CHECK: vfmsubaddps   %ymm1, (%rcx), %ymm0, %ymm0
 439 // CHECK: encoding: [0xc4,0xe3,0x7d,0x5e,0x01,0x10]
 440           vfmsubaddps   %ymm1, (%rcx),%ymm0, %ymm0
 441
 442 // CHECK: vfmsubaddps   %ymm2, %ymm1, %ymm0, %ymm0
 443 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5e,0xc2,0x10]
 444           vfmsubaddps   %ymm2, %ymm1, %ymm0, %ymm0
 445
 446 // CHECK: vfmsubaddpd  (%rcx), %ymm1, %ymm0, %ymm0
 447 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5f,0x01,0x10]
 448           vfmsubaddpd  (%rcx), %ymm1, %ymm0, %ymm0
 449
 450 // CHECK: vfmsubaddpd   %ymm1, (%rcx), %ymm0, %ymm0
 451 // CHECK: encoding: [0xc4,0xe3,0x7d,0x5f,0x01,0x10]
 452           vfmsubaddpd   %ymm1, (%rcx),%ymm0, %ymm0
 453
 454 // CHECK: vfmsubaddpd   %ymm2, %ymm1, %ymm0, %ymm0
 455 // CHECK: encoding: [0xc4,0xe3,0xfd,0x5f,0xc2,0x10]
 456           vfmsubaddpd   %ymm2, %ymm1, %ymm0, %ymm0