test/MC/X86/x86-64-avx512bw.s

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