675 lines · plain
1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s2 3// CHECK: vfmadd132pd %xmm12, %xmm10, %xmm114// CHECK: encoding: [0xc4,0x42,0xa9,0x98,0xdc]5 vfmadd132pd %xmm12, %xmm10, %xmm116 7// CHECK: vfmadd132pd (%rax), %xmm10, %xmm118// CHECK: encoding: [0xc4,0x62,0xa9,0x98,0x18]9 vfmadd132pd (%rax), %xmm10, %xmm1110 11// CHECK: vfmadd132ps %xmm12, %xmm10, %xmm1112// CHECK: encoding: [0xc4,0x42,0x29,0x98,0xdc]13 vfmadd132ps %xmm12, %xmm10, %xmm1114 15// CHECK: vfmadd132ps (%rax), %xmm10, %xmm1116// CHECK: encoding: [0xc4,0x62,0x29,0x98,0x18]17 vfmadd132ps (%rax), %xmm10, %xmm1118 19// CHECK: vfmadd213pd %xmm12, %xmm10, %xmm1120// CHECK: encoding: [0xc4,0x42,0xa9,0xa8,0xdc]21 vfmadd213pd %xmm12, %xmm10, %xmm1122 23// CHECK: vfmadd213pd (%rax), %xmm10, %xmm1124// CHECK: encoding: [0xc4,0x62,0xa9,0xa8,0x18]25 vfmadd213pd (%rax), %xmm10, %xmm1126 27// CHECK: vfmadd213ps %xmm12, %xmm10, %xmm1128// CHECK: encoding: [0xc4,0x42,0x29,0xa8,0xdc]29 vfmadd213ps %xmm12, %xmm10, %xmm1130 31// CHECK: vfmadd213ps (%rax), %xmm10, %xmm1132// CHECK: encoding: [0xc4,0x62,0x29,0xa8,0x18]33 vfmadd213ps (%rax), %xmm10, %xmm1134 35// CHECK: vfmadd231pd %xmm12, %xmm10, %xmm1136// CHECK: encoding: [0xc4,0x42,0xa9,0xb8,0xdc]37 vfmadd231pd %xmm12, %xmm10, %xmm1138 39// CHECK: vfmadd231pd (%rax), %xmm10, %xmm1140// CHECK: encoding: [0xc4,0x62,0xa9,0xb8,0x18]41 vfmadd231pd (%rax), %xmm10, %xmm1142 43// CHECK: vfmadd231ps %xmm12, %xmm10, %xmm1144// CHECK: encoding: [0xc4,0x42,0x29,0xb8,0xdc]45 vfmadd231ps %xmm12, %xmm10, %xmm1146 47// CHECK: vfmadd231ps (%rax), %xmm10, %xmm1148// CHECK: encoding: [0xc4,0x62,0x29,0xb8,0x18]49 vfmadd231ps (%rax), %xmm10, %xmm1150 51// CHECK: vfmadd132pd %ymm12, %ymm10, %ymm1152// CHECK: encoding: [0xc4,0x42,0xad,0x98,0xdc]53 vfmadd132pd %ymm12, %ymm10, %ymm1154 55// CHECK: vfmadd132pd (%rax), %ymm10, %ymm1156// CHECK: encoding: [0xc4,0x62,0xad,0x98,0x18]57 vfmadd132pd (%rax), %ymm10, %ymm1158 59// CHECK: vfmadd132ps %ymm12, %ymm10, %ymm1160// CHECK: encoding: [0xc4,0x42,0x2d,0x98,0xdc]61 vfmadd132ps %ymm12, %ymm10, %ymm1162 63// CHECK: vfmadd132ps (%rax), %ymm10, %ymm1164// CHECK: encoding: [0xc4,0x62,0x2d,0x98,0x18]65 vfmadd132ps (%rax), %ymm10, %ymm1166 67// CHECK: vfmadd213pd %ymm12, %ymm10, %ymm1168// CHECK: encoding: [0xc4,0x42,0xad,0xa8,0xdc]69 vfmadd213pd %ymm12, %ymm10, %ymm1170 71// CHECK: vfmadd213pd (%rax), %ymm10, %ymm1172// CHECK: encoding: [0xc4,0x62,0xad,0xa8,0x18]73 vfmadd213pd (%rax), %ymm10, %ymm1174 75// CHECK: vfmadd213ps %ymm12, %ymm10, %ymm1176// CHECK: encoding: [0xc4,0x42,0x2d,0xa8,0xdc]77 vfmadd213ps %ymm12, %ymm10, %ymm1178 79// CHECK: vfmadd213ps (%rax), %ymm10, %ymm1180// CHECK: encoding: [0xc4,0x62,0x2d,0xa8,0x18]81 vfmadd213ps (%rax), %ymm10, %ymm1182 83// CHECK: vfmadd231pd %ymm12, %ymm10, %ymm1184// CHECK: encoding: [0xc4,0x42,0xad,0xb8,0xdc]85 vfmadd231pd %ymm12, %ymm10, %ymm1186 87// CHECK: vfmadd231pd (%rax), %ymm10, %ymm1188// CHECK: encoding: [0xc4,0x62,0xad,0xb8,0x18]89 vfmadd231pd (%rax), %ymm10, %ymm1190 91// CHECK: vfmadd231ps %ymm12, %ymm10, %ymm1192// CHECK: encoding: [0xc4,0x42,0x2d,0xb8,0xdc]93 vfmadd231ps %ymm12, %ymm10, %ymm1194 95// CHECK: vfmadd231ps (%rax), %ymm10, %ymm1196// CHECK: encoding: [0xc4,0x62,0x2d,0xb8,0x18]97 vfmadd231ps (%rax), %ymm10, %ymm1198 99// CHECK: vfmadd132pd %xmm12, %xmm10, %xmm11100// CHECK: encoding: [0xc4,0x42,0xa9,0x98,0xdc]101 vfmadd132pd %xmm12, %xmm10, %xmm11102 103// CHECK: vfmadd132pd (%rax), %xmm10, %xmm11104// CHECK: encoding: [0xc4,0x62,0xa9,0x98,0x18]105 vfmadd132pd (%rax), %xmm10, %xmm11106 107// CHECK: vfmadd132ps %xmm12, %xmm10, %xmm11108// CHECK: encoding: [0xc4,0x42,0x29,0x98,0xdc]109 vfmadd132ps %xmm12, %xmm10, %xmm11110 111// CHECK: vfmadd132ps (%rax), %xmm10, %xmm11112// CHECK: encoding: [0xc4,0x62,0x29,0x98,0x18]113 vfmadd132ps (%rax), %xmm10, %xmm11114 115// CHECK: vfmadd213pd %xmm12, %xmm10, %xmm11116// CHECK: encoding: [0xc4,0x42,0xa9,0xa8,0xdc]117 vfmadd213pd %xmm12, %xmm10, %xmm11118 119// CHECK: vfmadd213pd (%rax), %xmm10, %xmm11120// CHECK: encoding: [0xc4,0x62,0xa9,0xa8,0x18]121 vfmadd213pd (%rax), %xmm10, %xmm11122 123// CHECK: vfmadd213ps %xmm12, %xmm10, %xmm11124// CHECK: encoding: [0xc4,0x42,0x29,0xa8,0xdc]125 vfmadd213ps %xmm12, %xmm10, %xmm11126 127// CHECK: vfmadd213ps (%rax), %xmm10, %xmm11128// CHECK: encoding: [0xc4,0x62,0x29,0xa8,0x18]129 vfmadd213ps (%rax), %xmm10, %xmm11130 131// CHECK: vfmadd231pd %xmm12, %xmm10, %xmm11132// CHECK: encoding: [0xc4,0x42,0xa9,0xb8,0xdc]133 vfmadd231pd %xmm12, %xmm10, %xmm11134 135// CHECK: vfmadd231pd (%rax), %xmm10, %xmm11136// CHECK: encoding: [0xc4,0x62,0xa9,0xb8,0x18]137 vfmadd231pd (%rax), %xmm10, %xmm11138 139// CHECK: vfmadd231ps %xmm12, %xmm10, %xmm11140// CHECK: encoding: [0xc4,0x42,0x29,0xb8,0xdc]141 vfmadd231ps %xmm12, %xmm10, %xmm11142 143// CHECK: vfmadd231ps (%rax), %xmm10, %xmm11144// CHECK: encoding: [0xc4,0x62,0x29,0xb8,0x18]145 vfmadd231ps (%rax), %xmm10, %xmm11146 147// CHECK: vfmaddsub132pd %xmm12, %xmm10, %xmm11148// CHECK: encoding: [0xc4,0x42,0xa9,0x96,0xdc]149 vfmaddsub132pd %xmm12, %xmm10, %xmm11150 151// CHECK: vfmaddsub132pd (%rax), %xmm10, %xmm11152// CHECK: encoding: [0xc4,0x62,0xa9,0x96,0x18]153 vfmaddsub132pd (%rax), %xmm10, %xmm11154 155// CHECK: vfmaddsub132ps %xmm12, %xmm10, %xmm11156// CHECK: encoding: [0xc4,0x42,0x29,0x96,0xdc]157 vfmaddsub132ps %xmm12, %xmm10, %xmm11158 159// CHECK: vfmaddsub132ps (%rax), %xmm10, %xmm11160// CHECK: encoding: [0xc4,0x62,0x29,0x96,0x18]161 vfmaddsub132ps (%rax), %xmm10, %xmm11162 163// CHECK: vfmaddsub213pd %xmm12, %xmm10, %xmm11164// CHECK: encoding: [0xc4,0x42,0xa9,0xa6,0xdc]165 vfmaddsub213pd %xmm12, %xmm10, %xmm11166 167// CHECK: vfmaddsub213pd (%rax), %xmm10, %xmm11168// CHECK: encoding: [0xc4,0x62,0xa9,0xa6,0x18]169 vfmaddsub213pd (%rax), %xmm10, %xmm11170 171// CHECK: vfmaddsub213ps %xmm12, %xmm10, %xmm11172// CHECK: encoding: [0xc4,0x42,0x29,0xa6,0xdc]173 vfmaddsub213ps %xmm12, %xmm10, %xmm11174 175// CHECK: vfmaddsub213ps (%rax), %xmm10, %xmm11176// CHECK: encoding: [0xc4,0x62,0x29,0xa6,0x18]177 vfmaddsub213ps (%rax), %xmm10, %xmm11178 179// CHECK: vfmaddsub231pd %xmm12, %xmm10, %xmm11180// CHECK: encoding: [0xc4,0x42,0xa9,0xb6,0xdc]181 vfmaddsub231pd %xmm12, %xmm10, %xmm11182 183// CHECK: vfmaddsub231pd (%rax), %xmm10, %xmm11184// CHECK: encoding: [0xc4,0x62,0xa9,0xb6,0x18]185 vfmaddsub231pd (%rax), %xmm10, %xmm11186 187// CHECK: vfmaddsub231ps %xmm12, %xmm10, %xmm11188// CHECK: encoding: [0xc4,0x42,0x29,0xb6,0xdc]189 vfmaddsub231ps %xmm12, %xmm10, %xmm11190 191// CHECK: vfmaddsub231ps (%rax), %xmm10, %xmm11192// CHECK: encoding: [0xc4,0x62,0x29,0xb6,0x18]193 vfmaddsub231ps (%rax), %xmm10, %xmm11194 195// CHECK: vfmsubadd132pd %xmm12, %xmm10, %xmm11196// CHECK: encoding: [0xc4,0x42,0xa9,0x97,0xdc]197 vfmsubadd132pd %xmm12, %xmm10, %xmm11198 199// CHECK: vfmsubadd132pd (%rax), %xmm10, %xmm11200// CHECK: encoding: [0xc4,0x62,0xa9,0x97,0x18]201 vfmsubadd132pd (%rax), %xmm10, %xmm11202 203// CHECK: vfmsubadd132ps %xmm12, %xmm10, %xmm11204// CHECK: encoding: [0xc4,0x42,0x29,0x97,0xdc]205 vfmsubadd132ps %xmm12, %xmm10, %xmm11206 207// CHECK: vfmsubadd132ps (%rax), %xmm10, %xmm11208// CHECK: encoding: [0xc4,0x62,0x29,0x97,0x18]209 vfmsubadd132ps (%rax), %xmm10, %xmm11210 211// CHECK: vfmsubadd213pd %xmm12, %xmm10, %xmm11212// CHECK: encoding: [0xc4,0x42,0xa9,0xa7,0xdc]213 vfmsubadd213pd %xmm12, %xmm10, %xmm11214 215// CHECK: vfmsubadd213pd (%rax), %xmm10, %xmm11216// CHECK: encoding: [0xc4,0x62,0xa9,0xa7,0x18]217 vfmsubadd213pd (%rax), %xmm10, %xmm11218 219// CHECK: vfmsubadd213ps %xmm12, %xmm10, %xmm11220// CHECK: encoding: [0xc4,0x42,0x29,0xa7,0xdc]221 vfmsubadd213ps %xmm12, %xmm10, %xmm11222 223// CHECK: vfmsubadd213ps (%rax), %xmm10, %xmm11224// CHECK: encoding: [0xc4,0x62,0x29,0xa7,0x18]225 vfmsubadd213ps (%rax), %xmm10, %xmm11226 227// CHECK: vfmsubadd231pd %xmm12, %xmm10, %xmm11228// CHECK: encoding: [0xc4,0x42,0xa9,0xb7,0xdc]229 vfmsubadd231pd %xmm12, %xmm10, %xmm11230 231// CHECK: vfmsubadd231pd (%rax), %xmm10, %xmm11232// CHECK: encoding: [0xc4,0x62,0xa9,0xb7,0x18]233 vfmsubadd231pd (%rax), %xmm10, %xmm11234 235// CHECK: vfmsubadd231ps %xmm12, %xmm10, %xmm11236// CHECK: encoding: [0xc4,0x42,0x29,0xb7,0xdc]237 vfmsubadd231ps %xmm12, %xmm10, %xmm11238 239// CHECK: vfmsubadd231ps (%rax), %xmm10, %xmm11240// CHECK: encoding: [0xc4,0x62,0x29,0xb7,0x18]241 vfmsubadd231ps (%rax), %xmm10, %xmm11242 243// CHECK: vfmsub132pd %xmm12, %xmm10, %xmm11244// CHECK: encoding: [0xc4,0x42,0xa9,0x9a,0xdc]245 vfmsub132pd %xmm12, %xmm10, %xmm11246 247// CHECK: vfmsub132pd (%rax), %xmm10, %xmm11248// CHECK: encoding: [0xc4,0x62,0xa9,0x9a,0x18]249 vfmsub132pd (%rax), %xmm10, %xmm11250 251// CHECK: vfmsub132ps %xmm12, %xmm10, %xmm11252// CHECK: encoding: [0xc4,0x42,0x29,0x9a,0xdc]253 vfmsub132ps %xmm12, %xmm10, %xmm11254 255// CHECK: vfmsub132ps (%rax), %xmm10, %xmm11256// CHECK: encoding: [0xc4,0x62,0x29,0x9a,0x18]257 vfmsub132ps (%rax), %xmm10, %xmm11258 259// CHECK: vfmsub213pd %xmm12, %xmm10, %xmm11260// CHECK: encoding: [0xc4,0x42,0xa9,0xaa,0xdc]261 vfmsub213pd %xmm12, %xmm10, %xmm11262 263// CHECK: vfmsub213pd (%rax), %xmm10, %xmm11264// CHECK: encoding: [0xc4,0x62,0xa9,0xaa,0x18]265 vfmsub213pd (%rax), %xmm10, %xmm11266 267// CHECK: vfmsub213ps %xmm12, %xmm10, %xmm11268// CHECK: encoding: [0xc4,0x42,0x29,0xaa,0xdc]269 vfmsub213ps %xmm12, %xmm10, %xmm11270 271// CHECK: vfmsub213ps (%rax), %xmm10, %xmm11272// CHECK: encoding: [0xc4,0x62,0x29,0xaa,0x18]273 vfmsub213ps (%rax), %xmm10, %xmm11274 275// CHECK: vfmsub231pd %xmm12, %xmm10, %xmm11276// CHECK: encoding: [0xc4,0x42,0xa9,0xba,0xdc]277 vfmsub231pd %xmm12, %xmm10, %xmm11278 279// CHECK: vfmsub231pd (%rax), %xmm10, %xmm11280// CHECK: encoding: [0xc4,0x62,0xa9,0xba,0x18]281 vfmsub231pd (%rax), %xmm10, %xmm11282 283// CHECK: vfmsub231ps %xmm12, %xmm10, %xmm11284// CHECK: encoding: [0xc4,0x42,0x29,0xba,0xdc]285 vfmsub231ps %xmm12, %xmm10, %xmm11286 287// CHECK: vfmsub231ps (%rax), %xmm10, %xmm11288// CHECK: encoding: [0xc4,0x62,0x29,0xba,0x18]289 vfmsub231ps (%rax), %xmm10, %xmm11290 291// CHECK: vfnmadd132pd %xmm12, %xmm10, %xmm11292// CHECK: encoding: [0xc4,0x42,0xa9,0x9c,0xdc]293 vfnmadd132pd %xmm12, %xmm10, %xmm11294 295// CHECK: vfnmadd132pd (%rax), %xmm10, %xmm11296// CHECK: encoding: [0xc4,0x62,0xa9,0x9c,0x18]297 vfnmadd132pd (%rax), %xmm10, %xmm11298 299// CHECK: vfnmadd132ps %xmm12, %xmm10, %xmm11300// CHECK: encoding: [0xc4,0x42,0x29,0x9c,0xdc]301 vfnmadd132ps %xmm12, %xmm10, %xmm11302 303// CHECK: vfnmadd132ps (%rax), %xmm10, %xmm11304// CHECK: encoding: [0xc4,0x62,0x29,0x9c,0x18]305 vfnmadd132ps (%rax), %xmm10, %xmm11306 307// CHECK: vfnmadd213pd %xmm12, %xmm10, %xmm11308// CHECK: encoding: [0xc4,0x42,0xa9,0xac,0xdc]309 vfnmadd213pd %xmm12, %xmm10, %xmm11310 311// CHECK: vfnmadd213pd (%rax), %xmm10, %xmm11312// CHECK: encoding: [0xc4,0x62,0xa9,0xac,0x18]313 vfnmadd213pd (%rax), %xmm10, %xmm11314 315// CHECK: vfnmadd213ps %xmm12, %xmm10, %xmm11316// CHECK: encoding: [0xc4,0x42,0x29,0xac,0xdc]317 vfnmadd213ps %xmm12, %xmm10, %xmm11318 319// CHECK: vfnmadd213ps (%rax), %xmm10, %xmm11320// CHECK: encoding: [0xc4,0x62,0x29,0xac,0x18]321 vfnmadd213ps (%rax), %xmm10, %xmm11322 323// CHECK: vfnmadd231pd %xmm12, %xmm10, %xmm11324// CHECK: encoding: [0xc4,0x42,0xa9,0xbc,0xdc]325 vfnmadd231pd %xmm12, %xmm10, %xmm11326 327// CHECK: vfnmadd231pd (%rax), %xmm10, %xmm11328// CHECK: encoding: [0xc4,0x62,0xa9,0xbc,0x18]329 vfnmadd231pd (%rax), %xmm10, %xmm11330 331// CHECK: vfnmadd231ps %xmm12, %xmm10, %xmm11332// CHECK: encoding: [0xc4,0x42,0x29,0xbc,0xdc]333 vfnmadd231ps %xmm12, %xmm10, %xmm11334 335// CHECK: vfnmadd231ps (%rax), %xmm10, %xmm11336// CHECK: encoding: [0xc4,0x62,0x29,0xbc,0x18]337 vfnmadd231ps (%rax), %xmm10, %xmm11338 339// CHECK: vfnmsub132pd %xmm12, %xmm10, %xmm11340// CHECK: encoding: [0xc4,0x42,0xa9,0x9e,0xdc]341 vfnmsub132pd %xmm12, %xmm10, %xmm11342 343// CHECK: vfnmsub132pd (%rax), %xmm10, %xmm11344// CHECK: encoding: [0xc4,0x62,0xa9,0x9e,0x18]345 vfnmsub132pd (%rax), %xmm10, %xmm11346 347// CHECK: vfnmsub132ps %xmm12, %xmm10, %xmm11348// CHECK: encoding: [0xc4,0x42,0x29,0x9e,0xdc]349 vfnmsub132ps %xmm12, %xmm10, %xmm11350 351// CHECK: vfnmsub132ps (%rax), %xmm10, %xmm11352// CHECK: encoding: [0xc4,0x62,0x29,0x9e,0x18]353 vfnmsub132ps (%rax), %xmm10, %xmm11354 355// CHECK: vfnmsub213pd %xmm12, %xmm10, %xmm11356// CHECK: encoding: [0xc4,0x42,0xa9,0xae,0xdc]357 vfnmsub213pd %xmm12, %xmm10, %xmm11358 359// CHECK: vfnmsub213pd (%rax), %xmm10, %xmm11360// CHECK: encoding: [0xc4,0x62,0xa9,0xae,0x18]361 vfnmsub213pd (%rax), %xmm10, %xmm11362 363// CHECK: vfnmsub213ps %xmm12, %xmm10, %xmm11364// CHECK: encoding: [0xc4,0x42,0x29,0xae,0xdc]365 vfnmsub213ps %xmm12, %xmm10, %xmm11366 367// CHECK: vfnmsub213ps (%rax), %xmm10, %xmm11368// CHECK: encoding: [0xc4,0x62,0x29,0xae,0x18]369 vfnmsub213ps (%rax), %xmm10, %xmm11370 371// CHECK: vfnmsub231pd %xmm12, %xmm10, %xmm11372// CHECK: encoding: [0xc4,0x42,0xa9,0xbe,0xdc]373 vfnmsub231pd %xmm12, %xmm10, %xmm11374 375// CHECK: vfnmsub231pd (%rax), %xmm10, %xmm11376// CHECK: encoding: [0xc4,0x62,0xa9,0xbe,0x18]377 vfnmsub231pd (%rax), %xmm10, %xmm11378 379// CHECK: vfnmsub231ps %xmm12, %xmm10, %xmm11380// CHECK: encoding: [0xc4,0x42,0x29,0xbe,0xdc]381 vfnmsub231ps %xmm12, %xmm10, %xmm11382 383// CHECK: vfnmsub231ps (%rax), %xmm10, %xmm11384// CHECK: encoding: [0xc4,0x62,0x29,0xbe,0x18]385 vfnmsub231ps (%rax), %xmm10, %xmm11386 387// CHECK: vfmadd132pd %ymm12, %ymm10, %ymm11388// CHECK: encoding: [0xc4,0x42,0xad,0x98,0xdc]389 vfmadd132pd %ymm12, %ymm10, %ymm11390 391// CHECK: vfmadd132pd (%rax), %ymm10, %ymm11392// CHECK: encoding: [0xc4,0x62,0xad,0x98,0x18]393 vfmadd132pd (%rax), %ymm10, %ymm11394 395// CHECK: vfmadd132ps %ymm12, %ymm10, %ymm11396// CHECK: encoding: [0xc4,0x42,0x2d,0x98,0xdc]397 vfmadd132ps %ymm12, %ymm10, %ymm11398 399// CHECK: vfmadd132ps (%rax), %ymm10, %ymm11400// CHECK: encoding: [0xc4,0x62,0x2d,0x98,0x18]401 vfmadd132ps (%rax), %ymm10, %ymm11402 403// CHECK: vfmadd213pd %ymm12, %ymm10, %ymm11404// CHECK: encoding: [0xc4,0x42,0xad,0xa8,0xdc]405 vfmadd213pd %ymm12, %ymm10, %ymm11406 407// CHECK: vfmadd213pd (%rax), %ymm10, %ymm11408// CHECK: encoding: [0xc4,0x62,0xad,0xa8,0x18]409 vfmadd213pd (%rax), %ymm10, %ymm11410 411// CHECK: vfmadd213ps %ymm12, %ymm10, %ymm11412// CHECK: encoding: [0xc4,0x42,0x2d,0xa8,0xdc]413 vfmadd213ps %ymm12, %ymm10, %ymm11414 415// CHECK: vfmadd213ps (%rax), %ymm10, %ymm11416// CHECK: encoding: [0xc4,0x62,0x2d,0xa8,0x18]417 vfmadd213ps (%rax), %ymm10, %ymm11418 419// CHECK: vfmadd231pd %ymm12, %ymm10, %ymm11420// CHECK: encoding: [0xc4,0x42,0xad,0xb8,0xdc]421 vfmadd231pd %ymm12, %ymm10, %ymm11422 423// CHECK: vfmadd231pd (%rax), %ymm10, %ymm11424// CHECK: encoding: [0xc4,0x62,0xad,0xb8,0x18]425 vfmadd231pd (%rax), %ymm10, %ymm11426 427// CHECK: vfmadd231ps %ymm12, %ymm10, %ymm11428// CHECK: encoding: [0xc4,0x42,0x2d,0xb8,0xdc]429 vfmadd231ps %ymm12, %ymm10, %ymm11430 431// CHECK: vfmadd231ps (%rax), %ymm10, %ymm11432// CHECK: encoding: [0xc4,0x62,0x2d,0xb8,0x18]433 vfmadd231ps (%rax), %ymm10, %ymm11434 435// CHECK: vfmaddsub132pd %ymm12, %ymm10, %ymm11436// CHECK: encoding: [0xc4,0x42,0xad,0x96,0xdc]437 vfmaddsub132pd %ymm12, %ymm10, %ymm11438 439// CHECK: vfmaddsub132pd (%rax), %ymm10, %ymm11440// CHECK: encoding: [0xc4,0x62,0xad,0x96,0x18]441 vfmaddsub132pd (%rax), %ymm10, %ymm11442 443// CHECK: vfmaddsub132ps %ymm12, %ymm10, %ymm11444// CHECK: encoding: [0xc4,0x42,0x2d,0x96,0xdc]445 vfmaddsub132ps %ymm12, %ymm10, %ymm11446 447// CHECK: vfmaddsub132ps (%rax), %ymm10, %ymm11448// CHECK: encoding: [0xc4,0x62,0x2d,0x96,0x18]449 vfmaddsub132ps (%rax), %ymm10, %ymm11450 451// CHECK: vfmaddsub213pd %ymm12, %ymm10, %ymm11452// CHECK: encoding: [0xc4,0x42,0xad,0xa6,0xdc]453 vfmaddsub213pd %ymm12, %ymm10, %ymm11454 455// CHECK: vfmaddsub213pd (%rax), %ymm10, %ymm11456// CHECK: encoding: [0xc4,0x62,0xad,0xa6,0x18]457 vfmaddsub213pd (%rax), %ymm10, %ymm11458 459// CHECK: vfmaddsub213ps %ymm12, %ymm10, %ymm11460// CHECK: encoding: [0xc4,0x42,0x2d,0xa6,0xdc]461 vfmaddsub213ps %ymm12, %ymm10, %ymm11462 463// CHECK: vfmaddsub213ps (%rax), %ymm10, %ymm11464// CHECK: encoding: [0xc4,0x62,0x2d,0xa6,0x18]465 vfmaddsub213ps (%rax), %ymm10, %ymm11466 467// CHECK: vfmaddsub231pd %ymm12, %ymm10, %ymm11468// CHECK: encoding: [0xc4,0x42,0xad,0xb6,0xdc]469 vfmaddsub231pd %ymm12, %ymm10, %ymm11470 471// CHECK: vfmaddsub231pd (%rax), %ymm10, %ymm11472// CHECK: encoding: [0xc4,0x62,0xad,0xb6,0x18]473 vfmaddsub231pd (%rax), %ymm10, %ymm11474 475// CHECK: vfmaddsub231ps %ymm12, %ymm10, %ymm11476// CHECK: encoding: [0xc4,0x42,0x2d,0xb6,0xdc]477 vfmaddsub231ps %ymm12, %ymm10, %ymm11478 479// CHECK: vfmaddsub231ps (%rax), %ymm10, %ymm11480// CHECK: encoding: [0xc4,0x62,0x2d,0xb6,0x18]481 vfmaddsub231ps (%rax), %ymm10, %ymm11482 483// CHECK: vfmsubadd132pd %ymm12, %ymm10, %ymm11484// CHECK: encoding: [0xc4,0x42,0xad,0x97,0xdc]485 vfmsubadd132pd %ymm12, %ymm10, %ymm11486 487// CHECK: vfmsubadd132pd (%rax), %ymm10, %ymm11488// CHECK: encoding: [0xc4,0x62,0xad,0x97,0x18]489 vfmsubadd132pd (%rax), %ymm10, %ymm11490 491// CHECK: vfmsubadd132ps %ymm12, %ymm10, %ymm11492// CHECK: encoding: [0xc4,0x42,0x2d,0x97,0xdc]493 vfmsubadd132ps %ymm12, %ymm10, %ymm11494 495// CHECK: vfmsubadd132ps (%rax), %ymm10, %ymm11496// CHECK: encoding: [0xc4,0x62,0x2d,0x97,0x18]497 vfmsubadd132ps (%rax), %ymm10, %ymm11498 499// CHECK: vfmsubadd213pd %ymm12, %ymm10, %ymm11500// CHECK: encoding: [0xc4,0x42,0xad,0xa7,0xdc]501 vfmsubadd213pd %ymm12, %ymm10, %ymm11502 503// CHECK: vfmsubadd213pd (%rax), %ymm10, %ymm11504// CHECK: encoding: [0xc4,0x62,0xad,0xa7,0x18]505 vfmsubadd213pd (%rax), %ymm10, %ymm11506 507// CHECK: vfmsubadd213ps %ymm12, %ymm10, %ymm11508// CHECK: encoding: [0xc4,0x42,0x2d,0xa7,0xdc]509 vfmsubadd213ps %ymm12, %ymm10, %ymm11510 511// CHECK: vfmsubadd213ps (%rax), %ymm10, %ymm11512// CHECK: encoding: [0xc4,0x62,0x2d,0xa7,0x18]513 vfmsubadd213ps (%rax), %ymm10, %ymm11514 515// CHECK: vfmsubadd231pd %ymm12, %ymm10, %ymm11516// CHECK: encoding: [0xc4,0x42,0xad,0xb7,0xdc]517 vfmsubadd231pd %ymm12, %ymm10, %ymm11518 519// CHECK: vfmsubadd231pd (%rax), %ymm10, %ymm11520// CHECK: encoding: [0xc4,0x62,0xad,0xb7,0x18]521 vfmsubadd231pd (%rax), %ymm10, %ymm11522 523// CHECK: vfmsubadd231ps %ymm12, %ymm10, %ymm11524// CHECK: encoding: [0xc4,0x42,0x2d,0xb7,0xdc]525 vfmsubadd231ps %ymm12, %ymm10, %ymm11526 527// CHECK: vfmsubadd231ps (%rax), %ymm10, %ymm11528// CHECK: encoding: [0xc4,0x62,0x2d,0xb7,0x18]529 vfmsubadd231ps (%rax), %ymm10, %ymm11530 531// CHECK: vfmsub132pd %ymm12, %ymm10, %ymm11532// CHECK: encoding: [0xc4,0x42,0xad,0x9a,0xdc]533 vfmsub132pd %ymm12, %ymm10, %ymm11534 535// CHECK: vfmsub132pd (%rax), %ymm10, %ymm11536// CHECK: encoding: [0xc4,0x62,0xad,0x9a,0x18]537 vfmsub132pd (%rax), %ymm10, %ymm11538 539// CHECK: vfmsub132ps %ymm12, %ymm10, %ymm11540// CHECK: encoding: [0xc4,0x42,0x2d,0x9a,0xdc]541 vfmsub132ps %ymm12, %ymm10, %ymm11542 543// CHECK: vfmsub132ps (%rax), %ymm10, %ymm11544// CHECK: encoding: [0xc4,0x62,0x2d,0x9a,0x18]545 vfmsub132ps (%rax), %ymm10, %ymm11546 547// CHECK: vfmsub213pd %ymm12, %ymm10, %ymm11548// CHECK: encoding: [0xc4,0x42,0xad,0xaa,0xdc]549 vfmsub213pd %ymm12, %ymm10, %ymm11550 551// CHECK: vfmsub213pd (%rax), %ymm10, %ymm11552// CHECK: encoding: [0xc4,0x62,0xad,0xaa,0x18]553 vfmsub213pd (%rax), %ymm10, %ymm11554 555// CHECK: vfmsub213ps %ymm12, %ymm10, %ymm11556// CHECK: encoding: [0xc4,0x42,0x2d,0xaa,0xdc]557 vfmsub213ps %ymm12, %ymm10, %ymm11558 559// CHECK: vfmsub213ps (%rax), %ymm10, %ymm11560// CHECK: encoding: [0xc4,0x62,0x2d,0xaa,0x18]561 vfmsub213ps (%rax), %ymm10, %ymm11562 563// CHECK: vfmsub231pd %ymm12, %ymm10, %ymm11564// CHECK: encoding: [0xc4,0x42,0xad,0xba,0xdc]565 vfmsub231pd %ymm12, %ymm10, %ymm11566 567// CHECK: vfmsub231pd (%rax), %ymm10, %ymm11568// CHECK: encoding: [0xc4,0x62,0xad,0xba,0x18]569 vfmsub231pd (%rax), %ymm10, %ymm11570 571// CHECK: vfmsub231ps %ymm12, %ymm10, %ymm11572// CHECK: encoding: [0xc4,0x42,0x2d,0xba,0xdc]573 vfmsub231ps %ymm12, %ymm10, %ymm11574 575// CHECK: vfmsub231ps (%rax), %ymm10, %ymm11576// CHECK: encoding: [0xc4,0x62,0x2d,0xba,0x18]577 vfmsub231ps (%rax), %ymm10, %ymm11578 579// CHECK: vfnmadd132pd %ymm12, %ymm10, %ymm11580// CHECK: encoding: [0xc4,0x42,0xad,0x9c,0xdc]581 vfnmadd132pd %ymm12, %ymm10, %ymm11582 583// CHECK: vfnmadd132pd (%rax), %ymm10, %ymm11584// CHECK: encoding: [0xc4,0x62,0xad,0x9c,0x18]585 vfnmadd132pd (%rax), %ymm10, %ymm11586 587// CHECK: vfnmadd132ps %ymm12, %ymm10, %ymm11588// CHECK: encoding: [0xc4,0x42,0x2d,0x9c,0xdc]589 vfnmadd132ps %ymm12, %ymm10, %ymm11590 591// CHECK: vfnmadd132ps (%rax), %ymm10, %ymm11592// CHECK: encoding: [0xc4,0x62,0x2d,0x9c,0x18]593 vfnmadd132ps (%rax), %ymm10, %ymm11594 595// CHECK: vfnmadd213pd %ymm12, %ymm10, %ymm11596// CHECK: encoding: [0xc4,0x42,0xad,0xac,0xdc]597 vfnmadd213pd %ymm12, %ymm10, %ymm11598 599// CHECK: vfnmadd213pd (%rax), %ymm10, %ymm11600// CHECK: encoding: [0xc4,0x62,0xad,0xac,0x18]601 vfnmadd213pd (%rax), %ymm10, %ymm11602 603// CHECK: vfnmadd213ps %ymm12, %ymm10, %ymm11604// CHECK: encoding: [0xc4,0x42,0x2d,0xac,0xdc]605 vfnmadd213ps %ymm12, %ymm10, %ymm11606 607// CHECK: vfnmadd213ps (%rax), %ymm10, %ymm11608// CHECK: encoding: [0xc4,0x62,0x2d,0xac,0x18]609 vfnmadd213ps (%rax), %ymm10, %ymm11610 611// CHECK: vfnmadd231pd %ymm12, %ymm10, %ymm11612// CHECK: encoding: [0xc4,0x42,0xad,0xbc,0xdc]613 vfnmadd231pd %ymm12, %ymm10, %ymm11614 615// CHECK: vfnmadd231pd (%rax), %ymm10, %ymm11616// CHECK: encoding: [0xc4,0x62,0xad,0xbc,0x18]617 vfnmadd231pd (%rax), %ymm10, %ymm11618 619// CHECK: vfnmadd231ps %ymm12, %ymm10, %ymm11620// CHECK: encoding: [0xc4,0x42,0x2d,0xbc,0xdc]621 vfnmadd231ps %ymm12, %ymm10, %ymm11622 623// CHECK: vfnmadd231ps (%rax), %ymm10, %ymm11624// CHECK: encoding: [0xc4,0x62,0x2d,0xbc,0x18]625 vfnmadd231ps (%rax), %ymm10, %ymm11626 627// CHECK: vfnmsub132pd %ymm12, %ymm10, %ymm11628// CHECK: encoding: [0xc4,0x42,0xad,0x9e,0xdc]629 vfnmsub132pd %ymm12, %ymm10, %ymm11630 631// CHECK: vfnmsub132pd (%rax), %ymm10, %ymm11632// CHECK: encoding: [0xc4,0x62,0xad,0x9e,0x18]633 vfnmsub132pd (%rax), %ymm10, %ymm11634 635// CHECK: vfnmsub132ps %ymm12, %ymm10, %ymm11636// CHECK: encoding: [0xc4,0x42,0x2d,0x9e,0xdc]637 vfnmsub132ps %ymm12, %ymm10, %ymm11638 639// CHECK: vfnmsub132ps (%rax), %ymm10, %ymm11640// CHECK: encoding: [0xc4,0x62,0x2d,0x9e,0x18]641 vfnmsub132ps (%rax), %ymm10, %ymm11642 643// CHECK: vfnmsub213pd %ymm12, %ymm10, %ymm11644// CHECK: encoding: [0xc4,0x42,0xad,0xae,0xdc]645 vfnmsub213pd %ymm12, %ymm10, %ymm11646 647// CHECK: vfnmsub213pd (%rax), %ymm10, %ymm11648// CHECK: encoding: [0xc4,0x62,0xad,0xae,0x18]649 vfnmsub213pd (%rax), %ymm10, %ymm11650 651// CHECK: vfnmsub213ps %ymm12, %ymm10, %ymm11652// CHECK: encoding: [0xc4,0x42,0x2d,0xae,0xdc]653 vfnmsub213ps %ymm12, %ymm10, %ymm11654 655// CHECK: vfnmsub213ps (%rax), %ymm10, %ymm11656// CHECK: encoding: [0xc4,0x62,0x2d,0xae,0x18]657 vfnmsub213ps (%rax), %ymm10, %ymm11658 659// CHECK: vfnmsub231pd %ymm12, %ymm10, %ymm11660// CHECK: encoding: [0xc4,0x42,0xad,0xbe,0xdc]661 vfnmsub231pd %ymm12, %ymm10, %ymm11662 663// CHECK: vfnmsub231pd (%rax), %ymm10, %ymm11664// CHECK: encoding: [0xc4,0x62,0xad,0xbe,0x18]665 vfnmsub231pd (%rax), %ymm10, %ymm11666 667// CHECK: vfnmsub231ps %ymm12, %ymm10, %ymm11668// CHECK: encoding: [0xc4,0x42,0x2d,0xbe,0xdc]669 vfnmsub231ps %ymm12, %ymm10, %ymm11670 671// CHECK: vfnmsub231ps (%rax), %ymm10, %ymm11672// CHECK: encoding: [0xc4,0x62,0x2d,0xbe,0x18]673 vfnmsub231ps (%rax), %ymm10, %ymm11674 675