test/MC/X86/x86-32-avx.s

   1 // RUN: llvm-mc -triple i386-unknown-unknown --show-encoding %s | FileCheck %s
   2
   3 // CHECK: vaddss  %xmm4, %xmm6, %xmm2
   4 // CHECK:  encoding: [0xc5,0xca,0x58,0xd4]
   5           vaddss  %xmm4, %xmm6, %xmm2
   6
   7 // CHECK: vmulss  %xmm4, %xmm6, %xmm2
   8 // CHECK:  encoding: [0xc5,0xca,0x59,0xd4]
   9           vmulss  %xmm4, %xmm6, %xmm2
  10
  11 // CHECK: vsubss  %xmm4, %xmm6, %xmm2
  12 // CHECK:  encoding: [0xc5,0xca,0x5c,0xd4]
  13           vsubss  %xmm4, %xmm6, %xmm2
  14
  15 // CHECK: vdivss  %xmm4, %xmm6, %xmm2
  16 // CHECK:  encoding: [0xc5,0xca,0x5e,0xd4]
  17           vdivss  %xmm4, %xmm6, %xmm2
  18
  19 // CHECK: vaddsd  %xmm4, %xmm6, %xmm2
  20 // CHECK:  encoding: [0xc5,0xcb,0x58,0xd4]
  21           vaddsd  %xmm4, %xmm6, %xmm2
  22
  23 // CHECK: vmulsd  %xmm4, %xmm6, %xmm2
  24 // CHECK:  encoding: [0xc5,0xcb,0x59,0xd4]
  25           vmulsd  %xmm4, %xmm6, %xmm2
  26
  27 // CHECK: vsubsd  %xmm4, %xmm6, %xmm2
  28 // CHECK:  encoding: [0xc5,0xcb,0x5c,0xd4]
  29           vsubsd  %xmm4, %xmm6, %xmm2
  30
  31 // CHECK: vdivsd  %xmm4, %xmm6, %xmm2
  32 // CHECK:  encoding: [0xc5,0xcb,0x5e,0xd4]
  33           vdivsd  %xmm4, %xmm6, %xmm2
  34
  35 // CHECK: vaddss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  36 // CHECK:  encoding: [0xc5,0xea,0x58,0xac,0xcb,0xef,0xbe,0xad,0xde]
  37           vaddss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  38
  39 // CHECK: vsubss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  40 // CHECK:  encoding: [0xc5,0xea,0x5c,0xac,0xcb,0xef,0xbe,0xad,0xde]
  41           vsubss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  42
  43 // CHECK: vmulss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  44 // CHECK:  encoding: [0xc5,0xea,0x59,0xac,0xcb,0xef,0xbe,0xad,0xde]
  45           vmulss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  46
  47 // CHECK: vdivss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  48 // CHECK:  encoding: [0xc5,0xea,0x5e,0xac,0xcb,0xef,0xbe,0xad,0xde]
  49           vdivss  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  50
  51 // CHECK: vaddsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  52 // CHECK:  encoding: [0xc5,0xeb,0x58,0xac,0xcb,0xef,0xbe,0xad,0xde]
  53           vaddsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  54
  55 // CHECK: vsubsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  56 // CHECK:  encoding: [0xc5,0xeb,0x5c,0xac,0xcb,0xef,0xbe,0xad,0xde]
  57           vsubsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  58
  59 // CHECK: vmulsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  60 // CHECK:  encoding: [0xc5,0xeb,0x59,0xac,0xcb,0xef,0xbe,0xad,0xde]
  61           vmulsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  62
  63 // CHECK: vdivsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  64 // CHECK:  encoding: [0xc5,0xeb,0x5e,0xac,0xcb,0xef,0xbe,0xad,0xde]
  65           vdivsd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
  66
  67 // CHECK: vaddps  %xmm4, %xmm6, %xmm2
  68 // CHECK: encoding: [0xc5,0xc8,0x58,0xd4]
  69           vaddps  %xmm4, %xmm6, %xmm2
  70
  71 // CHECK: vsubps  %xmm4, %xmm6, %xmm2
  72 // CHECK: encoding: [0xc5,0xc8,0x5c,0xd4]
  73           vsubps  %xmm4, %xmm6, %xmm2
  74
  75 // CHECK: vmulps  %xmm4, %xmm6, %xmm2
  76 // CHECK: encoding: [0xc5,0xc8,0x59,0xd4]
  77           vmulps  %xmm4, %xmm6, %xmm2
  78
  79 // CHECK: vdivps  %xmm4, %xmm6, %xmm2
  80 // CHECK: encoding: [0xc5,0xc8,0x5e,0xd4]
  81           vdivps  %xmm4, %xmm6, %xmm2
  82
  83 // CHECK: vaddpd  %xmm4, %xmm6, %xmm2
  84 // CHECK: encoding: [0xc5,0xc9,0x58,0xd4]
  85           vaddpd  %xmm4, %xmm6, %xmm2
  86
  87 // CHECK: vsubpd  %xmm4, %xmm6, %xmm2
  88 // CHECK: encoding: [0xc5,0xc9,0x5c,0xd4]
  89           vsubpd  %xmm4, %xmm6, %xmm2
  90
  91 // CHECK: vmulpd  %xmm4, %xmm6, %xmm2
  92 // CHECK: encoding: [0xc5,0xc9,0x59,0xd4]
  93           vmulpd  %xmm4, %xmm6, %xmm2
  94
  95 // CHECK: vdivpd  %xmm4, %xmm6, %xmm2
  96 // CHECK: encoding: [0xc5,0xc9,0x5e,0xd4]
  97           vdivpd  %xmm4, %xmm6, %xmm2
  98
  99 // CHECK: vaddps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 100 // CHECK: encoding: [0xc5,0xe8,0x58,0xac,0xcb,0xef,0xbe,0xad,0xde]
 101           vaddps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 102
 103 // CHECK: vsubps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 104 // CHECK: encoding: [0xc5,0xe8,0x5c,0xac,0xcb,0xef,0xbe,0xad,0xde]
 105           vsubps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 106
 107 // CHECK: vmulps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 108 // CHECK: encoding: [0xc5,0xe8,0x59,0xac,0xcb,0xef,0xbe,0xad,0xde]
 109           vmulps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 110
 111 // CHECK: vdivps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 112 // CHECK: encoding: [0xc5,0xe8,0x5e,0xac,0xcb,0xef,0xbe,0xad,0xde]
 113           vdivps  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 114
 115 // CHECK: vaddpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 116 // CHECK: encoding: [0xc5,0xe9,0x58,0xac,0xcb,0xef,0xbe,0xad,0xde]
 117           vaddpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 118
 119 // CHECK: vsubpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 120 // CHECK: encoding: [0xc5,0xe9,0x5c,0xac,0xcb,0xef,0xbe,0xad,0xde]
 121           vsubpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 122
 123 // CHECK: vmulpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 124 // CHECK: encoding: [0xc5,0xe9,0x59,0xac,0xcb,0xef,0xbe,0xad,0xde]
 125           vmulpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 126
 127 // CHECK: vdivpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 128 // CHECK: encoding: [0xc5,0xe9,0x5e,0xac,0xcb,0xef,0xbe,0xad,0xde]
 129           vdivpd  3735928559(%ebx,%ecx,8), %xmm2, %xmm5
 130 // CHECK: vmaxss  %xmm2, %xmm4, %xmm6
 131 // CHECK: encoding: [0xc5,0xda,0x5f,0xf2]
 132           vmaxss  %xmm2, %xmm4, %xmm6
 133
 134 // CHECK: vmaxsd  %xmm2, %xmm4, %xmm6
 135 // CHECK: encoding: [0xc5,0xdb,0x5f,0xf2]
 136           vmaxsd  %xmm2, %xmm4, %xmm6
 137
 138 // CHECK: vminss  %xmm2, %xmm4, %xmm6
 139 // CHECK: encoding: [0xc5,0xda,0x5d,0xf2]
 140           vminss  %xmm2, %xmm4, %xmm6
 141
 142 // CHECK: vminsd  %xmm2, %xmm4, %xmm6
 143 // CHECK: encoding: [0xc5,0xdb,0x5d,0xf2]
 144           vminsd  %xmm2, %xmm4, %xmm6
 145
 146 // CHECK: vmaxss  -4(%ebx,%ecx,8), %xmm2, %xmm5
 147 // CHECK: encoding: [0xc5,0xea,0x5f,0x6c,0xcb,0xfc]
 148           vmaxss  -4(%ebx,%ecx,8), %xmm2, %xmm5
 149
 150 // CHECK: vmaxsd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 151 // CHECK: encoding: [0xc5,0xeb,0x5f,0x6c,0xcb,0xfc]
 152           vmaxsd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 153
 154 // CHECK: vminss  -4(%ebx,%ecx,8), %xmm2, %xmm5
 155 // CHECK: encoding: [0xc5,0xea,0x5d,0x6c,0xcb,0xfc]
 156           vminss  -4(%ebx,%ecx,8), %xmm2, %xmm5
 157
 158 // CHECK: vminsd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 159 // CHECK: encoding: [0xc5,0xeb,0x5d,0x6c,0xcb,0xfc]
 160           vminsd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 161
 162 // CHECK: vmaxps  %xmm2, %xmm4, %xmm6
 163 // CHECK: encoding: [0xc5,0xd8,0x5f,0xf2]
 164           vmaxps  %xmm2, %xmm4, %xmm6
 165
 166 // CHECK: vmaxpd  %xmm2, %xmm4, %xmm6
 167 // CHECK: encoding: [0xc5,0xd9,0x5f,0xf2]
 168           vmaxpd  %xmm2, %xmm4, %xmm6
 169
 170 // CHECK: vminps  %xmm2, %xmm4, %xmm6
 171 // CHECK: encoding: [0xc5,0xd8,0x5d,0xf2]
 172           vminps  %xmm2, %xmm4, %xmm6
 173
 174 // CHECK: vminpd  %xmm2, %xmm4, %xmm6
 175 // CHECK: encoding: [0xc5,0xd9,0x5d,0xf2]
 176           vminpd  %xmm2, %xmm4, %xmm6
 177
 178 // CHECK: vmaxps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 179 // CHECK: encoding: [0xc5,0xe8,0x5f,0x6c,0xcb,0xfc]
 180           vmaxps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 181
 182 // CHECK: vmaxpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 183 // CHECK: encoding: [0xc5,0xe9,0x5f,0x6c,0xcb,0xfc]
 184           vmaxpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 185
 186 // CHECK: vminps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 187 // CHECK: encoding: [0xc5,0xe8,0x5d,0x6c,0xcb,0xfc]
 188           vminps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 189
 190 // CHECK: vminpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 191 // CHECK: encoding: [0xc5,0xe9,0x5d,0x6c,0xcb,0xfc]
 192           vminpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 193
 194 // CHECK: vandps  %xmm2, %xmm4, %xmm6
 195 // CHECK: encoding: [0xc5,0xd8,0x54,0xf2]
 196           vandps  %xmm2, %xmm4, %xmm6
 197
 198 // CHECK: vandpd  %xmm2, %xmm4, %xmm6
 199 // CHECK: encoding: [0xc5,0xd9,0x54,0xf2]
 200           vandpd  %xmm2, %xmm4, %xmm6
 201
 202 // CHECK: vandps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 203 // CHECK: encoding: [0xc5,0xe8,0x54,0x6c,0xcb,0xfc]
 204           vandps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 205
 206 // CHECK: vandpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 207 // CHECK: encoding: [0xc5,0xe9,0x54,0x6c,0xcb,0xfc]
 208           vandpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 209
 210 // CHECK: vorps  %xmm2, %xmm4, %xmm6
 211 // CHECK: encoding: [0xc5,0xd8,0x56,0xf2]
 212           vorps  %xmm2, %xmm4, %xmm6
 213
 214 // CHECK: vorpd  %xmm2, %xmm4, %xmm6
 215 // CHECK: encoding: [0xc5,0xd9,0x56,0xf2]
 216           vorpd  %xmm2, %xmm4, %xmm6
 217
 218 // CHECK: vorps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 219 // CHECK: encoding: [0xc5,0xe8,0x56,0x6c,0xcb,0xfc]
 220           vorps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 221
 222 // CHECK: vorpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 223 // CHECK: encoding: [0xc5,0xe9,0x56,0x6c,0xcb,0xfc]
 224           vorpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 225
 226 // CHECK: vxorps  %xmm2, %xmm4, %xmm6
 227 // CHECK: encoding: [0xc5,0xd8,0x57,0xf2]
 228           vxorps  %xmm2, %xmm4, %xmm6
 229
 230 // CHECK: vxorpd  %xmm2, %xmm4, %xmm6
 231 // CHECK: encoding: [0xc5,0xd9,0x57,0xf2]
 232           vxorpd  %xmm2, %xmm4, %xmm6
 233
 234 // CHECK: vxorps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 235 // CHECK: encoding: [0xc5,0xe8,0x57,0x6c,0xcb,0xfc]
 236           vxorps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 237
 238 // CHECK: vxorpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 239 // CHECK: encoding: [0xc5,0xe9,0x57,0x6c,0xcb,0xfc]
 240           vxorpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 241
 242 // CHECK: vandnps  %xmm2, %xmm4, %xmm6
 243 // CHECK: encoding: [0xc5,0xd8,0x55,0xf2]
 244           vandnps  %xmm2, %xmm4, %xmm6
 245
 246 // CHECK: vandnpd  %xmm2, %xmm4, %xmm6
 247 // CHECK: encoding: [0xc5,0xd9,0x55,0xf2]
 248           vandnpd  %xmm2, %xmm4, %xmm6
 249
 250 // CHECK: vandnps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 251 // CHECK: encoding: [0xc5,0xe8,0x55,0x6c,0xcb,0xfc]
 252           vandnps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 253
 254 // CHECK: vandnpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 255 // CHECK: encoding: [0xc5,0xe9,0x55,0x6c,0xcb,0xfc]
 256           vandnpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 257
 258 // CHECK: vmovss  -4(%ebx,%ecx,8), %xmm5
 259 // CHECK: encoding: [0xc5,0xfa,0x10,0x6c,0xcb,0xfc]
 260           vmovss  -4(%ebx,%ecx,8), %xmm5
 261
 262 // CHECK: vmovss  %xmm4, %xmm2, %xmm5
 263 // CHECK: encoding: [0xc5,0xea,0x10,0xec]
 264           vmovss  %xmm4, %xmm2, %xmm5
 265
 266 // CHECK: vmovsd  -4(%ebx,%ecx,8), %xmm5
 267 // CHECK: encoding: [0xc5,0xfb,0x10,0x6c,0xcb,0xfc]
 268           vmovsd  -4(%ebx,%ecx,8), %xmm5
 269
 270 // CHECK: vmovsd  %xmm4, %xmm2, %xmm5
 271 // CHECK: encoding: [0xc5,0xeb,0x10,0xec]
 272           vmovsd  %xmm4, %xmm2, %xmm5
 273
 274 // CHECK: vunpckhps  %xmm1, %xmm2, %xmm4
 275 // CHECK: encoding: [0xc5,0xe8,0x15,0xe1]
 276           vunpckhps  %xmm1, %xmm2, %xmm4
 277
 278 // CHECK: vunpckhpd  %xmm1, %xmm2, %xmm4
 279 // CHECK: encoding: [0xc5,0xe9,0x15,0xe1]
 280           vunpckhpd  %xmm1, %xmm2, %xmm4
 281
 282 // CHECK: vunpcklps  %xmm1, %xmm2, %xmm4
 283 // CHECK: encoding: [0xc5,0xe8,0x14,0xe1]
 284           vunpcklps  %xmm1, %xmm2, %xmm4
 285
 286 // CHECK: vunpcklpd  %xmm1, %xmm2, %xmm4
 287 // CHECK: encoding: [0xc5,0xe9,0x14,0xe1]
 288           vunpcklpd  %xmm1, %xmm2, %xmm4
 289
 290 // CHECK: vunpckhps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 291 // CHECK: encoding: [0xc5,0xe8,0x15,0x6c,0xcb,0xfc]
 292           vunpckhps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 293
 294 // CHECK: vunpckhpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 295 // CHECK: encoding: [0xc5,0xe9,0x15,0x6c,0xcb,0xfc]
 296           vunpckhpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 297
 298 // CHECK: vunpcklps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 299 // CHECK: encoding: [0xc5,0xe8,0x14,0x6c,0xcb,0xfc]
 300           vunpcklps  -4(%ebx,%ecx,8), %xmm2, %xmm5
 301
 302 // CHECK: vunpcklpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 303 // CHECK: encoding: [0xc5,0xe9,0x14,0x6c,0xcb,0xfc]
 304           vunpcklpd  -4(%ebx,%ecx,8), %xmm2, %xmm5
 305
 306 // CHECK: vcmpps  $0, %xmm0, %xmm6, %xmm1
 307 // CHECK: encoding: [0xc5,0xc8,0xc2,0xc8,0x00]
 308           vcmpps  $0, %xmm0, %xmm6, %xmm1
 309
 310 // CHECK: vcmpps  $0, (%eax), %xmm6, %xmm1
 311 // CHECK: encoding: [0xc5,0xc8,0xc2,0x08,0x00]
 312           vcmpps  $0, (%eax), %xmm6, %xmm1
 313
 314 // CHECK: vcmpps  $7, %xmm0, %xmm6, %xmm1
 315 // CHECK: encoding: [0xc5,0xc8,0xc2,0xc8,0x07]
 316           vcmpps  $7, %xmm0, %xmm6, %xmm1
 317
 318 // CHECK: vcmppd  $0, %xmm0, %xmm6, %xmm1
 319 // CHECK: encoding: [0xc5,0xc9,0xc2,0xc8,0x00]
 320           vcmppd  $0, %xmm0, %xmm6, %xmm1
 321
 322 // CHECK: vcmppd  $0, (%eax), %xmm6, %xmm1
 323 // CHECK: encoding: [0xc5,0xc9,0xc2,0x08,0x00]
 324           vcmppd  $0, (%eax), %xmm6, %xmm1
 325
 326 // CHECK: vcmppd  $7, %xmm0, %xmm6, %xmm1
 327 // CHECK: encoding: [0xc5,0xc9,0xc2,0xc8,0x07]
 328           vcmppd  $7, %xmm0, %xmm6, %xmm1
 329
 330 // CHECK: vshufps  $8, %xmm1, %xmm2, %xmm3
 331 // CHECK: encoding: [0xc5,0xe8,0xc6,0xd9,0x08]
 332           vshufps  $8, %xmm1, %xmm2, %xmm3
 333
 334 // CHECK: vshufps  $8, -4(%ebx,%ecx,8), %xmm2, %xmm3
 335 // CHECK: encoding: [0xc5,0xe8,0xc6,0x5c,0xcb,0xfc,0x08]
 336           vshufps  $8, -4(%ebx,%ecx,8), %xmm2, %xmm3
 337
 338 // CHECK: vshufpd  $8, %xmm1, %xmm2, %xmm3
 339 // CHECK: encoding: [0xc5,0xe9,0xc6,0xd9,0x08]
 340           vshufpd  $8, %xmm1, %xmm2, %xmm3
 341
 342 // CHECK: vshufpd  $8, -4(%ebx,%ecx,8), %xmm2, %xmm3
 343 // CHECK: encoding: [0xc5,0xe9,0xc6,0x5c,0xcb,0xfc,0x08]
 344           vshufpd  $8, -4(%ebx,%ecx,8), %xmm2, %xmm3
 345
 346 // CHECK: vcmpps  $0, %xmm1, %xmm2, %xmm3
 347 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x00]
 348           vcmpeqps   %xmm1, %xmm2, %xmm3
 349
 350 // CHECK: vcmpps  $2, %xmm1, %xmm2, %xmm3
 351 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x02]
 352           vcmpleps   %xmm1, %xmm2, %xmm3
 353
 354 // CHECK: vcmpps  $1, %xmm1, %xmm2, %xmm3
 355 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x01]
 356           vcmpltps   %xmm1, %xmm2, %xmm3
 357
 358 // CHECK: vcmpps  $4, %xmm1, %xmm2, %xmm3
 359 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x04]
 360           vcmpneqps   %xmm1, %xmm2, %xmm3
 361
 362 // CHECK: vcmpps  $6, %xmm1, %xmm2, %xmm3
 363 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x06]
 364           vcmpnleps   %xmm1, %xmm2, %xmm3
 365
 366 // CHECK: vcmpps  $5, %xmm1, %xmm2, %xmm3
 367 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x05]
 368           vcmpnltps   %xmm1, %xmm2, %xmm3
 369
 370 // CHECK: vcmpps  $7, %xmm1, %xmm2, %xmm3
 371 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x07]
 372           vcmpordps   %xmm1, %xmm2, %xmm3
 373
 374 // CHECK: vcmpps  $3, %xmm1, %xmm2, %xmm3
 375 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x03]
 376           vcmpunordps   %xmm1, %xmm2, %xmm3
 377
 378 // CHECK: vcmpps  $0, -4(%ebx,%ecx,8), %xmm2, %xmm3
 379 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x00]
 380           vcmpeqps   -4(%ebx,%ecx,8), %xmm2, %xmm3
 381
 382 // CHECK: vcmpps  $2, -4(%ebx,%ecx,8), %xmm2, %xmm3
 383 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x02]
 384           vcmpleps   -4(%ebx,%ecx,8), %xmm2, %xmm3
 385
 386 // CHECK: vcmpps  $1, -4(%ebx,%ecx,8), %xmm2, %xmm3
 387 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x01]
 388           vcmpltps   -4(%ebx,%ecx,8), %xmm2, %xmm3
 389
 390 // CHECK: vcmpps  $4, -4(%ebx,%ecx,8), %xmm2, %xmm3
 391 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x04]
 392           vcmpneqps   -4(%ebx,%ecx,8), %xmm2, %xmm3
 393
 394 // CHECK: vcmpps  $6, -4(%ebx,%ecx,8), %xmm2, %xmm3
 395 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x06]
 396           vcmpnleps   -4(%ebx,%ecx,8), %xmm2, %xmm3
 397
 398 // CHECK: vcmpps  $5, -4(%ebx,%ecx,8), %xmm2, %xmm3
 399 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x05]
 400           vcmpnltps   -4(%ebx,%ecx,8), %xmm2, %xmm3
 401
 402 // CHECK: vcmpps  $7, -4(%ebx,%ecx,8), %xmm6, %xmm2
 403 // CHECK: encoding: [0xc5,0xc8,0xc2,0x54,0xcb,0xfc,0x07]
 404           vcmpordps   -4(%ebx,%ecx,8), %xmm6, %xmm2
 405
 406 // CHECK: vcmpps  $3, -4(%ebx,%ecx,8), %xmm2, %xmm3
 407 // CHECK: encoding: [0xc5,0xe8,0xc2,0x5c,0xcb,0xfc,0x03]
 408           vcmpunordps   -4(%ebx,%ecx,8), %xmm2, %xmm3
 409
 410 // CHECK: vcmppd  $0, %xmm1, %xmm2, %xmm3
 411 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x00]
 412           vcmpeqpd   %xmm1, %xmm2, %xmm3
 413
 414 // CHECK: vcmppd  $2, %xmm1, %xmm2, %xmm3
 415 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x02]
 416           vcmplepd   %xmm1, %xmm2, %xmm3
 417
 418 // CHECK: vcmppd  $1, %xmm1, %xmm2, %xmm3
 419 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x01]
 420           vcmpltpd   %xmm1, %xmm2, %xmm3
 421
 422 // CHECK: vcmppd  $4, %xmm1, %xmm2, %xmm3
 423 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x04]
 424           vcmpneqpd   %xmm1, %xmm2, %xmm3
 425
 426 // CHECK: vcmppd  $6, %xmm1, %xmm2, %xmm3
 427 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x06]
 428           vcmpnlepd   %xmm1, %xmm2, %xmm3
 429
 430 // CHECK: vcmppd  $5, %xmm1, %xmm2, %xmm3
 431 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x05]
 432           vcmpnltpd   %xmm1, %xmm2, %xmm3
 433
 434 // CHECK: vcmppd  $7, %xmm1, %xmm2, %xmm3
 435 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x07]
 436           vcmpordpd   %xmm1, %xmm2, %xmm3
 437
 438 // CHECK: vcmppd  $3, %xmm1, %xmm2, %xmm3
 439 // CHECK: encoding: [0xc5,0xe9,0xc2,0xd9,0x03]
 440           vcmpunordpd   %xmm1, %xmm2, %xmm3
 441
 442 // CHECK: vcmppd  $0, -4(%ebx,%ecx,8), %xmm2, %xmm3
 443 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x00]
 444           vcmpeqpd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 445
 446 // CHECK: vcmppd  $2, -4(%ebx,%ecx,8), %xmm2, %xmm3
 447 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x02]
 448           vcmplepd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 449
 450 // CHECK: vcmppd  $1, -4(%ebx,%ecx,8), %xmm2, %xmm3
 451 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x01]
 452           vcmpltpd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 453
 454 // CHECK: vcmppd  $4, -4(%ebx,%ecx,8), %xmm2, %xmm3
 455 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x04]
 456           vcmpneqpd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 457
 458 // CHECK: vcmppd  $6, -4(%ebx,%ecx,8), %xmm2, %xmm3
 459 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x06]
 460           vcmpnlepd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 461
 462 // CHECK: vcmppd  $5, -4(%ebx,%ecx,8), %xmm2, %xmm3
 463 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x05]
 464           vcmpnltpd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 465
 466 // CHECK: vcmppd  $7, -4(%ebx,%ecx,8), %xmm6, %xmm2
 467 // CHECK: encoding: [0xc5,0xc9,0xc2,0x54,0xcb,0xfc,0x07]
 468           vcmpordpd   -4(%ebx,%ecx,8), %xmm6, %xmm2
 469
 470 // CHECK: vcmppd  $3, -4(%ebx,%ecx,8), %xmm2, %xmm3
 471 // CHECK: encoding: [0xc5,0xe9,0xc2,0x5c,0xcb,0xfc,0x03]
 472           vcmpunordpd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 473
 474 // CHECK: vmovmskps  %xmm2, %eax
 475 // CHECK: encoding: [0xc5,0xf8,0x50,0xc2]
 476           vmovmskps  %xmm2, %eax
 477
 478 // CHECK: vmovmskpd  %xmm2, %eax
 479 // CHECK: encoding: [0xc5,0xf9,0x50,0xc2]
 480           vmovmskpd  %xmm2, %eax
 481
 482 // CHECK: vcmpss  $0, %xmm1, %xmm2, %xmm3
 483 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x00]
 484           vcmpeqss   %xmm1, %xmm2, %xmm3
 485
 486 // CHECK: vcmpss  $2, %xmm1, %xmm2, %xmm3
 487 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x02]
 488           vcmpless   %xmm1, %xmm2, %xmm3
 489
 490 // CHECK: vcmpss  $1, %xmm1, %xmm2, %xmm3
 491 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x01]
 492           vcmpltss   %xmm1, %xmm2, %xmm3
 493
 494 // CHECK: vcmpss  $4, %xmm1, %xmm2, %xmm3
 495 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x04]
 496           vcmpneqss   %xmm1, %xmm2, %xmm3
 497
 498 // CHECK: vcmpss  $6, %xmm1, %xmm2, %xmm3
 499 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x06]
 500           vcmpnless   %xmm1, %xmm2, %xmm3
 501
 502 // CHECK: vcmpss  $5, %xmm1, %xmm2, %xmm3
 503 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x05]
 504           vcmpnltss   %xmm1, %xmm2, %xmm3
 505
 506 // CHECK: vcmpss  $7, %xmm1, %xmm2, %xmm3
 507 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x07]
 508           vcmpordss   %xmm1, %xmm2, %xmm3
 509
 510 // CHECK: vcmpss  $3, %xmm1, %xmm2, %xmm3
 511 // CHECK: encoding: [0xc5,0xea,0xc2,0xd9,0x03]
 512           vcmpunordss   %xmm1, %xmm2, %xmm3
 513
 514 // CHECK: vcmpss  $0, -4(%ebx,%ecx,8), %xmm2, %xmm3
 515 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x00]
 516           vcmpeqss   -4(%ebx,%ecx,8), %xmm2, %xmm3
 517
 518 // CHECK: vcmpss  $2, -4(%ebx,%ecx,8), %xmm2, %xmm3
 519 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x02]
 520           vcmpless   -4(%ebx,%ecx,8), %xmm2, %xmm3
 521
 522 // CHECK: vcmpss  $1, -4(%ebx,%ecx,8), %xmm2, %xmm3
 523 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x01]
 524           vcmpltss   -4(%ebx,%ecx,8), %xmm2, %xmm3
 525
 526 // CHECK: vcmpss  $4, -4(%ebx,%ecx,8), %xmm2, %xmm3
 527 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x04]
 528           vcmpneqss   -4(%ebx,%ecx,8), %xmm2, %xmm3
 529
 530 // CHECK: vcmpss  $6, -4(%ebx,%ecx,8), %xmm2, %xmm3
 531 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x06]
 532           vcmpnless   -4(%ebx,%ecx,8), %xmm2, %xmm3
 533
 534 // CHECK: vcmpss  $5, -4(%ebx,%ecx,8), %xmm2, %xmm3
 535 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x05]
 536           vcmpnltss   -4(%ebx,%ecx,8), %xmm2, %xmm3
 537
 538 // CHECK: vcmpss  $7, -4(%ebx,%ecx,8), %xmm6, %xmm2
 539 // CHECK: encoding: [0xc5,0xca,0xc2,0x54,0xcb,0xfc,0x07]
 540           vcmpordss   -4(%ebx,%ecx,8), %xmm6, %xmm2
 541
 542 // CHECK: vcmpss  $3, -4(%ebx,%ecx,8), %xmm2, %xmm3
 543 // CHECK: encoding: [0xc5,0xea,0xc2,0x5c,0xcb,0xfc,0x03]
 544           vcmpunordss   -4(%ebx,%ecx,8), %xmm2, %xmm3
 545
 546 // CHECK: vcmpsd  $0, %xmm1, %xmm2, %xmm3
 547 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x00]
 548           vcmpeqsd   %xmm1, %xmm2, %xmm3
 549
 550 // CHECK: vcmpsd  $2, %xmm1, %xmm2, %xmm3
 551 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x02]
 552           vcmplesd   %xmm1, %xmm2, %xmm3
 553
 554 // CHECK: vcmpsd  $1, %xmm1, %xmm2, %xmm3
 555 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x01]
 556           vcmpltsd   %xmm1, %xmm2, %xmm3
 557
 558 // CHECK: vcmpsd  $4, %xmm1, %xmm2, %xmm3
 559 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x04]
 560           vcmpneqsd   %xmm1, %xmm2, %xmm3
 561
 562 // CHECK: vcmpsd  $6, %xmm1, %xmm2, %xmm3
 563 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x06]
 564           vcmpnlesd   %xmm1, %xmm2, %xmm3
 565
 566 // CHECK: vcmpsd  $5, %xmm1, %xmm2, %xmm3
 567 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x05]
 568           vcmpnltsd   %xmm1, %xmm2, %xmm3
 569
 570 // CHECK: vcmpsd  $7, %xmm1, %xmm2, %xmm3
 571 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x07]
 572           vcmpordsd   %xmm1, %xmm2, %xmm3
 573
 574 // CHECK: vcmpsd  $3, %xmm1, %xmm2, %xmm3
 575 // CHECK: encoding: [0xc5,0xeb,0xc2,0xd9,0x03]
 576           vcmpunordsd   %xmm1, %xmm2, %xmm3
 577
 578 // CHECK: vcmpsd  $0, -4(%ebx,%ecx,8), %xmm2, %xmm3
 579 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x00]
 580           vcmpeqsd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 581
 582 // CHECK: vcmpsd  $2, -4(%ebx,%ecx,8), %xmm2, %xmm3
 583 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x02]
 584           vcmplesd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 585
 586 // CHECK: vcmpsd  $1, -4(%ebx,%ecx,8), %xmm2, %xmm3
 587 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x01]
 588           vcmpltsd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 589
 590 // CHECK: vcmpsd  $4, -4(%ebx,%ecx,8), %xmm2, %xmm3
 591 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x04]
 592           vcmpneqsd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 593
 594 // CHECK: vcmpsd  $6, -4(%ebx,%ecx,8), %xmm2, %xmm3
 595 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x06]
 596           vcmpnlesd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 597
 598 // CHECK: vcmpsd  $5, -4(%ebx,%ecx,8), %xmm2, %xmm3
 599 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x05]
 600           vcmpnltsd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 601
 602 // CHECK: vcmpsd  $7, -4(%ebx,%ecx,8), %xmm6, %xmm2
 603 // CHECK: encoding: [0xc5,0xcb,0xc2,0x54,0xcb,0xfc,0x07]
 604           vcmpordsd   -4(%ebx,%ecx,8), %xmm6, %xmm2
 605
 606 // CHECK: vcmpsd  $3, -4(%ebx,%ecx,8), %xmm2, %xmm3
 607 // CHECK: encoding: [0xc5,0xeb,0xc2,0x5c,0xcb,0xfc,0x03]
 608           vcmpunordsd   -4(%ebx,%ecx,8), %xmm2, %xmm3
 609
 610 // CHECK: vucomiss  %xmm1, %xmm2
 611 // CHECK: encoding: [0xc5,0xf8,0x2e,0xd1]
 612           vucomiss  %xmm1, %xmm2
 613
 614 // CHECK: vucomiss  (%eax), %xmm2
 615 // CHECK: encoding: [0xc5,0xf8,0x2e,0x10]
 616           vucomiss  (%eax), %xmm2
 617
 618 // CHECK: vcomiss  %xmm1, %xmm2
 619 // CHECK: encoding: [0xc5,0xf8,0x2f,0xd1]
 620           vcomiss  %xmm1, %xmm2
 621
 622 // CHECK: vcomiss  (%eax), %xmm2
 623 // CHECK: encoding: [0xc5,0xf8,0x2f,0x10]
 624           vcomiss  (%eax), %xmm2
 625
 626 // CHECK: vucomisd  %xmm1, %xmm2
 627 // CHECK: encoding: [0xc5,0xf9,0x2e,0xd1]
 628           vucomisd  %xmm1, %xmm2
 629
 630 // CHECK: vucomisd  (%eax), %xmm2
 631 // CHECK: encoding: [0xc5,0xf9,0x2e,0x10]
 632           vucomisd  (%eax), %xmm2
 633
 634 // CHECK: vcomisd  %xmm1, %xmm2
 635 // CHECK: encoding: [0xc5,0xf9,0x2f,0xd1]
 636           vcomisd  %xmm1, %xmm2
 637
 638 // CHECK: vcomisd  (%eax), %xmm2
 639 // CHECK: encoding: [0xc5,0xf9,0x2f,0x10]
 640           vcomisd  (%eax), %xmm2
 641
 642 // CHECK: vcvttss2si  %xmm1, %eax
 643 // CHECK: encoding: [0xc5,0xfa,0x2c,0xc1]
 644           vcvttss2si  %xmm1, %eax
 645
 646 // CHECK: vcvttss2si  (%ecx), %eax
 647 // CHECK: encoding: [0xc5,0xfa,0x2c,0x01]
 648           vcvttss2si  (%ecx), %eax
 649
 650 // CHECK: vcvtsi2ss  (%eax), %xmm1, %xmm2
 651 // CHECK: encoding: [0xc5,0xf2,0x2a,0x10]
 652           vcvtsi2ss  (%eax), %xmm1, %xmm2
 653
 654 // CHECK: vcvtsi2ss  (%eax), %xmm1, %xmm2
 655 // CHECK: encoding: [0xc5,0xf2,0x2a,0x10]
 656           vcvtsi2ss  (%eax), %xmm1, %xmm2
 657
 658 // CHECK: vcvttsd2si  %xmm1, %eax
 659 // CHECK: encoding: [0xc5,0xfb,0x2c,0xc1]
 660           vcvttsd2si  %xmm1, %eax
 661
 662 // CHECK: vcvttsd2si  (%ecx), %eax
 663 // CHECK: encoding: [0xc5,0xfb,0x2c,0x01]
 664           vcvttsd2si  (%ecx), %eax
 665
 666 // CHECK: vcvtsi2sd  (%eax), %xmm1, %xmm2
 667 // CHECK: encoding: [0xc5,0xf3,0x2a,0x10]
 668           vcvtsi2sd  (%eax), %xmm1, %xmm2
 669
 670 // CHECK: vcvtsi2sd  (%eax), %xmm1, %xmm2
 671 // CHECK: encoding: [0xc5,0xf3,0x2a,0x10]
 672           vcvtsi2sd  (%eax), %xmm1, %xmm2
 673
 674 // CHECK: vmovaps  (%eax), %xmm2
 675 // CHECK: encoding: [0xc5,0xf8,0x28,0x10]
 676           vmovaps  (%eax), %xmm2
 677
 678 // CHECK: vmovaps  %xmm1, %xmm2
 679 // CHECK: encoding: [0xc5,0xf8,0x28,0xd1]
 680           vmovaps  %xmm1, %xmm2
 681
 682 // CHECK: vmovaps  %xmm1, (%eax)
 683 // CHECK: encoding: [0xc5,0xf8,0x29,0x08]
 684           vmovaps  %xmm1, (%eax)
 685
 686 // CHECK: vmovapd  (%eax), %xmm2
 687 // CHECK: encoding: [0xc5,0xf9,0x28,0x10]
 688           vmovapd  (%eax), %xmm2
 689
 690 // CHECK: vmovapd  %xmm1, %xmm2
 691 // CHECK: encoding: [0xc5,0xf9,0x28,0xd1]
 692           vmovapd  %xmm1, %xmm2
 693
 694 // CHECK: vmovapd  %xmm1, (%eax)
 695 // CHECK: encoding: [0xc5,0xf9,0x29,0x08]
 696           vmovapd  %xmm1, (%eax)
 697
 698 // CHECK: vmovups  (%eax), %xmm2
 699 // CHECK: encoding: [0xc5,0xf8,0x10,0x10]
 700           vmovups  (%eax), %xmm2
 701
 702 // CHECK: vmovups  %xmm1, %xmm2
 703 // CHECK: encoding: [0xc5,0xf8,0x10,0xd1]
 704           vmovups  %xmm1, %xmm2
 705
 706 // CHECK: vmovups  %xmm1, (%eax)
 707 // CHECK: encoding: [0xc5,0xf8,0x11,0x08]
 708           vmovups  %xmm1, (%eax)
 709
 710 // CHECK: vmovupd  (%eax), %xmm2
 711 // CHECK: encoding: [0xc5,0xf9,0x10,0x10]
 712           vmovupd  (%eax), %xmm2
 713
 714 // CHECK: vmovupd  %xmm1, %xmm2
 715 // CHECK: encoding: [0xc5,0xf9,0x10,0xd1]
 716           vmovupd  %xmm1, %xmm2
 717
 718 // CHECK: vmovupd  %xmm1, (%eax)
 719 // CHECK: encoding: [0xc5,0xf9,0x11,0x08]
 720           vmovupd  %xmm1, (%eax)
 721
 722 // CHECK: vmovlps  %xmm1, (%eax)
 723 // CHECK: encoding: [0xc5,0xf8,0x13,0x08]
 724           vmovlps  %xmm1, (%eax)
 725
 726 // CHECK: vmovlps  (%eax), %xmm2, %xmm3
 727 // CHECK: encoding: [0xc5,0xe8,0x12,0x18]
 728           vmovlps  (%eax), %xmm2, %xmm3
 729
 730 // CHECK: vmovlpd  %xmm1, (%eax)
 731 // CHECK: encoding: [0xc5,0xf9,0x13,0x08]
 732           vmovlpd  %xmm1, (%eax)
 733
 734 // CHECK: vmovlpd  (%eax), %xmm2, %xmm3
 735 // CHECK: encoding: [0xc5,0xe9,0x12,0x18]
 736           vmovlpd  (%eax), %xmm2, %xmm3
 737
 738 // CHECK: vmovhps  %xmm1, (%eax)
 739 // CHECK: encoding: [0xc5,0xf8,0x17,0x08]
 740           vmovhps  %xmm1, (%eax)
 741
 742 // CHECK: vmovhps  (%eax), %xmm2, %xmm3
 743 // CHECK: encoding: [0xc5,0xe8,0x16,0x18]
 744           vmovhps  (%eax), %xmm2, %xmm3
 745
 746 // CHECK: vmovhpd  %xmm1, (%eax)
 747 // CHECK: encoding: [0xc5,0xf9,0x17,0x08]
 748           vmovhpd  %xmm1, (%eax)
 749
 750 // CHECK: vmovhpd  (%eax), %xmm2, %xmm3
 751 // CHECK: encoding: [0xc5,0xe9,0x16,0x18]
 752           vmovhpd  (%eax), %xmm2, %xmm3
 753
 754 // CHECK: vmovlhps  %xmm1, %xmm2, %xmm3
 755 // CHECK: encoding: [0xc5,0xe8,0x16,0xd9]
 756           vmovlhps  %xmm1, %xmm2, %xmm3
 757
 758 // CHECK: vmovhlps  %xmm1, %xmm2, %xmm3
 759 // CHECK: encoding: [0xc5,0xe8,0x12,0xd9]
 760           vmovhlps  %xmm1, %xmm2, %xmm3
 761
 762 // CHECK: vcvtss2sil  %xmm1, %eax
 763 // CHECK: encoding: [0xc5,0xfa,0x2d,0xc1]
 764           vcvtss2si  %xmm1, %eax
 765
 766 // CHECK: vcvtss2sil  (%eax), %ebx
 767 // CHECK: encoding: [0xc5,0xfa,0x2d,0x18]
 768           vcvtss2si  (%eax), %ebx
 769
 770 // CHECK: vcvtdq2ps  %xmm5, %xmm6
 771 // CHECK: encoding: [0xc5,0xf8,0x5b,0xf5]
 772           vcvtdq2ps  %xmm5, %xmm6
 773
 774 // CHECK: vcvtdq2ps  (%eax), %xmm6
 775 // CHECK: encoding: [0xc5,0xf8,0x5b,0x30]
 776           vcvtdq2ps  (%eax), %xmm6
 777
 778 // CHECK: vcvtsd2ss  %xmm2, %xmm4, %xmm6
 779 // CHECK: encoding: [0xc5,0xdb,0x5a,0xf2]
 780           vcvtsd2ss  %xmm2, %xmm4, %xmm6
 781
 782 // CHECK: vcvtsd2ss  (%eax), %xmm4, %xmm6
 783 // CHECK: encoding: [0xc5,0xdb,0x5a,0x30]
 784           vcvtsd2ss  (%eax), %xmm4, %xmm6
 785
 786 // CHECK: vcvtps2dq  %xmm2, %xmm3
 787 // CHECK: encoding: [0xc5,0xf9,0x5b,0xda]
 788           vcvtps2dq  %xmm2, %xmm3
 789
 790 // CHECK: vcvtps2dq  (%eax), %xmm3
 791 // CHECK: encoding: [0xc5,0xf9,0x5b,0x18]
 792           vcvtps2dq  (%eax), %xmm3
 793
 794 // CHECK: vcvtss2sd  %xmm2, %xmm4, %xmm6
 795 // CHECK: encoding: [0xc5,0xda,0x5a,0xf2]
 796           vcvtss2sd  %xmm2, %xmm4, %xmm6
 797
 798 // CHECK: vcvtss2sd  (%eax), %xmm4, %xmm6
 799 // CHECK: encoding: [0xc5,0xda,0x5a,0x30]
 800           vcvtss2sd  (%eax), %xmm4, %xmm6
 801
 802 // CHECK: vcvtdq2ps  %xmm4, %xmm6
 803 // CHECK: encoding: [0xc5,0xf8,0x5b,0xf4]
 804           vcvtdq2ps  %xmm4, %xmm6
 805
 806 // CHECK: vcvtdq2ps  (%ecx), %xmm4
 807 // CHECK: encoding: [0xc5,0xf8,0x5b,0x21]
 808           vcvtdq2ps  (%ecx), %xmm4
 809
 810 // CHECK: vcvttps2dq  %xmm2, %xmm3
 811 // CHECK: encoding: [0xc5,0xfa,0x5b,0xda]
 812           vcvttps2dq  %xmm2, %xmm3
 813
 814 // CHECK: vcvttps2dq  (%eax), %xmm3
 815 // CHECK: encoding: [0xc5,0xfa,0x5b,0x18]
 816           vcvttps2dq  (%eax), %xmm3
 817
 818 // CHECK: vcvtps2pd  %xmm2, %xmm3
 819 // CHECK: encoding: [0xc5,0xf8,0x5a,0xda]
 820           vcvtps2pd  %xmm2, %xmm3
 821
 822 // CHECK: vcvtps2pd  (%eax), %xmm3
 823 // CHECK: encoding: [0xc5,0xf8,0x5a,0x18]
 824           vcvtps2pd  (%eax), %xmm3
 825
 826 // CHECK: vcvtpd2ps  %xmm2, %xmm3
 827 // CHECK: encoding: [0xc5,0xf9,0x5a,0xda]
 828           vcvtpd2ps  %xmm2, %xmm3
 829
 830 // CHECK: vsqrtpd  %xmm1, %xmm2
 831 // CHECK: encoding: [0xc5,0xf9,0x51,0xd1]
 832           vsqrtpd  %xmm1, %xmm2
 833
 834 // CHECK: vsqrtpd  (%eax), %xmm2
 835 // CHECK: encoding: [0xc5,0xf9,0x51,0x10]
 836           vsqrtpd  (%eax), %xmm2
 837
 838 // CHECK: vsqrtps  %xmm1, %xmm2
 839 // CHECK: encoding: [0xc5,0xf8,0x51,0xd1]
 840           vsqrtps  %xmm1, %xmm2
 841
 842 // CHECK: vsqrtps  (%eax), %xmm2
 843 // CHECK: encoding: [0xc5,0xf8,0x51,0x10]
 844           vsqrtps  (%eax), %xmm2
 845
 846 // CHECK: vsqrtsd  %xmm1, %xmm2, %xmm3
 847 // CHECK: encoding: [0xc5,0xeb,0x51,0xd9]
 848           vsqrtsd  %xmm1, %xmm2, %xmm3
 849
 850 // CHECK: vsqrtsd  (%eax), %xmm2, %xmm3
 851 // CHECK: encoding: [0xc5,0xeb,0x51,0x18]
 852           vsqrtsd  (%eax), %xmm2, %xmm3
 853
 854 // CHECK: vsqrtss  %xmm1, %xmm2, %xmm3
 855 // CHECK: encoding: [0xc5,0xea,0x51,0xd9]
 856           vsqrtss  %xmm1, %xmm2, %xmm3
 857
 858 // CHECK: vsqrtss  (%eax), %xmm2, %xmm3
 859 // CHECK: encoding: [0xc5,0xea,0x51,0x18]
 860           vsqrtss  (%eax), %xmm2, %xmm3
 861
 862 // CHECK: vrsqrtps  %xmm1, %xmm2
 863 // CHECK: encoding: [0xc5,0xf8,0x52,0xd1]
 864           vrsqrtps  %xmm1, %xmm2
 865
 866 // CHECK: vrsqrtps  (%eax), %xmm2
 867 // CHECK: encoding: [0xc5,0xf8,0x52,0x10]
 868           vrsqrtps  (%eax), %xmm2
 869
 870 // CHECK: vrsqrtss  %xmm1, %xmm2, %xmm3
 871 // CHECK: encoding: [0xc5,0xea,0x52,0xd9]
 872           vrsqrtss  %xmm1, %xmm2, %xmm3
 873
 874 // CHECK: vrsqrtss  (%eax), %xmm2, %xmm3
 875 // CHECK: encoding: [0xc5,0xea,0x52,0x18]
 876           vrsqrtss  (%eax), %xmm2, %xmm3
 877
 878 // CHECK: vrcpps  %xmm1, %xmm2
 879 // CHECK: encoding: [0xc5,0xf8,0x53,0xd1]
 880           vrcpps  %xmm1, %xmm2
 881
 882 // CHECK: vrcpps  (%eax), %xmm2
 883 // CHECK: encoding: [0xc5,0xf8,0x53,0x10]
 884           vrcpps  (%eax), %xmm2
 885
 886 // CHECK: vrcpss  %xmm1, %xmm2, %xmm3
 887 // CHECK: encoding: [0xc5,0xea,0x53,0xd9]
 888           vrcpss  %xmm1, %xmm2, %xmm3
 889
 890 // CHECK: vrcpss  (%eax), %xmm2, %xmm3
 891 // CHECK: encoding: [0xc5,0xea,0x53,0x18]
 892           vrcpss  (%eax), %xmm2, %xmm3
 893
 894 // CHECK: vmovntdq  %xmm1, (%eax)
 895 // CHECK: encoding: [0xc5,0xf9,0xe7,0x08]
 896           vmovntdq  %xmm1, (%eax)
 897
 898 // CHECK: vmovntpd  %xmm1, (%eax)
 899 // CHECK: encoding: [0xc5,0xf9,0x2b,0x08]
 900           vmovntpd  %xmm1, (%eax)
 901
 902 // CHECK: vmovntps  %xmm1, (%eax)
 903 // CHECK: encoding: [0xc5,0xf8,0x2b,0x08]
 904           vmovntps  %xmm1, (%eax)
 905
 906 // CHECK: vldmxcsr  (%eax)
 907 // CHECK: encoding: [0xc5,0xf8,0xae,0x10]
 908           vldmxcsr  (%eax)
 909
 910 // CHECK: vstmxcsr  (%eax)
 911 // CHECK: encoding: [0xc5,0xf8,0xae,0x18]
 912           vstmxcsr  (%eax)
 913
 914 // CHECK: vldmxcsr  3735928559
 915 // CHECK: encoding: [0xc5,0xf8,0xae,0x15,0xef,0xbe,0xad,0xde]
 916           vldmxcsr  0xdeadbeef
 917
 918 // CHECK: vstmxcsr  3735928559
 919 // CHECK: encoding: [0xc5,0xf8,0xae,0x1d,0xef,0xbe,0xad,0xde]
 920           vstmxcsr  0xdeadbeef
 921
 922 // CHECK: vpsubb  %xmm1, %xmm2, %xmm3
 923 // CHECK: encoding: [0xc5,0xe9,0xf8,0xd9]
 924           vpsubb  %xmm1, %xmm2, %xmm3
 925
 926 // CHECK: vpsubb  (%eax), %xmm2, %xmm3
 927 // CHECK: encoding: [0xc5,0xe9,0xf8,0x18]
 928           vpsubb  (%eax), %xmm2, %xmm3
 929
 930 // CHECK: vpsubw  %xmm1, %xmm2, %xmm3
 931 // CHECK: encoding: [0xc5,0xe9,0xf9,0xd9]
 932           vpsubw  %xmm1, %xmm2, %xmm3
 933
 934 // CHECK: vpsubw  (%eax), %xmm2, %xmm3
 935 // CHECK: encoding: [0xc5,0xe9,0xf9,0x18]
 936           vpsubw  (%eax), %xmm2, %xmm3
 937
 938 // CHECK: vpsubd  %xmm1, %xmm2, %xmm3
 939 // CHECK: encoding: [0xc5,0xe9,0xfa,0xd9]
 940           vpsubd  %xmm1, %xmm2, %xmm3
 941
 942 // CHECK: vpsubd  (%eax), %xmm2, %xmm3
 943 // CHECK: encoding: [0xc5,0xe9,0xfa,0x18]
 944           vpsubd  (%eax), %xmm2, %xmm3
 945
 946 // CHECK: vpsubq  %xmm1, %xmm2, %xmm3
 947 // CHECK: encoding: [0xc5,0xe9,0xfb,0xd9]
 948           vpsubq  %xmm1, %xmm2, %xmm3
 949
 950 // CHECK: vpsubq  (%eax), %xmm2, %xmm3
 951 // CHECK: encoding: [0xc5,0xe9,0xfb,0x18]
 952           vpsubq  (%eax), %xmm2, %xmm3
 953
 954 // CHECK: vpsubsb  %xmm1, %xmm2, %xmm3
 955 // CHECK: encoding: [0xc5,0xe9,0xe8,0xd9]
 956           vpsubsb  %xmm1, %xmm2, %xmm3
 957
 958 // CHECK: vpsubsb  (%eax), %xmm2, %xmm3
 959 // CHECK: encoding: [0xc5,0xe9,0xe8,0x18]
 960           vpsubsb  (%eax), %xmm2, %xmm3
 961
 962 // CHECK: vpsubsw  %xmm1, %xmm2, %xmm3
 963 // CHECK: encoding: [0xc5,0xe9,0xe9,0xd9]
 964           vpsubsw  %xmm1, %xmm2, %xmm3
 965
 966 // CHECK: vpsubsw  (%eax), %xmm2, %xmm3
 967 // CHECK: encoding: [0xc5,0xe9,0xe9,0x18]
 968           vpsubsw  (%eax), %xmm2, %xmm3
 969
 970 // CHECK: vpsubusb  %xmm1, %xmm2, %xmm3
 971 // CHECK: encoding: [0xc5,0xe9,0xd8,0xd9]
 972           vpsubusb  %xmm1, %xmm2, %xmm3
 973
 974 // CHECK: vpsubusb  (%eax), %xmm2, %xmm3
 975 // CHECK: encoding: [0xc5,0xe9,0xd8,0x18]
 976           vpsubusb  (%eax), %xmm2, %xmm3
 977
 978 // CHECK: vpsubusw  %xmm1, %xmm2, %xmm3
 979 // CHECK: encoding: [0xc5,0xe9,0xd9,0xd9]
 980           vpsubusw  %xmm1, %xmm2, %xmm3
 981
 982 // CHECK: vpsubusw  (%eax), %xmm2, %xmm3
 983 // CHECK: encoding: [0xc5,0xe9,0xd9,0x18]
 984           vpsubusw  (%eax), %xmm2, %xmm3
 985
 986 // CHECK: vpaddb  %xmm1, %xmm2, %xmm3
 987 // CHECK: encoding: [0xc5,0xe9,0xfc,0xd9]
 988           vpaddb  %xmm1, %xmm2, %xmm3
 989
 990 // CHECK: vpaddb  (%eax), %xmm2, %xmm3
 991 // CHECK: encoding: [0xc5,0xe9,0xfc,0x18]
 992           vpaddb  (%eax), %xmm2, %xmm3
 993
 994 // CHECK: vpaddw  %xmm1, %xmm2, %xmm3
 995 // CHECK: encoding: [0xc5,0xe9,0xfd,0xd9]
 996           vpaddw  %xmm1, %xmm2, %xmm3
 997
 998 // CHECK: vpaddw  (%eax), %xmm2, %xmm3
 999 // CHECK: encoding: [0xc5,0xe9,0xfd,0x18]
1000           vpaddw  (%eax), %xmm2, %xmm3
1001
1002 // CHECK: vpaddd  %xmm1, %xmm2, %xmm3
1003 // CHECK: encoding: [0xc5,0xe9,0xfe,0xd9]
1004           vpaddd  %xmm1, %xmm2, %xmm3
1005
1006 // CHECK: vpaddd  (%eax), %xmm2, %xmm3
1007 // CHECK: encoding: [0xc5,0xe9,0xfe,0x18]
1008           vpaddd  (%eax), %xmm2, %xmm3
1009
1010 // CHECK: vpaddq  %xmm1, %xmm2, %xmm3
1011 // CHECK: encoding: [0xc5,0xe9,0xd4,0xd9]
1012           vpaddq  %xmm1, %xmm2, %xmm3
1013
1014 // CHECK: vpaddq  (%eax), %xmm2, %xmm3
1015 // CHECK: encoding: [0xc5,0xe9,0xd4,0x18]
1016           vpaddq  (%eax), %xmm2, %xmm3
1017
1018 // CHECK: vpaddsb  %xmm1, %xmm2, %xmm3
1019 // CHECK: encoding: [0xc5,0xe9,0xec,0xd9]
1020           vpaddsb  %xmm1, %xmm2, %xmm3
1021
1022 // CHECK: vpaddsb  (%eax), %xmm2, %xmm3
1023 // CHECK: encoding: [0xc5,0xe9,0xec,0x18]
1024           vpaddsb  (%eax), %xmm2, %xmm3
1025
1026 // CHECK: vpaddsw  %xmm1, %xmm2, %xmm3
1027 // CHECK: encoding: [0xc5,0xe9,0xed,0xd9]
1028           vpaddsw  %xmm1, %xmm2, %xmm3
1029
1030 // CHECK: vpaddsw  (%eax), %xmm2, %xmm3
1031 // CHECK: encoding: [0xc5,0xe9,0xed,0x18]
1032           vpaddsw  (%eax), %xmm2, %xmm3
1033
1034 // CHECK: vpaddusb  %xmm1, %xmm2, %xmm3
1035 // CHECK: encoding: [0xc5,0xe9,0xdc,0xd9]
1036           vpaddusb  %xmm1, %xmm2, %xmm3
1037
1038 // CHECK: vpaddusb  (%eax), %xmm2, %xmm3
1039 // CHECK: encoding: [0xc5,0xe9,0xdc,0x18]
1040           vpaddusb  (%eax), %xmm2, %xmm3
1041
1042 // CHECK: vpaddusw  %xmm1, %xmm2, %xmm3
1043 // CHECK: encoding: [0xc5,0xe9,0xdd,0xd9]
1044           vpaddusw  %xmm1, %xmm2, %xmm3
1045
1046 // CHECK: vpaddusw  (%eax), %xmm2, %xmm3
1047 // CHECK: encoding: [0xc5,0xe9,0xdd,0x18]
1048           vpaddusw  (%eax), %xmm2, %xmm3
1049
1050 // CHECK: vpmulhuw  %xmm1, %xmm2, %xmm3
1051 // CHECK: encoding: [0xc5,0xe9,0xe4,0xd9]
1052           vpmulhuw  %xmm1, %xmm2, %xmm3
1053
1054 // CHECK: vpmulhuw  (%eax), %xmm2, %xmm3
1055 // CHECK: encoding: [0xc5,0xe9,0xe4,0x18]
1056           vpmulhuw  (%eax), %xmm2, %xmm3
1057
1058 // CHECK: vpmulhw  %xmm1, %xmm2, %xmm3
1059 // CHECK: encoding: [0xc5,0xe9,0xe5,0xd9]
1060           vpmulhw  %xmm1, %xmm2, %xmm3
1061
1062 // CHECK: vpmulhw  (%eax), %xmm2, %xmm3
1063 // CHECK: encoding: [0xc5,0xe9,0xe5,0x18]
1064           vpmulhw  (%eax), %xmm2, %xmm3
1065
1066 // CHECK: vpmullw  %xmm1, %xmm2, %xmm3
1067 // CHECK: encoding: [0xc5,0xe9,0xd5,0xd9]
1068           vpmullw  %xmm1, %xmm2, %xmm3
1069
1070 // CHECK: vpmullw  (%eax), %xmm2, %xmm3
1071 // CHECK: encoding: [0xc5,0xe9,0xd5,0x18]
1072           vpmullw  (%eax), %xmm2, %xmm3
1073
1074 // CHECK: vpmuludq  %xmm1, %xmm2, %xmm3
1075 // CHECK: encoding: [0xc5,0xe9,0xf4,0xd9]
1076           vpmuludq  %xmm1, %xmm2, %xmm3
1077
1078 // CHECK: vpmuludq  (%eax), %xmm2, %xmm3
1079 // CHECK: encoding: [0xc5,0xe9,0xf4,0x18]
1080           vpmuludq  (%eax), %xmm2, %xmm3
1081
1082 // CHECK: vpavgb  %xmm1, %xmm2, %xmm3
1083 // CHECK: encoding: [0xc5,0xe9,0xe0,0xd9]
1084           vpavgb  %xmm1, %xmm2, %xmm3
1085
1086 // CHECK: vpavgb  (%eax), %xmm2, %xmm3
1087 // CHECK: encoding: [0xc5,0xe9,0xe0,0x18]
1088           vpavgb  (%eax), %xmm2, %xmm3
1089
1090 // CHECK: vpavgw  %xmm1, %xmm2, %xmm3
1091 // CHECK: encoding: [0xc5,0xe9,0xe3,0xd9]
1092           vpavgw  %xmm1, %xmm2, %xmm3
1093
1094 // CHECK: vpavgw  (%eax), %xmm2, %xmm3
1095 // CHECK: encoding: [0xc5,0xe9,0xe3,0x18]
1096           vpavgw  (%eax), %xmm2, %xmm3
1097
1098 // CHECK: vpminsw  %xmm1, %xmm2, %xmm3
1099 // CHECK: encoding: [0xc5,0xe9,0xea,0xd9]
1100           vpminsw  %xmm1, %xmm2, %xmm3
1101
1102 // CHECK: vpminsw  (%eax), %xmm2, %xmm3
1103 // CHECK: encoding: [0xc5,0xe9,0xea,0x18]
1104           vpminsw  (%eax), %xmm2, %xmm3
1105
1106 // CHECK: vpminub  %xmm1, %xmm2, %xmm3
1107 // CHECK: encoding: [0xc5,0xe9,0xda,0xd9]
1108           vpminub  %xmm1, %xmm2, %xmm3
1109
1110 // CHECK: vpminub  (%eax), %xmm2, %xmm3
1111 // CHECK: encoding: [0xc5,0xe9,0xda,0x18]
1112           vpminub  (%eax), %xmm2, %xmm3
1113
1114 // CHECK: vpmaxsw  %xmm1, %xmm2, %xmm3
1115 // CHECK: encoding: [0xc5,0xe9,0xee,0xd9]
1116           vpmaxsw  %xmm1, %xmm2, %xmm3
1117
1118 // CHECK: vpmaxsw  (%eax), %xmm2, %xmm3
1119 // CHECK: encoding: [0xc5,0xe9,0xee,0x18]
1120           vpmaxsw  (%eax), %xmm2, %xmm3
1121
1122 // CHECK: vpmaxub  %xmm1, %xmm2, %xmm3
1123 // CHECK: encoding: [0xc5,0xe9,0xde,0xd9]
1124           vpmaxub  %xmm1, %xmm2, %xmm3
1125
1126 // CHECK: vpmaxub  (%eax), %xmm2, %xmm3
1127 // CHECK: encoding: [0xc5,0xe9,0xde,0x18]
1128           vpmaxub  (%eax), %xmm2, %xmm3
1129
1130 // CHECK: vpsadbw  %xmm1, %xmm2, %xmm3
1131 // CHECK: encoding: [0xc5,0xe9,0xf6,0xd9]
1132           vpsadbw  %xmm1, %xmm2, %xmm3
1133
1134 // CHECK: vpsadbw  (%eax), %xmm2, %xmm3
1135 // CHECK: encoding: [0xc5,0xe9,0xf6,0x18]
1136           vpsadbw  (%eax), %xmm2, %xmm3
1137
1138 // CHECK: vpsllw  %xmm1, %xmm2, %xmm3
1139 // CHECK: encoding: [0xc5,0xe9,0xf1,0xd9]
1140           vpsllw  %xmm1, %xmm2, %xmm3
1141
1142 // CHECK: vpsllw  (%eax), %xmm2, %xmm3
1143 // CHECK: encoding: [0xc5,0xe9,0xf1,0x18]
1144           vpsllw  (%eax), %xmm2, %xmm3
1145
1146 // CHECK: vpslld  %xmm1, %xmm2, %xmm3
1147 // CHECK: encoding: [0xc5,0xe9,0xf2,0xd9]
1148           vpslld  %xmm1, %xmm2, %xmm3
1149
1150 // CHECK: vpslld  (%eax), %xmm2, %xmm3
1151 // CHECK: encoding: [0xc5,0xe9,0xf2,0x18]
1152           vpslld  (%eax), %xmm2, %xmm3
1153
1154 // CHECK: vpsllq  %xmm1, %xmm2, %xmm3
1155 // CHECK: encoding: [0xc5,0xe9,0xf3,0xd9]
1156           vpsllq  %xmm1, %xmm2, %xmm3
1157
1158 // CHECK: vpsllq  (%eax), %xmm2, %xmm3
1159 // CHECK: encoding: [0xc5,0xe9,0xf3,0x18]
1160           vpsllq  (%eax), %xmm2, %xmm3
1161
1162 // CHECK: vpsraw  %xmm1, %xmm2, %xmm3
1163 // CHECK: encoding: [0xc5,0xe9,0xe1,0xd9]
1164           vpsraw  %xmm1, %xmm2, %xmm3
1165
1166 // CHECK: vpsraw  (%eax), %xmm2, %xmm3
1167 // CHECK: encoding: [0xc5,0xe9,0xe1,0x18]
1168           vpsraw  (%eax), %xmm2, %xmm3
1169
1170 // CHECK: vpsrad  %xmm1, %xmm2, %xmm3
1171 // CHECK: encoding: [0xc5,0xe9,0xe2,0xd9]
1172           vpsrad  %xmm1, %xmm2, %xmm3
1173
1174 // CHECK: vpsrad  (%eax), %xmm2, %xmm3
1175 // CHECK: encoding: [0xc5,0xe9,0xe2,0x18]
1176           vpsrad  (%eax), %xmm2, %xmm3
1177
1178 // CHECK: vpsrlw  %xmm1, %xmm2, %xmm3
1179 // CHECK: encoding: [0xc5,0xe9,0xd1,0xd9]
1180           vpsrlw  %xmm1, %xmm2, %xmm3
1181
1182 // CHECK: vpsrlw  (%eax), %xmm2, %xmm3
1183 // CHECK: encoding: [0xc5,0xe9,0xd1,0x18]
1184           vpsrlw  (%eax), %xmm2, %xmm3
1185
1186 // CHECK: vpsrld  %xmm1, %xmm2, %xmm3
1187 // CHECK: encoding: [0xc5,0xe9,0xd2,0xd9]
1188           vpsrld  %xmm1, %xmm2, %xmm3
1189
1190 // CHECK: vpsrld  (%eax), %xmm2, %xmm3
1191 // CHECK: encoding: [0xc5,0xe9,0xd2,0x18]
1192           vpsrld  (%eax), %xmm2, %xmm3
1193
1194 // CHECK: vpsrlq  %xmm1, %xmm2, %xmm3
1195 // CHECK: encoding: [0xc5,0xe9,0xd3,0xd9]
1196           vpsrlq  %xmm1, %xmm2, %xmm3
1197
1198 // CHECK: vpsrlq  (%eax), %xmm2, %xmm3
1199 // CHECK: encoding: [0xc5,0xe9,0xd3,0x18]
1200           vpsrlq  (%eax), %xmm2, %xmm3
1201
1202 // CHECK: vpslld  $10, %xmm2, %xmm3
1203 // CHECK: encoding: [0xc5,0xe1,0x72,0xf2,0x0a]
1204           vpslld  $10, %xmm2, %xmm3
1205
1206 // CHECK: vpslldq  $10, %xmm2, %xmm3
1207 // CHECK: encoding: [0xc5,0xe1,0x73,0xfa,0x0a]
1208           vpslldq  $10, %xmm2, %xmm3
1209
1210 // CHECK: vpsllq  $10, %xmm2, %xmm3
1211 // CHECK: encoding: [0xc5,0xe1,0x73,0xf2,0x0a]
1212           vpsllq  $10, %xmm2, %xmm3
1213
1214 // CHECK: vpsllw  $10, %xmm2, %xmm3
1215 // CHECK: encoding: [0xc5,0xe1,0x71,0xf2,0x0a]
1216           vpsllw  $10, %xmm2, %xmm3
1217
1218 // CHECK: vpsrad  $10, %xmm2, %xmm3
1219 // CHECK: encoding: [0xc5,0xe1,0x72,0xe2,0x0a]
1220           vpsrad  $10, %xmm2, %xmm3
1221
1222 // CHECK: vpsraw  $10, %xmm2, %xmm3
1223 // CHECK: encoding: [0xc5,0xe1,0x71,0xe2,0x0a]
1224           vpsraw  $10, %xmm2, %xmm3
1225
1226 // CHECK: vpsrld  $10, %xmm2, %xmm3
1227 // CHECK: encoding: [0xc5,0xe1,0x72,0xd2,0x0a]
1228           vpsrld  $10, %xmm2, %xmm3
1229
1230 // CHECK: vpsrldq  $10, %xmm2, %xmm3
1231 // CHECK: encoding: [0xc5,0xe1,0x73,0xda,0x0a]
1232           vpsrldq  $10, %xmm2, %xmm3
1233
1234 // CHECK: vpsrlq  $10, %xmm2, %xmm3
1235 // CHECK: encoding: [0xc5,0xe1,0x73,0xd2,0x0a]
1236           vpsrlq  $10, %xmm2, %xmm3
1237
1238 // CHECK: vpsrlw  $10, %xmm2, %xmm3
1239 // CHECK: encoding: [0xc5,0xe1,0x71,0xd2,0x0a]
1240           vpsrlw  $10, %xmm2, %xmm3
1241
1242 // CHECK: vpslld  $10, %xmm2, %xmm3
1243 // CHECK: encoding: [0xc5,0xe1,0x72,0xf2,0x0a]
1244           vpslld  $10, %xmm2, %xmm3
1245
1246 // CHECK: vpand  %xmm1, %xmm2, %xmm3
1247 // CHECK: encoding: [0xc5,0xe9,0xdb,0xd9]
1248           vpand  %xmm1, %xmm2, %xmm3
1249
1250 // CHECK: vpand  (%eax), %xmm2, %xmm3
1251 // CHECK: encoding: [0xc5,0xe9,0xdb,0x18]
1252           vpand  (%eax), %xmm2, %xmm3
1253
1254 // CHECK: vpor  %xmm1, %xmm2, %xmm3
1255 // CHECK: encoding: [0xc5,0xe9,0xeb,0xd9]
1256           vpor  %xmm1, %xmm2, %xmm3
1257
1258 // CHECK: vpor  (%eax), %xmm2, %xmm3
1259 // CHECK: encoding: [0xc5,0xe9,0xeb,0x18]
1260           vpor  (%eax), %xmm2, %xmm3
1261
1262 // CHECK: vpxor  %xmm1, %xmm2, %xmm3
1263 // CHECK: encoding: [0xc5,0xe9,0xef,0xd9]
1264           vpxor  %xmm1, %xmm2, %xmm3
1265
1266 // CHECK: vpxor  (%eax), %xmm2, %xmm3
1267 // CHECK: encoding: [0xc5,0xe9,0xef,0x18]
1268           vpxor  (%eax), %xmm2, %xmm3
1269
1270 // CHECK: vpandn  %xmm1, %xmm2, %xmm3
1271 // CHECK: encoding: [0xc5,0xe9,0xdf,0xd9]
1272           vpandn  %xmm1, %xmm2, %xmm3
1273
1274 // CHECK: vpandn  (%eax), %xmm2, %xmm3
1275 // CHECK: encoding: [0xc5,0xe9,0xdf,0x18]
1276           vpandn  (%eax), %xmm2, %xmm3
1277
1278 // CHECK: vpcmpeqb  %xmm1, %xmm2, %xmm3
1279 // CHECK: encoding: [0xc5,0xe9,0x74,0xd9]
1280           vpcmpeqb  %xmm1, %xmm2, %xmm3
1281
1282 // CHECK: vpcmpeqb  (%eax), %xmm2, %xmm3
1283 // CHECK: encoding: [0xc5,0xe9,0x74,0x18]
1284           vpcmpeqb  (%eax), %xmm2, %xmm3
1285
1286 // CHECK: vpcmpeqw  %xmm1, %xmm2, %xmm3
1287 // CHECK: encoding: [0xc5,0xe9,0x75,0xd9]
1288           vpcmpeqw  %xmm1, %xmm2, %xmm3
1289
1290 // CHECK: vpcmpeqw  (%eax), %xmm2, %xmm3
1291 // CHECK: encoding: [0xc5,0xe9,0x75,0x18]
1292           vpcmpeqw  (%eax), %xmm2, %xmm3
1293
1294 // CHECK: vpcmpeqd  %xmm1, %xmm2, %xmm3
1295 // CHECK: encoding: [0xc5,0xe9,0x76,0xd9]
1296           vpcmpeqd  %xmm1, %xmm2, %xmm3
1297
1298 // CHECK: vpcmpeqd  (%eax), %xmm2, %xmm3
1299 // CHECK: encoding: [0xc5,0xe9,0x76,0x18]
1300           vpcmpeqd  (%eax), %xmm2, %xmm3
1301
1302 // CHECK: vpcmpgtb  %xmm1, %xmm2, %xmm3
1303 // CHECK: encoding: [0xc5,0xe9,0x64,0xd9]
1304           vpcmpgtb  %xmm1, %xmm2, %xmm3
1305
1306 // CHECK: vpcmpgtb  (%eax), %xmm2, %xmm3
1307 // CHECK: encoding: [0xc5,0xe9,0x64,0x18]
1308           vpcmpgtb  (%eax), %xmm2, %xmm3
1309
1310 // CHECK: vpcmpgtw  %xmm1, %xmm2, %xmm3
1311 // CHECK: encoding: [0xc5,0xe9,0x65,0xd9]
1312           vpcmpgtw  %xmm1, %xmm2, %xmm3
1313
1314 // CHECK: vpcmpgtw  (%eax), %xmm2, %xmm3
1315 // CHECK: encoding: [0xc5,0xe9,0x65,0x18]
1316           vpcmpgtw  (%eax), %xmm2, %xmm3
1317
1318 // CHECK: vpcmpgtd  %xmm1, %xmm2, %xmm3
1319 // CHECK: encoding: [0xc5,0xe9,0x66,0xd9]
1320           vpcmpgtd  %xmm1, %xmm2, %xmm3
1321
1322 // CHECK: vpcmpgtd  (%eax), %xmm2, %xmm3
1323 // CHECK: encoding: [0xc5,0xe9,0x66,0x18]
1324           vpcmpgtd  (%eax), %xmm2, %xmm3
1325
1326 // CHECK: vpacksswb  %xmm1, %xmm2, %xmm3
1327 // CHECK: encoding: [0xc5,0xe9,0x63,0xd9]
1328           vpacksswb  %xmm1, %xmm2, %xmm3
1329
1330 // CHECK: vpacksswb  (%eax), %xmm2, %xmm3
1331 // CHECK: encoding: [0xc5,0xe9,0x63,0x18]
1332           vpacksswb  (%eax), %xmm2, %xmm3
1333
1334 // CHECK: vpackssdw  %xmm1, %xmm2, %xmm3
1335 // CHECK: encoding: [0xc5,0xe9,0x6b,0xd9]
1336           vpackssdw  %xmm1, %xmm2, %xmm3
1337
1338 // CHECK: vpackssdw  (%eax), %xmm2, %xmm3
1339 // CHECK: encoding: [0xc5,0xe9,0x6b,0x18]
1340           vpackssdw  (%eax), %xmm2, %xmm3
1341
1342 // CHECK: vpackuswb  %xmm1, %xmm2, %xmm3
1343 // CHECK: encoding: [0xc5,0xe9,0x67,0xd9]
1344           vpackuswb  %xmm1, %xmm2, %xmm3
1345
1346 // CHECK: vpackuswb  (%eax), %xmm2, %xmm3
1347 // CHECK: encoding: [0xc5,0xe9,0x67,0x18]
1348           vpackuswb  (%eax), %xmm2, %xmm3
1349
1350 // CHECK: vpshufd  $4, %xmm2, %xmm3
1351 // CHECK: encoding: [0xc5,0xf9,0x70,0xda,0x04]
1352           vpshufd  $4, %xmm2, %xmm3
1353
1354 // CHECK: vpshufd  $4, (%eax), %xmm3
1355 // CHECK: encoding: [0xc5,0xf9,0x70,0x18,0x04]
1356           vpshufd  $4, (%eax), %xmm3
1357
1358 // CHECK: vpshufhw  $4, %xmm2, %xmm3
1359 // CHECK: encoding: [0xc5,0xfa,0x70,0xda,0x04]
1360           vpshufhw  $4, %xmm2, %xmm3
1361
1362 // CHECK: vpshufhw  $4, (%eax), %xmm3
1363 // CHECK: encoding: [0xc5,0xfa,0x70,0x18,0x04]
1364           vpshufhw  $4, (%eax), %xmm3
1365
1366 // CHECK: vpshuflw  $4, %xmm2, %xmm3
1367 // CHECK: encoding: [0xc5,0xfb,0x70,0xda,0x04]
1368           vpshuflw  $4, %xmm2, %xmm3
1369
1370 // CHECK: vpshuflw  $4, (%eax), %xmm3
1371 // CHECK: encoding: [0xc5,0xfb,0x70,0x18,0x04]
1372           vpshuflw  $4, (%eax), %xmm3
1373
1374 // CHECK: vpunpcklbw  %xmm1, %xmm2, %xmm3
1375 // CHECK: encoding: [0xc5,0xe9,0x60,0xd9]
1376           vpunpcklbw  %xmm1, %xmm2, %xmm3
1377
1378 // CHECK: vpunpcklbw  (%eax), %xmm2, %xmm3
1379 // CHECK: encoding: [0xc5,0xe9,0x60,0x18]
1380           vpunpcklbw  (%eax), %xmm2, %xmm3
1381
1382 // CHECK: vpunpcklwd  %xmm1, %xmm2, %xmm3
1383 // CHECK: encoding: [0xc5,0xe9,0x61,0xd9]
1384           vpunpcklwd  %xmm1, %xmm2, %xmm3
1385
1386 // CHECK: vpunpcklwd  (%eax), %xmm2, %xmm3
1387 // CHECK: encoding: [0xc5,0xe9,0x61,0x18]
1388           vpunpcklwd  (%eax), %xmm2, %xmm3
1389
1390 // CHECK: vpunpckldq  %xmm1, %xmm2, %xmm3
1391 // CHECK: encoding: [0xc5,0xe9,0x62,0xd9]
1392           vpunpckldq  %xmm1, %xmm2, %xmm3
1393
1394 // CHECK: vpunpckldq  (%eax), %xmm2, %xmm3
1395 // CHECK: encoding: [0xc5,0xe9,0x62,0x18]
1396           vpunpckldq  (%eax), %xmm2, %xmm3
1397
1398 // CHECK: vpunpcklqdq  %xmm1, %xmm2, %xmm3
1399 // CHECK: encoding: [0xc5,0xe9,0x6c,0xd9]
1400           vpunpcklqdq  %xmm1, %xmm2, %xmm3
1401
1402 // CHECK: vpunpcklqdq  (%eax), %xmm2, %xmm3
1403 // CHECK: encoding: [0xc5,0xe9,0x6c,0x18]
1404           vpunpcklqdq  (%eax), %xmm2, %xmm3
1405
1406 // CHECK: vpunpckhbw  %xmm1, %xmm2, %xmm3
1407 // CHECK: encoding: [0xc5,0xe9,0x68,0xd9]
1408           vpunpckhbw  %xmm1, %xmm2, %xmm3
1409
1410 // CHECK: vpunpckhbw  (%eax), %xmm2, %xmm3
1411 // CHECK: encoding: [0xc5,0xe9,0x68,0x18]
1412           vpunpckhbw  (%eax), %xmm2, %xmm3
1413
1414 // CHECK: vpunpckhwd  %xmm1, %xmm2, %xmm3
1415 // CHECK: encoding: [0xc5,0xe9,0x69,0xd9]
1416           vpunpckhwd  %xmm1, %xmm2, %xmm3
1417
1418 // CHECK: vpunpckhwd  (%eax), %xmm2, %xmm3
1419 // CHECK: encoding: [0xc5,0xe9,0x69,0x18]
1420           vpunpckhwd  (%eax), %xmm2, %xmm3
1421
1422 // CHECK: vpunpckhdq  %xmm1, %xmm2, %xmm3
1423 // CHECK: encoding: [0xc5,0xe9,0x6a,0xd9]
1424           vpunpckhdq  %xmm1, %xmm2, %xmm3
1425
1426 // CHECK: vpunpckhdq  (%eax), %xmm2, %xmm3
1427 // CHECK: encoding: [0xc5,0xe9,0x6a,0x18]
1428           vpunpckhdq  (%eax), %xmm2, %xmm3
1429
1430 // CHECK: vpunpckhqdq  %xmm1, %xmm2, %xmm3
1431 // CHECK: encoding: [0xc5,0xe9,0x6d,0xd9]
1432           vpunpckhqdq  %xmm1, %xmm2, %xmm3
1433
1434 // CHECK: vpunpckhqdq  (%eax), %xmm2, %xmm3
1435 // CHECK: encoding: [0xc5,0xe9,0x6d,0x18]
1436           vpunpckhqdq  (%eax), %xmm2, %xmm3
1437
1438 // CHECK: vpinsrw  $7, %eax, %xmm2, %xmm3
1439 // CHECK: encoding: [0xc5,0xe9,0xc4,0xd8,0x07]
1440           vpinsrw  $7, %eax, %xmm2, %xmm3
1441
1442 // CHECK: vpinsrw  $7, (%eax), %xmm2, %xmm3
1443 // CHECK: encoding: [0xc5,0xe9,0xc4,0x18,0x07]
1444           vpinsrw  $7, (%eax), %xmm2, %xmm3
1445
1446 // CHECK: vpextrw  $7, %xmm2, %eax
1447 // CHECK: encoding: [0xc5,0xf9,0xc5,0xc2,0x07]
1448           vpextrw  $7, %xmm2, %eax
1449
1450 // CHECK: vpmovmskb  %xmm1, %eax
1451 // CHECK: encoding: [0xc5,0xf9,0xd7,0xc1]
1452           vpmovmskb  %xmm1, %eax
1453
1454 // CHECK: vmaskmovdqu  %xmm1, %xmm2
1455 // CHECK: encoding: [0xc5,0xf9,0xf7,0xd1]
1456           vmaskmovdqu  %xmm1, %xmm2
1457
1458 // CHECK: vmovd  %xmm1, %eax
1459 // CHECK: encoding: [0xc5,0xf9,0x7e,0xc8]
1460           vmovd  %xmm1, %eax
1461
1462 // CHECK: vmovd  %xmm1, (%eax)
1463 // CHECK: encoding: [0xc5,0xf9,0x7e,0x08]
1464           vmovd  %xmm1, (%eax)
1465
1466 // CHECK: vmovd  %eax, %xmm1
1467 // CHECK: encoding: [0xc5,0xf9,0x6e,0xc8]
1468           vmovd  %eax, %xmm1
1469
1470 // CHECK: vmovd  (%eax), %xmm1
1471 // CHECK: encoding: [0xc5,0xf9,0x6e,0x08]
1472           vmovd  (%eax), %xmm1
1473
1474 // CHECK: vmovq  %xmm1, (%eax)
1475 // CHECK: encoding: [0xc5,0xf9,0xd6,0x08]
1476           vmovq  %xmm1, (%eax)
1477
1478 // CHECK: vmovq  %xmm1, %xmm2
1479 // CHECK: encoding: [0xc5,0xfa,0x7e,0xd1]
1480           vmovq  %xmm1, %xmm2
1481
1482 // CHECK: vmovq  (%eax), %xmm1
1483 // CHECK: encoding: [0xc5,0xfa,0x7e,0x08]
1484           vmovq  (%eax), %xmm1
1485
1486 // CHECK: vcvtpd2dq  %xmm1, %xmm2
1487 // CHECK: encoding: [0xc5,0xfb,0xe6,0xd1]
1488           vcvtpd2dq  %xmm1, %xmm2
1489
1490 // CHECK: vcvtdq2pd  %xmm1, %xmm2
1491 // CHECK: encoding: [0xc5,0xfa,0xe6,0xd1]
1492           vcvtdq2pd  %xmm1, %xmm2
1493
1494 // CHECK: vcvtdq2pd  (%eax), %xmm2
1495 // CHECK: encoding: [0xc5,0xfa,0xe6,0x10]
1496           vcvtdq2pd  (%eax), %xmm2
1497
1498 // CHECK: vmovshdup  %xmm1, %xmm2
1499 // CHECK: encoding: [0xc5,0xfa,0x16,0xd1]
1500           vmovshdup  %xmm1, %xmm2
1501
1502 // CHECK: vmovshdup  (%eax), %xmm2
1503 // CHECK: encoding: [0xc5,0xfa,0x16,0x10]
1504           vmovshdup  (%eax), %xmm2
1505
1506 // CHECK: vmovsldup  %xmm1, %xmm2
1507 // CHECK: encoding: [0xc5,0xfa,0x12,0xd1]
1508           vmovsldup  %xmm1, %xmm2
1509
1510 // CHECK: vmovsldup  (%eax), %xmm2
1511 // CHECK: encoding: [0xc5,0xfa,0x12,0x10]
1512           vmovsldup  (%eax), %xmm2
1513
1514 // CHECK: vmovddup  %xmm1, %xmm2
1515 // CHECK: encoding: [0xc5,0xfb,0x12,0xd1]
1516           vmovddup  %xmm1, %xmm2
1517
1518 // CHECK: vmovddup  (%eax), %xmm2
1519 // CHECK: encoding: [0xc5,0xfb,0x12,0x10]
1520           vmovddup  (%eax), %xmm2
1521
1522 // CHECK: vaddsubps  %xmm1, %xmm2, %xmm3
1523 // CHECK: encoding: [0xc5,0xeb,0xd0,0xd9]
1524           vaddsubps  %xmm1, %xmm2, %xmm3
1525
1526 // CHECK: vaddsubps  (%eax), %xmm1, %xmm2
1527 // CHECK: encoding: [0xc5,0xf3,0xd0,0x10]
1528           vaddsubps  (%eax), %xmm1, %xmm2
1529
1530 // CHECK: vaddsubpd  %xmm1, %xmm2, %xmm3
1531 // CHECK: encoding: [0xc5,0xe9,0xd0,0xd9]
1532           vaddsubpd  %xmm1, %xmm2, %xmm3
1533
1534 // CHECK: vaddsubpd  (%eax), %xmm1, %xmm2
1535 // CHECK: encoding: [0xc5,0xf1,0xd0,0x10]
1536           vaddsubpd  (%eax), %xmm1, %xmm2
1537
1538 // CHECK: vhaddps  %xmm1, %xmm2, %xmm3
1539 // CHECK: encoding: [0xc5,0xeb,0x7c,0xd9]
1540           vhaddps  %xmm1, %xmm2, %xmm3
1541
1542 // CHECK: vhaddps  (%eax), %xmm2, %xmm3
1543 // CHECK: encoding: [0xc5,0xeb,0x7c,0x18]
1544           vhaddps  (%eax), %xmm2, %xmm3
1545
1546 // CHECK: vhaddpd  %xmm1, %xmm2, %xmm3
1547 // CHECK: encoding: [0xc5,0xe9,0x7c,0xd9]
1548           vhaddpd  %xmm1, %xmm2, %xmm3
1549
1550 // CHECK: vhaddpd  (%eax), %xmm2, %xmm3
1551 // CHECK: encoding: [0xc5,0xe9,0x7c,0x18]
1552           vhaddpd  (%eax), %xmm2, %xmm3
1553
1554 // CHECK: vhsubps  %xmm1, %xmm2, %xmm3
1555 // CHECK: encoding: [0xc5,0xeb,0x7d,0xd9]
1556           vhsubps  %xmm1, %xmm2, %xmm3
1557
1558 // CHECK: vhsubps  (%eax), %xmm2, %xmm3
1559 // CHECK: encoding: [0xc5,0xeb,0x7d,0x18]
1560           vhsubps  (%eax), %xmm2, %xmm3
1561
1562 // CHECK: vhsubpd  %xmm1, %xmm2, %xmm3
1563 // CHECK: encoding: [0xc5,0xe9,0x7d,0xd9]
1564           vhsubpd  %xmm1, %xmm2, %xmm3
1565
1566 // CHECK: vhsubpd  (%eax), %xmm2, %xmm3
1567 // CHECK: encoding: [0xc5,0xe9,0x7d,0x18]
1568           vhsubpd  (%eax), %xmm2, %xmm3
1569
1570 // CHECK: vpabsb  %xmm1, %xmm2
1571 // CHECK: encoding: [0xc4,0xe2,0x79,0x1c,0xd1]
1572           vpabsb  %xmm1, %xmm2
1573
1574 // CHECK: vpabsb  (%eax), %xmm2
1575 // CHECK: encoding: [0xc4,0xe2,0x79,0x1c,0x10]
1576           vpabsb  (%eax), %xmm2
1577
1578 // CHECK: vpabsw  %xmm1, %xmm2
1579 // CHECK: encoding: [0xc4,0xe2,0x79,0x1d,0xd1]
1580           vpabsw  %xmm1, %xmm2
1581
1582 // CHECK: vpabsw  (%eax), %xmm2
1583 // CHECK: encoding: [0xc4,0xe2,0x79,0x1d,0x10]
1584           vpabsw  (%eax), %xmm2
1585
1586 // CHECK: vpabsd  %xmm1, %xmm2
1587 // CHECK: encoding: [0xc4,0xe2,0x79,0x1e,0xd1]
1588           vpabsd  %xmm1, %xmm2
1589
1590 // CHECK: vpabsd  (%eax), %xmm2
1591 // CHECK: encoding: [0xc4,0xe2,0x79,0x1e,0x10]
1592           vpabsd  (%eax), %xmm2
1593
1594 // CHECK: vphaddw  %xmm1, %xmm2, %xmm3
1595 // CHECK: encoding: [0xc4,0xe2,0x69,0x01,0xd9]
1596           vphaddw  %xmm1, %xmm2, %xmm3
1597
1598 // CHECK: vphaddw  (%eax), %xmm2, %xmm3
1599 // CHECK: encoding: [0xc4,0xe2,0x69,0x01,0x18]
1600           vphaddw  (%eax), %xmm2, %xmm3
1601
1602 // CHECK: vphaddd  %xmm1, %xmm2, %xmm3
1603 // CHECK: encoding: [0xc4,0xe2,0x69,0x02,0xd9]
1604           vphaddd  %xmm1, %xmm2, %xmm3
1605
1606 // CHECK: vphaddd  (%eax), %xmm2, %xmm3
1607 // CHECK: encoding: [0xc4,0xe2,0x69,0x02,0x18]
1608           vphaddd  (%eax), %xmm2, %xmm3
1609
1610 // CHECK: vphaddsw  %xmm1, %xmm2, %xmm3
1611 // CHECK: encoding: [0xc4,0xe2,0x69,0x03,0xd9]
1612           vphaddsw  %xmm1, %xmm2, %xmm3
1613
1614 // CHECK: vphaddsw  (%eax), %xmm2, %xmm3
1615 // CHECK: encoding: [0xc4,0xe2,0x69,0x03,0x18]
1616           vphaddsw  (%eax), %xmm2, %xmm3
1617
1618 // CHECK: vphsubw  %xmm1, %xmm2, %xmm3
1619 // CHECK: encoding: [0xc4,0xe2,0x69,0x05,0xd9]
1620           vphsubw  %xmm1, %xmm2, %xmm3
1621
1622 // CHECK: vphsubw  (%eax), %xmm2, %xmm3
1623 // CHECK: encoding: [0xc4,0xe2,0x69,0x05,0x18]
1624           vphsubw  (%eax), %xmm2, %xmm3
1625
1626 // CHECK: vphsubd  %xmm1, %xmm2, %xmm3
1627 // CHECK: encoding: [0xc4,0xe2,0x69,0x06,0xd9]
1628           vphsubd  %xmm1, %xmm2, %xmm3
1629
1630 // CHECK: vphsubd  (%eax), %xmm2, %xmm3
1631 // CHECK: encoding: [0xc4,0xe2,0x69,0x06,0x18]
1632           vphsubd  (%eax), %xmm2, %xmm3
1633
1634 // CHECK: vphsubsw  %xmm1, %xmm2, %xmm3
1635 // CHECK: encoding: [0xc4,0xe2,0x69,0x07,0xd9]
1636           vphsubsw  %xmm1, %xmm2, %xmm3
1637
1638 // CHECK: vphsubsw  (%eax), %xmm2, %xmm3
1639 // CHECK: encoding: [0xc4,0xe2,0x69,0x07,0x18]
1640           vphsubsw  (%eax), %xmm2, %xmm3
1641
1642 // CHECK: vpmaddubsw  %xmm1, %xmm2, %xmm3
1643 // CHECK: encoding: [0xc4,0xe2,0x69,0x04,0xd9]
1644           vpmaddubsw  %xmm1, %xmm2, %xmm3
1645
1646 // CHECK: vpmaddubsw  (%eax), %xmm2, %xmm3
1647 // CHECK: encoding: [0xc4,0xe2,0x69,0x04,0x18]
1648           vpmaddubsw  (%eax), %xmm2, %xmm3
1649
1650 // CHECK: vpshufb  %xmm1, %xmm2, %xmm3
1651 // CHECK: encoding: [0xc4,0xe2,0x69,0x00,0xd9]
1652           vpshufb  %xmm1, %xmm2, %xmm3
1653
1654 // CHECK: vpshufb  (%eax), %xmm2, %xmm3
1655 // CHECK: encoding: [0xc4,0xe2,0x69,0x00,0x18]
1656           vpshufb  (%eax), %xmm2, %xmm3
1657
1658 // CHECK: vpsignb  %xmm1, %xmm2, %xmm3
1659 // CHECK: encoding: [0xc4,0xe2,0x69,0x08,0xd9]
1660           vpsignb  %xmm1, %xmm2, %xmm3
1661
1662 // CHECK: vpsignb  (%eax), %xmm2, %xmm3
1663 // CHECK: encoding: [0xc4,0xe2,0x69,0x08,0x18]
1664           vpsignb  (%eax), %xmm2, %xmm3
1665
1666 // CHECK: vpsignw  %xmm1, %xmm2, %xmm3
1667 // CHECK: encoding: [0xc4,0xe2,0x69,0x09,0xd9]
1668           vpsignw  %xmm1, %xmm2, %xmm3
1669
1670 // CHECK: vpsignw  (%eax), %xmm2, %xmm3
1671 // CHECK: encoding: [0xc4,0xe2,0x69,0x09,0x18]
1672           vpsignw  (%eax), %xmm2, %xmm3
1673
1674 // CHECK: vpsignd  %xmm1, %xmm2, %xmm3
1675 // CHECK: encoding: [0xc4,0xe2,0x69,0x0a,0xd9]
1676           vpsignd  %xmm1, %xmm2, %xmm3
1677
1678 // CHECK: vpsignd  (%eax), %xmm2, %xmm3
1679 // CHECK: encoding: [0xc4,0xe2,0x69,0x0a,0x18]
1680           vpsignd  (%eax), %xmm2, %xmm3
1681
1682 // CHECK: vpmulhrsw  %xmm1, %xmm2, %xmm3
1683 // CHECK: encoding: [0xc4,0xe2,0x69,0x0b,0xd9]
1684           vpmulhrsw  %xmm1, %xmm2, %xmm3
1685
1686 // CHECK: vpmulhrsw  (%eax), %xmm2, %xmm3
1687 // CHECK: encoding: [0xc4,0xe2,0x69,0x0b,0x18]
1688           vpmulhrsw  (%eax), %xmm2, %xmm3
1689
1690 // CHECK: vpalignr  $7, %xmm1, %xmm2, %xmm3
1691 // CHECK: encoding: [0xc4,0xe3,0x69,0x0f,0xd9,0x07]
1692           vpalignr  $7, %xmm1, %xmm2, %xmm3
1693
1694 // CHECK: vpalignr  $7, (%eax), %xmm2, %xmm3
1695 // CHECK: encoding: [0xc4,0xe3,0x69,0x0f,0x18,0x07]
1696           vpalignr  $7, (%eax), %xmm2, %xmm3
1697
1698 // CHECK: vroundsd  $7, %xmm1, %xmm2, %xmm3
1699 // CHECK: encoding: [0xc4,0xe3,0x69,0x0b,0xd9,0x07]
1700           vroundsd  $7, %xmm1, %xmm2, %xmm3
1701
1702 // CHECK: vroundsd  $7, (%eax), %xmm2, %xmm3
1703 // CHECK: encoding: [0xc4,0xe3,0x69,0x0b,0x18,0x07]
1704           vroundsd  $7, (%eax), %xmm2, %xmm3
1705
1706 // CHECK: vroundss  $7, %xmm1, %xmm2, %xmm3
1707 // CHECK: encoding: [0xc4,0xe3,0x69,0x0a,0xd9,0x07]
1708           vroundss  $7, %xmm1, %xmm2, %xmm3
1709
1710 // CHECK: vroundss  $7, (%eax), %xmm2, %xmm3
1711 // CHECK: encoding: [0xc4,0xe3,0x69,0x0a,0x18,0x07]
1712           vroundss  $7, (%eax), %xmm2, %xmm3
1713
1714 // CHECK: vroundpd  $7, %xmm2, %xmm3
1715 // CHECK: encoding: [0xc4,0xe3,0x79,0x09,0xda,0x07]
1716           vroundpd  $7, %xmm2, %xmm3
1717
1718 // CHECK: vroundpd  $7, (%eax), %xmm3
1719 // CHECK: encoding: [0xc4,0xe3,0x79,0x09,0x18,0x07]
1720           vroundpd  $7, (%eax), %xmm3
1721
1722 // CHECK: vroundps  $7, %xmm2, %xmm3
1723 // CHECK: encoding: [0xc4,0xe3,0x79,0x08,0xda,0x07]
1724           vroundps  $7, %xmm2, %xmm3
1725
1726 // CHECK: vroundps  $7, (%eax), %xmm3
1727 // CHECK: encoding: [0xc4,0xe3,0x79,0x08,0x18,0x07]
1728           vroundps  $7, (%eax), %xmm3
1729
1730 // CHECK: vphminposuw  %xmm2, %xmm3
1731 // CHECK: encoding: [0xc4,0xe2,0x79,0x41,0xda]
1732           vphminposuw  %xmm2, %xmm3
1733
1734 // CHECK: vphminposuw  (%eax), %xmm2
1735 // CHECK: encoding: [0xc4,0xe2,0x79,0x41,0x10]
1736           vphminposuw  (%eax), %xmm2
1737
1738 // CHECK: vpackusdw  %xmm2, %xmm3, %xmm1
1739 // CHECK: encoding: [0xc4,0xe2,0x61,0x2b,0xca]
1740           vpackusdw  %xmm2, %xmm3, %xmm1
1741
1742 // CHECK: vpackusdw  (%eax), %xmm2, %xmm3
1743 // CHECK: encoding: [0xc4,0xe2,0x69,0x2b,0x18]
1744           vpackusdw  (%eax), %xmm2, %xmm3
1745
1746 // CHECK: vpcmpeqq  %xmm2, %xmm3, %xmm1
1747 // CHECK: encoding: [0xc4,0xe2,0x61,0x29,0xca]
1748           vpcmpeqq  %xmm2, %xmm3, %xmm1
1749
1750 // CHECK: vpcmpeqq  (%eax), %xmm2, %xmm3
1751 // CHECK: encoding: [0xc4,0xe2,0x69,0x29,0x18]
1752           vpcmpeqq  (%eax), %xmm2, %xmm3
1753
1754 // CHECK: vpminsb  %xmm2, %xmm3, %xmm1
1755 // CHECK: encoding: [0xc4,0xe2,0x61,0x38,0xca]
1756           vpminsb  %xmm2, %xmm3, %xmm1
1757
1758 // CHECK: vpminsb  (%eax), %xmm2, %xmm3
1759 // CHECK: encoding: [0xc4,0xe2,0x69,0x38,0x18]
1760           vpminsb  (%eax), %xmm2, %xmm3
1761
1762 // CHECK: vpminsd  %xmm2, %xmm3, %xmm1
1763 // CHECK: encoding: [0xc4,0xe2,0x61,0x39,0xca]
1764           vpminsd  %xmm2, %xmm3, %xmm1
1765
1766 // CHECK: vpminsd  (%eax), %xmm2, %xmm3
1767 // CHECK: encoding: [0xc4,0xe2,0x69,0x39,0x18]
1768           vpminsd  (%eax), %xmm2, %xmm3
1769
1770 // CHECK: vpminud  %xmm2, %xmm3, %xmm1
1771 // CHECK: encoding: [0xc4,0xe2,0x61,0x3b,0xca]
1772           vpminud  %xmm2, %xmm3, %xmm1
1773
1774 // CHECK: vpminud  (%eax), %xmm2, %xmm3
1775 // CHECK: encoding: [0xc4,0xe2,0x69,0x3b,0x18]
1776           vpminud  (%eax), %xmm2, %xmm3
1777
1778 // CHECK: vpminuw  %xmm2, %xmm3, %xmm1
1779 // CHECK: encoding: [0xc4,0xe2,0x61,0x3a,0xca]
1780           vpminuw  %xmm2, %xmm3, %xmm1
1781
1782 // CHECK: vpminuw  (%eax), %xmm2, %xmm3
1783 // CHECK: encoding: [0xc4,0xe2,0x69,0x3a,0x18]
1784           vpminuw  (%eax), %xmm2, %xmm3
1785
1786 // CHECK: vpmaxsb  %xmm2, %xmm3, %xmm1
1787 // CHECK: encoding: [0xc4,0xe2,0x61,0x3c,0xca]
1788           vpmaxsb  %xmm2, %xmm3, %xmm1
1789
1790 // CHECK: vpmaxsb  (%eax), %xmm2, %xmm3
1791 // CHECK: encoding: [0xc4,0xe2,0x69,0x3c,0x18]
1792           vpmaxsb  (%eax), %xmm2, %xmm3
1793
1794 // CHECK: vpmaxsd  %xmm2, %xmm3, %xmm1
1795 // CHECK: encoding: [0xc4,0xe2,0x61,0x3d,0xca]
1796           vpmaxsd  %xmm2, %xmm3, %xmm1
1797
1798 // CHECK: vpmaxsd  (%eax), %xmm2, %xmm3
1799 // CHECK: encoding: [0xc4,0xe2,0x69,0x3d,0x18]
1800           vpmaxsd  (%eax), %xmm2, %xmm3
1801
1802 // CHECK: vpmaxud  %xmm2, %xmm3, %xmm1
1803 // CHECK: encoding: [0xc4,0xe2,0x61,0x3f,0xca]
1804           vpmaxud  %xmm2, %xmm3, %xmm1
1805
1806 // CHECK: vpmaxud  (%eax), %xmm2, %xmm3
1807 // CHECK: encoding: [0xc4,0xe2,0x69,0x3f,0x18]
1808           vpmaxud  (%eax), %xmm2, %xmm3
1809
1810 // CHECK: vpmaxuw  %xmm2, %xmm3, %xmm1
1811 // CHECK: encoding: [0xc4,0xe2,0x61,0x3e,0xca]
1812           vpmaxuw  %xmm2, %xmm3, %xmm1
1813
1814 // CHECK: vpmaxuw  (%eax), %xmm2, %xmm3
1815 // CHECK: encoding: [0xc4,0xe2,0x69,0x3e,0x18]
1816           vpmaxuw  (%eax), %xmm2, %xmm3
1817
1818 // CHECK: vpmuldq  %xmm2, %xmm3, %xmm1
1819 // CHECK: encoding: [0xc4,0xe2,0x61,0x28,0xca]
1820           vpmuldq  %xmm2, %xmm3, %xmm1
1821
1822 // CHECK: vpmuldq  (%eax), %xmm2, %xmm3
1823 // CHECK: encoding: [0xc4,0xe2,0x69,0x28,0x18]
1824           vpmuldq  (%eax), %xmm2, %xmm3
1825
1826 // CHECK: vpmulld  %xmm2, %xmm5, %xmm1
1827 // CHECK: encoding: [0xc4,0xe2,0x51,0x40,0xca]
1828           vpmulld  %xmm2, %xmm5, %xmm1
1829
1830 // CHECK: vpmulld  (%eax), %xmm5, %xmm3
1831 // CHECK: encoding: [0xc4,0xe2,0x51,0x40,0x18]
1832           vpmulld  (%eax), %xmm5, %xmm3
1833
1834 // CHECK: vblendps  $3, %xmm2, %xmm5, %xmm1
1835 // CHECK: encoding: [0xc4,0xe3,0x51,0x0c,0xca,0x03]
1836           vblendps  $3, %xmm2, %xmm5, %xmm1
1837
1838 // CHECK: vblendps  $3, (%eax), %xmm5, %xmm1
1839 // CHECK: encoding: [0xc4,0xe3,0x51,0x0c,0x08,0x03]
1840           vblendps  $3, (%eax), %xmm5, %xmm1
1841
1842 // CHECK: vblendpd  $3, %xmm2, %xmm5, %xmm1
1843 // CHECK: encoding: [0xc4,0xe3,0x51,0x0d,0xca,0x03]
1844           vblendpd  $3, %xmm2, %xmm5, %xmm1
1845
1846 // CHECK: vblendpd  $3, (%eax), %xmm5, %xmm1
1847 // CHECK: encoding: [0xc4,0xe3,0x51,0x0d,0x08,0x03]
1848           vblendpd  $3, (%eax), %xmm5, %xmm1
1849
1850 // CHECK: vpblendw  $3, %xmm2, %xmm5, %xmm1
1851 // CHECK: encoding: [0xc4,0xe3,0x51,0x0e,0xca,0x03]
1852           vpblendw  $3, %xmm2, %xmm5, %xmm1
1853
1854 // CHECK: vpblendw  $3, (%eax), %xmm5, %xmm1
1855 // CHECK: encoding: [0xc4,0xe3,0x51,0x0e,0x08,0x03]
1856           vpblendw  $3, (%eax), %xmm5, %xmm1
1857
1858 // CHECK: vmpsadbw  $3, %xmm2, %xmm5, %xmm1
1859 // CHECK: encoding: [0xc4,0xe3,0x51,0x42,0xca,0x03]
1860           vmpsadbw  $3, %xmm2, %xmm5, %xmm1
1861
1862 // CHECK: vmpsadbw  $3, (%eax), %xmm5, %xmm1
1863 // CHECK: encoding: [0xc4,0xe3,0x51,0x42,0x08,0x03]
1864           vmpsadbw  $3, (%eax), %xmm5, %xmm1
1865
1866 // CHECK: vdpps  $3, %xmm2, %xmm5, %xmm1
1867 // CHECK: encoding: [0xc4,0xe3,0x51,0x40,0xca,0x03]
1868           vdpps  $3, %xmm2, %xmm5, %xmm1
1869
1870 // CHECK: vdpps  $3, (%eax), %xmm5, %xmm1
1871 // CHECK: encoding: [0xc4,0xe3,0x51,0x40,0x08,0x03]
1872           vdpps  $3, (%eax), %xmm5, %xmm1
1873
1874 // CHECK: vdppd  $3, %xmm2, %xmm5, %xmm1
1875 // CHECK: encoding: [0xc4,0xe3,0x51,0x41,0xca,0x03]
1876           vdppd  $3, %xmm2, %xmm5, %xmm1
1877
1878 // CHECK: vdppd  $3, (%eax), %xmm5, %xmm1
1879 // CHECK: encoding: [0xc4,0xe3,0x51,0x41,0x08,0x03]
1880           vdppd  $3, (%eax), %xmm5, %xmm1
1881
1882 // CHECK: vblendvpd  %xmm2, %xmm5, %xmm1, %xmm3
1883 // CHECK: encoding: [0xc4,0xe3,0x71,0x4b,0xdd,0x20]
1884           vblendvpd  %xmm2, %xmm5, %xmm1, %xmm3
1885
1886 // CHECK: vblendvpd  %xmm2, (%eax), %xmm1, %xmm3
1887 // CHECK: encoding: [0xc4,0xe3,0x71,0x4b,0x18,0x20]
1888           vblendvpd  %xmm2, (%eax), %xmm1, %xmm3
1889
1890 // CHECK: vblendvps  %xmm2, %xmm5, %xmm1, %xmm3
1891 // CHECK: encoding: [0xc4,0xe3,0x71,0x4a,0xdd,0x20]
1892           vblendvps  %xmm2, %xmm5, %xmm1, %xmm3
1893
1894 // CHECK: vblendvps  %xmm2, (%eax), %xmm1, %xmm3
1895 // CHECK: encoding: [0xc4,0xe3,0x71,0x4a,0x18,0x20]
1896           vblendvps  %xmm2, (%eax), %xmm1, %xmm3
1897
1898 // CHECK: vpblendvb  %xmm2, %xmm5, %xmm1, %xmm3
1899 // CHECK: encoding: [0xc4,0xe3,0x71,0x4c,0xdd,0x20]
1900           vpblendvb  %xmm2, %xmm5, %xmm1, %xmm3
1901
1902 // CHECK: vpblendvb  %xmm2, (%eax), %xmm1, %xmm3
1903 // CHECK: encoding: [0xc4,0xe3,0x71,0x4c,0x18,0x20]
1904           vpblendvb  %xmm2, (%eax), %xmm1, %xmm3
1905
1906 // CHECK: vpmovsxbw  %xmm2, %xmm5
1907 // CHECK: encoding: [0xc4,0xe2,0x79,0x20,0xea]
1908           vpmovsxbw  %xmm2, %xmm5
1909
1910 // CHECK: vpmovsxbw  (%eax), %xmm2
1911 // CHECK: encoding: [0xc4,0xe2,0x79,0x20,0x10]
1912           vpmovsxbw  (%eax), %xmm2
1913
1914 // CHECK: vpmovsxwd  %xmm2, %xmm5
1915 // CHECK: encoding: [0xc4,0xe2,0x79,0x23,0xea]
1916           vpmovsxwd  %xmm2, %xmm5
1917
1918 // CHECK: vpmovsxwd  (%eax), %xmm2
1919 // CHECK: encoding: [0xc4,0xe2,0x79,0x23,0x10]
1920           vpmovsxwd  (%eax), %xmm2
1921
1922 // CHECK: vpmovsxdq  %xmm2, %xmm5
1923 // CHECK: encoding: [0xc4,0xe2,0x79,0x25,0xea]
1924           vpmovsxdq  %xmm2, %xmm5
1925
1926 // CHECK: vpmovsxdq  (%eax), %xmm2
1927 // CHECK: encoding: [0xc4,0xe2,0x79,0x25,0x10]
1928           vpmovsxdq  (%eax), %xmm2
1929
1930 // CHECK: vpmovzxbw  %xmm2, %xmm5
1931 // CHECK: encoding: [0xc4,0xe2,0x79,0x30,0xea]
1932           vpmovzxbw  %xmm2, %xmm5
1933
1934 // CHECK: vpmovzxbw  (%eax), %xmm2
1935 // CHECK: encoding: [0xc4,0xe2,0x79,0x30,0x10]
1936           vpmovzxbw  (%eax), %xmm2
1937
1938 // CHECK: vpmovzxwd  %xmm2, %xmm5
1939 // CHECK: encoding: [0xc4,0xe2,0x79,0x33,0xea]
1940           vpmovzxwd  %xmm2, %xmm5
1941
1942 // CHECK: vpmovzxwd  (%eax), %xmm2
1943 // CHECK: encoding: [0xc4,0xe2,0x79,0x33,0x10]
1944           vpmovzxwd  (%eax), %xmm2
1945
1946 // CHECK: vpmovzxdq  %xmm2, %xmm5
1947 // CHECK: encoding: [0xc4,0xe2,0x79,0x35,0xea]
1948           vpmovzxdq  %xmm2, %xmm5
1949
1950 // CHECK: vpmovzxdq  (%eax), %xmm2
1951 // CHECK: encoding: [0xc4,0xe2,0x79,0x35,0x10]
1952           vpmovzxdq  (%eax), %xmm2
1953
1954 // CHECK: vpmovsxbq  %xmm2, %xmm5
1955 // CHECK: encoding: [0xc4,0xe2,0x79,0x22,0xea]
1956           vpmovsxbq  %xmm2, %xmm5
1957
1958 // CHECK: vpmovsxbq  (%eax), %xmm2
1959 // CHECK: encoding: [0xc4,0xe2,0x79,0x22,0x10]
1960           vpmovsxbq  (%eax), %xmm2
1961
1962 // CHECK: vpmovzxbq  %xmm2, %xmm5
1963 // CHECK: encoding: [0xc4,0xe2,0x79,0x32,0xea]
1964           vpmovzxbq  %xmm2, %xmm5
1965
1966 // CHECK: vpmovzxbq  (%eax), %xmm2
1967 // CHECK: encoding: [0xc4,0xe2,0x79,0x32,0x10]
1968           vpmovzxbq  (%eax), %xmm2
1969
1970 // CHECK: vpmovsxbd  %xmm2, %xmm5
1971 // CHECK: encoding: [0xc4,0xe2,0x79,0x21,0xea]
1972           vpmovsxbd  %xmm2, %xmm5
1973
1974 // CHECK: vpmovsxbd  (%eax), %xmm2
1975 // CHECK: encoding: [0xc4,0xe2,0x79,0x21,0x10]
1976           vpmovsxbd  (%eax), %xmm2
1977
1978 // CHECK: vpmovsxwq  %xmm2, %xmm5
1979 // CHECK: encoding: [0xc4,0xe2,0x79,0x24,0xea]
1980           vpmovsxwq  %xmm2, %xmm5
1981
1982 // CHECK: vpmovsxwq  (%eax), %xmm2
1983 // CHECK: encoding: [0xc4,0xe2,0x79,0x24,0x10]
1984           vpmovsxwq  (%eax), %xmm2
1985
1986 // CHECK: vpmovzxbd  %xmm2, %xmm5
1987 // CHECK: encoding: [0xc4,0xe2,0x79,0x31,0xea]
1988           vpmovzxbd  %xmm2, %xmm5
1989
1990 // CHECK: vpmovzxbd  (%eax), %xmm2
1991 // CHECK: encoding: [0xc4,0xe2,0x79,0x31,0x10]
1992           vpmovzxbd  (%eax), %xmm2
1993
1994 // CHECK: vpmovzxwq  %xmm2, %xmm5
1995 // CHECK: encoding: [0xc4,0xe2,0x79,0x34,0xea]
1996           vpmovzxwq  %xmm2, %xmm5
1997
1998 // CHECK: vpmovzxwq  (%eax), %xmm2
1999 // CHECK: encoding: [0xc4,0xe2,0x79,0x34,0x10]
2000           vpmovzxwq  (%eax), %xmm2
2001
2002 // CHECK: vpextrw  $7, %xmm2, %eax
2003 // CHECK: encoding: [0xc5,0xf9,0xc5,0xc2,0x07]
2004           vpextrw  $7, %xmm2, %eax
2005
2006 // CHECK: vpextrw  $7, %xmm2, (%eax)
2007 // CHECK: encoding: [0xc4,0xe3,0x79,0x15,0x10,0x07]
2008           vpextrw  $7, %xmm2, (%eax)
2009
2010 // CHECK: vpextrd  $7, %xmm2, %eax
2011 // CHECK: encoding: [0xc4,0xe3,0x79,0x16,0xd0,0x07]
2012           vpextrd  $7, %xmm2, %eax
2013
2014 // CHECK: vpextrd  $7, %xmm2, (%eax)
2015 // CHECK: encoding: [0xc4,0xe3,0x79,0x16,0x10,0x07]
2016           vpextrd  $7, %xmm2, (%eax)
2017
2018 // CHECK: vpextrb  $7, %xmm2, %eax
2019 // CHECK: encoding: [0xc4,0xe3,0x79,0x14,0xd0,0x07]
2020           vpextrb  $7, %xmm2, %eax
2021
2022 // CHECK: vpextrb  $7, %xmm2, (%eax)
2023 // CHECK: encoding: [0xc4,0xe3,0x79,0x14,0x10,0x07]
2024           vpextrb  $7, %xmm2, (%eax)
2025
2026 // CHECK: vextractps  $7, %xmm2, (%eax)
2027 // CHECK: encoding: [0xc4,0xe3,0x79,0x17,0x10,0x07]
2028           vextractps  $7, %xmm2, (%eax)
2029
2030 // CHECK: vextractps  $7, %xmm2, %eax
2031 // CHECK: encoding: [0xc4,0xe3,0x79,0x17,0xd0,0x07]
2032           vextractps  $7, %xmm2, %eax
2033
2034 // CHECK: vpinsrw  $7, %eax, %xmm2, %xmm5
2035 // CHECK: encoding: [0xc5,0xe9,0xc4,0xe8,0x07]
2036           vpinsrw  $7, %eax, %xmm2, %xmm5
2037
2038 // CHECK: vpinsrw  $7, (%eax), %xmm2, %xmm5
2039 // CHECK: encoding: [0xc5,0xe9,0xc4,0x28,0x07]
2040           vpinsrw  $7, (%eax), %xmm2, %xmm5
2041
2042 // CHECK: vpinsrb  $7, %eax, %xmm2, %xmm5
2043 // CHECK: encoding: [0xc4,0xe3,0x69,0x20,0xe8,0x07]
2044           vpinsrb  $7, %eax, %xmm2, %xmm5
2045
2046 // CHECK: vpinsrb  $7, (%eax), %xmm2, %xmm5
2047 // CHECK: encoding: [0xc4,0xe3,0x69,0x20,0x28,0x07]
2048           vpinsrb  $7, (%eax), %xmm2, %xmm5
2049
2050 // CHECK: vpinsrd  $7, %eax, %xmm2, %xmm5
2051 // CHECK: encoding: [0xc4,0xe3,0x69,0x22,0xe8,0x07]
2052           vpinsrd  $7, %eax, %xmm2, %xmm5
2053
2054 // CHECK: vpinsrd  $7, (%eax), %xmm2, %xmm5
2055 // CHECK: encoding: [0xc4,0xe3,0x69,0x22,0x28,0x07]
2056           vpinsrd  $7, (%eax), %xmm2, %xmm5
2057
2058 // CHECK: vinsertps  $7, %xmm2, %xmm5, %xmm1
2059 // CHECK: encoding: [0xc4,0xe3,0x51,0x21,0xca,0x07]
2060           vinsertps  $7, %xmm2, %xmm5, %xmm1
2061
2062 // CHECK: vinsertps  $7, (%eax), %xmm5, %xmm1
2063 // CHECK: encoding: [0xc4,0xe3,0x51,0x21,0x08,0x07]
2064           vinsertps  $7, (%eax), %xmm5, %xmm1
2065
2066 // CHECK: vptest  %xmm2, %xmm5
2067 // CHECK: encoding: [0xc4,0xe2,0x79,0x17,0xea]
2068           vptest  %xmm2, %xmm5
2069
2070 // CHECK: vptest  (%eax), %xmm2
2071 // CHECK: encoding: [0xc4,0xe2,0x79,0x17,0x10]
2072           vptest  (%eax), %xmm2
2073
2074 // CHECK: vmovntdqa  (%eax), %xmm2
2075 // CHECK: encoding: [0xc4,0xe2,0x79,0x2a,0x10]
2076           vmovntdqa  (%eax), %xmm2
2077
2078 // CHECK: vpcmpgtq  %xmm2, %xmm5, %xmm1
2079 // CHECK: encoding: [0xc4,0xe2,0x51,0x37,0xca]
2080           vpcmpgtq  %xmm2, %xmm5, %xmm1
2081
2082 // CHECK: vpcmpgtq  (%eax), %xmm5, %xmm3
2083 // CHECK: encoding: [0xc4,0xe2,0x51,0x37,0x18]
2084           vpcmpgtq  (%eax), %xmm5, %xmm3
2085
2086 // CHECK: vpcmpistrm  $7, %xmm2, %xmm5
2087 // CHECK: encoding: [0xc4,0xe3,0x79,0x62,0xea,0x07]
2088           vpcmpistrm  $7, %xmm2, %xmm5
2089
2090 // CHECK: vpcmpistrm  $7, (%eax), %xmm5
2091 // CHECK: encoding: [0xc4,0xe3,0x79,0x62,0x28,0x07]
2092           vpcmpistrm  $7, (%eax), %xmm5
2093
2094 // CHECK: vpcmpestrm  $7, %xmm2, %xmm5
2095 // CHECK: encoding: [0xc4,0xe3,0x79,0x60,0xea,0x07]
2096           vpcmpestrm  $7, %xmm2, %xmm5
2097
2098 // CHECK: vpcmpestrm  $7, (%eax), %xmm5
2099 // CHECK: encoding: [0xc4,0xe3,0x79,0x60,0x28,0x07]
2100           vpcmpestrm  $7, (%eax), %xmm5
2101
2102 // CHECK: vpcmpistri  $7, %xmm2, %xmm5
2103 // CHECK: encoding: [0xc4,0xe3,0x79,0x63,0xea,0x07]
2104           vpcmpistri  $7, %xmm2, %xmm5
2105
2106 // CHECK: vpcmpistri  $7, (%eax), %xmm5
2107 // CHECK: encoding: [0xc4,0xe3,0x79,0x63,0x28,0x07]
2108           vpcmpistri  $7, (%eax), %xmm5
2109
2110 // CHECK: vpcmpestri  $7, %xmm2, %xmm5
2111 // CHECK: encoding: [0xc4,0xe3,0x79,0x61,0xea,0x07]
2112           vpcmpestri  $7, %xmm2, %xmm5
2113
2114 // CHECK: vpcmpestri  $7, (%eax), %xmm5
2115 // CHECK: encoding: [0xc4,0xe3,0x79,0x61,0x28,0x07]
2116           vpcmpestri  $7, (%eax), %xmm5
2117
2118 // CHECK: vaesimc  %xmm2, %xmm5
2119 // CHECK: encoding: [0xc4,0xe2,0x79,0xdb,0xea]
2120           vaesimc  %xmm2, %xmm5
2121
2122 // CHECK: vaesimc  (%eax), %xmm2
2123 // CHECK: encoding: [0xc4,0xe2,0x79,0xdb,0x10]
2124           vaesimc  (%eax), %xmm2
2125
2126 // CHECK: vaesenc  %xmm2, %xmm5, %xmm1
2127 // CHECK: encoding: [0xc4,0xe2,0x51,0xdc,0xca]
2128           vaesenc  %xmm2, %xmm5, %xmm1
2129
2130 // CHECK: vaesenc  (%eax), %xmm5, %xmm3
2131 // CHECK: encoding: [0xc4,0xe2,0x51,0xdc,0x18]
2132           vaesenc  (%eax), %xmm5, %xmm3
2133
2134 // CHECK: vaesenclast  %xmm2, %xmm5, %xmm1
2135 // CHECK: encoding: [0xc4,0xe2,0x51,0xdd,0xca]
2136           vaesenclast  %xmm2, %xmm5, %xmm1
2137
2138 // CHECK: vaesenclast  (%eax), %xmm5, %xmm3
2139 // CHECK: encoding: [0xc4,0xe2,0x51,0xdd,0x18]
2140           vaesenclast  (%eax), %xmm5, %xmm3
2141
2142 // CHECK: vaesdec  %xmm2, %xmm5, %xmm1
2143 // CHECK: encoding: [0xc4,0xe2,0x51,0xde,0xca]
2144           vaesdec  %xmm2, %xmm5, %xmm1
2145
2146 // CHECK: vaesdec  (%eax), %xmm5, %xmm3
2147 // CHECK: encoding: [0xc4,0xe2,0x51,0xde,0x18]
2148           vaesdec  (%eax), %xmm5, %xmm3
2149
2150 // CHECK: vaesdeclast  %xmm2, %xmm5, %xmm1
2151 // CHECK: encoding: [0xc4,0xe2,0x51,0xdf,0xca]
2152           vaesdeclast  %xmm2, %xmm5, %xmm1
2153
2154 // CHECK: vaesdeclast  (%eax), %xmm5, %xmm3
2155 // CHECK: encoding: [0xc4,0xe2,0x51,0xdf,0x18]
2156           vaesdeclast  (%eax), %xmm5, %xmm3
2157
2158 // CHECK: vaeskeygenassist  $7, %xmm2, %xmm5
2159 // CHECK: encoding: [0xc4,0xe3,0x79,0xdf,0xea,0x07]
2160           vaeskeygenassist  $7, %xmm2, %xmm5
2161
2162 // CHECK: vaeskeygenassist  $7, (%eax), %xmm5
2163 // CHECK: encoding: [0xc4,0xe3,0x79,0xdf,0x28,0x07]
2164           vaeskeygenassist  $7, (%eax), %xmm5
2165
2166 // CHECK: vcmpps  $8, %xmm1, %xmm2, %xmm3
2167 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x08]
2168           vcmpeq_uqps %xmm1, %xmm2, %xmm3
2169
2170 // CHECK: vcmpps  $9, %xmm1, %xmm2, %xmm3
2171 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x09]
2172           vcmpngeps %xmm1, %xmm2, %xmm3
2173
2174 // CHECK: vcmpps  $10, %xmm1, %xmm2, %xmm3
2175 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x0a]
2176           vcmpngtps %xmm1, %xmm2, %xmm3
2177
2178 // CHECK: vcmpps  $11, %xmm1, %xmm2, %xmm3
2179 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x0b]
2180           vcmpfalseps %xmm1, %xmm2, %xmm3
2181
2182 // CHECK: vcmpps  $12, %xmm1, %xmm2, %xmm3
2183 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x0c]
2184           vcmpneq_oqps %xmm1, %xmm2, %xmm3
2185
2186 // CHECK: vcmpps  $13, %xmm1, %xmm2, %xmm3
2187 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x0d]
2188           vcmpgeps %xmm1, %xmm2, %xmm3
2189
2190 // CHECK: vcmpps  $14, %xmm1, %xmm2, %xmm3
2191 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x0e]
2192           vcmpgtps %xmm1, %xmm2, %xmm3
2193
2194 // CHECK: vcmpps  $15, %xmm1, %xmm2, %xmm3
2195 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x0f]
2196           vcmptrueps %xmm1, %xmm2, %xmm3
2197
2198 // CHECK: vcmpps  $16, %xmm1, %xmm2, %xmm3
2199 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x10]
2200           vcmpeq_osps %xmm1, %xmm2, %xmm3
2201
2202 // CHECK: vcmpps  $17, %xmm1, %xmm2, %xmm3
2203 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x11]
2204           vcmplt_oqps %xmm1, %xmm2, %xmm3
2205
2206 // CHECK: vcmpps  $18, %xmm1, %xmm2, %xmm3
2207 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x12]
2208           vcmple_oqps %xmm1, %xmm2, %xmm3
2209
2210 // CHECK: vcmpps  $19, %xmm1, %xmm2, %xmm3
2211 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x13]
2212           vcmpunord_sps %xmm1, %xmm2, %xmm3
2213
2214 // CHECK: vcmpps  $20, %xmm1, %xmm2, %xmm3
2215 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x14]
2216           vcmpneq_usps %xmm1, %xmm2, %xmm3
2217
2218 // CHECK: vcmpps  $21, %xmm1, %xmm2, %xmm3
2219 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x15]
2220           vcmpnlt_uqps %xmm1, %xmm2, %xmm3
2221
2222 // CHECK: vcmpps  $22, %xmm1, %xmm2, %xmm3
2223 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x16]
2224           vcmpnle_uqps %xmm1, %xmm2, %xmm3
2225
2226 // CHECK: vcmpps  $23, %xmm1, %xmm2, %xmm3
2227 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x17]
2228           vcmpord_sps %xmm1, %xmm2, %xmm3
2229
2230 // CHECK: vcmpps  $24, %xmm1, %xmm2, %xmm3
2231 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x18]
2232           vcmpeq_usps %xmm1, %xmm2, %xmm3
2233
2234 // CHECK: vcmpps  $25, %xmm1, %xmm2, %xmm3
2235 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x19]
2236           vcmpnge_uqps %xmm1, %xmm2, %xmm3
2237
2238 // CHECK: vcmpps  $26, %xmm1, %xmm2, %xmm3
2239 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x1a]
2240           vcmpngt_uqps %xmm1, %xmm2, %xmm3
2241
2242 // CHECK: vcmpps  $27, %xmm1, %xmm2, %xmm3
2243 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x1b]
2244           vcmpfalse_osps %xmm1, %xmm2, %xmm3
2245
2246 // CHECK: vcmpps  $28, %xmm1, %xmm2, %xmm3
2247 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x1c]
2248           vcmpneq_osps %xmm1, %xmm2, %xmm3
2249
2250 // CHECK: vcmpps  $29, %xmm1, %xmm2, %xmm3
2251 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x1d]
2252           vcmpge_oqps %xmm1, %xmm2, %xmm3
2253
2254 // CHECK: vcmpps  $30, %xmm1, %xmm2, %xmm3
2255 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x1e]
2256           vcmpgt_oqps %xmm1, %xmm2, %xmm3
2257
2258 // CHECK: vcmpps  $31, %xmm1, %xmm2, %xmm3
2259 // CHECK: encoding: [0xc5,0xe8,0xc2,0xd9,0x1f]
2260           vcmptrue_usps %xmm1, %xmm2, %xmm3
2261
2262 // CHECK: vmovaps  (%eax), %ymm2
2263 // CHECK: encoding: [0xc5,0xfc,0x28,0x10]
2264           vmovaps  (%eax), %ymm2
2265
2266 // CHECK: vmovaps  %ymm1, %ymm2
2267 // CHECK: encoding: [0xc5,0xfc,0x28,0xd1]
2268           vmovaps  %ymm1, %ymm2
2269
2270 // CHECK: vmovaps  %ymm1, (%eax)
2271 // CHECK: encoding: [0xc5,0xfc,0x29,0x08]
2272           vmovaps  %ymm1, (%eax)
2273
2274 // CHECK: vmovapd  (%eax), %ymm2
2275 // CHECK: encoding: [0xc5,0xfd,0x28,0x10]
2276           vmovapd  (%eax), %ymm2
2277
2278 // CHECK: vmovapd  %ymm1, %ymm2
2279 // CHECK: encoding: [0xc5,0xfd,0x28,0xd1]
2280           vmovapd  %ymm1, %ymm2
2281
2282 // CHECK: vmovapd  %ymm1, (%eax)
2283 // CHECK: encoding: [0xc5,0xfd,0x29,0x08]
2284           vmovapd  %ymm1, (%eax)
2285
2286 // CHECK: vmovups  (%eax), %ymm2
2287 // CHECK: encoding: [0xc5,0xfc,0x10,0x10]
2288           vmovups  (%eax), %ymm2
2289
2290 // CHECK: vmovups  %ymm1, %ymm2
2291 // CHECK: encoding: [0xc5,0xfc,0x10,0xd1]
2292           vmovups  %ymm1, %ymm2
2293
2294 // CHECK: vmovups  %ymm1, (%eax)
2295 // CHECK: encoding: [0xc5,0xfc,0x11,0x08]
2296           vmovups  %ymm1, (%eax)
2297
2298 // CHECK: vmovupd  (%eax), %ymm2
2299 // CHECK: encoding: [0xc5,0xfd,0x10,0x10]
2300           vmovupd  (%eax), %ymm2
2301
2302 // CHECK: vmovupd  %ymm1, %ymm2
2303 // CHECK: encoding: [0xc5,0xfd,0x10,0xd1]
2304           vmovupd  %ymm1, %ymm2
2305
2306 // CHECK: vmovupd  %ymm1, (%eax)
2307 // CHECK: encoding: [0xc5,0xfd,0x11,0x08]
2308           vmovupd  %ymm1, (%eax)
2309
2310 // CHECK: vunpckhps  %ymm1, %ymm2, %ymm4
2311 // CHECK: encoding: [0xc5,0xec,0x15,0xe1]
2312           vunpckhps  %ymm1, %ymm2, %ymm4
2313
2314 // CHECK: vunpckhpd  %ymm1, %ymm2, %ymm4
2315 // CHECK: encoding: [0xc5,0xed,0x15,0xe1]
2316           vunpckhpd  %ymm1, %ymm2, %ymm4
2317
2318 // CHECK: vunpcklps  %ymm1, %ymm2, %ymm4
2319 // CHECK: encoding: [0xc5,0xec,0x14,0xe1]
2320           vunpcklps  %ymm1, %ymm2, %ymm4
2321
2322 // CHECK: vunpcklpd  %ymm1, %ymm2, %ymm4
2323 // CHECK: encoding: [0xc5,0xed,0x14,0xe1]
2324           vunpcklpd  %ymm1, %ymm2, %ymm4
2325
2326 // CHECK: vunpckhps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2327 // CHECK: encoding: [0xc5,0xec,0x15,0x6c,0xcb,0xfc]
2328           vunpckhps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2329
2330 // CHECK: vunpckhpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2331 // CHECK: encoding: [0xc5,0xed,0x15,0x6c,0xcb,0xfc]
2332           vunpckhpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2333
2334 // CHECK: vunpcklps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2335 // CHECK: encoding: [0xc5,0xec,0x14,0x6c,0xcb,0xfc]
2336           vunpcklps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2337
2338 // CHECK: vunpcklpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2339 // CHECK: encoding: [0xc5,0xed,0x14,0x6c,0xcb,0xfc]
2340           vunpcklpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2341
2342 // CHECK: vmovntdq  %ymm1, (%eax)
2343 // CHECK: encoding: [0xc5,0xfd,0xe7,0x08]
2344           vmovntdq  %ymm1, (%eax)
2345
2346 // CHECK: vmovntpd  %ymm1, (%eax)
2347 // CHECK: encoding: [0xc5,0xfd,0x2b,0x08]
2348           vmovntpd  %ymm1, (%eax)
2349
2350 // CHECK: vmovntps  %ymm1, (%eax)
2351 // CHECK: encoding: [0xc5,0xfc,0x2b,0x08]
2352           vmovntps  %ymm1, (%eax)
2353
2354 // CHECK: vmovmskps  %xmm2, %eax
2355 // CHECK: encoding: [0xc5,0xf8,0x50,0xc2]
2356           vmovmskps  %xmm2, %eax
2357
2358 // CHECK: vmovmskpd  %xmm2, %eax
2359 // CHECK: encoding: [0xc5,0xf9,0x50,0xc2]
2360           vmovmskpd  %xmm2, %eax
2361
2362 // CHECK: vmaxps  %ymm2, %ymm4, %ymm6
2363 // CHECK: encoding: [0xc5,0xdc,0x5f,0xf2]
2364           vmaxps  %ymm2, %ymm4, %ymm6
2365
2366 // CHECK: vmaxpd  %ymm2, %ymm4, %ymm6
2367 // CHECK: encoding: [0xc5,0xdd,0x5f,0xf2]
2368           vmaxpd  %ymm2, %ymm4, %ymm6
2369
2370 // CHECK: vminps  %ymm2, %ymm4, %ymm6
2371 // CHECK: encoding: [0xc5,0xdc,0x5d,0xf2]
2372           vminps  %ymm2, %ymm4, %ymm6
2373
2374 // CHECK: vminpd  %ymm2, %ymm4, %ymm6
2375 // CHECK: encoding: [0xc5,0xdd,0x5d,0xf2]
2376           vminpd  %ymm2, %ymm4, %ymm6
2377
2378 // CHECK: vsubps  %ymm2, %ymm4, %ymm6
2379 // CHECK: encoding: [0xc5,0xdc,0x5c,0xf2]
2380           vsubps  %ymm2, %ymm4, %ymm6
2381
2382 // CHECK: vsubpd  %ymm2, %ymm4, %ymm6
2383 // CHECK: encoding: [0xc5,0xdd,0x5c,0xf2]
2384           vsubpd  %ymm2, %ymm4, %ymm6
2385
2386 // CHECK: vdivps  %ymm2, %ymm4, %ymm6
2387 // CHECK: encoding: [0xc5,0xdc,0x5e,0xf2]
2388           vdivps  %ymm2, %ymm4, %ymm6
2389
2390 // CHECK: vdivpd  %ymm2, %ymm4, %ymm6
2391 // CHECK: encoding: [0xc5,0xdd,0x5e,0xf2]
2392           vdivpd  %ymm2, %ymm4, %ymm6
2393
2394 // CHECK: vaddps  %ymm2, %ymm4, %ymm6
2395 // CHECK: encoding: [0xc5,0xdc,0x58,0xf2]
2396           vaddps  %ymm2, %ymm4, %ymm6
2397
2398 // CHECK: vaddpd  %ymm2, %ymm4, %ymm6
2399 // CHECK: encoding: [0xc5,0xdd,0x58,0xf2]
2400           vaddpd  %ymm2, %ymm4, %ymm6
2401
2402 // CHECK: vmulps  %ymm2, %ymm4, %ymm6
2403 // CHECK: encoding: [0xc5,0xdc,0x59,0xf2]
2404           vmulps  %ymm2, %ymm4, %ymm6
2405
2406 // CHECK: vmulpd  %ymm2, %ymm4, %ymm6
2407 // CHECK: encoding: [0xc5,0xdd,0x59,0xf2]
2408           vmulpd  %ymm2, %ymm4, %ymm6
2409
2410 // CHECK: vmaxps  (%eax), %ymm4, %ymm6
2411 // CHECK: encoding: [0xc5,0xdc,0x5f,0x30]
2412           vmaxps  (%eax), %ymm4, %ymm6
2413
2414 // CHECK: vmaxpd  (%eax), %ymm4, %ymm6
2415 // CHECK: encoding: [0xc5,0xdd,0x5f,0x30]
2416           vmaxpd  (%eax), %ymm4, %ymm6
2417
2418 // CHECK: vminps  (%eax), %ymm4, %ymm6
2419 // CHECK: encoding: [0xc5,0xdc,0x5d,0x30]
2420           vminps  (%eax), %ymm4, %ymm6
2421
2422 // CHECK: vminpd  (%eax), %ymm4, %ymm6
2423 // CHECK: encoding: [0xc5,0xdd,0x5d,0x30]
2424           vminpd  (%eax), %ymm4, %ymm6
2425
2426 // CHECK: vsubps  (%eax), %ymm4, %ymm6
2427 // CHECK: encoding: [0xc5,0xdc,0x5c,0x30]
2428           vsubps  (%eax), %ymm4, %ymm6
2429
2430 // CHECK: vsubpd  (%eax), %ymm4, %ymm6
2431 // CHECK: encoding: [0xc5,0xdd,0x5c,0x30]
2432           vsubpd  (%eax), %ymm4, %ymm6
2433
2434 // CHECK: vdivps  (%eax), %ymm4, %ymm6
2435 // CHECK: encoding: [0xc5,0xdc,0x5e,0x30]
2436           vdivps  (%eax), %ymm4, %ymm6
2437
2438 // CHECK: vdivpd  (%eax), %ymm4, %ymm6
2439 // CHECK: encoding: [0xc5,0xdd,0x5e,0x30]
2440           vdivpd  (%eax), %ymm4, %ymm6
2441
2442 // CHECK: vaddps  (%eax), %ymm4, %ymm6
2443 // CHECK: encoding: [0xc5,0xdc,0x58,0x30]
2444           vaddps  (%eax), %ymm4, %ymm6
2445
2446 // CHECK: vaddpd  (%eax), %ymm4, %ymm6
2447 // CHECK: encoding: [0xc5,0xdd,0x58,0x30]
2448           vaddpd  (%eax), %ymm4, %ymm6
2449
2450 // CHECK: vmulps  (%eax), %ymm4, %ymm6
2451 // CHECK: encoding: [0xc5,0xdc,0x59,0x30]
2452           vmulps  (%eax), %ymm4, %ymm6
2453
2454 // CHECK: vmulpd  (%eax), %ymm4, %ymm6
2455 // CHECK: encoding: [0xc5,0xdd,0x59,0x30]
2456           vmulpd  (%eax), %ymm4, %ymm6
2457
2458 // CHECK: vsqrtpd  %ymm1, %ymm2
2459 // CHECK: encoding: [0xc5,0xfd,0x51,0xd1]
2460           vsqrtpd  %ymm1, %ymm2
2461
2462 // CHECK: vsqrtpd  (%eax), %ymm2
2463 // CHECK: encoding: [0xc5,0xfd,0x51,0x10]
2464           vsqrtpd  (%eax), %ymm2
2465
2466 // CHECK: vsqrtps  %ymm1, %ymm2
2467 // CHECK: encoding: [0xc5,0xfc,0x51,0xd1]
2468           vsqrtps  %ymm1, %ymm2
2469
2470 // CHECK: vsqrtps  (%eax), %ymm2
2471 // CHECK: encoding: [0xc5,0xfc,0x51,0x10]
2472           vsqrtps  (%eax), %ymm2
2473
2474 // CHECK: vrsqrtps  %ymm1, %ymm2
2475 // CHECK: encoding: [0xc5,0xfc,0x52,0xd1]
2476           vrsqrtps  %ymm1, %ymm2
2477
2478 // CHECK: vrsqrtps  (%eax), %ymm2
2479 // CHECK: encoding: [0xc5,0xfc,0x52,0x10]
2480           vrsqrtps  (%eax), %ymm2
2481
2482 // CHECK: vrcpps  %ymm1, %ymm2
2483 // CHECK: encoding: [0xc5,0xfc,0x53,0xd1]
2484           vrcpps  %ymm1, %ymm2
2485
2486 // CHECK: vrcpps  (%eax), %ymm2
2487 // CHECK: encoding: [0xc5,0xfc,0x53,0x10]
2488           vrcpps  (%eax), %ymm2
2489
2490 // CHECK: vandps  %ymm2, %ymm4, %ymm6
2491 // CHECK: encoding: [0xc5,0xdc,0x54,0xf2]
2492           vandps  %ymm2, %ymm4, %ymm6
2493
2494 // CHECK: vandpd  %ymm2, %ymm4, %ymm6
2495 // CHECK: encoding: [0xc5,0xdd,0x54,0xf2]
2496           vandpd  %ymm2, %ymm4, %ymm6
2497
2498 // CHECK: vandps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2499 // CHECK: encoding: [0xc5,0xec,0x54,0x6c,0xcb,0xfc]
2500           vandps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2501
2502 // CHECK: vandpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2503 // CHECK: encoding: [0xc5,0xed,0x54,0x6c,0xcb,0xfc]
2504           vandpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2505
2506 // CHECK: vorps  %ymm2, %ymm4, %ymm6
2507 // CHECK: encoding: [0xc5,0xdc,0x56,0xf2]
2508           vorps  %ymm2, %ymm4, %ymm6
2509
2510 // CHECK: vorpd  %ymm2, %ymm4, %ymm6
2511 // CHECK: encoding: [0xc5,0xdd,0x56,0xf2]
2512           vorpd  %ymm2, %ymm4, %ymm6
2513
2514 // CHECK: vorps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2515 // CHECK: encoding: [0xc5,0xec,0x56,0x6c,0xcb,0xfc]
2516           vorps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2517
2518 // CHECK: vorpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2519 // CHECK: encoding: [0xc5,0xed,0x56,0x6c,0xcb,0xfc]
2520           vorpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2521
2522 // CHECK: vxorps  %ymm2, %ymm4, %ymm6
2523 // CHECK: encoding: [0xc5,0xdc,0x57,0xf2]
2524           vxorps  %ymm2, %ymm4, %ymm6
2525
2526 // CHECK: vxorpd  %ymm2, %ymm4, %ymm6
2527 // CHECK: encoding: [0xc5,0xdd,0x57,0xf2]
2528           vxorpd  %ymm2, %ymm4, %ymm6
2529
2530 // CHECK: vxorps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2531 // CHECK: encoding: [0xc5,0xec,0x57,0x6c,0xcb,0xfc]
2532           vxorps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2533
2534 // CHECK: vxorpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2535 // CHECK: encoding: [0xc5,0xed,0x57,0x6c,0xcb,0xfc]
2536           vxorpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2537
2538 // CHECK: vandnps  %ymm2, %ymm4, %ymm6
2539 // CHECK: encoding: [0xc5,0xdc,0x55,0xf2]
2540           vandnps  %ymm2, %ymm4, %ymm6
2541
2542 // CHECK: vandnpd  %ymm2, %ymm4, %ymm6
2543 // CHECK: encoding: [0xc5,0xdd,0x55,0xf2]
2544           vandnpd  %ymm2, %ymm4, %ymm6
2545
2546 // CHECK: vandnps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2547 // CHECK: encoding: [0xc5,0xec,0x55,0x6c,0xcb,0xfc]
2548           vandnps  -4(%ebx,%ecx,8), %ymm2, %ymm5
2549
2550 // CHECK: vandnpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2551 // CHECK: encoding: [0xc5,0xed,0x55,0x6c,0xcb,0xfc]
2552           vandnpd  -4(%ebx,%ecx,8), %ymm2, %ymm5
2553
2554 // CHECK: vcvtps2pd  %xmm3, %ymm2
2555 // CHECK: encoding: [0xc5,0xfc,0x5a,0xd3]
2556           vcvtps2pd  %xmm3, %ymm2
2557
2558 // CHECK: vcvtps2pd  (%eax), %ymm2
2559 // CHECK: encoding: [0xc5,0xfc,0x5a,0x10]
2560           vcvtps2pd  (%eax), %ymm2
2561
2562 // CHECK: vcvtdq2pd  %xmm3, %ymm2
2563 // CHECK: encoding: [0xc5,0xfe,0xe6,0xd3]
2564           vcvtdq2pd  %xmm3, %ymm2
2565
2566 // CHECK: vcvtdq2pd  (%eax), %ymm2
2567 // CHECK: encoding: [0xc5,0xfe,0xe6,0x10]
2568           vcvtdq2pd  (%eax), %ymm2
2569
2570 // CHECK: vcvtdq2ps  %ymm2, %ymm5
2571 // CHECK: encoding: [0xc5,0xfc,0x5b,0xea]
2572           vcvtdq2ps  %ymm2, %ymm5
2573
2574 // CHECK: vcvtdq2ps  (%eax), %ymm2
2575 // CHECK: encoding: [0xc5,0xfc,0x5b,0x10]
2576           vcvtdq2ps  (%eax), %ymm2
2577
2578 // CHECK: vcvtps2dq  %ymm2, %ymm5
2579 // CHECK: encoding: [0xc5,0xfd,0x5b,0xea]
2580           vcvtps2dq  %ymm2, %ymm5
2581
2582 // CHECK: vcvtps2dq  (%eax), %ymm5
2583 // CHECK: encoding: [0xc5,0xfd,0x5b,0x28]
2584           vcvtps2dq  (%eax), %ymm5
2585
2586 // CHECK: vcvttps2dq  %ymm2, %ymm5
2587 // CHECK: encoding: [0xc5,0xfe,0x5b,0xea]
2588           vcvttps2dq  %ymm2, %ymm5
2589
2590 // CHECK: vcvttps2dq  (%eax), %ymm5
2591 // CHECK: encoding: [0xc5,0xfe,0x5b,0x28]
2592           vcvttps2dq  (%eax), %ymm5
2593
2594 // CHECK: vcvttpd2dq  %xmm1, %xmm5
2595 // CHECK: encoding: [0xc5,0xf9,0xe6,0xe9]
2596           vcvttpd2dq  %xmm1, %xmm5
2597
2598 // CHECK: vcvttpd2dq  %ymm2, %xmm5
2599 // CHECK: encoding: [0xc5,0xfd,0xe6,0xea]
2600           vcvttpd2dq  %ymm2, %xmm5
2601
2602 // CHECK: vcvttpd2dqx  %xmm1, %xmm5
2603 // CHECK: encoding: [0xc5,0xf9,0xe6,0xe9]
2604           vcvttpd2dqx  %xmm1, %xmm5
2605
2606 // CHECK: vcvttpd2dqx  (%eax), %xmm1
2607 // CHECK: encoding: [0xc5,0xf9,0xe6,0x08]
2608           vcvttpd2dqx  (%eax), %xmm1
2609
2610 // CHECK: vcvttpd2dqy  %ymm2, %xmm1
2611 // CHECK: encoding: [0xc5,0xfd,0xe6,0xca]
2612           vcvttpd2dqy  %ymm2, %xmm1
2613
2614 // CHECK: vcvttpd2dqy  (%eax), %xmm1
2615 // CHECK: encoding: [0xc5,0xfd,0xe6,0x08]
2616           vcvttpd2dqy  (%eax), %xmm1
2617
2618 // CHECK: vcvtpd2ps  %ymm2, %xmm5
2619 // CHECK: encoding: [0xc5,0xfd,0x5a,0xea]
2620           vcvtpd2ps  %ymm2, %xmm5
2621
2622 // CHECK: vcvtpd2psx  %xmm1, %xmm5
2623 // CHECK: encoding: [0xc5,0xf9,0x5a,0xe9]
2624           vcvtpd2psx  %xmm1, %xmm5
2625
2626 // CHECK: vcvtpd2psx  (%eax), %xmm1
2627 // CHECK: encoding: [0xc5,0xf9,0x5a,0x08]
2628           vcvtpd2psx  (%eax), %xmm1
2629
2630 // CHECK: vcvtpd2psy  %ymm2, %xmm1
2631 // CHECK: encoding: [0xc5,0xfd,0x5a,0xca]
2632           vcvtpd2psy  %ymm2, %xmm1
2633
2634 // CHECK: vcvtpd2psy  (%eax), %xmm1
2635 // CHECK: encoding: [0xc5,0xfd,0x5a,0x08]
2636           vcvtpd2psy  (%eax), %xmm1
2637
2638 // CHECK: vcvtpd2dq  %ymm2, %xmm5
2639 // CHECK: encoding: [0xc5,0xff,0xe6,0xea]
2640           vcvtpd2dq  %ymm2, %xmm5
2641
2642 // CHECK: vcvtpd2dqy  %ymm2, %xmm1
2643 // CHECK: encoding: [0xc5,0xff,0xe6,0xca]
2644           vcvtpd2dqy  %ymm2, %xmm1
2645
2646 // CHECK: vcvtpd2dqy  (%eax), %xmm1
2647 // CHECK: encoding: [0xc5,0xff,0xe6,0x08]
2648           vcvtpd2dqy  (%eax), %xmm1
2649
2650 // CHECK: vcvtpd2dqx  %xmm1, %xmm5
2651 // CHECK: encoding: [0xc5,0xfb,0xe6,0xe9]
2652           vcvtpd2dqx  %xmm1, %xmm5
2653
2654 // CHECK: vcvtpd2dqx  (%eax), %xmm1
2655 // CHECK: encoding: [0xc5,0xfb,0xe6,0x08]
2656           vcvtpd2dqx  (%eax), %xmm1
2657
2658 // CHECK: vcmpps  $0, %ymm1, %ymm2, %ymm3
2659 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x00]
2660           vcmpeqps %ymm1, %ymm2, %ymm3
2661
2662 // CHECK: vcmpps  $2, %ymm1, %ymm2, %ymm3
2663 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x02]
2664           vcmpleps %ymm1, %ymm2, %ymm3
2665
2666 // CHECK: vcmpps  $1, %ymm1, %ymm2, %ymm3
2667 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x01]
2668           vcmpltps %ymm1, %ymm2, %ymm3
2669
2670 // CHECK: vcmpps  $4, %ymm1, %ymm2, %ymm3
2671 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x04]
2672           vcmpneqps %ymm1, %ymm2, %ymm3
2673
2674 // CHECK: vcmpps  $6, %ymm1, %ymm2, %ymm3
2675 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x06]
2676           vcmpnleps %ymm1, %ymm2, %ymm3
2677
2678 // CHECK: vcmpps  $5, %ymm1, %ymm2, %ymm3
2679 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x05]
2680           vcmpnltps %ymm1, %ymm2, %ymm3
2681
2682 // CHECK: vcmpps  $7, %ymm1, %ymm2, %ymm3
2683 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x07]
2684           vcmpordps %ymm1, %ymm2, %ymm3
2685
2686 // CHECK: vcmpps  $3, %ymm1, %ymm2, %ymm3
2687 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x03]
2688           vcmpunordps %ymm1, %ymm2, %ymm3
2689
2690 // CHECK: vcmpps  $0, -4(%ebx,%ecx,8), %ymm2, %ymm3
2691 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x00]
2692           vcmpeqps -4(%ebx,%ecx,8), %ymm2, %ymm3
2693
2694 // CHECK: vcmpps  $2, -4(%ebx,%ecx,8), %ymm2, %ymm3
2695 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x02]
2696           vcmpleps -4(%ebx,%ecx,8), %ymm2, %ymm3
2697
2698 // CHECK: vcmpps  $1, -4(%ebx,%ecx,8), %ymm2, %ymm3
2699 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x01]
2700           vcmpltps -4(%ebx,%ecx,8), %ymm2, %ymm3
2701
2702 // CHECK: vcmpps  $4, -4(%ebx,%ecx,8), %ymm2, %ymm3
2703 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x04]
2704           vcmpneqps -4(%ebx,%ecx,8), %ymm2, %ymm3
2705
2706 // CHECK: vcmpps  $6, -4(%ebx,%ecx,8), %ymm2, %ymm3
2707 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x06]
2708           vcmpnleps -4(%ebx,%ecx,8), %ymm2, %ymm3
2709
2710 // CHECK: vcmpps  $5, -4(%ebx,%ecx,8), %ymm2, %ymm3
2711 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x05]
2712           vcmpnltps -4(%ebx,%ecx,8), %ymm2, %ymm3
2713
2714 // CHECK: vcmpps  $7, -4(%ebx,%ecx,8), %ymm6, %ymm2
2715 // CHECK: encoding: [0xc5,0xcc,0xc2,0x54,0xcb,0xfc,0x07]
2716           vcmpordps -4(%ebx,%ecx,8), %ymm6, %ymm2
2717
2718 // CHECK: vcmpps  $3, -4(%ebx,%ecx,8), %ymm2, %ymm3
2719 // CHECK: encoding: [0xc5,0xec,0xc2,0x5c,0xcb,0xfc,0x03]
2720           vcmpunordps -4(%ebx,%ecx,8), %ymm2, %ymm3
2721
2722 // CHECK: vcmppd  $0, %ymm1, %ymm2, %ymm3
2723 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x00]
2724           vcmpeqpd %ymm1, %ymm2, %ymm3
2725
2726 // CHECK: vcmppd  $2, %ymm1, %ymm2, %ymm3
2727 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x02]
2728           vcmplepd %ymm1, %ymm2, %ymm3
2729
2730 // CHECK: vcmppd  $1, %ymm1, %ymm2, %ymm3
2731 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x01]
2732           vcmpltpd %ymm1, %ymm2, %ymm3
2733
2734 // CHECK: vcmppd  $4, %ymm1, %ymm2, %ymm3
2735 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x04]
2736           vcmpneqpd %ymm1, %ymm2, %ymm3
2737
2738 // CHECK: vcmppd  $6, %ymm1, %ymm2, %ymm3
2739 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x06]
2740           vcmpnlepd %ymm1, %ymm2, %ymm3
2741
2742 // CHECK: vcmppd  $5, %ymm1, %ymm2, %ymm3
2743 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x05]
2744           vcmpnltpd %ymm1, %ymm2, %ymm3
2745
2746 // CHECK: vcmppd  $7, %ymm1, %ymm2, %ymm3
2747 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x07]
2748           vcmpordpd %ymm1, %ymm2, %ymm3
2749
2750 // CHECK: vcmppd  $3, %ymm1, %ymm2, %ymm3
2751 // CHECK: encoding: [0xc5,0xed,0xc2,0xd9,0x03]
2752           vcmpunordpd %ymm1, %ymm2, %ymm3
2753
2754 // CHECK: vcmppd  $0, -4(%ebx,%ecx,8), %ymm2, %ymm3
2755 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x00]
2756           vcmpeqpd -4(%ebx,%ecx,8), %ymm2, %ymm3
2757
2758 // CHECK: vcmppd  $2, -4(%ebx,%ecx,8), %ymm2, %ymm3
2759 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x02]
2760           vcmplepd -4(%ebx,%ecx,8), %ymm2, %ymm3
2761
2762 // CHECK: vcmppd  $1, -4(%ebx,%ecx,8), %ymm2, %ymm3
2763 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x01]
2764           vcmpltpd -4(%ebx,%ecx,8), %ymm2, %ymm3
2765
2766 // CHECK: vcmppd  $4, -4(%ebx,%ecx,8), %ymm2, %ymm3
2767 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x04]
2768           vcmpneqpd -4(%ebx,%ecx,8), %ymm2, %ymm3
2769
2770 // CHECK: vcmppd  $6, -4(%ebx,%ecx,8), %ymm2, %ymm3
2771 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x06]
2772           vcmpnlepd -4(%ebx,%ecx,8), %ymm2, %ymm3
2773
2774 // CHECK: vcmppd  $5, -4(%ebx,%ecx,8), %ymm2, %ymm3
2775 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x05]
2776           vcmpnltpd -4(%ebx,%ecx,8), %ymm2, %ymm3
2777
2778 // CHECK: vcmppd  $7, -4(%ebx,%ecx,8), %ymm6, %ymm2
2779 // CHECK: encoding: [0xc5,0xcd,0xc2,0x54,0xcb,0xfc,0x07]
2780           vcmpordpd -4(%ebx,%ecx,8), %ymm6, %ymm2
2781
2782 // CHECK: vcmppd  $3, -4(%ebx,%ecx,8), %ymm2, %ymm3
2783 // CHECK: encoding: [0xc5,0xed,0xc2,0x5c,0xcb,0xfc,0x03]
2784           vcmpunordpd -4(%ebx,%ecx,8), %ymm2, %ymm3
2785
2786 // CHECK: vcmpps  $8, %ymm1, %ymm2, %ymm3
2787 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x08]
2788           vcmpeq_uqps %ymm1, %ymm2, %ymm3
2789
2790 // CHECK: vcmpps  $9, %ymm1, %ymm2, %ymm3
2791 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x09]
2792           vcmpngeps %ymm1, %ymm2, %ymm3
2793
2794 // CHECK: vcmpps  $10, %ymm1, %ymm2, %ymm3
2795 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x0a]
2796           vcmpngtps %ymm1, %ymm2, %ymm3
2797
2798 // CHECK: vcmpps  $11, %ymm1, %ymm2, %ymm3
2799 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x0b]
2800           vcmpfalseps %ymm1, %ymm2, %ymm3
2801
2802 // CHECK: vcmpps  $12, %ymm1, %ymm2, %ymm3
2803 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x0c]
2804           vcmpneq_oqps %ymm1, %ymm2, %ymm3
2805
2806 // CHECK: vcmpps  $13, %ymm1, %ymm2, %ymm3
2807 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x0d]
2808           vcmpgeps %ymm1, %ymm2, %ymm3
2809
2810 // CHECK: vcmpps  $14, %ymm1, %ymm2, %ymm3
2811 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x0e]
2812           vcmpgtps %ymm1, %ymm2, %ymm3
2813
2814 // CHECK: vcmpps  $15, %ymm1, %ymm2, %ymm3
2815 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x0f]
2816           vcmptrueps %ymm1, %ymm2, %ymm3
2817
2818 // CHECK: vcmpps  $16, %ymm1, %ymm2, %ymm3
2819 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x10]
2820           vcmpeq_osps %ymm1, %ymm2, %ymm3
2821
2822 // CHECK: vcmpps  $17, %ymm1, %ymm2, %ymm3
2823 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x11]
2824           vcmplt_oqps %ymm1, %ymm2, %ymm3
2825
2826 // CHECK: vcmpps  $18, %ymm1, %ymm2, %ymm3
2827 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x12]
2828           vcmple_oqps %ymm1, %ymm2, %ymm3
2829
2830 // CHECK: vcmpps  $19, %ymm1, %ymm2, %ymm3
2831 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x13]
2832           vcmpunord_sps %ymm1, %ymm2, %ymm3
2833
2834 // CHECK: vcmpps  $20, %ymm1, %ymm2, %ymm3
2835 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x14]
2836           vcmpneq_usps %ymm1, %ymm2, %ymm3
2837
2838 // CHECK: vcmpps  $21, %ymm1, %ymm2, %ymm3
2839 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x15]
2840           vcmpnlt_uqps %ymm1, %ymm2, %ymm3
2841
2842 // CHECK: vcmpps  $22, %ymm1, %ymm2, %ymm3
2843 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x16]
2844           vcmpnle_uqps %ymm1, %ymm2, %ymm3
2845
2846 // CHECK: vcmpps  $23, %ymm1, %ymm2, %ymm3
2847 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x17]
2848           vcmpord_sps %ymm1, %ymm2, %ymm3
2849
2850 // CHECK: vcmpps  $24, %ymm1, %ymm2, %ymm3
2851 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x18]
2852           vcmpeq_usps %ymm1, %ymm2, %ymm3
2853
2854 // CHECK: vcmpps  $25, %ymm1, %ymm2, %ymm3
2855 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x19]
2856           vcmpnge_uqps %ymm1, %ymm2, %ymm3
2857
2858 // CHECK: vcmpps  $26, %ymm1, %ymm2, %ymm3
2859 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x1a]
2860           vcmpngt_uqps %ymm1, %ymm2, %ymm3
2861
2862 // CHECK: vcmpps  $27, %ymm1, %ymm2, %ymm3
2863 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x1b]
2864           vcmpfalse_osps %ymm1, %ymm2, %ymm3
2865
2866 // CHECK: vcmpps  $28, %ymm1, %ymm2, %ymm3
2867 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x1c]
2868           vcmpneq_osps %ymm1, %ymm2, %ymm3
2869
2870 // CHECK: vcmpps  $29, %ymm1, %ymm2, %ymm3
2871 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x1d]
2872           vcmpge_oqps %ymm1, %ymm2, %ymm3
2873
2874 // CHECK: vcmpps  $30, %ymm1, %ymm2, %ymm3
2875 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x1e]
2876           vcmpgt_oqps %ymm1, %ymm2, %ymm3
2877
2878 // CHECK: vcmpps  $31, %ymm1, %ymm2, %ymm3
2879 // CHECK: encoding: [0xc5,0xec,0xc2,0xd9,0x1f]
2880           vcmptrue_usps %ymm1, %ymm2, %ymm3
2881
2882 // CHECK: vaddsubps  %ymm1, %ymm2, %ymm3
2883 // CHECK: encoding: [0xc5,0xef,0xd0,0xd9]
2884           vaddsubps  %ymm1, %ymm2, %ymm3
2885
2886 // CHECK: vaddsubps  (%eax), %ymm1, %ymm2
2887 // CHECK: encoding: [0xc5,0xf7,0xd0,0x10]
2888           vaddsubps  (%eax), %ymm1, %ymm2
2889
2890 // CHECK: vaddsubpd  %ymm1, %ymm2, %ymm3
2891 // CHECK: encoding: [0xc5,0xed,0xd0,0xd9]
2892           vaddsubpd  %ymm1, %ymm2, %ymm3
2893
2894 // CHECK: vaddsubpd  (%eax), %ymm1, %ymm2
2895 // CHECK: encoding: [0xc5,0xf5,0xd0,0x10]
2896           vaddsubpd  (%eax), %ymm1, %ymm2
2897
2898 // CHECK: vhaddps  %ymm1, %ymm2, %ymm3
2899 // CHECK: encoding: [0xc5,0xef,0x7c,0xd9]
2900           vhaddps  %ymm1, %ymm2, %ymm3
2901
2902 // CHECK: vhaddps  (%eax), %ymm2, %ymm3
2903 // CHECK: encoding: [0xc5,0xef,0x7c,0x18]
2904           vhaddps  (%eax), %ymm2, %ymm3
2905
2906 // CHECK: vhaddpd  %ymm1, %ymm2, %ymm3
2907 // CHECK: encoding: [0xc5,0xed,0x7c,0xd9]
2908           vhaddpd  %ymm1, %ymm2, %ymm3
2909
2910 // CHECK: vhaddpd  (%eax), %ymm2, %ymm3
2911 // CHECK: encoding: [0xc5,0xed,0x7c,0x18]
2912           vhaddpd  (%eax), %ymm2, %ymm3
2913
2914 // CHECK: vhsubps  %ymm1, %ymm2, %ymm3
2915 // CHECK: encoding: [0xc5,0xef,0x7d,0xd9]
2916           vhsubps  %ymm1, %ymm2, %ymm3
2917
2918 // CHECK: vhsubps  (%eax), %ymm2, %ymm3
2919 // CHECK: encoding: [0xc5,0xef,0x7d,0x18]
2920           vhsubps  (%eax), %ymm2, %ymm3
2921
2922 // CHECK: vhsubpd  %ymm1, %ymm2, %ymm3
2923 // CHECK: encoding: [0xc5,0xed,0x7d,0xd9]
2924           vhsubpd  %ymm1, %ymm2, %ymm3
2925
2926 // CHECK: vhsubpd  (%eax), %ymm2, %ymm3
2927 // CHECK: encoding: [0xc5,0xed,0x7d,0x18]
2928           vhsubpd  (%eax), %ymm2, %ymm3
2929
2930 // CHECK: vblendps  $3, %ymm2, %ymm5, %ymm1
2931 // CHECK: encoding: [0xc4,0xe3,0x55,0x0c,0xca,0x03]
2932           vblendps  $3, %ymm2, %ymm5, %ymm1
2933
2934 // CHECK: vblendps  $3, (%eax), %ymm5, %ymm1
2935 // CHECK: encoding: [0xc4,0xe3,0x55,0x0c,0x08,0x03]
2936           vblendps  $3, (%eax), %ymm5, %ymm1
2937
2938 // CHECK: vblendpd  $3, %ymm2, %ymm5, %ymm1
2939 // CHECK: encoding: [0xc4,0xe3,0x55,0x0d,0xca,0x03]
2940           vblendpd  $3, %ymm2, %ymm5, %ymm1
2941
2942 // CHECK: vblendpd  $3, (%eax), %ymm5, %ymm1
2943 // CHECK: encoding: [0xc4,0xe3,0x55,0x0d,0x08,0x03]
2944           vblendpd  $3, (%eax), %ymm5, %ymm1
2945
2946 // CHECK: vdpps  $3, %ymm2, %ymm5, %ymm1
2947 // CHECK: encoding: [0xc4,0xe3,0x55,0x40,0xca,0x03]
2948           vdpps  $3, %ymm2, %ymm5, %ymm1
2949
2950 // CHECK: vdpps  $3, (%eax), %ymm5, %ymm1
2951 // CHECK: encoding: [0xc4,0xe3,0x55,0x40,0x08,0x03]
2952           vdpps  $3, (%eax), %ymm5, %ymm1
2953
2954 // CHECK: vbroadcastf128  (%eax), %ymm2
2955 // CHECK: encoding: [0xc4,0xe2,0x7d,0x1a,0x10]
2956           vbroadcastf128  (%eax), %ymm2
2957
2958 // CHECK: vbroadcastsd  (%eax), %ymm2
2959 // CHECK: encoding: [0xc4,0xe2,0x7d,0x19,0x10]
2960           vbroadcastsd  (%eax), %ymm2
2961
2962 // CHECK: vbroadcastss  (%eax), %xmm2
2963 // CHECK: encoding: [0xc4,0xe2,0x79,0x18,0x10]
2964           vbroadcastss  (%eax), %xmm2
2965
2966 // CHECK: vbroadcastss  (%eax), %ymm2
2967 // CHECK: encoding: [0xc4,0xe2,0x7d,0x18,0x10]
2968           vbroadcastss  (%eax), %ymm2
2969
2970 // CHECK: vinsertf128  $7, %xmm2, %ymm2, %ymm5
2971 // CHECK: encoding: [0xc4,0xe3,0x6d,0x18,0xea,0x07]
2972           vinsertf128  $7, %xmm2, %ymm2, %ymm5
2973
2974 // CHECK: vinsertf128  $7, (%eax), %ymm2, %ymm5
2975 // CHECK: encoding: [0xc4,0xe3,0x6d,0x18,0x28,0x07]
2976           vinsertf128  $7, (%eax), %ymm2, %ymm5
2977
2978 // CHECK: vextractf128  $7, %ymm2, %xmm2
2979 // CHECK: encoding: [0xc4,0xe3,0x7d,0x19,0xd2,0x07]
2980           vextractf128  $7, %ymm2, %xmm2
2981
2982 // CHECK: vextractf128  $7, %ymm2, (%eax)
2983 // CHECK: encoding: [0xc4,0xe3,0x7d,0x19,0x10,0x07]
2984           vextractf128  $7, %ymm2, (%eax)
2985
2986 // CHECK: vmaskmovpd  %xmm2, %xmm5, (%eax)
2987 // CHECK: encoding: [0xc4,0xe2,0x51,0x2f,0x10]
2988           vmaskmovpd  %xmm2, %xmm5, (%eax)
2989
2990 // CHECK: vmaskmovpd  %ymm2, %ymm5, (%eax)
2991 // CHECK: encoding: [0xc4,0xe2,0x55,0x2f,0x10]
2992           vmaskmovpd  %ymm2, %ymm5, (%eax)
2993
2994 // CHECK: vmaskmovpd  (%eax), %xmm2, %xmm5
2995 // CHECK: encoding: [0xc4,0xe2,0x69,0x2d,0x28]
2996           vmaskmovpd  (%eax), %xmm2, %xmm5
2997
2998 // CHECK: vmaskmovpd  (%eax), %ymm2, %ymm5
2999 // CHECK: encoding: [0xc4,0xe2,0x6d,0x2d,0x28]
3000           vmaskmovpd  (%eax), %ymm2, %ymm5
3001
3002 // CHECK: vmaskmovps  %xmm2, %xmm5, (%eax)
3003 // CHECK: encoding: [0xc4,0xe2,0x51,0x2e,0x10]
3004           vmaskmovps  %xmm2, %xmm5, (%eax)
3005
3006 // CHECK: vmaskmovps  %ymm2, %ymm5, (%eax)
3007 // CHECK: encoding: [0xc4,0xe2,0x55,0x2e,0x10]
3008           vmaskmovps  %ymm2, %ymm5, (%eax)
3009
3010 // CHECK: vmaskmovps  (%eax), %xmm2, %xmm5
3011 // CHECK: encoding: [0xc4,0xe2,0x69,0x2c,0x28]
3012           vmaskmovps  (%eax), %xmm2, %xmm5
3013
3014 // CHECK: vmaskmovps  (%eax), %ymm2, %ymm5
3015 // CHECK: encoding: [0xc4,0xe2,0x6d,0x2c,0x28]
3016           vmaskmovps  (%eax), %ymm2, %ymm5
3017
3018 // CHECK: vpermilps  $7, %xmm1, %xmm5
3019 // CHECK: encoding: [0xc4,0xe3,0x79,0x04,0xe9,0x07]
3020           vpermilps  $7, %xmm1, %xmm5
3021
3022 // CHECK: vpermilps  $7, %ymm5, %ymm1
3023 // CHECK: encoding: [0xc4,0xe3,0x7d,0x04,0xcd,0x07]
3024           vpermilps  $7, %ymm5, %ymm1
3025
3026 // CHECK: vpermilps  $7, (%eax), %xmm5
3027 // CHECK: encoding: [0xc4,0xe3,0x79,0x04,0x28,0x07]
3028           vpermilps  $7, (%eax), %xmm5
3029
3030 // CHECK: vpermilps  $7, (%eax), %ymm5
3031 // CHECK: encoding: [0xc4,0xe3,0x7d,0x04,0x28,0x07]
3032           vpermilps  $7, (%eax), %ymm5
3033
3034 // CHECK: vpermilps  %xmm1, %xmm5, %xmm1
3035 // CHECK: encoding: [0xc4,0xe2,0x51,0x0c,0xc9]
3036           vpermilps  %xmm1, %xmm5, %xmm1
3037
3038 // CHECK: vpermilps  %ymm1, %ymm5, %ymm1
3039 // CHECK: encoding: [0xc4,0xe2,0x55,0x0c,0xc9]
3040           vpermilps  %ymm1, %ymm5, %ymm1
3041
3042 // CHECK: vpermilps  (%eax), %xmm5, %xmm3
3043 // CHECK: encoding: [0xc4,0xe2,0x51,0x0c,0x18]
3044           vpermilps  (%eax), %xmm5, %xmm3
3045
3046 // CHECK: vpermilps  (%eax), %ymm5, %ymm1
3047 // CHECK: encoding: [0xc4,0xe2,0x55,0x0c,0x08]
3048           vpermilps  (%eax), %ymm5, %ymm1
3049
3050 // CHECK: vpermilpd  $7, %xmm1, %xmm5
3051 // CHECK: encoding: [0xc4,0xe3,0x79,0x05,0xe9,0x07]
3052           vpermilpd  $7, %xmm1, %xmm5
3053
3054 // CHECK: vpermilpd  $7, %ymm5, %ymm1
3055 // CHECK: encoding: [0xc4,0xe3,0x7d,0x05,0xcd,0x07]
3056           vpermilpd  $7, %ymm5, %ymm1
3057
3058 // CHECK: vpermilpd  $7, (%eax), %xmm5
3059 // CHECK: encoding: [0xc4,0xe3,0x79,0x05,0x28,0x07]
3060           vpermilpd  $7, (%eax), %xmm5
3061
3062 // CHECK: vpermilpd  $7, (%eax), %ymm5
3063 // CHECK: encoding: [0xc4,0xe3,0x7d,0x05,0x28,0x07]
3064           vpermilpd  $7, (%eax), %ymm5
3065
3066 // CHECK: vpermilpd  %xmm1, %xmm5, %xmm1
3067 // CHECK: encoding: [0xc4,0xe2,0x51,0x0d,0xc9]
3068           vpermilpd  %xmm1, %xmm5, %xmm1
3069
3070 // CHECK: vpermilpd  %ymm1, %ymm5, %ymm1
3071 // CHECK: encoding: [0xc4,0xe2,0x55,0x0d,0xc9]
3072           vpermilpd  %ymm1, %ymm5, %ymm1
3073
3074 // CHECK: vpermilpd  (%eax), %xmm5, %xmm3
3075 // CHECK: encoding: [0xc4,0xe2,0x51,0x0d,0x18]
3076           vpermilpd  (%eax), %xmm5, %xmm3
3077
3078 // CHECK: vpermilpd  (%eax), %ymm5, %ymm1
3079 // CHECK: encoding: [0xc4,0xe2,0x55,0x0d,0x08]
3080           vpermilpd  (%eax), %ymm5, %ymm1
3081
3082 // CHECK: vperm2f128  $7, %ymm2, %ymm5, %ymm1
3083 // CHECK: encoding: [0xc4,0xe3,0x55,0x06,0xca,0x07]
3084           vperm2f128  $7, %ymm2, %ymm5, %ymm1
3085
3086 // CHECK: vperm2f128  $7, (%eax), %ymm5, %ymm1
3087 // CHECK: encoding: [0xc4,0xe3,0x55,0x06,0x08,0x07]
3088           vperm2f128  $7, (%eax), %ymm5, %ymm1
3089
3090 // CHECK: vzeroall
3091 // CHECK: encoding: [0xc5,0xfc,0x77]
3092           vzeroall
3093
3094 // CHECK: vzeroupper
3095 // CHECK: encoding: [0xc5,0xf8,0x77]
3096           vzeroupper
3097
3098 // CHECK: vcvtsd2si  %xmm4, %ecx
3099 // CHECK: encoding: [0xc5,0xfb,0x2d,0xcc]
3100           vcvtsd2si  %xmm4, %ecx
3101
3102 // CHECK: vcvtsd2si  (%ecx), %ecx
3103 // CHECK: encoding: [0xc5,0xfb,0x2d,0x09]
3104           vcvtsd2si  (%ecx), %ecx
3105
3106 // CHECK: vcvtsi2sdl  (%ebp), %xmm0, %xmm7
3107 // CHECK: encoding: [0xc5,0xfb,0x2a,0x7d,0x00]
3108           vcvtsi2sdl  (%ebp), %xmm0, %xmm7
3109
3110 // CHECK: vcvtsi2sdl  (%esp), %xmm0, %xmm7
3111 // CHECK: encoding: [0xc5,0xfb,0x2a,0x3c,0x24]
3112           vcvtsi2sdl  (%esp), %xmm0, %xmm7
3113
3114 // CHECK: vlddqu  (%eax), %ymm2
3115 // CHECK: encoding: [0xc5,0xff,0xf0,0x10]
3116           vlddqu  (%eax), %ymm2
3117
3118 // CHECK: vmovddup  %ymm2, %ymm5
3119 // CHECK: encoding: [0xc5,0xff,0x12,0xea]
3120           vmovddup  %ymm2, %ymm5
3121
3122 // CHECK: vmovddup  (%eax), %ymm2
3123 // CHECK: encoding: [0xc5,0xff,0x12,0x10]
3124           vmovddup  (%eax), %ymm2
3125
3126 // CHECK: vmovdqa  %ymm2, %ymm5
3127 // CHECK: encoding: [0xc5,0xfd,0x6f,0xea]
3128           vmovdqa  %ymm2, %ymm5
3129
3130 // CHECK: vmovdqa  %ymm2, (%eax)
3131 // CHECK: encoding: [0xc5,0xfd,0x7f,0x10]
3132           vmovdqa  %ymm2, (%eax)
3133
3134 // CHECK: vmovdqa  (%eax), %ymm2
3135 // CHECK: encoding: [0xc5,0xfd,0x6f,0x10]
3136           vmovdqa  (%eax), %ymm2
3137
3138 // CHECK: vmovdqu  %ymm2, %ymm5
3139 // CHECK: encoding: [0xc5,0xfe,0x6f,0xea]
3140           vmovdqu  %ymm2, %ymm5
3141
3142 // CHECK: vmovdqu  %ymm2, (%eax)
3143 // CHECK: encoding: [0xc5,0xfe,0x7f,0x10]
3144           vmovdqu  %ymm2, (%eax)
3145
3146 // CHECK: vmovdqu  (%eax), %ymm2
3147 // CHECK: encoding: [0xc5,0xfe,0x6f,0x10]
3148           vmovdqu  (%eax), %ymm2
3149
3150 // CHECK: vmovshdup  %ymm2, %ymm5
3151 // CHECK: encoding: [0xc5,0xfe,0x16,0xea]
3152           vmovshdup  %ymm2, %ymm5
3153
3154 // CHECK: vmovshdup  (%eax), %ymm2
3155 // CHECK: encoding: [0xc5,0xfe,0x16,0x10]
3156           vmovshdup  (%eax), %ymm2
3157
3158 // CHECK: vmovsldup  %ymm2, %ymm5
3159 // CHECK: encoding: [0xc5,0xfe,0x12,0xea]
3160           vmovsldup  %ymm2, %ymm5
3161
3162 // CHECK: vmovsldup  (%eax), %ymm2
3163 // CHECK: encoding: [0xc5,0xfe,0x12,0x10]
3164           vmovsldup  (%eax), %ymm2
3165
3166 // CHECK: vptest  %ymm2, %ymm5
3167 // CHECK: encoding: [0xc4,0xe2,0x7d,0x17,0xea]
3168           vptest  %ymm2, %ymm5
3169
3170 // CHECK: vptest  (%eax), %ymm2
3171 // CHECK: encoding: [0xc4,0xe2,0x7d,0x17,0x10]
3172           vptest  (%eax), %ymm2
3173
3174 // CHECK: vroundpd  $7, %ymm5, %ymm1
3175 // CHECK: encoding: [0xc4,0xe3,0x7d,0x09,0xcd,0x07]
3176           vroundpd  $7, %ymm5, %ymm1
3177
3178 // CHECK: vroundpd  $7, (%eax), %ymm5
3179 // CHECK: encoding: [0xc4,0xe3,0x7d,0x09,0x28,0x07]
3180           vroundpd  $7, (%eax), %ymm5
3181
3182 // CHECK: vroundps  $7, %ymm5, %ymm1
3183 // CHECK: encoding: [0xc4,0xe3,0x7d,0x08,0xcd,0x07]
3184           vroundps  $7, %ymm5, %ymm1
3185
3186 // CHECK: vroundps  $7, (%eax), %ymm5
3187 // CHECK: encoding: [0xc4,0xe3,0x7d,0x08,0x28,0x07]
3188           vroundps  $7, (%eax), %ymm5
3189
3190 // CHECK: vshufpd  $7, %ymm2, %ymm5, %ymm1
3191 // CHECK: encoding: [0xc5,0xd5,0xc6,0xca,0x07]
3192           vshufpd  $7, %ymm2, %ymm5, %ymm1
3193
3194 // CHECK: vshufpd  $7, (%eax), %ymm5, %ymm1
3195 // CHECK: encoding: [0xc5,0xd5,0xc6,0x08,0x07]
3196           vshufpd  $7, (%eax), %ymm5, %ymm1
3197
3198 // CHECK: vshufps  $7, %ymm2, %ymm5, %ymm1
3199 // CHECK: encoding: [0xc5,0xd4,0xc6,0xca,0x07]
3200           vshufps  $7, %ymm2, %ymm5, %ymm1
3201
3202 // CHECK: vshufps  $7, (%eax), %ymm5, %ymm1
3203 // CHECK: encoding: [0xc5,0xd4,0xc6,0x08,0x07]
3204           vshufps  $7, (%eax), %ymm5, %ymm1
3205
3206 // CHECK: vtestpd  %xmm2, %xmm5
3207 // CHECK: encoding: [0xc4,0xe2,0x79,0x0f,0xea]
3208           vtestpd  %xmm2, %xmm5
3209
3210 // CHECK: vtestpd  %ymm2, %ymm5
3211 // CHECK: encoding: [0xc4,0xe2,0x7d,0x0f,0xea]
3212           vtestpd  %ymm2, %ymm5
3213
3214 // CHECK: vtestpd  (%eax), %xmm2
3215 // CHECK: encoding: [0xc4,0xe2,0x79,0x0f,0x10]
3216           vtestpd  (%eax), %xmm2
3217
3218 // CHECK: vtestpd  (%eax), %ymm2
3219 // CHECK: encoding: [0xc4,0xe2,0x7d,0x0f,0x10]
3220           vtestpd  (%eax), %ymm2
3221
3222 // CHECK: vtestps  %xmm2, %xmm5
3223 // CHECK: encoding: [0xc4,0xe2,0x79,0x0e,0xea]
3224           vtestps  %xmm2, %xmm5
3225
3226 // CHECK: vtestps  %ymm2, %ymm5
3227 // CHECK: encoding: [0xc4,0xe2,0x7d,0x0e,0xea]
3228           vtestps  %ymm2, %ymm5
3229
3230 // CHECK: vtestps  (%eax), %xmm2
3231 // CHECK: encoding: [0xc4,0xe2,0x79,0x0e,0x10]
3232           vtestps  (%eax), %xmm2
3233
3234 // CHECK: vtestps  (%eax), %ymm2
3235 // CHECK: encoding: [0xc4,0xe2,0x7d,0x0e,0x10]
3236           vtestps  (%eax), %ymm2
3237
3238 // CHECK: vblendvpd  %ymm0, 57005(%eax,%eiz), %ymm1, %ymm2
3239 // CHECK: encoding: [0xc4,0xe3,0x75,0x4b,0x94,0x20,0xad,0xde,0x00,0x00,0x00]
3240           vblendvpd  %ymm0, 0xdead(%eax,%eiz), %ymm1, %ymm2
3241
3242
3243
3244 // CHECK: vpclmulqdq  $17, %xmm2, %xmm5, %xmm1
3245 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0xca,0x11]
3246           vpclmulhqhqdq %xmm2, %xmm5, %xmm1
3247
3248 // CHECK: vpclmulqdq  $17, (%eax), %xmm5, %xmm3
3249 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0x18,0x11]
3250           vpclmulhqhqdq (%eax), %xmm5, %xmm3
3251
3252 // CHECK: vpclmulqdq  $1, %xmm2, %xmm5, %xmm1
3253 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0xca,0x01]
3254           vpclmulhqlqdq %xmm2, %xmm5, %xmm1
3255
3256 // CHECK: vpclmulqdq  $1, (%eax), %xmm5, %xmm3
3257 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0x18,0x01]
3258           vpclmulhqlqdq (%eax), %xmm5, %xmm3
3259
3260 // CHECK: vpclmulqdq  $16, %xmm2, %xmm5, %xmm1
3261 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0xca,0x10]
3262           vpclmullqhqdq %xmm2, %xmm5, %xmm1
3263
3264 // CHECK: vpclmulqdq  $16, (%eax), %xmm5, %xmm3
3265 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0x18,0x10]
3266           vpclmullqhqdq (%eax), %xmm5, %xmm3
3267
3268 // CHECK: vpclmulqdq  $0, %xmm2, %xmm5, %xmm1
3269 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0xca,0x00]
3270           vpclmullqlqdq %xmm2, %xmm5, %xmm1
3271
3272 // CHECK: vpclmulqdq  $0, (%eax), %xmm5, %xmm3
3273 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0x18,0x00]
3274           vpclmullqlqdq (%eax), %xmm5, %xmm3
3275
3276 // CHECK: vpclmulqdq  $17, %xmm2, %xmm5, %xmm1
3277 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0xca,0x11]
3278           vpclmulqdq  $17, %xmm2, %xmm5, %xmm1
3279
3280 // CHECK: vpclmulqdq  $17, (%eax), %xmm5, %xmm3
3281 // CHECK: encoding: [0xc4,0xe3,0x51,0x44,0x18,0x11]
3282           vpclmulqdq  $17, (%eax), %xmm5, %xmm3
3283