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