1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding < %s | FileCheck %s 2// RUN: llvm-mc -triple x86_64-unknown-unknown < %s 2>&1 | FileCheck %s --check-prefix=CHECK-NO-WARN 3 4// CHECK-NO-WARN-NOT: warning 5 6// CHECK: vmovsh %xmm28, %xmm29, %xmm30 7// CHECK: encoding: [0x62,0x05,0x16,0x00,0x10,0xf4] 8 vmovsh %xmm28, %xmm29, %xmm30 9 10// CHECK: vmovsh 268435456(%rbp,%r14,8), %xmm30 {%k7} 11// CHECK: encoding: [0x62,0x25,0x7e,0x0f,0x10,0xb4,0xf5,0x00,0x00,0x00,0x10] 12 vmovsh 268435456(%rbp,%r14,8), %xmm30 {%k7} 13 14// CHECK: vmovsh (%r9), %xmm30 15// CHECK: encoding: [0x62,0x45,0x7e,0x08,0x10,0x31] 16 vmovsh (%r9), %xmm30 17 18// CHECK: vmovsh 254(%rcx), %xmm30 19// CHECK: encoding: [0x62,0x65,0x7e,0x08,0x10,0x71,0x7f] 20 vmovsh 254(%rcx), %xmm30 21 22// CHECK: vmovsh -256(%rdx), %xmm30 {%k7} {z} 23// CHECK: encoding: [0x62,0x65,0x7e,0x8f,0x10,0x72,0x80] 24 vmovsh -256(%rdx), %xmm30 {%k7} {z} 25 26// CHECK: vmovsh %xmm30, 268435456(%rbp,%r14,8) {%k7} 27// CHECK: encoding: [0x62,0x25,0x7e,0x0f,0x11,0xb4,0xf5,0x00,0x00,0x00,0x10] 28 vmovsh %xmm30, 268435456(%rbp,%r14,8) {%k7} 29 30// CHECK: vmovsh %xmm30, (%r9) 31// CHECK: encoding: [0x62,0x45,0x7e,0x08,0x11,0x31] 32 vmovsh %xmm30, (%r9) 33 34// CHECK: vmovsh %xmm30, 254(%rcx) 35// CHECK: encoding: [0x62,0x65,0x7e,0x08,0x11,0x71,0x7f] 36 vmovsh %xmm30, 254(%rcx) 37 38// CHECK: vmovsh %xmm30, -256(%rdx) {%k7} 39// CHECK: encoding: [0x62,0x65,0x7e,0x0f,0x11,0x72,0x80] 40 vmovsh %xmm30, -256(%rdx) {%k7} 41 42// CHECK: vmovw %r12d, %xmm30 43// CHECK: encoding: [0x62,0x45,0x7d,0x08,0x6e,0xf4] 44 vmovw %r12d, %xmm30 45 46// CHECK: vmovw %xmm30, %r12d 47// CHECK: encoding: [0x62,0x45,0x7d,0x08,0x7e,0xf4] 48 vmovw %xmm30, %r12d 49 50// CHECK: vmovw 268435456(%rbp,%r14,8), %xmm30 51// CHECK: encoding: [0x62,0x25,0x7d,0x08,0x6e,0xb4,0xf5,0x00,0x00,0x00,0x10] 52 vmovw 268435456(%rbp,%r14,8), %xmm30 53 54// CHECK: vmovw (%r9), %xmm30 55// CHECK: encoding: [0x62,0x45,0x7d,0x08,0x6e,0x31] 56 vmovw (%r9), %xmm30 57 58// CHECK: vmovw 254(%rcx), %xmm30 59// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x6e,0x71,0x7f] 60 vmovw 254(%rcx), %xmm30 61 62// CHECK: vmovw -256(%rdx), %xmm30 63// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x6e,0x72,0x80] 64 vmovw -256(%rdx), %xmm30 65 66// CHECK: vmovw %xmm30, 268435456(%rbp,%r14,8) 67// CHECK: encoding: [0x62,0x25,0x7d,0x08,0x7e,0xb4,0xf5,0x00,0x00,0x00,0x10] 68 vmovw %xmm30, 268435456(%rbp,%r14,8) 69 70// CHECK: vmovw %xmm30, (%r9) 71// CHECK: encoding: [0x62,0x45,0x7d,0x08,0x7e,0x31] 72 vmovw %xmm30, (%r9) 73 74// CHECK: vmovw %xmm30, 254(%rcx) 75// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x7e,0x71,0x7f] 76 vmovw %xmm30, 254(%rcx) 77 78// CHECK: vmovw %xmm30, -256(%rdx) 79// CHECK: encoding: [0x62,0x65,0x7d,0x08,0x7e,0x72,0x80] 80 vmovw %xmm30, -256(%rdx) 81 82// CHECK: vaddph %zmm28, %zmm29, %zmm30 83// CHECK: encoding: [0x62,0x05,0x14,0x40,0x58,0xf4] 84 vaddph %zmm28, %zmm29, %zmm30 85 86// CHECK: vaddph {rn-sae}, %zmm28, %zmm29, %zmm30 87// CHECK: encoding: [0x62,0x05,0x14,0x10,0x58,0xf4] 88 vaddph {rn-sae}, %zmm28, %zmm29, %zmm30 89 90// CHECK: vaddph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 91// CHECK: encoding: [0x62,0x25,0x14,0x47,0x58,0xb4,0xf5,0x00,0x00,0x00,0x10] 92 vaddph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 93 94// CHECK: vaddph (%r9){1to32}, %zmm29, %zmm30 95// CHECK: encoding: [0x62,0x45,0x14,0x50,0x58,0x31] 96 vaddph (%r9){1to32}, %zmm29, %zmm30 97 98// CHECK: vaddph 8128(%rcx), %zmm29, %zmm30 99// CHECK: encoding: [0x62,0x65,0x14,0x40,0x58,0x71,0x7f] 100 vaddph 8128(%rcx), %zmm29, %zmm30 101 102// CHECK: vaddph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 103// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x58,0x72,0x80] 104 vaddph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 105 106// CHECK: vaddsh %xmm28, %xmm29, %xmm30 107// CHECK: encoding: [0x62,0x05,0x16,0x00,0x58,0xf4] 108 vaddsh %xmm28, %xmm29, %xmm30 109 110// CHECK: vaddsh {rn-sae}, %xmm28, %xmm29, %xmm30 111// CHECK: encoding: [0x62,0x05,0x16,0x10,0x58,0xf4] 112 vaddsh {rn-sae}, %xmm28, %xmm29, %xmm30 113 114// CHECK: vaddsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 115// CHECK: encoding: [0x62,0x25,0x16,0x07,0x58,0xb4,0xf5,0x00,0x00,0x00,0x10] 116 vaddsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 117 118// CHECK: vaddsh (%r9), %xmm29, %xmm30 119// CHECK: encoding: [0x62,0x45,0x16,0x00,0x58,0x31] 120 vaddsh (%r9), %xmm29, %xmm30 121 122// CHECK: vaddsh 254(%rcx), %xmm29, %xmm30 123// CHECK: encoding: [0x62,0x65,0x16,0x00,0x58,0x71,0x7f] 124 vaddsh 254(%rcx), %xmm29, %xmm30 125 126// CHECK: vaddsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 127// CHECK: encoding: [0x62,0x65,0x16,0x87,0x58,0x72,0x80] 128 vaddsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 129 130// CHECK: vcmpneq_usph %zmm28, %zmm29, %k5 131// CHECK: encoding: [0x62,0x93,0x14,0x40,0xc2,0xec,0x14] 132 vcmpneq_usph %zmm28, %zmm29, %k5 133 134// CHECK: vcmpnlt_uqph {sae}, %zmm28, %zmm29, %k5 135// CHECK: encoding: [0x62,0x93,0x14,0x10,0xc2,0xec,0x15] 136 vcmpnlt_uqph {sae}, %zmm28, %zmm29, %k5 137 138// CHECK: vcmpnle_uqph 268435456(%rbp,%r14,8), %zmm29, %k5 {%k7} 139// CHECK: encoding: [0x62,0xb3,0x14,0x47,0xc2,0xac,0xf5,0x00,0x00,0x00,0x10,0x16] 140 vcmpnle_uqph 268435456(%rbp,%r14,8), %zmm29, %k5 {%k7} 141 142// CHECK: vcmpord_sph (%r9){1to32}, %zmm29, %k5 143// CHECK: encoding: [0x62,0xd3,0x14,0x50,0xc2,0x29,0x17] 144 vcmpord_sph (%r9){1to32}, %zmm29, %k5 145 146// CHECK: vcmpeq_usph 8128(%rcx), %zmm29, %k5 147// CHECK: encoding: [0x62,0xf3,0x14,0x40,0xc2,0x69,0x7f,0x18] 148 vcmpeq_usph 8128(%rcx), %zmm29, %k5 149 150// CHECK: vcmpnge_uqph -256(%rdx){1to32}, %zmm29, %k5 {%k7} 151// CHECK: encoding: [0x62,0xf3,0x14,0x57,0xc2,0x6a,0x80,0x19] 152 vcmpnge_uqph -256(%rdx){1to32}, %zmm29, %k5 {%k7} 153 154// CHECK: vcmpngt_uqsh %xmm28, %xmm29, %k5 155// CHECK: encoding: [0x62,0x93,0x16,0x00,0xc2,0xec,0x1a] 156 vcmpngt_uqsh %xmm28, %xmm29, %k5 157 158// CHECK: vcmpfalse_ossh {sae}, %xmm28, %xmm29, %k5 159// CHECK: encoding: [0x62,0x93,0x16,0x10,0xc2,0xec,0x1b] 160 vcmpfalse_ossh {sae}, %xmm28, %xmm29, %k5 161 162// CHECK: vcmpneq_ossh 268435456(%rbp,%r14,8), %xmm29, %k5 {%k7} 163// CHECK: encoding: [0x62,0xb3,0x16,0x07,0xc2,0xac,0xf5,0x00,0x00,0x00,0x10,0x1c] 164 vcmpneq_ossh 268435456(%rbp,%r14,8), %xmm29, %k5 {%k7} 165 166// CHECK: vcmpge_oqsh (%r9), %xmm29, %k5 167// CHECK: encoding: [0x62,0xd3,0x16,0x00,0xc2,0x29,0x1d] 168 vcmpge_oqsh (%r9), %xmm29, %k5 169 170// CHECK: vcmpgt_oqsh 254(%rcx), %xmm29, %k5 171// CHECK: encoding: [0x62,0xf3,0x16,0x00,0xc2,0x69,0x7f,0x1e] 172 vcmpgt_oqsh 254(%rcx), %xmm29, %k5 173 174// CHECK: vcmptrue_ussh -256(%rdx), %xmm29, %k5 {%k7} 175// CHECK: encoding: [0x62,0xf3,0x16,0x07,0xc2,0x6a,0x80,0x1f] 176 vcmptrue_ussh -256(%rdx), %xmm29, %k5 {%k7} 177 178// CHECK: vcomish %xmm29, %xmm30 179// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x2f,0xf5] 180 vcomish %xmm29, %xmm30 181 182// CHECK: vcomish {sae}, %xmm29, %xmm30 183// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x2f,0xf5] 184 vcomish {sae}, %xmm29, %xmm30 185 186// CHECK: vcomish 268435456(%rbp,%r14,8), %xmm30 187// CHECK: encoding: [0x62,0x25,0x7c,0x08,0x2f,0xb4,0xf5,0x00,0x00,0x00,0x10] 188 vcomish 268435456(%rbp,%r14,8), %xmm30 189 190// CHECK: vcomish (%r9), %xmm30 191// CHECK: encoding: [0x62,0x45,0x7c,0x08,0x2f,0x31] 192 vcomish (%r9), %xmm30 193 194// CHECK: vcomish 254(%rcx), %xmm30 195// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x2f,0x71,0x7f] 196 vcomish 254(%rcx), %xmm30 197 198// CHECK: vcomish -256(%rdx), %xmm30 199// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x2f,0x72,0x80] 200 vcomish -256(%rdx), %xmm30 201 202// CHECK: vdivph %zmm28, %zmm29, %zmm30 203// CHECK: encoding: [0x62,0x05,0x14,0x40,0x5e,0xf4] 204 vdivph %zmm28, %zmm29, %zmm30 205 206// CHECK: vdivph {rn-sae}, %zmm28, %zmm29, %zmm30 207// CHECK: encoding: [0x62,0x05,0x14,0x10,0x5e,0xf4] 208 vdivph {rn-sae}, %zmm28, %zmm29, %zmm30 209 210// CHECK: vdivph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 211// CHECK: encoding: [0x62,0x25,0x14,0x47,0x5e,0xb4,0xf5,0x00,0x00,0x00,0x10] 212 vdivph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 213 214// CHECK: vdivph (%r9){1to32}, %zmm29, %zmm30 215// CHECK: encoding: [0x62,0x45,0x14,0x50,0x5e,0x31] 216 vdivph (%r9){1to32}, %zmm29, %zmm30 217 218// CHECK: vdivph 8128(%rcx), %zmm29, %zmm30 219// CHECK: encoding: [0x62,0x65,0x14,0x40,0x5e,0x71,0x7f] 220 vdivph 8128(%rcx), %zmm29, %zmm30 221 222// CHECK: vdivph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 223// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x5e,0x72,0x80] 224 vdivph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 225 226// CHECK: vdivsh %xmm28, %xmm29, %xmm30 227// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5e,0xf4] 228 vdivsh %xmm28, %xmm29, %xmm30 229 230// CHECK: vdivsh {rn-sae}, %xmm28, %xmm29, %xmm30 231// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5e,0xf4] 232 vdivsh {rn-sae}, %xmm28, %xmm29, %xmm30 233 234// CHECK: vdivsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 235// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5e,0xb4,0xf5,0x00,0x00,0x00,0x10] 236 vdivsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 237 238// CHECK: vdivsh (%r9), %xmm29, %xmm30 239// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5e,0x31] 240 vdivsh (%r9), %xmm29, %xmm30 241 242// CHECK: vdivsh 254(%rcx), %xmm29, %xmm30 243// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5e,0x71,0x7f] 244 vdivsh 254(%rcx), %xmm29, %xmm30 245 246// CHECK: vdivsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 247// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5e,0x72,0x80] 248 vdivsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 249 250// CHECK: vmaxph %zmm28, %zmm29, %zmm30 251// CHECK: encoding: [0x62,0x05,0x14,0x40,0x5f,0xf4] 252 vmaxph %zmm28, %zmm29, %zmm30 253 254// CHECK: vmaxph {sae}, %zmm28, %zmm29, %zmm30 255// CHECK: encoding: [0x62,0x05,0x14,0x10,0x5f,0xf4] 256 vmaxph {sae}, %zmm28, %zmm29, %zmm30 257 258// CHECK: vmaxph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 259// CHECK: encoding: [0x62,0x25,0x14,0x47,0x5f,0xb4,0xf5,0x00,0x00,0x00,0x10] 260 vmaxph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 261 262// CHECK: vmaxph (%r9){1to32}, %zmm29, %zmm30 263// CHECK: encoding: [0x62,0x45,0x14,0x50,0x5f,0x31] 264 vmaxph (%r9){1to32}, %zmm29, %zmm30 265 266// CHECK: vmaxph 8128(%rcx), %zmm29, %zmm30 267// CHECK: encoding: [0x62,0x65,0x14,0x40,0x5f,0x71,0x7f] 268 vmaxph 8128(%rcx), %zmm29, %zmm30 269 270// CHECK: vmaxph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 271// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x5f,0x72,0x80] 272 vmaxph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 273 274// CHECK: vmaxsh %xmm28, %xmm29, %xmm30 275// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5f,0xf4] 276 vmaxsh %xmm28, %xmm29, %xmm30 277 278// CHECK: vmaxsh {sae}, %xmm28, %xmm29, %xmm30 279// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5f,0xf4] 280 vmaxsh {sae}, %xmm28, %xmm29, %xmm30 281 282// CHECK: vmaxsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 283// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5f,0xb4,0xf5,0x00,0x00,0x00,0x10] 284 vmaxsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 285 286// CHECK: vmaxsh (%r9), %xmm29, %xmm30 287// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5f,0x31] 288 vmaxsh (%r9), %xmm29, %xmm30 289 290// CHECK: vmaxsh 254(%rcx), %xmm29, %xmm30 291// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5f,0x71,0x7f] 292 vmaxsh 254(%rcx), %xmm29, %xmm30 293 294// CHECK: vmaxsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 295// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5f,0x72,0x80] 296 vmaxsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 297 298// CHECK: vminph %zmm28, %zmm29, %zmm30 299// CHECK: encoding: [0x62,0x05,0x14,0x40,0x5d,0xf4] 300 vminph %zmm28, %zmm29, %zmm30 301 302// CHECK: vminph {sae}, %zmm28, %zmm29, %zmm30 303// CHECK: encoding: [0x62,0x05,0x14,0x10,0x5d,0xf4] 304 vminph {sae}, %zmm28, %zmm29, %zmm30 305 306// CHECK: vminph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 307// CHECK: encoding: [0x62,0x25,0x14,0x47,0x5d,0xb4,0xf5,0x00,0x00,0x00,0x10] 308 vminph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 309 310// CHECK: vminph (%r9){1to32}, %zmm29, %zmm30 311// CHECK: encoding: [0x62,0x45,0x14,0x50,0x5d,0x31] 312 vminph (%r9){1to32}, %zmm29, %zmm30 313 314// CHECK: vminph 8128(%rcx), %zmm29, %zmm30 315// CHECK: encoding: [0x62,0x65,0x14,0x40,0x5d,0x71,0x7f] 316 vminph 8128(%rcx), %zmm29, %zmm30 317 318// CHECK: vminph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 319// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x5d,0x72,0x80] 320 vminph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 321 322// CHECK: vminsh %xmm28, %xmm29, %xmm30 323// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5d,0xf4] 324 vminsh %xmm28, %xmm29, %xmm30 325 326// CHECK: vminsh {sae}, %xmm28, %xmm29, %xmm30 327// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5d,0xf4] 328 vminsh {sae}, %xmm28, %xmm29, %xmm30 329 330// CHECK: vminsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 331// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5d,0xb4,0xf5,0x00,0x00,0x00,0x10] 332 vminsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 333 334// CHECK: vminsh (%r9), %xmm29, %xmm30 335// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5d,0x31] 336 vminsh (%r9), %xmm29, %xmm30 337 338// CHECK: vminsh 254(%rcx), %xmm29, %xmm30 339// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5d,0x71,0x7f] 340 vminsh 254(%rcx), %xmm29, %xmm30 341 342// CHECK: vminsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 343// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5d,0x72,0x80] 344 vminsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 345 346// CHECK: vmulph %zmm28, %zmm29, %zmm30 347// CHECK: encoding: [0x62,0x05,0x14,0x40,0x59,0xf4] 348 vmulph %zmm28, %zmm29, %zmm30 349 350// CHECK: vmulph {rn-sae}, %zmm28, %zmm29, %zmm30 351// CHECK: encoding: [0x62,0x05,0x14,0x10,0x59,0xf4] 352 vmulph {rn-sae}, %zmm28, %zmm29, %zmm30 353 354// CHECK: vmulph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 355// CHECK: encoding: [0x62,0x25,0x14,0x47,0x59,0xb4,0xf5,0x00,0x00,0x00,0x10] 356 vmulph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 357 358// CHECK: vmulph (%r9){1to32}, %zmm29, %zmm30 359// CHECK: encoding: [0x62,0x45,0x14,0x50,0x59,0x31] 360 vmulph (%r9){1to32}, %zmm29, %zmm30 361 362// CHECK: vmulph 8128(%rcx), %zmm29, %zmm30 363// CHECK: encoding: [0x62,0x65,0x14,0x40,0x59,0x71,0x7f] 364 vmulph 8128(%rcx), %zmm29, %zmm30 365 366// CHECK: vmulph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 367// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x59,0x72,0x80] 368 vmulph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 369 370// CHECK: vmulsh %xmm28, %xmm29, %xmm30 371// CHECK: encoding: [0x62,0x05,0x16,0x00,0x59,0xf4] 372 vmulsh %xmm28, %xmm29, %xmm30 373 374// CHECK: vmulsh {rn-sae}, %xmm28, %xmm29, %xmm30 375// CHECK: encoding: [0x62,0x05,0x16,0x10,0x59,0xf4] 376 vmulsh {rn-sae}, %xmm28, %xmm29, %xmm30 377 378// CHECK: vmulsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 379// CHECK: encoding: [0x62,0x25,0x16,0x07,0x59,0xb4,0xf5,0x00,0x00,0x00,0x10] 380 vmulsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 381 382// CHECK: vmulsh (%r9), %xmm29, %xmm30 383// CHECK: encoding: [0x62,0x45,0x16,0x00,0x59,0x31] 384 vmulsh (%r9), %xmm29, %xmm30 385 386// CHECK: vmulsh 254(%rcx), %xmm29, %xmm30 387// CHECK: encoding: [0x62,0x65,0x16,0x00,0x59,0x71,0x7f] 388 vmulsh 254(%rcx), %xmm29, %xmm30 389 390// CHECK: vmulsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 391// CHECK: encoding: [0x62,0x65,0x16,0x87,0x59,0x72,0x80] 392 vmulsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 393 394// CHECK: vsubph %zmm28, %zmm29, %zmm30 395// CHECK: encoding: [0x62,0x05,0x14,0x40,0x5c,0xf4] 396 vsubph %zmm28, %zmm29, %zmm30 397 398// CHECK: vsubph {rn-sae}, %zmm28, %zmm29, %zmm30 399// CHECK: encoding: [0x62,0x05,0x14,0x10,0x5c,0xf4] 400 vsubph {rn-sae}, %zmm28, %zmm29, %zmm30 401 402// CHECK: vsubph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 403// CHECK: encoding: [0x62,0x25,0x14,0x47,0x5c,0xb4,0xf5,0x00,0x00,0x00,0x10] 404 vsubph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 405 406// CHECK: vsubph (%r9){1to32}, %zmm29, %zmm30 407// CHECK: encoding: [0x62,0x45,0x14,0x50,0x5c,0x31] 408 vsubph (%r9){1to32}, %zmm29, %zmm30 409 410// CHECK: vsubph 8128(%rcx), %zmm29, %zmm30 411// CHECK: encoding: [0x62,0x65,0x14,0x40,0x5c,0x71,0x7f] 412 vsubph 8128(%rcx), %zmm29, %zmm30 413 414// CHECK: vsubph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 415// CHECK: encoding: [0x62,0x65,0x14,0xd7,0x5c,0x72,0x80] 416 vsubph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 417 418// CHECK: vsubsh %xmm28, %xmm29, %xmm30 419// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5c,0xf4] 420 vsubsh %xmm28, %xmm29, %xmm30 421 422// CHECK: vsubsh {rn-sae}, %xmm28, %xmm29, %xmm30 423// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5c,0xf4] 424 vsubsh {rn-sae}, %xmm28, %xmm29, %xmm30 425 426// CHECK: vsubsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 427// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5c,0xb4,0xf5,0x00,0x00,0x00,0x10] 428 vsubsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 429 430// CHECK: vsubsh (%r9), %xmm29, %xmm30 431// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5c,0x31] 432 vsubsh (%r9), %xmm29, %xmm30 433 434// CHECK: vsubsh 254(%rcx), %xmm29, %xmm30 435// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5c,0x71,0x7f] 436 vsubsh 254(%rcx), %xmm29, %xmm30 437 438// CHECK: vsubsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 439// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5c,0x72,0x80] 440 vsubsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 441 442// CHECK: vucomish %xmm29, %xmm30 443// CHECK: encoding: [0x62,0x05,0x7c,0x08,0x2e,0xf5] 444 vucomish %xmm29, %xmm30 445 446// CHECK: vucomish {sae}, %xmm29, %xmm30 447// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x2e,0xf5] 448 vucomish {sae}, %xmm29, %xmm30 449 450// CHECK: vucomish 268435456(%rbp,%r14,8), %xmm30 451// CHECK: encoding: [0x62,0x25,0x7c,0x08,0x2e,0xb4,0xf5,0x00,0x00,0x00,0x10] 452 vucomish 268435456(%rbp,%r14,8), %xmm30 453 454// CHECK: vucomish (%r9), %xmm30 455// CHECK: encoding: [0x62,0x45,0x7c,0x08,0x2e,0x31] 456 vucomish (%r9), %xmm30 457 458// CHECK: vucomish 254(%rcx), %xmm30 459// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x2e,0x71,0x7f] 460 vucomish 254(%rcx), %xmm30 461 462// CHECK: vucomish -256(%rdx), %xmm30 463// CHECK: encoding: [0x62,0x65,0x7c,0x08,0x2e,0x72,0x80] 464 vucomish -256(%rdx), %xmm30 465 466// CHECK: vcvtdq2ph %zmm29, %ymm30 467// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x5b,0xf5] 468 vcvtdq2ph %zmm29, %ymm30 469 470// CHECK: vcvtdq2ph {rn-sae}, %zmm29, %ymm30 471// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x5b,0xf5] 472 vcvtdq2ph {rn-sae}, %zmm29, %ymm30 473 474// CHECK: vcvtdq2ph 268435456(%rbp,%r14,8), %ymm30 {%k7} 475// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10] 476 vcvtdq2ph 268435456(%rbp,%r14,8), %ymm30 {%k7} 477 478// CHECK: vcvtdq2ph (%r9){1to16}, %ymm30 479// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x5b,0x31] 480 vcvtdq2ph (%r9){1to16}, %ymm30 481 482// CHECK: vcvtdq2ph 8128(%rcx), %ymm30 483// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x5b,0x71,0x7f] 484 vcvtdq2ph 8128(%rcx), %ymm30 485 486// CHECK: vcvtdq2ph -512(%rdx){1to16}, %ymm30 {%k7} {z} 487// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x5b,0x72,0x80] 488 vcvtdq2ph -512(%rdx){1to16}, %ymm30 {%k7} {z} 489 490// CHECK: vcvtpd2ph %zmm29, %xmm30 491// CHECK: encoding: [0x62,0x05,0xfd,0x48,0x5a,0xf5] 492 vcvtpd2ph %zmm29, %xmm30 493 494// CHECK: vcvtpd2ph {rn-sae}, %zmm29, %xmm30 495// CHECK: encoding: [0x62,0x05,0xfd,0x18,0x5a,0xf5] 496 vcvtpd2ph {rn-sae}, %zmm29, %xmm30 497 498// CHECK: vcvtpd2phz 268435456(%rbp,%r14,8), %xmm30 {%k7} 499// CHECK: encoding: [0x62,0x25,0xfd,0x4f,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10] 500 vcvtpd2phz 268435456(%rbp,%r14,8), %xmm30 {%k7} 501 502// CHECK: vcvtpd2ph (%r9){1to8}, %xmm30 503// CHECK: encoding: [0x62,0x45,0xfd,0x58,0x5a,0x31] 504 vcvtpd2ph (%r9){1to8}, %xmm30 505 506// CHECK: vcvtpd2phz 8128(%rcx), %xmm30 507// CHECK: encoding: [0x62,0x65,0xfd,0x48,0x5a,0x71,0x7f] 508 vcvtpd2phz 8128(%rcx), %xmm30 509 510// CHECK: vcvtpd2ph -1024(%rdx){1to8}, %xmm30 {%k7} {z} 511// CHECK: encoding: [0x62,0x65,0xfd,0xdf,0x5a,0x72,0x80] 512 vcvtpd2ph -1024(%rdx){1to8}, %xmm30 {%k7} {z} 513 514// CHECK: vcvtph2dq %ymm29, %zmm30 515// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x5b,0xf5] 516 vcvtph2dq %ymm29, %zmm30 517 518// CHECK: vcvtph2dq {rn-sae}, %ymm29, %zmm30 519// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x5b,0xf5] 520 vcvtph2dq {rn-sae}, %ymm29, %zmm30 521 522// CHECK: vcvtph2dq 268435456(%rbp,%r14,8), %zmm30 {%k7} 523// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10] 524 vcvtph2dq 268435456(%rbp,%r14,8), %zmm30 {%k7} 525 526// CHECK: vcvtph2dq (%r9){1to16}, %zmm30 527// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x5b,0x31] 528 vcvtph2dq (%r9){1to16}, %zmm30 529 530// CHECK: vcvtph2dq 4064(%rcx), %zmm30 531// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x5b,0x71,0x7f] 532 vcvtph2dq 4064(%rcx), %zmm30 533 534// CHECK: vcvtph2dq -256(%rdx){1to16}, %zmm30 {%k7} {z} 535// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x5b,0x72,0x80] 536 vcvtph2dq -256(%rdx){1to16}, %zmm30 {%k7} {z} 537 538// CHECK: vcvtph2pd %xmm29, %zmm30 539// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x5a,0xf5] 540 vcvtph2pd %xmm29, %zmm30 541 542// CHECK: vcvtph2pd {sae}, %xmm29, %zmm30 543// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x5a,0xf5] 544 vcvtph2pd {sae}, %xmm29, %zmm30 545 546// CHECK: vcvtph2pd 268435456(%rbp,%r14,8), %zmm30 {%k7} 547// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10] 548 vcvtph2pd 268435456(%rbp,%r14,8), %zmm30 {%k7} 549 550// CHECK: vcvtph2pd (%r9){1to8}, %zmm30 551// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x5a,0x31] 552 vcvtph2pd (%r9){1to8}, %zmm30 553 554// CHECK: vcvtph2pd 2032(%rcx), %zmm30 555// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x5a,0x71,0x7f] 556 vcvtph2pd 2032(%rcx), %zmm30 557 558// CHECK: vcvtph2pd -256(%rdx){1to8}, %zmm30 {%k7} {z} 559// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x5a,0x72,0x80] 560 vcvtph2pd -256(%rdx){1to8}, %zmm30 {%k7} {z} 561 562// CHECK: vcvtph2psx %ymm29, %zmm30 563// CHECK: encoding: [0x62,0x06,0x7d,0x48,0x13,0xf5] 564 vcvtph2psx %ymm29, %zmm30 565 566// CHECK: vcvtph2psx {sae}, %ymm29, %zmm30 567// CHECK: encoding: [0x62,0x06,0x7d,0x18,0x13,0xf5] 568 vcvtph2psx {sae}, %ymm29, %zmm30 569 570// CHECK: vcvtph2psx 268435456(%rbp,%r14,8), %zmm30 {%k7} 571// CHECK: encoding: [0x62,0x26,0x7d,0x4f,0x13,0xb4,0xf5,0x00,0x00,0x00,0x10] 572 vcvtph2psx 268435456(%rbp,%r14,8), %zmm30 {%k7} 573 574// CHECK: vcvtph2psx (%r9){1to16}, %zmm30 575// CHECK: encoding: [0x62,0x46,0x7d,0x58,0x13,0x31] 576 vcvtph2psx (%r9){1to16}, %zmm30 577 578// CHECK: vcvtph2psx 4064(%rcx), %zmm30 579// CHECK: encoding: [0x62,0x66,0x7d,0x48,0x13,0x71,0x7f] 580 vcvtph2psx 4064(%rcx), %zmm30 581 582// CHECK: vcvtph2psx -256(%rdx){1to16}, %zmm30 {%k7} {z} 583// CHECK: encoding: [0x62,0x66,0x7d,0xdf,0x13,0x72,0x80] 584 vcvtph2psx -256(%rdx){1to16}, %zmm30 {%k7} {z} 585 586// CHECK: vcvtph2qq %xmm29, %zmm30 587// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x7b,0xf5] 588 vcvtph2qq %xmm29, %zmm30 589 590// CHECK: vcvtph2qq {rn-sae}, %xmm29, %zmm30 591// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x7b,0xf5] 592 vcvtph2qq {rn-sae}, %xmm29, %zmm30 593 594// CHECK: vcvtph2qq 268435456(%rbp,%r14,8), %zmm30 {%k7} 595// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x7b,0xb4,0xf5,0x00,0x00,0x00,0x10] 596 vcvtph2qq 268435456(%rbp,%r14,8), %zmm30 {%k7} 597 598// CHECK: vcvtph2qq (%r9){1to8}, %zmm30 599// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x7b,0x31] 600 vcvtph2qq (%r9){1to8}, %zmm30 601 602// CHECK: vcvtph2qq 2032(%rcx), %zmm30 603// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x7b,0x71,0x7f] 604 vcvtph2qq 2032(%rcx), %zmm30 605 606// CHECK: vcvtph2qq -256(%rdx){1to8}, %zmm30 {%k7} {z} 607// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x7b,0x72,0x80] 608 vcvtph2qq -256(%rdx){1to8}, %zmm30 {%k7} {z} 609 610// CHECK: vcvtph2udq %ymm29, %zmm30 611// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x79,0xf5] 612 vcvtph2udq %ymm29, %zmm30 613 614// CHECK: vcvtph2udq {rn-sae}, %ymm29, %zmm30 615// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x79,0xf5] 616 vcvtph2udq {rn-sae}, %ymm29, %zmm30 617 618// CHECK: vcvtph2udq 268435456(%rbp,%r14,8), %zmm30 {%k7} 619// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x79,0xb4,0xf5,0x00,0x00,0x00,0x10] 620 vcvtph2udq 268435456(%rbp,%r14,8), %zmm30 {%k7} 621 622// CHECK: vcvtph2udq (%r9){1to16}, %zmm30 623// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x79,0x31] 624 vcvtph2udq (%r9){1to16}, %zmm30 625 626// CHECK: vcvtph2udq 4064(%rcx), %zmm30 627// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x79,0x71,0x7f] 628 vcvtph2udq 4064(%rcx), %zmm30 629 630// CHECK: vcvtph2udq -256(%rdx){1to16}, %zmm30 {%k7} {z} 631// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x79,0x72,0x80] 632 vcvtph2udq -256(%rdx){1to16}, %zmm30 {%k7} {z} 633 634// CHECK: vcvtph2uqq %xmm29, %zmm30 635// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x79,0xf5] 636 vcvtph2uqq %xmm29, %zmm30 637 638// CHECK: vcvtph2uqq {rn-sae}, %xmm29, %zmm30 639// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x79,0xf5] 640 vcvtph2uqq {rn-sae}, %xmm29, %zmm30 641 642// CHECK: vcvtph2uqq 268435456(%rbp,%r14,8), %zmm30 {%k7} 643// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x79,0xb4,0xf5,0x00,0x00,0x00,0x10] 644 vcvtph2uqq 268435456(%rbp,%r14,8), %zmm30 {%k7} 645 646// CHECK: vcvtph2uqq (%r9){1to8}, %zmm30 647// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x79,0x31] 648 vcvtph2uqq (%r9){1to8}, %zmm30 649 650// CHECK: vcvtph2uqq 2032(%rcx), %zmm30 651// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x79,0x71,0x7f] 652 vcvtph2uqq 2032(%rcx), %zmm30 653 654// CHECK: vcvtph2uqq -256(%rdx){1to8}, %zmm30 {%k7} {z} 655// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x79,0x72,0x80] 656 vcvtph2uqq -256(%rdx){1to8}, %zmm30 {%k7} {z} 657 658// CHECK: vcvtph2uw %zmm29, %zmm30 659// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x7d,0xf5] 660 vcvtph2uw %zmm29, %zmm30 661 662// CHECK: vcvtph2uw {rn-sae}, %zmm29, %zmm30 663// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x7d,0xf5] 664 vcvtph2uw {rn-sae}, %zmm29, %zmm30 665 666// CHECK: vcvtph2uw 268435456(%rbp,%r14,8), %zmm30 {%k7} 667// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10] 668 vcvtph2uw 268435456(%rbp,%r14,8), %zmm30 {%k7} 669 670// CHECK: vcvtph2uw (%r9){1to32}, %zmm30 671// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x7d,0x31] 672 vcvtph2uw (%r9){1to32}, %zmm30 673 674// CHECK: vcvtph2uw 8128(%rcx), %zmm30 675// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x7d,0x71,0x7f] 676 vcvtph2uw 8128(%rcx), %zmm30 677 678// CHECK: vcvtph2uw -256(%rdx){1to32}, %zmm30 {%k7} {z} 679// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x7d,0x72,0x80] 680 vcvtph2uw -256(%rdx){1to32}, %zmm30 {%k7} {z} 681 682// CHECK: vcvtph2w %zmm29, %zmm30 683// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x7d,0xf5] 684 vcvtph2w %zmm29, %zmm30 685 686// CHECK: vcvtph2w {rn-sae}, %zmm29, %zmm30 687// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x7d,0xf5] 688 vcvtph2w {rn-sae}, %zmm29, %zmm30 689 690// CHECK: vcvtph2w 268435456(%rbp,%r14,8), %zmm30 {%k7} 691// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10] 692 vcvtph2w 268435456(%rbp,%r14,8), %zmm30 {%k7} 693 694// CHECK: vcvtph2w (%r9){1to32}, %zmm30 695// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x7d,0x31] 696 vcvtph2w (%r9){1to32}, %zmm30 697 698// CHECK: vcvtph2w 8128(%rcx), %zmm30 699// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x7d,0x71,0x7f] 700 vcvtph2w 8128(%rcx), %zmm30 701 702// CHECK: vcvtph2w -256(%rdx){1to32}, %zmm30 {%k7} {z} 703// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x7d,0x72,0x80] 704 vcvtph2w -256(%rdx){1to32}, %zmm30 {%k7} {z} 705 706// CHECK: vcvtps2phx %zmm29, %ymm30 707// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x1d,0xf5] 708 vcvtps2phx %zmm29, %ymm30 709 710// CHECK: vcvtps2phx {rn-sae}, %zmm29, %ymm30 711// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x1d,0xf5] 712 vcvtps2phx {rn-sae}, %zmm29, %ymm30 713 714// CHECK: vcvtps2phx 268435456(%rbp,%r14,8), %ymm30 {%k7} 715// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x1d,0xb4,0xf5,0x00,0x00,0x00,0x10] 716 vcvtps2phx 268435456(%rbp,%r14,8), %ymm30 {%k7} 717 718// CHECK: vcvtps2phx (%r9){1to16}, %ymm30 719// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x1d,0x31] 720 vcvtps2phx (%r9){1to16}, %ymm30 721 722// CHECK: vcvtps2phx 8128(%rcx), %ymm30 723// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x1d,0x71,0x7f] 724 vcvtps2phx 8128(%rcx), %ymm30 725 726// CHECK: vcvtps2phx -512(%rdx){1to16}, %ymm30 {%k7} {z} 727// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x1d,0x72,0x80] 728 vcvtps2phx -512(%rdx){1to16}, %ymm30 {%k7} {z} 729 730// CHECK: vcvtqq2ph %zmm29, %xmm30 731// CHECK: encoding: [0x62,0x05,0xfc,0x48,0x5b,0xf5] 732 vcvtqq2ph %zmm29, %xmm30 733 734// CHECK: vcvtqq2ph {rn-sae}, %zmm29, %xmm30 735// CHECK: encoding: [0x62,0x05,0xfc,0x18,0x5b,0xf5] 736 vcvtqq2ph {rn-sae}, %zmm29, %xmm30 737 738// CHECK: vcvtqq2phz 268435456(%rbp,%r14,8), %xmm30 {%k7} 739// CHECK: encoding: [0x62,0x25,0xfc,0x4f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10] 740 vcvtqq2phz 268435456(%rbp,%r14,8), %xmm30 {%k7} 741 742// CHECK: vcvtqq2ph (%r9){1to8}, %xmm30 743// CHECK: encoding: [0x62,0x45,0xfc,0x58,0x5b,0x31] 744 vcvtqq2ph (%r9){1to8}, %xmm30 745 746// CHECK: vcvtqq2phz 8128(%rcx), %xmm30 747// CHECK: encoding: [0x62,0x65,0xfc,0x48,0x5b,0x71,0x7f] 748 vcvtqq2phz 8128(%rcx), %xmm30 749 750// CHECK: vcvtqq2ph -1024(%rdx){1to8}, %xmm30 {%k7} {z} 751// CHECK: encoding: [0x62,0x65,0xfc,0xdf,0x5b,0x72,0x80] 752 vcvtqq2ph -1024(%rdx){1to8}, %xmm30 {%k7} {z} 753 754// CHECK: vcvtsd2sh %xmm28, %xmm29, %xmm30 755// CHECK: encoding: [0x62,0x05,0x97,0x00,0x5a,0xf4] 756 vcvtsd2sh %xmm28, %xmm29, %xmm30 757 758// CHECK: vcvtsd2sh {rn-sae}, %xmm28, %xmm29, %xmm30 759// CHECK: encoding: [0x62,0x05,0x97,0x10,0x5a,0xf4] 760 vcvtsd2sh {rn-sae}, %xmm28, %xmm29, %xmm30 761 762// CHECK: vcvtsd2sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 763// CHECK: encoding: [0x62,0x25,0x97,0x07,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10] 764 vcvtsd2sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 765 766// CHECK: vcvtsd2sh (%r9), %xmm29, %xmm30 767// CHECK: encoding: [0x62,0x45,0x97,0x00,0x5a,0x31] 768 vcvtsd2sh (%r9), %xmm29, %xmm30 769 770// CHECK: vcvtsd2sh 1016(%rcx), %xmm29, %xmm30 771// CHECK: encoding: [0x62,0x65,0x97,0x00,0x5a,0x71,0x7f] 772 vcvtsd2sh 1016(%rcx), %xmm29, %xmm30 773 774// CHECK: vcvtsd2sh -1024(%rdx), %xmm29, %xmm30 {%k7} {z} 775// CHECK: encoding: [0x62,0x65,0x97,0x87,0x5a,0x72,0x80] 776 vcvtsd2sh -1024(%rdx), %xmm29, %xmm30 {%k7} {z} 777 778// CHECK: vcvtsh2sd %xmm28, %xmm29, %xmm30 779// CHECK: encoding: [0x62,0x05,0x16,0x00,0x5a,0xf4] 780 vcvtsh2sd %xmm28, %xmm29, %xmm30 781 782// CHECK: vcvtsh2sd {sae}, %xmm28, %xmm29, %xmm30 783// CHECK: encoding: [0x62,0x05,0x16,0x10,0x5a,0xf4] 784 vcvtsh2sd {sae}, %xmm28, %xmm29, %xmm30 785 786// CHECK: vcvtsh2sd 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 787// CHECK: encoding: [0x62,0x25,0x16,0x07,0x5a,0xb4,0xf5,0x00,0x00,0x00,0x10] 788 vcvtsh2sd 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 789 790// CHECK: vcvtsh2sd (%r9), %xmm29, %xmm30 791// CHECK: encoding: [0x62,0x45,0x16,0x00,0x5a,0x31] 792 vcvtsh2sd (%r9), %xmm29, %xmm30 793 794// CHECK: vcvtsh2sd 254(%rcx), %xmm29, %xmm30 795// CHECK: encoding: [0x62,0x65,0x16,0x00,0x5a,0x71,0x7f] 796 vcvtsh2sd 254(%rcx), %xmm29, %xmm30 797 798// CHECK: vcvtsh2sd -256(%rdx), %xmm29, %xmm30 {%k7} {z} 799// CHECK: encoding: [0x62,0x65,0x16,0x87,0x5a,0x72,0x80] 800 vcvtsh2sd -256(%rdx), %xmm29, %xmm30 {%k7} {z} 801 802// CHECK: vcvtsh2si %xmm30, %edx 803// CHECK: encoding: [0x62,0x95,0x7e,0x08,0x2d,0xd6] 804 vcvtsh2si %xmm30, %edx 805 806// CHECK: vcvtsh2si {rn-sae}, %xmm30, %edx 807// CHECK: encoding: [0x62,0x95,0x7e,0x18,0x2d,0xd6] 808 vcvtsh2si {rn-sae}, %xmm30, %edx 809 810// CHECK: vcvtsh2si %xmm30, %r12 811// CHECK: encoding: [0x62,0x15,0xfe,0x08,0x2d,0xe6] 812 vcvtsh2si %xmm30, %r12 813 814// CHECK: vcvtsh2si {rn-sae}, %xmm30, %r12 815// CHECK: encoding: [0x62,0x15,0xfe,0x18,0x2d,0xe6] 816 vcvtsh2si {rn-sae}, %xmm30, %r12 817 818// CHECK: vcvtsh2si 268435456(%rbp,%r14,8), %edx 819// CHECK: encoding: [0x62,0xb5,0x7e,0x08,0x2d,0x94,0xf5,0x00,0x00,0x00,0x10] 820 vcvtsh2si 268435456(%rbp,%r14,8), %edx 821 822// CHECK: vcvtsh2si (%r9), %edx 823// CHECK: encoding: [0x62,0xd5,0x7e,0x08,0x2d,0x11] 824 vcvtsh2si (%r9), %edx 825 826// CHECK: vcvtsh2si 254(%rcx), %edx 827// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2d,0x51,0x7f] 828 vcvtsh2si 254(%rcx), %edx 829 830// CHECK: vcvtsh2si -256(%rdx), %edx 831// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2d,0x52,0x80] 832 vcvtsh2si -256(%rdx), %edx 833 834// CHECK: vcvtsh2si 268435456(%rbp,%r14,8), %r12 835// CHECK: encoding: [0x62,0x35,0xfe,0x08,0x2d,0xa4,0xf5,0x00,0x00,0x00,0x10] 836 vcvtsh2si 268435456(%rbp,%r14,8), %r12 837 838// CHECK: vcvtsh2si (%r9), %r12 839// CHECK: encoding: [0x62,0x55,0xfe,0x08,0x2d,0x21] 840 vcvtsh2si (%r9), %r12 841 842// CHECK: vcvtsh2si 254(%rcx), %r12 843// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x2d,0x61,0x7f] 844 vcvtsh2si 254(%rcx), %r12 845 846// CHECK: vcvtsh2si -256(%rdx), %r12 847// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x2d,0x62,0x80] 848 vcvtsh2si -256(%rdx), %r12 849 850// CHECK: vcvtsh2ss %xmm28, %xmm29, %xmm30 851// CHECK: encoding: [0x62,0x06,0x14,0x00,0x13,0xf4] 852 vcvtsh2ss %xmm28, %xmm29, %xmm30 853 854// CHECK: vcvtsh2ss {sae}, %xmm28, %xmm29, %xmm30 855// CHECK: encoding: [0x62,0x06,0x14,0x10,0x13,0xf4] 856 vcvtsh2ss {sae}, %xmm28, %xmm29, %xmm30 857 858// CHECK: vcvtsh2ss 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 859// CHECK: encoding: [0x62,0x26,0x14,0x07,0x13,0xb4,0xf5,0x00,0x00,0x00,0x10] 860 vcvtsh2ss 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 861 862// CHECK: vcvtsh2ss (%r9), %xmm29, %xmm30 863// CHECK: encoding: [0x62,0x46,0x14,0x00,0x13,0x31] 864 vcvtsh2ss (%r9), %xmm29, %xmm30 865 866// CHECK: vcvtsh2ss 254(%rcx), %xmm29, %xmm30 867// CHECK: encoding: [0x62,0x66,0x14,0x00,0x13,0x71,0x7f] 868 vcvtsh2ss 254(%rcx), %xmm29, %xmm30 869 870// CHECK: vcvtsh2ss -256(%rdx), %xmm29, %xmm30 {%k7} {z} 871// CHECK: encoding: [0x62,0x66,0x14,0x87,0x13,0x72,0x80] 872 vcvtsh2ss -256(%rdx), %xmm29, %xmm30 {%k7} {z} 873 874// CHECK: vcvtsh2usi %xmm30, %edx 875// CHECK: encoding: [0x62,0x95,0x7e,0x08,0x79,0xd6] 876 vcvtsh2usi %xmm30, %edx 877 878// CHECK: vcvtsh2usi {rn-sae}, %xmm30, %edx 879// CHECK: encoding: [0x62,0x95,0x7e,0x18,0x79,0xd6] 880 vcvtsh2usi {rn-sae}, %xmm30, %edx 881 882// CHECK: vcvtsh2usi %xmm30, %r12 883// CHECK: encoding: [0x62,0x15,0xfe,0x08,0x79,0xe6] 884 vcvtsh2usi %xmm30, %r12 885 886// CHECK: vcvtsh2usi {rn-sae}, %xmm30, %r12 887// CHECK: encoding: [0x62,0x15,0xfe,0x18,0x79,0xe6] 888 vcvtsh2usi {rn-sae}, %xmm30, %r12 889 890// CHECK: vcvtsh2usi 268435456(%rbp,%r14,8), %edx 891// CHECK: encoding: [0x62,0xb5,0x7e,0x08,0x79,0x94,0xf5,0x00,0x00,0x00,0x10] 892 vcvtsh2usi 268435456(%rbp,%r14,8), %edx 893 894// CHECK: vcvtsh2usi (%r9), %edx 895// CHECK: encoding: [0x62,0xd5,0x7e,0x08,0x79,0x11] 896 vcvtsh2usi (%r9), %edx 897 898// CHECK: vcvtsh2usi 254(%rcx), %edx 899// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x79,0x51,0x7f] 900 vcvtsh2usi 254(%rcx), %edx 901 902// CHECK: vcvtsh2usi -256(%rdx), %edx 903// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x79,0x52,0x80] 904 vcvtsh2usi -256(%rdx), %edx 905 906// CHECK: vcvtsh2usi 268435456(%rbp,%r14,8), %r12 907// CHECK: encoding: [0x62,0x35,0xfe,0x08,0x79,0xa4,0xf5,0x00,0x00,0x00,0x10] 908 vcvtsh2usi 268435456(%rbp,%r14,8), %r12 909 910// CHECK: vcvtsh2usi (%r9), %r12 911// CHECK: encoding: [0x62,0x55,0xfe,0x08,0x79,0x21] 912 vcvtsh2usi (%r9), %r12 913 914// CHECK: vcvtsh2usi 254(%rcx), %r12 915// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x79,0x61,0x7f] 916 vcvtsh2usi 254(%rcx), %r12 917 918// CHECK: vcvtsh2usi -256(%rdx), %r12 919// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x79,0x62,0x80] 920 vcvtsh2usi -256(%rdx), %r12 921 922// CHECK: vcvtsi2sh %r12, %xmm29, %xmm30 923// CHECK: encoding: [0x62,0x45,0x96,0x00,0x2a,0xf4] 924 vcvtsi2sh %r12, %xmm29, %xmm30 925 926// CHECK: vcvtsi2sh %r12, {rn-sae}, %xmm29, %xmm30 927// CHECK: encoding: [0x62,0x45,0x96,0x10,0x2a,0xf4] 928 vcvtsi2sh %r12, {rn-sae}, %xmm29, %xmm30 929 930// CHECK: vcvtsi2sh %edx, %xmm29, %xmm30 931// CHECK: encoding: [0x62,0x65,0x16,0x00,0x2a,0xf2] 932 vcvtsi2sh %edx, %xmm29, %xmm30 933 934// CHECK: vcvtsi2sh %edx, {rn-sae}, %xmm29, %xmm30 935// CHECK: encoding: [0x62,0x65,0x16,0x10,0x2a,0xf2] 936 vcvtsi2sh %edx, {rn-sae}, %xmm29, %xmm30 937 938// CHECK: vcvtsi2shl 268435456(%rbp,%r14,8), %xmm29, %xmm30 939// CHECK: encoding: [0x62,0x25,0x16,0x00,0x2a,0xb4,0xf5,0x00,0x00,0x00,0x10] 940 vcvtsi2shl 268435456(%rbp,%r14,8), %xmm29, %xmm30 941 942// CHECK: vcvtsi2shl (%r9), %xmm29, %xmm30 943// CHECK: encoding: [0x62,0x45,0x16,0x00,0x2a,0x31] 944 vcvtsi2shl (%r9), %xmm29, %xmm30 945 946// CHECK: vcvtsi2shl 508(%rcx), %xmm29, %xmm30 947// CHECK: encoding: [0x62,0x65,0x16,0x00,0x2a,0x71,0x7f] 948 vcvtsi2shl 508(%rcx), %xmm29, %xmm30 949 950// CHECK: vcvtsi2shl -512(%rdx), %xmm29, %xmm30 951// CHECK: encoding: [0x62,0x65,0x16,0x00,0x2a,0x72,0x80] 952 vcvtsi2shl -512(%rdx), %xmm29, %xmm30 953 954// CHECK: vcvtsi2shq 1016(%rcx), %xmm29, %xmm30 955// CHECK: encoding: [0x62,0x65,0x96,0x00,0x2a,0x71,0x7f] 956 vcvtsi2shq 1016(%rcx), %xmm29, %xmm30 957 958// CHECK: vcvtsi2shq -1024(%rdx), %xmm29, %xmm30 959// CHECK: encoding: [0x62,0x65,0x96,0x00,0x2a,0x72,0x80] 960 vcvtsi2shq -1024(%rdx), %xmm29, %xmm30 961 962// CHECK: vcvtss2sh %xmm28, %xmm29, %xmm30 963// CHECK: encoding: [0x62,0x05,0x14,0x00,0x1d,0xf4] 964 vcvtss2sh %xmm28, %xmm29, %xmm30 965 966// CHECK: vcvtss2sh {rn-sae}, %xmm28, %xmm29, %xmm30 967// CHECK: encoding: [0x62,0x05,0x14,0x10,0x1d,0xf4] 968 vcvtss2sh {rn-sae}, %xmm28, %xmm29, %xmm30 969 970// CHECK: vcvtss2sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 971// CHECK: encoding: [0x62,0x25,0x14,0x07,0x1d,0xb4,0xf5,0x00,0x00,0x00,0x10] 972 vcvtss2sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 973 974// CHECK: vcvtss2sh (%r9), %xmm29, %xmm30 975// CHECK: encoding: [0x62,0x45,0x14,0x00,0x1d,0x31] 976 vcvtss2sh (%r9), %xmm29, %xmm30 977 978// CHECK: vcvtss2sh 508(%rcx), %xmm29, %xmm30 979// CHECK: encoding: [0x62,0x65,0x14,0x00,0x1d,0x71,0x7f] 980 vcvtss2sh 508(%rcx), %xmm29, %xmm30 981 982// CHECK: vcvtss2sh -512(%rdx), %xmm29, %xmm30 {%k7} {z} 983// CHECK: encoding: [0x62,0x65,0x14,0x87,0x1d,0x72,0x80] 984 vcvtss2sh -512(%rdx), %xmm29, %xmm30 {%k7} {z} 985 986// CHECK: vcvttph2dq %ymm29, %zmm30 987// CHECK: encoding: [0x62,0x05,0x7e,0x48,0x5b,0xf5] 988 vcvttph2dq %ymm29, %zmm30 989 990// CHECK: vcvttph2dq {sae}, %ymm29, %zmm30 991// CHECK: encoding: [0x62,0x05,0x7e,0x18,0x5b,0xf5] 992 vcvttph2dq {sae}, %ymm29, %zmm30 993 994// CHECK: vcvttph2dq 268435456(%rbp,%r14,8), %zmm30 {%k7} 995// CHECK: encoding: [0x62,0x25,0x7e,0x4f,0x5b,0xb4,0xf5,0x00,0x00,0x00,0x10] 996 vcvttph2dq 268435456(%rbp,%r14,8), %zmm30 {%k7} 997 998// CHECK: vcvttph2dq (%r9){1to16}, %zmm30 999// CHECK: encoding: [0x62,0x45,0x7e,0x58,0x5b,0x31] 1000 vcvttph2dq (%r9){1to16}, %zmm30 1001 1002// CHECK: vcvttph2dq 4064(%rcx), %zmm30 1003// CHECK: encoding: [0x62,0x65,0x7e,0x48,0x5b,0x71,0x7f] 1004 vcvttph2dq 4064(%rcx), %zmm30 1005 1006// CHECK: vcvttph2dq -256(%rdx){1to16}, %zmm30 {%k7} {z} 1007// CHECK: encoding: [0x62,0x65,0x7e,0xdf,0x5b,0x72,0x80] 1008 vcvttph2dq -256(%rdx){1to16}, %zmm30 {%k7} {z} 1009 1010// CHECK: vcvttph2qq %xmm29, %zmm30 1011// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x7a,0xf5] 1012 vcvttph2qq %xmm29, %zmm30 1013 1014// CHECK: vcvttph2qq {sae}, %xmm29, %zmm30 1015// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x7a,0xf5] 1016 vcvttph2qq {sae}, %xmm29, %zmm30 1017 1018// CHECK: vcvttph2qq 268435456(%rbp,%r14,8), %zmm30 {%k7} 1019// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10] 1020 vcvttph2qq 268435456(%rbp,%r14,8), %zmm30 {%k7} 1021 1022// CHECK: vcvttph2qq (%r9){1to8}, %zmm30 1023// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x7a,0x31] 1024 vcvttph2qq (%r9){1to8}, %zmm30 1025 1026// CHECK: vcvttph2qq 2032(%rcx), %zmm30 1027// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x7a,0x71,0x7f] 1028 vcvttph2qq 2032(%rcx), %zmm30 1029 1030// CHECK: vcvttph2qq -256(%rdx){1to8}, %zmm30 {%k7} {z} 1031// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x7a,0x72,0x80] 1032 vcvttph2qq -256(%rdx){1to8}, %zmm30 {%k7} {z} 1033 1034// CHECK: vcvttph2udq %ymm29, %zmm30 1035// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x78,0xf5] 1036 vcvttph2udq %ymm29, %zmm30 1037 1038// CHECK: vcvttph2udq {sae}, %ymm29, %zmm30 1039// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x78,0xf5] 1040 vcvttph2udq {sae}, %ymm29, %zmm30 1041 1042// CHECK: vcvttph2udq 268435456(%rbp,%r14,8), %zmm30 {%k7} 1043// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x78,0xb4,0xf5,0x00,0x00,0x00,0x10] 1044 vcvttph2udq 268435456(%rbp,%r14,8), %zmm30 {%k7} 1045 1046// CHECK: vcvttph2udq (%r9){1to16}, %zmm30 1047// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x78,0x31] 1048 vcvttph2udq (%r9){1to16}, %zmm30 1049 1050// CHECK: vcvttph2udq 4064(%rcx), %zmm30 1051// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x78,0x71,0x7f] 1052 vcvttph2udq 4064(%rcx), %zmm30 1053 1054// CHECK: vcvttph2udq -256(%rdx){1to16}, %zmm30 {%k7} {z} 1055// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x78,0x72,0x80] 1056 vcvttph2udq -256(%rdx){1to16}, %zmm30 {%k7} {z} 1057 1058// CHECK: vcvttph2uqq %xmm29, %zmm30 1059// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x78,0xf5] 1060 vcvttph2uqq %xmm29, %zmm30 1061 1062// CHECK: vcvttph2uqq {sae}, %xmm29, %zmm30 1063// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x78,0xf5] 1064 vcvttph2uqq {sae}, %xmm29, %zmm30 1065 1066// CHECK: vcvttph2uqq 268435456(%rbp,%r14,8), %zmm30 {%k7} 1067// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x78,0xb4,0xf5,0x00,0x00,0x00,0x10] 1068 vcvttph2uqq 268435456(%rbp,%r14,8), %zmm30 {%k7} 1069 1070// CHECK: vcvttph2uqq (%r9){1to8}, %zmm30 1071// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x78,0x31] 1072 vcvttph2uqq (%r9){1to8}, %zmm30 1073 1074// CHECK: vcvttph2uqq 2032(%rcx), %zmm30 1075// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x78,0x71,0x7f] 1076 vcvttph2uqq 2032(%rcx), %zmm30 1077 1078// CHECK: vcvttph2uqq -256(%rdx){1to8}, %zmm30 {%k7} {z} 1079// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x78,0x72,0x80] 1080 vcvttph2uqq -256(%rdx){1to8}, %zmm30 {%k7} {z} 1081 1082// CHECK: vcvttph2uw %zmm29, %zmm30 1083// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x7c,0xf5] 1084 vcvttph2uw %zmm29, %zmm30 1085 1086// CHECK: vcvttph2uw {sae}, %zmm29, %zmm30 1087// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x7c,0xf5] 1088 vcvttph2uw {sae}, %zmm29, %zmm30 1089 1090// CHECK: vcvttph2uw 268435456(%rbp,%r14,8), %zmm30 {%k7} 1091// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x7c,0xb4,0xf5,0x00,0x00,0x00,0x10] 1092 vcvttph2uw 268435456(%rbp,%r14,8), %zmm30 {%k7} 1093 1094// CHECK: vcvttph2uw (%r9){1to32}, %zmm30 1095// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x7c,0x31] 1096 vcvttph2uw (%r9){1to32}, %zmm30 1097 1098// CHECK: vcvttph2uw 8128(%rcx), %zmm30 1099// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x7c,0x71,0x7f] 1100 vcvttph2uw 8128(%rcx), %zmm30 1101 1102// CHECK: vcvttph2uw -256(%rdx){1to32}, %zmm30 {%k7} {z} 1103// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x7c,0x72,0x80] 1104 vcvttph2uw -256(%rdx){1to32}, %zmm30 {%k7} {z} 1105 1106// CHECK: vcvttph2w %zmm29, %zmm30 1107// CHECK: encoding: [0x62,0x05,0x7d,0x48,0x7c,0xf5] 1108 vcvttph2w %zmm29, %zmm30 1109 1110// CHECK: vcvttph2w {sae}, %zmm29, %zmm30 1111// CHECK: encoding: [0x62,0x05,0x7d,0x18,0x7c,0xf5] 1112 vcvttph2w {sae}, %zmm29, %zmm30 1113 1114// CHECK: vcvttph2w 268435456(%rbp,%r14,8), %zmm30 {%k7} 1115// CHECK: encoding: [0x62,0x25,0x7d,0x4f,0x7c,0xb4,0xf5,0x00,0x00,0x00,0x10] 1116 vcvttph2w 268435456(%rbp,%r14,8), %zmm30 {%k7} 1117 1118// CHECK: vcvttph2w (%r9){1to32}, %zmm30 1119// CHECK: encoding: [0x62,0x45,0x7d,0x58,0x7c,0x31] 1120 vcvttph2w (%r9){1to32}, %zmm30 1121 1122// CHECK: vcvttph2w 8128(%rcx), %zmm30 1123// CHECK: encoding: [0x62,0x65,0x7d,0x48,0x7c,0x71,0x7f] 1124 vcvttph2w 8128(%rcx), %zmm30 1125 1126// CHECK: vcvttph2w -256(%rdx){1to32}, %zmm30 {%k7} {z} 1127// CHECK: encoding: [0x62,0x65,0x7d,0xdf,0x7c,0x72,0x80] 1128 vcvttph2w -256(%rdx){1to32}, %zmm30 {%k7} {z} 1129 1130// CHECK: vcvttsh2si %xmm30, %edx 1131// CHECK: encoding: [0x62,0x95,0x7e,0x08,0x2c,0xd6] 1132 vcvttsh2si %xmm30, %edx 1133 1134// CHECK: vcvttsh2si {sae}, %xmm30, %edx 1135// CHECK: encoding: [0x62,0x95,0x7e,0x18,0x2c,0xd6] 1136 vcvttsh2si {sae}, %xmm30, %edx 1137 1138// CHECK: vcvttsh2si %xmm30, %r12 1139// CHECK: encoding: [0x62,0x15,0xfe,0x08,0x2c,0xe6] 1140 vcvttsh2si %xmm30, %r12 1141 1142// CHECK: vcvttsh2si {sae}, %xmm30, %r12 1143// CHECK: encoding: [0x62,0x15,0xfe,0x18,0x2c,0xe6] 1144 vcvttsh2si {sae}, %xmm30, %r12 1145 1146// CHECK: vcvttsh2si 268435456(%rbp,%r14,8), %edx 1147// CHECK: encoding: [0x62,0xb5,0x7e,0x08,0x2c,0x94,0xf5,0x00,0x00,0x00,0x10] 1148 vcvttsh2si 268435456(%rbp,%r14,8), %edx 1149 1150// CHECK: vcvttsh2si (%r9), %edx 1151// CHECK: encoding: [0x62,0xd5,0x7e,0x08,0x2c,0x11] 1152 vcvttsh2si (%r9), %edx 1153 1154// CHECK: vcvttsh2si 254(%rcx), %edx 1155// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2c,0x51,0x7f] 1156 vcvttsh2si 254(%rcx), %edx 1157 1158// CHECK: vcvttsh2si -256(%rdx), %edx 1159// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x2c,0x52,0x80] 1160 vcvttsh2si -256(%rdx), %edx 1161 1162// CHECK: vcvttsh2si 268435456(%rbp,%r14,8), %r12 1163// CHECK: encoding: [0x62,0x35,0xfe,0x08,0x2c,0xa4,0xf5,0x00,0x00,0x00,0x10] 1164 vcvttsh2si 268435456(%rbp,%r14,8), %r12 1165 1166// CHECK: vcvttsh2si (%r9), %r12 1167// CHECK: encoding: [0x62,0x55,0xfe,0x08,0x2c,0x21] 1168 vcvttsh2si (%r9), %r12 1169 1170// CHECK: vcvttsh2si 254(%rcx), %r12 1171// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x2c,0x61,0x7f] 1172 vcvttsh2si 254(%rcx), %r12 1173 1174// CHECK: vcvttsh2si -256(%rdx), %r12 1175// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x2c,0x62,0x80] 1176 vcvttsh2si -256(%rdx), %r12 1177 1178// CHECK: vcvttsh2usi %xmm30, %edx 1179// CHECK: encoding: [0x62,0x95,0x7e,0x08,0x78,0xd6] 1180 vcvttsh2usi %xmm30, %edx 1181 1182// CHECK: vcvttsh2usi {sae}, %xmm30, %edx 1183// CHECK: encoding: [0x62,0x95,0x7e,0x18,0x78,0xd6] 1184 vcvttsh2usi {sae}, %xmm30, %edx 1185 1186// CHECK: vcvttsh2usi %xmm30, %r12 1187// CHECK: encoding: [0x62,0x15,0xfe,0x08,0x78,0xe6] 1188 vcvttsh2usi %xmm30, %r12 1189 1190// CHECK: vcvttsh2usi {sae}, %xmm30, %r12 1191// CHECK: encoding: [0x62,0x15,0xfe,0x18,0x78,0xe6] 1192 vcvttsh2usi {sae}, %xmm30, %r12 1193 1194// CHECK: vcvttsh2usi 268435456(%rbp,%r14,8), %edx 1195// CHECK: encoding: [0x62,0xb5,0x7e,0x08,0x78,0x94,0xf5,0x00,0x00,0x00,0x10] 1196 vcvttsh2usi 268435456(%rbp,%r14,8), %edx 1197 1198// CHECK: vcvttsh2usi (%r9), %edx 1199// CHECK: encoding: [0x62,0xd5,0x7e,0x08,0x78,0x11] 1200 vcvttsh2usi (%r9), %edx 1201 1202// CHECK: vcvttsh2usi 254(%rcx), %edx 1203// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x78,0x51,0x7f] 1204 vcvttsh2usi 254(%rcx), %edx 1205 1206// CHECK: vcvttsh2usi -256(%rdx), %edx 1207// CHECK: encoding: [0x62,0xf5,0x7e,0x08,0x78,0x52,0x80] 1208 vcvttsh2usi -256(%rdx), %edx 1209 1210// CHECK: vcvttsh2usi 268435456(%rbp,%r14,8), %r12 1211// CHECK: encoding: [0x62,0x35,0xfe,0x08,0x78,0xa4,0xf5,0x00,0x00,0x00,0x10] 1212 vcvttsh2usi 268435456(%rbp,%r14,8), %r12 1213 1214// CHECK: vcvttsh2usi (%r9), %r12 1215// CHECK: encoding: [0x62,0x55,0xfe,0x08,0x78,0x21] 1216 vcvttsh2usi (%r9), %r12 1217 1218// CHECK: vcvttsh2usi 254(%rcx), %r12 1219// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x78,0x61,0x7f] 1220 vcvttsh2usi 254(%rcx), %r12 1221 1222// CHECK: vcvttsh2usi -256(%rdx), %r12 1223// CHECK: encoding: [0x62,0x75,0xfe,0x08,0x78,0x62,0x80] 1224 vcvttsh2usi -256(%rdx), %r12 1225 1226// CHECK: vcvtudq2ph %zmm29, %ymm30 1227// CHECK: encoding: [0x62,0x05,0x7f,0x48,0x7a,0xf5] 1228 vcvtudq2ph %zmm29, %ymm30 1229 1230// CHECK: vcvtudq2ph {rn-sae}, %zmm29, %ymm30 1231// CHECK: encoding: [0x62,0x05,0x7f,0x18,0x7a,0xf5] 1232 vcvtudq2ph {rn-sae}, %zmm29, %ymm30 1233 1234// CHECK: vcvtudq2ph 268435456(%rbp,%r14,8), %ymm30 {%k7} 1235// CHECK: encoding: [0x62,0x25,0x7f,0x4f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10] 1236 vcvtudq2ph 268435456(%rbp,%r14,8), %ymm30 {%k7} 1237 1238// CHECK: vcvtudq2ph (%r9){1to16}, %ymm30 1239// CHECK: encoding: [0x62,0x45,0x7f,0x58,0x7a,0x31] 1240 vcvtudq2ph (%r9){1to16}, %ymm30 1241 1242// CHECK: vcvtudq2ph 8128(%rcx), %ymm30 1243// CHECK: encoding: [0x62,0x65,0x7f,0x48,0x7a,0x71,0x7f] 1244 vcvtudq2ph 8128(%rcx), %ymm30 1245 1246// CHECK: vcvtudq2ph -512(%rdx){1to16}, %ymm30 {%k7} {z} 1247// CHECK: encoding: [0x62,0x65,0x7f,0xdf,0x7a,0x72,0x80] 1248 vcvtudq2ph -512(%rdx){1to16}, %ymm30 {%k7} {z} 1249 1250// CHECK: vcvtuqq2ph %zmm29, %xmm30 1251// CHECK: encoding: [0x62,0x05,0xff,0x48,0x7a,0xf5] 1252 vcvtuqq2ph %zmm29, %xmm30 1253 1254// CHECK: vcvtuqq2ph {rn-sae}, %zmm29, %xmm30 1255// CHECK: encoding: [0x62,0x05,0xff,0x18,0x7a,0xf5] 1256 vcvtuqq2ph {rn-sae}, %zmm29, %xmm30 1257 1258// CHECK: vcvtuqq2phz 268435456(%rbp,%r14,8), %xmm30 {%k7} 1259// CHECK: encoding: [0x62,0x25,0xff,0x4f,0x7a,0xb4,0xf5,0x00,0x00,0x00,0x10] 1260 vcvtuqq2phz 268435456(%rbp,%r14,8), %xmm30 {%k7} 1261 1262// CHECK: vcvtuqq2ph (%r9){1to8}, %xmm30 1263// CHECK: encoding: [0x62,0x45,0xff,0x58,0x7a,0x31] 1264 vcvtuqq2ph (%r9){1to8}, %xmm30 1265 1266// CHECK: vcvtuqq2phz 8128(%rcx), %xmm30 1267// CHECK: encoding: [0x62,0x65,0xff,0x48,0x7a,0x71,0x7f] 1268 vcvtuqq2phz 8128(%rcx), %xmm30 1269 1270// CHECK: vcvtuqq2ph -1024(%rdx){1to8}, %xmm30 {%k7} {z} 1271// CHECK: encoding: [0x62,0x65,0xff,0xdf,0x7a,0x72,0x80] 1272 vcvtuqq2ph -1024(%rdx){1to8}, %xmm30 {%k7} {z} 1273 1274// CHECK: vcvtusi2sh %r12, %xmm29, %xmm30 1275// CHECK: encoding: [0x62,0x45,0x96,0x00,0x7b,0xf4] 1276 vcvtusi2sh %r12, %xmm29, %xmm30 1277 1278// CHECK: vcvtusi2sh %r12, {rn-sae}, %xmm29, %xmm30 1279// CHECK: encoding: [0x62,0x45,0x96,0x10,0x7b,0xf4] 1280 vcvtusi2sh %r12, {rn-sae}, %xmm29, %xmm30 1281 1282// CHECK: vcvtusi2sh %edx, %xmm29, %xmm30 1283// CHECK: encoding: [0x62,0x65,0x16,0x00,0x7b,0xf2] 1284 vcvtusi2sh %edx, %xmm29, %xmm30 1285 1286// CHECK: vcvtusi2sh %edx, {rn-sae}, %xmm29, %xmm30 1287// CHECK: encoding: [0x62,0x65,0x16,0x10,0x7b,0xf2] 1288 vcvtusi2sh %edx, {rn-sae}, %xmm29, %xmm30 1289 1290// CHECK: vcvtusi2shl 268435456(%rbp,%r14,8), %xmm29, %xmm30 1291// CHECK: encoding: [0x62,0x25,0x16,0x00,0x7b,0xb4,0xf5,0x00,0x00,0x00,0x10] 1292 vcvtusi2shl 268435456(%rbp,%r14,8), %xmm29, %xmm30 1293 1294// CHECK: vcvtusi2shl (%r9), %xmm29, %xmm30 1295// CHECK: encoding: [0x62,0x45,0x16,0x00,0x7b,0x31] 1296 vcvtusi2shl (%r9), %xmm29, %xmm30 1297 1298// CHECK: vcvtusi2shl 508(%rcx), %xmm29, %xmm30 1299// CHECK: encoding: [0x62,0x65,0x16,0x00,0x7b,0x71,0x7f] 1300 vcvtusi2shl 508(%rcx), %xmm29, %xmm30 1301 1302// CHECK: vcvtusi2shl -512(%rdx), %xmm29, %xmm30 1303// CHECK: encoding: [0x62,0x65,0x16,0x00,0x7b,0x72,0x80] 1304 vcvtusi2shl -512(%rdx), %xmm29, %xmm30 1305 1306// CHECK: vcvtusi2shq 1016(%rcx), %xmm29, %xmm30 1307// CHECK: encoding: [0x62,0x65,0x96,0x00,0x7b,0x71,0x7f] 1308 vcvtusi2shq 1016(%rcx), %xmm29, %xmm30 1309 1310// CHECK: vcvtusi2shq -1024(%rdx), %xmm29, %xmm30 1311// CHECK: encoding: [0x62,0x65,0x96,0x00,0x7b,0x72,0x80] 1312 vcvtusi2shq -1024(%rdx), %xmm29, %xmm30 1313 1314// CHECK: vcvtuw2ph %zmm29, %zmm30 1315// CHECK: encoding: [0x62,0x05,0x7f,0x48,0x7d,0xf5] 1316 vcvtuw2ph %zmm29, %zmm30 1317 1318// CHECK: vcvtuw2ph {rn-sae}, %zmm29, %zmm30 1319// CHECK: encoding: [0x62,0x05,0x7f,0x18,0x7d,0xf5] 1320 vcvtuw2ph {rn-sae}, %zmm29, %zmm30 1321 1322// CHECK: vcvtuw2ph 268435456(%rbp,%r14,8), %zmm30 {%k7} 1323// CHECK: encoding: [0x62,0x25,0x7f,0x4f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10] 1324 vcvtuw2ph 268435456(%rbp,%r14,8), %zmm30 {%k7} 1325 1326// CHECK: vcvtuw2ph (%r9){1to32}, %zmm30 1327// CHECK: encoding: [0x62,0x45,0x7f,0x58,0x7d,0x31] 1328 vcvtuw2ph (%r9){1to32}, %zmm30 1329 1330// CHECK: vcvtuw2ph 8128(%rcx), %zmm30 1331// CHECK: encoding: [0x62,0x65,0x7f,0x48,0x7d,0x71,0x7f] 1332 vcvtuw2ph 8128(%rcx), %zmm30 1333 1334// CHECK: vcvtuw2ph -256(%rdx){1to32}, %zmm30 {%k7} {z} 1335// CHECK: encoding: [0x62,0x65,0x7f,0xdf,0x7d,0x72,0x80] 1336 vcvtuw2ph -256(%rdx){1to32}, %zmm30 {%k7} {z} 1337 1338// CHECK: vcvtw2ph %zmm29, %zmm30 1339// CHECK: encoding: [0x62,0x05,0x7e,0x48,0x7d,0xf5] 1340 vcvtw2ph %zmm29, %zmm30 1341 1342// CHECK: vcvtw2ph {rn-sae}, %zmm29, %zmm30 1343// CHECK: encoding: [0x62,0x05,0x7e,0x18,0x7d,0xf5] 1344 vcvtw2ph {rn-sae}, %zmm29, %zmm30 1345 1346// CHECK: vcvtw2ph 268435456(%rbp,%r14,8), %zmm30 {%k7} 1347// CHECK: encoding: [0x62,0x25,0x7e,0x4f,0x7d,0xb4,0xf5,0x00,0x00,0x00,0x10] 1348 vcvtw2ph 268435456(%rbp,%r14,8), %zmm30 {%k7} 1349 1350// CHECK: vcvtw2ph (%r9){1to32}, %zmm30 1351// CHECK: encoding: [0x62,0x45,0x7e,0x58,0x7d,0x31] 1352 vcvtw2ph (%r9){1to32}, %zmm30 1353 1354// CHECK: vcvtw2ph 8128(%rcx), %zmm30 1355// CHECK: encoding: [0x62,0x65,0x7e,0x48,0x7d,0x71,0x7f] 1356 vcvtw2ph 8128(%rcx), %zmm30 1357 1358// CHECK: vcvtw2ph -256(%rdx){1to32}, %zmm30 {%k7} {z} 1359// CHECK: encoding: [0x62,0x65,0x7e,0xdf,0x7d,0x72,0x80] 1360 vcvtw2ph -256(%rdx){1to32}, %zmm30 {%k7} {z} 1361 1362// CHECK: vfpclassph $123, %zmm30, %k5 1363// CHECK: encoding: [0x62,0x93,0x7c,0x48,0x66,0xee,0x7b] 1364 vfpclassph $123, %zmm30, %k5 1365 1366// CHECK: vfpclassphz $123, 268435456(%rbp,%r14,8), %k5 {%k7} 1367// CHECK: encoding: [0x62,0xb3,0x7c,0x4f,0x66,0xac,0xf5,0x00,0x00,0x00,0x10,0x7b] 1368 vfpclassphz $123, 268435456(%rbp,%r14,8), %k5 {%k7} 1369 1370// CHECK: vfpclassph $123, (%r9){1to32}, %k5 1371// CHECK: encoding: [0x62,0xd3,0x7c,0x58,0x66,0x29,0x7b] 1372 vfpclassph $123, (%r9){1to32}, %k5 1373 1374// CHECK: vfpclassphz $123, 8128(%rcx), %k5 1375// CHECK: encoding: [0x62,0xf3,0x7c,0x48,0x66,0x69,0x7f,0x7b] 1376 vfpclassphz $123, 8128(%rcx), %k5 1377 1378// CHECK: vfpclassph $123, -256(%rdx){1to32}, %k5 {%k7} 1379// CHECK: encoding: [0x62,0xf3,0x7c,0x5f,0x66,0x6a,0x80,0x7b] 1380 vfpclassph $123, -256(%rdx){1to32}, %k5 {%k7} 1381 1382// CHECK: vfpclasssh $123, %xmm30, %k5 1383// CHECK: encoding: [0x62,0x93,0x7c,0x08,0x67,0xee,0x7b] 1384 vfpclasssh $123, %xmm30, %k5 1385 1386// CHECK: vfpclasssh $123, 268435456(%rbp,%r14,8), %k5 {%k7} 1387// CHECK: encoding: [0x62,0xb3,0x7c,0x0f,0x67,0xac,0xf5,0x00,0x00,0x00,0x10,0x7b] 1388 vfpclasssh $123, 268435456(%rbp,%r14,8), %k5 {%k7} 1389 1390// CHECK: vfpclasssh $123, (%r9), %k5 1391// CHECK: encoding: [0x62,0xd3,0x7c,0x08,0x67,0x29,0x7b] 1392 vfpclasssh $123, (%r9), %k5 1393 1394// CHECK: vfpclasssh $123, 254(%rcx), %k5 1395// CHECK: encoding: [0x62,0xf3,0x7c,0x08,0x67,0x69,0x7f,0x7b] 1396 vfpclasssh $123, 254(%rcx), %k5 1397 1398// CHECK: vfpclasssh $123, -256(%rdx), %k5 {%k7} 1399// CHECK: encoding: [0x62,0xf3,0x7c,0x0f,0x67,0x6a,0x80,0x7b] 1400 vfpclasssh $123, -256(%rdx), %k5 {%k7} 1401 1402// CHECK: vgetexpph %zmm29, %zmm30 1403// CHECK: encoding: [0x62,0x06,0x7d,0x48,0x42,0xf5] 1404 vgetexpph %zmm29, %zmm30 1405 1406// CHECK: vgetexpph {sae}, %zmm29, %zmm30 1407// CHECK: encoding: [0x62,0x06,0x7d,0x18,0x42,0xf5] 1408 vgetexpph {sae}, %zmm29, %zmm30 1409 1410// CHECK: vgetexpph 268435456(%rbp,%r14,8), %zmm30 {%k7} 1411// CHECK: encoding: [0x62,0x26,0x7d,0x4f,0x42,0xb4,0xf5,0x00,0x00,0x00,0x10] 1412 vgetexpph 268435456(%rbp,%r14,8), %zmm30 {%k7} 1413 1414// CHECK: vgetexpph (%r9){1to32}, %zmm30 1415// CHECK: encoding: [0x62,0x46,0x7d,0x58,0x42,0x31] 1416 vgetexpph (%r9){1to32}, %zmm30 1417 1418// CHECK: vgetexpph 8128(%rcx), %zmm30 1419// CHECK: encoding: [0x62,0x66,0x7d,0x48,0x42,0x71,0x7f] 1420 vgetexpph 8128(%rcx), %zmm30 1421 1422// CHECK: vgetexpph -256(%rdx){1to32}, %zmm30 {%k7} {z} 1423// CHECK: encoding: [0x62,0x66,0x7d,0xdf,0x42,0x72,0x80] 1424 vgetexpph -256(%rdx){1to32}, %zmm30 {%k7} {z} 1425 1426// CHECK: vgetexpsh %xmm28, %xmm29, %xmm30 1427// CHECK: encoding: [0x62,0x06,0x15,0x00,0x43,0xf4] 1428 vgetexpsh %xmm28, %xmm29, %xmm30 1429 1430// CHECK: vgetexpsh {sae}, %xmm28, %xmm29, %xmm30 1431// CHECK: encoding: [0x62,0x06,0x15,0x10,0x43,0xf4] 1432 vgetexpsh {sae}, %xmm28, %xmm29, %xmm30 1433 1434// CHECK: vgetexpsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1435// CHECK: encoding: [0x62,0x26,0x15,0x07,0x43,0xb4,0xf5,0x00,0x00,0x00,0x10] 1436 vgetexpsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1437 1438// CHECK: vgetexpsh (%r9), %xmm29, %xmm30 1439// CHECK: encoding: [0x62,0x46,0x15,0x00,0x43,0x31] 1440 vgetexpsh (%r9), %xmm29, %xmm30 1441 1442// CHECK: vgetexpsh 254(%rcx), %xmm29, %xmm30 1443// CHECK: encoding: [0x62,0x66,0x15,0x00,0x43,0x71,0x7f] 1444 vgetexpsh 254(%rcx), %xmm29, %xmm30 1445 1446// CHECK: vgetexpsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1447// CHECK: encoding: [0x62,0x66,0x15,0x87,0x43,0x72,0x80] 1448 vgetexpsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1449 1450// CHECK: vgetmantph $123, %zmm29, %zmm30 1451// CHECK: encoding: [0x62,0x03,0x7c,0x48,0x26,0xf5,0x7b] 1452 vgetmantph $123, %zmm29, %zmm30 1453 1454// CHECK: vgetmantph $123, {sae}, %zmm29, %zmm30 1455// CHECK: encoding: [0x62,0x03,0x7c,0x18,0x26,0xf5,0x7b] 1456 vgetmantph $123, {sae}, %zmm29, %zmm30 1457 1458// CHECK: vgetmantph $123, 268435456(%rbp,%r14,8), %zmm30 {%k7} 1459// CHECK: encoding: [0x62,0x23,0x7c,0x4f,0x26,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b] 1460 vgetmantph $123, 268435456(%rbp,%r14,8), %zmm30 {%k7} 1461 1462// CHECK: vgetmantph $123, (%r9){1to32}, %zmm30 1463// CHECK: encoding: [0x62,0x43,0x7c,0x58,0x26,0x31,0x7b] 1464 vgetmantph $123, (%r9){1to32}, %zmm30 1465 1466// CHECK: vgetmantph $123, 8128(%rcx), %zmm30 1467// CHECK: encoding: [0x62,0x63,0x7c,0x48,0x26,0x71,0x7f,0x7b] 1468 vgetmantph $123, 8128(%rcx), %zmm30 1469 1470// CHECK: vgetmantph $123, -256(%rdx){1to32}, %zmm30 {%k7} {z} 1471// CHECK: encoding: [0x62,0x63,0x7c,0xdf,0x26,0x72,0x80,0x7b] 1472 vgetmantph $123, -256(%rdx){1to32}, %zmm30 {%k7} {z} 1473 1474// CHECK: vgetmantsh $123, %xmm28, %xmm29, %xmm30 1475// CHECK: encoding: [0x62,0x03,0x14,0x00,0x27,0xf4,0x7b] 1476 vgetmantsh $123, %xmm28, %xmm29, %xmm30 1477 1478// CHECK: vgetmantsh $123, {sae}, %xmm28, %xmm29, %xmm30 1479// CHECK: encoding: [0x62,0x03,0x14,0x10,0x27,0xf4,0x7b] 1480 vgetmantsh $123, {sae}, %xmm28, %xmm29, %xmm30 1481 1482// CHECK: vgetmantsh $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1483// CHECK: encoding: [0x62,0x23,0x14,0x07,0x27,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b] 1484 vgetmantsh $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1485 1486// CHECK: vgetmantsh $123, (%r9), %xmm29, %xmm30 1487// CHECK: encoding: [0x62,0x43,0x14,0x00,0x27,0x31,0x7b] 1488 vgetmantsh $123, (%r9), %xmm29, %xmm30 1489 1490// CHECK: vgetmantsh $123, 254(%rcx), %xmm29, %xmm30 1491// CHECK: encoding: [0x62,0x63,0x14,0x00,0x27,0x71,0x7f,0x7b] 1492 vgetmantsh $123, 254(%rcx), %xmm29, %xmm30 1493 1494// CHECK: vgetmantsh $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1495// CHECK: encoding: [0x62,0x63,0x14,0x87,0x27,0x72,0x80,0x7b] 1496 vgetmantsh $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1497 1498// CHECK: vrcpph %zmm29, %zmm30 1499// CHECK: encoding: [0x62,0x06,0x7d,0x48,0x4c,0xf5] 1500 vrcpph %zmm29, %zmm30 1501 1502// CHECK: vrcpph 268435456(%rbp,%r14,8), %zmm30 {%k7} 1503// CHECK: encoding: [0x62,0x26,0x7d,0x4f,0x4c,0xb4,0xf5,0x00,0x00,0x00,0x10] 1504 vrcpph 268435456(%rbp,%r14,8), %zmm30 {%k7} 1505 1506// CHECK: vrcpph (%r9){1to32}, %zmm30 1507// CHECK: encoding: [0x62,0x46,0x7d,0x58,0x4c,0x31] 1508 vrcpph (%r9){1to32}, %zmm30 1509 1510// CHECK: vrcpph 8128(%rcx), %zmm30 1511// CHECK: encoding: [0x62,0x66,0x7d,0x48,0x4c,0x71,0x7f] 1512 vrcpph 8128(%rcx), %zmm30 1513 1514// CHECK: vrcpph -256(%rdx){1to32}, %zmm30 {%k7} {z} 1515// CHECK: encoding: [0x62,0x66,0x7d,0xdf,0x4c,0x72,0x80] 1516 vrcpph -256(%rdx){1to32}, %zmm30 {%k7} {z} 1517 1518// CHECK: vrcpsh %xmm28, %xmm29, %xmm30 1519// CHECK: encoding: [0x62,0x06,0x15,0x00,0x4d,0xf4] 1520 vrcpsh %xmm28, %xmm29, %xmm30 1521 1522// CHECK: vrcpsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1523// CHECK: encoding: [0x62,0x26,0x15,0x07,0x4d,0xb4,0xf5,0x00,0x00,0x00,0x10] 1524 vrcpsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1525 1526// CHECK: vrcpsh (%r9), %xmm29, %xmm30 1527// CHECK: encoding: [0x62,0x46,0x15,0x00,0x4d,0x31] 1528 vrcpsh (%r9), %xmm29, %xmm30 1529 1530// CHECK: vrcpsh 254(%rcx), %xmm29, %xmm30 1531// CHECK: encoding: [0x62,0x66,0x15,0x00,0x4d,0x71,0x7f] 1532 vrcpsh 254(%rcx), %xmm29, %xmm30 1533 1534// CHECK: vrcpsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1535// CHECK: encoding: [0x62,0x66,0x15,0x87,0x4d,0x72,0x80] 1536 vrcpsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1537 1538// CHECK: vreduceph $123, %zmm29, %zmm30 1539// CHECK: encoding: [0x62,0x03,0x7c,0x48,0x56,0xf5,0x7b] 1540 vreduceph $123, %zmm29, %zmm30 1541 1542// CHECK: vreduceph $123, {sae}, %zmm29, %zmm30 1543// CHECK: encoding: [0x62,0x03,0x7c,0x18,0x56,0xf5,0x7b] 1544 vreduceph $123, {sae}, %zmm29, %zmm30 1545 1546// CHECK: vreduceph $123, 268435456(%rbp,%r14,8), %zmm30 {%k7} 1547// CHECK: encoding: [0x62,0x23,0x7c,0x4f,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b] 1548 vreduceph $123, 268435456(%rbp,%r14,8), %zmm30 {%k7} 1549 1550// CHECK: vreduceph $123, (%r9){1to32}, %zmm30 1551// CHECK: encoding: [0x62,0x43,0x7c,0x58,0x56,0x31,0x7b] 1552 vreduceph $123, (%r9){1to32}, %zmm30 1553 1554// CHECK: vreduceph $123, 8128(%rcx), %zmm30 1555// CHECK: encoding: [0x62,0x63,0x7c,0x48,0x56,0x71,0x7f,0x7b] 1556 vreduceph $123, 8128(%rcx), %zmm30 1557 1558// CHECK: vreduceph $123, -256(%rdx){1to32}, %zmm30 {%k7} {z} 1559// CHECK: encoding: [0x62,0x63,0x7c,0xdf,0x56,0x72,0x80,0x7b] 1560 vreduceph $123, -256(%rdx){1to32}, %zmm30 {%k7} {z} 1561 1562// CHECK: vreducesh $123, %xmm28, %xmm29, %xmm30 1563// CHECK: encoding: [0x62,0x03,0x14,0x00,0x57,0xf4,0x7b] 1564 vreducesh $123, %xmm28, %xmm29, %xmm30 1565 1566// CHECK: vreducesh $123, {sae}, %xmm28, %xmm29, %xmm30 1567// CHECK: encoding: [0x62,0x03,0x14,0x10,0x57,0xf4,0x7b] 1568 vreducesh $123, {sae}, %xmm28, %xmm29, %xmm30 1569 1570// CHECK: vreducesh $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1571// CHECK: encoding: [0x62,0x23,0x14,0x07,0x57,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b] 1572 vreducesh $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1573 1574// CHECK: vreducesh $123, (%r9), %xmm29, %xmm30 1575// CHECK: encoding: [0x62,0x43,0x14,0x00,0x57,0x31,0x7b] 1576 vreducesh $123, (%r9), %xmm29, %xmm30 1577 1578// CHECK: vreducesh $123, 254(%rcx), %xmm29, %xmm30 1579// CHECK: encoding: [0x62,0x63,0x14,0x00,0x57,0x71,0x7f,0x7b] 1580 vreducesh $123, 254(%rcx), %xmm29, %xmm30 1581 1582// CHECK: vreducesh $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1583// CHECK: encoding: [0x62,0x63,0x14,0x87,0x57,0x72,0x80,0x7b] 1584 vreducesh $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1585 1586// CHECK: vrndscaleph $123, %zmm29, %zmm30 1587// CHECK: encoding: [0x62,0x03,0x7c,0x48,0x08,0xf5,0x7b] 1588 vrndscaleph $123, %zmm29, %zmm30 1589 1590// CHECK: vrndscaleph $123, {sae}, %zmm29, %zmm30 1591// CHECK: encoding: [0x62,0x03,0x7c,0x18,0x08,0xf5,0x7b] 1592 vrndscaleph $123, {sae}, %zmm29, %zmm30 1593 1594// CHECK: vrndscaleph $123, 268435456(%rbp,%r14,8), %zmm30 {%k7} 1595// CHECK: encoding: [0x62,0x23,0x7c,0x4f,0x08,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b] 1596 vrndscaleph $123, 268435456(%rbp,%r14,8), %zmm30 {%k7} 1597 1598// CHECK: vrndscaleph $123, (%r9){1to32}, %zmm30 1599// CHECK: encoding: [0x62,0x43,0x7c,0x58,0x08,0x31,0x7b] 1600 vrndscaleph $123, (%r9){1to32}, %zmm30 1601 1602// CHECK: vrndscaleph $123, 8128(%rcx), %zmm30 1603// CHECK: encoding: [0x62,0x63,0x7c,0x48,0x08,0x71,0x7f,0x7b] 1604 vrndscaleph $123, 8128(%rcx), %zmm30 1605 1606// CHECK: vrndscaleph $123, -256(%rdx){1to32}, %zmm30 {%k7} {z} 1607// CHECK: encoding: [0x62,0x63,0x7c,0xdf,0x08,0x72,0x80,0x7b] 1608 vrndscaleph $123, -256(%rdx){1to32}, %zmm30 {%k7} {z} 1609 1610// CHECK: vrndscalesh $123, %xmm28, %xmm29, %xmm30 1611// CHECK: encoding: [0x62,0x03,0x14,0x00,0x0a,0xf4,0x7b] 1612 vrndscalesh $123, %xmm28, %xmm29, %xmm30 1613 1614// CHECK: vrndscalesh $123, {sae}, %xmm28, %xmm29, %xmm30 1615// CHECK: encoding: [0x62,0x03,0x14,0x10,0x0a,0xf4,0x7b] 1616 vrndscalesh $123, {sae}, %xmm28, %xmm29, %xmm30 1617 1618// CHECK: vrndscalesh $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1619// CHECK: encoding: [0x62,0x23,0x14,0x07,0x0a,0xb4,0xf5,0x00,0x00,0x00,0x10,0x7b] 1620 vrndscalesh $123, 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1621 1622// CHECK: vrndscalesh $123, (%r9), %xmm29, %xmm30 1623// CHECK: encoding: [0x62,0x43,0x14,0x00,0x0a,0x31,0x7b] 1624 vrndscalesh $123, (%r9), %xmm29, %xmm30 1625 1626// CHECK: vrndscalesh $123, 254(%rcx), %xmm29, %xmm30 1627// CHECK: encoding: [0x62,0x63,0x14,0x00,0x0a,0x71,0x7f,0x7b] 1628 vrndscalesh $123, 254(%rcx), %xmm29, %xmm30 1629 1630// CHECK: vrndscalesh $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1631// CHECK: encoding: [0x62,0x63,0x14,0x87,0x0a,0x72,0x80,0x7b] 1632 vrndscalesh $123, -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1633 1634// CHECK: vrsqrtph %zmm29, %zmm30 1635// CHECK: encoding: [0x62,0x06,0x7d,0x48,0x4e,0xf5] 1636 vrsqrtph %zmm29, %zmm30 1637 1638// CHECK: vrsqrtph 268435456(%rbp,%r14,8), %zmm30 {%k7} 1639// CHECK: encoding: [0x62,0x26,0x7d,0x4f,0x4e,0xb4,0xf5,0x00,0x00,0x00,0x10] 1640 vrsqrtph 268435456(%rbp,%r14,8), %zmm30 {%k7} 1641 1642// CHECK: vrsqrtph (%r9){1to32}, %zmm30 1643// CHECK: encoding: [0x62,0x46,0x7d,0x58,0x4e,0x31] 1644 vrsqrtph (%r9){1to32}, %zmm30 1645 1646// CHECK: vrsqrtph 8128(%rcx), %zmm30 1647// CHECK: encoding: [0x62,0x66,0x7d,0x48,0x4e,0x71,0x7f] 1648 vrsqrtph 8128(%rcx), %zmm30 1649 1650// CHECK: vrsqrtph -256(%rdx){1to32}, %zmm30 {%k7} {z} 1651// CHECK: encoding: [0x62,0x66,0x7d,0xdf,0x4e,0x72,0x80] 1652 vrsqrtph -256(%rdx){1to32}, %zmm30 {%k7} {z} 1653 1654// CHECK: vrsqrtsh %xmm28, %xmm29, %xmm30 1655// CHECK: encoding: [0x62,0x06,0x15,0x00,0x4f,0xf4] 1656 vrsqrtsh %xmm28, %xmm29, %xmm30 1657 1658// CHECK: vrsqrtsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1659// CHECK: encoding: [0x62,0x26,0x15,0x07,0x4f,0xb4,0xf5,0x00,0x00,0x00,0x10] 1660 vrsqrtsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1661 1662// CHECK: vrsqrtsh (%r9), %xmm29, %xmm30 1663// CHECK: encoding: [0x62,0x46,0x15,0x00,0x4f,0x31] 1664 vrsqrtsh (%r9), %xmm29, %xmm30 1665 1666// CHECK: vrsqrtsh 254(%rcx), %xmm29, %xmm30 1667// CHECK: encoding: [0x62,0x66,0x15,0x00,0x4f,0x71,0x7f] 1668 vrsqrtsh 254(%rcx), %xmm29, %xmm30 1669 1670// CHECK: vrsqrtsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1671// CHECK: encoding: [0x62,0x66,0x15,0x87,0x4f,0x72,0x80] 1672 vrsqrtsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1673 1674// CHECK: vscalefph %zmm28, %zmm29, %zmm30 1675// CHECK: encoding: [0x62,0x06,0x15,0x40,0x2c,0xf4] 1676 vscalefph %zmm28, %zmm29, %zmm30 1677 1678// CHECK: vscalefph {rn-sae}, %zmm28, %zmm29, %zmm30 1679// CHECK: encoding: [0x62,0x06,0x15,0x10,0x2c,0xf4] 1680 vscalefph {rn-sae}, %zmm28, %zmm29, %zmm30 1681 1682// CHECK: vscalefph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1683// CHECK: encoding: [0x62,0x26,0x15,0x47,0x2c,0xb4,0xf5,0x00,0x00,0x00,0x10] 1684 vscalefph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1685 1686// CHECK: vscalefph (%r9){1to32}, %zmm29, %zmm30 1687// CHECK: encoding: [0x62,0x46,0x15,0x50,0x2c,0x31] 1688 vscalefph (%r9){1to32}, %zmm29, %zmm30 1689 1690// CHECK: vscalefph 8128(%rcx), %zmm29, %zmm30 1691// CHECK: encoding: [0x62,0x66,0x15,0x40,0x2c,0x71,0x7f] 1692 vscalefph 8128(%rcx), %zmm29, %zmm30 1693 1694// CHECK: vscalefph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1695// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x2c,0x72,0x80] 1696 vscalefph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1697 1698// CHECK: vscalefsh %xmm28, %xmm29, %xmm30 1699// CHECK: encoding: [0x62,0x06,0x15,0x00,0x2d,0xf4] 1700 vscalefsh %xmm28, %xmm29, %xmm30 1701 1702// CHECK: vscalefsh {rn-sae}, %xmm28, %xmm29, %xmm30 1703// CHECK: encoding: [0x62,0x06,0x15,0x10,0x2d,0xf4] 1704 vscalefsh {rn-sae}, %xmm28, %xmm29, %xmm30 1705 1706// CHECK: vscalefsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1707// CHECK: encoding: [0x62,0x26,0x15,0x07,0x2d,0xb4,0xf5,0x00,0x00,0x00,0x10] 1708 vscalefsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1709 1710// CHECK: vscalefsh (%r9), %xmm29, %xmm30 1711// CHECK: encoding: [0x62,0x46,0x15,0x00,0x2d,0x31] 1712 vscalefsh (%r9), %xmm29, %xmm30 1713 1714// CHECK: vscalefsh 254(%rcx), %xmm29, %xmm30 1715// CHECK: encoding: [0x62,0x66,0x15,0x00,0x2d,0x71,0x7f] 1716 vscalefsh 254(%rcx), %xmm29, %xmm30 1717 1718// CHECK: vscalefsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1719// CHECK: encoding: [0x62,0x66,0x15,0x87,0x2d,0x72,0x80] 1720 vscalefsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1721 1722// CHECK: vsqrtph %zmm29, %zmm30 1723// CHECK: encoding: [0x62,0x05,0x7c,0x48,0x51,0xf5] 1724 vsqrtph %zmm29, %zmm30 1725 1726// CHECK: vsqrtph {rn-sae}, %zmm29, %zmm30 1727// CHECK: encoding: [0x62,0x05,0x7c,0x18,0x51,0xf5] 1728 vsqrtph {rn-sae}, %zmm29, %zmm30 1729 1730// CHECK: vsqrtph 268435456(%rbp,%r14,8), %zmm30 {%k7} 1731// CHECK: encoding: [0x62,0x25,0x7c,0x4f,0x51,0xb4,0xf5,0x00,0x00,0x00,0x10] 1732 vsqrtph 268435456(%rbp,%r14,8), %zmm30 {%k7} 1733 1734// CHECK: vsqrtph (%r9){1to32}, %zmm30 1735// CHECK: encoding: [0x62,0x45,0x7c,0x58,0x51,0x31] 1736 vsqrtph (%r9){1to32}, %zmm30 1737 1738// CHECK: vsqrtph 8128(%rcx), %zmm30 1739// CHECK: encoding: [0x62,0x65,0x7c,0x48,0x51,0x71,0x7f] 1740 vsqrtph 8128(%rcx), %zmm30 1741 1742// CHECK: vsqrtph -256(%rdx){1to32}, %zmm30 {%k7} {z} 1743// CHECK: encoding: [0x62,0x65,0x7c,0xdf,0x51,0x72,0x80] 1744 vsqrtph -256(%rdx){1to32}, %zmm30 {%k7} {z} 1745 1746// CHECK: vsqrtsh %xmm28, %xmm29, %xmm30 1747// CHECK: encoding: [0x62,0x05,0x16,0x00,0x51,0xf4] 1748 vsqrtsh %xmm28, %xmm29, %xmm30 1749 1750// CHECK: vsqrtsh {rn-sae}, %xmm28, %xmm29, %xmm30 1751// CHECK: encoding: [0x62,0x05,0x16,0x10,0x51,0xf4] 1752 vsqrtsh {rn-sae}, %xmm28, %xmm29, %xmm30 1753 1754// CHECK: vsqrtsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1755// CHECK: encoding: [0x62,0x25,0x16,0x07,0x51,0xb4,0xf5,0x00,0x00,0x00,0x10] 1756 vsqrtsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1757 1758// CHECK: vsqrtsh (%r9), %xmm29, %xmm30 1759// CHECK: encoding: [0x62,0x45,0x16,0x00,0x51,0x31] 1760 vsqrtsh (%r9), %xmm29, %xmm30 1761 1762// CHECK: vsqrtsh 254(%rcx), %xmm29, %xmm30 1763// CHECK: encoding: [0x62,0x65,0x16,0x00,0x51,0x71,0x7f] 1764 vsqrtsh 254(%rcx), %xmm29, %xmm30 1765 1766// CHECK: vsqrtsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1767// CHECK: encoding: [0x62,0x65,0x16,0x87,0x51,0x72,0x80] 1768 vsqrtsh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1769 1770// CHECK: vfmadd132ph %zmm28, %zmm29, %zmm30 1771// CHECK: encoding: [0x62,0x06,0x15,0x40,0x98,0xf4] 1772 vfmadd132ph %zmm28, %zmm29, %zmm30 1773 1774// CHECK: vfmadd132ph {rn-sae}, %zmm28, %zmm29, %zmm30 1775// CHECK: encoding: [0x62,0x06,0x15,0x10,0x98,0xf4] 1776 vfmadd132ph {rn-sae}, %zmm28, %zmm29, %zmm30 1777 1778// CHECK: vfmadd132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1779// CHECK: encoding: [0x62,0x26,0x15,0x47,0x98,0xb4,0xf5,0x00,0x00,0x00,0x10] 1780 vfmadd132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1781 1782// CHECK: vfmadd132ph (%r9){1to32}, %zmm29, %zmm30 1783// CHECK: encoding: [0x62,0x46,0x15,0x50,0x98,0x31] 1784 vfmadd132ph (%r9){1to32}, %zmm29, %zmm30 1785 1786// CHECK: vfmadd132ph 8128(%rcx), %zmm29, %zmm30 1787// CHECK: encoding: [0x62,0x66,0x15,0x40,0x98,0x71,0x7f] 1788 vfmadd132ph 8128(%rcx), %zmm29, %zmm30 1789 1790// CHECK: vfmadd132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1791// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x98,0x72,0x80] 1792 vfmadd132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1793 1794// CHECK: vfmadd132sh %xmm28, %xmm29, %xmm30 1795// CHECK: encoding: [0x62,0x06,0x15,0x00,0x99,0xf4] 1796 vfmadd132sh %xmm28, %xmm29, %xmm30 1797 1798// CHECK: vfmadd132sh {rn-sae}, %xmm28, %xmm29, %xmm30 1799// CHECK: encoding: [0x62,0x06,0x15,0x10,0x99,0xf4] 1800 vfmadd132sh {rn-sae}, %xmm28, %xmm29, %xmm30 1801 1802// CHECK: vfmadd132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1803// CHECK: encoding: [0x62,0x26,0x15,0x07,0x99,0xb4,0xf5,0x00,0x00,0x00,0x10] 1804 vfmadd132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1805 1806// CHECK: vfmadd132sh (%r9), %xmm29, %xmm30 1807// CHECK: encoding: [0x62,0x46,0x15,0x00,0x99,0x31] 1808 vfmadd132sh (%r9), %xmm29, %xmm30 1809 1810// CHECK: vfmadd132sh 254(%rcx), %xmm29, %xmm30 1811// CHECK: encoding: [0x62,0x66,0x15,0x00,0x99,0x71,0x7f] 1812 vfmadd132sh 254(%rcx), %xmm29, %xmm30 1813 1814// CHECK: vfmadd132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1815// CHECK: encoding: [0x62,0x66,0x15,0x87,0x99,0x72,0x80] 1816 vfmadd132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1817 1818// CHECK: vfmadd213ph %zmm28, %zmm29, %zmm30 1819// CHECK: encoding: [0x62,0x06,0x15,0x40,0xa8,0xf4] 1820 vfmadd213ph %zmm28, %zmm29, %zmm30 1821 1822// CHECK: vfmadd213ph {rn-sae}, %zmm28, %zmm29, %zmm30 1823// CHECK: encoding: [0x62,0x06,0x15,0x10,0xa8,0xf4] 1824 vfmadd213ph {rn-sae}, %zmm28, %zmm29, %zmm30 1825 1826// CHECK: vfmadd213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1827// CHECK: encoding: [0x62,0x26,0x15,0x47,0xa8,0xb4,0xf5,0x00,0x00,0x00,0x10] 1828 vfmadd213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1829 1830// CHECK: vfmadd213ph (%r9){1to32}, %zmm29, %zmm30 1831// CHECK: encoding: [0x62,0x46,0x15,0x50,0xa8,0x31] 1832 vfmadd213ph (%r9){1to32}, %zmm29, %zmm30 1833 1834// CHECK: vfmadd213ph 8128(%rcx), %zmm29, %zmm30 1835// CHECK: encoding: [0x62,0x66,0x15,0x40,0xa8,0x71,0x7f] 1836 vfmadd213ph 8128(%rcx), %zmm29, %zmm30 1837 1838// CHECK: vfmadd213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1839// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xa8,0x72,0x80] 1840 vfmadd213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1841 1842// CHECK: vfmadd213sh %xmm28, %xmm29, %xmm30 1843// CHECK: encoding: [0x62,0x06,0x15,0x00,0xa9,0xf4] 1844 vfmadd213sh %xmm28, %xmm29, %xmm30 1845 1846// CHECK: vfmadd213sh {rn-sae}, %xmm28, %xmm29, %xmm30 1847// CHECK: encoding: [0x62,0x06,0x15,0x10,0xa9,0xf4] 1848 vfmadd213sh {rn-sae}, %xmm28, %xmm29, %xmm30 1849 1850// CHECK: vfmadd213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1851// CHECK: encoding: [0x62,0x26,0x15,0x07,0xa9,0xb4,0xf5,0x00,0x00,0x00,0x10] 1852 vfmadd213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1853 1854// CHECK: vfmadd213sh (%r9), %xmm29, %xmm30 1855// CHECK: encoding: [0x62,0x46,0x15,0x00,0xa9,0x31] 1856 vfmadd213sh (%r9), %xmm29, %xmm30 1857 1858// CHECK: vfmadd213sh 254(%rcx), %xmm29, %xmm30 1859// CHECK: encoding: [0x62,0x66,0x15,0x00,0xa9,0x71,0x7f] 1860 vfmadd213sh 254(%rcx), %xmm29, %xmm30 1861 1862// CHECK: vfmadd213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1863// CHECK: encoding: [0x62,0x66,0x15,0x87,0xa9,0x72,0x80] 1864 vfmadd213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1865 1866// CHECK: vfmadd231ph %zmm28, %zmm29, %zmm30 1867// CHECK: encoding: [0x62,0x06,0x15,0x40,0xb8,0xf4] 1868 vfmadd231ph %zmm28, %zmm29, %zmm30 1869 1870// CHECK: vfmadd231ph {rn-sae}, %zmm28, %zmm29, %zmm30 1871// CHECK: encoding: [0x62,0x06,0x15,0x10,0xb8,0xf4] 1872 vfmadd231ph {rn-sae}, %zmm28, %zmm29, %zmm30 1873 1874// CHECK: vfmadd231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1875// CHECK: encoding: [0x62,0x26,0x15,0x47,0xb8,0xb4,0xf5,0x00,0x00,0x00,0x10] 1876 vfmadd231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1877 1878// CHECK: vfmadd231ph (%r9){1to32}, %zmm29, %zmm30 1879// CHECK: encoding: [0x62,0x46,0x15,0x50,0xb8,0x31] 1880 vfmadd231ph (%r9){1to32}, %zmm29, %zmm30 1881 1882// CHECK: vfmadd231ph 8128(%rcx), %zmm29, %zmm30 1883// CHECK: encoding: [0x62,0x66,0x15,0x40,0xb8,0x71,0x7f] 1884 vfmadd231ph 8128(%rcx), %zmm29, %zmm30 1885 1886// CHECK: vfmadd231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1887// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xb8,0x72,0x80] 1888 vfmadd231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1889 1890// CHECK: vfmadd231sh %xmm28, %xmm29, %xmm30 1891// CHECK: encoding: [0x62,0x06,0x15,0x00,0xb9,0xf4] 1892 vfmadd231sh %xmm28, %xmm29, %xmm30 1893 1894// CHECK: vfmadd231sh {rn-sae}, %xmm28, %xmm29, %xmm30 1895// CHECK: encoding: [0x62,0x06,0x15,0x10,0xb9,0xf4] 1896 vfmadd231sh {rn-sae}, %xmm28, %xmm29, %xmm30 1897 1898// CHECK: vfmadd231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1899// CHECK: encoding: [0x62,0x26,0x15,0x07,0xb9,0xb4,0xf5,0x00,0x00,0x00,0x10] 1900 vfmadd231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 1901 1902// CHECK: vfmadd231sh (%r9), %xmm29, %xmm30 1903// CHECK: encoding: [0x62,0x46,0x15,0x00,0xb9,0x31] 1904 vfmadd231sh (%r9), %xmm29, %xmm30 1905 1906// CHECK: vfmadd231sh 254(%rcx), %xmm29, %xmm30 1907// CHECK: encoding: [0x62,0x66,0x15,0x00,0xb9,0x71,0x7f] 1908 vfmadd231sh 254(%rcx), %xmm29, %xmm30 1909 1910// CHECK: vfmadd231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1911// CHECK: encoding: [0x62,0x66,0x15,0x87,0xb9,0x72,0x80] 1912 vfmadd231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 1913 1914// CHECK: vfmaddsub132ph %zmm28, %zmm29, %zmm30 1915// CHECK: encoding: [0x62,0x06,0x15,0x40,0x96,0xf4] 1916 vfmaddsub132ph %zmm28, %zmm29, %zmm30 1917 1918// CHECK: vfmaddsub132ph {rn-sae}, %zmm28, %zmm29, %zmm30 1919// CHECK: encoding: [0x62,0x06,0x15,0x10,0x96,0xf4] 1920 vfmaddsub132ph {rn-sae}, %zmm28, %zmm29, %zmm30 1921 1922// CHECK: vfmaddsub132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1923// CHECK: encoding: [0x62,0x26,0x15,0x47,0x96,0xb4,0xf5,0x00,0x00,0x00,0x10] 1924 vfmaddsub132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1925 1926// CHECK: vfmaddsub132ph (%r9){1to32}, %zmm29, %zmm30 1927// CHECK: encoding: [0x62,0x46,0x15,0x50,0x96,0x31] 1928 vfmaddsub132ph (%r9){1to32}, %zmm29, %zmm30 1929 1930// CHECK: vfmaddsub132ph 8128(%rcx), %zmm29, %zmm30 1931// CHECK: encoding: [0x62,0x66,0x15,0x40,0x96,0x71,0x7f] 1932 vfmaddsub132ph 8128(%rcx), %zmm29, %zmm30 1933 1934// CHECK: vfmaddsub132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1935// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x96,0x72,0x80] 1936 vfmaddsub132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1937 1938// CHECK: vfmaddsub213ph %zmm28, %zmm29, %zmm30 1939// CHECK: encoding: [0x62,0x06,0x15,0x40,0xa6,0xf4] 1940 vfmaddsub213ph %zmm28, %zmm29, %zmm30 1941 1942// CHECK: vfmaddsub213ph {rn-sae}, %zmm28, %zmm29, %zmm30 1943// CHECK: encoding: [0x62,0x06,0x15,0x10,0xa6,0xf4] 1944 vfmaddsub213ph {rn-sae}, %zmm28, %zmm29, %zmm30 1945 1946// CHECK: vfmaddsub213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1947// CHECK: encoding: [0x62,0x26,0x15,0x47,0xa6,0xb4,0xf5,0x00,0x00,0x00,0x10] 1948 vfmaddsub213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1949 1950// CHECK: vfmaddsub213ph (%r9){1to32}, %zmm29, %zmm30 1951// CHECK: encoding: [0x62,0x46,0x15,0x50,0xa6,0x31] 1952 vfmaddsub213ph (%r9){1to32}, %zmm29, %zmm30 1953 1954// CHECK: vfmaddsub213ph 8128(%rcx), %zmm29, %zmm30 1955// CHECK: encoding: [0x62,0x66,0x15,0x40,0xa6,0x71,0x7f] 1956 vfmaddsub213ph 8128(%rcx), %zmm29, %zmm30 1957 1958// CHECK: vfmaddsub213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1959// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xa6,0x72,0x80] 1960 vfmaddsub213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1961 1962// CHECK: vfmaddsub231ph %zmm28, %zmm29, %zmm30 1963// CHECK: encoding: [0x62,0x06,0x15,0x40,0xb6,0xf4] 1964 vfmaddsub231ph %zmm28, %zmm29, %zmm30 1965 1966// CHECK: vfmaddsub231ph {rn-sae}, %zmm28, %zmm29, %zmm30 1967// CHECK: encoding: [0x62,0x06,0x15,0x10,0xb6,0xf4] 1968 vfmaddsub231ph {rn-sae}, %zmm28, %zmm29, %zmm30 1969 1970// CHECK: vfmaddsub231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1971// CHECK: encoding: [0x62,0x26,0x15,0x47,0xb6,0xb4,0xf5,0x00,0x00,0x00,0x10] 1972 vfmaddsub231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1973 1974// CHECK: vfmaddsub231ph (%r9){1to32}, %zmm29, %zmm30 1975// CHECK: encoding: [0x62,0x46,0x15,0x50,0xb6,0x31] 1976 vfmaddsub231ph (%r9){1to32}, %zmm29, %zmm30 1977 1978// CHECK: vfmaddsub231ph 8128(%rcx), %zmm29, %zmm30 1979// CHECK: encoding: [0x62,0x66,0x15,0x40,0xb6,0x71,0x7f] 1980 vfmaddsub231ph 8128(%rcx), %zmm29, %zmm30 1981 1982// CHECK: vfmaddsub231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1983// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xb6,0x72,0x80] 1984 vfmaddsub231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 1985 1986// CHECK: vfmsub132ph %zmm28, %zmm29, %zmm30 1987// CHECK: encoding: [0x62,0x06,0x15,0x40,0x9a,0xf4] 1988 vfmsub132ph %zmm28, %zmm29, %zmm30 1989 1990// CHECK: vfmsub132ph {rn-sae}, %zmm28, %zmm29, %zmm30 1991// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9a,0xf4] 1992 vfmsub132ph {rn-sae}, %zmm28, %zmm29, %zmm30 1993 1994// CHECK: vfmsub132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1995// CHECK: encoding: [0x62,0x26,0x15,0x47,0x9a,0xb4,0xf5,0x00,0x00,0x00,0x10] 1996 vfmsub132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 1997 1998// CHECK: vfmsub132ph (%r9){1to32}, %zmm29, %zmm30 1999// CHECK: encoding: [0x62,0x46,0x15,0x50,0x9a,0x31] 2000 vfmsub132ph (%r9){1to32}, %zmm29, %zmm30 2001 2002// CHECK: vfmsub132ph 8128(%rcx), %zmm29, %zmm30 2003// CHECK: encoding: [0x62,0x66,0x15,0x40,0x9a,0x71,0x7f] 2004 vfmsub132ph 8128(%rcx), %zmm29, %zmm30 2005 2006// CHECK: vfmsub132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2007// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x9a,0x72,0x80] 2008 vfmsub132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2009 2010// CHECK: vfmsub132sh %xmm28, %xmm29, %xmm30 2011// CHECK: encoding: [0x62,0x06,0x15,0x00,0x9b,0xf4] 2012 vfmsub132sh %xmm28, %xmm29, %xmm30 2013 2014// CHECK: vfmsub132sh {rn-sae}, %xmm28, %xmm29, %xmm30 2015// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9b,0xf4] 2016 vfmsub132sh {rn-sae}, %xmm28, %xmm29, %xmm30 2017 2018// CHECK: vfmsub132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2019// CHECK: encoding: [0x62,0x26,0x15,0x07,0x9b,0xb4,0xf5,0x00,0x00,0x00,0x10] 2020 vfmsub132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2021 2022// CHECK: vfmsub132sh (%r9), %xmm29, %xmm30 2023// CHECK: encoding: [0x62,0x46,0x15,0x00,0x9b,0x31] 2024 vfmsub132sh (%r9), %xmm29, %xmm30 2025 2026// CHECK: vfmsub132sh 254(%rcx), %xmm29, %xmm30 2027// CHECK: encoding: [0x62,0x66,0x15,0x00,0x9b,0x71,0x7f] 2028 vfmsub132sh 254(%rcx), %xmm29, %xmm30 2029 2030// CHECK: vfmsub132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2031// CHECK: encoding: [0x62,0x66,0x15,0x87,0x9b,0x72,0x80] 2032 vfmsub132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2033 2034// CHECK: vfmsub213ph %zmm28, %zmm29, %zmm30 2035// CHECK: encoding: [0x62,0x06,0x15,0x40,0xaa,0xf4] 2036 vfmsub213ph %zmm28, %zmm29, %zmm30 2037 2038// CHECK: vfmsub213ph {rn-sae}, %zmm28, %zmm29, %zmm30 2039// CHECK: encoding: [0x62,0x06,0x15,0x10,0xaa,0xf4] 2040 vfmsub213ph {rn-sae}, %zmm28, %zmm29, %zmm30 2041 2042// CHECK: vfmsub213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2043// CHECK: encoding: [0x62,0x26,0x15,0x47,0xaa,0xb4,0xf5,0x00,0x00,0x00,0x10] 2044 vfmsub213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2045 2046// CHECK: vfmsub213ph (%r9){1to32}, %zmm29, %zmm30 2047// CHECK: encoding: [0x62,0x46,0x15,0x50,0xaa,0x31] 2048 vfmsub213ph (%r9){1to32}, %zmm29, %zmm30 2049 2050// CHECK: vfmsub213ph 8128(%rcx), %zmm29, %zmm30 2051// CHECK: encoding: [0x62,0x66,0x15,0x40,0xaa,0x71,0x7f] 2052 vfmsub213ph 8128(%rcx), %zmm29, %zmm30 2053 2054// CHECK: vfmsub213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2055// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xaa,0x72,0x80] 2056 vfmsub213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2057 2058// CHECK: vfmsub213sh %xmm28, %xmm29, %xmm30 2059// CHECK: encoding: [0x62,0x06,0x15,0x00,0xab,0xf4] 2060 vfmsub213sh %xmm28, %xmm29, %xmm30 2061 2062// CHECK: vfmsub213sh {rn-sae}, %xmm28, %xmm29, %xmm30 2063// CHECK: encoding: [0x62,0x06,0x15,0x10,0xab,0xf4] 2064 vfmsub213sh {rn-sae}, %xmm28, %xmm29, %xmm30 2065 2066// CHECK: vfmsub213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2067// CHECK: encoding: [0x62,0x26,0x15,0x07,0xab,0xb4,0xf5,0x00,0x00,0x00,0x10] 2068 vfmsub213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2069 2070// CHECK: vfmsub213sh (%r9), %xmm29, %xmm30 2071// CHECK: encoding: [0x62,0x46,0x15,0x00,0xab,0x31] 2072 vfmsub213sh (%r9), %xmm29, %xmm30 2073 2074// CHECK: vfmsub213sh 254(%rcx), %xmm29, %xmm30 2075// CHECK: encoding: [0x62,0x66,0x15,0x00,0xab,0x71,0x7f] 2076 vfmsub213sh 254(%rcx), %xmm29, %xmm30 2077 2078// CHECK: vfmsub213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2079// CHECK: encoding: [0x62,0x66,0x15,0x87,0xab,0x72,0x80] 2080 vfmsub213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2081 2082// CHECK: vfmsub231ph %zmm28, %zmm29, %zmm30 2083// CHECK: encoding: [0x62,0x06,0x15,0x40,0xba,0xf4] 2084 vfmsub231ph %zmm28, %zmm29, %zmm30 2085 2086// CHECK: vfmsub231ph {rn-sae}, %zmm28, %zmm29, %zmm30 2087// CHECK: encoding: [0x62,0x06,0x15,0x10,0xba,0xf4] 2088 vfmsub231ph {rn-sae}, %zmm28, %zmm29, %zmm30 2089 2090// CHECK: vfmsub231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2091// CHECK: encoding: [0x62,0x26,0x15,0x47,0xba,0xb4,0xf5,0x00,0x00,0x00,0x10] 2092 vfmsub231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2093 2094// CHECK: vfmsub231ph (%r9){1to32}, %zmm29, %zmm30 2095// CHECK: encoding: [0x62,0x46,0x15,0x50,0xba,0x31] 2096 vfmsub231ph (%r9){1to32}, %zmm29, %zmm30 2097 2098// CHECK: vfmsub231ph 8128(%rcx), %zmm29, %zmm30 2099// CHECK: encoding: [0x62,0x66,0x15,0x40,0xba,0x71,0x7f] 2100 vfmsub231ph 8128(%rcx), %zmm29, %zmm30 2101 2102// CHECK: vfmsub231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2103// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xba,0x72,0x80] 2104 vfmsub231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2105 2106// CHECK: vfmsub231sh %xmm28, %xmm29, %xmm30 2107// CHECK: encoding: [0x62,0x06,0x15,0x00,0xbb,0xf4] 2108 vfmsub231sh %xmm28, %xmm29, %xmm30 2109 2110// CHECK: vfmsub231sh {rn-sae}, %xmm28, %xmm29, %xmm30 2111// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbb,0xf4] 2112 vfmsub231sh {rn-sae}, %xmm28, %xmm29, %xmm30 2113 2114// CHECK: vfmsub231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2115// CHECK: encoding: [0x62,0x26,0x15,0x07,0xbb,0xb4,0xf5,0x00,0x00,0x00,0x10] 2116 vfmsub231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2117 2118// CHECK: vfmsub231sh (%r9), %xmm29, %xmm30 2119// CHECK: encoding: [0x62,0x46,0x15,0x00,0xbb,0x31] 2120 vfmsub231sh (%r9), %xmm29, %xmm30 2121 2122// CHECK: vfmsub231sh 254(%rcx), %xmm29, %xmm30 2123// CHECK: encoding: [0x62,0x66,0x15,0x00,0xbb,0x71,0x7f] 2124 vfmsub231sh 254(%rcx), %xmm29, %xmm30 2125 2126// CHECK: vfmsub231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2127// CHECK: encoding: [0x62,0x66,0x15,0x87,0xbb,0x72,0x80] 2128 vfmsub231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2129 2130// CHECK: vfmsubadd132ph %zmm28, %zmm29, %zmm30 2131// CHECK: encoding: [0x62,0x06,0x15,0x40,0x97,0xf4] 2132 vfmsubadd132ph %zmm28, %zmm29, %zmm30 2133 2134// CHECK: vfmsubadd132ph {rn-sae}, %zmm28, %zmm29, %zmm30 2135// CHECK: encoding: [0x62,0x06,0x15,0x10,0x97,0xf4] 2136 vfmsubadd132ph {rn-sae}, %zmm28, %zmm29, %zmm30 2137 2138// CHECK: vfmsubadd132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2139// CHECK: encoding: [0x62,0x26,0x15,0x47,0x97,0xb4,0xf5,0x00,0x00,0x00,0x10] 2140 vfmsubadd132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2141 2142// CHECK: vfmsubadd132ph (%r9){1to32}, %zmm29, %zmm30 2143// CHECK: encoding: [0x62,0x46,0x15,0x50,0x97,0x31] 2144 vfmsubadd132ph (%r9){1to32}, %zmm29, %zmm30 2145 2146// CHECK: vfmsubadd132ph 8128(%rcx), %zmm29, %zmm30 2147// CHECK: encoding: [0x62,0x66,0x15,0x40,0x97,0x71,0x7f] 2148 vfmsubadd132ph 8128(%rcx), %zmm29, %zmm30 2149 2150// CHECK: vfmsubadd132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2151// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x97,0x72,0x80] 2152 vfmsubadd132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2153 2154// CHECK: vfmsubadd213ph %zmm28, %zmm29, %zmm30 2155// CHECK: encoding: [0x62,0x06,0x15,0x40,0xa7,0xf4] 2156 vfmsubadd213ph %zmm28, %zmm29, %zmm30 2157 2158// CHECK: vfmsubadd213ph {rn-sae}, %zmm28, %zmm29, %zmm30 2159// CHECK: encoding: [0x62,0x06,0x15,0x10,0xa7,0xf4] 2160 vfmsubadd213ph {rn-sae}, %zmm28, %zmm29, %zmm30 2161 2162// CHECK: vfmsubadd213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2163// CHECK: encoding: [0x62,0x26,0x15,0x47,0xa7,0xb4,0xf5,0x00,0x00,0x00,0x10] 2164 vfmsubadd213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2165 2166// CHECK: vfmsubadd213ph (%r9){1to32}, %zmm29, %zmm30 2167// CHECK: encoding: [0x62,0x46,0x15,0x50,0xa7,0x31] 2168 vfmsubadd213ph (%r9){1to32}, %zmm29, %zmm30 2169 2170// CHECK: vfmsubadd213ph 8128(%rcx), %zmm29, %zmm30 2171// CHECK: encoding: [0x62,0x66,0x15,0x40,0xa7,0x71,0x7f] 2172 vfmsubadd213ph 8128(%rcx), %zmm29, %zmm30 2173 2174// CHECK: vfmsubadd213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2175// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xa7,0x72,0x80] 2176 vfmsubadd213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2177 2178// CHECK: vfmsubadd231ph %zmm28, %zmm29, %zmm30 2179// CHECK: encoding: [0x62,0x06,0x15,0x40,0xb7,0xf4] 2180 vfmsubadd231ph %zmm28, %zmm29, %zmm30 2181 2182// CHECK: vfmsubadd231ph {rn-sae}, %zmm28, %zmm29, %zmm30 2183// CHECK: encoding: [0x62,0x06,0x15,0x10,0xb7,0xf4] 2184 vfmsubadd231ph {rn-sae}, %zmm28, %zmm29, %zmm30 2185 2186// CHECK: vfmsubadd231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2187// CHECK: encoding: [0x62,0x26,0x15,0x47,0xb7,0xb4,0xf5,0x00,0x00,0x00,0x10] 2188 vfmsubadd231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2189 2190// CHECK: vfmsubadd231ph (%r9){1to32}, %zmm29, %zmm30 2191// CHECK: encoding: [0x62,0x46,0x15,0x50,0xb7,0x31] 2192 vfmsubadd231ph (%r9){1to32}, %zmm29, %zmm30 2193 2194// CHECK: vfmsubadd231ph 8128(%rcx), %zmm29, %zmm30 2195// CHECK: encoding: [0x62,0x66,0x15,0x40,0xb7,0x71,0x7f] 2196 vfmsubadd231ph 8128(%rcx), %zmm29, %zmm30 2197 2198// CHECK: vfmsubadd231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2199// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xb7,0x72,0x80] 2200 vfmsubadd231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2201 2202// CHECK: vfnmadd132ph %zmm28, %zmm29, %zmm30 2203// CHECK: encoding: [0x62,0x06,0x15,0x40,0x9c,0xf4] 2204 vfnmadd132ph %zmm28, %zmm29, %zmm30 2205 2206// CHECK: vfnmadd132ph {rn-sae}, %zmm28, %zmm29, %zmm30 2207// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9c,0xf4] 2208 vfnmadd132ph {rn-sae}, %zmm28, %zmm29, %zmm30 2209 2210// CHECK: vfnmadd132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2211// CHECK: encoding: [0x62,0x26,0x15,0x47,0x9c,0xb4,0xf5,0x00,0x00,0x00,0x10] 2212 vfnmadd132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2213 2214// CHECK: vfnmadd132ph (%r9){1to32}, %zmm29, %zmm30 2215// CHECK: encoding: [0x62,0x46,0x15,0x50,0x9c,0x31] 2216 vfnmadd132ph (%r9){1to32}, %zmm29, %zmm30 2217 2218// CHECK: vfnmadd132ph 8128(%rcx), %zmm29, %zmm30 2219// CHECK: encoding: [0x62,0x66,0x15,0x40,0x9c,0x71,0x7f] 2220 vfnmadd132ph 8128(%rcx), %zmm29, %zmm30 2221 2222// CHECK: vfnmadd132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2223// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x9c,0x72,0x80] 2224 vfnmadd132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2225 2226// CHECK: vfnmadd132sh %xmm28, %xmm29, %xmm30 2227// CHECK: encoding: [0x62,0x06,0x15,0x00,0x9d,0xf4] 2228 vfnmadd132sh %xmm28, %xmm29, %xmm30 2229 2230// CHECK: vfnmadd132sh {rn-sae}, %xmm28, %xmm29, %xmm30 2231// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9d,0xf4] 2232 vfnmadd132sh {rn-sae}, %xmm28, %xmm29, %xmm30 2233 2234// CHECK: vfnmadd132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2235// CHECK: encoding: [0x62,0x26,0x15,0x07,0x9d,0xb4,0xf5,0x00,0x00,0x00,0x10] 2236 vfnmadd132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2237 2238// CHECK: vfnmadd132sh (%r9), %xmm29, %xmm30 2239// CHECK: encoding: [0x62,0x46,0x15,0x00,0x9d,0x31] 2240 vfnmadd132sh (%r9), %xmm29, %xmm30 2241 2242// CHECK: vfnmadd132sh 254(%rcx), %xmm29, %xmm30 2243// CHECK: encoding: [0x62,0x66,0x15,0x00,0x9d,0x71,0x7f] 2244 vfnmadd132sh 254(%rcx), %xmm29, %xmm30 2245 2246// CHECK: vfnmadd132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2247// CHECK: encoding: [0x62,0x66,0x15,0x87,0x9d,0x72,0x80] 2248 vfnmadd132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2249 2250// CHECK: vfnmadd213ph %zmm28, %zmm29, %zmm30 2251// CHECK: encoding: [0x62,0x06,0x15,0x40,0xac,0xf4] 2252 vfnmadd213ph %zmm28, %zmm29, %zmm30 2253 2254// CHECK: vfnmadd213ph {rn-sae}, %zmm28, %zmm29, %zmm30 2255// CHECK: encoding: [0x62,0x06,0x15,0x10,0xac,0xf4] 2256 vfnmadd213ph {rn-sae}, %zmm28, %zmm29, %zmm30 2257 2258// CHECK: vfnmadd213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2259// CHECK: encoding: [0x62,0x26,0x15,0x47,0xac,0xb4,0xf5,0x00,0x00,0x00,0x10] 2260 vfnmadd213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2261 2262// CHECK: vfnmadd213ph (%r9){1to32}, %zmm29, %zmm30 2263// CHECK: encoding: [0x62,0x46,0x15,0x50,0xac,0x31] 2264 vfnmadd213ph (%r9){1to32}, %zmm29, %zmm30 2265 2266// CHECK: vfnmadd213ph 8128(%rcx), %zmm29, %zmm30 2267// CHECK: encoding: [0x62,0x66,0x15,0x40,0xac,0x71,0x7f] 2268 vfnmadd213ph 8128(%rcx), %zmm29, %zmm30 2269 2270// CHECK: vfnmadd213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2271// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xac,0x72,0x80] 2272 vfnmadd213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2273 2274// CHECK: vfnmadd213sh %xmm28, %xmm29, %xmm30 2275// CHECK: encoding: [0x62,0x06,0x15,0x00,0xad,0xf4] 2276 vfnmadd213sh %xmm28, %xmm29, %xmm30 2277 2278// CHECK: vfnmadd213sh {rn-sae}, %xmm28, %xmm29, %xmm30 2279// CHECK: encoding: [0x62,0x06,0x15,0x10,0xad,0xf4] 2280 vfnmadd213sh {rn-sae}, %xmm28, %xmm29, %xmm30 2281 2282// CHECK: vfnmadd213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2283// CHECK: encoding: [0x62,0x26,0x15,0x07,0xad,0xb4,0xf5,0x00,0x00,0x00,0x10] 2284 vfnmadd213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2285 2286// CHECK: vfnmadd213sh (%r9), %xmm29, %xmm30 2287// CHECK: encoding: [0x62,0x46,0x15,0x00,0xad,0x31] 2288 vfnmadd213sh (%r9), %xmm29, %xmm30 2289 2290// CHECK: vfnmadd213sh 254(%rcx), %xmm29, %xmm30 2291// CHECK: encoding: [0x62,0x66,0x15,0x00,0xad,0x71,0x7f] 2292 vfnmadd213sh 254(%rcx), %xmm29, %xmm30 2293 2294// CHECK: vfnmadd213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2295// CHECK: encoding: [0x62,0x66,0x15,0x87,0xad,0x72,0x80] 2296 vfnmadd213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2297 2298// CHECK: vfnmadd231ph %zmm28, %zmm29, %zmm30 2299// CHECK: encoding: [0x62,0x06,0x15,0x40,0xbc,0xf4] 2300 vfnmadd231ph %zmm28, %zmm29, %zmm30 2301 2302// CHECK: vfnmadd231ph {rn-sae}, %zmm28, %zmm29, %zmm30 2303// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbc,0xf4] 2304 vfnmadd231ph {rn-sae}, %zmm28, %zmm29, %zmm30 2305 2306// CHECK: vfnmadd231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2307// CHECK: encoding: [0x62,0x26,0x15,0x47,0xbc,0xb4,0xf5,0x00,0x00,0x00,0x10] 2308 vfnmadd231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2309 2310// CHECK: vfnmadd231ph (%r9){1to32}, %zmm29, %zmm30 2311// CHECK: encoding: [0x62,0x46,0x15,0x50,0xbc,0x31] 2312 vfnmadd231ph (%r9){1to32}, %zmm29, %zmm30 2313 2314// CHECK: vfnmadd231ph 8128(%rcx), %zmm29, %zmm30 2315// CHECK: encoding: [0x62,0x66,0x15,0x40,0xbc,0x71,0x7f] 2316 vfnmadd231ph 8128(%rcx), %zmm29, %zmm30 2317 2318// CHECK: vfnmadd231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2319// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xbc,0x72,0x80] 2320 vfnmadd231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2321 2322// CHECK: vfnmadd231sh %xmm28, %xmm29, %xmm30 2323// CHECK: encoding: [0x62,0x06,0x15,0x00,0xbd,0xf4] 2324 vfnmadd231sh %xmm28, %xmm29, %xmm30 2325 2326// CHECK: vfnmadd231sh {rn-sae}, %xmm28, %xmm29, %xmm30 2327// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbd,0xf4] 2328 vfnmadd231sh {rn-sae}, %xmm28, %xmm29, %xmm30 2329 2330// CHECK: vfnmadd231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2331// CHECK: encoding: [0x62,0x26,0x15,0x07,0xbd,0xb4,0xf5,0x00,0x00,0x00,0x10] 2332 vfnmadd231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2333 2334// CHECK: vfnmadd231sh (%r9), %xmm29, %xmm30 2335// CHECK: encoding: [0x62,0x46,0x15,0x00,0xbd,0x31] 2336 vfnmadd231sh (%r9), %xmm29, %xmm30 2337 2338// CHECK: vfnmadd231sh 254(%rcx), %xmm29, %xmm30 2339// CHECK: encoding: [0x62,0x66,0x15,0x00,0xbd,0x71,0x7f] 2340 vfnmadd231sh 254(%rcx), %xmm29, %xmm30 2341 2342// CHECK: vfnmadd231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2343// CHECK: encoding: [0x62,0x66,0x15,0x87,0xbd,0x72,0x80] 2344 vfnmadd231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2345 2346// CHECK: vfnmsub132ph %zmm28, %zmm29, %zmm30 2347// CHECK: encoding: [0x62,0x06,0x15,0x40,0x9e,0xf4] 2348 vfnmsub132ph %zmm28, %zmm29, %zmm30 2349 2350// CHECK: vfnmsub132ph {rn-sae}, %zmm28, %zmm29, %zmm30 2351// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9e,0xf4] 2352 vfnmsub132ph {rn-sae}, %zmm28, %zmm29, %zmm30 2353 2354// CHECK: vfnmsub132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2355// CHECK: encoding: [0x62,0x26,0x15,0x47,0x9e,0xb4,0xf5,0x00,0x00,0x00,0x10] 2356 vfnmsub132ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2357 2358// CHECK: vfnmsub132ph (%r9){1to32}, %zmm29, %zmm30 2359// CHECK: encoding: [0x62,0x46,0x15,0x50,0x9e,0x31] 2360 vfnmsub132ph (%r9){1to32}, %zmm29, %zmm30 2361 2362// CHECK: vfnmsub132ph 8128(%rcx), %zmm29, %zmm30 2363// CHECK: encoding: [0x62,0x66,0x15,0x40,0x9e,0x71,0x7f] 2364 vfnmsub132ph 8128(%rcx), %zmm29, %zmm30 2365 2366// CHECK: vfnmsub132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2367// CHECK: encoding: [0x62,0x66,0x15,0xd7,0x9e,0x72,0x80] 2368 vfnmsub132ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2369 2370// CHECK: vfnmsub132sh %xmm28, %xmm29, %xmm30 2371// CHECK: encoding: [0x62,0x06,0x15,0x00,0x9f,0xf4] 2372 vfnmsub132sh %xmm28, %xmm29, %xmm30 2373 2374// CHECK: vfnmsub132sh {rn-sae}, %xmm28, %xmm29, %xmm30 2375// CHECK: encoding: [0x62,0x06,0x15,0x10,0x9f,0xf4] 2376 vfnmsub132sh {rn-sae}, %xmm28, %xmm29, %xmm30 2377 2378// CHECK: vfnmsub132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2379// CHECK: encoding: [0x62,0x26,0x15,0x07,0x9f,0xb4,0xf5,0x00,0x00,0x00,0x10] 2380 vfnmsub132sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2381 2382// CHECK: vfnmsub132sh (%r9), %xmm29, %xmm30 2383// CHECK: encoding: [0x62,0x46,0x15,0x00,0x9f,0x31] 2384 vfnmsub132sh (%r9), %xmm29, %xmm30 2385 2386// CHECK: vfnmsub132sh 254(%rcx), %xmm29, %xmm30 2387// CHECK: encoding: [0x62,0x66,0x15,0x00,0x9f,0x71,0x7f] 2388 vfnmsub132sh 254(%rcx), %xmm29, %xmm30 2389 2390// CHECK: vfnmsub132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2391// CHECK: encoding: [0x62,0x66,0x15,0x87,0x9f,0x72,0x80] 2392 vfnmsub132sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2393 2394// CHECK: vfnmsub213ph %zmm28, %zmm29, %zmm30 2395// CHECK: encoding: [0x62,0x06,0x15,0x40,0xae,0xf4] 2396 vfnmsub213ph %zmm28, %zmm29, %zmm30 2397 2398// CHECK: vfnmsub213ph {rn-sae}, %zmm28, %zmm29, %zmm30 2399// CHECK: encoding: [0x62,0x06,0x15,0x10,0xae,0xf4] 2400 vfnmsub213ph {rn-sae}, %zmm28, %zmm29, %zmm30 2401 2402// CHECK: vfnmsub213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2403// CHECK: encoding: [0x62,0x26,0x15,0x47,0xae,0xb4,0xf5,0x00,0x00,0x00,0x10] 2404 vfnmsub213ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2405 2406// CHECK: vfnmsub213ph (%r9){1to32}, %zmm29, %zmm30 2407// CHECK: encoding: [0x62,0x46,0x15,0x50,0xae,0x31] 2408 vfnmsub213ph (%r9){1to32}, %zmm29, %zmm30 2409 2410// CHECK: vfnmsub213ph 8128(%rcx), %zmm29, %zmm30 2411// CHECK: encoding: [0x62,0x66,0x15,0x40,0xae,0x71,0x7f] 2412 vfnmsub213ph 8128(%rcx), %zmm29, %zmm30 2413 2414// CHECK: vfnmsub213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2415// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xae,0x72,0x80] 2416 vfnmsub213ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2417 2418// CHECK: vfnmsub213sh %xmm28, %xmm29, %xmm30 2419// CHECK: encoding: [0x62,0x06,0x15,0x00,0xaf,0xf4] 2420 vfnmsub213sh %xmm28, %xmm29, %xmm30 2421 2422// CHECK: vfnmsub213sh {rn-sae}, %xmm28, %xmm29, %xmm30 2423// CHECK: encoding: [0x62,0x06,0x15,0x10,0xaf,0xf4] 2424 vfnmsub213sh {rn-sae}, %xmm28, %xmm29, %xmm30 2425 2426// CHECK: vfnmsub213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2427// CHECK: encoding: [0x62,0x26,0x15,0x07,0xaf,0xb4,0xf5,0x00,0x00,0x00,0x10] 2428 vfnmsub213sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2429 2430// CHECK: vfnmsub213sh (%r9), %xmm29, %xmm30 2431// CHECK: encoding: [0x62,0x46,0x15,0x00,0xaf,0x31] 2432 vfnmsub213sh (%r9), %xmm29, %xmm30 2433 2434// CHECK: vfnmsub213sh 254(%rcx), %xmm29, %xmm30 2435// CHECK: encoding: [0x62,0x66,0x15,0x00,0xaf,0x71,0x7f] 2436 vfnmsub213sh 254(%rcx), %xmm29, %xmm30 2437 2438// CHECK: vfnmsub213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2439// CHECK: encoding: [0x62,0x66,0x15,0x87,0xaf,0x72,0x80] 2440 vfnmsub213sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2441 2442// CHECK: vfnmsub231ph %zmm28, %zmm29, %zmm30 2443// CHECK: encoding: [0x62,0x06,0x15,0x40,0xbe,0xf4] 2444 vfnmsub231ph %zmm28, %zmm29, %zmm30 2445 2446// CHECK: vfnmsub231ph {rn-sae}, %zmm28, %zmm29, %zmm30 2447// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbe,0xf4] 2448 vfnmsub231ph {rn-sae}, %zmm28, %zmm29, %zmm30 2449 2450// CHECK: vfnmsub231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2451// CHECK: encoding: [0x62,0x26,0x15,0x47,0xbe,0xb4,0xf5,0x00,0x00,0x00,0x10] 2452 vfnmsub231ph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2453 2454// CHECK: vfnmsub231ph (%r9){1to32}, %zmm29, %zmm30 2455// CHECK: encoding: [0x62,0x46,0x15,0x50,0xbe,0x31] 2456 vfnmsub231ph (%r9){1to32}, %zmm29, %zmm30 2457 2458// CHECK: vfnmsub231ph 8128(%rcx), %zmm29, %zmm30 2459// CHECK: encoding: [0x62,0x66,0x15,0x40,0xbe,0x71,0x7f] 2460 vfnmsub231ph 8128(%rcx), %zmm29, %zmm30 2461 2462// CHECK: vfnmsub231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2463// CHECK: encoding: [0x62,0x66,0x15,0xd7,0xbe,0x72,0x80] 2464 vfnmsub231ph -256(%rdx){1to32}, %zmm29, %zmm30 {%k7} {z} 2465 2466// CHECK: vfnmsub231sh %xmm28, %xmm29, %xmm30 2467// CHECK: encoding: [0x62,0x06,0x15,0x00,0xbf,0xf4] 2468 vfnmsub231sh %xmm28, %xmm29, %xmm30 2469 2470// CHECK: vfnmsub231sh {rn-sae}, %xmm28, %xmm29, %xmm30 2471// CHECK: encoding: [0x62,0x06,0x15,0x10,0xbf,0xf4] 2472 vfnmsub231sh {rn-sae}, %xmm28, %xmm29, %xmm30 2473 2474// CHECK: vfnmsub231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2475// CHECK: encoding: [0x62,0x26,0x15,0x07,0xbf,0xb4,0xf5,0x00,0x00,0x00,0x10] 2476 vfnmsub231sh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2477 2478// CHECK: vfnmsub231sh (%r9), %xmm29, %xmm30 2479// CHECK: encoding: [0x62,0x46,0x15,0x00,0xbf,0x31] 2480 vfnmsub231sh (%r9), %xmm29, %xmm30 2481 2482// CHECK: vfnmsub231sh 254(%rcx), %xmm29, %xmm30 2483// CHECK: encoding: [0x62,0x66,0x15,0x00,0xbf,0x71,0x7f] 2484 vfnmsub231sh 254(%rcx), %xmm29, %xmm30 2485 2486// CHECK: vfnmsub231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2487// CHECK: encoding: [0x62,0x66,0x15,0x87,0xbf,0x72,0x80] 2488 vfnmsub231sh -256(%rdx), %xmm29, %xmm30 {%k7} {z} 2489 2490// CHECK: vfcmaddcph %zmm28, %zmm29, %zmm30 2491// CHECK: encoding: [0x62,0x06,0x17,0x40,0x56,0xf4] 2492 vfcmaddcph %zmm28, %zmm29, %zmm30 2493 2494// CHECK: vfcmaddcph {rn-sae}, %zmm28, %zmm29, %zmm30 2495// CHECK: encoding: [0x62,0x06,0x17,0x10,0x56,0xf4] 2496 vfcmaddcph {rn-sae}, %zmm28, %zmm29, %zmm30 2497 2498// CHECK: vfcmaddcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2499// CHECK: encoding: [0x62,0x26,0x17,0x47,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10] 2500 vfcmaddcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2501 2502// CHECK: vfcmaddcph (%r9){1to16}, %zmm29, %zmm30 2503// CHECK: encoding: [0x62,0x46,0x17,0x50,0x56,0x31] 2504 vfcmaddcph (%r9){1to16}, %zmm29, %zmm30 2505 2506// CHECK: vfcmaddcph 8128(%rcx), %zmm29, %zmm30 2507// CHECK: encoding: [0x62,0x66,0x17,0x40,0x56,0x71,0x7f] 2508 vfcmaddcph 8128(%rcx), %zmm29, %zmm30 2509 2510// CHECK: vfcmaddcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z} 2511// CHECK: encoding: [0x62,0x66,0x17,0xd7,0x56,0x72,0x80] 2512 vfcmaddcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z} 2513 2514// CHECK: vfcmaddcsh %xmm28, %xmm29, %xmm30 2515// CHECK: encoding: [0x62,0x06,0x17,0x00,0x57,0xf4] 2516 vfcmaddcsh %xmm28, %xmm29, %xmm30 2517 2518// CHECK: vfcmaddcsh {rn-sae}, %xmm28, %xmm29, %xmm30 2519// CHECK: encoding: [0x62,0x06,0x17,0x10,0x57,0xf4] 2520 vfcmaddcsh {rn-sae}, %xmm28, %xmm29, %xmm30 2521 2522// CHECK: vfcmaddcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2523// CHECK: encoding: [0x62,0x26,0x17,0x07,0x57,0xb4,0xf5,0x00,0x00,0x00,0x10] 2524 vfcmaddcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2525 2526// CHECK: vfcmaddcsh (%r9), %xmm29, %xmm30 2527// CHECK: encoding: [0x62,0x46,0x17,0x00,0x57,0x31] 2528 vfcmaddcsh (%r9), %xmm29, %xmm30 2529 2530// CHECK: vfcmaddcsh 508(%rcx), %xmm29, %xmm30 2531// CHECK: encoding: [0x62,0x66,0x17,0x00,0x57,0x71,0x7f] 2532 vfcmaddcsh 508(%rcx), %xmm29, %xmm30 2533 2534// CHECK: vfcmaddcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z} 2535// CHECK: encoding: [0x62,0x66,0x17,0x87,0x57,0x72,0x80] 2536 vfcmaddcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z} 2537 2538// CHECK: vfcmulcph %zmm28, %zmm29, %zmm30 2539// CHECK: encoding: [0x62,0x06,0x17,0x40,0xd6,0xf4] 2540 vfcmulcph %zmm28, %zmm29, %zmm30 2541 2542// CHECK: vfcmulcph {rn-sae}, %zmm28, %zmm29, %zmm30 2543// CHECK: encoding: [0x62,0x06,0x17,0x10,0xd6,0xf4] 2544 vfcmulcph {rn-sae}, %zmm28, %zmm29, %zmm30 2545 2546// CHECK: vfcmulcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2547// CHECK: encoding: [0x62,0x26,0x17,0x47,0xd6,0xb4,0xf5,0x00,0x00,0x00,0x10] 2548 vfcmulcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2549 2550// CHECK: vfcmulcph (%r9){1to16}, %zmm29, %zmm30 2551// CHECK: encoding: [0x62,0x46,0x17,0x50,0xd6,0x31] 2552 vfcmulcph (%r9){1to16}, %zmm29, %zmm30 2553 2554// CHECK: vfcmulcph 8128(%rcx), %zmm29, %zmm30 2555// CHECK: encoding: [0x62,0x66,0x17,0x40,0xd6,0x71,0x7f] 2556 vfcmulcph 8128(%rcx), %zmm29, %zmm30 2557 2558// CHECK: vfcmulcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z} 2559// CHECK: encoding: [0x62,0x66,0x17,0xd7,0xd6,0x72,0x80] 2560 vfcmulcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z} 2561 2562// CHECK: vfcmulcsh %xmm28, %xmm29, %xmm30 2563// CHECK: encoding: [0x62,0x06,0x17,0x00,0xd7,0xf4] 2564 vfcmulcsh %xmm28, %xmm29, %xmm30 2565 2566// CHECK: vfcmulcsh {rn-sae}, %xmm28, %xmm29, %xmm30 2567// CHECK: encoding: [0x62,0x06,0x17,0x10,0xd7,0xf4] 2568 vfcmulcsh {rn-sae}, %xmm28, %xmm29, %xmm30 2569 2570// CHECK: vfcmulcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2571// CHECK: encoding: [0x62,0x26,0x17,0x07,0xd7,0xb4,0xf5,0x00,0x00,0x00,0x10] 2572 vfcmulcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2573 2574// CHECK: vfcmulcsh (%r9), %xmm29, %xmm30 2575// CHECK: encoding: [0x62,0x46,0x17,0x00,0xd7,0x31] 2576 vfcmulcsh (%r9), %xmm29, %xmm30 2577 2578// CHECK: vfcmulcsh 508(%rcx), %xmm29, %xmm30 2579// CHECK: encoding: [0x62,0x66,0x17,0x00,0xd7,0x71,0x7f] 2580 vfcmulcsh 508(%rcx), %xmm29, %xmm30 2581 2582// CHECK: vfcmulcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z} 2583// CHECK: encoding: [0x62,0x66,0x17,0x87,0xd7,0x72,0x80] 2584 vfcmulcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z} 2585 2586// CHECK: vfmaddcph %zmm28, %zmm29, %zmm30 2587// CHECK: encoding: [0x62,0x06,0x16,0x40,0x56,0xf4] 2588 vfmaddcph %zmm28, %zmm29, %zmm30 2589 2590// CHECK: vfmaddcph {rn-sae}, %zmm28, %zmm29, %zmm30 2591// CHECK: encoding: [0x62,0x06,0x16,0x10,0x56,0xf4] 2592 vfmaddcph {rn-sae}, %zmm28, %zmm29, %zmm30 2593 2594// CHECK: vfmaddcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2595// CHECK: encoding: [0x62,0x26,0x16,0x47,0x56,0xb4,0xf5,0x00,0x00,0x00,0x10] 2596 vfmaddcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2597 2598// CHECK: vfmaddcph (%r9){1to16}, %zmm29, %zmm30 2599// CHECK: encoding: [0x62,0x46,0x16,0x50,0x56,0x31] 2600 vfmaddcph (%r9){1to16}, %zmm29, %zmm30 2601 2602// CHECK: vfmaddcph 8128(%rcx), %zmm29, %zmm30 2603// CHECK: encoding: [0x62,0x66,0x16,0x40,0x56,0x71,0x7f] 2604 vfmaddcph 8128(%rcx), %zmm29, %zmm30 2605 2606// CHECK: vfmaddcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z} 2607// CHECK: encoding: [0x62,0x66,0x16,0xd7,0x56,0x72,0x80] 2608 vfmaddcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z} 2609 2610// CHECK: vfmaddcsh %xmm28, %xmm29, %xmm30 2611// CHECK: encoding: [0x62,0x06,0x16,0x00,0x57,0xf4] 2612 vfmaddcsh %xmm28, %xmm29, %xmm30 2613 2614// CHECK: vfmaddcsh {rn-sae}, %xmm28, %xmm29, %xmm30 2615// CHECK: encoding: [0x62,0x06,0x16,0x10,0x57,0xf4] 2616 vfmaddcsh {rn-sae}, %xmm28, %xmm29, %xmm30 2617 2618// CHECK: vfmaddcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2619// CHECK: encoding: [0x62,0x26,0x16,0x07,0x57,0xb4,0xf5,0x00,0x00,0x00,0x10] 2620 vfmaddcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2621 2622// CHECK: vfmaddcsh (%r9), %xmm29, %xmm30 2623// CHECK: encoding: [0x62,0x46,0x16,0x00,0x57,0x31] 2624 vfmaddcsh (%r9), %xmm29, %xmm30 2625 2626// CHECK: vfmaddcsh 508(%rcx), %xmm29, %xmm30 2627// CHECK: encoding: [0x62,0x66,0x16,0x00,0x57,0x71,0x7f] 2628 vfmaddcsh 508(%rcx), %xmm29, %xmm30 2629 2630// CHECK: vfmaddcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z} 2631// CHECK: encoding: [0x62,0x66,0x16,0x87,0x57,0x72,0x80] 2632 vfmaddcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z} 2633 2634// CHECK: vfmulcph %zmm28, %zmm29, %zmm30 2635// CHECK: encoding: [0x62,0x06,0x16,0x40,0xd6,0xf4] 2636 vfmulcph %zmm28, %zmm29, %zmm30 2637 2638// CHECK: vfmulcph {rn-sae}, %zmm28, %zmm29, %zmm30 2639// CHECK: encoding: [0x62,0x06,0x16,0x10,0xd6,0xf4] 2640 vfmulcph {rn-sae}, %zmm28, %zmm29, %zmm30 2641 2642// CHECK: vfmulcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2643// CHECK: encoding: [0x62,0x26,0x16,0x47,0xd6,0xb4,0xf5,0x00,0x00,0x00,0x10] 2644 vfmulcph 268435456(%rbp,%r14,8), %zmm29, %zmm30 {%k7} 2645 2646// CHECK: vfmulcph (%r9){1to16}, %zmm29, %zmm30 2647// CHECK: encoding: [0x62,0x46,0x16,0x50,0xd6,0x31] 2648 vfmulcph (%r9){1to16}, %zmm29, %zmm30 2649 2650// CHECK: vfmulcph 8128(%rcx), %zmm29, %zmm30 2651// CHECK: encoding: [0x62,0x66,0x16,0x40,0xd6,0x71,0x7f] 2652 vfmulcph 8128(%rcx), %zmm29, %zmm30 2653 2654// CHECK: vfmulcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z} 2655// CHECK: encoding: [0x62,0x66,0x16,0xd7,0xd6,0x72,0x80] 2656 vfmulcph -512(%rdx){1to16}, %zmm29, %zmm30 {%k7} {z} 2657 2658// CHECK: vfmulcsh %xmm28, %xmm29, %xmm30 2659// CHECK: encoding: [0x62,0x06,0x16,0x00,0xd7,0xf4] 2660 vfmulcsh %xmm28, %xmm29, %xmm30 2661 2662// CHECK: vfmulcsh {rn-sae}, %xmm28, %xmm29, %xmm30 2663// CHECK: encoding: [0x62,0x06,0x16,0x10,0xd7,0xf4] 2664 vfmulcsh {rn-sae}, %xmm28, %xmm29, %xmm30 2665 2666// CHECK: vfmulcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2667// CHECK: encoding: [0x62,0x26,0x16,0x07,0xd7,0xb4,0xf5,0x00,0x00,0x00,0x10] 2668 vfmulcsh 268435456(%rbp,%r14,8), %xmm29, %xmm30 {%k7} 2669 2670// CHECK: vfmulcsh (%r9), %xmm29, %xmm30 2671// CHECK: encoding: [0x62,0x46,0x16,0x00,0xd7,0x31] 2672 vfmulcsh (%r9), %xmm29, %xmm30 2673 2674// CHECK: vfmulcsh 508(%rcx), %xmm29, %xmm30 2675// CHECK: encoding: [0x62,0x66,0x16,0x00,0xd7,0x71,0x7f] 2676 vfmulcsh 508(%rcx), %xmm29, %xmm30 2677 2678// CHECK: vfmulcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z} 2679// CHECK: encoding: [0x62,0x66,0x16,0x87,0xd7,0x72,0x80] 2680 vfmulcsh -512(%rdx), %xmm29, %xmm30 {%k7} {z} 2681