test/MC/X86/avx512-encodings.s

   1 // RUN: not llvm-mc -triple x86_64-unknown-unknown -mcpu=knl --show-encoding %s 2> %t.err | FileCheck %s
   2 // RUN: FileCheck --check-prefix=ERR < %t.err %s
   3
   4 // CHECK: vaddpd %zmm6, %zmm27, %zmm8
   5 // CHECK:  encoding: [0x62,0x71,0xa5,0x40,0x58,0xc6]
   6           vaddpd %zmm6, %zmm27, %zmm8
   7
   8 // CHECK: vaddpd %zmm6, %zmm27, %zmm8 {%k7}
   9 // CHECK:  encoding: [0x62,0x71,0xa5,0x47,0x58,0xc6]
  10           vaddpd %zmm6, %zmm27, %zmm8 {%k7}
  11
  12 // CHECK: vaddpd %zmm6, %zmm27, %zmm8 {%k7} {z}
  13 // CHECK:  encoding: [0x62,0x71,0xa5,0xc7,0x58,0xc6]
  14           vaddpd %zmm6, %zmm27, %zmm8 {%k7} {z}
  15
  16 // CHECK: vaddpd (%rcx), %zmm27, %zmm8
  17 // CHECK:  encoding: [0x62,0x71,0xa5,0x40,0x58,0x01]
  18           vaddpd (%rcx), %zmm27, %zmm8
  19
  20 // CHECK: vaddpd 291(%rax,%r14,8), %zmm27, %zmm8
  21 // CHECK:  encoding: [0x62,0x31,0xa5,0x40,0x58,0x84,0xf0,0x23,0x01,0x00,0x00]
  22           vaddpd 291(%rax,%r14,8), %zmm27, %zmm8
  23
  24 // CHECK: vaddpd (%rcx){1to8}, %zmm27, %zmm8
  25 // CHECK:  encoding: [0x62,0x71,0xa5,0x50,0x58,0x01]
  26           vaddpd (%rcx){1to8}, %zmm27, %zmm8
  27
  28 // CHECK: vaddpd 8128(%rdx), %zmm27, %zmm8
  29 // CHECK:  encoding: [0x62,0x71,0xa5,0x40,0x58,0x42,0x7f]
  30           vaddpd 8128(%rdx), %zmm27, %zmm8
  31
  32 // CHECK: vaddpd 8192(%rdx), %zmm27, %zmm8
  33 // CHECK:  encoding: [0x62,0x71,0xa5,0x40,0x58,0x82,0x00,0x20,0x00,0x00]
  34           vaddpd 8192(%rdx), %zmm27, %zmm8
  35
  36 // CHECK: vaddpd -8192(%rdx), %zmm27, %zmm8
  37 // CHECK:  encoding: [0x62,0x71,0xa5,0x40,0x58,0x42,0x80]
  38           vaddpd -8192(%rdx), %zmm27, %zmm8
  39
  40 // CHECK: vaddpd -8256(%rdx), %zmm27, %zmm8
  41 // CHECK:  encoding: [0x62,0x71,0xa5,0x40,0x58,0x82,0xc0,0xdf,0xff,0xff]
  42           vaddpd -8256(%rdx), %zmm27, %zmm8
  43
  44 // CHECK: vaddpd 1016(%rdx){1to8}, %zmm27, %zmm8
  45 // CHECK:  encoding: [0x62,0x71,0xa5,0x50,0x58,0x42,0x7f]
  46           vaddpd 1016(%rdx){1to8}, %zmm27, %zmm8
  47
  48 // CHECK: vaddpd 1024(%rdx){1to8}, %zmm27, %zmm8
  49 // CHECK:  encoding: [0x62,0x71,0xa5,0x50,0x58,0x82,0x00,0x04,0x00,0x00]
  50           vaddpd 1024(%rdx){1to8}, %zmm27, %zmm8
  51
  52 // CHECK: vaddpd -1024(%rdx){1to8}, %zmm27, %zmm8
  53 // CHECK:  encoding: [0x62,0x71,0xa5,0x50,0x58,0x42,0x80]
  54           vaddpd -1024(%rdx){1to8}, %zmm27, %zmm8
  55
  56 // CHECK: vaddpd -1032(%rdx){1to8}, %zmm27, %zmm8
  57 // CHECK:  encoding: [0x62,0x71,0xa5,0x50,0x58,0x82,0xf8,0xfb,0xff,0xff]
  58           vaddpd -1032(%rdx){1to8}, %zmm27, %zmm8
  59
  60 // CHECK: vaddps %zmm2, %zmm13, %zmm18
  61 // CHECK:  encoding: [0x62,0xe1,0x14,0x48,0x58,0xd2]
  62           vaddps %zmm2, %zmm13, %zmm18
  63
  64 // CHECK: vaddps %zmm2, %zmm13, %zmm18 {%k4}
  65 // CHECK:  encoding: [0x62,0xe1,0x14,0x4c,0x58,0xd2]
  66           vaddps %zmm2, %zmm13, %zmm18 {%k4}
  67
  68 // CHECK: vaddps %zmm2, %zmm13, %zmm18 {%k4} {z}
  69 // CHECK:  encoding: [0x62,0xe1,0x14,0xcc,0x58,0xd2]
  70           vaddps %zmm2, %zmm13, %zmm18 {%k4} {z}
  71
  72 // CHECK: vaddps (%rcx), %zmm13, %zmm18
  73 // CHECK:  encoding: [0x62,0xe1,0x14,0x48,0x58,0x11]
  74           vaddps (%rcx), %zmm13, %zmm18
  75
  76 // CHECK: vaddps 291(%rax,%r14,8), %zmm13, %zmm18
  77 // CHECK:  encoding: [0x62,0xa1,0x14,0x48,0x58,0x94,0xf0,0x23,0x01,0x00,0x00]
  78           vaddps 291(%rax,%r14,8), %zmm13, %zmm18
  79
  80 // CHECK: vaddps (%rcx){1to16}, %zmm13, %zmm18
  81 // CHECK:  encoding: [0x62,0xe1,0x14,0x58,0x58,0x11]
  82           vaddps (%rcx){1to16}, %zmm13, %zmm18
  83
  84 // CHECK: vaddps 8128(%rdx), %zmm13, %zmm18
  85 // CHECK:  encoding: [0x62,0xe1,0x14,0x48,0x58,0x52,0x7f]
  86           vaddps 8128(%rdx), %zmm13, %zmm18
  87
  88 // CHECK: vaddps 8192(%rdx), %zmm13, %zmm18
  89 // CHECK:  encoding: [0x62,0xe1,0x14,0x48,0x58,0x92,0x00,0x20,0x00,0x00]
  90           vaddps 8192(%rdx), %zmm13, %zmm18
  91
  92 // CHECK: vaddps -8192(%rdx), %zmm13, %zmm18
  93 // CHECK:  encoding: [0x62,0xe1,0x14,0x48,0x58,0x52,0x80]
  94           vaddps -8192(%rdx), %zmm13, %zmm18
  95
  96 // CHECK: vaddps -8256(%rdx), %zmm13, %zmm18
  97 // CHECK:  encoding: [0x62,0xe1,0x14,0x48,0x58,0x92,0xc0,0xdf,0xff,0xff]
  98           vaddps -8256(%rdx), %zmm13, %zmm18
  99
 100 // CHECK: vaddps 508(%rdx){1to16}, %zmm13, %zmm18
 101 // CHECK:  encoding: [0x62,0xe1,0x14,0x58,0x58,0x52,0x7f]
 102           vaddps 508(%rdx){1to16}, %zmm13, %zmm18
 103
 104 // CHECK: vaddps 512(%rdx){1to16}, %zmm13, %zmm18
 105 // CHECK:  encoding: [0x62,0xe1,0x14,0x58,0x58,0x92,0x00,0x02,0x00,0x00]
 106           vaddps 512(%rdx){1to16}, %zmm13, %zmm18
 107
 108 // CHECK: vaddps -512(%rdx){1to16}, %zmm13, %zmm18
 109 // CHECK:  encoding: [0x62,0xe1,0x14,0x58,0x58,0x52,0x80]
 110           vaddps -512(%rdx){1to16}, %zmm13, %zmm18
 111
 112 // CHECK: vaddps -516(%rdx){1to16}, %zmm13, %zmm18
 113 // CHECK:  encoding: [0x62,0xe1,0x14,0x58,0x58,0x92,0xfc,0xfd,0xff,0xff]
 114           vaddps -516(%rdx){1to16}, %zmm13, %zmm18
 115
 116 // CHECK: vdivpd %zmm11, %zmm6, %zmm18
 117 // CHECK:  encoding: [0x62,0xc1,0xcd,0x48,0x5e,0xd3]
 118           vdivpd %zmm11, %zmm6, %zmm18
 119
 120 // CHECK: vdivpd %zmm11, %zmm6, %zmm18 {%k4}
 121 // CHECK:  encoding: [0x62,0xc1,0xcd,0x4c,0x5e,0xd3]
 122           vdivpd %zmm11, %zmm6, %zmm18 {%k4}
 123
 124 // CHECK: vdivpd %zmm11, %zmm6, %zmm18 {%k4} {z}
 125 // CHECK:  encoding: [0x62,0xc1,0xcd,0xcc,0x5e,0xd3]
 126           vdivpd %zmm11, %zmm6, %zmm18 {%k4} {z}
 127
 128 // CHECK: vdivpd (%rcx), %zmm6, %zmm18
 129 // CHECK:  encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x11]
 130           vdivpd (%rcx), %zmm6, %zmm18
 131
 132 // CHECK: vdivpd 291(%rax,%r14,8), %zmm6, %zmm18
 133 // CHECK:  encoding: [0x62,0xa1,0xcd,0x48,0x5e,0x94,0xf0,0x23,0x01,0x00,0x00]
 134           vdivpd 291(%rax,%r14,8), %zmm6, %zmm18
 135
 136 // CHECK: vdivpd (%rcx){1to8}, %zmm6, %zmm18
 137 // CHECK:  encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x11]
 138           vdivpd (%rcx){1to8}, %zmm6, %zmm18
 139
 140 // CHECK: vdivpd 8128(%rdx), %zmm6, %zmm18
 141 // CHECK:  encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x52,0x7f]
 142           vdivpd 8128(%rdx), %zmm6, %zmm18
 143
 144 // CHECK: vdivpd 8192(%rdx), %zmm6, %zmm18
 145 // CHECK:  encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x92,0x00,0x20,0x00,0x00]
 146           vdivpd 8192(%rdx), %zmm6, %zmm18
 147
 148 // CHECK: vdivpd -8192(%rdx), %zmm6, %zmm18
 149 // CHECK:  encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x52,0x80]
 150           vdivpd -8192(%rdx), %zmm6, %zmm18
 151
 152 // CHECK: vdivpd -8256(%rdx), %zmm6, %zmm18
 153 // CHECK:  encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x92,0xc0,0xdf,0xff,0xff]
 154           vdivpd -8256(%rdx), %zmm6, %zmm18
 155
 156 // CHECK: vdivpd 1016(%rdx){1to8}, %zmm6, %zmm18
 157 // CHECK:  encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x52,0x7f]
 158           vdivpd 1016(%rdx){1to8}, %zmm6, %zmm18
 159
 160 // CHECK: vdivpd 1024(%rdx){1to8}, %zmm6, %zmm18
 161 // CHECK:  encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x92,0x00,0x04,0x00,0x00]
 162           vdivpd 1024(%rdx){1to8}, %zmm6, %zmm18
 163
 164 // CHECK: vdivpd -1024(%rdx){1to8}, %zmm6, %zmm18
 165 // CHECK:  encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x52,0x80]
 166           vdivpd -1024(%rdx){1to8}, %zmm6, %zmm18
 167
 168 // CHECK: vdivpd -1032(%rdx){1to8}, %zmm6, %zmm18
 169 // CHECK:  encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x92,0xf8,0xfb,0xff,0xff]
 170           vdivpd -1032(%rdx){1to8}, %zmm6, %zmm18
 171
 172 // CHECK: vdivps %zmm28, %zmm23, %zmm23
 173 // CHECK:  encoding: [0x62,0x81,0x44,0x40,0x5e,0xfc]
 174           vdivps %zmm28, %zmm23, %zmm23
 175
 176 // CHECK: vdivps %zmm28, %zmm23, %zmm23 {%k2}
 177 // CHECK:  encoding: [0x62,0x81,0x44,0x42,0x5e,0xfc]
 178           vdivps %zmm28, %zmm23, %zmm23 {%k2}
 179
 180 // CHECK: vdivps %zmm28, %zmm23, %zmm23 {%k2} {z}
 181 // CHECK:  encoding: [0x62,0x81,0x44,0xc2,0x5e,0xfc]
 182           vdivps %zmm28, %zmm23, %zmm23 {%k2} {z}
 183
 184 // CHECK: vdivps (%rcx), %zmm23, %zmm23
 185 // CHECK:  encoding: [0x62,0xe1,0x44,0x40,0x5e,0x39]
 186           vdivps (%rcx), %zmm23, %zmm23
 187
 188 // CHECK: vdivps 291(%rax,%r14,8), %zmm23, %zmm23
 189 // CHECK:  encoding: [0x62,0xa1,0x44,0x40,0x5e,0xbc,0xf0,0x23,0x01,0x00,0x00]
 190           vdivps 291(%rax,%r14,8), %zmm23, %zmm23
 191
 192 // CHECK: vdivps (%rcx){1to16}, %zmm23, %zmm23
 193 // CHECK:  encoding: [0x62,0xe1,0x44,0x50,0x5e,0x39]
 194           vdivps (%rcx){1to16}, %zmm23, %zmm23
 195
 196 // CHECK: vdivps 8128(%rdx), %zmm23, %zmm23
 197 // CHECK:  encoding: [0x62,0xe1,0x44,0x40,0x5e,0x7a,0x7f]
 198           vdivps 8128(%rdx), %zmm23, %zmm23
 199
 200 // CHECK: vdivps 8192(%rdx), %zmm23, %zmm23
 201 // CHECK:  encoding: [0x62,0xe1,0x44,0x40,0x5e,0xba,0x00,0x20,0x00,0x00]
 202           vdivps 8192(%rdx), %zmm23, %zmm23
 203
 204 // CHECK: vdivps -8192(%rdx), %zmm23, %zmm23
 205 // CHECK:  encoding: [0x62,0xe1,0x44,0x40,0x5e,0x7a,0x80]
 206           vdivps -8192(%rdx), %zmm23, %zmm23
 207
 208 // CHECK: vdivps -8256(%rdx), %zmm23, %zmm23
 209 // CHECK:  encoding: [0x62,0xe1,0x44,0x40,0x5e,0xba,0xc0,0xdf,0xff,0xff]
 210           vdivps -8256(%rdx), %zmm23, %zmm23
 211
 212 // CHECK: vdivps 508(%rdx){1to16}, %zmm23, %zmm23
 213 // CHECK:  encoding: [0x62,0xe1,0x44,0x50,0x5e,0x7a,0x7f]
 214           vdivps 508(%rdx){1to16}, %zmm23, %zmm23
 215
 216 // CHECK: vdivps 512(%rdx){1to16}, %zmm23, %zmm23
 217 // CHECK:  encoding: [0x62,0xe1,0x44,0x50,0x5e,0xba,0x00,0x02,0x00,0x00]
 218           vdivps 512(%rdx){1to16}, %zmm23, %zmm23
 219
 220 // CHECK: vdivps -512(%rdx){1to16}, %zmm23, %zmm23
 221 // CHECK:  encoding: [0x62,0xe1,0x44,0x50,0x5e,0x7a,0x80]
 222           vdivps -512(%rdx){1to16}, %zmm23, %zmm23
 223
 224 // CHECK: vdivps -516(%rdx){1to16}, %zmm23, %zmm23
 225 // CHECK:  encoding: [0x62,0xe1,0x44,0x50,0x5e,0xba,0xfc,0xfd,0xff,0xff]
 226           vdivps -516(%rdx){1to16}, %zmm23, %zmm23
 227
 228 // CHECK: vmaxpd %zmm20, %zmm28, %zmm30
 229 // CHECK:  encoding: [0x62,0x21,0x9d,0x40,0x5f,0xf4]
 230           vmaxpd %zmm20, %zmm28, %zmm30
 231
 232 // CHECK: vmaxpd %zmm20, %zmm28, %zmm30 {%k1}
 233 // CHECK:  encoding: [0x62,0x21,0x9d,0x41,0x5f,0xf4]
 234           vmaxpd %zmm20, %zmm28, %zmm30 {%k1}
 235
 236 // CHECK: vmaxpd %zmm20, %zmm28, %zmm30 {%k1} {z}
 237 // CHECK:  encoding: [0x62,0x21,0x9d,0xc1,0x5f,0xf4]
 238           vmaxpd %zmm20, %zmm28, %zmm30 {%k1} {z}
 239
 240 // CHECK: vmaxpd (%rcx), %zmm28, %zmm30
 241 // CHECK:  encoding: [0x62,0x61,0x9d,0x40,0x5f,0x31]
 242           vmaxpd (%rcx), %zmm28, %zmm30
 243
 244 // CHECK: vmaxpd 291(%rax,%r14,8), %zmm28, %zmm30
 245 // CHECK:  encoding: [0x62,0x21,0x9d,0x40,0x5f,0xb4,0xf0,0x23,0x01,0x00,0x00]
 246           vmaxpd 291(%rax,%r14,8), %zmm28, %zmm30
 247
 248 // CHECK: vmaxpd (%rcx){1to8}, %zmm28, %zmm30
 249 // CHECK:  encoding: [0x62,0x61,0x9d,0x50,0x5f,0x31]
 250           vmaxpd (%rcx){1to8}, %zmm28, %zmm30
 251
 252 // CHECK: vmaxpd 8128(%rdx), %zmm28, %zmm30
 253 // CHECK:  encoding: [0x62,0x61,0x9d,0x40,0x5f,0x72,0x7f]
 254           vmaxpd 8128(%rdx), %zmm28, %zmm30
 255
 256 // CHECK: vmaxpd 8192(%rdx), %zmm28, %zmm30
 257 // CHECK:  encoding: [0x62,0x61,0x9d,0x40,0x5f,0xb2,0x00,0x20,0x00,0x00]
 258           vmaxpd 8192(%rdx), %zmm28, %zmm30
 259
 260 // CHECK: vmaxpd -8192(%rdx), %zmm28, %zmm30
 261 // CHECK:  encoding: [0x62,0x61,0x9d,0x40,0x5f,0x72,0x80]
 262           vmaxpd -8192(%rdx), %zmm28, %zmm30
 263
 264 // CHECK: vmaxpd -8256(%rdx), %zmm28, %zmm30
 265 // CHECK:  encoding: [0x62,0x61,0x9d,0x40,0x5f,0xb2,0xc0,0xdf,0xff,0xff]
 266           vmaxpd -8256(%rdx), %zmm28, %zmm30
 267
 268 // CHECK: vmaxpd 1016(%rdx){1to8}, %zmm28, %zmm30
 269 // CHECK:  encoding: [0x62,0x61,0x9d,0x50,0x5f,0x72,0x7f]
 270           vmaxpd 1016(%rdx){1to8}, %zmm28, %zmm30
 271
 272 // CHECK: vmaxpd 1024(%rdx){1to8}, %zmm28, %zmm30
 273 // CHECK:  encoding: [0x62,0x61,0x9d,0x50,0x5f,0xb2,0x00,0x04,0x00,0x00]
 274           vmaxpd 1024(%rdx){1to8}, %zmm28, %zmm30
 275
 276 // CHECK: vmaxpd -1024(%rdx){1to8}, %zmm28, %zmm30
 277 // CHECK:  encoding: [0x62,0x61,0x9d,0x50,0x5f,0x72,0x80]
 278           vmaxpd -1024(%rdx){1to8}, %zmm28, %zmm30
 279
 280 // CHECK: vmaxpd -1032(%rdx){1to8}, %zmm28, %zmm30
 281 // CHECK:  encoding: [0x62,0x61,0x9d,0x50,0x5f,0xb2,0xf8,0xfb,0xff,0xff]
 282           vmaxpd -1032(%rdx){1to8}, %zmm28, %zmm30
 283
 284 // CHECK: vmaxps %zmm20, %zmm6, %zmm25
 285 // CHECK:  encoding: [0x62,0x21,0x4c,0x48,0x5f,0xcc]
 286           vmaxps %zmm20, %zmm6, %zmm25
 287
 288 // CHECK: vmaxps %zmm20, %zmm6, %zmm25 {%k1}
 289 // CHECK:  encoding: [0x62,0x21,0x4c,0x49,0x5f,0xcc]
 290           vmaxps %zmm20, %zmm6, %zmm25 {%k1}
 291
 292 // CHECK: vmaxps %zmm20, %zmm6, %zmm25 {%k1} {z}
 293 // CHECK:  encoding: [0x62,0x21,0x4c,0xc9,0x5f,0xcc]
 294           vmaxps %zmm20, %zmm6, %zmm25 {%k1} {z}
 295
 296 // CHECK: vmaxps (%rcx), %zmm6, %zmm25
 297 // CHECK:  encoding: [0x62,0x61,0x4c,0x48,0x5f,0x09]
 298           vmaxps (%rcx), %zmm6, %zmm25
 299
 300 // CHECK: vmaxps 291(%rax,%r14,8), %zmm6, %zmm25
 301 // CHECK:  encoding: [0x62,0x21,0x4c,0x48,0x5f,0x8c,0xf0,0x23,0x01,0x00,0x00]
 302           vmaxps 291(%rax,%r14,8), %zmm6, %zmm25
 303
 304 // CHECK: vmaxps (%rcx){1to16}, %zmm6, %zmm25
 305 // CHECK:  encoding: [0x62,0x61,0x4c,0x58,0x5f,0x09]
 306           vmaxps (%rcx){1to16}, %zmm6, %zmm25
 307
 308 // CHECK: vmaxps 8128(%rdx), %zmm6, %zmm25
 309 // CHECK:  encoding: [0x62,0x61,0x4c,0x48,0x5f,0x4a,0x7f]
 310           vmaxps 8128(%rdx), %zmm6, %zmm25
 311
 312 // CHECK: vmaxps 8192(%rdx), %zmm6, %zmm25
 313 // CHECK:  encoding: [0x62,0x61,0x4c,0x48,0x5f,0x8a,0x00,0x20,0x00,0x00]
 314           vmaxps 8192(%rdx), %zmm6, %zmm25
 315
 316 // CHECK: vmaxps -8192(%rdx), %zmm6, %zmm25
 317 // CHECK:  encoding: [0x62,0x61,0x4c,0x48,0x5f,0x4a,0x80]
 318           vmaxps -8192(%rdx), %zmm6, %zmm25
 319
 320 // CHECK: vmaxps -8256(%rdx), %zmm6, %zmm25
 321 // CHECK:  encoding: [0x62,0x61,0x4c,0x48,0x5f,0x8a,0xc0,0xdf,0xff,0xff]
 322           vmaxps -8256(%rdx), %zmm6, %zmm25
 323
 324 // CHECK: vmaxps 508(%rdx){1to16}, %zmm6, %zmm25
 325 // CHECK:  encoding: [0x62,0x61,0x4c,0x58,0x5f,0x4a,0x7f]
 326           vmaxps 508(%rdx){1to16}, %zmm6, %zmm25
 327
 328 // CHECK: vmaxps 512(%rdx){1to16}, %zmm6, %zmm25
 329 // CHECK:  encoding: [0x62,0x61,0x4c,0x58,0x5f,0x8a,0x00,0x02,0x00,0x00]
 330           vmaxps 512(%rdx){1to16}, %zmm6, %zmm25
 331
 332 // CHECK: vmaxps -512(%rdx){1to16}, %zmm6, %zmm25
 333 // CHECK:  encoding: [0x62,0x61,0x4c,0x58,0x5f,0x4a,0x80]
 334           vmaxps -512(%rdx){1to16}, %zmm6, %zmm25
 335
 336 // CHECK: vmaxps -516(%rdx){1to16}, %zmm6, %zmm25
 337 // CHECK:  encoding: [0x62,0x61,0x4c,0x58,0x5f,0x8a,0xfc,0xfd,0xff,0xff]
 338           vmaxps -516(%rdx){1to16}, %zmm6, %zmm25
 339
 340 // CHECK: vminpd %zmm22, %zmm6, %zmm6
 341 // CHECK:  encoding: [0x62,0xb1,0xcd,0x48,0x5d,0xf6]
 342           vminpd %zmm22, %zmm6, %zmm6
 343
 344 // CHECK: vminpd %zmm22, %zmm6, %zmm6 {%k7}
 345 // CHECK:  encoding: [0x62,0xb1,0xcd,0x4f,0x5d,0xf6]
 346           vminpd %zmm22, %zmm6, %zmm6 {%k7}
 347
 348 // CHECK: vminpd %zmm22, %zmm6, %zmm6 {%k7} {z}
 349 // CHECK:  encoding: [0x62,0xb1,0xcd,0xcf,0x5d,0xf6]
 350           vminpd %zmm22, %zmm6, %zmm6 {%k7} {z}
 351
 352 // CHECK: vminpd (%rcx), %zmm6, %zmm6
 353 // CHECK:  encoding: [0x62,0xf1,0xcd,0x48,0x5d,0x31]
 354           vminpd (%rcx), %zmm6, %zmm6
 355
 356 // CHECK: vminpd 291(%rax,%r14,8), %zmm6, %zmm6
 357 // CHECK:  encoding: [0x62,0xb1,0xcd,0x48,0x5d,0xb4,0xf0,0x23,0x01,0x00,0x00]
 358           vminpd 291(%rax,%r14,8), %zmm6, %zmm6
 359
 360 // CHECK: vminpd (%rcx){1to8}, %zmm6, %zmm6
 361 // CHECK:  encoding: [0x62,0xf1,0xcd,0x58,0x5d,0x31]
 362           vminpd (%rcx){1to8}, %zmm6, %zmm6
 363
 364 // CHECK: vminpd 8128(%rdx), %zmm6, %zmm6
 365 // CHECK:  encoding: [0x62,0xf1,0xcd,0x48,0x5d,0x72,0x7f]
 366           vminpd 8128(%rdx), %zmm6, %zmm6
 367
 368 // CHECK: vminpd 8192(%rdx), %zmm6, %zmm6
 369 // CHECK:  encoding: [0x62,0xf1,0xcd,0x48,0x5d,0xb2,0x00,0x20,0x00,0x00]
 370           vminpd 8192(%rdx), %zmm6, %zmm6
 371
 372 // CHECK: vminpd -8192(%rdx), %zmm6, %zmm6
 373 // CHECK:  encoding: [0x62,0xf1,0xcd,0x48,0x5d,0x72,0x80]
 374           vminpd -8192(%rdx), %zmm6, %zmm6
 375
 376 // CHECK: vminpd -8256(%rdx), %zmm6, %zmm6
 377 // CHECK:  encoding: [0x62,0xf1,0xcd,0x48,0x5d,0xb2,0xc0,0xdf,0xff,0xff]
 378           vminpd -8256(%rdx), %zmm6, %zmm6
 379
 380 // CHECK: vminpd 1016(%rdx){1to8}, %zmm6, %zmm6
 381 // CHECK:  encoding: [0x62,0xf1,0xcd,0x58,0x5d,0x72,0x7f]
 382           vminpd 1016(%rdx){1to8}, %zmm6, %zmm6
 383
 384 // CHECK: vminpd 1024(%rdx){1to8}, %zmm6, %zmm6
 385 // CHECK:  encoding: [0x62,0xf1,0xcd,0x58,0x5d,0xb2,0x00,0x04,0x00,0x00]
 386           vminpd 1024(%rdx){1to8}, %zmm6, %zmm6
 387
 388 // CHECK: vminpd -1024(%rdx){1to8}, %zmm6, %zmm6
 389 // CHECK:  encoding: [0x62,0xf1,0xcd,0x58,0x5d,0x72,0x80]
 390           vminpd -1024(%rdx){1to8}, %zmm6, %zmm6
 391
 392 // CHECK: vminpd -1032(%rdx){1to8}, %zmm6, %zmm6
 393 // CHECK:  encoding: [0x62,0xf1,0xcd,0x58,0x5d,0xb2,0xf8,0xfb,0xff,0xff]
 394           vminpd -1032(%rdx){1to8}, %zmm6, %zmm6
 395
 396 // CHECK: vminps %zmm7, %zmm3, %zmm3
 397 // CHECK:  encoding: [0x62,0xf1,0x64,0x48,0x5d,0xdf]
 398           vminps %zmm7, %zmm3, %zmm3
 399
 400 // CHECK: vminps %zmm7, %zmm3, %zmm3 {%k3}
 401 // CHECK:  encoding: [0x62,0xf1,0x64,0x4b,0x5d,0xdf]
 402           vminps %zmm7, %zmm3, %zmm3 {%k3}
 403
 404 // CHECK: vminps %zmm7, %zmm3, %zmm3 {%k3} {z}
 405 // CHECK:  encoding: [0x62,0xf1,0x64,0xcb,0x5d,0xdf]
 406           vminps %zmm7, %zmm3, %zmm3 {%k3} {z}
 407
 408 // CHECK: vminps (%rcx), %zmm3, %zmm3
 409 // CHECK:  encoding: [0x62,0xf1,0x64,0x48,0x5d,0x19]
 410           vminps (%rcx), %zmm3, %zmm3
 411
 412 // CHECK: vminps 291(%rax,%r14,8), %zmm3, %zmm3
 413 // CHECK:  encoding: [0x62,0xb1,0x64,0x48,0x5d,0x9c,0xf0,0x23,0x01,0x00,0x00]
 414           vminps 291(%rax,%r14,8), %zmm3, %zmm3
 415
 416 // CHECK: vminps (%rcx){1to16}, %zmm3, %zmm3
 417 // CHECK:  encoding: [0x62,0xf1,0x64,0x58,0x5d,0x19]
 418           vminps (%rcx){1to16}, %zmm3, %zmm3
 419
 420 // CHECK: vminps 8128(%rdx), %zmm3, %zmm3
 421 // CHECK:  encoding: [0x62,0xf1,0x64,0x48,0x5d,0x5a,0x7f]
 422           vminps 8128(%rdx), %zmm3, %zmm3
 423
 424 // CHECK: vminps 8192(%rdx), %zmm3, %zmm3
 425 // CHECK:  encoding: [0x62,0xf1,0x64,0x48,0x5d,0x9a,0x00,0x20,0x00,0x00]
 426           vminps 8192(%rdx), %zmm3, %zmm3
 427
 428 // CHECK: vminps -8192(%rdx), %zmm3, %zmm3
 429 // CHECK:  encoding: [0x62,0xf1,0x64,0x48,0x5d,0x5a,0x80]
 430           vminps -8192(%rdx), %zmm3, %zmm3
 431
 432 // CHECK: vminps -8256(%rdx), %zmm3, %zmm3
 433 // CHECK:  encoding: [0x62,0xf1,0x64,0x48,0x5d,0x9a,0xc0,0xdf,0xff,0xff]
 434           vminps -8256(%rdx), %zmm3, %zmm3
 435
 436 // CHECK: vminps 508(%rdx){1to16}, %zmm3, %zmm3
 437 // CHECK:  encoding: [0x62,0xf1,0x64,0x58,0x5d,0x5a,0x7f]
 438           vminps 508(%rdx){1to16}, %zmm3, %zmm3
 439
 440 // CHECK: vminps 512(%rdx){1to16}, %zmm3, %zmm3
 441 // CHECK:  encoding: [0x62,0xf1,0x64,0x58,0x5d,0x9a,0x00,0x02,0x00,0x00]
 442           vminps 512(%rdx){1to16}, %zmm3, %zmm3
 443
 444 // CHECK: vminps -512(%rdx){1to16}, %zmm3, %zmm3
 445 // CHECK:  encoding: [0x62,0xf1,0x64,0x58,0x5d,0x5a,0x80]
 446           vminps -512(%rdx){1to16}, %zmm3, %zmm3
 447
 448 // CHECK: vminps -516(%rdx){1to16}, %zmm3, %zmm3
 449 // CHECK:  encoding: [0x62,0xf1,0x64,0x58,0x5d,0x9a,0xfc,0xfd,0xff,0xff]
 450           vminps -516(%rdx){1to16}, %zmm3, %zmm3
 451
 452 // CHECK: vmovapd %zmm14, %zmm7
 453 // CHECK:  encoding: [0x62,0xd1,0xfd,0x48,0x28,0xfe]
 454           vmovapd %zmm14, %zmm7
 455
 456 // CHECK: vmovapd %zmm14, %zmm7 {%k5}
 457 // CHECK:  encoding: [0x62,0xd1,0xfd,0x4d,0x28,0xfe]
 458           vmovapd %zmm14, %zmm7 {%k5}
 459
 460 // CHECK: vmovapd %zmm14, %zmm7 {%k5} {z}
 461 // CHECK:  encoding: [0x62,0xd1,0xfd,0xcd,0x28,0xfe]
 462           vmovapd %zmm14, %zmm7 {%k5} {z}
 463
 464 // CHECK: vmovapd (%rcx), %zmm7
 465 // CHECK:  encoding: [0x62,0xf1,0xfd,0x48,0x28,0x39]
 466           vmovapd (%rcx), %zmm7
 467
 468 // CHECK: vmovapd 291(%rax,%r14,8), %zmm7
 469 // CHECK:  encoding: [0x62,0xb1,0xfd,0x48,0x28,0xbc,0xf0,0x23,0x01,0x00,0x00]
 470           vmovapd 291(%rax,%r14,8), %zmm7
 471
 472 // CHECK: vmovapd 8128(%rdx), %zmm7
 473 // CHECK:  encoding: [0x62,0xf1,0xfd,0x48,0x28,0x7a,0x7f]
 474           vmovapd 8128(%rdx), %zmm7
 475
 476 // CHECK: vmovapd 8192(%rdx), %zmm7
 477 // CHECK:  encoding: [0x62,0xf1,0xfd,0x48,0x28,0xba,0x00,0x20,0x00,0x00]
 478           vmovapd 8192(%rdx), %zmm7
 479
 480 // CHECK: vmovapd -8192(%rdx), %zmm7
 481 // CHECK:  encoding: [0x62,0xf1,0xfd,0x48,0x28,0x7a,0x80]
 482           vmovapd -8192(%rdx), %zmm7
 483
 484 // CHECK: vmovapd -8256(%rdx), %zmm7
 485 // CHECK:  encoding: [0x62,0xf1,0xfd,0x48,0x28,0xba,0xc0,0xdf,0xff,0xff]
 486           vmovapd -8256(%rdx), %zmm7
 487
 488 // CHECK: vmovaps %zmm9, %zmm5
 489 // CHECK:  encoding: [0x62,0xd1,0x7c,0x48,0x28,0xe9]
 490           vmovaps %zmm9, %zmm5
 491
 492 // CHECK: vmovaps %zmm9, %zmm5 {%k1}
 493 // CHECK:  encoding: [0x62,0xd1,0x7c,0x49,0x28,0xe9]
 494           vmovaps %zmm9, %zmm5 {%k1}
 495
 496 // CHECK: vmovaps %zmm9, %zmm5 {%k1} {z}
 497 // CHECK:  encoding: [0x62,0xd1,0x7c,0xc9,0x28,0xe9]
 498           vmovaps %zmm9, %zmm5 {%k1} {z}
 499
 500 // CHECK: vmovaps (%rcx), %zmm5
 501 // CHECK:  encoding: [0x62,0xf1,0x7c,0x48,0x28,0x29]
 502           vmovaps (%rcx), %zmm5
 503
 504 // CHECK: vmovaps 291(%rax,%r14,8), %zmm5
 505 // CHECK:  encoding: [0x62,0xb1,0x7c,0x48,0x28,0xac,0xf0,0x23,0x01,0x00,0x00]
 506           vmovaps 291(%rax,%r14,8), %zmm5
 507
 508 // CHECK: vmovaps 8128(%rdx), %zmm5
 509 // CHECK:  encoding: [0x62,0xf1,0x7c,0x48,0x28,0x6a,0x7f]
 510           vmovaps 8128(%rdx), %zmm5
 511
 512 // CHECK: vmovaps 8192(%rdx), %zmm5
 513 // CHECK:  encoding: [0x62,0xf1,0x7c,0x48,0x28,0xaa,0x00,0x20,0x00,0x00]
 514           vmovaps 8192(%rdx), %zmm5
 515
 516 // CHECK: vmovaps -8192(%rdx), %zmm5
 517 // CHECK:  encoding: [0x62,0xf1,0x7c,0x48,0x28,0x6a,0x80]
 518           vmovaps -8192(%rdx), %zmm5
 519
 520 // CHECK: vmovaps -8256(%rdx), %zmm5
 521 // CHECK:  encoding: [0x62,0xf1,0x7c,0x48,0x28,0xaa,0xc0,0xdf,0xff,0xff]
 522           vmovaps -8256(%rdx), %zmm5
 523
 524 // CHECK: vmovdqa32 %zmm18, %zmm22
 525 // CHECK:  encoding: [0x62,0xa1,0x7d,0x48,0x6f,0xf2]
 526           vmovdqa32 %zmm18, %zmm22
 527
 528 // CHECK: vmovdqa32 %zmm18, %zmm22 {%k6}
 529 // CHECK:  encoding: [0x62,0xa1,0x7d,0x4e,0x6f,0xf2]
 530           vmovdqa32 %zmm18, %zmm22 {%k6}
 531
 532 // CHECK: vmovdqa32 %zmm18, %zmm22 {%k6} {z}
 533 // CHECK:  encoding: [0x62,0xa1,0x7d,0xce,0x6f,0xf2]
 534           vmovdqa32 %zmm18, %zmm22 {%k6} {z}
 535
 536 // CHECK: vmovdqa32 (%rcx), %zmm22
 537 // CHECK:  encoding: [0x62,0xe1,0x7d,0x48,0x6f,0x31]
 538           vmovdqa32 (%rcx), %zmm22
 539
 540 // CHECK: vmovdqa32 291(%rax,%r14,8), %zmm22
 541 // CHECK:  encoding: [0x62,0xa1,0x7d,0x48,0x6f,0xb4,0xf0,0x23,0x01,0x00,0x00]
 542           vmovdqa32 291(%rax,%r14,8), %zmm22
 543
 544 // CHECK: vmovdqa32 8128(%rdx), %zmm22
 545 // CHECK:  encoding: [0x62,0xe1,0x7d,0x48,0x6f,0x72,0x7f]
 546           vmovdqa32 8128(%rdx), %zmm22
 547
 548 // CHECK: vmovdqa32 8192(%rdx), %zmm22
 549 // CHECK:  encoding: [0x62,0xe1,0x7d,0x48,0x6f,0xb2,0x00,0x20,0x00,0x00]
 550           vmovdqa32 8192(%rdx), %zmm22
 551
 552 // CHECK: vmovdqa32 -8192(%rdx), %zmm22
 553 // CHECK:  encoding: [0x62,0xe1,0x7d,0x48,0x6f,0x72,0x80]
 554           vmovdqa32 -8192(%rdx), %zmm22
 555
 556 // CHECK: vmovdqa32 -8256(%rdx), %zmm22
 557 // CHECK:  encoding: [0x62,0xe1,0x7d,0x48,0x6f,0xb2,0xc0,0xdf,0xff,0xff]
 558           vmovdqa32 -8256(%rdx), %zmm22
 559
 560 // CHECK: vmovdqa64 %zmm12, %zmm22
 561 // CHECK:  encoding: [0x62,0xc1,0xfd,0x48,0x6f,0xf4]
 562           vmovdqa64 %zmm12, %zmm22
 563
 564 // CHECK: vmovdqa64 %zmm12, %zmm22 {%k5}
 565 // CHECK:  encoding: [0x62,0xc1,0xfd,0x4d,0x6f,0xf4]
 566           vmovdqa64 %zmm12, %zmm22 {%k5}
 567
 568 // CHECK: vmovdqa64 %zmm12, %zmm22 {%k5} {z}
 569 // CHECK:  encoding: [0x62,0xc1,0xfd,0xcd,0x6f,0xf4]
 570           vmovdqa64 %zmm12, %zmm22 {%k5} {z}
 571
 572 // CHECK: vmovdqa64 (%rcx), %zmm22
 573 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x6f,0x31]
 574           vmovdqa64 (%rcx), %zmm22
 575
 576 // CHECK: vmovdqa64 291(%rax,%r14,8), %zmm22
 577 // CHECK:  encoding: [0x62,0xa1,0xfd,0x48,0x6f,0xb4,0xf0,0x23,0x01,0x00,0x00]
 578           vmovdqa64 291(%rax,%r14,8), %zmm22
 579
 580 // CHECK: vmovdqa64 8128(%rdx), %zmm22
 581 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x6f,0x72,0x7f]
 582           vmovdqa64 8128(%rdx), %zmm22
 583
 584 // CHECK: vmovdqa64 8192(%rdx), %zmm22
 585 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x6f,0xb2,0x00,0x20,0x00,0x00]
 586           vmovdqa64 8192(%rdx), %zmm22
 587
 588 // CHECK: vmovdqa64 -8192(%rdx), %zmm22
 589 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x6f,0x72,0x80]
 590           vmovdqa64 -8192(%rdx), %zmm22
 591
 592 // CHECK: vmovdqa64 -8256(%rdx), %zmm22
 593 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x6f,0xb2,0xc0,0xdf,0xff,0xff]
 594           vmovdqa64 -8256(%rdx), %zmm22
 595
 596 // CHECK: vmovdqu32 %zmm24, %zmm5
 597 // CHECK:  encoding: [0x62,0x91,0x7e,0x48,0x6f,0xe8]
 598           vmovdqu32 %zmm24, %zmm5
 599
 600 // CHECK: vmovdqu32 %zmm24, %zmm5 {%k5}
 601 // CHECK:  encoding: [0x62,0x91,0x7e,0x4d,0x6f,0xe8]
 602           vmovdqu32 %zmm24, %zmm5 {%k5}
 603
 604 // CHECK: vmovdqu32 %zmm24, %zmm5 {%k5} {z}
 605 // CHECK:  encoding: [0x62,0x91,0x7e,0xcd,0x6f,0xe8]
 606           vmovdqu32 %zmm24, %zmm5 {%k5} {z}
 607
 608 // CHECK: vmovdqu32 (%rcx), %zmm5
 609 // CHECK:  encoding: [0x62,0xf1,0x7e,0x48,0x6f,0x29]
 610           vmovdqu32 (%rcx), %zmm5
 611
 612 // CHECK: vmovdqu32 291(%rax,%r14,8), %zmm5
 613 // CHECK:  encoding: [0x62,0xb1,0x7e,0x48,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
 614           vmovdqu32 291(%rax,%r14,8), %zmm5
 615
 616 // CHECK: vmovdqu32 8128(%rdx), %zmm5
 617 // CHECK:  encoding: [0x62,0xf1,0x7e,0x48,0x6f,0x6a,0x7f]
 618           vmovdqu32 8128(%rdx), %zmm5
 619
 620 // CHECK: vmovdqu32 8192(%rdx), %zmm5
 621 // CHECK:  encoding: [0x62,0xf1,0x7e,0x48,0x6f,0xaa,0x00,0x20,0x00,0x00]
 622           vmovdqu32 8192(%rdx), %zmm5
 623
 624 // CHECK: vmovdqu32 -8192(%rdx), %zmm5
 625 // CHECK:  encoding: [0x62,0xf1,0x7e,0x48,0x6f,0x6a,0x80]
 626           vmovdqu32 -8192(%rdx), %zmm5
 627
 628 // CHECK: vmovdqu32 -8256(%rdx), %zmm5
 629 // CHECK:  encoding: [0x62,0xf1,0x7e,0x48,0x6f,0xaa,0xc0,0xdf,0xff,0xff]
 630           vmovdqu32 -8256(%rdx), %zmm5
 631
 632 // CHECK: vmovdqu64 %zmm15, %zmm6
 633 // CHECK:  encoding: [0x62,0xd1,0xfe,0x48,0x6f,0xf7]
 634           vmovdqu64 %zmm15, %zmm6
 635
 636 // CHECK: vmovdqu64 %zmm15, %zmm6 {%k3}
 637 // CHECK:  encoding: [0x62,0xd1,0xfe,0x4b,0x6f,0xf7]
 638           vmovdqu64 %zmm15, %zmm6 {%k3}
 639
 640 // CHECK: vmovdqu64 %zmm15, %zmm6 {%k3} {z}
 641 // CHECK:  encoding: [0x62,0xd1,0xfe,0xcb,0x6f,0xf7]
 642           vmovdqu64 %zmm15, %zmm6 {%k3} {z}
 643
 644 // CHECK: vmovdqu64 (%rcx), %zmm6
 645 // CHECK:  encoding: [0x62,0xf1,0xfe,0x48,0x6f,0x31]
 646           vmovdqu64 (%rcx), %zmm6
 647
 648 // CHECK: vmovdqu64 291(%rax,%r14,8), %zmm6
 649 // CHECK:  encoding: [0x62,0xb1,0xfe,0x48,0x6f,0xb4,0xf0,0x23,0x01,0x00,0x00]
 650           vmovdqu64 291(%rax,%r14,8), %zmm6
 651
 652 // CHECK: vmovdqu64 8128(%rdx), %zmm6
 653 // CHECK:  encoding: [0x62,0xf1,0xfe,0x48,0x6f,0x72,0x7f]
 654           vmovdqu64 8128(%rdx), %zmm6
 655
 656 // CHECK: vmovdqu64 8192(%rdx), %zmm6
 657 // CHECK:  encoding: [0x62,0xf1,0xfe,0x48,0x6f,0xb2,0x00,0x20,0x00,0x00]
 658           vmovdqu64 8192(%rdx), %zmm6
 659
 660 // CHECK: vmovdqu64 -8192(%rdx), %zmm6
 661 // CHECK:  encoding: [0x62,0xf1,0xfe,0x48,0x6f,0x72,0x80]
 662           vmovdqu64 -8192(%rdx), %zmm6
 663
 664 // CHECK: vmovdqu64 -8256(%rdx), %zmm6
 665 // CHECK:  encoding: [0x62,0xf1,0xfe,0x48,0x6f,0xb2,0xc0,0xdf,0xff,0xff]
 666           vmovdqu64 -8256(%rdx), %zmm6
 667
 668 // CHECK: vmovupd %zmm9, %zmm27
 669 // CHECK:  encoding: [0x62,0x41,0xfd,0x48,0x10,0xd9]
 670           vmovupd %zmm9, %zmm27
 671
 672 // CHECK: vmovupd %zmm9, %zmm27 {%k2}
 673 // CHECK:  encoding: [0x62,0x41,0xfd,0x4a,0x10,0xd9]
 674           vmovupd %zmm9, %zmm27 {%k2}
 675
 676 // CHECK: vmovupd %zmm9, %zmm27 {%k2} {z}
 677 // CHECK:  encoding: [0x62,0x41,0xfd,0xca,0x10,0xd9]
 678           vmovupd %zmm9, %zmm27 {%k2} {z}
 679
 680 // CHECK: vmovupd (%rcx), %zmm27
 681 // CHECK:  encoding: [0x62,0x61,0xfd,0x48,0x10,0x19]
 682           vmovupd (%rcx), %zmm27
 683
 684 // CHECK: vmovupd 291(%rax,%r14,8), %zmm27
 685 // CHECK:  encoding: [0x62,0x21,0xfd,0x48,0x10,0x9c,0xf0,0x23,0x01,0x00,0x00]
 686           vmovupd 291(%rax,%r14,8), %zmm27
 687
 688 // CHECK: vmovupd 8128(%rdx), %zmm27
 689 // CHECK:  encoding: [0x62,0x61,0xfd,0x48,0x10,0x5a,0x7f]
 690           vmovupd 8128(%rdx), %zmm27
 691
 692 // CHECK: vmovupd 8192(%rdx), %zmm27
 693 // CHECK:  encoding: [0x62,0x61,0xfd,0x48,0x10,0x9a,0x00,0x20,0x00,0x00]
 694           vmovupd 8192(%rdx), %zmm27
 695
 696 // CHECK: vmovupd -8192(%rdx), %zmm27
 697 // CHECK:  encoding: [0x62,0x61,0xfd,0x48,0x10,0x5a,0x80]
 698           vmovupd -8192(%rdx), %zmm27
 699
 700 // CHECK: vmovupd -8256(%rdx), %zmm27
 701 // CHECK:  encoding: [0x62,0x61,0xfd,0x48,0x10,0x9a,0xc0,0xdf,0xff,0xff]
 702           vmovupd -8256(%rdx), %zmm27
 703
 704 // CHECK: vmovups %zmm22, %zmm22
 705 // CHECK:  encoding: [0x62,0xa1,0x7c,0x48,0x10,0xf6]
 706           vmovups %zmm22, %zmm22
 707
 708 // CHECK: vmovups %zmm22, %zmm22 {%k3}
 709 // CHECK:  encoding: [0x62,0xa1,0x7c,0x4b,0x10,0xf6]
 710           vmovups %zmm22, %zmm22 {%k3}
 711
 712 // CHECK: vmovups %zmm22, %zmm22 {%k3} {z}
 713 // CHECK:  encoding: [0x62,0xa1,0x7c,0xcb,0x10,0xf6]
 714           vmovups %zmm22, %zmm22 {%k3} {z}
 715
 716 // CHECK: vmovups (%rcx), %zmm22
 717 // CHECK:  encoding: [0x62,0xe1,0x7c,0x48,0x10,0x31]
 718           vmovups (%rcx), %zmm22
 719
 720 // CHECK: vmovups 291(%rax,%r14,8), %zmm22
 721 // CHECK:  encoding: [0x62,0xa1,0x7c,0x48,0x10,0xb4,0xf0,0x23,0x01,0x00,0x00]
 722           vmovups 291(%rax,%r14,8), %zmm22
 723
 724 // CHECK: vmovups 8128(%rdx), %zmm22
 725 // CHECK:  encoding: [0x62,0xe1,0x7c,0x48,0x10,0x72,0x7f]
 726           vmovups 8128(%rdx), %zmm22
 727
 728 // CHECK: vmovups 8192(%rdx), %zmm22
 729 // CHECK:  encoding: [0x62,0xe1,0x7c,0x48,0x10,0xb2,0x00,0x20,0x00,0x00]
 730           vmovups 8192(%rdx), %zmm22
 731
 732 // CHECK: vmovups -8192(%rdx), %zmm22
 733 // CHECK:  encoding: [0x62,0xe1,0x7c,0x48,0x10,0x72,0x80]
 734           vmovups -8192(%rdx), %zmm22
 735
 736 // CHECK: vmovups -8256(%rdx), %zmm22
 737 // CHECK:  encoding: [0x62,0xe1,0x7c,0x48,0x10,0xb2,0xc0,0xdf,0xff,0xff]
 738           vmovups -8256(%rdx), %zmm22
 739
 740 // CHECK: vmulpd %zmm23, %zmm4, %zmm24
 741 // CHECK:  encoding: [0x62,0x21,0xdd,0x48,0x59,0xc7]
 742           vmulpd %zmm23, %zmm4, %zmm24
 743
 744 // CHECK: vmulpd %zmm23, %zmm4, %zmm24 {%k6}
 745 // CHECK:  encoding: [0x62,0x21,0xdd,0x4e,0x59,0xc7]
 746           vmulpd %zmm23, %zmm4, %zmm24 {%k6}
 747
 748 // CHECK: vmulpd %zmm23, %zmm4, %zmm24 {%k6} {z}
 749 // CHECK:  encoding: [0x62,0x21,0xdd,0xce,0x59,0xc7]
 750           vmulpd %zmm23, %zmm4, %zmm24 {%k6} {z}
 751
 752 // CHECK: vmulpd (%rcx), %zmm4, %zmm24
 753 // CHECK:  encoding: [0x62,0x61,0xdd,0x48,0x59,0x01]
 754           vmulpd (%rcx), %zmm4, %zmm24
 755
 756 // CHECK: vmulpd 291(%rax,%r14,8), %zmm4, %zmm24
 757 // CHECK:  encoding: [0x62,0x21,0xdd,0x48,0x59,0x84,0xf0,0x23,0x01,0x00,0x00]
 758           vmulpd 291(%rax,%r14,8), %zmm4, %zmm24
 759
 760 // CHECK: vmulpd (%rcx){1to8}, %zmm4, %zmm24
 761 // CHECK:  encoding: [0x62,0x61,0xdd,0x58,0x59,0x01]
 762           vmulpd (%rcx){1to8}, %zmm4, %zmm24
 763
 764 // CHECK: vmulpd 8128(%rdx), %zmm4, %zmm24
 765 // CHECK:  encoding: [0x62,0x61,0xdd,0x48,0x59,0x42,0x7f]
 766           vmulpd 8128(%rdx), %zmm4, %zmm24
 767
 768 // CHECK: vmulpd 8192(%rdx), %zmm4, %zmm24
 769 // CHECK:  encoding: [0x62,0x61,0xdd,0x48,0x59,0x82,0x00,0x20,0x00,0x00]
 770           vmulpd 8192(%rdx), %zmm4, %zmm24
 771
 772 // CHECK: vmulpd -8192(%rdx), %zmm4, %zmm24
 773 // CHECK:  encoding: [0x62,0x61,0xdd,0x48,0x59,0x42,0x80]
 774           vmulpd -8192(%rdx), %zmm4, %zmm24
 775
 776 // CHECK: vmulpd -8256(%rdx), %zmm4, %zmm24
 777 // CHECK:  encoding: [0x62,0x61,0xdd,0x48,0x59,0x82,0xc0,0xdf,0xff,0xff]
 778           vmulpd -8256(%rdx), %zmm4, %zmm24
 779
 780 // CHECK: vmulpd 1016(%rdx){1to8}, %zmm4, %zmm24
 781 // CHECK:  encoding: [0x62,0x61,0xdd,0x58,0x59,0x42,0x7f]
 782           vmulpd 1016(%rdx){1to8}, %zmm4, %zmm24
 783
 784 // CHECK: vmulpd 1024(%rdx){1to8}, %zmm4, %zmm24
 785 // CHECK:  encoding: [0x62,0x61,0xdd,0x58,0x59,0x82,0x00,0x04,0x00,0x00]
 786           vmulpd 1024(%rdx){1to8}, %zmm4, %zmm24
 787
 788 // CHECK: vmulpd -1024(%rdx){1to8}, %zmm4, %zmm24
 789 // CHECK:  encoding: [0x62,0x61,0xdd,0x58,0x59,0x42,0x80]
 790           vmulpd -1024(%rdx){1to8}, %zmm4, %zmm24
 791
 792 // CHECK: vmulpd -1032(%rdx){1to8}, %zmm4, %zmm24
 793 // CHECK:  encoding: [0x62,0x61,0xdd,0x58,0x59,0x82,0xf8,0xfb,0xff,0xff]
 794           vmulpd -1032(%rdx){1to8}, %zmm4, %zmm24
 795
 796 // CHECK: vmulps %zmm24, %zmm6, %zmm3
 797 // CHECK:  encoding: [0x62,0x91,0x4c,0x48,0x59,0xd8]
 798           vmulps %zmm24, %zmm6, %zmm3
 799
 800 // CHECK: vmulps %zmm24, %zmm6, %zmm3 {%k4}
 801 // CHECK:  encoding: [0x62,0x91,0x4c,0x4c,0x59,0xd8]
 802           vmulps %zmm24, %zmm6, %zmm3 {%k4}
 803
 804 // CHECK: vmulps %zmm24, %zmm6, %zmm3 {%k4} {z}
 805 // CHECK:  encoding: [0x62,0x91,0x4c,0xcc,0x59,0xd8]
 806           vmulps %zmm24, %zmm6, %zmm3 {%k4} {z}
 807
 808 // CHECK: vmulps (%rcx), %zmm6, %zmm3
 809 // CHECK:  encoding: [0x62,0xf1,0x4c,0x48,0x59,0x19]
 810           vmulps (%rcx), %zmm6, %zmm3
 811
 812 // CHECK: vmulps 291(%rax,%r14,8), %zmm6, %zmm3
 813 // CHECK:  encoding: [0x62,0xb1,0x4c,0x48,0x59,0x9c,0xf0,0x23,0x01,0x00,0x00]
 814           vmulps 291(%rax,%r14,8), %zmm6, %zmm3
 815
 816 // CHECK: vmulps (%rcx){1to16}, %zmm6, %zmm3
 817 // CHECK:  encoding: [0x62,0xf1,0x4c,0x58,0x59,0x19]
 818           vmulps (%rcx){1to16}, %zmm6, %zmm3
 819
 820 // CHECK: vmulps 8128(%rdx), %zmm6, %zmm3
 821 // CHECK:  encoding: [0x62,0xf1,0x4c,0x48,0x59,0x5a,0x7f]
 822           vmulps 8128(%rdx), %zmm6, %zmm3
 823
 824 // CHECK: vmulps 8192(%rdx), %zmm6, %zmm3
 825 // CHECK:  encoding: [0x62,0xf1,0x4c,0x48,0x59,0x9a,0x00,0x20,0x00,0x00]
 826           vmulps 8192(%rdx), %zmm6, %zmm3
 827
 828 // CHECK: vmulps -8192(%rdx), %zmm6, %zmm3
 829 // CHECK:  encoding: [0x62,0xf1,0x4c,0x48,0x59,0x5a,0x80]
 830           vmulps -8192(%rdx), %zmm6, %zmm3
 831
 832 // CHECK: vmulps -8256(%rdx), %zmm6, %zmm3
 833 // CHECK:  encoding: [0x62,0xf1,0x4c,0x48,0x59,0x9a,0xc0,0xdf,0xff,0xff]
 834           vmulps -8256(%rdx), %zmm6, %zmm3
 835
 836 // CHECK: vmulps 508(%rdx){1to16}, %zmm6, %zmm3
 837 // CHECK:  encoding: [0x62,0xf1,0x4c,0x58,0x59,0x5a,0x7f]
 838           vmulps 508(%rdx){1to16}, %zmm6, %zmm3
 839
 840 // CHECK: vmulps 512(%rdx){1to16}, %zmm6, %zmm3
 841 // CHECK:  encoding: [0x62,0xf1,0x4c,0x58,0x59,0x9a,0x00,0x02,0x00,0x00]
 842           vmulps 512(%rdx){1to16}, %zmm6, %zmm3
 843
 844 // CHECK: vmulps -512(%rdx){1to16}, %zmm6, %zmm3
 845 // CHECK:  encoding: [0x62,0xf1,0x4c,0x58,0x59,0x5a,0x80]
 846           vmulps -512(%rdx){1to16}, %zmm6, %zmm3
 847
 848 // CHECK: vmulps -516(%rdx){1to16}, %zmm6, %zmm3
 849 // CHECK:  encoding: [0x62,0xf1,0x4c,0x58,0x59,0x9a,0xfc,0xfd,0xff,0xff]
 850           vmulps -516(%rdx){1to16}, %zmm6, %zmm3
 851
 852 // CHECK: vpabsd %zmm14, %zmm15
 853 // CHECK:  encoding: [0x62,0x52,0x7d,0x48,0x1e,0xfe]
 854           vpabsd %zmm14, %zmm15
 855
 856 // CHECK: vpabsd %zmm14, %zmm15 {%k6}
 857 // CHECK:  encoding: [0x62,0x52,0x7d,0x4e,0x1e,0xfe]
 858           vpabsd %zmm14, %zmm15 {%k6}
 859
 860 // CHECK: vpabsd %zmm14, %zmm15 {%k6} {z}
 861 // CHECK:  encoding: [0x62,0x52,0x7d,0xce,0x1e,0xfe]
 862           vpabsd %zmm14, %zmm15 {%k6} {z}
 863
 864 // CHECK: vpabsd (%rcx), %zmm15
 865 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x1e,0x39]
 866           vpabsd (%rcx), %zmm15
 867
 868 // CHECK: vpabsd (%rcx), %zmm15 {%k1}
 869 // CHECK:  encoding: [0x62,0x72,0x7d,0x49,0x1e,0x39]
 870           vpabsd (%rcx), %zmm15 {%k1}
 871
 872 // CHECK: vpabsd (%rcx), %zmm15 {%k1} {z}
 873 // CHECK:  encoding: [0x62,0x72,0x7d,0xc9,0x1e,0x39]
 874           vpabsd (%rcx), %zmm15 {%k1} {z}
 875
 876 // CHECK: vpabsd 291(%rax,%r14,8), %zmm15
 877 // CHECK:  encoding: [0x62,0x32,0x7d,0x48,0x1e,0xbc,0xf0,0x23,0x01,0x00,0x00]
 878           vpabsd 291(%rax,%r14,8), %zmm15
 879
 880 // CHECK: vpabsd (%rcx){1to16}, %zmm15
 881 // CHECK:  encoding: [0x62,0x72,0x7d,0x58,0x1e,0x39]
 882           vpabsd (%rcx){1to16}, %zmm15
 883
 884 // CHECK: vpabsd 8128(%rdx), %zmm15
 885 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x1e,0x7a,0x7f]
 886           vpabsd 8128(%rdx), %zmm15
 887
 888 // CHECK: vpabsd 8192(%rdx), %zmm15
 889 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x1e,0xba,0x00,0x20,0x00,0x00]
 890           vpabsd 8192(%rdx), %zmm15
 891
 892 // CHECK: vpabsd -8192(%rdx), %zmm15
 893 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x1e,0x7a,0x80]
 894           vpabsd -8192(%rdx), %zmm15
 895
 896 // CHECK: vpabsd -8256(%rdx), %zmm15
 897 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x1e,0xba,0xc0,0xdf,0xff,0xff]
 898           vpabsd -8256(%rdx), %zmm15
 899
 900 // CHECK: vpabsd 508(%rdx){1to16}, %zmm15
 901 // CHECK:  encoding: [0x62,0x72,0x7d,0x58,0x1e,0x7a,0x7f]
 902           vpabsd 508(%rdx){1to16}, %zmm15
 903
 904 // CHECK: vpabsd 512(%rdx){1to16}, %zmm15
 905 // CHECK:  encoding: [0x62,0x72,0x7d,0x58,0x1e,0xba,0x00,0x02,0x00,0x00]
 906           vpabsd 512(%rdx){1to16}, %zmm15
 907
 908 // CHECK: vpabsd -512(%rdx){1to16}, %zmm15
 909 // CHECK:  encoding: [0x62,0x72,0x7d,0x58,0x1e,0x7a,0x80]
 910           vpabsd -512(%rdx){1to16}, %zmm15
 911
 912 // CHECK: vpabsd -516(%rdx){1to16}, %zmm15
 913 // CHECK:  encoding: [0x62,0x72,0x7d,0x58,0x1e,0xba,0xfc,0xfd,0xff,0xff]
 914           vpabsd -516(%rdx){1to16}, %zmm15
 915
 916 // CHECK: vpabsd (%rcx){1to16}, %zmm15 {%k2}
 917 // CHECK:  encoding: [0x62,0x72,0x7d,0x5a,0x1e,0x39]
 918           vpabsd (%rcx){1to16}, %zmm15 {%k2}
 919
 920 // CHECK: vpabsd (%rcx){1to16}, %zmm15 {%k2} {z}
 921 // CHECK:  encoding: [0x62,0x72,0x7d,0xda,0x1e,0x39]
 922           vpabsd (%rcx){1to16}, %zmm15 {%k2} {z}
 923
 924 // CHECK: vpabsq %zmm24, %zmm5
 925 // CHECK:  encoding: [0x62,0x92,0xfd,0x48,0x1f,0xe8]
 926           vpabsq %zmm24, %zmm5
 927
 928 // CHECK: vpabsq %zmm24, %zmm5 {%k6}
 929 // CHECK:  encoding: [0x62,0x92,0xfd,0x4e,0x1f,0xe8]
 930           vpabsq %zmm24, %zmm5 {%k6}
 931
 932 // CHECK: vpabsq %zmm24, %zmm5 {%k6} {z}
 933 // CHECK:  encoding: [0x62,0x92,0xfd,0xce,0x1f,0xe8]
 934           vpabsq %zmm24, %zmm5 {%k6} {z}
 935
 936 // CHECK: vpabsq (%rcx), %zmm5
 937 // CHECK:  encoding: [0x62,0xf2,0xfd,0x48,0x1f,0x29]
 938           vpabsq (%rcx), %zmm5
 939
 940 // CHECK: vpabsq 291(%rax,%r14,8), %zmm5
 941 // CHECK:  encoding: [0x62,0xb2,0xfd,0x48,0x1f,0xac,0xf0,0x23,0x01,0x00,0x00]
 942           vpabsq 291(%rax,%r14,8), %zmm5
 943
 944 // CHECK: vpabsq (%rcx){1to8}, %zmm5
 945 // CHECK:  encoding: [0x62,0xf2,0xfd,0x58,0x1f,0x29]
 946           vpabsq (%rcx){1to8}, %zmm5
 947
 948 // CHECK: vpabsq 8128(%rdx), %zmm5
 949 // CHECK:  encoding: [0x62,0xf2,0xfd,0x48,0x1f,0x6a,0x7f]
 950           vpabsq 8128(%rdx), %zmm5
 951
 952 // CHECK: vpabsq 8192(%rdx), %zmm5
 953 // CHECK:  encoding: [0x62,0xf2,0xfd,0x48,0x1f,0xaa,0x00,0x20,0x00,0x00]
 954           vpabsq 8192(%rdx), %zmm5
 955
 956 // CHECK: vpabsq -8192(%rdx), %zmm5
 957 // CHECK:  encoding: [0x62,0xf2,0xfd,0x48,0x1f,0x6a,0x80]
 958           vpabsq -8192(%rdx), %zmm5
 959
 960 // CHECK: vpabsq -8256(%rdx), %zmm5
 961 // CHECK:  encoding: [0x62,0xf2,0xfd,0x48,0x1f,0xaa,0xc0,0xdf,0xff,0xff]
 962           vpabsq -8256(%rdx), %zmm5
 963
 964 // CHECK: vpabsq 1016(%rdx){1to8}, %zmm5
 965 // CHECK:  encoding: [0x62,0xf2,0xfd,0x58,0x1f,0x6a,0x7f]
 966           vpabsq 1016(%rdx){1to8}, %zmm5
 967
 968 // CHECK: vpabsq 1024(%rdx){1to8}, %zmm5
 969 // CHECK:  encoding: [0x62,0xf2,0xfd,0x58,0x1f,0xaa,0x00,0x04,0x00,0x00]
 970           vpabsq 1024(%rdx){1to8}, %zmm5
 971
 972 // CHECK: vpabsq -1024(%rdx){1to8}, %zmm5
 973 // CHECK:  encoding: [0x62,0xf2,0xfd,0x58,0x1f,0x6a,0x80]
 974           vpabsq -1024(%rdx){1to8}, %zmm5
 975
 976 // CHECK: vpabsq -1032(%rdx){1to8}, %zmm5
 977 // CHECK:  encoding: [0x62,0xf2,0xfd,0x58,0x1f,0xaa,0xf8,0xfb,0xff,0xff]
 978           vpabsq -1032(%rdx){1to8}, %zmm5
 979
 980 // CHECK: vpaddd %zmm20, %zmm5, %zmm26
 981 // CHECK:  encoding: [0x62,0x21,0x55,0x48,0xfe,0xd4]
 982           vpaddd %zmm20, %zmm5, %zmm26
 983
 984 // CHECK: vpaddd %zmm20, %zmm5, %zmm26 {%k1}
 985 // CHECK:  encoding: [0x62,0x21,0x55,0x49,0xfe,0xd4]
 986           vpaddd %zmm20, %zmm5, %zmm26 {%k1}
 987
 988 // CHECK: vpaddd %zmm20, %zmm5, %zmm26 {%k1} {z}
 989 // CHECK:  encoding: [0x62,0x21,0x55,0xc9,0xfe,0xd4]
 990           vpaddd %zmm20, %zmm5, %zmm26 {%k1} {z}
 991
 992 // CHECK: vpaddd (%rcx), %zmm5, %zmm26
 993 // CHECK:  encoding: [0x62,0x61,0x55,0x48,0xfe,0x11]
 994           vpaddd (%rcx), %zmm5, %zmm26
 995
 996 // CHECK: vpaddd (%rcx), %zmm5, %zmm26 {%k2}
 997 // CHECK:  encoding: [0x62,0x61,0x55,0x4a,0xfe,0x11]
 998           vpaddd (%rcx), %zmm5, %zmm26 {%k2}
 999
1000 // CHECK: vpaddd (%rcx), %zmm5, %zmm26 {%k2} {z}
1001 // CHECK:  encoding: [0x62,0x61,0x55,0xca,0xfe,0x11]
1002           vpaddd (%rcx), %zmm5, %zmm26 {%k2} {z}
1003
1004 // CHECK: vpaddd 291(%rax,%r14,8), %zmm5, %zmm26
1005 // CHECK:  encoding: [0x62,0x21,0x55,0x48,0xfe,0x94,0xf0,0x23,0x01,0x00,0x00]
1006           vpaddd 291(%rax,%r14,8), %zmm5, %zmm26
1007
1008 // CHECK: vpaddd (%rcx){1to16}, %zmm5, %zmm26
1009 // CHECK:  encoding: [0x62,0x61,0x55,0x58,0xfe,0x11]
1010           vpaddd (%rcx){1to16}, %zmm5, %zmm26
1011
1012 // CHECK: vpaddd 8128(%rdx), %zmm5, %zmm26
1013 // CHECK:  encoding: [0x62,0x61,0x55,0x48,0xfe,0x52,0x7f]
1014           vpaddd 8128(%rdx), %zmm5, %zmm26
1015
1016 // CHECK: vpaddd 8192(%rdx), %zmm5, %zmm26
1017 // CHECK:  encoding: [0x62,0x61,0x55,0x48,0xfe,0x92,0x00,0x20,0x00,0x00]
1018           vpaddd 8192(%rdx), %zmm5, %zmm26
1019
1020 // CHECK: vpaddd -8192(%rdx), %zmm5, %zmm26
1021 // CHECK:  encoding: [0x62,0x61,0x55,0x48,0xfe,0x52,0x80]
1022           vpaddd -8192(%rdx), %zmm5, %zmm26
1023
1024 // CHECK: vpaddd -8256(%rdx), %zmm5, %zmm26
1025 // CHECK:  encoding: [0x62,0x61,0x55,0x48,0xfe,0x92,0xc0,0xdf,0xff,0xff]
1026           vpaddd -8256(%rdx), %zmm5, %zmm26
1027
1028 // CHECK: vpaddd (%rcx){1to16}, %zmm5, %zmm26 {%k2}
1029 // CHECK:  encoding: [0x62,0x61,0x55,0x5a,0xfe,0x11]
1030           vpaddd (%rcx){1to16}, %zmm5, %zmm26 {%k2}
1031
1032 // CHECK: vpaddd (%rcx){1to16}, %zmm5, %zmm26 {%k2} {z}
1033 // CHECK:  encoding: [0x62,0x61,0x55,0xda,0xfe,0x11]
1034           vpaddd (%rcx){1to16}, %zmm5, %zmm26 {%k2} {z}
1035
1036 // CHECK: vpaddd 508(%rdx){1to16}, %zmm5, %zmm26
1037 // CHECK:  encoding: [0x62,0x61,0x55,0x58,0xfe,0x52,0x7f]
1038           vpaddd 508(%rdx){1to16}, %zmm5, %zmm26
1039
1040 // CHECK: vpaddd 512(%rdx){1to16}, %zmm5, %zmm26
1041 // CHECK:  encoding: [0x62,0x61,0x55,0x58,0xfe,0x92,0x00,0x02,0x00,0x00]
1042           vpaddd 512(%rdx){1to16}, %zmm5, %zmm26
1043
1044 // CHECK: vpaddd -512(%rdx){1to16}, %zmm5, %zmm26
1045 // CHECK:  encoding: [0x62,0x61,0x55,0x58,0xfe,0x52,0x80]
1046           vpaddd -512(%rdx){1to16}, %zmm5, %zmm26
1047
1048 // CHECK: vpaddd -516(%rdx){1to16}, %zmm5, %zmm26
1049 // CHECK:  encoding: [0x62,0x61,0x55,0x58,0xfe,0x92,0xfc,0xfd,0xff,0xff]
1050           vpaddd -516(%rdx){1to16}, %zmm5, %zmm26
1051
1052 // CHECK: vpaddq %zmm14, %zmm25, %zmm8
1053 // CHECK:  encoding: [0x62,0x51,0xb5,0x40,0xd4,0xc6]
1054           vpaddq %zmm14, %zmm25, %zmm8
1055
1056 // CHECK: vpaddq %zmm14, %zmm25, %zmm8 {%k3}
1057 // CHECK:  encoding: [0x62,0x51,0xb5,0x43,0xd4,0xc6]
1058           vpaddq %zmm14, %zmm25, %zmm8 {%k3}
1059
1060 // CHECK: vpaddq %zmm14, %zmm25, %zmm8 {%k3} {z}
1061 // CHECK:  encoding: [0x62,0x51,0xb5,0xc3,0xd4,0xc6]
1062           vpaddq %zmm14, %zmm25, %zmm8 {%k3} {z}
1063
1064 // CHECK: vpaddq (%rcx), %zmm25, %zmm8
1065 // CHECK:  encoding: [0x62,0x71,0xb5,0x40,0xd4,0x01]
1066           vpaddq (%rcx), %zmm25, %zmm8
1067
1068 // CHECK: vpaddq 291(%rax,%r14,8), %zmm25, %zmm8
1069 // CHECK:  encoding: [0x62,0x31,0xb5,0x40,0xd4,0x84,0xf0,0x23,0x01,0x00,0x00]
1070           vpaddq 291(%rax,%r14,8), %zmm25, %zmm8
1071
1072 // CHECK: vpaddq (%rcx){1to8}, %zmm25, %zmm8
1073 // CHECK:  encoding: [0x62,0x71,0xb5,0x50,0xd4,0x01]
1074           vpaddq (%rcx){1to8}, %zmm25, %zmm8
1075
1076 // CHECK: vpaddq 8128(%rdx), %zmm25, %zmm8
1077 // CHECK:  encoding: [0x62,0x71,0xb5,0x40,0xd4,0x42,0x7f]
1078           vpaddq 8128(%rdx), %zmm25, %zmm8
1079
1080 // CHECK: vpaddq 8192(%rdx), %zmm25, %zmm8
1081 // CHECK:  encoding: [0x62,0x71,0xb5,0x40,0xd4,0x82,0x00,0x20,0x00,0x00]
1082           vpaddq 8192(%rdx), %zmm25, %zmm8
1083
1084 // CHECK: vpaddq -8192(%rdx), %zmm25, %zmm8
1085 // CHECK:  encoding: [0x62,0x71,0xb5,0x40,0xd4,0x42,0x80]
1086           vpaddq -8192(%rdx), %zmm25, %zmm8
1087
1088 // CHECK: vpaddq -8256(%rdx), %zmm25, %zmm8
1089 // CHECK:  encoding: [0x62,0x71,0xb5,0x40,0xd4,0x82,0xc0,0xdf,0xff,0xff]
1090           vpaddq -8256(%rdx), %zmm25, %zmm8
1091
1092 // CHECK: vpaddq 1016(%rdx){1to8}, %zmm25, %zmm8
1093 // CHECK:  encoding: [0x62,0x71,0xb5,0x50,0xd4,0x42,0x7f]
1094           vpaddq 1016(%rdx){1to8}, %zmm25, %zmm8
1095
1096 // CHECK: vpaddq 1024(%rdx){1to8}, %zmm25, %zmm8
1097 // CHECK:  encoding: [0x62,0x71,0xb5,0x50,0xd4,0x82,0x00,0x04,0x00,0x00]
1098           vpaddq 1024(%rdx){1to8}, %zmm25, %zmm8
1099
1100 // CHECK: vpaddq -1024(%rdx){1to8}, %zmm25, %zmm8
1101 // CHECK:  encoding: [0x62,0x71,0xb5,0x50,0xd4,0x42,0x80]
1102           vpaddq -1024(%rdx){1to8}, %zmm25, %zmm8
1103
1104 // CHECK: vpaddq -1032(%rdx){1to8}, %zmm25, %zmm8
1105 // CHECK:  encoding: [0x62,0x71,0xb5,0x50,0xd4,0x82,0xf8,0xfb,0xff,0xff]
1106           vpaddq -1032(%rdx){1to8}, %zmm25, %zmm8
1107
1108 // CHECK: vpandd %zmm25, %zmm22, %zmm19
1109 // CHECK:  encoding: [0x62,0x81,0x4d,0x40,0xdb,0xd9]
1110           vpandd %zmm25, %zmm22, %zmm19
1111
1112 // CHECK: vpandd %zmm25, %zmm22, %zmm19 {%k1}
1113 // CHECK:  encoding: [0x62,0x81,0x4d,0x41,0xdb,0xd9]
1114           vpandd %zmm25, %zmm22, %zmm19 {%k1}
1115
1116 // CHECK: vpandd %zmm25, %zmm22, %zmm19 {%k1} {z}
1117 // CHECK:  encoding: [0x62,0x81,0x4d,0xc1,0xdb,0xd9]
1118           vpandd %zmm25, %zmm22, %zmm19 {%k1} {z}
1119
1120 // CHECK: vpandd (%rcx), %zmm22, %zmm19
1121 // CHECK:  encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x19]
1122           vpandd (%rcx), %zmm22, %zmm19
1123
1124 // CHECK: vpandd 291(%rax,%r14,8), %zmm22, %zmm19
1125 // CHECK:  encoding: [0x62,0xa1,0x4d,0x40,0xdb,0x9c,0xf0,0x23,0x01,0x00,0x00]
1126           vpandd 291(%rax,%r14,8), %zmm22, %zmm19
1127
1128 // CHECK: vpandd (%rcx){1to16}, %zmm22, %zmm19
1129 // CHECK:  encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x19]
1130           vpandd (%rcx){1to16}, %zmm22, %zmm19
1131
1132 // CHECK: vpandd 8128(%rdx), %zmm22, %zmm19
1133 // CHECK:  encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x5a,0x7f]
1134           vpandd 8128(%rdx), %zmm22, %zmm19
1135
1136 // CHECK: vpandd 8192(%rdx), %zmm22, %zmm19
1137 // CHECK:  encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x9a,0x00,0x20,0x00,0x00]
1138           vpandd 8192(%rdx), %zmm22, %zmm19
1139
1140 // CHECK: vpandd -8192(%rdx), %zmm22, %zmm19
1141 // CHECK:  encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x5a,0x80]
1142           vpandd -8192(%rdx), %zmm22, %zmm19
1143
1144 // CHECK: vpandd -8256(%rdx), %zmm22, %zmm19
1145 // CHECK:  encoding: [0x62,0xe1,0x4d,0x40,0xdb,0x9a,0xc0,0xdf,0xff,0xff]
1146           vpandd -8256(%rdx), %zmm22, %zmm19
1147
1148 // CHECK: vpandd 508(%rdx){1to16}, %zmm22, %zmm19
1149 // CHECK:  encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x5a,0x7f]
1150           vpandd 508(%rdx){1to16}, %zmm22, %zmm19
1151
1152 // CHECK: vpandd 512(%rdx){1to16}, %zmm22, %zmm19
1153 // CHECK:  encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x9a,0x00,0x02,0x00,0x00]
1154           vpandd 512(%rdx){1to16}, %zmm22, %zmm19
1155
1156 // CHECK: vpandd -512(%rdx){1to16}, %zmm22, %zmm19
1157 // CHECK:  encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x5a,0x80]
1158           vpandd -512(%rdx){1to16}, %zmm22, %zmm19
1159
1160 // CHECK: vpandd -516(%rdx){1to16}, %zmm22, %zmm19
1161 // CHECK:  encoding: [0x62,0xe1,0x4d,0x50,0xdb,0x9a,0xfc,0xfd,0xff,0xff]
1162           vpandd -516(%rdx){1to16}, %zmm22, %zmm19
1163
1164 // CHECK: vpandnd %zmm15, %zmm28, %zmm30
1165 // CHECK:  encoding: [0x62,0x41,0x1d,0x40,0xdf,0xf7]
1166           vpandnd %zmm15, %zmm28, %zmm30
1167
1168 // CHECK: vpandnd %zmm15, %zmm28, %zmm30 {%k3}
1169 // CHECK:  encoding: [0x62,0x41,0x1d,0x43,0xdf,0xf7]
1170           vpandnd %zmm15, %zmm28, %zmm30 {%k3}
1171
1172 // CHECK: vpandnd %zmm15, %zmm28, %zmm30 {%k3} {z}
1173 // CHECK:  encoding: [0x62,0x41,0x1d,0xc3,0xdf,0xf7]
1174           vpandnd %zmm15, %zmm28, %zmm30 {%k3} {z}
1175
1176 // CHECK: vpandnd (%rcx), %zmm28, %zmm30
1177 // CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xdf,0x31]
1178           vpandnd (%rcx), %zmm28, %zmm30
1179
1180 // CHECK: vpandnd 291(%rax,%r14,8), %zmm28, %zmm30
1181 // CHECK:  encoding: [0x62,0x21,0x1d,0x40,0xdf,0xb4,0xf0,0x23,0x01,0x00,0x00]
1182           vpandnd 291(%rax,%r14,8), %zmm28, %zmm30
1183
1184 // CHECK: vpandnd (%rcx){1to16}, %zmm28, %zmm30
1185 // CHECK:  encoding: [0x62,0x61,0x1d,0x50,0xdf,0x31]
1186           vpandnd (%rcx){1to16}, %zmm28, %zmm30
1187
1188 // CHECK: vpandnd 8128(%rdx), %zmm28, %zmm30
1189 // CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xdf,0x72,0x7f]
1190           vpandnd 8128(%rdx), %zmm28, %zmm30
1191
1192 // CHECK: vpandnd 8192(%rdx), %zmm28, %zmm30
1193 // CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xdf,0xb2,0x00,0x20,0x00,0x00]
1194           vpandnd 8192(%rdx), %zmm28, %zmm30
1195
1196 // CHECK: vpandnd -8192(%rdx), %zmm28, %zmm30
1197 // CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xdf,0x72,0x80]
1198           vpandnd -8192(%rdx), %zmm28, %zmm30
1199
1200 // CHECK: vpandnd -8256(%rdx), %zmm28, %zmm30
1201 // CHECK:  encoding: [0x62,0x61,0x1d,0x40,0xdf,0xb2,0xc0,0xdf,0xff,0xff]
1202           vpandnd -8256(%rdx), %zmm28, %zmm30
1203
1204 // CHECK: vpandnd 508(%rdx){1to16}, %zmm28, %zmm30
1205 // CHECK:  encoding: [0x62,0x61,0x1d,0x50,0xdf,0x72,0x7f]
1206           vpandnd 508(%rdx){1to16}, %zmm28, %zmm30
1207
1208 // CHECK: vpandnd 512(%rdx){1to16}, %zmm28, %zmm30
1209 // CHECK:  encoding: [0x62,0x61,0x1d,0x50,0xdf,0xb2,0x00,0x02,0x00,0x00]
1210           vpandnd 512(%rdx){1to16}, %zmm28, %zmm30
1211
1212 // CHECK: vpandnd -512(%rdx){1to16}, %zmm28, %zmm30
1213 // CHECK:  encoding: [0x62,0x61,0x1d,0x50,0xdf,0x72,0x80]
1214           vpandnd -512(%rdx){1to16}, %zmm28, %zmm30
1215
1216 // CHECK: vpandnd -516(%rdx){1to16}, %zmm28, %zmm30
1217 // CHECK:  encoding: [0x62,0x61,0x1d,0x50,0xdf,0xb2,0xfc,0xfd,0xff,0xff]
1218           vpandnd -516(%rdx){1to16}, %zmm28, %zmm30
1219
1220 // CHECK: vpandnq %zmm19, %zmm7, %zmm20
1221 // CHECK:  encoding: [0x62,0xa1,0xc5,0x48,0xdf,0xe3]
1222           vpandnq %zmm19, %zmm7, %zmm20
1223
1224 // CHECK: vpandnq %zmm19, %zmm7, %zmm20 {%k5}
1225 // CHECK:  encoding: [0x62,0xa1,0xc5,0x4d,0xdf,0xe3]
1226           vpandnq %zmm19, %zmm7, %zmm20 {%k5}
1227
1228 // CHECK: vpandnq %zmm19, %zmm7, %zmm20 {%k5} {z}
1229 // CHECK:  encoding: [0x62,0xa1,0xc5,0xcd,0xdf,0xe3]
1230           vpandnq %zmm19, %zmm7, %zmm20 {%k5} {z}
1231
1232 // CHECK: vpandnq (%rcx), %zmm7, %zmm20
1233 // CHECK:  encoding: [0x62,0xe1,0xc5,0x48,0xdf,0x21]
1234           vpandnq (%rcx), %zmm7, %zmm20
1235
1236 // CHECK: vpandnq 291(%rax,%r14,8), %zmm7, %zmm20
1237 // CHECK:  encoding: [0x62,0xa1,0xc5,0x48,0xdf,0xa4,0xf0,0x23,0x01,0x00,0x00]
1238           vpandnq 291(%rax,%r14,8), %zmm7, %zmm20
1239
1240 // CHECK: vpandnq (%rcx){1to8}, %zmm7, %zmm20
1241 // CHECK:  encoding: [0x62,0xe1,0xc5,0x58,0xdf,0x21]
1242           vpandnq (%rcx){1to8}, %zmm7, %zmm20
1243
1244 // CHECK: vpandnq 8128(%rdx), %zmm7, %zmm20
1245 // CHECK:  encoding: [0x62,0xe1,0xc5,0x48,0xdf,0x62,0x7f]
1246           vpandnq 8128(%rdx), %zmm7, %zmm20
1247
1248 // CHECK: vpandnq 8192(%rdx), %zmm7, %zmm20
1249 // CHECK:  encoding: [0x62,0xe1,0xc5,0x48,0xdf,0xa2,0x00,0x20,0x00,0x00]
1250           vpandnq 8192(%rdx), %zmm7, %zmm20
1251
1252 // CHECK: vpandnq -8192(%rdx), %zmm7, %zmm20
1253 // CHECK:  encoding: [0x62,0xe1,0xc5,0x48,0xdf,0x62,0x80]
1254           vpandnq -8192(%rdx), %zmm7, %zmm20
1255
1256 // CHECK: vpandnq -8256(%rdx), %zmm7, %zmm20
1257 // CHECK:  encoding: [0x62,0xe1,0xc5,0x48,0xdf,0xa2,0xc0,0xdf,0xff,0xff]
1258           vpandnq -8256(%rdx), %zmm7, %zmm20
1259
1260 // CHECK: vpandnq 1016(%rdx){1to8}, %zmm7, %zmm20
1261 // CHECK:  encoding: [0x62,0xe1,0xc5,0x58,0xdf,0x62,0x7f]
1262           vpandnq 1016(%rdx){1to8}, %zmm7, %zmm20
1263
1264 // CHECK: vpandnq 1024(%rdx){1to8}, %zmm7, %zmm20
1265 // CHECK:  encoding: [0x62,0xe1,0xc5,0x58,0xdf,0xa2,0x00,0x04,0x00,0x00]
1266           vpandnq 1024(%rdx){1to8}, %zmm7, %zmm20
1267
1268 // CHECK: vpandnq -1024(%rdx){1to8}, %zmm7, %zmm20
1269 // CHECK:  encoding: [0x62,0xe1,0xc5,0x58,0xdf,0x62,0x80]
1270           vpandnq -1024(%rdx){1to8}, %zmm7, %zmm20
1271
1272 // CHECK: vpandnq -1032(%rdx){1to8}, %zmm7, %zmm20
1273 // CHECK:  encoding: [0x62,0xe1,0xc5,0x58,0xdf,0xa2,0xf8,0xfb,0xff,0xff]
1274           vpandnq -1032(%rdx){1to8}, %zmm7, %zmm20
1275
1276 // CHECK: vpandq %zmm26, %zmm4, %zmm17
1277 // CHECK:  encoding: [0x62,0x81,0xdd,0x48,0xdb,0xca]
1278           vpandq %zmm26, %zmm4, %zmm17
1279
1280 // CHECK: vpandq %zmm26, %zmm4, %zmm17 {%k7}
1281 // CHECK:  encoding: [0x62,0x81,0xdd,0x4f,0xdb,0xca]
1282           vpandq %zmm26, %zmm4, %zmm17 {%k7}
1283
1284 // CHECK: vpandq %zmm26, %zmm4, %zmm17 {%k7} {z}
1285 // CHECK:  encoding: [0x62,0x81,0xdd,0xcf,0xdb,0xca]
1286           vpandq %zmm26, %zmm4, %zmm17 {%k7} {z}
1287
1288 // CHECK: vpandq (%rcx), %zmm4, %zmm17
1289 // CHECK:  encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x09]
1290           vpandq (%rcx), %zmm4, %zmm17
1291
1292 // CHECK: vpandq 291(%rax,%r14,8), %zmm4, %zmm17
1293 // CHECK:  encoding: [0x62,0xa1,0xdd,0x48,0xdb,0x8c,0xf0,0x23,0x01,0x00,0x00]
1294           vpandq 291(%rax,%r14,8), %zmm4, %zmm17
1295
1296 // CHECK: vpandq (%rcx){1to8}, %zmm4, %zmm17
1297 // CHECK:  encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x09]
1298           vpandq (%rcx){1to8}, %zmm4, %zmm17
1299
1300 // CHECK: vpandq 8128(%rdx), %zmm4, %zmm17
1301 // CHECK:  encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x4a,0x7f]
1302           vpandq 8128(%rdx), %zmm4, %zmm17
1303
1304 // CHECK: vpandq 8192(%rdx), %zmm4, %zmm17
1305 // CHECK:  encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x8a,0x00,0x20,0x00,0x00]
1306           vpandq 8192(%rdx), %zmm4, %zmm17
1307
1308 // CHECK: vpandq -8192(%rdx), %zmm4, %zmm17
1309 // CHECK:  encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x4a,0x80]
1310           vpandq -8192(%rdx), %zmm4, %zmm17
1311
1312 // CHECK: vpandq -8256(%rdx), %zmm4, %zmm17
1313 // CHECK:  encoding: [0x62,0xe1,0xdd,0x48,0xdb,0x8a,0xc0,0xdf,0xff,0xff]
1314           vpandq -8256(%rdx), %zmm4, %zmm17
1315
1316 // CHECK: vpandq 1016(%rdx){1to8}, %zmm4, %zmm17
1317 // CHECK:  encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x4a,0x7f]
1318           vpandq 1016(%rdx){1to8}, %zmm4, %zmm17
1319
1320 // CHECK: vpandq 1024(%rdx){1to8}, %zmm4, %zmm17
1321 // CHECK:  encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x8a,0x00,0x04,0x00,0x00]
1322           vpandq 1024(%rdx){1to8}, %zmm4, %zmm17
1323
1324 // CHECK: vpandq -1024(%rdx){1to8}, %zmm4, %zmm17
1325 // CHECK:  encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x4a,0x80]
1326           vpandq -1024(%rdx){1to8}, %zmm4, %zmm17
1327
1328 // CHECK: vpandq -1032(%rdx){1to8}, %zmm4, %zmm17
1329 // CHECK:  encoding: [0x62,0xe1,0xdd,0x58,0xdb,0x8a,0xf8,0xfb,0xff,0xff]
1330           vpandq -1032(%rdx){1to8}, %zmm4, %zmm17
1331
1332 // CHECK: vpmaxsd %zmm16, %zmm8, %zmm6
1333 // CHECK:  encoding: [0x62,0xb2,0x3d,0x48,0x3d,0xf0]
1334           vpmaxsd %zmm16, %zmm8, %zmm6
1335
1336 // CHECK: vpmaxsd %zmm16, %zmm8, %zmm6 {%k3}
1337 // CHECK:  encoding: [0x62,0xb2,0x3d,0x4b,0x3d,0xf0]
1338           vpmaxsd %zmm16, %zmm8, %zmm6 {%k3}
1339
1340 // CHECK: vpmaxsd %zmm16, %zmm8, %zmm6 {%k3} {z}
1341 // CHECK:  encoding: [0x62,0xb2,0x3d,0xcb,0x3d,0xf0]
1342           vpmaxsd %zmm16, %zmm8, %zmm6 {%k3} {z}
1343
1344 // CHECK: vpmaxsd (%rcx), %zmm8, %zmm6
1345 // CHECK:  encoding: [0x62,0xf2,0x3d,0x48,0x3d,0x31]
1346           vpmaxsd (%rcx), %zmm8, %zmm6
1347
1348 // CHECK: vpmaxsd 291(%rax,%r14,8), %zmm8, %zmm6
1349 // CHECK:  encoding: [0x62,0xb2,0x3d,0x48,0x3d,0xb4,0xf0,0x23,0x01,0x00,0x00]
1350           vpmaxsd 291(%rax,%r14,8), %zmm8, %zmm6
1351
1352 // CHECK: vpmaxsd (%rcx){1to16}, %zmm8, %zmm6
1353 // CHECK:  encoding: [0x62,0xf2,0x3d,0x58,0x3d,0x31]
1354           vpmaxsd (%rcx){1to16}, %zmm8, %zmm6
1355
1356 // CHECK: vpmaxsd 8128(%rdx), %zmm8, %zmm6
1357 // CHECK:  encoding: [0x62,0xf2,0x3d,0x48,0x3d,0x72,0x7f]
1358           vpmaxsd 8128(%rdx), %zmm8, %zmm6
1359
1360 // CHECK: vpmaxsd 8192(%rdx), %zmm8, %zmm6
1361 // CHECK:  encoding: [0x62,0xf2,0x3d,0x48,0x3d,0xb2,0x00,0x20,0x00,0x00]
1362           vpmaxsd 8192(%rdx), %zmm8, %zmm6
1363
1364 // CHECK: vpmaxsd -8192(%rdx), %zmm8, %zmm6
1365 // CHECK:  encoding: [0x62,0xf2,0x3d,0x48,0x3d,0x72,0x80]
1366           vpmaxsd -8192(%rdx), %zmm8, %zmm6
1367
1368 // CHECK: vpmaxsd -8256(%rdx), %zmm8, %zmm6
1369 // CHECK:  encoding: [0x62,0xf2,0x3d,0x48,0x3d,0xb2,0xc0,0xdf,0xff,0xff]
1370           vpmaxsd -8256(%rdx), %zmm8, %zmm6
1371
1372 // CHECK: vpmaxsd 508(%rdx){1to16}, %zmm8, %zmm6
1373 // CHECK:  encoding: [0x62,0xf2,0x3d,0x58,0x3d,0x72,0x7f]
1374           vpmaxsd 508(%rdx){1to16}, %zmm8, %zmm6
1375
1376 // CHECK: vpmaxsd 512(%rdx){1to16}, %zmm8, %zmm6
1377 // CHECK:  encoding: [0x62,0xf2,0x3d,0x58,0x3d,0xb2,0x00,0x02,0x00,0x00]
1378           vpmaxsd 512(%rdx){1to16}, %zmm8, %zmm6
1379
1380 // CHECK: vpmaxsd -512(%rdx){1to16}, %zmm8, %zmm6
1381 // CHECK:  encoding: [0x62,0xf2,0x3d,0x58,0x3d,0x72,0x80]
1382           vpmaxsd -512(%rdx){1to16}, %zmm8, %zmm6
1383
1384 // CHECK: vpmaxsd -516(%rdx){1to16}, %zmm8, %zmm6
1385 // CHECK:  encoding: [0x62,0xf2,0x3d,0x58,0x3d,0xb2,0xfc,0xfd,0xff,0xff]
1386           vpmaxsd -516(%rdx){1to16}, %zmm8, %zmm6
1387
1388 // CHECK: vpmaxsq %zmm1, %zmm6, %zmm6
1389 // CHECK:  encoding: [0x62,0xf2,0xcd,0x48,0x3d,0xf1]
1390           vpmaxsq %zmm1, %zmm6, %zmm6
1391
1392 // CHECK: vpmaxsq %zmm1, %zmm6, %zmm6 {%k7}
1393 // CHECK:  encoding: [0x62,0xf2,0xcd,0x4f,0x3d,0xf1]
1394           vpmaxsq %zmm1, %zmm6, %zmm6 {%k7}
1395
1396 // CHECK: vpmaxsq %zmm1, %zmm6, %zmm6 {%k7} {z}
1397 // CHECK:  encoding: [0x62,0xf2,0xcd,0xcf,0x3d,0xf1]
1398           vpmaxsq %zmm1, %zmm6, %zmm6 {%k7} {z}
1399
1400 // CHECK: vpmaxsq (%rcx), %zmm6, %zmm6
1401 // CHECK:  encoding: [0x62,0xf2,0xcd,0x48,0x3d,0x31]
1402           vpmaxsq (%rcx), %zmm6, %zmm6
1403
1404 // CHECK: vpmaxsq 291(%rax,%r14,8), %zmm6, %zmm6
1405 // CHECK:  encoding: [0x62,0xb2,0xcd,0x48,0x3d,0xb4,0xf0,0x23,0x01,0x00,0x00]
1406           vpmaxsq 291(%rax,%r14,8), %zmm6, %zmm6
1407
1408 // CHECK: vpmaxsq (%rcx){1to8}, %zmm6, %zmm6
1409 // CHECK:  encoding: [0x62,0xf2,0xcd,0x58,0x3d,0x31]
1410           vpmaxsq (%rcx){1to8}, %zmm6, %zmm6
1411
1412 // CHECK: vpmaxsq 8128(%rdx), %zmm6, %zmm6
1413 // CHECK:  encoding: [0x62,0xf2,0xcd,0x48,0x3d,0x72,0x7f]
1414           vpmaxsq 8128(%rdx), %zmm6, %zmm6
1415
1416 // CHECK: vpmaxsq 8192(%rdx), %zmm6, %zmm6
1417 // CHECK:  encoding: [0x62,0xf2,0xcd,0x48,0x3d,0xb2,0x00,0x20,0x00,0x00]
1418           vpmaxsq 8192(%rdx), %zmm6, %zmm6
1419
1420 // CHECK: vpmaxsq -8192(%rdx), %zmm6, %zmm6
1421 // CHECK:  encoding: [0x62,0xf2,0xcd,0x48,0x3d,0x72,0x80]
1422           vpmaxsq -8192(%rdx), %zmm6, %zmm6
1423
1424 // CHECK: vpmaxsq -8256(%rdx), %zmm6, %zmm6
1425 // CHECK:  encoding: [0x62,0xf2,0xcd,0x48,0x3d,0xb2,0xc0,0xdf,0xff,0xff]
1426           vpmaxsq -8256(%rdx), %zmm6, %zmm6
1427
1428 // CHECK: vpmaxsq 1016(%rdx){1to8}, %zmm6, %zmm6
1429 // CHECK:  encoding: [0x62,0xf2,0xcd,0x58,0x3d,0x72,0x7f]
1430           vpmaxsq 1016(%rdx){1to8}, %zmm6, %zmm6
1431
1432 // CHECK: vpmaxsq 1024(%rdx){1to8}, %zmm6, %zmm6
1433 // CHECK:  encoding: [0x62,0xf2,0xcd,0x58,0x3d,0xb2,0x00,0x04,0x00,0x00]
1434           vpmaxsq 1024(%rdx){1to8}, %zmm6, %zmm6
1435
1436 // CHECK: vpmaxsq -1024(%rdx){1to8}, %zmm6, %zmm6
1437 // CHECK:  encoding: [0x62,0xf2,0xcd,0x58,0x3d,0x72,0x80]
1438           vpmaxsq -1024(%rdx){1to8}, %zmm6, %zmm6
1439
1440 // CHECK: vpmaxsq -1032(%rdx){1to8}, %zmm6, %zmm6
1441 // CHECK:  encoding: [0x62,0xf2,0xcd,0x58,0x3d,0xb2,0xf8,0xfb,0xff,0xff]
1442           vpmaxsq -1032(%rdx){1to8}, %zmm6, %zmm6
1443
1444 // CHECK: vpmaxud %zmm25, %zmm7, %zmm17
1445 // CHECK:  encoding: [0x62,0x82,0x45,0x48,0x3f,0xc9]
1446           vpmaxud %zmm25, %zmm7, %zmm17
1447
1448 // CHECK: vpmaxud %zmm25, %zmm7, %zmm17 {%k5}
1449 // CHECK:  encoding: [0x62,0x82,0x45,0x4d,0x3f,0xc9]
1450           vpmaxud %zmm25, %zmm7, %zmm17 {%k5}
1451
1452 // CHECK: vpmaxud %zmm25, %zmm7, %zmm17 {%k5} {z}
1453 // CHECK:  encoding: [0x62,0x82,0x45,0xcd,0x3f,0xc9]
1454           vpmaxud %zmm25, %zmm7, %zmm17 {%k5} {z}
1455
1456 // CHECK: vpmaxud (%rcx), %zmm7, %zmm17
1457 // CHECK:  encoding: [0x62,0xe2,0x45,0x48,0x3f,0x09]
1458           vpmaxud (%rcx), %zmm7, %zmm17
1459
1460 // CHECK: vpmaxud 291(%rax,%r14,8), %zmm7, %zmm17
1461 // CHECK:  encoding: [0x62,0xa2,0x45,0x48,0x3f,0x8c,0xf0,0x23,0x01,0x00,0x00]
1462           vpmaxud 291(%rax,%r14,8), %zmm7, %zmm17
1463
1464 // CHECK: vpmaxud (%rcx){1to16}, %zmm7, %zmm17
1465 // CHECK:  encoding: [0x62,0xe2,0x45,0x58,0x3f,0x09]
1466           vpmaxud (%rcx){1to16}, %zmm7, %zmm17
1467
1468 // CHECK: vpmaxud 8128(%rdx), %zmm7, %zmm17
1469 // CHECK:  encoding: [0x62,0xe2,0x45,0x48,0x3f,0x4a,0x7f]
1470           vpmaxud 8128(%rdx), %zmm7, %zmm17
1471
1472 // CHECK: vpmaxud 8192(%rdx), %zmm7, %zmm17
1473 // CHECK:  encoding: [0x62,0xe2,0x45,0x48,0x3f,0x8a,0x00,0x20,0x00,0x00]
1474           vpmaxud 8192(%rdx), %zmm7, %zmm17
1475
1476 // CHECK: vpmaxud -8192(%rdx), %zmm7, %zmm17
1477 // CHECK:  encoding: [0x62,0xe2,0x45,0x48,0x3f,0x4a,0x80]
1478           vpmaxud -8192(%rdx), %zmm7, %zmm17
1479
1480 // CHECK: vpmaxud -8256(%rdx), %zmm7, %zmm17
1481 // CHECK:  encoding: [0x62,0xe2,0x45,0x48,0x3f,0x8a,0xc0,0xdf,0xff,0xff]
1482           vpmaxud -8256(%rdx), %zmm7, %zmm17
1483
1484 // CHECK: vpmaxud 508(%rdx){1to16}, %zmm7, %zmm17
1485 // CHECK:  encoding: [0x62,0xe2,0x45,0x58,0x3f,0x4a,0x7f]
1486           vpmaxud 508(%rdx){1to16}, %zmm7, %zmm17
1487
1488 // CHECK: vpmaxud 512(%rdx){1to16}, %zmm7, %zmm17
1489 // CHECK:  encoding: [0x62,0xe2,0x45,0x58,0x3f,0x8a,0x00,0x02,0x00,0x00]
1490           vpmaxud 512(%rdx){1to16}, %zmm7, %zmm17
1491
1492 // CHECK: vpmaxud -512(%rdx){1to16}, %zmm7, %zmm17
1493 // CHECK:  encoding: [0x62,0xe2,0x45,0x58,0x3f,0x4a,0x80]
1494           vpmaxud -512(%rdx){1to16}, %zmm7, %zmm17
1495
1496 // CHECK: vpmaxud -516(%rdx){1to16}, %zmm7, %zmm17
1497 // CHECK:  encoding: [0x62,0xe2,0x45,0x58,0x3f,0x8a,0xfc,0xfd,0xff,0xff]
1498           vpmaxud -516(%rdx){1to16}, %zmm7, %zmm17
1499
1500 // CHECK: vpmaxuq %zmm25, %zmm22, %zmm30
1501 // CHECK:  encoding: [0x62,0x02,0xcd,0x40,0x3f,0xf1]
1502           vpmaxuq %zmm25, %zmm22, %zmm30
1503
1504 // CHECK: vpmaxuq %zmm25, %zmm22, %zmm30 {%k1}
1505 // CHECK:  encoding: [0x62,0x02,0xcd,0x41,0x3f,0xf1]
1506           vpmaxuq %zmm25, %zmm22, %zmm30 {%k1}
1507
1508 // CHECK: vpmaxuq %zmm25, %zmm22, %zmm30 {%k1} {z}
1509 // CHECK:  encoding: [0x62,0x02,0xcd,0xc1,0x3f,0xf1]
1510           vpmaxuq %zmm25, %zmm22, %zmm30 {%k1} {z}
1511
1512 // CHECK: vpmaxuq (%rcx), %zmm22, %zmm30
1513 // CHECK:  encoding: [0x62,0x62,0xcd,0x40,0x3f,0x31]
1514           vpmaxuq (%rcx), %zmm22, %zmm30
1515
1516 // CHECK: vpmaxuq 291(%rax,%r14,8), %zmm22, %zmm30
1517 // CHECK:  encoding: [0x62,0x22,0xcd,0x40,0x3f,0xb4,0xf0,0x23,0x01,0x00,0x00]
1518           vpmaxuq 291(%rax,%r14,8), %zmm22, %zmm30
1519
1520 // CHECK: vpmaxuq (%rcx){1to8}, %zmm22, %zmm30
1521 // CHECK:  encoding: [0x62,0x62,0xcd,0x50,0x3f,0x31]
1522           vpmaxuq (%rcx){1to8}, %zmm22, %zmm30
1523
1524 // CHECK: vpmaxuq 8128(%rdx), %zmm22, %zmm30
1525 // CHECK:  encoding: [0x62,0x62,0xcd,0x40,0x3f,0x72,0x7f]
1526           vpmaxuq 8128(%rdx), %zmm22, %zmm30
1527
1528 // CHECK: vpmaxuq 8192(%rdx), %zmm22, %zmm30
1529 // CHECK:  encoding: [0x62,0x62,0xcd,0x40,0x3f,0xb2,0x00,0x20,0x00,0x00]
1530           vpmaxuq 8192(%rdx), %zmm22, %zmm30
1531
1532 // CHECK: vpmaxuq -8192(%rdx), %zmm22, %zmm30
1533 // CHECK:  encoding: [0x62,0x62,0xcd,0x40,0x3f,0x72,0x80]
1534           vpmaxuq -8192(%rdx), %zmm22, %zmm30
1535
1536 // CHECK: vpmaxuq -8256(%rdx), %zmm22, %zmm30
1537 // CHECK:  encoding: [0x62,0x62,0xcd,0x40,0x3f,0xb2,0xc0,0xdf,0xff,0xff]
1538           vpmaxuq -8256(%rdx), %zmm22, %zmm30
1539
1540 // CHECK: vpmaxuq 1016(%rdx){1to8}, %zmm22, %zmm30
1541 // CHECK:  encoding: [0x62,0x62,0xcd,0x50,0x3f,0x72,0x7f]
1542           vpmaxuq 1016(%rdx){1to8}, %zmm22, %zmm30
1543
1544 // CHECK: vpmaxuq 1024(%rdx){1to8}, %zmm22, %zmm30
1545 // CHECK:  encoding: [0x62,0x62,0xcd,0x50,0x3f,0xb2,0x00,0x04,0x00,0x00]
1546           vpmaxuq 1024(%rdx){1to8}, %zmm22, %zmm30
1547
1548 // CHECK: vpmaxuq -1024(%rdx){1to8}, %zmm22, %zmm30
1549 // CHECK:  encoding: [0x62,0x62,0xcd,0x50,0x3f,0x72,0x80]
1550           vpmaxuq -1024(%rdx){1to8}, %zmm22, %zmm30
1551
1552 // CHECK: vpmaxuq -1032(%rdx){1to8}, %zmm22, %zmm30
1553 // CHECK:  encoding: [0x62,0x62,0xcd,0x50,0x3f,0xb2,0xf8,0xfb,0xff,0xff]
1554           vpmaxuq -1032(%rdx){1to8}, %zmm22, %zmm30
1555
1556 // CHECK: vpminsd %zmm24, %zmm16, %zmm2
1557 // CHECK:  encoding: [0x62,0x92,0x7d,0x40,0x39,0xd0]
1558           vpminsd %zmm24, %zmm16, %zmm2
1559
1560 // CHECK: vpminsd %zmm24, %zmm16, %zmm2 {%k3}
1561 // CHECK:  encoding: [0x62,0x92,0x7d,0x43,0x39,0xd0]
1562           vpminsd %zmm24, %zmm16, %zmm2 {%k3}
1563
1564 // CHECK: vpminsd %zmm24, %zmm16, %zmm2 {%k3} {z}
1565 // CHECK:  encoding: [0x62,0x92,0x7d,0xc3,0x39,0xd0]
1566           vpminsd %zmm24, %zmm16, %zmm2 {%k3} {z}
1567
1568 // CHECK: vpminsd (%rcx), %zmm16, %zmm2
1569 // CHECK:  encoding: [0x62,0xf2,0x7d,0x40,0x39,0x11]
1570           vpminsd (%rcx), %zmm16, %zmm2
1571
1572 // CHECK: vpminsd 291(%rax,%r14,8), %zmm16, %zmm2
1573 // CHECK:  encoding: [0x62,0xb2,0x7d,0x40,0x39,0x94,0xf0,0x23,0x01,0x00,0x00]
1574           vpminsd 291(%rax,%r14,8), %zmm16, %zmm2
1575
1576 // CHECK: vpminsd (%rcx){1to16}, %zmm16, %zmm2
1577 // CHECK:  encoding: [0x62,0xf2,0x7d,0x50,0x39,0x11]
1578           vpminsd (%rcx){1to16}, %zmm16, %zmm2
1579
1580 // CHECK: vpminsd 8128(%rdx), %zmm16, %zmm2
1581 // CHECK:  encoding: [0x62,0xf2,0x7d,0x40,0x39,0x52,0x7f]
1582           vpminsd 8128(%rdx), %zmm16, %zmm2
1583
1584 // CHECK: vpminsd 8192(%rdx), %zmm16, %zmm2
1585 // CHECK:  encoding: [0x62,0xf2,0x7d,0x40,0x39,0x92,0x00,0x20,0x00,0x00]
1586           vpminsd 8192(%rdx), %zmm16, %zmm2
1587
1588 // CHECK: vpminsd -8192(%rdx), %zmm16, %zmm2
1589 // CHECK:  encoding: [0x62,0xf2,0x7d,0x40,0x39,0x52,0x80]
1590           vpminsd -8192(%rdx), %zmm16, %zmm2
1591
1592 // CHECK: vpminsd -8256(%rdx), %zmm16, %zmm2
1593 // CHECK:  encoding: [0x62,0xf2,0x7d,0x40,0x39,0x92,0xc0,0xdf,0xff,0xff]
1594           vpminsd -8256(%rdx), %zmm16, %zmm2
1595
1596 // CHECK: vpminsd 508(%rdx){1to16}, %zmm16, %zmm2
1597 // CHECK:  encoding: [0x62,0xf2,0x7d,0x50,0x39,0x52,0x7f]
1598           vpminsd 508(%rdx){1to16}, %zmm16, %zmm2
1599
1600 // CHECK: vpminsd 512(%rdx){1to16}, %zmm16, %zmm2
1601 // CHECK:  encoding: [0x62,0xf2,0x7d,0x50,0x39,0x92,0x00,0x02,0x00,0x00]
1602           vpminsd 512(%rdx){1to16}, %zmm16, %zmm2
1603
1604 // CHECK: vpminsd -512(%rdx){1to16}, %zmm16, %zmm2
1605 // CHECK:  encoding: [0x62,0xf2,0x7d,0x50,0x39,0x52,0x80]
1606           vpminsd -512(%rdx){1to16}, %zmm16, %zmm2
1607
1608 // CHECK: vpminsd -516(%rdx){1to16}, %zmm16, %zmm2
1609 // CHECK:  encoding: [0x62,0xf2,0x7d,0x50,0x39,0x92,0xfc,0xfd,0xff,0xff]
1610           vpminsd -516(%rdx){1to16}, %zmm16, %zmm2
1611
1612 // CHECK: vpminsq %zmm17, %zmm16, %zmm20
1613 // CHECK:  encoding: [0x62,0xa2,0xfd,0x40,0x39,0xe1]
1614           vpminsq %zmm17, %zmm16, %zmm20
1615
1616 // CHECK: vpminsq %zmm17, %zmm16, %zmm20 {%k6}
1617 // CHECK:  encoding: [0x62,0xa2,0xfd,0x46,0x39,0xe1]
1618           vpminsq %zmm17, %zmm16, %zmm20 {%k6}
1619
1620 // CHECK: vpminsq %zmm17, %zmm16, %zmm20 {%k6} {z}
1621 // CHECK:  encoding: [0x62,0xa2,0xfd,0xc6,0x39,0xe1]
1622           vpminsq %zmm17, %zmm16, %zmm20 {%k6} {z}
1623
1624 // CHECK: vpminsq (%rcx), %zmm16, %zmm20
1625 // CHECK:  encoding: [0x62,0xe2,0xfd,0x40,0x39,0x21]
1626           vpminsq (%rcx), %zmm16, %zmm20
1627
1628 // CHECK: vpminsq 291(%rax,%r14,8), %zmm16, %zmm20
1629 // CHECK:  encoding: [0x62,0xa2,0xfd,0x40,0x39,0xa4,0xf0,0x23,0x01,0x00,0x00]
1630           vpminsq 291(%rax,%r14,8), %zmm16, %zmm20
1631
1632 // CHECK: vpminsq (%rcx){1to8}, %zmm16, %zmm20
1633 // CHECK:  encoding: [0x62,0xe2,0xfd,0x50,0x39,0x21]
1634           vpminsq (%rcx){1to8}, %zmm16, %zmm20
1635
1636 // CHECK: vpminsq 8128(%rdx), %zmm16, %zmm20
1637 // CHECK:  encoding: [0x62,0xe2,0xfd,0x40,0x39,0x62,0x7f]
1638           vpminsq 8128(%rdx), %zmm16, %zmm20
1639
1640 // CHECK: vpminsq 8192(%rdx), %zmm16, %zmm20
1641 // CHECK:  encoding: [0x62,0xe2,0xfd,0x40,0x39,0xa2,0x00,0x20,0x00,0x00]
1642           vpminsq 8192(%rdx), %zmm16, %zmm20
1643
1644 // CHECK: vpminsq -8192(%rdx), %zmm16, %zmm20
1645 // CHECK:  encoding: [0x62,0xe2,0xfd,0x40,0x39,0x62,0x80]
1646           vpminsq -8192(%rdx), %zmm16, %zmm20
1647
1648 // CHECK: vpminsq -8256(%rdx), %zmm16, %zmm20
1649 // CHECK:  encoding: [0x62,0xe2,0xfd,0x40,0x39,0xa2,0xc0,0xdf,0xff,0xff]
1650           vpminsq -8256(%rdx), %zmm16, %zmm20
1651
1652 // CHECK: vpminsq 1016(%rdx){1to8}, %zmm16, %zmm20
1653 // CHECK:  encoding: [0x62,0xe2,0xfd,0x50,0x39,0x62,0x7f]
1654           vpminsq 1016(%rdx){1to8}, %zmm16, %zmm20
1655
1656 // CHECK: vpminsq 1024(%rdx){1to8}, %zmm16, %zmm20
1657 // CHECK:  encoding: [0x62,0xe2,0xfd,0x50,0x39,0xa2,0x00,0x04,0x00,0x00]
1658           vpminsq 1024(%rdx){1to8}, %zmm16, %zmm20
1659
1660 // CHECK: vpminsq -1024(%rdx){1to8}, %zmm16, %zmm20
1661 // CHECK:  encoding: [0x62,0xe2,0xfd,0x50,0x39,0x62,0x80]
1662           vpminsq -1024(%rdx){1to8}, %zmm16, %zmm20
1663
1664 // CHECK: vpminsq -1032(%rdx){1to8}, %zmm16, %zmm20
1665 // CHECK:  encoding: [0x62,0xe2,0xfd,0x50,0x39,0xa2,0xf8,0xfb,0xff,0xff]
1666           vpminsq -1032(%rdx){1to8}, %zmm16, %zmm20
1667
1668 // CHECK: vpminud %zmm20, %zmm23, %zmm3
1669 // CHECK:  encoding: [0x62,0xb2,0x45,0x40,0x3b,0xdc]
1670           vpminud %zmm20, %zmm23, %zmm3
1671
1672 // CHECK: vpminud %zmm20, %zmm23, %zmm3 {%k3}
1673 // CHECK:  encoding: [0x62,0xb2,0x45,0x43,0x3b,0xdc]
1674           vpminud %zmm20, %zmm23, %zmm3 {%k3}
1675
1676 // CHECK: vpminud %zmm20, %zmm23, %zmm3 {%k3} {z}
1677 // CHECK:  encoding: [0x62,0xb2,0x45,0xc3,0x3b,0xdc]
1678           vpminud %zmm20, %zmm23, %zmm3 {%k3} {z}
1679
1680 // CHECK: vpminud (%rcx), %zmm23, %zmm3
1681 // CHECK:  encoding: [0x62,0xf2,0x45,0x40,0x3b,0x19]
1682           vpminud (%rcx), %zmm23, %zmm3
1683
1684 // CHECK: vpminud 291(%rax,%r14,8), %zmm23, %zmm3
1685 // CHECK:  encoding: [0x62,0xb2,0x45,0x40,0x3b,0x9c,0xf0,0x23,0x01,0x00,0x00]
1686           vpminud 291(%rax,%r14,8), %zmm23, %zmm3
1687
1688 // CHECK: vpminud (%rcx){1to16}, %zmm23, %zmm3
1689 // CHECK:  encoding: [0x62,0xf2,0x45,0x50,0x3b,0x19]
1690           vpminud (%rcx){1to16}, %zmm23, %zmm3
1691
1692 // CHECK: vpminud 8128(%rdx), %zmm23, %zmm3
1693 // CHECK:  encoding: [0x62,0xf2,0x45,0x40,0x3b,0x5a,0x7f]
1694           vpminud 8128(%rdx), %zmm23, %zmm3
1695
1696 // CHECK: vpminud 8192(%rdx), %zmm23, %zmm3
1697 // CHECK:  encoding: [0x62,0xf2,0x45,0x40,0x3b,0x9a,0x00,0x20,0x00,0x00]
1698           vpminud 8192(%rdx), %zmm23, %zmm3
1699
1700 // CHECK: vpminud -8192(%rdx), %zmm23, %zmm3
1701 // CHECK:  encoding: [0x62,0xf2,0x45,0x40,0x3b,0x5a,0x80]
1702           vpminud -8192(%rdx), %zmm23, %zmm3
1703
1704 // CHECK: vpminud -8256(%rdx), %zmm23, %zmm3
1705 // CHECK:  encoding: [0x62,0xf2,0x45,0x40,0x3b,0x9a,0xc0,0xdf,0xff,0xff]
1706           vpminud -8256(%rdx), %zmm23, %zmm3
1707
1708 // CHECK: vpminud 508(%rdx){1to16}, %zmm23, %zmm3
1709 // CHECK:  encoding: [0x62,0xf2,0x45,0x50,0x3b,0x5a,0x7f]
1710           vpminud 508(%rdx){1to16}, %zmm23, %zmm3
1711
1712 // CHECK: vpminud 512(%rdx){1to16}, %zmm23, %zmm3
1713 // CHECK:  encoding: [0x62,0xf2,0x45,0x50,0x3b,0x9a,0x00,0x02,0x00,0x00]
1714           vpminud 512(%rdx){1to16}, %zmm23, %zmm3
1715
1716 // CHECK: vpminud -512(%rdx){1to16}, %zmm23, %zmm3
1717 // CHECK:  encoding: [0x62,0xf2,0x45,0x50,0x3b,0x5a,0x80]
1718           vpminud -512(%rdx){1to16}, %zmm23, %zmm3
1719
1720 // CHECK: vpminud -516(%rdx){1to16}, %zmm23, %zmm3
1721 // CHECK:  encoding: [0x62,0xf2,0x45,0x50,0x3b,0x9a,0xfc,0xfd,0xff,0xff]
1722           vpminud -516(%rdx){1to16}, %zmm23, %zmm3
1723
1724 // CHECK: vpminuq %zmm7, %zmm26, %zmm11
1725 // CHECK:  encoding: [0x62,0x72,0xad,0x40,0x3b,0xdf]
1726           vpminuq %zmm7, %zmm26, %zmm11
1727
1728 // CHECK: vpminuq %zmm7, %zmm26, %zmm11 {%k5}
1729 // CHECK:  encoding: [0x62,0x72,0xad,0x45,0x3b,0xdf]
1730           vpminuq %zmm7, %zmm26, %zmm11 {%k5}
1731
1732 // CHECK: vpminuq %zmm7, %zmm26, %zmm11 {%k5} {z}
1733 // CHECK:  encoding: [0x62,0x72,0xad,0xc5,0x3b,0xdf]
1734           vpminuq %zmm7, %zmm26, %zmm11 {%k5} {z}
1735
1736 // CHECK: vpminuq (%rcx), %zmm26, %zmm11
1737 // CHECK:  encoding: [0x62,0x72,0xad,0x40,0x3b,0x19]
1738           vpminuq (%rcx), %zmm26, %zmm11
1739
1740 // CHECK: vpminuq 291(%rax,%r14,8), %zmm26, %zmm11
1741 // CHECK:  encoding: [0x62,0x32,0xad,0x40,0x3b,0x9c,0xf0,0x23,0x01,0x00,0x00]
1742           vpminuq 291(%rax,%r14,8), %zmm26, %zmm11
1743
1744 // CHECK: vpminuq (%rcx){1to8}, %zmm26, %zmm11
1745 // CHECK:  encoding: [0x62,0x72,0xad,0x50,0x3b,0x19]
1746           vpminuq (%rcx){1to8}, %zmm26, %zmm11
1747
1748 // CHECK: vpminuq 8128(%rdx), %zmm26, %zmm11
1749 // CHECK:  encoding: [0x62,0x72,0xad,0x40,0x3b,0x5a,0x7f]
1750           vpminuq 8128(%rdx), %zmm26, %zmm11
1751
1752 // CHECK: vpminuq 8192(%rdx), %zmm26, %zmm11
1753 // CHECK:  encoding: [0x62,0x72,0xad,0x40,0x3b,0x9a,0x00,0x20,0x00,0x00]
1754           vpminuq 8192(%rdx), %zmm26, %zmm11
1755
1756 // CHECK: vpminuq -8192(%rdx), %zmm26, %zmm11
1757 // CHECK:  encoding: [0x62,0x72,0xad,0x40,0x3b,0x5a,0x80]
1758           vpminuq -8192(%rdx), %zmm26, %zmm11
1759
1760 // CHECK: vpminuq -8256(%rdx), %zmm26, %zmm11
1761 // CHECK:  encoding: [0x62,0x72,0xad,0x40,0x3b,0x9a,0xc0,0xdf,0xff,0xff]
1762           vpminuq -8256(%rdx), %zmm26, %zmm11
1763
1764 // CHECK: vpminuq 1016(%rdx){1to8}, %zmm26, %zmm11
1765 // CHECK:  encoding: [0x62,0x72,0xad,0x50,0x3b,0x5a,0x7f]
1766           vpminuq 1016(%rdx){1to8}, %zmm26, %zmm11
1767
1768 // CHECK: vpminuq 1024(%rdx){1to8}, %zmm26, %zmm11
1769 // CHECK:  encoding: [0x62,0x72,0xad,0x50,0x3b,0x9a,0x00,0x04,0x00,0x00]
1770           vpminuq 1024(%rdx){1to8}, %zmm26, %zmm11
1771
1772 // CHECK: vpminuq -1024(%rdx){1to8}, %zmm26, %zmm11
1773 // CHECK:  encoding: [0x62,0x72,0xad,0x50,0x3b,0x5a,0x80]
1774           vpminuq -1024(%rdx){1to8}, %zmm26, %zmm11
1775
1776 // CHECK: vpminuq -1032(%rdx){1to8}, %zmm26, %zmm11
1777 // CHECK:  encoding: [0x62,0x72,0xad,0x50,0x3b,0x9a,0xf8,0xfb,0xff,0xff]
1778           vpminuq -1032(%rdx){1to8}, %zmm26, %zmm11
1779
1780 // CHECK: vpmovsxbd %xmm7, %zmm27
1781 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x21,0xdf]
1782           vpmovsxbd %xmm7, %zmm27
1783
1784 // CHECK: vpmovsxbd %xmm7, %zmm27 {%k5}
1785 // CHECK:  encoding: [0x62,0x62,0x7d,0x4d,0x21,0xdf]
1786           vpmovsxbd %xmm7, %zmm27 {%k5}
1787
1788 // CHECK: vpmovsxbd %xmm7, %zmm27 {%k5} {z}
1789 // CHECK:  encoding: [0x62,0x62,0x7d,0xcd,0x21,0xdf]
1790           vpmovsxbd %xmm7, %zmm27 {%k5} {z}
1791
1792 // CHECK: vpmovsxbd (%rcx), %zmm27
1793 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x21,0x19]
1794           vpmovsxbd (%rcx), %zmm27
1795
1796 // CHECK: vpmovsxbd 291(%rax,%r14,8), %zmm27
1797 // CHECK:  encoding: [0x62,0x22,0x7d,0x48,0x21,0x9c,0xf0,0x23,0x01,0x00,0x00]
1798           vpmovsxbd 291(%rax,%r14,8), %zmm27
1799
1800 // CHECK: vpmovsxbd 2032(%rdx), %zmm27
1801 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x21,0x5a,0x7f]
1802           vpmovsxbd 2032(%rdx), %zmm27
1803
1804 // CHECK: vpmovsxbd 2048(%rdx), %zmm27
1805 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x21,0x9a,0x00,0x08,0x00,0x00]
1806           vpmovsxbd 2048(%rdx), %zmm27
1807
1808 // CHECK: vpmovsxbd -2048(%rdx), %zmm27
1809 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x21,0x5a,0x80]
1810           vpmovsxbd -2048(%rdx), %zmm27
1811
1812 // CHECK: vpmovsxbd -2064(%rdx), %zmm27
1813 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x21,0x9a,0xf0,0xf7,0xff,0xff]
1814           vpmovsxbd -2064(%rdx), %zmm27
1815
1816 // CHECK: vpmovsxbd (%rcx), %zmm27 {%k1}
1817 // CHECK:  encoding: [0x62,0x62,0x7d,0x49,0x21,0x19]
1818           vpmovsxbd (%rcx), %zmm27 {%k1}
1819
1820 // CHECK: vpmovsxbd (%rcx), %zmm27 {%k2} {z}
1821 // CHECK:  encoding: [0x62,0x62,0x7d,0xca,0x21,0x19]
1822           vpmovsxbd (%rcx), %zmm27 {%k2} {z}
1823
1824 // CHECK: vpmovsxbq %xmm11, %zmm11
1825 // CHECK:  encoding: [0x62,0x52,0x7d,0x48,0x22,0xdb]
1826           vpmovsxbq %xmm11, %zmm11
1827
1828 // CHECK: vpmovsxbq %xmm11, %zmm11 {%k5}
1829 // CHECK:  encoding: [0x62,0x52,0x7d,0x4d,0x22,0xdb]
1830           vpmovsxbq %xmm11, %zmm11 {%k5}
1831
1832 // CHECK: vpmovsxbq %xmm11, %zmm11 {%k5} {z}
1833 // CHECK:  encoding: [0x62,0x52,0x7d,0xcd,0x22,0xdb]
1834           vpmovsxbq %xmm11, %zmm11 {%k5} {z}
1835
1836 // CHECK: vpmovsxbq (%rcx), %zmm11
1837 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x22,0x19]
1838           vpmovsxbq (%rcx), %zmm11
1839
1840 // CHECK: vpmovsxbq 291(%rax,%r14,8), %zmm11
1841 // CHECK:  encoding: [0x62,0x32,0x7d,0x48,0x22,0x9c,0xf0,0x23,0x01,0x00,0x00]
1842           vpmovsxbq 291(%rax,%r14,8), %zmm11
1843
1844 // CHECK: vpmovsxbq 1016(%rdx), %zmm11
1845 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x22,0x5a,0x7f]
1846           vpmovsxbq 1016(%rdx), %zmm11
1847
1848 // CHECK: vpmovsxbq 1024(%rdx), %zmm11
1849 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x22,0x9a,0x00,0x04,0x00,0x00]
1850           vpmovsxbq 1024(%rdx), %zmm11
1851
1852 // CHECK: vpmovsxbq -1024(%rdx), %zmm11
1853 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x22,0x5a,0x80]
1854           vpmovsxbq -1024(%rdx), %zmm11
1855
1856 // CHECK: vpmovsxbq -1032(%rdx), %zmm11
1857 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x22,0x9a,0xf8,0xfb,0xff,0xff]
1858           vpmovsxbq -1032(%rdx), %zmm11
1859
1860 // CHECK: vpmovsxdq %ymm29, %zmm26
1861 // CHECK:  encoding: [0x62,0x02,0x7d,0x48,0x25,0xd5]
1862           vpmovsxdq %ymm29, %zmm26
1863
1864 // CHECK: vpmovsxdq %ymm29, %zmm26 {%k1}
1865 // CHECK:  encoding: [0x62,0x02,0x7d,0x49,0x25,0xd5]
1866           vpmovsxdq %ymm29, %zmm26 {%k1}
1867
1868 // CHECK: vpmovsxdq %ymm29, %zmm26 {%k1} {z}
1869 // CHECK:  encoding: [0x62,0x02,0x7d,0xc9,0x25,0xd5]
1870           vpmovsxdq %ymm29, %zmm26 {%k1} {z}
1871
1872 // CHECK: vpmovsxdq (%rcx), %zmm26
1873 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x25,0x11]
1874           vpmovsxdq (%rcx), %zmm26
1875
1876 // CHECK: vpmovsxdq 291(%rax,%r14,8), %zmm26
1877 // CHECK:  encoding: [0x62,0x22,0x7d,0x48,0x25,0x94,0xf0,0x23,0x01,0x00,0x00]
1878           vpmovsxdq 291(%rax,%r14,8), %zmm26
1879
1880 // CHECK: vpmovsxdq 4064(%rdx), %zmm26
1881 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x25,0x52,0x7f]
1882           vpmovsxdq 4064(%rdx), %zmm26
1883
1884 // CHECK: vpmovsxdq 4096(%rdx), %zmm26
1885 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x25,0x92,0x00,0x10,0x00,0x00]
1886           vpmovsxdq 4096(%rdx), %zmm26
1887
1888 // CHECK: vpmovsxdq -4096(%rdx), %zmm26
1889 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x25,0x52,0x80]
1890           vpmovsxdq -4096(%rdx), %zmm26
1891
1892 // CHECK: vpmovsxdq -4128(%rdx), %zmm26
1893 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x25,0x92,0xe0,0xef,0xff,0xff]
1894           vpmovsxdq -4128(%rdx), %zmm26
1895
1896 // CHECK: vpmovsxwd %ymm11, %zmm23
1897 // CHECK:  encoding: [0x62,0xc2,0x7d,0x48,0x23,0xfb]
1898           vpmovsxwd %ymm11, %zmm23
1899
1900 // CHECK: vpmovsxwd %ymm11, %zmm23 {%k2}
1901 // CHECK:  encoding: [0x62,0xc2,0x7d,0x4a,0x23,0xfb]
1902           vpmovsxwd %ymm11, %zmm23 {%k2}
1903
1904 // CHECK: vpmovsxwd %ymm11, %zmm23 {%k2} {z}
1905 // CHECK:  encoding: [0x62,0xc2,0x7d,0xca,0x23,0xfb]
1906           vpmovsxwd %ymm11, %zmm23 {%k2} {z}
1907
1908 // CHECK: vpmovsxwd (%rcx), %zmm23
1909 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x23,0x39]
1910           vpmovsxwd (%rcx), %zmm23
1911
1912 // CHECK: vpmovsxwd 291(%rax,%r14,8), %zmm23
1913 // CHECK:  encoding: [0x62,0xa2,0x7d,0x48,0x23,0xbc,0xf0,0x23,0x01,0x00,0x00]
1914           vpmovsxwd 291(%rax,%r14,8), %zmm23
1915
1916 // CHECK: vpmovsxwd 4064(%rdx), %zmm23
1917 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x23,0x7a,0x7f]
1918           vpmovsxwd 4064(%rdx), %zmm23
1919
1920 // CHECK: vpmovsxwd 4096(%rdx), %zmm23
1921 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x23,0xba,0x00,0x10,0x00,0x00]
1922           vpmovsxwd 4096(%rdx), %zmm23
1923
1924 // CHECK: vpmovsxwd -4096(%rdx), %zmm23
1925 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x23,0x7a,0x80]
1926           vpmovsxwd -4096(%rdx), %zmm23
1927
1928 // CHECK: vpmovsxwd -4128(%rdx), %zmm23
1929 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x23,0xba,0xe0,0xef,0xff,0xff]
1930           vpmovsxwd -4128(%rdx), %zmm23
1931
1932 // CHECK: vpmovsxwq %xmm25, %zmm25
1933 // CHECK:  encoding: [0x62,0x02,0x7d,0x48,0x24,0xc9]
1934           vpmovsxwq %xmm25, %zmm25
1935
1936 // CHECK: vpmovsxwq %xmm25, %zmm25 {%k4}
1937 // CHECK:  encoding: [0x62,0x02,0x7d,0x4c,0x24,0xc9]
1938           vpmovsxwq %xmm25, %zmm25 {%k4}
1939
1940 // CHECK: vpmovsxwq %xmm25, %zmm25 {%k4} {z}
1941 // CHECK:  encoding: [0x62,0x02,0x7d,0xcc,0x24,0xc9]
1942           vpmovsxwq %xmm25, %zmm25 {%k4} {z}
1943
1944 // CHECK: vpmovsxwq (%rcx), %zmm25
1945 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x24,0x09]
1946           vpmovsxwq (%rcx), %zmm25
1947
1948 // CHECK: vpmovsxwq 291(%rax,%r14,8), %zmm25
1949 // CHECK:  encoding: [0x62,0x22,0x7d,0x48,0x24,0x8c,0xf0,0x23,0x01,0x00,0x00]
1950           vpmovsxwq 291(%rax,%r14,8), %zmm25
1951
1952 // CHECK: vpmovsxwq 2032(%rdx), %zmm25
1953 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x24,0x4a,0x7f]
1954           vpmovsxwq 2032(%rdx), %zmm25
1955
1956 // CHECK: vpmovsxwq 2048(%rdx), %zmm25
1957 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x24,0x8a,0x00,0x08,0x00,0x00]
1958           vpmovsxwq 2048(%rdx), %zmm25
1959
1960 // CHECK: vpmovsxwq -2048(%rdx), %zmm25
1961 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x24,0x4a,0x80]
1962           vpmovsxwq -2048(%rdx), %zmm25
1963
1964 // CHECK: vpmovsxwq -2064(%rdx), %zmm25
1965 // CHECK:  encoding: [0x62,0x62,0x7d,0x48,0x24,0x8a,0xf0,0xf7,0xff,0xff]
1966           vpmovsxwq -2064(%rdx), %zmm25
1967
1968 // CHECK: vpmovzxbd %xmm25, %zmm18
1969 // CHECK:  encoding: [0x62,0x82,0x7d,0x48,0x31,0xd1]
1970           vpmovzxbd %xmm25, %zmm18
1971
1972 // CHECK: vpmovzxbd %xmm25, %zmm18 {%k7}
1973 // CHECK:  encoding: [0x62,0x82,0x7d,0x4f,0x31,0xd1]
1974           vpmovzxbd %xmm25, %zmm18 {%k7}
1975
1976 // CHECK: vpmovzxbd %xmm25, %zmm18 {%k7} {z}
1977 // CHECK:  encoding: [0x62,0x82,0x7d,0xcf,0x31,0xd1]
1978           vpmovzxbd %xmm25, %zmm18 {%k7} {z}
1979
1980 // CHECK: vpmovzxbd (%rcx), %zmm18
1981 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x31,0x11]
1982           vpmovzxbd (%rcx), %zmm18
1983
1984 // CHECK: vpmovzxbd 291(%rax,%r14,8), %zmm18
1985 // CHECK:  encoding: [0x62,0xa2,0x7d,0x48,0x31,0x94,0xf0,0x23,0x01,0x00,0x00]
1986           vpmovzxbd 291(%rax,%r14,8), %zmm18
1987
1988 // CHECK: vpmovzxbd 2032(%rdx), %zmm18
1989 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x31,0x52,0x7f]
1990           vpmovzxbd 2032(%rdx), %zmm18
1991
1992 // CHECK: vpmovzxbd 2048(%rdx), %zmm18
1993 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x31,0x92,0x00,0x08,0x00,0x00]
1994           vpmovzxbd 2048(%rdx), %zmm18
1995
1996 // CHECK: vpmovzxbd -2048(%rdx), %zmm18
1997 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x31,0x52,0x80]
1998           vpmovzxbd -2048(%rdx), %zmm18
1999
2000 // CHECK: vpmovzxbd -2064(%rdx), %zmm18
2001 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x31,0x92,0xf0,0xf7,0xff,0xff]
2002           vpmovzxbd -2064(%rdx), %zmm18
2003
2004 // CHECK: vpmovzxbq %xmm15, %zmm5
2005 // CHECK:  encoding: [0x62,0xd2,0x7d,0x48,0x32,0xef]
2006           vpmovzxbq %xmm15, %zmm5
2007
2008 // CHECK: vpmovzxbq %xmm15, %zmm5 {%k1}
2009 // CHECK:  encoding: [0x62,0xd2,0x7d,0x49,0x32,0xef]
2010           vpmovzxbq %xmm15, %zmm5 {%k1}
2011
2012 // CHECK: vpmovzxbq %xmm15, %zmm5 {%k1} {z}
2013 // CHECK:  encoding: [0x62,0xd2,0x7d,0xc9,0x32,0xef]
2014           vpmovzxbq %xmm15, %zmm5 {%k1} {z}
2015
2016 // CHECK: vpmovzxbq (%rcx), %zmm5
2017 // CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x32,0x29]
2018           vpmovzxbq (%rcx), %zmm5
2019
2020 // CHECK: vpmovzxbq 291(%rax,%r14,8), %zmm5
2021 // CHECK:  encoding: [0x62,0xb2,0x7d,0x48,0x32,0xac,0xf0,0x23,0x01,0x00,0x00]
2022           vpmovzxbq 291(%rax,%r14,8), %zmm5
2023
2024 // CHECK: vpmovzxbq 1016(%rdx), %zmm5
2025 // CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x32,0x6a,0x7f]
2026           vpmovzxbq 1016(%rdx), %zmm5
2027
2028 // CHECK: vpmovzxbq 1024(%rdx), %zmm5
2029 // CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x32,0xaa,0x00,0x04,0x00,0x00]
2030           vpmovzxbq 1024(%rdx), %zmm5
2031
2032 // CHECK: vpmovzxbq -1024(%rdx), %zmm5
2033 // CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x32,0x6a,0x80]
2034           vpmovzxbq -1024(%rdx), %zmm5
2035
2036 // CHECK: vpmovzxbq -1032(%rdx), %zmm5
2037 // CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x32,0xaa,0xf8,0xfb,0xff,0xff]
2038           vpmovzxbq -1032(%rdx), %zmm5
2039
2040 // CHECK: vpmovzxdq %ymm4, %zmm20
2041 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x35,0xe4]
2042           vpmovzxdq %ymm4, %zmm20
2043
2044 // CHECK: vpmovzxdq %ymm4, %zmm20 {%k3}
2045 // CHECK:  encoding: [0x62,0xe2,0x7d,0x4b,0x35,0xe4]
2046           vpmovzxdq %ymm4, %zmm20 {%k3}
2047
2048 // CHECK: vpmovzxdq %ymm4, %zmm20 {%k3} {z}
2049 // CHECK:  encoding: [0x62,0xe2,0x7d,0xcb,0x35,0xe4]
2050           vpmovzxdq %ymm4, %zmm20 {%k3} {z}
2051
2052 // CHECK: vpmovzxdq (%rcx), %zmm20
2053 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x35,0x21]
2054           vpmovzxdq (%rcx), %zmm20
2055
2056 // CHECK: vpmovzxdq 291(%rax,%r14,8), %zmm20
2057 // CHECK:  encoding: [0x62,0xa2,0x7d,0x48,0x35,0xa4,0xf0,0x23,0x01,0x00,0x00]
2058           vpmovzxdq 291(%rax,%r14,8), %zmm20
2059
2060 // CHECK: vpmovzxdq 4064(%rdx), %zmm20
2061 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x35,0x62,0x7f]
2062           vpmovzxdq 4064(%rdx), %zmm20
2063
2064 // CHECK: vpmovzxdq 4096(%rdx), %zmm20
2065 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x35,0xa2,0x00,0x10,0x00,0x00]
2066           vpmovzxdq 4096(%rdx), %zmm20
2067
2068 // CHECK: vpmovzxdq -4096(%rdx), %zmm20
2069 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x35,0x62,0x80]
2070           vpmovzxdq -4096(%rdx), %zmm20
2071
2072 // CHECK: vpmovzxdq -4128(%rdx), %zmm20
2073 // CHECK:  encoding: [0x62,0xe2,0x7d,0x48,0x35,0xa2,0xe0,0xef,0xff,0xff]
2074           vpmovzxdq -4128(%rdx), %zmm20
2075
2076 // CHECK: vpmovzxwd %ymm6, %zmm8
2077 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x33,0xc6]
2078           vpmovzxwd %ymm6, %zmm8
2079
2080 // CHECK: vpmovzxwd %ymm6, %zmm8 {%k7}
2081 // CHECK:  encoding: [0x62,0x72,0x7d,0x4f,0x33,0xc6]
2082           vpmovzxwd %ymm6, %zmm8 {%k7}
2083
2084 // CHECK: vpmovzxwd %ymm6, %zmm8 {%k7} {z}
2085 // CHECK:  encoding: [0x62,0x72,0x7d,0xcf,0x33,0xc6]
2086           vpmovzxwd %ymm6, %zmm8 {%k7} {z}
2087
2088 // CHECK: vpmovzxwd (%rcx), %zmm8
2089 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x33,0x01]
2090           vpmovzxwd (%rcx), %zmm8
2091
2092 // CHECK: vpmovzxwd 291(%rax,%r14,8), %zmm8
2093 // CHECK:  encoding: [0x62,0x32,0x7d,0x48,0x33,0x84,0xf0,0x23,0x01,0x00,0x00]
2094           vpmovzxwd 291(%rax,%r14,8), %zmm8
2095
2096 // CHECK: vpmovzxwd 4064(%rdx), %zmm8
2097 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x33,0x42,0x7f]
2098           vpmovzxwd 4064(%rdx), %zmm8
2099
2100 // CHECK: vpmovzxwd 4096(%rdx), %zmm8
2101 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x33,0x82,0x00,0x10,0x00,0x00]
2102           vpmovzxwd 4096(%rdx), %zmm8
2103
2104 // CHECK: vpmovzxwd -4096(%rdx), %zmm8
2105 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x33,0x42,0x80]
2106           vpmovzxwd -4096(%rdx), %zmm8
2107
2108 // CHECK: vpmovzxwd -4128(%rdx), %zmm8
2109 // CHECK:  encoding: [0x62,0x72,0x7d,0x48,0x33,0x82,0xe0,0xef,0xff,0xff]
2110           vpmovzxwd -4128(%rdx), %zmm8
2111
2112 // CHECK: vpmovzxwq %xmm15, %zmm5
2113 // CHECK:  encoding: [0x62,0xd2,0x7d,0x48,0x34,0xef]
2114           vpmovzxwq %xmm15, %zmm5
2115
2116 // CHECK: vpmovzxwq %xmm15, %zmm5 {%k7}
2117 // CHECK:  encoding: [0x62,0xd2,0x7d,0x4f,0x34,0xef]
2118           vpmovzxwq %xmm15, %zmm5 {%k7}
2119
2120 // CHECK: vpmovzxwq %xmm15, %zmm5 {%k7} {z}
2121 // CHECK:  encoding: [0x62,0xd2,0x7d,0xcf,0x34,0xef]
2122           vpmovzxwq %xmm15, %zmm5 {%k7} {z}
2123
2124 // CHECK: vpmovzxwq (%rcx), %zmm5
2125 // CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x34,0x29]
2126           vpmovzxwq (%rcx), %zmm5
2127
2128 // CHECK: vpmovzxwq 291(%rax,%r14,8), %zmm5
2129 // CHECK:  encoding: [0x62,0xb2,0x7d,0x48,0x34,0xac,0xf0,0x23,0x01,0x00,0x00]
2130           vpmovzxwq 291(%rax,%r14,8), %zmm5
2131
2132 // CHECK: vpmovzxwq 2032(%rdx), %zmm5
2133 // CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x34,0x6a,0x7f]
2134           vpmovzxwq 2032(%rdx), %zmm5
2135
2136 // CHECK: vpmovzxwq 2048(%rdx), %zmm5
2137 // CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x34,0xaa,0x00,0x08,0x00,0x00]
2138           vpmovzxwq 2048(%rdx), %zmm5
2139
2140 // CHECK: vpmovzxwq -2048(%rdx), %zmm5
2141 // CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x34,0x6a,0x80]
2142           vpmovzxwq -2048(%rdx), %zmm5
2143
2144 // CHECK: vpmovzxwq -2064(%rdx), %zmm5
2145 // CHECK:  encoding: [0x62,0xf2,0x7d,0x48,0x34,0xaa,0xf0,0xf7,0xff,0xff]
2146           vpmovzxwq -2064(%rdx), %zmm5
2147
2148 // CHECK: vpmuldq %zmm9, %zmm9, %zmm29
2149 // CHECK:  encoding: [0x62,0x42,0xb5,0x48,0x28,0xe9]
2150           vpmuldq %zmm9, %zmm9, %zmm29
2151
2152 // CHECK: vpmuldq %zmm9, %zmm9, %zmm29 {%k5}
2153 // CHECK:  encoding: [0x62,0x42,0xb5,0x4d,0x28,0xe9]
2154           vpmuldq %zmm9, %zmm9, %zmm29 {%k5}
2155
2156 // CHECK: vpmuldq %zmm9, %zmm9, %zmm29 {%k5} {z}
2157 // CHECK:  encoding: [0x62,0x42,0xb5,0xcd,0x28,0xe9]
2158           vpmuldq %zmm9, %zmm9, %zmm29 {%k5} {z}
2159
2160 // CHECK: vpmuldq (%rcx), %zmm9, %zmm29
2161 // CHECK:  encoding: [0x62,0x62,0xb5,0x48,0x28,0x29]
2162           vpmuldq (%rcx), %zmm9, %zmm29
2163
2164 // CHECK: vpmuldq (%rcx), %zmm9, %zmm29 {%k6}
2165 // CHECK:  encoding: [0x62,0x62,0xb5,0x4e,0x28,0x29]
2166           vpmuldq (%rcx), %zmm9, %zmm29 {%k6}
2167
2168 // CHECK: vpmuldq (%rcx), %zmm9, %zmm29 {%k6} {z}
2169 // CHECK:  encoding: [0x62,0x62,0xb5,0xce,0x28,0x29]
2170           vpmuldq (%rcx), %zmm9, %zmm29 {%k6} {z}
2171
2172 // CHECK: vpmuldq 291(%rax,%r14,8), %zmm9, %zmm29
2173 // CHECK:  encoding: [0x62,0x22,0xb5,0x48,0x28,0xac,0xf0,0x23,0x01,0x00,0x00]
2174           vpmuldq 291(%rax,%r14,8), %zmm9, %zmm29
2175
2176 // CHECK: vpmuldq (%rcx){1to8}, %zmm9, %zmm29
2177 // CHECK:  encoding: [0x62,0x62,0xb5,0x58,0x28,0x29]
2178           vpmuldq (%rcx){1to8}, %zmm9, %zmm29
2179
2180 // CHECK: vpmuldq (%rcx){1to8}, %zmm9, %zmm29 {%k3}
2181 // CHECK:  encoding: [0x62,0x62,0xb5,0x5b,0x28,0x29]
2182           vpmuldq (%rcx){1to8}, %zmm9, %zmm29 {%k3}
2183
2184 // CHECK: vpmuldq (%rcx){1to8}, %zmm9, %zmm29
2185 // CHECK:  encoding: [0x62,0x62,0xb5,0xdb,0x28,0x29]
2186           vpmuldq (%rcx){1to8}, %zmm9, %zmm29 {%k3} {z}
2187
2188 // CHECK: vpmuldq 8128(%rdx), %zmm9, %zmm29
2189 // CHECK:  encoding: [0x62,0x62,0xb5,0x48,0x28,0x6a,0x7f]
2190           vpmuldq 8128(%rdx), %zmm9, %zmm29
2191
2192 // CHECK: vpmuldq 8192(%rdx), %zmm9, %zmm29
2193 // CHECK:  encoding: [0x62,0x62,0xb5,0x48,0x28,0xaa,0x00,0x20,0x00,0x00]
2194           vpmuldq 8192(%rdx), %zmm9, %zmm29
2195
2196 // CHECK: vpmuldq -8192(%rdx), %zmm9, %zmm29
2197 // CHECK:  encoding: [0x62,0x62,0xb5,0x48,0x28,0x6a,0x80]
2198           vpmuldq -8192(%rdx), %zmm9, %zmm29
2199
2200 // CHECK: vpmuldq -8256(%rdx), %zmm9, %zmm29
2201 // CHECK:  encoding: [0x62,0x62,0xb5,0x48,0x28,0xaa,0xc0,0xdf,0xff,0xff]
2202           vpmuldq -8256(%rdx), %zmm9, %zmm29
2203
2204 // CHECK: vpmuldq 1016(%rdx){1to8}, %zmm9, %zmm29
2205 // CHECK:  encoding: [0x62,0x62,0xb5,0x58,0x28,0x6a,0x7f]
2206           vpmuldq 1016(%rdx){1to8}, %zmm9, %zmm29
2207
2208 // CHECK: vpmuldq 1024(%rdx){1to8}, %zmm9, %zmm29
2209 // CHECK:  encoding: [0x62,0x62,0xb5,0x58,0x28,0xaa,0x00,0x04,0x00,0x00]
2210           vpmuldq 1024(%rdx){1to8}, %zmm9, %zmm29
2211
2212 // CHECK: vpmuldq -1024(%rdx){1to8}, %zmm9, %zmm29
2213 // CHECK:  encoding: [0x62,0x62,0xb5,0x58,0x28,0x6a,0x80]
2214           vpmuldq -1024(%rdx){1to8}, %zmm9, %zmm29
2215
2216 // CHECK: vpmuldq -1032(%rdx){1to8}, %zmm9, %zmm29
2217 // CHECK:  encoding: [0x62,0x62,0xb5,0x58,0x28,0xaa,0xf8,0xfb,0xff,0xff]
2218           vpmuldq -1032(%rdx){1to8}, %zmm9, %zmm29
2219
2220 // CHECK: vpmulld %zmm2, %zmm3, %zmm12
2221 // CHECK:  encoding: [0x62,0x72,0x65,0x48,0x40,0xe2]
2222           vpmulld %zmm2, %zmm3, %zmm12
2223
2224 // CHECK: vpmulld %zmm2, %zmm3, %zmm12 {%k6}
2225 // CHECK:  encoding: [0x62,0x72,0x65,0x4e,0x40,0xe2]
2226           vpmulld %zmm2, %zmm3, %zmm12 {%k6}
2227
2228 // CHECK: vpmulld %zmm2, %zmm3, %zmm12 {%k6} {z}
2229 // CHECK:  encoding: [0x62,0x72,0x65,0xce,0x40,0xe2]
2230           vpmulld %zmm2, %zmm3, %zmm12 {%k6} {z}
2231
2232 // CHECK: vpmulld (%rcx), %zmm3, %zmm12
2233 // CHECK:  encoding: [0x62,0x72,0x65,0x48,0x40,0x21]
2234           vpmulld (%rcx), %zmm3, %zmm12
2235
2236 // CHECK: vpmulld 291(%rax,%r14,8), %zmm3, %zmm12
2237 // CHECK:  encoding: [0x62,0x32,0x65,0x48,0x40,0xa4,0xf0,0x23,0x01,0x00,0x00]
2238           vpmulld 291(%rax,%r14,8), %zmm3, %zmm12
2239
2240 // CHECK: vpmulld (%rcx){1to16}, %zmm3, %zmm12
2241 // CHECK:  encoding: [0x62,0x72,0x65,0x58,0x40,0x21]
2242           vpmulld (%rcx){1to16}, %zmm3, %zmm12
2243
2244 // CHECK: vpmulld 8128(%rdx), %zmm3, %zmm12
2245 // CHECK:  encoding: [0x62,0x72,0x65,0x48,0x40,0x62,0x7f]
2246           vpmulld 8128(%rdx), %zmm3, %zmm12
2247
2248 // CHECK: vpmulld 8192(%rdx), %zmm3, %zmm12
2249 // CHECK:  encoding: [0x62,0x72,0x65,0x48,0x40,0xa2,0x00,0x20,0x00,0x00]
2250           vpmulld 8192(%rdx), %zmm3, %zmm12
2251
2252 // CHECK: vpmulld -8192(%rdx), %zmm3, %zmm12
2253 // CHECK:  encoding: [0x62,0x72,0x65,0x48,0x40,0x62,0x80]
2254           vpmulld -8192(%rdx), %zmm3, %zmm12
2255
2256 // CHECK: vpmulld -8256(%rdx), %zmm3, %zmm12
2257 // CHECK:  encoding: [0x62,0x72,0x65,0x48,0x40,0xa2,0xc0,0xdf,0xff,0xff]
2258           vpmulld -8256(%rdx), %zmm3, %zmm12
2259
2260 // CHECK: vpmulld 508(%rdx){1to16}, %zmm3, %zmm12
2261 // CHECK:  encoding: [0x62,0x72,0x65,0x58,0x40,0x62,0x7f]
2262           vpmulld 508(%rdx){1to16}, %zmm3, %zmm12
2263
2264 // CHECK: vpmulld 512(%rdx){1to16}, %zmm3, %zmm12
2265 // CHECK:  encoding: [0x62,0x72,0x65,0x58,0x40,0xa2,0x00,0x02,0x00,0x00]
2266           vpmulld 512(%rdx){1to16}, %zmm3, %zmm12
2267
2268 // CHECK: vpmulld -512(%rdx){1to16}, %zmm3, %zmm12
2269 // CHECK:  encoding: [0x62,0x72,0x65,0x58,0x40,0x62,0x80]
2270           vpmulld -512(%rdx){1to16}, %zmm3, %zmm12
2271
2272 // CHECK: vpmulld -516(%rdx){1to16}, %zmm3, %zmm12
2273 // CHECK:  encoding: [0x62,0x72,0x65,0x58,0x40,0xa2,0xfc,0xfd,0xff,0xff]
2274           vpmulld -516(%rdx){1to16}, %zmm3, %zmm12
2275
2276 // CHECK: vpmuludq %zmm9, %zmm5, %zmm23
2277 // CHECK:  encoding: [0x62,0xc1,0xd5,0x48,0xf4,0xf9]
2278           vpmuludq %zmm9, %zmm5, %zmm23
2279
2280 // CHECK: vpmuludq %zmm9, %zmm5, %zmm23 {%k4}
2281 // CHECK:  encoding: [0x62,0xc1,0xd5,0x4c,0xf4,0xf9]
2282           vpmuludq %zmm9, %zmm5, %zmm23 {%k4}
2283
2284 // CHECK: vpmuludq %zmm9, %zmm5, %zmm23 {%k4} {z}
2285 // CHECK:  encoding: [0x62,0xc1,0xd5,0xcc,0xf4,0xf9]
2286           vpmuludq %zmm9, %zmm5, %zmm23 {%k4} {z}
2287
2288 // CHECK: vpmuludq (%rcx), %zmm5, %zmm23
2289 // CHECK:  encoding: [0x62,0xe1,0xd5,0x48,0xf4,0x39]
2290           vpmuludq (%rcx), %zmm5, %zmm23
2291
2292 // CHECK: vpmuludq 291(%rax,%r14,8), %zmm5, %zmm23
2293 // CHECK:  encoding: [0x62,0xa1,0xd5,0x48,0xf4,0xbc,0xf0,0x23,0x01,0x00,0x00]
2294           vpmuludq 291(%rax,%r14,8), %zmm5, %zmm23
2295
2296 // CHECK: vpmuludq (%rcx){1to8}, %zmm5, %zmm23
2297 // CHECK:  encoding: [0x62,0xe1,0xd5,0x58,0xf4,0x39]
2298           vpmuludq (%rcx){1to8}, %zmm5, %zmm23
2299
2300 // CHECK: vpmuludq 8128(%rdx), %zmm5, %zmm23
2301 // CHECK:  encoding: [0x62,0xe1,0xd5,0x48,0xf4,0x7a,0x7f]
2302           vpmuludq 8128(%rdx), %zmm5, %zmm23
2303
2304 // CHECK: vpmuludq 8192(%rdx), %zmm5, %zmm23
2305 // CHECK:  encoding: [0x62,0xe1,0xd5,0x48,0xf4,0xba,0x00,0x20,0x00,0x00]
2306           vpmuludq 8192(%rdx), %zmm5, %zmm23
2307
2308 // CHECK: vpmuludq -8192(%rdx), %zmm5, %zmm23
2309 // CHECK:  encoding: [0x62,0xe1,0xd5,0x48,0xf4,0x7a,0x80]
2310           vpmuludq -8192(%rdx), %zmm5, %zmm23
2311
2312 // CHECK: vpmuludq -8256(%rdx), %zmm5, %zmm23
2313 // CHECK:  encoding: [0x62,0xe1,0xd5,0x48,0xf4,0xba,0xc0,0xdf,0xff,0xff]
2314           vpmuludq -8256(%rdx), %zmm5, %zmm23
2315
2316 // CHECK: vpmuludq 1016(%rdx){1to8}, %zmm5, %zmm23
2317 // CHECK:  encoding: [0x62,0xe1,0xd5,0x58,0xf4,0x7a,0x7f]
2318           vpmuludq 1016(%rdx){1to8}, %zmm5, %zmm23
2319
2320 // CHECK: vpmuludq 1024(%rdx){1to8}, %zmm5, %zmm23
2321 // CHECK:  encoding: [0x62,0xe1,0xd5,0x58,0xf4,0xba,0x00,0x04,0x00,0x00]
2322           vpmuludq 1024(%rdx){1to8}, %zmm5, %zmm23
2323
2324 // CHECK: vpmuludq -1024(%rdx){1to8}, %zmm5, %zmm23
2325 // CHECK:  encoding: [0x62,0xe1,0xd5,0x58,0xf4,0x7a,0x80]
2326           vpmuludq -1024(%rdx){1to8}, %zmm5, %zmm23
2327
2328 // CHECK: vpmuludq -1032(%rdx){1to8}, %zmm5, %zmm23
2329 // CHECK:  encoding: [0x62,0xe1,0xd5,0x58,0xf4,0xba,0xf8,0xfb,0xff,0xff]
2330           vpmuludq -1032(%rdx){1to8}, %zmm5, %zmm23
2331
2332 // CHECK: vpord  %zmm20, %zmm2, %zmm23
2333 // CHECK:  encoding: [0x62,0xa1,0x6d,0x48,0xeb,0xfc]
2334           vpord  %zmm20, %zmm2, %zmm23
2335
2336 // CHECK: vpord  %zmm20, %zmm2, %zmm23 {%k2}
2337 // CHECK:  encoding: [0x62,0xa1,0x6d,0x4a,0xeb,0xfc]
2338           vpord  %zmm20, %zmm2, %zmm23 {%k2}
2339
2340 // CHECK: vpord  %zmm20, %zmm2, %zmm23 {%k2} {z}
2341 // CHECK:  encoding: [0x62,0xa1,0x6d,0xca,0xeb,0xfc]
2342           vpord  %zmm20, %zmm2, %zmm23 {%k2} {z}
2343
2344 // CHECK: vpord  (%rcx), %zmm2, %zmm23
2345 // CHECK:  encoding: [0x62,0xe1,0x6d,0x48,0xeb,0x39]
2346           vpord  (%rcx), %zmm2, %zmm23
2347
2348 // CHECK: vpord  291(%rax,%r14,8), %zmm2, %zmm23
2349 // CHECK:  encoding: [0x62,0xa1,0x6d,0x48,0xeb,0xbc,0xf0,0x23,0x01,0x00,0x00]
2350           vpord  291(%rax,%r14,8), %zmm2, %zmm23
2351
2352 // CHECK: vpord  (%rcx){1to16}, %zmm2, %zmm23
2353 // CHECK:  encoding: [0x62,0xe1,0x6d,0x58,0xeb,0x39]
2354           vpord  (%rcx){1to16}, %zmm2, %zmm23
2355
2356 // CHECK: vpord  8128(%rdx), %zmm2, %zmm23
2357 // CHECK:  encoding: [0x62,0xe1,0x6d,0x48,0xeb,0x7a,0x7f]
2358           vpord  8128(%rdx), %zmm2, %zmm23
2359
2360 // CHECK: vpord  8192(%rdx), %zmm2, %zmm23
2361 // CHECK:  encoding: [0x62,0xe1,0x6d,0x48,0xeb,0xba,0x00,0x20,0x00,0x00]
2362           vpord  8192(%rdx), %zmm2, %zmm23
2363
2364 // CHECK: vpord  -8192(%rdx), %zmm2, %zmm23
2365 // CHECK:  encoding: [0x62,0xe1,0x6d,0x48,0xeb,0x7a,0x80]
2366           vpord  -8192(%rdx), %zmm2, %zmm23
2367
2368 // CHECK: vpord  -8256(%rdx), %zmm2, %zmm23
2369 // CHECK:  encoding: [0x62,0xe1,0x6d,0x48,0xeb,0xba,0xc0,0xdf,0xff,0xff]
2370           vpord  -8256(%rdx), %zmm2, %zmm23
2371
2372 // CHECK: vpord  508(%rdx){1to16}, %zmm2, %zmm23
2373 // CHECK:  encoding: [0x62,0xe1,0x6d,0x58,0xeb,0x7a,0x7f]
2374           vpord  508(%rdx){1to16}, %zmm2, %zmm23
2375
2376 // CHECK: vpord  512(%rdx){1to16}, %zmm2, %zmm23
2377 // CHECK:  encoding: [0x62,0xe1,0x6d,0x58,0xeb,0xba,0x00,0x02,0x00,0x00]
2378           vpord  512(%rdx){1to16}, %zmm2, %zmm23
2379
2380 // CHECK: vpord  -512(%rdx){1to16}, %zmm2, %zmm23
2381 // CHECK:  encoding: [0x62,0xe1,0x6d,0x58,0xeb,0x7a,0x80]
2382           vpord  -512(%rdx){1to16}, %zmm2, %zmm23
2383
2384 // CHECK: vpord  -516(%rdx){1to16}, %zmm2, %zmm23
2385 // CHECK:  encoding: [0x62,0xe1,0x6d,0x58,0xeb,0xba,0xfc,0xfd,0xff,0xff]
2386           vpord  -516(%rdx){1to16}, %zmm2, %zmm23
2387
2388 // CHECK: vporq  %zmm6, %zmm10, %zmm1
2389 // CHECK:  encoding: [0x62,0xf1,0xad,0x48,0xeb,0xce]
2390           vporq  %zmm6, %zmm10, %zmm1
2391
2392 // CHECK: vporq  %zmm6, %zmm10, %zmm1 {%k2}
2393 // CHECK:  encoding: [0x62,0xf1,0xad,0x4a,0xeb,0xce]
2394           vporq  %zmm6, %zmm10, %zmm1 {%k2}
2395
2396 // CHECK: vporq  %zmm6, %zmm10, %zmm1 {%k2} {z}
2397 // CHECK:  encoding: [0x62,0xf1,0xad,0xca,0xeb,0xce]
2398           vporq  %zmm6, %zmm10, %zmm1 {%k2} {z}
2399
2400 // CHECK: vporq  (%rcx), %zmm10, %zmm1
2401 // CHECK:  encoding: [0x62,0xf1,0xad,0x48,0xeb,0x09]
2402           vporq  (%rcx), %zmm10, %zmm1
2403
2404 // CHECK: vporq  291(%rax,%r14,8), %zmm10, %zmm1
2405 // CHECK:  encoding: [0x62,0xb1,0xad,0x48,0xeb,0x8c,0xf0,0x23,0x01,0x00,0x00]
2406           vporq  291(%rax,%r14,8), %zmm10, %zmm1
2407
2408 // CHECK: vporq  (%rcx){1to8}, %zmm10, %zmm1
2409 // CHECK:  encoding: [0x62,0xf1,0xad,0x58,0xeb,0x09]
2410           vporq  (%rcx){1to8}, %zmm10, %zmm1
2411
2412 // CHECK: vporq  8128(%rdx), %zmm10, %zmm1
2413 // CHECK:  encoding: [0x62,0xf1,0xad,0x48,0xeb,0x4a,0x7f]
2414           vporq  8128(%rdx), %zmm10, %zmm1
2415
2416 // CHECK: vporq  8192(%rdx), %zmm10, %zmm1
2417 // CHECK:  encoding: [0x62,0xf1,0xad,0x48,0xeb,0x8a,0x00,0x20,0x00,0x00]
2418           vporq  8192(%rdx), %zmm10, %zmm1
2419
2420 // CHECK: vporq  -8192(%rdx), %zmm10, %zmm1
2421 // CHECK:  encoding: [0x62,0xf1,0xad,0x48,0xeb,0x4a,0x80]
2422           vporq  -8192(%rdx), %zmm10, %zmm1
2423
2424 // CHECK: vporq  -8256(%rdx), %zmm10, %zmm1
2425 // CHECK:  encoding: [0x62,0xf1,0xad,0x48,0xeb,0x8a,0xc0,0xdf,0xff,0xff]
2426           vporq  -8256(%rdx), %zmm10, %zmm1
2427
2428 // CHECK: vporq  1016(%rdx){1to8}, %zmm10, %zmm1
2429 // CHECK:  encoding: [0x62,0xf1,0xad,0x58,0xeb,0x4a,0x7f]
2430           vporq  1016(%rdx){1to8}, %zmm10, %zmm1
2431
2432 // CHECK: vporq  1024(%rdx){1to8}, %zmm10, %zmm1
2433 // CHECK:  encoding: [0x62,0xf1,0xad,0x58,0xeb,0x8a,0x00,0x04,0x00,0x00]
2434           vporq  1024(%rdx){1to8}, %zmm10, %zmm1
2435
2436 // CHECK: vporq  -1024(%rdx){1to8}, %zmm10, %zmm1
2437 // CHECK:  encoding: [0x62,0xf1,0xad,0x58,0xeb,0x4a,0x80]
2438           vporq  -1024(%rdx){1to8}, %zmm10, %zmm1
2439
2440 // CHECK: vporq  -1032(%rdx){1to8}, %zmm10, %zmm1
2441 // CHECK:  encoding: [0x62,0xf1,0xad,0x58,0xeb,0x8a,0xf8,0xfb,0xff,0xff]
2442           vporq  -1032(%rdx){1to8}, %zmm10, %zmm1
2443
2444 // CHECK: vpsubd %zmm7, %zmm28, %zmm7
2445 // CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0xfa,0xff]
2446           vpsubd %zmm7, %zmm28, %zmm7
2447
2448 // CHECK: vpsubd %zmm7, %zmm28, %zmm7 {%k3}
2449 // CHECK:  encoding: [0x62,0xf1,0x1d,0x43,0xfa,0xff]
2450           vpsubd %zmm7, %zmm28, %zmm7 {%k3}
2451
2452 // CHECK: vpsubd %zmm7, %zmm28, %zmm7 {%k3} {z}
2453 // CHECK:  encoding: [0x62,0xf1,0x1d,0xc3,0xfa,0xff]
2454           vpsubd %zmm7, %zmm28, %zmm7 {%k3} {z}
2455
2456 // CHECK: vpsubd (%rcx), %zmm28, %zmm7
2457 // CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0xfa,0x39]
2458           vpsubd (%rcx), %zmm28, %zmm7
2459
2460 // CHECK: vpsubd 291(%rax,%r14,8), %zmm28, %zmm7
2461 // CHECK:  encoding: [0x62,0xb1,0x1d,0x40,0xfa,0xbc,0xf0,0x23,0x01,0x00,0x00]
2462           vpsubd 291(%rax,%r14,8), %zmm28, %zmm7
2463
2464 // CHECK: vpsubd (%rcx){1to16}, %zmm28, %zmm7
2465 // CHECK:  encoding: [0x62,0xf1,0x1d,0x50,0xfa,0x39]
2466           vpsubd (%rcx){1to16}, %zmm28, %zmm7
2467
2468 // CHECK: vpsubd 8128(%rdx), %zmm28, %zmm7
2469 // CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0xfa,0x7a,0x7f]
2470           vpsubd 8128(%rdx), %zmm28, %zmm7
2471
2472 // CHECK: vpsubd 8192(%rdx), %zmm28, %zmm7
2473 // CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0xfa,0xba,0x00,0x20,0x00,0x00]
2474           vpsubd 8192(%rdx), %zmm28, %zmm7
2475
2476 // CHECK: vpsubd -8192(%rdx), %zmm28, %zmm7
2477 // CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0xfa,0x7a,0x80]
2478           vpsubd -8192(%rdx), %zmm28, %zmm7
2479
2480 // CHECK: vpsubd -8256(%rdx), %zmm28, %zmm7
2481 // CHECK:  encoding: [0x62,0xf1,0x1d,0x40,0xfa,0xba,0xc0,0xdf,0xff,0xff]
2482           vpsubd -8256(%rdx), %zmm28, %zmm7
2483
2484 // CHECK: vpsubd 508(%rdx){1to16}, %zmm28, %zmm7
2485 // CHECK:  encoding: [0x62,0xf1,0x1d,0x50,0xfa,0x7a,0x7f]
2486           vpsubd 508(%rdx){1to16}, %zmm28, %zmm7
2487
2488 // CHECK: vpsubd 512(%rdx){1to16}, %zmm28, %zmm7
2489 // CHECK:  encoding: [0x62,0xf1,0x1d,0x50,0xfa,0xba,0x00,0x02,0x00,0x00]
2490           vpsubd 512(%rdx){1to16}, %zmm28, %zmm7
2491
2492 // CHECK: vpsubd -512(%rdx){1to16}, %zmm28, %zmm7
2493 // CHECK:  encoding: [0x62,0xf1,0x1d,0x50,0xfa,0x7a,0x80]
2494           vpsubd -512(%rdx){1to16}, %zmm28, %zmm7
2495
2496 // CHECK: vpsubd -516(%rdx){1to16}, %zmm28, %zmm7
2497 // CHECK:  encoding: [0x62,0xf1,0x1d,0x50,0xfa,0xba,0xfc,0xfd,0xff,0xff]
2498           vpsubd -516(%rdx){1to16}, %zmm28, %zmm7
2499
2500 // CHECK: vpsubq %zmm17, %zmm28, %zmm29
2501 // CHECK:  encoding: [0x62,0x21,0x9d,0x40,0xfb,0xe9]
2502           vpsubq %zmm17, %zmm28, %zmm29
2503
2504 // CHECK: vpsubq %zmm17, %zmm28, %zmm29 {%k2}
2505 // CHECK:  encoding: [0x62,0x21,0x9d,0x42,0xfb,0xe9]
2506           vpsubq %zmm17, %zmm28, %zmm29 {%k2}
2507
2508 // CHECK: vpsubq %zmm17, %zmm28, %zmm29 {%k2} {z}
2509 // CHECK:  encoding: [0x62,0x21,0x9d,0xc2,0xfb,0xe9]
2510           vpsubq %zmm17, %zmm28, %zmm29 {%k2} {z}
2511
2512 // CHECK: vpsubq (%rcx), %zmm28, %zmm29
2513 // CHECK:  encoding: [0x62,0x61,0x9d,0x40,0xfb,0x29]
2514           vpsubq (%rcx), %zmm28, %zmm29
2515
2516 // CHECK: vpsubq 291(%rax,%r14,8), %zmm28, %zmm29
2517 // CHECK:  encoding: [0x62,0x21,0x9d,0x40,0xfb,0xac,0xf0,0x23,0x01,0x00,0x00]
2518           vpsubq 291(%rax,%r14,8), %zmm28, %zmm29
2519
2520 // CHECK: vpsubq (%rcx){1to8}, %zmm28, %zmm29
2521 // CHECK:  encoding: [0x62,0x61,0x9d,0x50,0xfb,0x29]
2522           vpsubq (%rcx){1to8}, %zmm28, %zmm29
2523
2524 // CHECK: vpsubq 8128(%rdx), %zmm28, %zmm29
2525 // CHECK:  encoding: [0x62,0x61,0x9d,0x40,0xfb,0x6a,0x7f]
2526           vpsubq 8128(%rdx), %zmm28, %zmm29
2527
2528 // CHECK: vpsubq 8192(%rdx), %zmm28, %zmm29
2529 // CHECK:  encoding: [0x62,0x61,0x9d,0x40,0xfb,0xaa,0x00,0x20,0x00,0x00]
2530           vpsubq 8192(%rdx), %zmm28, %zmm29
2531
2532 // CHECK: vpsubq -8192(%rdx), %zmm28, %zmm29
2533 // CHECK:  encoding: [0x62,0x61,0x9d,0x40,0xfb,0x6a,0x80]
2534           vpsubq -8192(%rdx), %zmm28, %zmm29
2535
2536 // CHECK: vpsubq -8256(%rdx), %zmm28, %zmm29
2537 // CHECK:  encoding: [0x62,0x61,0x9d,0x40,0xfb,0xaa,0xc0,0xdf,0xff,0xff]
2538           vpsubq -8256(%rdx), %zmm28, %zmm29
2539
2540 // CHECK: vpsubq 1016(%rdx){1to8}, %zmm28, %zmm29
2541 // CHECK:  encoding: [0x62,0x61,0x9d,0x50,0xfb,0x6a,0x7f]
2542           vpsubq 1016(%rdx){1to8}, %zmm28, %zmm29
2543
2544 // CHECK: vpsubq 1024(%rdx){1to8}, %zmm28, %zmm29
2545 // CHECK:  encoding: [0x62,0x61,0x9d,0x50,0xfb,0xaa,0x00,0x04,0x00,0x00]
2546           vpsubq 1024(%rdx){1to8}, %zmm28, %zmm29
2547
2548 // CHECK: vpsubq -1024(%rdx){1to8}, %zmm28, %zmm29
2549 // CHECK:  encoding: [0x62,0x61,0x9d,0x50,0xfb,0x6a,0x80]
2550           vpsubq -1024(%rdx){1to8}, %zmm28, %zmm29
2551
2552 // CHECK: vpsubq -1032(%rdx){1to8}, %zmm28, %zmm29
2553 // CHECK:  encoding: [0x62,0x61,0x9d,0x50,0xfb,0xaa,0xf8,0xfb,0xff,0xff]
2554           vpsubq -1032(%rdx){1to8}, %zmm28, %zmm29
2555
2556 // CHECK: vpxord %zmm24, %zmm12, %zmm8
2557 // CHECK:  encoding: [0x62,0x11,0x1d,0x48,0xef,0xc0]
2558           vpxord %zmm24, %zmm12, %zmm8
2559
2560 // CHECK: vpxord %zmm24, %zmm12, %zmm8 {%k6}
2561 // CHECK:  encoding: [0x62,0x11,0x1d,0x4e,0xef,0xc0]
2562           vpxord %zmm24, %zmm12, %zmm8 {%k6}
2563
2564 // CHECK: vpxord %zmm24, %zmm12, %zmm8 {%k6} {z}
2565 // CHECK:  encoding: [0x62,0x11,0x1d,0xce,0xef,0xc0]
2566           vpxord %zmm24, %zmm12, %zmm8 {%k6} {z}
2567
2568 // CHECK: vpxord (%rcx), %zmm12, %zmm8
2569 // CHECK:  encoding: [0x62,0x71,0x1d,0x48,0xef,0x01]
2570           vpxord (%rcx), %zmm12, %zmm8
2571
2572 // CHECK: vpxord 291(%rax,%r14,8), %zmm12, %zmm8
2573 // CHECK:  encoding: [0x62,0x31,0x1d,0x48,0xef,0x84,0xf0,0x23,0x01,0x00,0x00]
2574           vpxord 291(%rax,%r14,8), %zmm12, %zmm8
2575
2576 // CHECK: vpxord (%rcx){1to16}, %zmm12, %zmm8
2577 // CHECK:  encoding: [0x62,0x71,0x1d,0x58,0xef,0x01]
2578           vpxord (%rcx){1to16}, %zmm12, %zmm8
2579
2580 // CHECK: vpxord 8128(%rdx), %zmm12, %zmm8
2581 // CHECK:  encoding: [0x62,0x71,0x1d,0x48,0xef,0x42,0x7f]
2582           vpxord 8128(%rdx), %zmm12, %zmm8
2583
2584 // CHECK: vpxord 8192(%rdx), %zmm12, %zmm8
2585 // CHECK:  encoding: [0x62,0x71,0x1d,0x48,0xef,0x82,0x00,0x20,0x00,0x00]
2586           vpxord 8192(%rdx), %zmm12, %zmm8
2587
2588 // CHECK: vpxord -8192(%rdx), %zmm12, %zmm8
2589 // CHECK:  encoding: [0x62,0x71,0x1d,0x48,0xef,0x42,0x80]
2590           vpxord -8192(%rdx), %zmm12, %zmm8
2591
2592 // CHECK: vpxord -8256(%rdx), %zmm12, %zmm8
2593 // CHECK:  encoding: [0x62,0x71,0x1d,0x48,0xef,0x82,0xc0,0xdf,0xff,0xff]
2594           vpxord -8256(%rdx), %zmm12, %zmm8
2595
2596 // CHECK: vpxord 508(%rdx){1to16}, %zmm12, %zmm8
2597 // CHECK:  encoding: [0x62,0x71,0x1d,0x58,0xef,0x42,0x7f]
2598           vpxord 508(%rdx){1to16}, %zmm12, %zmm8
2599
2600 // CHECK: vpxord 512(%rdx){1to16}, %zmm12, %zmm8
2601 // CHECK:  encoding: [0x62,0x71,0x1d,0x58,0xef,0x82,0x00,0x02,0x00,0x00]
2602           vpxord 512(%rdx){1to16}, %zmm12, %zmm8
2603
2604 // CHECK: vpxord -512(%rdx){1to16}, %zmm12, %zmm8
2605 // CHECK:  encoding: [0x62,0x71,0x1d,0x58,0xef,0x42,0x80]
2606           vpxord -512(%rdx){1to16}, %zmm12, %zmm8
2607
2608 // CHECK: vpxord -516(%rdx){1to16}, %zmm12, %zmm8
2609 // CHECK:  encoding: [0x62,0x71,0x1d,0x58,0xef,0x82,0xfc,0xfd,0xff,0xff]
2610           vpxord -516(%rdx){1to16}, %zmm12, %zmm8
2611
2612 // CHECK: vpxorq %zmm10, %zmm22, %zmm7
2613 // CHECK:  encoding: [0x62,0xd1,0xcd,0x40,0xef,0xfa]
2614           vpxorq %zmm10, %zmm22, %zmm7
2615
2616 // CHECK: vpxorq %zmm10, %zmm22, %zmm7 {%k6}
2617 // CHECK:  encoding: [0x62,0xd1,0xcd,0x46,0xef,0xfa]
2618           vpxorq %zmm10, %zmm22, %zmm7 {%k6}
2619
2620 // CHECK: vpxorq %zmm10, %zmm22, %zmm7 {%k6} {z}
2621 // CHECK:  encoding: [0x62,0xd1,0xcd,0xc6,0xef,0xfa]
2622           vpxorq %zmm10, %zmm22, %zmm7 {%k6} {z}
2623
2624 // CHECK: vpxorq (%rcx), %zmm22, %zmm7
2625 // CHECK:  encoding: [0x62,0xf1,0xcd,0x40,0xef,0x39]
2626           vpxorq (%rcx), %zmm22, %zmm7
2627
2628 // CHECK: vpxorq 291(%rax,%r14,8), %zmm22, %zmm7
2629 // CHECK:  encoding: [0x62,0xb1,0xcd,0x40,0xef,0xbc,0xf0,0x23,0x01,0x00,0x00]
2630           vpxorq 291(%rax,%r14,8), %zmm22, %zmm7
2631
2632 // CHECK: vpxorq (%rcx){1to8}, %zmm22, %zmm7
2633 // CHECK:  encoding: [0x62,0xf1,0xcd,0x50,0xef,0x39]
2634           vpxorq (%rcx){1to8}, %zmm22, %zmm7
2635
2636 // CHECK: vpxorq 8128(%rdx), %zmm22, %zmm7
2637 // CHECK:  encoding: [0x62,0xf1,0xcd,0x40,0xef,0x7a,0x7f]
2638           vpxorq 8128(%rdx), %zmm22, %zmm7
2639
2640 // CHECK: vpxorq 8192(%rdx), %zmm22, %zmm7
2641 // CHECK:  encoding: [0x62,0xf1,0xcd,0x40,0xef,0xba,0x00,0x20,0x00,0x00]
2642           vpxorq 8192(%rdx), %zmm22, %zmm7
2643
2644 // CHECK: vpxorq -8192(%rdx), %zmm22, %zmm7
2645 // CHECK:  encoding: [0x62,0xf1,0xcd,0x40,0xef,0x7a,0x80]
2646           vpxorq -8192(%rdx), %zmm22, %zmm7
2647
2648 // CHECK: vpxorq -8256(%rdx), %zmm22, %zmm7
2649 // CHECK:  encoding: [0x62,0xf1,0xcd,0x40,0xef,0xba,0xc0,0xdf,0xff,0xff]
2650           vpxorq -8256(%rdx), %zmm22, %zmm7
2651
2652 // CHECK: vpxorq 1016(%rdx){1to8}, %zmm22, %zmm7
2653 // CHECK:  encoding: [0x62,0xf1,0xcd,0x50,0xef,0x7a,0x7f]
2654           vpxorq 1016(%rdx){1to8}, %zmm22, %zmm7
2655
2656 // CHECK: vpxorq 1024(%rdx){1to8}, %zmm22, %zmm7
2657 // CHECK:  encoding: [0x62,0xf1,0xcd,0x50,0xef,0xba,0x00,0x04,0x00,0x00]
2658           vpxorq 1024(%rdx){1to8}, %zmm22, %zmm7
2659
2660 // CHECK: vpxorq -1024(%rdx){1to8}, %zmm22, %zmm7
2661 // CHECK:  encoding: [0x62,0xf1,0xcd,0x50,0xef,0x7a,0x80]
2662           vpxorq -1024(%rdx){1to8}, %zmm22, %zmm7
2663
2664 // CHECK: vpxorq -1032(%rdx){1to8}, %zmm22, %zmm7
2665 // CHECK:  encoding: [0x62,0xf1,0xcd,0x50,0xef,0xba,0xf8,0xfb,0xff,0xff]
2666           vpxorq -1032(%rdx){1to8}, %zmm22, %zmm7
2667
2668 // CHECK: vsubpd %zmm9, %zmm12, %zmm9
2669 // CHECK:  encoding: [0x62,0x51,0x9d,0x48,0x5c,0xc9]
2670           vsubpd %zmm9, %zmm12, %zmm9
2671
2672 // CHECK: vsubpd %zmm9, %zmm12, %zmm9 {%k7}
2673 // CHECK:  encoding: [0x62,0x51,0x9d,0x4f,0x5c,0xc9]
2674           vsubpd %zmm9, %zmm12, %zmm9 {%k7}
2675
2676 // CHECK: vsubpd %zmm9, %zmm12, %zmm9 {%k7} {z}
2677 // CHECK:  encoding: [0x62,0x51,0x9d,0xcf,0x5c,0xc9]
2678           vsubpd %zmm9, %zmm12, %zmm9 {%k7} {z}
2679
2680 // CHECK: vsubpd (%rcx), %zmm12, %zmm9
2681 // CHECK:  encoding: [0x62,0x71,0x9d,0x48,0x5c,0x09]
2682           vsubpd (%rcx), %zmm12, %zmm9
2683
2684 // CHECK: vsubpd 291(%rax,%r14,8), %zmm12, %zmm9
2685 // CHECK:  encoding: [0x62,0x31,0x9d,0x48,0x5c,0x8c,0xf0,0x23,0x01,0x00,0x00]
2686           vsubpd 291(%rax,%r14,8), %zmm12, %zmm9
2687
2688 // CHECK: vsubpd (%rcx){1to8}, %zmm12, %zmm9
2689 // CHECK:  encoding: [0x62,0x71,0x9d,0x58,0x5c,0x09]
2690           vsubpd (%rcx){1to8}, %zmm12, %zmm9
2691
2692 // CHECK: vsubpd 8128(%rdx), %zmm12, %zmm9
2693 // CHECK:  encoding: [0x62,0x71,0x9d,0x48,0x5c,0x4a,0x7f]
2694           vsubpd 8128(%rdx), %zmm12, %zmm9
2695
2696 // CHECK: vsubpd 8192(%rdx), %zmm12, %zmm9
2697 // CHECK:  encoding: [0x62,0x71,0x9d,0x48,0x5c,0x8a,0x00,0x20,0x00,0x00]
2698           vsubpd 8192(%rdx), %zmm12, %zmm9
2699
2700 // CHECK: vsubpd -8192(%rdx), %zmm12, %zmm9
2701 // CHECK:  encoding: [0x62,0x71,0x9d,0x48,0x5c,0x4a,0x80]
2702           vsubpd -8192(%rdx), %zmm12, %zmm9
2703
2704 // CHECK: vsubpd -8256(%rdx), %zmm12, %zmm9
2705 // CHECK:  encoding: [0x62,0x71,0x9d,0x48,0x5c,0x8a,0xc0,0xdf,0xff,0xff]
2706           vsubpd -8256(%rdx), %zmm12, %zmm9
2707
2708 // CHECK: vsubpd 1016(%rdx){1to8}, %zmm12, %zmm9
2709 // CHECK:  encoding: [0x62,0x71,0x9d,0x58,0x5c,0x4a,0x7f]
2710           vsubpd 1016(%rdx){1to8}, %zmm12, %zmm9
2711
2712 // CHECK: vsubpd 1024(%rdx){1to8}, %zmm12, %zmm9
2713 // CHECK:  encoding: [0x62,0x71,0x9d,0x58,0x5c,0x8a,0x00,0x04,0x00,0x00]
2714           vsubpd 1024(%rdx){1to8}, %zmm12, %zmm9
2715
2716 // CHECK: vsubpd -1024(%rdx){1to8}, %zmm12, %zmm9
2717 // CHECK:  encoding: [0x62,0x71,0x9d,0x58,0x5c,0x4a,0x80]
2718           vsubpd -1024(%rdx){1to8}, %zmm12, %zmm9
2719
2720 // CHECK: vsubpd -1032(%rdx){1to8}, %zmm12, %zmm9
2721 // CHECK:  encoding: [0x62,0x71,0x9d,0x58,0x5c,0x8a,0xf8,0xfb,0xff,0xff]
2722           vsubpd -1032(%rdx){1to8}, %zmm12, %zmm9
2723
2724 // CHECK: vsubps %zmm21, %zmm27, %zmm14
2725 // CHECK:  encoding: [0x62,0x31,0x24,0x40,0x5c,0xf5]
2726           vsubps %zmm21, %zmm27, %zmm14
2727
2728 // CHECK: vsubps %zmm21, %zmm27, %zmm14 {%k5}
2729 // CHECK:  encoding: [0x62,0x31,0x24,0x45,0x5c,0xf5]
2730           vsubps %zmm21, %zmm27, %zmm14 {%k5}
2731
2732 // CHECK: vsubps %zmm21, %zmm27, %zmm14 {%k5} {z}
2733 // CHECK:  encoding: [0x62,0x31,0x24,0xc5,0x5c,0xf5]
2734           vsubps %zmm21, %zmm27, %zmm14 {%k5} {z}
2735
2736 // CHECK: vsubps (%rcx), %zmm27, %zmm14
2737 // CHECK:  encoding: [0x62,0x71,0x24,0x40,0x5c,0x31]
2738           vsubps (%rcx), %zmm27, %zmm14
2739
2740 // CHECK: vsubps 291(%rax,%r14,8), %zmm27, %zmm14
2741 // CHECK:  encoding: [0x62,0x31,0x24,0x40,0x5c,0xb4,0xf0,0x23,0x01,0x00,0x00]
2742           vsubps 291(%rax,%r14,8), %zmm27, %zmm14
2743
2744 // CHECK: vsubps (%rcx){1to16}, %zmm27, %zmm14
2745 // CHECK:  encoding: [0x62,0x71,0x24,0x50,0x5c,0x31]
2746           vsubps (%rcx){1to16}, %zmm27, %zmm14
2747
2748 // CHECK: vsubps 8128(%rdx), %zmm27, %zmm14
2749 // CHECK:  encoding: [0x62,0x71,0x24,0x40,0x5c,0x72,0x7f]
2750           vsubps 8128(%rdx), %zmm27, %zmm14
2751
2752 // CHECK: vsubps 8192(%rdx), %zmm27, %zmm14
2753 // CHECK:  encoding: [0x62,0x71,0x24,0x40,0x5c,0xb2,0x00,0x20,0x00,0x00]
2754           vsubps 8192(%rdx), %zmm27, %zmm14
2755
2756 // CHECK: vsubps -8192(%rdx), %zmm27, %zmm14
2757 // CHECK:  encoding: [0x62,0x71,0x24,0x40,0x5c,0x72,0x80]
2758           vsubps -8192(%rdx), %zmm27, %zmm14
2759
2760 // CHECK: vsubps -8256(%rdx), %zmm27, %zmm14
2761 // CHECK:  encoding: [0x62,0x71,0x24,0x40,0x5c,0xb2,0xc0,0xdf,0xff,0xff]
2762           vsubps -8256(%rdx), %zmm27, %zmm14
2763
2764 // CHECK: vsubps 508(%rdx){1to16}, %zmm27, %zmm14
2765 // CHECK:  encoding: [0x62,0x71,0x24,0x50,0x5c,0x72,0x7f]
2766           vsubps 508(%rdx){1to16}, %zmm27, %zmm14
2767
2768 // CHECK: vsubps 512(%rdx){1to16}, %zmm27, %zmm14
2769 // CHECK:  encoding: [0x62,0x71,0x24,0x50,0x5c,0xb2,0x00,0x02,0x00,0x00]
2770           vsubps 512(%rdx){1to16}, %zmm27, %zmm14
2771
2772 // CHECK: vsubps -512(%rdx){1to16}, %zmm27, %zmm14
2773 // CHECK:  encoding: [0x62,0x71,0x24,0x50,0x5c,0x72,0x80]
2774           vsubps -512(%rdx){1to16}, %zmm27, %zmm14
2775
2776 // CHECK: vsubps -516(%rdx){1to16}, %zmm27, %zmm14
2777 // CHECK:  encoding: [0x62,0x71,0x24,0x50,0x5c,0xb2,0xfc,0xfd,0xff,0xff]
2778           vsubps -516(%rdx){1to16}, %zmm27, %zmm14
2779
2780 // CHECK: kandw  %k6, %k5, %k2
2781 // CHECK:  encoding: [0xc5,0xd4,0x41,0xd6]
2782           kandw  %k6, %k5, %k2
2783
2784 // CHECK: kandnw %k7, %k6, %k4
2785 // CHECK:  encoding: [0xc5,0xcc,0x42,0xe7]
2786           kandnw %k7, %k6, %k4
2787
2788 // CHECK: korw   %k7, %k6, %k4
2789 // CHECK:  encoding: [0xc5,0xcc,0x45,0xe7]
2790           korw   %k7, %k6, %k4
2791
2792 // CHECK: kxnorw %k5, %k5, %k3
2793 // CHECK:  encoding: [0xc5,0xd4,0x46,0xdd]
2794           kxnorw %k5, %k5, %k3
2795
2796 // CHECK: kxorw  %k7, %k6, %k2
2797 // CHECK:  encoding: [0xc5,0xcc,0x47,0xd7]
2798           kxorw  %k7, %k6, %k2
2799
2800 // CHECK: knotw  %k6, %k3
2801 // CHECK:  encoding: [0xc5,0xf8,0x44,0xde]
2802           knotw  %k6, %k3
2803
2804 // CHECK: kmovw  %k5, %k4
2805 // CHECK:  encoding: [0xc5,0xf8,0x90,0xe5]
2806           kmovw  %k5, %k4
2807
2808 // CHECK: kmovw  (%rcx), %k4
2809 // CHECK:  encoding: [0xc5,0xf8,0x90,0x21]
2810           kmovw  (%rcx), %k4
2811
2812 // CHECK: kmovw  291(%rax,%r14,8), %k4
2813 // CHECK:  encoding: [0xc4,0xa1,0x78,0x90,0xa4,0xf0,0x23,0x01,0x00,0x00]
2814           kmovw  291(%rax,%r14,8), %k4
2815
2816 // CHECK: kmovw  %k4, (%rcx)
2817 // CHECK:  encoding: [0xc5,0xf8,0x91,0x21]
2818           kmovw  %k4, (%rcx)
2819
2820 // CHECK: kmovw  %k4, 291(%rax,%r14,8)
2821 // CHECK:  encoding: [0xc4,0xa1,0x78,0x91,0xa4,0xf0,0x23,0x01,0x00,0x00]
2822           kmovw  %k4, 291(%rax,%r14,8)
2823
2824 // CHECK: kmovw  %eax, %k3
2825 // CHECK:  encoding: [0xc5,0xf8,0x92,0xd8]
2826           kmovw  %eax, %k3
2827
2828 // CHECK: kmovw  %ebp, %k3
2829 // CHECK:  encoding: [0xc5,0xf8,0x92,0xdd]
2830           kmovw  %ebp, %k3
2831
2832 // CHECK: kmovw  %r13d, %k3
2833 // CHECK:  encoding: [0xc4,0xc1,0x78,0x92,0xdd]
2834           kmovw  %r13d, %k3
2835
2836 // CHECK: kmovw  %k2, %eax
2837 // CHECK:  encoding: [0xc5,0xf8,0x93,0xc2]
2838           kmovw  %k2, %eax
2839
2840 // CHECK: kmovw  %k2, %ebp
2841 // CHECK:  encoding: [0xc5,0xf8,0x93,0xea]
2842           kmovw  %k2, %ebp
2843
2844 // CHECK: kmovw  %k2, %r13d
2845 // CHECK:  encoding: [0xc5,0x78,0x93,0xea]
2846           kmovw  %k2, %r13d
2847
2848 // CHECK: vmovapd %zmm18, (%rcx)
2849 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x29,0x11]
2850           vmovapd %zmm18, (%rcx)
2851
2852 // CHECK: vmovapd %zmm18, (%rcx) {%k6}
2853 // CHECK:  encoding: [0x62,0xe1,0xfd,0x4e,0x29,0x11]
2854           vmovapd %zmm18, (%rcx) {%k6}
2855
2856 // CHECK: vmovapd %zmm18, 291(%rax,%r14,8)
2857 // CHECK:  encoding: [0x62,0xa1,0xfd,0x48,0x29,0x94,0xf0,0x23,0x01,0x00,0x00]
2858           vmovapd %zmm18, 291(%rax,%r14,8)
2859
2860 // CHECK: vmovapd %zmm18, 8128(%rdx)
2861 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x29,0x52,0x7f]
2862           vmovapd %zmm18, 8128(%rdx)
2863
2864 // CHECK: vmovapd %zmm18, 8192(%rdx)
2865 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x29,0x92,0x00,0x20,0x00,0x00]
2866           vmovapd %zmm18, 8192(%rdx)
2867
2868 // CHECK: vmovapd %zmm18, -8192(%rdx)
2869 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x29,0x52,0x80]
2870           vmovapd %zmm18, -8192(%rdx)
2871
2872 // CHECK: vmovapd %zmm18, -8256(%rdx)
2873 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x29,0x92,0xc0,0xdf,0xff,0xff]
2874           vmovapd %zmm18, -8256(%rdx)
2875
2876 // CHECK: vmovaps %zmm9, (%rcx)
2877 // CHECK:  encoding: [0x62,0x71,0x7c,0x48,0x29,0x09]
2878           vmovaps %zmm9, (%rcx)
2879
2880 // CHECK: vmovaps %zmm9, (%rcx) {%k3}
2881 // CHECK:  encoding: [0x62,0x71,0x7c,0x4b,0x29,0x09]
2882           vmovaps %zmm9, (%rcx) {%k3}
2883
2884 // CHECK: vmovaps %zmm9, 291(%rax,%r14,8)
2885 // CHECK:  encoding: [0x62,0x31,0x7c,0x48,0x29,0x8c,0xf0,0x23,0x01,0x00,0x00]
2886           vmovaps %zmm9, 291(%rax,%r14,8)
2887
2888 // CHECK: vmovaps %zmm9, 8128(%rdx)
2889 // CHECK:  encoding: [0x62,0x71,0x7c,0x48,0x29,0x4a,0x7f]
2890           vmovaps %zmm9, 8128(%rdx)
2891
2892 // CHECK: vmovaps %zmm9, 8192(%rdx)
2893 // CHECK:  encoding: [0x62,0x71,0x7c,0x48,0x29,0x8a,0x00,0x20,0x00,0x00]
2894           vmovaps %zmm9, 8192(%rdx)
2895
2896 // CHECK: vmovaps %zmm9, -8192(%rdx)
2897 // CHECK:  encoding: [0x62,0x71,0x7c,0x48,0x29,0x4a,0x80]
2898           vmovaps %zmm9, -8192(%rdx)
2899
2900 // CHECK: vmovaps %zmm9, -8256(%rdx)
2901 // CHECK:  encoding: [0x62,0x71,0x7c,0x48,0x29,0x8a,0xc0,0xdf,0xff,0xff]
2902           vmovaps %zmm9, -8256(%rdx)
2903
2904 // CHECK: vmovdqa32 %zmm18, (%rcx)
2905 // CHECK:  encoding: [0x62,0xe1,0x7d,0x48,0x7f,0x11]
2906           vmovdqa32 %zmm18, (%rcx)
2907
2908 // CHECK: vmovdqa32 %zmm18, (%rcx) {%k4}
2909 // CHECK:  encoding: [0x62,0xe1,0x7d,0x4c,0x7f,0x11]
2910           vmovdqa32 %zmm18, (%rcx) {%k4}
2911
2912 // CHECK: vmovdqa32 %zmm18, 291(%rax,%r14,8)
2913 // CHECK:  encoding: [0x62,0xa1,0x7d,0x48,0x7f,0x94,0xf0,0x23,0x01,0x00,0x00]
2914           vmovdqa32 %zmm18, 291(%rax,%r14,8)
2915
2916 // CHECK: vmovdqa32 %zmm18, 8128(%rdx)
2917 // CHECK:  encoding: [0x62,0xe1,0x7d,0x48,0x7f,0x52,0x7f]
2918           vmovdqa32 %zmm18, 8128(%rdx)
2919
2920 // CHECK: vmovdqa32 %zmm18, 8192(%rdx)
2921 // CHECK:  encoding: [0x62,0xe1,0x7d,0x48,0x7f,0x92,0x00,0x20,0x00,0x00]
2922           vmovdqa32 %zmm18, 8192(%rdx)
2923
2924 // CHECK: vmovdqa32 %zmm18, -8192(%rdx)
2925 // CHECK:  encoding: [0x62,0xe1,0x7d,0x48,0x7f,0x52,0x80]
2926           vmovdqa32 %zmm18, -8192(%rdx)
2927
2928 // CHECK: vmovdqa32 %zmm18, -8256(%rdx)
2929 // CHECK:  encoding: [0x62,0xe1,0x7d,0x48,0x7f,0x92,0xc0,0xdf,0xff,0xff]
2930           vmovdqa32 %zmm18, -8256(%rdx)
2931
2932 // CHECK: vmovdqa64 %zmm19, (%rcx)
2933 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x7f,0x19]
2934           vmovdqa64 %zmm19, (%rcx)
2935
2936 // CHECK: vmovdqa64 %zmm19, (%rcx) {%k5}
2937 // CHECK:  encoding: [0x62,0xe1,0xfd,0x4d,0x7f,0x19]
2938           vmovdqa64 %zmm19, (%rcx) {%k5}
2939
2940 // CHECK: vmovdqa64 %zmm19, 291(%rax,%r14,8)
2941 // CHECK:  encoding: [0x62,0xa1,0xfd,0x48,0x7f,0x9c,0xf0,0x23,0x01,0x00,0x00]
2942           vmovdqa64 %zmm19, 291(%rax,%r14,8)
2943
2944 // CHECK: vmovdqa64 %zmm19, 8128(%rdx)
2945 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x7f,0x5a,0x7f]
2946           vmovdqa64 %zmm19, 8128(%rdx)
2947
2948 // CHECK: vmovdqa64 %zmm19, 8192(%rdx)
2949 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x7f,0x9a,0x00,0x20,0x00,0x00]
2950           vmovdqa64 %zmm19, 8192(%rdx)
2951
2952 // CHECK: vmovdqa64 %zmm19, -8192(%rdx)
2953 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x7f,0x5a,0x80]
2954           vmovdqa64 %zmm19, -8192(%rdx)
2955
2956 // CHECK: vmovdqa64 %zmm19, -8256(%rdx)
2957 // CHECK:  encoding: [0x62,0xe1,0xfd,0x48,0x7f,0x9a,0xc0,0xdf,0xff,0xff]
2958           vmovdqa64 %zmm19, -8256(%rdx)
2959
2960 // CHECK: vmovdqu32 %zmm22, (%rcx)
2961 // CHECK:  encoding: [0x62,0xe1,0x7e,0x48,0x7f,0x31]
2962           vmovdqu32 %zmm22, (%rcx)
2963
2964 // CHECK: vmovdqu32 %zmm22, (%rcx) {%k1}
2965 // CHECK:  encoding: [0x62,0xe1,0x7e,0x49,0x7f,0x31]
2966           vmovdqu32 %zmm22, (%rcx) {%k1}
2967
2968 // CHECK: vmovdqu32 %zmm22, 291(%rax,%r14,8)
2969 // CHECK:  encoding: [0x62,0xa1,0x7e,0x48,0x7f,0xb4,0xf0,0x23,0x01,0x00,0x00]
2970           vmovdqu32 %zmm22, 291(%rax,%r14,8)
2971
2972 // CHECK: vmovdqu32 %zmm22, 8128(%rdx)
2973 // CHECK:  encoding: [0x62,0xe1,0x7e,0x48,0x7f,0x72,0x7f]
2974           vmovdqu32 %zmm22, 8128(%rdx)
2975
2976 // CHECK: vmovdqu32 %zmm22, 8192(%rdx)
2977 // CHECK:  encoding: [0x62,0xe1,0x7e,0x48,0x7f,0xb2,0x00,0x20,0x00,0x00]
2978           vmovdqu32 %zmm22, 8192(%rdx)
2979
2980 // CHECK: vmovdqu32 %zmm22, -8192(%rdx)
2981 // CHECK:  encoding: [0x62,0xe1,0x7e,0x48,0x7f,0x72,0x80]
2982           vmovdqu32 %zmm22, -8192(%rdx)
2983
2984 // CHECK: vmovdqu32 %zmm22, -8256(%rdx)
2985 // CHECK:  encoding: [0x62,0xe1,0x7e,0x48,0x7f,0xb2,0xc0,0xdf,0xff,0xff]
2986           vmovdqu32 %zmm22, -8256(%rdx)
2987
2988 // CHECK: vmovdqu64 %zmm24, (%rcx)
2989 // CHECK:  encoding: [0x62,0x61,0xfe,0x48,0x7f,0x01]
2990           vmovdqu64 %zmm24, (%rcx)
2991
2992 // CHECK: vmovdqu64 %zmm24, (%rcx) {%k5}
2993 // CHECK:  encoding: [0x62,0x61,0xfe,0x4d,0x7f,0x01]
2994           vmovdqu64 %zmm24, (%rcx) {%k5}
2995
2996 // CHECK: vmovdqu64 %zmm24, 291(%rax,%r14,8)
2997 // CHECK:  encoding: [0x62,0x21,0xfe,0x48,0x7f,0x84,0xf0,0x23,0x01,0x00,0x00]
2998           vmovdqu64 %zmm24, 291(%rax,%r14,8)
2999
3000 // CHECK: vmovdqu64 %zmm24, 8128(%rdx)
3001 // CHECK:  encoding: [0x62,0x61,0xfe,0x48,0x7f,0x42,0x7f]
3002           vmovdqu64 %zmm24, 8128(%rdx)
3003
3004 // CHECK: vmovdqu64 %zmm24, 8192(%rdx)
3005 // CHECK:  encoding: [0x62,0x61,0xfe,0x48,0x7f,0x82,0x00,0x20,0x00,0x00]
3006           vmovdqu64 %zmm24, 8192(%rdx)
3007
3008 // CHECK: vmovdqu64 %zmm24, -8192(%rdx)
3009 // CHECK:  encoding: [0x62,0x61,0xfe,0x48,0x7f,0x42,0x80]
3010           vmovdqu64 %zmm24, -8192(%rdx)
3011
3012 // CHECK: vmovdqu64 %zmm24, -8256(%rdx)
3013 // CHECK:  encoding: [0x62,0x61,0xfe,0x48,0x7f,0x82,0xc0,0xdf,0xff,0xff]
3014           vmovdqu64 %zmm24, -8256(%rdx)
3015
3016 // CHECK: vmovupd %zmm10, (%rcx)
3017 // CHECK:  encoding: [0x62,0x71,0xfd,0x48,0x11,0x11]
3018           vmovupd %zmm10, (%rcx)
3019
3020 // CHECK: vmovupd %zmm10, (%rcx) {%k7}
3021 // CHECK:  encoding: [0x62,0x71,0xfd,0x4f,0x11,0x11]
3022           vmovupd %zmm10, (%rcx) {%k7}
3023
3024 // CHECK: vmovupd %zmm10, 291(%rax,%r14,8)
3025 // CHECK:  encoding: [0x62,0x31,0xfd,0x48,0x11,0x94,0xf0,0x23,0x01,0x00,0x00]
3026           vmovupd %zmm10, 291(%rax,%r14,8)
3027
3028 // CHECK: vmovupd %zmm10, 8128(%rdx)
3029 // CHECK:  encoding: [0x62,0x71,0xfd,0x48,0x11,0x52,0x7f]
3030           vmovupd %zmm10, 8128(%rdx)
3031
3032 // CHECK: vmovupd %zmm10, 8192(%rdx)
3033 // CHECK:  encoding: [0x62,0x71,0xfd,0x48,0x11,0x92,0x00,0x20,0x00,0x00]
3034           vmovupd %zmm10, 8192(%rdx)
3035
3036 // CHECK: vmovupd %zmm10, -8192(%rdx)
3037 // CHECK:  encoding: [0x62,0x71,0xfd,0x48,0x11,0x52,0x80]
3038           vmovupd %zmm10, -8192(%rdx)
3039
3040 // CHECK: vmovupd %zmm10, -8256(%rdx)
3041 // CHECK:  encoding: [0x62,0x71,0xfd,0x48,0x11,0x92,0xc0,0xdf,0xff,0xff]
3042           vmovupd %zmm10, -8256(%rdx)
3043
3044 // CHECK: vmovups %zmm24, (%rcx)
3045 // CHECK:  encoding: [0x62,0x61,0x7c,0x48,0x11,0x01]
3046           vmovups %zmm24, (%rcx)
3047
3048 // CHECK: vmovups %zmm24, (%rcx) {%k7}
3049 // CHECK:  encoding: [0x62,0x61,0x7c,0x4f,0x11,0x01]
3050           vmovups %zmm24, (%rcx) {%k7}
3051
3052 // CHECK: vmovups %zmm24, 291(%rax,%r14,8)
3053 // CHECK:  encoding: [0x62,0x21,0x7c,0x48,0x11,0x84,0xf0,0x23,0x01,0x00,0x00]
3054           vmovups %zmm24, 291(%rax,%r14,8)
3055
3056 // CHECK: vmovups %zmm24, 8128(%rdx)
3057 // CHECK:  encoding: [0x62,0x61,0x7c,0x48,0x11,0x42,0x7f]
3058           vmovups %zmm24, 8128(%rdx)
3059
3060 // CHECK: vmovups %zmm24, 8192(%rdx)
3061 // CHECK:  encoding: [0x62,0x61,0x7c,0x48,0x11,0x82,0x00,0x20,0x00,0x00]
3062           vmovups %zmm24, 8192(%rdx)
3063
3064 // CHECK: vmovups %zmm24, -8192(%rdx)
3065 // CHECK:  encoding: [0x62,0x61,0x7c,0x48,0x11,0x42,0x80]
3066           vmovups %zmm24, -8192(%rdx)
3067
3068 // CHECK: vmovups %zmm24, -8256(%rdx)
3069 // CHECK:  encoding: [0x62,0x61,0x7c,0x48,0x11,0x82,0xc0,0xdf,0xff,0xff]
3070           vmovups %zmm24, -8256(%rdx)
3071
3072 // CHECK: vpmovqb %zmm2, %xmm3
3073 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x32,0xd3]
3074           vpmovqb %zmm2, %xmm3
3075
3076 // CHECK: vpmovqb %zmm2, %xmm3 {%k1}
3077 // CHECK:  encoding: [0x62,0xf2,0x7e,0x49,0x32,0xd3]
3078           vpmovqb %zmm2, %xmm3 {%k1}
3079
3080 // CHECK: vpmovqb %zmm2, %xmm3 {%k1} {z}
3081 // CHECK:  encoding: [0x62,0xf2,0x7e,0xc9,0x32,0xd3]
3082           vpmovqb %zmm2, %xmm3 {%k1} {z}
3083
3084 // CHECK: vpmovsqb %zmm29, %xmm30
3085 // CHECK:  encoding: [0x62,0x02,0x7e,0x48,0x22,0xee]
3086           vpmovsqb %zmm29, %xmm30
3087
3088 // CHECK: vpmovsqb %zmm29, %xmm30 {%k5}
3089 // CHECK:  encoding: [0x62,0x02,0x7e,0x4d,0x22,0xee]
3090           vpmovsqb %zmm29, %xmm30 {%k5}
3091
3092 // CHECK: vpmovsqb %zmm29, %xmm30 {%k5} {z}
3093 // CHECK:  encoding: [0x62,0x02,0x7e,0xcd,0x22,0xee]
3094           vpmovsqb %zmm29, %xmm30 {%k5} {z}
3095
3096 // CHECK: vpmovusqb %zmm28, %xmm24
3097 // CHECK:  encoding: [0x62,0x02,0x7e,0x48,0x12,0xe0]
3098           vpmovusqb %zmm28, %xmm24
3099
3100 // CHECK: vpmovusqb %zmm28, %xmm24 {%k7}
3101 // CHECK:  encoding: [0x62,0x02,0x7e,0x4f,0x12,0xe0]
3102           vpmovusqb %zmm28, %xmm24 {%k7}
3103
3104 // CHECK: vpmovusqb %zmm28, %xmm24 {%k7} {z}
3105 // CHECK:  encoding: [0x62,0x02,0x7e,0xcf,0x12,0xe0]
3106           vpmovusqb %zmm28, %xmm24 {%k7} {z}
3107
3108 // CHECK: vpmovqw %zmm18, %xmm6
3109 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x34,0xd6]
3110           vpmovqw %zmm18, %xmm6
3111
3112 // CHECK: vpmovqw %zmm18, %xmm6 {%k1}
3113 // CHECK:  encoding: [0x62,0xe2,0x7e,0x49,0x34,0xd6]
3114           vpmovqw %zmm18, %xmm6 {%k1}
3115
3116 // CHECK: vpmovqw %zmm18, %xmm6 {%k1} {z}
3117 // CHECK:  encoding: [0x62,0xe2,0x7e,0xc9,0x34,0xd6]
3118           vpmovqw %zmm18, %xmm6 {%k1} {z}
3119
3120 // CHECK: vpmovsqw %zmm19, %xmm27
3121 // CHECK:  encoding: [0x62,0x82,0x7e,0x48,0x24,0xdb]
3122           vpmovsqw %zmm19, %xmm27
3123
3124 // CHECK: vpmovsqw %zmm19, %xmm27 {%k6}
3125 // CHECK:  encoding: [0x62,0x82,0x7e,0x4e,0x24,0xdb]
3126           vpmovsqw %zmm19, %xmm27 {%k6}
3127
3128 // CHECK: vpmovsqw %zmm19, %xmm27 {%k6} {z}
3129 // CHECK:  encoding: [0x62,0x82,0x7e,0xce,0x24,0xdb]
3130           vpmovsqw %zmm19, %xmm27 {%k6} {z}
3131
3132 // CHECK: vpmovusqw %zmm10, %xmm28
3133 // CHECK:  encoding: [0x62,0x12,0x7e,0x48,0x14,0xd4]
3134           vpmovusqw %zmm10, %xmm28
3135
3136 // CHECK: vpmovusqw %zmm10, %xmm28 {%k7}
3137 // CHECK:  encoding: [0x62,0x12,0x7e,0x4f,0x14,0xd4]
3138           vpmovusqw %zmm10, %xmm28 {%k7}
3139
3140 // CHECK: vpmovusqw %zmm10, %xmm28 {%k7} {z}
3141 // CHECK:  encoding: [0x62,0x12,0x7e,0xcf,0x14,0xd4]
3142           vpmovusqw %zmm10, %xmm28 {%k7} {z}
3143
3144 // CHECK: vpmovqd %zmm25, %ymm6
3145 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x35,0xce]
3146           vpmovqd %zmm25, %ymm6
3147
3148 // CHECK: vpmovqd %zmm25, %ymm6 {%k5}
3149 // CHECK:  encoding: [0x62,0x62,0x7e,0x4d,0x35,0xce]
3150           vpmovqd %zmm25, %ymm6 {%k5}
3151
3152 // CHECK: vpmovqd %zmm25, %ymm6 {%k5} {z}
3153 // CHECK:  encoding: [0x62,0x62,0x7e,0xcd,0x35,0xce]
3154           vpmovqd %zmm25, %ymm6 {%k5} {z}
3155
3156 // CHECK: vpmovsqd %zmm2, %ymm15
3157 // CHECK:  encoding: [0x62,0xd2,0x7e,0x48,0x25,0xd7]
3158           vpmovsqd %zmm2, %ymm15
3159
3160 // CHECK: vpmovsqd %zmm2, %ymm15 {%k2}
3161 // CHECK:  encoding: [0x62,0xd2,0x7e,0x4a,0x25,0xd7]
3162           vpmovsqd %zmm2, %ymm15 {%k2}
3163
3164 // CHECK: vpmovsqd %zmm2, %ymm15 {%k2} {z}
3165 // CHECK:  encoding: [0x62,0xd2,0x7e,0xca,0x25,0xd7]
3166           vpmovsqd %zmm2, %ymm15 {%k2} {z}
3167
3168 // CHECK: vpmovusqd %zmm4, %ymm8
3169 // CHECK:  encoding: [0x62,0xd2,0x7e,0x48,0x15,0xe0]
3170           vpmovusqd %zmm4, %ymm8
3171
3172 // CHECK: vpmovusqd %zmm4, %ymm8 {%k4}
3173 // CHECK:  encoding: [0x62,0xd2,0x7e,0x4c,0x15,0xe0]
3174           vpmovusqd %zmm4, %ymm8 {%k4}
3175
3176 // CHECK: vpmovusqd %zmm4, %ymm8 {%k4} {z}
3177 // CHECK:  encoding: [0x62,0xd2,0x7e,0xcc,0x15,0xe0]
3178           vpmovusqd %zmm4, %ymm8 {%k4} {z}
3179
3180 // CHECK: vpmovdb %zmm5, %xmm2
3181 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x31,0xea]
3182           vpmovdb %zmm5, %xmm2
3183
3184 // CHECK: vpmovdb %zmm5, %xmm2 {%k5}
3185 // CHECK:  encoding: [0x62,0xf2,0x7e,0x4d,0x31,0xea]
3186           vpmovdb %zmm5, %xmm2 {%k5}
3187
3188 // CHECK: vpmovdb %zmm5, %xmm2 {%k5} {z}
3189 // CHECK:  encoding: [0x62,0xf2,0x7e,0xcd,0x31,0xea]
3190           vpmovdb %zmm5, %xmm2 {%k5} {z}
3191
3192 // CHECK: vpmovsdb %zmm2, %xmm21
3193 // CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x21,0xd5]
3194           vpmovsdb %zmm2, %xmm21
3195
3196 // CHECK: vpmovsdb %zmm2, %xmm21 {%k4}
3197 // CHECK:  encoding: [0x62,0xb2,0x7e,0x4c,0x21,0xd5]
3198           vpmovsdb %zmm2, %xmm21 {%k4}
3199
3200 // CHECK: vpmovsdb %zmm2, %xmm21 {%k4} {z}
3201 // CHECK:  encoding: [0x62,0xb2,0x7e,0xcc,0x21,0xd5]
3202           vpmovsdb %zmm2, %xmm21 {%k4} {z}
3203
3204 // CHECK: vpmovusdb %zmm2, %xmm20
3205 // CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x11,0xd4]
3206           vpmovusdb %zmm2, %xmm20
3207
3208 // CHECK: vpmovusdb %zmm2, %xmm20 {%k3}
3209 // CHECK:  encoding: [0x62,0xb2,0x7e,0x4b,0x11,0xd4]
3210           vpmovusdb %zmm2, %xmm20 {%k3}
3211
3212 // CHECK: vpmovusdb %zmm2, %xmm20 {%k3} {z}
3213 // CHECK:  encoding: [0x62,0xb2,0x7e,0xcb,0x11,0xd4]
3214           vpmovusdb %zmm2, %xmm20 {%k3} {z}
3215
3216 // CHECK: vpmovdw %zmm29, %ymm22
3217 // CHECK:  encoding: [0x62,0x22,0x7e,0x48,0x33,0xee]
3218           vpmovdw %zmm29, %ymm22
3219
3220 // CHECK: vpmovdw %zmm29, %ymm22 {%k5}
3221 // CHECK:  encoding: [0x62,0x22,0x7e,0x4d,0x33,0xee]
3222           vpmovdw %zmm29, %ymm22 {%k5}
3223
3224 // CHECK: vpmovdw %zmm29, %ymm22 {%k5} {z}
3225 // CHECK:  encoding: [0x62,0x22,0x7e,0xcd,0x33,0xee]
3226           vpmovdw %zmm29, %ymm22 {%k5} {z}
3227
3228 // CHECK: vpmovsdw %zmm14, %ymm25
3229 // CHECK:  encoding: [0x62,0x12,0x7e,0x48,0x23,0xf1]
3230           vpmovsdw %zmm14, %ymm25
3231
3232 // CHECK: vpmovsdw %zmm14, %ymm25 {%k4}
3233 // CHECK:  encoding: [0x62,0x12,0x7e,0x4c,0x23,0xf1]
3234           vpmovsdw %zmm14, %ymm25 {%k4}
3235
3236 // CHECK: vpmovsdw %zmm14, %ymm25 {%k4} {z}
3237 // CHECK:  encoding: [0x62,0x12,0x7e,0xcc,0x23,0xf1]
3238           vpmovsdw %zmm14, %ymm25 {%k4} {z}
3239
3240 // CHECK: vpmovusdw %zmm7, %ymm8
3241 // CHECK:  encoding: [0x62,0xd2,0x7e,0x48,0x13,0xf8]
3242           vpmovusdw %zmm7, %ymm8
3243
3244 // CHECK: vpmovusdw %zmm7, %ymm8 {%k1}
3245 // CHECK:  encoding: [0x62,0xd2,0x7e,0x49,0x13,0xf8]
3246           vpmovusdw %zmm7, %ymm8 {%k1}
3247
3248 // CHECK: vpmovusdw %zmm7, %ymm8 {%k1} {z}
3249 // CHECK:  encoding: [0x62,0xd2,0x7e,0xc9,0x13,0xf8]
3250           vpmovusdw %zmm7, %ymm8 {%k1} {z}
3251
3252 // CHECK: vpmovqb %zmm3, (%rcx)
3253 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x32,0x19]
3254           vpmovqb %zmm3, (%rcx)
3255
3256 // CHECK: vpmovqb %zmm3, (%rcx) {%k7}
3257 // CHECK:  encoding: [0x62,0xf2,0x7e,0x4f,0x32,0x19]
3258           vpmovqb %zmm3, (%rcx) {%k7}
3259
3260 // CHECK: vpmovqb %zmm3, 291(%rax,%r14,8)
3261 // CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x32,0x9c,0xf0,0x23,0x01,0x00,0x00]
3262           vpmovqb %zmm3, 291(%rax,%r14,8)
3263
3264 // CHECK: vpmovqb %zmm3, 1016(%rdx)
3265 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x32,0x5a,0x7f]
3266           vpmovqb %zmm3, 1016(%rdx)
3267
3268 // CHECK: vpmovqb %zmm3, 1024(%rdx)
3269 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x32,0x9a,0x00,0x04,0x00,0x00]
3270           vpmovqb %zmm3, 1024(%rdx)
3271
3272 // CHECK: vpmovqb %zmm3, -1024(%rdx)
3273 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x32,0x5a,0x80]
3274           vpmovqb %zmm3, -1024(%rdx)
3275
3276 // CHECK: vpmovqb %zmm3, -1032(%rdx)
3277 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x32,0x9a,0xf8,0xfb,0xff,0xff]
3278           vpmovqb %zmm3, -1032(%rdx)
3279
3280 // CHECK: vpmovsqb %zmm16, (%rcx)
3281 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x22,0x01]
3282           vpmovsqb %zmm16, (%rcx)
3283
3284 // CHECK: vpmovsqb %zmm16, (%rcx) {%k2}
3285 // CHECK:  encoding: [0x62,0xe2,0x7e,0x4a,0x22,0x01]
3286           vpmovsqb %zmm16, (%rcx) {%k2}
3287
3288 // CHECK: vpmovsqb %zmm16, 291(%rax,%r14,8)
3289 // CHECK:  encoding: [0x62,0xa2,0x7e,0x48,0x22,0x84,0xf0,0x23,0x01,0x00,0x00]
3290           vpmovsqb %zmm16, 291(%rax,%r14,8)
3291
3292 // CHECK: vpmovsqb %zmm16, 1016(%rdx)
3293 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x22,0x42,0x7f]
3294           vpmovsqb %zmm16, 1016(%rdx)
3295
3296 // CHECK: vpmovsqb %zmm16, 1024(%rdx)
3297 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x22,0x82,0x00,0x04,0x00,0x00]
3298           vpmovsqb %zmm16, 1024(%rdx)
3299
3300 // CHECK: vpmovsqb %zmm16, -1024(%rdx)
3301 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x22,0x42,0x80]
3302           vpmovsqb %zmm16, -1024(%rdx)
3303
3304 // CHECK: vpmovsqb %zmm16, -1032(%rdx)
3305 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x22,0x82,0xf8,0xfb,0xff,0xff]
3306           vpmovsqb %zmm16, -1032(%rdx)
3307
3308 // CHECK: vpmovusqb %zmm28, (%rcx)
3309 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x12,0x21]
3310           vpmovusqb %zmm28, (%rcx)
3311
3312 // CHECK: vpmovusqb %zmm28, (%rcx) {%k1}
3313 // CHECK:  encoding: [0x62,0x62,0x7e,0x49,0x12,0x21]
3314           vpmovusqb %zmm28, (%rcx) {%k1}
3315
3316 // CHECK: vpmovusqb %zmm28, 291(%rax,%r14,8)
3317 // CHECK:  encoding: [0x62,0x22,0x7e,0x48,0x12,0xa4,0xf0,0x23,0x01,0x00,0x00]
3318           vpmovusqb %zmm28, 291(%rax,%r14,8)
3319
3320 // CHECK: vpmovusqb %zmm28, 1016(%rdx)
3321 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x12,0x62,0x7f]
3322           vpmovusqb %zmm28, 1016(%rdx)
3323
3324 // CHECK: vpmovusqb %zmm28, 1024(%rdx)
3325 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x12,0xa2,0x00,0x04,0x00,0x00]
3326           vpmovusqb %zmm28, 1024(%rdx)
3327
3328 // CHECK: vpmovusqb %zmm28, -1024(%rdx)
3329 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x12,0x62,0x80]
3330           vpmovusqb %zmm28, -1024(%rdx)
3331
3332 // CHECK: vpmovusqb %zmm28, -1032(%rdx)
3333 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x12,0xa2,0xf8,0xfb,0xff,0xff]
3334           vpmovusqb %zmm28, -1032(%rdx)
3335
3336 // CHECK: vpmovqw %zmm7, (%rcx)
3337 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x34,0x39]
3338           vpmovqw %zmm7, (%rcx)
3339
3340 // CHECK: vpmovqw %zmm7, (%rcx) {%k6}
3341 // CHECK:  encoding: [0x62,0xf2,0x7e,0x4e,0x34,0x39]
3342           vpmovqw %zmm7, (%rcx) {%k6}
3343
3344 // CHECK: vpmovqw %zmm7, 291(%rax,%r14,8)
3345 // CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x34,0xbc,0xf0,0x23,0x01,0x00,0x00]
3346           vpmovqw %zmm7, 291(%rax,%r14,8)
3347
3348 // CHECK: vpmovqw %zmm7, 2032(%rdx)
3349 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x34,0x7a,0x7f]
3350           vpmovqw %zmm7, 2032(%rdx)
3351
3352 // CHECK: vpmovqw %zmm7, 2048(%rdx)
3353 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x34,0xba,0x00,0x08,0x00,0x00]
3354           vpmovqw %zmm7, 2048(%rdx)
3355
3356 // CHECK: vpmovqw %zmm7, -2048(%rdx)
3357 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x34,0x7a,0x80]
3358           vpmovqw %zmm7, -2048(%rdx)
3359
3360 // CHECK: vpmovqw %zmm7, -2064(%rdx)
3361 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x34,0xba,0xf0,0xf7,0xff,0xff]
3362           vpmovqw %zmm7, -2064(%rdx)
3363
3364 // CHECK: vpmovsqw %zmm1, (%rcx)
3365 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x24,0x09]
3366           vpmovsqw %zmm1, (%rcx)
3367
3368 // CHECK: vpmovsqw %zmm1, (%rcx) {%k5}
3369 // CHECK:  encoding: [0x62,0xf2,0x7e,0x4d,0x24,0x09]
3370           vpmovsqw %zmm1, (%rcx) {%k5}
3371
3372 // CHECK: vpmovsqw %zmm1, 291(%rax,%r14,8)
3373 // CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x24,0x8c,0xf0,0x23,0x01,0x00,0x00]
3374           vpmovsqw %zmm1, 291(%rax,%r14,8)
3375
3376 // CHECK: vpmovsqw %zmm1, 2032(%rdx)
3377 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x24,0x4a,0x7f]
3378           vpmovsqw %zmm1, 2032(%rdx)
3379
3380 // CHECK: vpmovsqw %zmm1, 2048(%rdx)
3381 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x24,0x8a,0x00,0x08,0x00,0x00]
3382           vpmovsqw %zmm1, 2048(%rdx)
3383
3384 // CHECK: vpmovsqw %zmm1, -2048(%rdx)
3385 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x24,0x4a,0x80]
3386           vpmovsqw %zmm1, -2048(%rdx)
3387
3388 // CHECK: vpmovsqw %zmm1, -2064(%rdx)
3389 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x24,0x8a,0xf0,0xf7,0xff,0xff]
3390           vpmovsqw %zmm1, -2064(%rdx)
3391
3392 // CHECK: vpmovusqw %zmm25, (%rcx)
3393 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x14,0x09]
3394           vpmovusqw %zmm25, (%rcx)
3395
3396 // CHECK: vpmovusqw %zmm25, (%rcx) {%k3}
3397 // CHECK:  encoding: [0x62,0x62,0x7e,0x4b,0x14,0x09]
3398           vpmovusqw %zmm25, (%rcx) {%k3}
3399
3400 // CHECK: vpmovusqw %zmm25, 291(%rax,%r14,8)
3401 // CHECK:  encoding: [0x62,0x22,0x7e,0x48,0x14,0x8c,0xf0,0x23,0x01,0x00,0x00]
3402           vpmovusqw %zmm25, 291(%rax,%r14,8)
3403
3404 // CHECK: vpmovusqw %zmm25, 2032(%rdx)
3405 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x14,0x4a,0x7f]
3406           vpmovusqw %zmm25, 2032(%rdx)
3407
3408 // CHECK: vpmovusqw %zmm25, 2048(%rdx)
3409 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x14,0x8a,0x00,0x08,0x00,0x00]
3410           vpmovusqw %zmm25, 2048(%rdx)
3411
3412 // CHECK: vpmovusqw %zmm25, -2048(%rdx)
3413 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x14,0x4a,0x80]
3414           vpmovusqw %zmm25, -2048(%rdx)
3415
3416 // CHECK: vpmovusqw %zmm25, -2064(%rdx)
3417 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x14,0x8a,0xf0,0xf7,0xff,0xff]
3418           vpmovusqw %zmm25, -2064(%rdx)
3419
3420 // CHECK: vpmovqd %zmm28, (%rcx)
3421 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x35,0x21]
3422           vpmovqd %zmm28, (%rcx)
3423
3424 // CHECK: vpmovqd %zmm28, (%rcx) {%k5}
3425 // CHECK:  encoding: [0x62,0x62,0x7e,0x4d,0x35,0x21]
3426           vpmovqd %zmm28, (%rcx) {%k5}
3427
3428 // CHECK: vpmovqd %zmm28, 291(%rax,%r14,8)
3429 // CHECK:  encoding: [0x62,0x22,0x7e,0x48,0x35,0xa4,0xf0,0x23,0x01,0x00,0x00]
3430           vpmovqd %zmm28, 291(%rax,%r14,8)
3431
3432 // CHECK: vpmovqd %zmm28, 4064(%rdx)
3433 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x35,0x62,0x7f]
3434           vpmovqd %zmm28, 4064(%rdx)
3435
3436 // CHECK: vpmovqd %zmm28, 4096(%rdx)
3437 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x35,0xa2,0x00,0x10,0x00,0x00]
3438           vpmovqd %zmm28, 4096(%rdx)
3439
3440 // CHECK: vpmovqd %zmm28, -4096(%rdx)
3441 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x35,0x62,0x80]
3442           vpmovqd %zmm28, -4096(%rdx)
3443
3444 // CHECK: vpmovqd %zmm28, -4128(%rdx)
3445 // CHECK:  encoding: [0x62,0x62,0x7e,0x48,0x35,0xa2,0xe0,0xef,0xff,0xff]
3446           vpmovqd %zmm28, -4128(%rdx)
3447
3448 // CHECK: vpmovsqd %zmm9, (%rcx)
3449 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x25,0x09]
3450           vpmovsqd %zmm9, (%rcx)
3451
3452 // CHECK: vpmovsqd %zmm9, (%rcx) {%k7}
3453 // CHECK:  encoding: [0x62,0x72,0x7e,0x4f,0x25,0x09]
3454           vpmovsqd %zmm9, (%rcx) {%k7}
3455
3456 // CHECK: vpmovsqd %zmm9, 291(%rax,%r14,8)
3457 // CHECK:  encoding: [0x62,0x32,0x7e,0x48,0x25,0x8c,0xf0,0x23,0x01,0x00,0x00]
3458           vpmovsqd %zmm9, 291(%rax,%r14,8)
3459
3460 // CHECK: vpmovsqd %zmm9, 4064(%rdx)
3461 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x25,0x4a,0x7f]
3462           vpmovsqd %zmm9, 4064(%rdx)
3463
3464 // CHECK: vpmovsqd %zmm9, 4096(%rdx)
3465 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x25,0x8a,0x00,0x10,0x00,0x00]
3466           vpmovsqd %zmm9, 4096(%rdx)
3467
3468 // CHECK: vpmovsqd %zmm9, -4096(%rdx)
3469 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x25,0x4a,0x80]
3470           vpmovsqd %zmm9, -4096(%rdx)
3471
3472 // CHECK: vpmovsqd %zmm9, -4128(%rdx)
3473 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x25,0x8a,0xe0,0xef,0xff,0xff]
3474           vpmovsqd %zmm9, -4128(%rdx)
3475
3476 // CHECK: vpmovusqd %zmm22, (%rcx)
3477 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x15,0x31]
3478           vpmovusqd %zmm22, (%rcx)
3479
3480 // CHECK: vpmovusqd %zmm22, (%rcx) {%k1}
3481 // CHECK:  encoding: [0x62,0xe2,0x7e,0x49,0x15,0x31]
3482           vpmovusqd %zmm22, (%rcx) {%k1}
3483
3484 // CHECK: vpmovusqd %zmm22, 291(%rax,%r14,8)
3485 // CHECK:  encoding: [0x62,0xa2,0x7e,0x48,0x15,0xb4,0xf0,0x23,0x01,0x00,0x00]
3486           vpmovusqd %zmm22, 291(%rax,%r14,8)
3487
3488 // CHECK: vpmovusqd %zmm22, 4064(%rdx)
3489 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x15,0x72,0x7f]
3490           vpmovusqd %zmm22, 4064(%rdx)
3491
3492 // CHECK: vpmovusqd %zmm22, 4096(%rdx)
3493 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x15,0xb2,0x00,0x10,0x00,0x00]
3494           vpmovusqd %zmm22, 4096(%rdx)
3495
3496 // CHECK: vpmovusqd %zmm22, -4096(%rdx)
3497 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x15,0x72,0x80]
3498           vpmovusqd %zmm22, -4096(%rdx)
3499
3500 // CHECK: vpmovusqd %zmm22, -4128(%rdx)
3501 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x15,0xb2,0xe0,0xef,0xff,0xff]
3502           vpmovusqd %zmm22, -4128(%rdx)
3503
3504 // CHECK: vpmovdb %zmm12, (%rcx)
3505 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x31,0x21]
3506           vpmovdb %zmm12, (%rcx)
3507
3508 // CHECK: vpmovdb %zmm12, (%rcx) {%k3}
3509 // CHECK:  encoding: [0x62,0x72,0x7e,0x4b,0x31,0x21]
3510           vpmovdb %zmm12, (%rcx) {%k3}
3511
3512 // CHECK: vpmovdb %zmm12, 291(%rax,%r14,8)
3513 // CHECK:  encoding: [0x62,0x32,0x7e,0x48,0x31,0xa4,0xf0,0x23,0x01,0x00,0x00]
3514           vpmovdb %zmm12, 291(%rax,%r14,8)
3515
3516 // CHECK: vpmovdb %zmm12, 2032(%rdx)
3517 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x31,0x62,0x7f]
3518           vpmovdb %zmm12, 2032(%rdx)
3519
3520 // CHECK: vpmovdb %zmm12, 2048(%rdx)
3521 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x31,0xa2,0x00,0x08,0x00,0x00]
3522           vpmovdb %zmm12, 2048(%rdx)
3523
3524 // CHECK: vpmovdb %zmm12, -2048(%rdx)
3525 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x31,0x62,0x80]
3526           vpmovdb %zmm12, -2048(%rdx)
3527
3528 // CHECK: vpmovdb %zmm12, -2064(%rdx)
3529 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x31,0xa2,0xf0,0xf7,0xff,0xff]
3530           vpmovdb %zmm12, -2064(%rdx)
3531
3532 // CHECK: vpmovsdb %zmm6, (%rcx)
3533 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x21,0x31]
3534           vpmovsdb %zmm6, (%rcx)
3535
3536 // CHECK: vpmovsdb %zmm6, (%rcx) {%k1}
3537 // CHECK:  encoding: [0x62,0xf2,0x7e,0x49,0x21,0x31]
3538           vpmovsdb %zmm6, (%rcx) {%k1}
3539
3540 // CHECK: vpmovsdb %zmm6, 291(%rax,%r14,8)
3541 // CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x21,0xb4,0xf0,0x23,0x01,0x00,0x00]
3542           vpmovsdb %zmm6, 291(%rax,%r14,8)
3543
3544 // CHECK: vpmovsdb %zmm6, 2032(%rdx)
3545 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x21,0x72,0x7f]
3546           vpmovsdb %zmm6, 2032(%rdx)
3547
3548 // CHECK: vpmovsdb %zmm6, 2048(%rdx)
3549 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x21,0xb2,0x00,0x08,0x00,0x00]
3550           vpmovsdb %zmm6, 2048(%rdx)
3551
3552 // CHECK: vpmovsdb %zmm6, -2048(%rdx)
3553 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x21,0x72,0x80]
3554           vpmovsdb %zmm6, -2048(%rdx)
3555
3556 // CHECK: vpmovsdb %zmm6, -2064(%rdx)
3557 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x21,0xb2,0xf0,0xf7,0xff,0xff]
3558           vpmovsdb %zmm6, -2064(%rdx)
3559
3560 // CHECK: vpmovusdb %zmm23, (%rcx)
3561 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x11,0x39]
3562           vpmovusdb %zmm23, (%rcx)
3563
3564 // CHECK: vpmovusdb %zmm23, (%rcx) {%k3}
3565 // CHECK:  encoding: [0x62,0xe2,0x7e,0x4b,0x11,0x39]
3566           vpmovusdb %zmm23, (%rcx) {%k3}
3567
3568 // CHECK: vpmovusdb %zmm23, 291(%rax,%r14,8)
3569 // CHECK:  encoding: [0x62,0xa2,0x7e,0x48,0x11,0xbc,0xf0,0x23,0x01,0x00,0x00]
3570           vpmovusdb %zmm23, 291(%rax,%r14,8)
3571
3572 // CHECK: vpmovusdb %zmm23, 2032(%rdx)
3573 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x11,0x7a,0x7f]
3574           vpmovusdb %zmm23, 2032(%rdx)
3575
3576 // CHECK: vpmovusdb %zmm23, 2048(%rdx)
3577 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x11,0xba,0x00,0x08,0x00,0x00]
3578           vpmovusdb %zmm23, 2048(%rdx)
3579
3580 // CHECK: vpmovusdb %zmm23, -2048(%rdx)
3581 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x11,0x7a,0x80]
3582           vpmovusdb %zmm23, -2048(%rdx)
3583
3584 // CHECK: vpmovusdb %zmm23, -2064(%rdx)
3585 // CHECK:  encoding: [0x62,0xe2,0x7e,0x48,0x11,0xba,0xf0,0xf7,0xff,0xff]
3586           vpmovusdb %zmm23, -2064(%rdx)
3587
3588 // CHECK: vpmovdw %zmm7, (%rcx)
3589 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x33,0x39]
3590           vpmovdw %zmm7, (%rcx)
3591
3592 // CHECK: vpmovdw %zmm7, (%rcx) {%k7}
3593 // CHECK:  encoding: [0x62,0xf2,0x7e,0x4f,0x33,0x39]
3594           vpmovdw %zmm7, (%rcx) {%k7}
3595
3596 // CHECK: vpmovdw %zmm7, 291(%rax,%r14,8)
3597 // CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x33,0xbc,0xf0,0x23,0x01,0x00,0x00]
3598           vpmovdw %zmm7, 291(%rax,%r14,8)
3599
3600 // CHECK: vpmovdw %zmm7, 4064(%rdx)
3601 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x33,0x7a,0x7f]
3602           vpmovdw %zmm7, 4064(%rdx)
3603
3604 // CHECK: vpmovdw %zmm7, 4096(%rdx)
3605 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x33,0xba,0x00,0x10,0x00,0x00]
3606           vpmovdw %zmm7, 4096(%rdx)
3607
3608 // CHECK: vpmovdw %zmm7, -4096(%rdx)
3609 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x33,0x7a,0x80]
3610           vpmovdw %zmm7, -4096(%rdx)
3611
3612 // CHECK: vpmovdw %zmm7, -4128(%rdx)
3613 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x33,0xba,0xe0,0xef,0xff,0xff]
3614           vpmovdw %zmm7, -4128(%rdx)
3615
3616 // CHECK: vpmovsdw %zmm14, (%rcx)
3617 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x23,0x31]
3618           vpmovsdw %zmm14, (%rcx)
3619
3620 // CHECK: vpmovsdw %zmm14, (%rcx) {%k6}
3621 // CHECK:  encoding: [0x62,0x72,0x7e,0x4e,0x23,0x31]
3622           vpmovsdw %zmm14, (%rcx) {%k6}
3623
3624 // CHECK: vpmovsdw %zmm14, 291(%rax,%r14,8)
3625 // CHECK:  encoding: [0x62,0x32,0x7e,0x48,0x23,0xb4,0xf0,0x23,0x01,0x00,0x00]
3626           vpmovsdw %zmm14, 291(%rax,%r14,8)
3627
3628 // CHECK: vpmovsdw %zmm14, 4064(%rdx)
3629 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x23,0x72,0x7f]
3630           vpmovsdw %zmm14, 4064(%rdx)
3631
3632 // CHECK: vpmovsdw %zmm14, 4096(%rdx)
3633 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x23,0xb2,0x00,0x10,0x00,0x00]
3634           vpmovsdw %zmm14, 4096(%rdx)
3635
3636 // CHECK: vpmovsdw %zmm14, -4096(%rdx)
3637 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x23,0x72,0x80]
3638           vpmovsdw %zmm14, -4096(%rdx)
3639
3640 // CHECK: vpmovsdw %zmm14, -4128(%rdx)
3641 // CHECK:  encoding: [0x62,0x72,0x7e,0x48,0x23,0xb2,0xe0,0xef,0xff,0xff]
3642           vpmovsdw %zmm14, -4128(%rdx)
3643
3644 // CHECK: vpmovusdw %zmm5, (%rcx)
3645 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x13,0x29]
3646           vpmovusdw %zmm5, (%rcx)
3647
3648 // CHECK: vpmovusdw %zmm5, (%rcx) {%k3}
3649 // CHECK:  encoding: [0x62,0xf2,0x7e,0x4b,0x13,0x29]
3650           vpmovusdw %zmm5, (%rcx) {%k3}
3651
3652 // CHECK: vpmovusdw %zmm5, 291(%rax,%r14,8)
3653 // CHECK:  encoding: [0x62,0xb2,0x7e,0x48,0x13,0xac,0xf0,0x23,0x01,0x00,0x00]
3654           vpmovusdw %zmm5, 291(%rax,%r14,8)
3655
3656 // CHECK: vpmovusdw %zmm5, 4064(%rdx)
3657 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x13,0x6a,0x7f]
3658           vpmovusdw %zmm5, 4064(%rdx)
3659
3660 // CHECK: vpmovusdw %zmm5, 4096(%rdx)
3661 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x13,0xaa,0x00,0x10,0x00,0x00]
3662           vpmovusdw %zmm5, 4096(%rdx)
3663
3664 // CHECK: vpmovusdw %zmm5, -4096(%rdx)
3665 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x13,0x6a,0x80]
3666           vpmovusdw %zmm5, -4096(%rdx)
3667
3668 // CHECK: vpmovusdw %zmm5, -4128(%rdx)
3669 // CHECK:  encoding: [0x62,0xf2,0x7e,0x48,0x13,0xaa,0xe0,0xef,0xff,0xff]
3670           vpmovusdw %zmm5, -4128(%rdx)
3671
3672 // CHECK: vinserti32x4
3673 // CHECK: encoding: [0x62,0xa3,0x55,0x48,0x38,0xcd,0x01]
3674 vinserti32x4  $1, %xmm21, %zmm5, %zmm17
3675
3676 // CHECK: vinserti32x4
3677 // CHECK: encoding: [0x62,0xe3,0x1d,0x40,0x38,0x4f,0x10,0x01]
3678 vinserti32x4  $1, 256(%rdi), %zmm28, %zmm17
3679
3680 // CHECK: vextracti32x4
3681 // CHECK: encoding: [0x62,0x33,0x7d,0x48,0x39,0xc9,0x01]
3682 vextracti32x4  $1, %zmm9, %xmm17
3683
3684 // CHECK: vextracti64x4
3685 // CHECK: encoding: [0x62,0x33,0xfd,0x48,0x3b,0xc9,0x01]
3686 vextracti64x4  $1, %zmm9, %ymm17
3687
3688 // CHECK: vextracti64x4
3689 // CHECK: encoding: [0x62,0x73,0xfd,0x48,0x3b,0x4f,0x10,0x01]
3690 vextracti64x4  $1, %zmm9, 512(%rdi)
3691
3692 // CHECK: vpsrad
3693 // CHECK: encoding: [0x62,0xb1,0x35,0x40,0x72,0xe1,0x02]
3694 vpsrad $2, %zmm17, %zmm25
3695
3696 // CHECK: vpsrad
3697 // CHECK: encoding: [0x62,0xf1,0x35,0x40,0x72,0x64,0xb7,0x08,0x02]
3698 vpsrad $2, 512(%rdi, %rsi, 4), %zmm25
3699
3700 // CHECK: vpsrad
3701 // CHECK: encoding: [0x62,0x21,0x1d,0x48,0xe2,0xc9]
3702 vpsrad %xmm17, %zmm12, %zmm25
3703
3704 // CHECK: vpsrad
3705 // CHECK: encoding: [0x62,0x61,0x1d,0x48,0xe2,0x4c,0xb7,0x20]
3706 vpsrad 512(%rdi, %rsi, 4), %zmm12, %zmm25
3707
3708 // CHECK: vpbroadcastd {{.*}} {%k1} {z}
3709 // CHECK: encoding: [0x62,0xf2,0x7d,0xc9,0x58,0xc8]
3710 vpbroadcastd  %xmm0, %zmm1 {%k1} {z}
3711
3712 // CHECK: vbroadcasti32x4 {{.*}} {%k7} {z}
3713 // CHECK: encoding: [0x67,0x62,0xf2,0x7d,0xcf,0x5a,0x52,0x02]
3714 vbroadcasti32x4 0x20(%edx), %zmm2 {%k7} {z}
3715
3716 // CHECK: vbroadcasti64x4 {{.*}} %zmm22
3717 // CHECK: encoding: [0x62,0xe2,0xfd,0x48,0x5b,0x72,0x02]
3718 vbroadcasti64x4 0x40(%rdx), %zmm22
3719
3720 // CHECK: vmovdqu64 {{.*}} {%k3}
3721 // CHECK: encoding: [0x62,0xf1,0xfe,0x4b,0x7f,0x07]
3722 vmovdqu64 %zmm0, (%rdi) {%k3}
3723
3724 // CHECK: vmovdqa32 {{.*}} {%k4}
3725 // CHECK: encoding: [0x62,0x61,0x7d,0x4c,0x6f,0x1e]
3726 vmovdqa32 (%rsi), %zmm27 {%k4}
3727
3728 // CHECK: vmovd
3729 // CHECK: encoding: [0x62,0xe1,0x7d,0x08,0x7e,0x74,0x24,0xeb]
3730 vmovd %xmm22, -84(%rsp)
3731
3732 // CHECK: vextractps
3733 // CHECK: encoding: [0x62,0xe3,0x7d,0x08,0x17,0x61,0x1f,0x02]
3734 vextractps      $2, %xmm20, 124(%rcx)
3735
3736 // CHECK: vaddpd {{.*}}{1to8}
3737 // CHECK: encoding: [0x62,0x61,0xdd,0x50,0x58,0x74,0xf7,0x40]
3738 vaddpd 512(%rdi, %rsi, 8) {1to8}, %zmm20, %zmm30
3739
3740 // CHECK: vaddps {{.*}}{1to16}
3741 // CHECK: encoding: [0x62,0x61,0x5c,0x50,0x58,0xb4,0xf7,0x00,0x02,0x00,0x00]
3742 vaddps 512(%rdi, %rsi, 8) {1to16}, %zmm20, %zmm30
3743
3744 // CHECK: vmovntdqa
3745 // CHECK: encoding: [0x62,0x72,0x7d,0x48,0x2a,0xab,0x78,0x56,0x34,0x12]
3746 vmovntdqa 0x12345678(%rbx), %zmm13
3747
3748 // CHECK: vmovntdqa
3749 // CHECK: encoding: [0x62,0xc2,0x7d,0x48,0x2a,0x14,0x56]
3750 vmovntdqa (%r14,%rdx,2), %zmm18
3751
3752 // CHECK: vmovntdqa
3753 // CHECK: encoding: [0x62,0xc2,0x7d,0x48,0x2a,0x7c,0x14,0x02]
3754 vmovntdqa 128(%r12,%rdx), %zmm23
3755
3756 // CHECK: vmovntdq
3757 // CHECK: encoding: [0x62,0x21,0x7d,0x48,0xe7,0x24,0xa9]
3758 vmovntdq %zmm28, (%rcx,%r13,4)
3759
3760 // CHECK: vmovntpd
3761 // CHECK: encoding: [0x62,0xf1,0xfd,0x48,0x2b,0xb2,0x04,0x00,0x00,0x00]
3762 vmovntpd %zmm6, 4(%rdx)
3763
3764 // CHECK: vmovntps
3765 // CHECK: encoding: [0x62,0x51,0x7c,0x48,0x2b,0x5c,0x8d,0x00]
3766 vmovntps %zmm11, (%r13,%rcx,4)
3767
3768 // CHECK: vcmpps $14
3769 // CHECK: encoding: [0x62,0xb1,0x54,0x48,0xc2,0xd1,0x0e]
3770 vcmpgtps %zmm17, %zmm5, %k2
3771
3772 // CHECK: vcmppd $13
3773 // CHECK: encoding: [0x62,0xd1,0xf5,0x40,0xc2,0x76,0x02,0x0d]
3774 vcmpgepd 0x80(%r14), %zmm17, %k6
3775
3776 // CHECK: vpcmpd $1,
3777 // CHECK: encoding: [0x62,0x93,0x45,0x4c,0x1f,0xe8,0x01]
3778 vpcmpd $1, %zmm24, %zmm7, %k5{%k4}
3779
3780 // CHECK: vpcmpuq $2,
3781 // CHECK: encoding: [0x62,0xf3,0xf5,0x47,0x1e,0x72,0x01,0x02]
3782 vpcmpuq $2, 0x40(%rdx), %zmm17, %k6{%k7}
3783
3784 // ERR: invalid operand for instruction
3785 vpcmpd $1, %zmm24, %zmm7, %k5{%k0}
3786
3787 // CHECK: vpermi2d
3788 // CHECK: encoding: [0x62,0x42,0x6d,0x4b,0x76,0xd6]
3789 vpermi2d %zmm14, %zmm2, %zmm26 {%k3}
3790
3791 // CHECK: vpermt2pd
3792 // CHECK: encoding: [0x62,0xf2,0xcd,0xc6,0x7f,0xf3]
3793 vpermt2pd %zmm3, %zmm22, %zmm6 {%k6} {z}
3794
3795 // CHECK: vpermi2q
3796 // CHECK: encoding: [0x62,0x62,0xed,0x4b,0x76,0x54,0x58,0x02]
3797 vpermi2q 0x80(%rax,%rbx,2), %zmm2, %zmm26 {%k3}
3798
3799 // CHECK: vpermt2d
3800 // CHECK: encoding: [0x62,0x32,0x4d,0xc2,0x7e,0x24,0xad,0x05,0x00,0x00,0x00]
3801 vpermt2d 5(,%r13,4), %zmm22, %zmm12 {%k2} {z}
3802
3803 // CHECK: valignq $2
3804 // CHECK: encoding: [0x62,0xf3,0xfd,0x48,0x03,0x4c,0x24,0x04,0x02]
3805 valignq  $2, 0x100(%rsp), %zmm0, %zmm1
3806
3807 // CHECK: valignq $3
3808 // CHECK: encoding: [0x62,0xf3,0xfd,0x49,0x03,0xcb,0x03]
3809 valignq  $3, %zmm3, %zmm0, %zmm1 {%k1}