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