llvm/test/MC/X86/avx512fp16.s

   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}