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: vpmullw %zmm19, %zmm28, %zmm19
 515 // CHECK:  encoding: [0x62,0xa1,0x1d,0x40,0xd5,0xdb]
 516           vpmullw %zmm19, %zmm28, %zmm19
 517
 518 // CHECK: vpmullw %zmm19, %zmm28, %zmm19 {%k5}
 519 // CHECK:  encoding: [0x62,0xa1,0x1d,0x45,0xd5,0xdb]
 520           vpmullw %zmm19, %zmm28, %zmm19 {%k5}
 521
 522 // CHECK: vpmullw %zmm19, %zmm28, %zmm19 {%k5} {z}
 523 // CHECK:  encoding: [0x62,0xa1,0x1d,0xc5,0xd5,0xdb]
 524           vpmullw %zmm19, %zmm28, %zmm19 {%k5} {z}
 525
 526 // CHECK: vpmullw (%rcx), %zmm28, %zmm19
 527 // CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x19]
 528           vpmullw (%rcx), %zmm28, %zmm19
 529
 530 // CHECK: vpmullw 291(%rax,%r14,8), %zmm28, %zmm19
 531 // CHECK:  encoding: [0x62,0xa1,0x1d,0x40,0xd5,0x9c,0xf0,0x23,0x01,0x00,0x00]
 532           vpmullw 291(%rax,%r14,8), %zmm28, %zmm19
 533
 534 // CHECK: vpmullw 8128(%rdx), %zmm28, %zmm19
 535 // CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x5a,0x7f]
 536           vpmullw 8128(%rdx), %zmm28, %zmm19
 537
 538 // CHECK: vpmullw 8192(%rdx), %zmm28, %zmm19
 539 // CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x9a,0x00,0x20,0x00,0x00]
 540           vpmullw 8192(%rdx), %zmm28, %zmm19
 541
 542 // CHECK: vpmullw -8192(%rdx), %zmm28, %zmm19
 543 // CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x5a,0x80]
 544           vpmullw -8192(%rdx), %zmm28, %zmm19
 545
 546 // CHECK: vpmullw -8256(%rdx), %zmm28, %zmm19
 547 // CHECK:  encoding: [0x62,0xe1,0x1d,0x40,0xd5,0x9a,0xc0,0xdf,0xff,0xff]
 548           vpmullw -8256(%rdx), %zmm28, %zmm19
 549
 550 // CHECK: vpsubb %zmm26, %zmm18, %zmm25
 551 // CHECK:  encoding: [0x62,0x01,0x6d,0x40,0xf8,0xca]
 552           vpsubb %zmm26, %zmm18, %zmm25
 553
 554 // CHECK: vpsubb %zmm26, %zmm18, %zmm25 {%k4}
 555 // CHECK:  encoding: [0x62,0x01,0x6d,0x44,0xf8,0xca]
 556           vpsubb %zmm26, %zmm18, %zmm25 {%k4}
 557
 558 // CHECK: vpsubb %zmm26, %zmm18, %zmm25 {%k4} {z}
 559 // CHECK:  encoding: [0x62,0x01,0x6d,0xc4,0xf8,0xca]
 560           vpsubb %zmm26, %zmm18, %zmm25 {%k4} {z}
 561
 562 // CHECK: vpsubb (%rcx), %zmm18, %zmm25
 563 // CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x09]
 564           vpsubb (%rcx), %zmm18, %zmm25
 565
 566 // CHECK: vpsubb 291(%rax,%r14,8), %zmm18, %zmm25
 567 // CHECK:  encoding: [0x62,0x21,0x6d,0x40,0xf8,0x8c,0xf0,0x23,0x01,0x00,0x00]
 568           vpsubb 291(%rax,%r14,8), %zmm18, %zmm25
 569
 570 // CHECK: vpsubb 8128(%rdx), %zmm18, %zmm25
 571 // CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x4a,0x7f]
 572           vpsubb 8128(%rdx), %zmm18, %zmm25
 573
 574 // CHECK: vpsubb 8192(%rdx), %zmm18, %zmm25
 575 // CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x8a,0x00,0x20,0x00,0x00]
 576           vpsubb 8192(%rdx), %zmm18, %zmm25
 577
 578 // CHECK: vpsubb -8192(%rdx), %zmm18, %zmm25
 579 // CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x4a,0x80]
 580           vpsubb -8192(%rdx), %zmm18, %zmm25
 581
 582 // CHECK: vpsubb -8256(%rdx), %zmm18, %zmm25
 583 // CHECK:  encoding: [0x62,0x61,0x6d,0x40,0xf8,0x8a,0xc0,0xdf,0xff,0xff]
 584           vpsubb -8256(%rdx), %zmm18, %zmm25
 585
 586 // CHECK: vpsubw %zmm24, %zmm24, %zmm17
 587 // CHECK:  encoding: [0x62,0x81,0x3d,0x40,0xf9,0xc8]
 588           vpsubw %zmm24, %zmm24, %zmm17
 589
 590 // CHECK: vpsubw %zmm24, %zmm24, %zmm17 {%k4}
 591 // CHECK:  encoding: [0x62,0x81,0x3d,0x44,0xf9,0xc8]
 592           vpsubw %zmm24, %zmm24, %zmm17 {%k4}
 593
 594 // CHECK: vpsubw %zmm24, %zmm24, %zmm17 {%k4} {z}
 595 // CHECK:  encoding: [0x62,0x81,0x3d,0xc4,0xf9,0xc8]
 596           vpsubw %zmm24, %zmm24, %zmm17 {%k4} {z}
 597
 598 // CHECK: vpsubw (%rcx), %zmm24, %zmm17
 599 // CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x09]
 600           vpsubw (%rcx), %zmm24, %zmm17
 601
 602 // CHECK: vpsubw 291(%rax,%r14,8), %zmm24, %zmm17
 603 // CHECK:  encoding: [0x62,0xa1,0x3d,0x40,0xf9,0x8c,0xf0,0x23,0x01,0x00,0x00]
 604           vpsubw 291(%rax,%r14,8), %zmm24, %zmm17
 605
 606 // CHECK: vpsubw 8128(%rdx), %zmm24, %zmm17
 607 // CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x4a,0x7f]
 608           vpsubw 8128(%rdx), %zmm24, %zmm17
 609
 610 // CHECK: vpsubw 8192(%rdx), %zmm24, %zmm17
 611 // CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x8a,0x00,0x20,0x00,0x00]
 612           vpsubw 8192(%rdx), %zmm24, %zmm17
 613
 614 // CHECK: vpsubw -8192(%rdx), %zmm24, %zmm17
 615 // CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x4a,0x80]
 616           vpsubw -8192(%rdx), %zmm24, %zmm17
 617
 618 // CHECK: vpsubw -8256(%rdx), %zmm24, %zmm17
 619 // CHECK:  encoding: [0x62,0xe1,0x3d,0x40,0xf9,0x8a,0xc0,0xdf,0xff,0xff]
 620           vpsubw -8256(%rdx), %zmm24, %zmm17
 621
 622 // CHECK: vmovdqu8 %zmm19, %zmm29
 623 // CHECK:  encoding: [0x62,0x21,0x7f,0x48,0x6f,0xeb]
 624           vmovdqu8 %zmm19, %zmm29
 625
 626 // CHECK: vmovdqu8 %zmm19, %zmm29 {%k7}
 627 // CHECK:  encoding: [0x62,0x21,0x7f,0x4f,0x6f,0xeb]
 628           vmovdqu8 %zmm19, %zmm29 {%k7}
 629
 630 // CHECK: vmovdqu8 %zmm19, %zmm29 {%k7} {z}
 631 // CHECK:  encoding: [0x62,0x21,0x7f,0xcf,0x6f,0xeb]
 632           vmovdqu8 %zmm19, %zmm29 {%k7} {z}
 633
 634 // CHECK: vmovdqu8 (%rcx), %zmm29
 635 // CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0x29]
 636           vmovdqu8 (%rcx), %zmm29
 637
 638 // CHECK: vmovdqu8 291(%rax,%r14,8), %zmm29
 639 // CHECK:  encoding: [0x62,0x21,0x7f,0x48,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
 640           vmovdqu8 291(%rax,%r14,8), %zmm29
 641
 642 // CHECK: vmovdqu8 8128(%rdx), %zmm29
 643 // CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0x6a,0x7f]
 644           vmovdqu8 8128(%rdx), %zmm29
 645
 646 // CHECK: vmovdqu8 8192(%rdx), %zmm29
 647 // CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0xaa,0x00,0x20,0x00,0x00]
 648           vmovdqu8 8192(%rdx), %zmm29
 649
 650 // CHECK: vmovdqu8 -8192(%rdx), %zmm29
 651 // CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0x6a,0x80]
 652           vmovdqu8 -8192(%rdx), %zmm29
 653
 654 // CHECK: vmovdqu8 -8256(%rdx), %zmm29
 655 // CHECK:  encoding: [0x62,0x61,0x7f,0x48,0x6f,0xaa,0xc0,0xdf,0xff,0xff]
 656           vmovdqu8 -8256(%rdx), %zmm29
 657
 658 // CHECK: vmovdqu16 %zmm18, %zmm17
 659 // CHECK:  encoding: [0x62,0xa1,0xff,0x48,0x6f,0xca]
 660           vmovdqu16 %zmm18, %zmm17
 661
 662 // CHECK: vmovdqu16 %zmm18, %zmm17 {%k3}
 663 // CHECK:  encoding: [0x62,0xa1,0xff,0x4b,0x6f,0xca]
 664           vmovdqu16 %zmm18, %zmm17 {%k3}
 665
 666 // CHECK: vmovdqu16 %zmm18, %zmm17 {%k3} {z}
 667 // CHECK:  encoding: [0x62,0xa1,0xff,0xcb,0x6f,0xca]
 668           vmovdqu16 %zmm18, %zmm17 {%k3} {z}
 669
 670 // CHECK: vmovdqu16 (%rcx), %zmm17
 671 // CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x09]
 672           vmovdqu16 (%rcx), %zmm17
 673
 674 // CHECK: vmovdqu16 291(%rax,%r14,8), %zmm17
 675 // CHECK:  encoding: [0x62,0xa1,0xff,0x48,0x6f,0x8c,0xf0,0x23,0x01,0x00,0x00]
 676           vmovdqu16 291(%rax,%r14,8), %zmm17
 677
 678 // CHECK: vmovdqu16 8128(%rdx), %zmm17
 679 // CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x4a,0x7f]
 680           vmovdqu16 8128(%rdx), %zmm17
 681
 682 // CHECK: vmovdqu16 8192(%rdx), %zmm17
 683 // CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x8a,0x00,0x20,0x00,0x00]
 684           vmovdqu16 8192(%rdx), %zmm17
 685
 686 // CHECK: vmovdqu16 -8192(%rdx), %zmm17
 687 // CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x4a,0x80]
 688           vmovdqu16 -8192(%rdx), %zmm17
 689
 690 // CHECK: vmovdqu16 -8256(%rdx), %zmm17
 691 // CHECK:  encoding: [0x62,0xe1,0xff,0x48,0x6f,0x8a,0xc0,0xdf,0xff,0xff]
 692           vmovdqu16 -8256(%rdx), %zmm17
 693
 694 // CHECK: kandq  %k7, %k5, %k5
 695 // CHECK:  encoding: [0xc4,0xe1,0xd4,0x41,0xef]
 696           kandq  %k7, %k5, %k5
 697
 698 // CHECK: kandd  %k4, %k5, %k5
 699 // CHECK:  encoding: [0xc4,0xe1,0xd5,0x41,0xec]
 700           kandd  %k4, %k5, %k5
 701
 702 // CHECK: kandnq %k4, %k5, %k2
 703 // CHECK:  encoding: [0xc4,0xe1,0xd4,0x42,0xd4]
 704           kandnq %k4, %k5, %k2
 705
 706 // CHECK: kandnd %k6, %k6, %k3
 707 // CHECK:  encoding: [0xc4,0xe1,0xcd,0x42,0xde]
 708           kandnd %k6, %k6, %k3
 709
 710 // CHECK: korq   %k4, %k5, %k4
 711 // CHECK:  encoding: [0xc4,0xe1,0xd4,0x45,0xe4]
 712           korq   %k4, %k5, %k4
 713
 714 // CHECK: kord   %k6, %k6, %k5
 715 // CHECK:  encoding: [0xc4,0xe1,0xcd,0x45,0xee]
 716           kord   %k6, %k6, %k5
 717
 718 // CHECK: kxnorq %k6, %k5, %k2
 719 // CHECK:  encoding: [0xc4,0xe1,0xd4,0x46,0xd6]
 720           kxnorq %k6, %k5, %k2
 721
 722 // CHECK: kxnord %k5, %k3, %k5
 723 // CHECK:  encoding: [0xc4,0xe1,0xe5,0x46,0xed]
 724           kxnord %k5, %k3, %k5
 725
 726 // CHECK: kxorq  %k4, %k3, %k2
 727 // CHECK:  encoding: [0xc4,0xe1,0xe4,0x47,0xd4]
 728           kxorq  %k4, %k3, %k2
 729
 730 // CHECK: kxord  %k6, %k5, %k2
 731 // CHECK:  encoding: [0xc4,0xe1,0xd5,0x47,0xd6]
 732           kxord  %k6, %k5, %k2
 733
 734 // CHECK: knotq  %k6, %k3
 735 // CHECK:  encoding: [0xc4,0xe1,0xf8,0x44,0xde]
 736           knotq  %k6, %k3
 737
 738 // CHECK: knotd  %k4, %k3
 739 // CHECK:  encoding: [0xc4,0xe1,0xf9,0x44,0xdc]
 740           knotd  %k4, %k3
 741
 742 // CHECK: kmovq  %k5, %k2
 743 // CHECK:  encoding: [0xc4,0xe1,0xf8,0x90,0xd5]
 744           kmovq  %k5, %k2
 745
 746 // CHECK: kmovq  (%rcx), %k2
 747 // CHECK:  encoding: [0xc4,0xe1,0xf8,0x90,0x11]
 748           kmovq  (%rcx), %k2
 749
 750 // CHECK: kmovq  291(%rax,%r14,8), %k2
 751 // CHECK:  encoding: [0xc4,0xa1,0xf8,0x90,0x94,0xf0,0x23,0x01,0x00,0x00]
 752           kmovq  291(%rax,%r14,8), %k2
 753
 754 // CHECK: kmovd  %k4, %k5
 755 // CHECK:  encoding: [0xc4,0xe1,0xf9,0x90,0xec]
 756           kmovd  %k4, %k5
 757
 758 // CHECK: kmovd  (%rcx), %k5
 759 // CHECK:  encoding: [0xc4,0xe1,0xf9,0x90,0x29]
 760           kmovd  (%rcx), %k5
 761
 762 // CHECK: kmovd  291(%rax,%r14,8), %k5
 763 // CHECK:  encoding: [0xc4,0xa1,0xf9,0x90,0xac,0xf0,0x23,0x01,0x00,0x00]
 764           kmovd  291(%rax,%r14,8), %k5
 765
 766 // CHECK: kmovq  %k3, (%rcx)
 767 // CHECK:  encoding: [0xc4,0xe1,0xf8,0x91,0x19]
 768           kmovq  %k3, (%rcx)
 769
 770 // CHECK: kmovq  %k3, 291(%rax,%r14,8)
 771 // CHECK:  encoding: [0xc4,0xa1,0xf8,0x91,0x9c,0xf0,0x23,0x01,0x00,0x00]
 772           kmovq  %k3, 291(%rax,%r14,8)
 773
 774 // CHECK: kmovd  %k3, (%rcx)
 775 // CHECK:  encoding: [0xc4,0xe1,0xf9,0x91,0x19]
 776           kmovd  %k3, (%rcx)
 777
 778 // CHECK: kmovd  %k3, 291(%rax,%r14,8)
 779 // CHECK:  encoding: [0xc4,0xa1,0xf9,0x91,0x9c,0xf0,0x23,0x01,0x00,0x00]
 780           kmovd  %k3, 291(%rax,%r14,8)
 781
 782 // CHECK: kmovq  %rax, %k2
 783 // CHECK:  encoding: [0xc4,0xe1,0xfb,0x92,0xd0]
 784           kmovq  %rax, %k2
 785
 786 // CHECK: kmovq  %r8, %k2
 787 // CHECK:  encoding: [0xc4,0xc1,0xfb,0x92,0xd0]
 788           kmovq  %r8, %k2
 789
 790 // CHECK: kmovd  %eax, %k4
 791 // CHECK:  encoding: [0xc5,0xfb,0x92,0xe0]
 792           kmovd  %eax, %k4
 793
 794 // CHECK: kmovd  %ebp, %k4
 795 // CHECK:  encoding: [0xc5,0xfb,0x92,0xe5]
 796           kmovd  %ebp, %k4
 797
 798 // CHECK: kmovd  %r13d, %k4
 799 // CHECK:  encoding: [0xc4,0xc1,0x7b,0x92,0xe5]
 800           kmovd  %r13d, %k4
 801
 802 // CHECK: kmovq  %k3, %rax
 803 // CHECK:  encoding: [0xc4,0xe1,0xfb,0x93,0xc3]
 804           kmovq  %k3, %rax
 805
 806 // CHECK: kmovq  %k3, %r8
 807 // CHECK:  encoding: [0xc4,0x61,0xfb,0x93,0xc3]
 808           kmovq  %k3, %r8
 809
 810 // CHECK: kmovd  %k5, %eax
 811 // CHECK:  encoding: [0xc5,0xfb,0x93,0xc5]
 812           kmovd  %k5, %eax
 813
 814 // CHECK: kmovd  %k5, %ebp
 815 // CHECK:  encoding: [0xc5,0xfb,0x93,0xed]
 816           kmovd  %k5, %ebp
 817
 818 // CHECK: kmovd  %k5, %r13d
 819 // CHECK:  encoding: [0xc5,0x7b,0x93,0xed]
 820           kmovd  %k5, %r13d
 821
 822 // CHECK: vmovdqu8 %zmm18, (%rcx)
 823 // CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x11]
 824           vmovdqu8 %zmm18, (%rcx)
 825
 826 // CHECK: vmovdqu8 %zmm18, (%rcx) {%k3}
 827 // CHECK:  encoding: [0x62,0xe1,0x7f,0x4b,0x7f,0x11]
 828           vmovdqu8 %zmm18, (%rcx) {%k3}
 829
 830 // CHECK: vmovdqu8 %zmm18, 291(%rax,%r14,8)
 831 // CHECK:  encoding: [0x62,0xa1,0x7f,0x48,0x7f,0x94,0xf0,0x23,0x01,0x00,0x00]
 832           vmovdqu8 %zmm18, 291(%rax,%r14,8)
 833
 834 // CHECK: vmovdqu8 %zmm18, 8128(%rdx)
 835 // CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x52,0x7f]
 836           vmovdqu8 %zmm18, 8128(%rdx)
 837
 838 // CHECK: vmovdqu8 %zmm18, 8192(%rdx)
 839 // CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x92,0x00,0x20,0x00,0x00]
 840           vmovdqu8 %zmm18, 8192(%rdx)
 841
 842 // CHECK: vmovdqu8 %zmm18, -8192(%rdx)
 843 // CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x52,0x80]
 844           vmovdqu8 %zmm18, -8192(%rdx)
 845
 846 // CHECK: vmovdqu8 %zmm18, -8256(%rdx)
 847 // CHECK:  encoding: [0x62,0xe1,0x7f,0x48,0x7f,0x92,0xc0,0xdf,0xff,0xff]
 848           vmovdqu8 %zmm18, -8256(%rdx)
 849
 850 // CHECK: vmovdqu16 %zmm28, (%rcx)
 851 // CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0x21]
 852           vmovdqu16 %zmm28, (%rcx)
 853
 854 // CHECK: vmovdqu16 %zmm28, (%rcx) {%k6}
 855 // CHECK:  encoding: [0x62,0x61,0xff,0x4e,0x7f,0x21]
 856           vmovdqu16 %zmm28, (%rcx) {%k6}
 857
 858 // CHECK: vmovdqu16 %zmm28, 291(%rax,%r14,8)
 859 // CHECK:  encoding: [0x62,0x21,0xff,0x48,0x7f,0xa4,0xf0,0x23,0x01,0x00,0x00]
 860           vmovdqu16 %zmm28, 291(%rax,%r14,8)
 861
 862 // CHECK: vmovdqu16 %zmm28, 8128(%rdx)
 863 // CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0x62,0x7f]
 864           vmovdqu16 %zmm28, 8128(%rdx)
 865
 866 // CHECK: vmovdqu16 %zmm28, 8192(%rdx)
 867 // CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0xa2,0x00,0x20,0x00,0x00]
 868           vmovdqu16 %zmm28, 8192(%rdx)
 869
 870 // CHECK: vmovdqu16 %zmm28, -8192(%rdx)
 871 // CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0x62,0x80]
 872           vmovdqu16 %zmm28, -8192(%rdx)
 873
 874 // CHECK: vmovdqu16 %zmm28, -8256(%rdx)
 875 // CHECK:  encoding: [0x62,0x61,0xff,0x48,0x7f,0xa2,0xc0,0xdf,0xff,0xff]
 876           vmovdqu16 %zmm28, -8256(%rdx)
 877
 878
 879 // CHECK: vpcmpb $171, %zmm25, %zmm26, %k3
 880 // CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0xab]
 881           vpcmpb $171, %zmm25, %zmm26, %k3
 882
 883 // CHECK: vpcmpb $171, %zmm25, %zmm26, %k3 {%k7}
 884 // CHECK:  encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0xab]
 885           vpcmpb $171, %zmm25, %zmm26, %k3 {%k7}
 886
 887 // CHECK: vpcmpb $123, %zmm25, %zmm26, %k3
 888 // CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x7b]
 889           vpcmpb $123, %zmm25, %zmm26, %k3
 890
 891 // CHECK: vpcmpb $123, (%rcx), %zmm26, %k3
 892 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x7b]
 893           vpcmpb $123, (%rcx), %zmm26, %k3
 894
 895 // CHECK: vpcmpb $123, 291(%rax,%r14,8), %zmm26, %k3
 896 // CHECK:  encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
 897           vpcmpb $123, 291(%rax,%r14,8), %zmm26, %k3
 898
 899 // CHECK: vpcmpb $123, 8128(%rdx), %zmm26, %k3
 900 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x7b]
 901           vpcmpb $123, 8128(%rdx), %zmm26, %k3
 902
 903 // CHECK: vpcmpb $123, 8192(%rdx), %zmm26, %k3
 904 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x7b]
 905           vpcmpb $123, 8192(%rdx), %zmm26, %k3
 906
 907 // CHECK: vpcmpb $123, -8192(%rdx), %zmm26, %k3
 908 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x7b]
 909           vpcmpb $123, -8192(%rdx), %zmm26, %k3
 910
 911 // CHECK: vpcmpb $123, -8256(%rdx), %zmm26, %k3
 912 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x7b]
 913           vpcmpb $123, -8256(%rdx), %zmm26, %k3
 914
 915 // CHECK: vpcmpltb %zmm25, %zmm26, %k3
 916 // CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x01]
 917           vpcmpltb %zmm25, %zmm26, %k3
 918
 919 // CHECK: vpcmpltb %zmm25, %zmm26, %k3 {%k7}
 920 // CHECK:  encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x01]
 921           vpcmpltb %zmm25, %zmm26, %k3 {%k7}
 922
 923 // CHECK: vpcmpltb (%rcx), %zmm26, %k3
 924 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x01]
 925           vpcmpltb (%rcx), %zmm26, %k3
 926
 927 // CHECK: vpcmpltb 291(%rax,%r14,8), %zmm26, %k3
 928 // CHECK:  encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x01]
 929           vpcmpltb 291(%rax,%r14,8), %zmm26, %k3
 930
 931 // CHECK: vpcmpltb 8128(%rdx), %zmm26, %k3
 932 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x01]
 933           vpcmpltb 8128(%rdx), %zmm26, %k3
 934
 935 // CHECK: vpcmpltb 8192(%rdx), %zmm26, %k3
 936 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x01]
 937           vpcmpltb 8192(%rdx), %zmm26, %k3
 938
 939 // CHECK: vpcmpltb -8192(%rdx), %zmm26, %k3
 940 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x01]
 941           vpcmpltb -8192(%rdx), %zmm26, %k3
 942
 943 // CHECK: vpcmpltb -8256(%rdx), %zmm26, %k3
 944 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x01]
 945           vpcmpltb -8256(%rdx), %zmm26, %k3
 946
 947 // CHECK: vpcmpleb %zmm25, %zmm26, %k3
 948 // CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x02]
 949           vpcmpleb %zmm25, %zmm26, %k3
 950
 951 // CHECK: vpcmpleb %zmm25, %zmm26, %k3 {%k7}
 952 // CHECK:  encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x02]
 953           vpcmpleb %zmm25, %zmm26, %k3 {%k7}
 954
 955 // CHECK: vpcmpleb (%rcx), %zmm26, %k3
 956 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x02]
 957           vpcmpleb (%rcx), %zmm26, %k3
 958
 959 // CHECK: vpcmpleb 291(%rax,%r14,8), %zmm26, %k3
 960 // CHECK:  encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x02]
 961           vpcmpleb 291(%rax,%r14,8), %zmm26, %k3
 962
 963 // CHECK: vpcmpleb 8128(%rdx), %zmm26, %k3
 964 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x02]
 965           vpcmpleb 8128(%rdx), %zmm26, %k3
 966
 967 // CHECK: vpcmpleb 8192(%rdx), %zmm26, %k3
 968 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x02]
 969           vpcmpleb 8192(%rdx), %zmm26, %k3
 970
 971 // CHECK: vpcmpleb -8192(%rdx), %zmm26, %k3
 972 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x02]
 973           vpcmpleb -8192(%rdx), %zmm26, %k3
 974
 975 // CHECK: vpcmpleb -8256(%rdx), %zmm26, %k3
 976 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x02]
 977           vpcmpleb -8256(%rdx), %zmm26, %k3
 978
 979 // CHECK: vpcmpneqb %zmm25, %zmm26, %k3
 980 // CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x04]
 981           vpcmpneqb %zmm25, %zmm26, %k3
 982
 983 // CHECK: vpcmpneqb %zmm25, %zmm26, %k3 {%k7}
 984 // CHECK:  encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x04]
 985           vpcmpneqb %zmm25, %zmm26, %k3 {%k7}
 986
 987 // CHECK: vpcmpneqb (%rcx), %zmm26, %k3
 988 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x04]
 989           vpcmpneqb (%rcx), %zmm26, %k3
 990
 991 // CHECK: vpcmpneqb 291(%rax,%r14,8), %zmm26, %k3
 992 // CHECK:  encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x04]
 993           vpcmpneqb 291(%rax,%r14,8), %zmm26, %k3
 994
 995 // CHECK: vpcmpneqb 8128(%rdx), %zmm26, %k3
 996 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x04]
 997           vpcmpneqb 8128(%rdx), %zmm26, %k3
 998
 999 // CHECK: vpcmpneqb 8192(%rdx), %zmm26, %k3
1000 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x04]
1001           vpcmpneqb 8192(%rdx), %zmm26, %k3
1002
1003 // CHECK: vpcmpneqb -8192(%rdx), %zmm26, %k3
1004 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x04]
1005           vpcmpneqb -8192(%rdx), %zmm26, %k3
1006
1007 // CHECK: vpcmpneqb -8256(%rdx), %zmm26, %k3
1008 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x04]
1009           vpcmpneqb -8256(%rdx), %zmm26, %k3
1010
1011 // CHECK: vpcmpnltb %zmm25, %zmm26, %k3
1012 // CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x05]
1013           vpcmpnltb %zmm25, %zmm26, %k3
1014
1015 // CHECK: vpcmpnltb %zmm25, %zmm26, %k3 {%k7}
1016 // CHECK:  encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x05]
1017           vpcmpnltb %zmm25, %zmm26, %k3 {%k7}
1018
1019 // CHECK: vpcmpnltb (%rcx), %zmm26, %k3
1020 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x05]
1021           vpcmpnltb (%rcx), %zmm26, %k3
1022
1023 // CHECK: vpcmpnltb 291(%rax,%r14,8), %zmm26, %k3
1024 // CHECK:  encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x05]
1025           vpcmpnltb 291(%rax,%r14,8), %zmm26, %k3
1026
1027 // CHECK: vpcmpnltb 8128(%rdx), %zmm26, %k3
1028 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x05]
1029           vpcmpnltb 8128(%rdx), %zmm26, %k3
1030
1031 // CHECK: vpcmpnltb 8192(%rdx), %zmm26, %k3
1032 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x05]
1033           vpcmpnltb 8192(%rdx), %zmm26, %k3
1034
1035 // CHECK: vpcmpnltb -8192(%rdx), %zmm26, %k3
1036 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x05]
1037           vpcmpnltb -8192(%rdx), %zmm26, %k3
1038
1039 // CHECK: vpcmpnltb -8256(%rdx), %zmm26, %k3
1040 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x05]
1041           vpcmpnltb -8256(%rdx), %zmm26, %k3
1042
1043 // CHECK: vpcmpnleb %zmm25, %zmm26, %k3
1044 // CHECK:  encoding: [0x62,0x93,0x2d,0x40,0x3f,0xd9,0x06]
1045           vpcmpnleb %zmm25, %zmm26, %k3
1046
1047 // CHECK: vpcmpnleb %zmm25, %zmm26, %k3 {%k7}
1048 // CHECK:  encoding: [0x62,0x93,0x2d,0x47,0x3f,0xd9,0x06]
1049           vpcmpnleb %zmm25, %zmm26, %k3 {%k7}
1050
1051 // CHECK: vpcmpnleb (%rcx), %zmm26, %k3
1052 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x19,0x06]
1053           vpcmpnleb (%rcx), %zmm26, %k3
1054
1055 // CHECK: vpcmpnleb 291(%rax,%r14,8), %zmm26, %k3
1056 // CHECK:  encoding: [0x62,0xb3,0x2d,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x06]
1057           vpcmpnleb 291(%rax,%r14,8), %zmm26, %k3
1058
1059 // CHECK: vpcmpnleb 8128(%rdx), %zmm26, %k3
1060 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x7f,0x06]
1061           vpcmpnleb 8128(%rdx), %zmm26, %k3
1062
1063 // CHECK: vpcmpnleb 8192(%rdx), %zmm26, %k3
1064 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x06]
1065           vpcmpnleb 8192(%rdx), %zmm26, %k3
1066
1067 // CHECK: vpcmpnleb -8192(%rdx), %zmm26, %k3
1068 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x5a,0x80,0x06]
1069           vpcmpnleb -8192(%rdx), %zmm26, %k3
1070
1071 // CHECK: vpcmpnleb -8256(%rdx), %zmm26, %k3
1072 // CHECK:  encoding: [0x62,0xf3,0x2d,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x06]
1073           vpcmpnleb -8256(%rdx), %zmm26, %k3
1074
1075 // CHECK: vpcmpw $171, %zmm25, %zmm29, %k3
1076 // CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0xab]
1077           vpcmpw $171, %zmm25, %zmm29, %k3
1078
1079 // CHECK: vpcmpw $171, %zmm25, %zmm29, %k3 {%k6}
1080 // CHECK:  encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0xab]
1081           vpcmpw $171, %zmm25, %zmm29, %k3 {%k6}
1082
1083 // CHECK: vpcmpw $123, %zmm25, %zmm29, %k3
1084 // CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x7b]
1085           vpcmpw $123, %zmm25, %zmm29, %k3
1086
1087 // CHECK: vpcmpw $123, (%rcx), %zmm29, %k3
1088 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x7b]
1089           vpcmpw $123, (%rcx), %zmm29, %k3
1090
1091 // CHECK: vpcmpw $123, 291(%rax,%r14,8), %zmm29, %k3
1092 // CHECK:  encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
1093           vpcmpw $123, 291(%rax,%r14,8), %zmm29, %k3
1094
1095 // CHECK: vpcmpw $123, 8128(%rdx), %zmm29, %k3
1096 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x7b]
1097           vpcmpw $123, 8128(%rdx), %zmm29, %k3
1098
1099 // CHECK: vpcmpw $123, 8192(%rdx), %zmm29, %k3
1100 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x7b]
1101           vpcmpw $123, 8192(%rdx), %zmm29, %k3
1102
1103 // CHECK: vpcmpw $123, -8192(%rdx), %zmm29, %k3
1104 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x7b]
1105           vpcmpw $123, -8192(%rdx), %zmm29, %k3
1106
1107 // CHECK: vpcmpw $123, -8256(%rdx), %zmm29, %k3
1108 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x7b]
1109           vpcmpw $123, -8256(%rdx), %zmm29, %k3
1110
1111 // CHECK: vpcmpltw %zmm25, %zmm29, %k3
1112 // CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x01]
1113           vpcmpltw %zmm25, %zmm29, %k3
1114
1115 // CHECK: vpcmpltw %zmm25, %zmm29, %k3 {%k6}
1116 // CHECK:  encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x01]
1117           vpcmpltw %zmm25, %zmm29, %k3 {%k6}
1118
1119 // CHECK: vpcmpltw (%rcx), %zmm29, %k3
1120 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x01]
1121           vpcmpltw (%rcx), %zmm29, %k3
1122
1123 // CHECK: vpcmpltw 291(%rax,%r14,8), %zmm29, %k3
1124 // CHECK:  encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x01]
1125           vpcmpltw 291(%rax,%r14,8), %zmm29, %k3
1126
1127 // CHECK: vpcmpltw 8128(%rdx), %zmm29, %k3
1128 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x01]
1129           vpcmpltw 8128(%rdx), %zmm29, %k3
1130
1131 // CHECK: vpcmpltw 8192(%rdx), %zmm29, %k3
1132 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x01]
1133           vpcmpltw 8192(%rdx), %zmm29, %k3
1134
1135 // CHECK: vpcmpltw -8192(%rdx), %zmm29, %k3
1136 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x01]
1137           vpcmpltw -8192(%rdx), %zmm29, %k3
1138
1139 // CHECK: vpcmpltw -8256(%rdx), %zmm29, %k3
1140 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x01]
1141           vpcmpltw -8256(%rdx), %zmm29, %k3
1142
1143 // CHECK: vpcmplew %zmm25, %zmm29, %k3
1144 // CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x02]
1145           vpcmplew %zmm25, %zmm29, %k3
1146
1147 // CHECK: vpcmplew %zmm25, %zmm29, %k3 {%k6}
1148 // CHECK:  encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x02]
1149           vpcmplew %zmm25, %zmm29, %k3 {%k6}
1150
1151 // CHECK: vpcmplew (%rcx), %zmm29, %k3
1152 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x02]
1153           vpcmplew (%rcx), %zmm29, %k3
1154
1155 // CHECK: vpcmplew 291(%rax,%r14,8), %zmm29, %k3
1156 // CHECK:  encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x02]
1157           vpcmplew 291(%rax,%r14,8), %zmm29, %k3
1158
1159 // CHECK: vpcmplew 8128(%rdx), %zmm29, %k3
1160 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x02]
1161           vpcmplew 8128(%rdx), %zmm29, %k3
1162
1163 // CHECK: vpcmplew 8192(%rdx), %zmm29, %k3
1164 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x02]
1165           vpcmplew 8192(%rdx), %zmm29, %k3
1166
1167 // CHECK: vpcmplew -8192(%rdx), %zmm29, %k3
1168 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x02]
1169           vpcmplew -8192(%rdx), %zmm29, %k3
1170
1171 // CHECK: vpcmplew -8256(%rdx), %zmm29, %k3
1172 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x02]
1173           vpcmplew -8256(%rdx), %zmm29, %k3
1174
1175 // CHECK: vpcmpneqw %zmm25, %zmm29, %k3
1176 // CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x04]
1177           vpcmpneqw %zmm25, %zmm29, %k3
1178
1179 // CHECK: vpcmpneqw %zmm25, %zmm29, %k3 {%k6}
1180 // CHECK:  encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x04]
1181           vpcmpneqw %zmm25, %zmm29, %k3 {%k6}
1182
1183 // CHECK: vpcmpneqw (%rcx), %zmm29, %k3
1184 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x04]
1185           vpcmpneqw (%rcx), %zmm29, %k3
1186
1187 // CHECK: vpcmpneqw 291(%rax,%r14,8), %zmm29, %k3
1188 // CHECK:  encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x04]
1189           vpcmpneqw 291(%rax,%r14,8), %zmm29, %k3
1190
1191 // CHECK: vpcmpneqw 8128(%rdx), %zmm29, %k3
1192 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x04]
1193           vpcmpneqw 8128(%rdx), %zmm29, %k3
1194
1195 // CHECK: vpcmpneqw 8192(%rdx), %zmm29, %k3
1196 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x04]
1197           vpcmpneqw 8192(%rdx), %zmm29, %k3
1198
1199 // CHECK: vpcmpneqw -8192(%rdx), %zmm29, %k3
1200 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x04]
1201           vpcmpneqw -8192(%rdx), %zmm29, %k3
1202
1203 // CHECK: vpcmpneqw -8256(%rdx), %zmm29, %k3
1204 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x04]
1205           vpcmpneqw -8256(%rdx), %zmm29, %k3
1206
1207 // CHECK: vpcmpnltw %zmm25, %zmm29, %k3
1208 // CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x05]
1209           vpcmpnltw %zmm25, %zmm29, %k3
1210
1211 // CHECK: vpcmpnltw %zmm25, %zmm29, %k3 {%k6}
1212 // CHECK:  encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x05]
1213           vpcmpnltw %zmm25, %zmm29, %k3 {%k6}
1214
1215 // CHECK: vpcmpnltw (%rcx), %zmm29, %k3
1216 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x05]
1217           vpcmpnltw (%rcx), %zmm29, %k3
1218
1219 // CHECK: vpcmpnltw 291(%rax,%r14,8), %zmm29, %k3
1220 // CHECK:  encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x05]
1221           vpcmpnltw 291(%rax,%r14,8), %zmm29, %k3
1222
1223 // CHECK: vpcmpnltw 8128(%rdx), %zmm29, %k3
1224 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x05]
1225           vpcmpnltw 8128(%rdx), %zmm29, %k3
1226
1227 // CHECK: vpcmpnltw 8192(%rdx), %zmm29, %k3
1228 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x05]
1229           vpcmpnltw 8192(%rdx), %zmm29, %k3
1230
1231 // CHECK: vpcmpnltw -8192(%rdx), %zmm29, %k3
1232 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x05]
1233           vpcmpnltw -8192(%rdx), %zmm29, %k3
1234
1235 // CHECK: vpcmpnltw -8256(%rdx), %zmm29, %k3
1236 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x05]
1237           vpcmpnltw -8256(%rdx), %zmm29, %k3
1238
1239 // CHECK: vpcmpnlew %zmm25, %zmm29, %k3
1240 // CHECK:  encoding: [0x62,0x93,0x95,0x40,0x3f,0xd9,0x06]
1241           vpcmpnlew %zmm25, %zmm29, %k3
1242
1243 // CHECK: vpcmpnlew %zmm25, %zmm29, %k3 {%k6}
1244 // CHECK:  encoding: [0x62,0x93,0x95,0x46,0x3f,0xd9,0x06]
1245           vpcmpnlew %zmm25, %zmm29, %k3 {%k6}
1246
1247 // CHECK: vpcmpnlew (%rcx), %zmm29, %k3
1248 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x19,0x06]
1249           vpcmpnlew (%rcx), %zmm29, %k3
1250
1251 // CHECK: vpcmpnlew 291(%rax,%r14,8), %zmm29, %k3
1252 // CHECK:  encoding: [0x62,0xb3,0x95,0x40,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x06]
1253           vpcmpnlew 291(%rax,%r14,8), %zmm29, %k3
1254
1255 // CHECK: vpcmpnlew 8128(%rdx), %zmm29, %k3
1256 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x7f,0x06]
1257           vpcmpnlew 8128(%rdx), %zmm29, %k3
1258
1259 // CHECK: vpcmpnlew 8192(%rdx), %zmm29, %k3
1260 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0x00,0x20,0x00,0x00,0x06]
1261           vpcmpnlew 8192(%rdx), %zmm29, %k3
1262
1263 // CHECK: vpcmpnlew -8192(%rdx), %zmm29, %k3
1264 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x5a,0x80,0x06]
1265           vpcmpnlew -8192(%rdx), %zmm29, %k3
1266
1267 // CHECK: vpcmpnlew -8256(%rdx), %zmm29, %k3
1268 // CHECK:  encoding: [0x62,0xf3,0x95,0x40,0x3f,0x9a,0xc0,0xdf,0xff,0xff,0x06]
1269           vpcmpnlew -8256(%rdx), %zmm29, %k3
1270
1271 // CHECK: vpcmpub $171, %zmm22, %zmm29, %k4
1272 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0xab]
1273           vpcmpub $171, %zmm22, %zmm29, %k4
1274
1275 // CHECK: vpcmpub $171, %zmm22, %zmm29, %k4 {%k7}
1276 // CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0xab]
1277           vpcmpub $171, %zmm22, %zmm29, %k4 {%k7}
1278
1279 // CHECK: vpcmpub $123, %zmm22, %zmm29, %k4
1280 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x7b]
1281           vpcmpub $123, %zmm22, %zmm29, %k4
1282
1283 // CHECK: vpcmpub $123, (%rcx), %zmm29, %k4
1284 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x7b]
1285           vpcmpub $123, (%rcx), %zmm29, %k4
1286
1287 // CHECK: vpcmpub $123, 291(%rax,%r14,8), %zmm29, %k4
1288 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
1289           vpcmpub $123, 291(%rax,%r14,8), %zmm29, %k4
1290
1291 // CHECK: vpcmpub $123, 8128(%rdx), %zmm29, %k4
1292 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x7b]
1293           vpcmpub $123, 8128(%rdx), %zmm29, %k4
1294
1295 // CHECK: vpcmpub $123, 8192(%rdx), %zmm29, %k4
1296 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x7b]
1297           vpcmpub $123, 8192(%rdx), %zmm29, %k4
1298
1299 // CHECK: vpcmpub $123, -8192(%rdx), %zmm29, %k4
1300 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x7b]
1301           vpcmpub $123, -8192(%rdx), %zmm29, %k4
1302
1303 // CHECK: vpcmpub $123, -8256(%rdx), %zmm29, %k4
1304 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x7b]
1305           vpcmpub $123, -8256(%rdx), %zmm29, %k4
1306
1307 // CHECK: vpcmpequb %zmm22, %zmm29, %k4
1308 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x00]
1309           vpcmpequb %zmm22, %zmm29, %k4
1310
1311 // CHECK: vpcmpequb %zmm22, %zmm29, %k4 {%k7}
1312 // CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x00]
1313           vpcmpequb %zmm22, %zmm29, %k4 {%k7}
1314
1315 // CHECK: vpcmpequb %zmm22, %zmm29, %k4
1316 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x00]
1317           vpcmpequb %zmm22, %zmm29, %k4
1318
1319 // CHECK: vpcmpequb (%rcx), %zmm29, %k4
1320 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x00]
1321           vpcmpequb (%rcx), %zmm29, %k4
1322
1323 // CHECK: vpcmpequb 291(%rax,%r14,8), %zmm29, %k4
1324 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x00]
1325           vpcmpequb 291(%rax,%r14,8), %zmm29, %k4
1326
1327 // CHECK: vpcmpequb 8128(%rdx), %zmm29, %k4
1328 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x00]
1329           vpcmpequb 8128(%rdx), %zmm29, %k4
1330
1331 // CHECK: vpcmpequb 8192(%rdx), %zmm29, %k4
1332 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x00]
1333           vpcmpequb 8192(%rdx), %zmm29, %k4
1334
1335 // CHECK: vpcmpequb -8192(%rdx), %zmm29, %k4
1336 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x00]
1337           vpcmpequb -8192(%rdx), %zmm29, %k4
1338
1339 // CHECK: vpcmpequb -8256(%rdx), %zmm29, %k4
1340 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x00]
1341           vpcmpequb -8256(%rdx), %zmm29, %k4
1342
1343 // CHECK: vpcmpltub %zmm22, %zmm29, %k4
1344 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x01]
1345           vpcmpltub %zmm22, %zmm29, %k4
1346
1347 // CHECK: vpcmpltub %zmm22, %zmm29, %k4 {%k7}
1348 // CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x01]
1349           vpcmpltub %zmm22, %zmm29, %k4 {%k7}
1350
1351 // CHECK: vpcmpltub %zmm22, %zmm29, %k4
1352 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x01]
1353           vpcmpltub %zmm22, %zmm29, %k4
1354
1355 // CHECK: vpcmpltub (%rcx), %zmm29, %k4
1356 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x01]
1357           vpcmpltub (%rcx), %zmm29, %k4
1358
1359 // CHECK: vpcmpltub 291(%rax,%r14,8), %zmm29, %k4
1360 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x01]
1361           vpcmpltub 291(%rax,%r14,8), %zmm29, %k4
1362
1363 // CHECK: vpcmpltub 8128(%rdx), %zmm29, %k4
1364 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x01]
1365           vpcmpltub 8128(%rdx), %zmm29, %k4
1366
1367 // CHECK: vpcmpltub 8192(%rdx), %zmm29, %k4
1368 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x01]
1369           vpcmpltub 8192(%rdx), %zmm29, %k4
1370
1371 // CHECK: vpcmpltub -8192(%rdx), %zmm29, %k4
1372 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x01]
1373           vpcmpltub -8192(%rdx), %zmm29, %k4
1374
1375 // CHECK: vpcmpltub -8256(%rdx), %zmm29, %k4
1376 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x01]
1377           vpcmpltub -8256(%rdx), %zmm29, %k4
1378
1379 // CHECK: vpcmpleub %zmm22, %zmm29, %k4
1380 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x02]
1381           vpcmpleub %zmm22, %zmm29, %k4
1382
1383 // CHECK: vpcmpleub %zmm22, %zmm29, %k4 {%k7}
1384 // CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x02]
1385           vpcmpleub %zmm22, %zmm29, %k4 {%k7}
1386
1387 // CHECK: vpcmpleub %zmm22, %zmm29, %k4
1388 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x02]
1389           vpcmpleub %zmm22, %zmm29, %k4
1390
1391 // CHECK: vpcmpleub (%rcx), %zmm29, %k4
1392 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x02]
1393           vpcmpleub (%rcx), %zmm29, %k4
1394
1395 // CHECK: vpcmpleub 291(%rax,%r14,8), %zmm29, %k4
1396 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x02]
1397           vpcmpleub 291(%rax,%r14,8), %zmm29, %k4
1398
1399 // CHECK: vpcmpleub 8128(%rdx), %zmm29, %k4
1400 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x02]
1401           vpcmpleub 8128(%rdx), %zmm29, %k4
1402
1403 // CHECK: vpcmpleub 8192(%rdx), %zmm29, %k4
1404 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x02]
1405           vpcmpleub 8192(%rdx), %zmm29, %k4
1406
1407 // CHECK: vpcmpleub -8192(%rdx), %zmm29, %k4
1408 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x02]
1409           vpcmpleub -8192(%rdx), %zmm29, %k4
1410
1411 // CHECK: vpcmpleub -8256(%rdx), %zmm29, %k4
1412 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x02]
1413           vpcmpleub -8256(%rdx), %zmm29, %k4
1414
1415 // CHECK: vpcmpnequb %zmm22, %zmm29, %k4
1416 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x04]
1417           vpcmpnequb %zmm22, %zmm29, %k4
1418
1419 // CHECK: vpcmpnequb %zmm22, %zmm29, %k4 {%k7}
1420 // CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x04]
1421           vpcmpnequb %zmm22, %zmm29, %k4 {%k7}
1422
1423 // CHECK: vpcmpnequb %zmm22, %zmm29, %k4
1424 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x04]
1425           vpcmpnequb %zmm22, %zmm29, %k4
1426
1427 // CHECK: vpcmpnequb (%rcx), %zmm29, %k4
1428 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x04]
1429           vpcmpnequb (%rcx), %zmm29, %k4
1430
1431 // CHECK: vpcmpnequb 291(%rax,%r14,8), %zmm29, %k4
1432 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x04]
1433           vpcmpnequb 291(%rax,%r14,8), %zmm29, %k4
1434
1435 // CHECK: vpcmpnequb 8128(%rdx), %zmm29, %k4
1436 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x04]
1437           vpcmpnequb 8128(%rdx), %zmm29, %k4
1438
1439 // CHECK: vpcmpnequb 8192(%rdx), %zmm29, %k4
1440 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x04]
1441           vpcmpnequb 8192(%rdx), %zmm29, %k4
1442
1443 // CHECK: vpcmpnequb -8192(%rdx), %zmm29, %k4
1444 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x04]
1445           vpcmpnequb -8192(%rdx), %zmm29, %k4
1446
1447 // CHECK: vpcmpnequb -8256(%rdx), %zmm29, %k4
1448 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x04]
1449           vpcmpnequb -8256(%rdx), %zmm29, %k4
1450
1451 // CHECK: vpcmpnltub %zmm22, %zmm29, %k4
1452 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x05]
1453           vpcmpnltub %zmm22, %zmm29, %k4
1454
1455 // CHECK: vpcmpnltub %zmm22, %zmm29, %k4 {%k7}
1456 // CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x05]
1457           vpcmpnltub %zmm22, %zmm29, %k4 {%k7}
1458
1459 // CHECK: vpcmpnltub %zmm22, %zmm29, %k4
1460 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x05]
1461           vpcmpnltub %zmm22, %zmm29, %k4
1462
1463 // CHECK: vpcmpnltub (%rcx), %zmm29, %k4
1464 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x05]
1465           vpcmpnltub (%rcx), %zmm29, %k4
1466
1467 // CHECK: vpcmpnltub 291(%rax,%r14,8), %zmm29, %k4
1468 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x05]
1469           vpcmpnltub 291(%rax,%r14,8), %zmm29, %k4
1470
1471 // CHECK: vpcmpnltub 8128(%rdx), %zmm29, %k4
1472 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x05]
1473           vpcmpnltub 8128(%rdx), %zmm29, %k4
1474
1475 // CHECK: vpcmpnltub 8192(%rdx), %zmm29, %k4
1476 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x05]
1477           vpcmpnltub 8192(%rdx), %zmm29, %k4
1478
1479 // CHECK: vpcmpnltub -8192(%rdx), %zmm29, %k4
1480 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x05]
1481           vpcmpnltub -8192(%rdx), %zmm29, %k4
1482
1483 // CHECK: vpcmpnltub -8256(%rdx), %zmm29, %k4
1484 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x05]
1485           vpcmpnltub -8256(%rdx), %zmm29, %k4
1486
1487 // CHECK: vpcmpnleub %zmm22, %zmm29, %k4
1488 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x06]
1489           vpcmpnleub %zmm22, %zmm29, %k4
1490
1491 // CHECK: vpcmpnleub %zmm22, %zmm29, %k4 {%k7}
1492 // CHECK:  encoding: [0x62,0xb3,0x15,0x47,0x3e,0xe6,0x06]
1493           vpcmpnleub %zmm22, %zmm29, %k4 {%k7}
1494
1495 // CHECK: vpcmpnleub %zmm22, %zmm29, %k4
1496 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xe6,0x06]
1497           vpcmpnleub %zmm22, %zmm29, %k4
1498
1499 // CHECK: vpcmpnleub (%rcx), %zmm29, %k4
1500 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x21,0x06]
1501           vpcmpnleub (%rcx), %zmm29, %k4
1502
1503 // CHECK: vpcmpnleub 291(%rax,%r14,8), %zmm29, %k4
1504 // CHECK:  encoding: [0x62,0xb3,0x15,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x06]
1505           vpcmpnleub 291(%rax,%r14,8), %zmm29, %k4
1506
1507 // CHECK: vpcmpnleub 8128(%rdx), %zmm29, %k4
1508 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x7f,0x06]
1509           vpcmpnleub 8128(%rdx), %zmm29, %k4
1510
1511 // CHECK: vpcmpnleub 8192(%rdx), %zmm29, %k4
1512 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x06]
1513           vpcmpnleub 8192(%rdx), %zmm29, %k4
1514
1515 // CHECK: vpcmpnleub -8192(%rdx), %zmm29, %k4
1516 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0x62,0x80,0x06]
1517           vpcmpnleub -8192(%rdx), %zmm29, %k4
1518
1519 // CHECK: vpcmpnleub -8256(%rdx), %zmm29, %k4
1520 // CHECK:  encoding: [0x62,0xf3,0x15,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x06]
1521           vpcmpnleub -8256(%rdx), %zmm29, %k4
1522
1523 // CHECK: vpcmpuw $171, %zmm22, %zmm22, %k4
1524 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0xab]
1525           vpcmpuw $171, %zmm22, %zmm22, %k4
1526
1527 // CHECK: vpcmpuw $171, %zmm22, %zmm22, %k4 {%k7}
1528 // CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0xab]
1529           vpcmpuw $171, %zmm22, %zmm22, %k4 {%k7}
1530
1531 // CHECK: vpcmpuw $123, %zmm22, %zmm22, %k4
1532 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x7b]
1533           vpcmpuw $123, %zmm22, %zmm22, %k4
1534
1535 // CHECK: vpcmpuw $123, (%rcx), %zmm22, %k4
1536 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x7b]
1537           vpcmpuw $123, (%rcx), %zmm22, %k4
1538
1539 // CHECK: vpcmpuw $123, 291(%rax,%r14,8), %zmm22, %k4
1540 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
1541           vpcmpuw $123, 291(%rax,%r14,8), %zmm22, %k4
1542
1543 // CHECK: vpcmpuw $123, 8128(%rdx), %zmm22, %k4
1544 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x7b]
1545           vpcmpuw $123, 8128(%rdx), %zmm22, %k4
1546
1547 // CHECK: vpcmpuw $123, 8192(%rdx), %zmm22, %k4
1548 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x7b]
1549           vpcmpuw $123, 8192(%rdx), %zmm22, %k4
1550
1551 // CHECK: vpcmpuw $123, -8192(%rdx), %zmm22, %k4
1552 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x7b]
1553           vpcmpuw $123, -8192(%rdx), %zmm22, %k4
1554
1555 // CHECK: vpcmpuw $123, -8256(%rdx), %zmm22, %k4
1556 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x7b]
1557           vpcmpuw $123, -8256(%rdx), %zmm22, %k4
1558
1559 // CHECK: vpcmpequw %zmm22, %zmm22, %k4
1560 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x00]
1561           vpcmpequw %zmm22, %zmm22, %k4
1562
1563 // CHECK: vpcmpequw %zmm22, %zmm22, %k4 {%k7}
1564 // CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x00]
1565           vpcmpequw %zmm22, %zmm22, %k4 {%k7}
1566
1567 // CHECK: vpcmpequw (%rcx), %zmm22, %k4
1568 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x00]
1569           vpcmpequw (%rcx), %zmm22, %k4
1570
1571 // CHECK: vpcmpequw 291(%rax,%r14,8), %zmm22, %k4
1572 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x00]
1573           vpcmpequw 291(%rax,%r14,8), %zmm22, %k4
1574
1575 // CHECK: vpcmpequw 8128(%rdx), %zmm22, %k4
1576 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x00]
1577           vpcmpequw 8128(%rdx), %zmm22, %k4
1578
1579 // CHECK: vpcmpequw 8192(%rdx), %zmm22, %k4
1580 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x00]
1581           vpcmpequw 8192(%rdx), %zmm22, %k4
1582
1583 // CHECK: vpcmpequw -8192(%rdx), %zmm22, %k4
1584 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x00]
1585           vpcmpequw -8192(%rdx), %zmm22, %k4
1586
1587 // CHECK: vpcmpequw -8256(%rdx), %zmm22, %k4
1588 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x00]
1589           vpcmpequw -8256(%rdx), %zmm22, %k4
1590
1591 // CHECK: vpcmpltuw %zmm22, %zmm22, %k4
1592 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x01]
1593           vpcmpltuw %zmm22, %zmm22, %k4
1594
1595 // CHECK: vpcmpltuw %zmm22, %zmm22, %k4 {%k7}
1596 // CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x01]
1597           vpcmpltuw %zmm22, %zmm22, %k4 {%k7}
1598
1599 // CHECK: vpcmpltuw (%rcx), %zmm22, %k4
1600 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x01]
1601           vpcmpltuw (%rcx), %zmm22, %k4
1602
1603 // CHECK: vpcmpltuw 291(%rax,%r14,8), %zmm22, %k4
1604 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x01]
1605           vpcmpltuw 291(%rax,%r14,8), %zmm22, %k4
1606
1607 // CHECK: vpcmpltuw 8128(%rdx), %zmm22, %k4
1608 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x01]
1609           vpcmpltuw 8128(%rdx), %zmm22, %k4
1610
1611 // CHECK: vpcmpltuw 8192(%rdx), %zmm22, %k4
1612 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x01]
1613           vpcmpltuw 8192(%rdx), %zmm22, %k4
1614
1615 // CHECK: vpcmpltuw -8192(%rdx), %zmm22, %k4
1616 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x01]
1617           vpcmpltuw -8192(%rdx), %zmm22, %k4
1618
1619 // CHECK: vpcmpltuw -8256(%rdx), %zmm22, %k4
1620 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x01]
1621           vpcmpltuw -8256(%rdx), %zmm22, %k4
1622
1623 // CHECK: vpcmpleuw %zmm22, %zmm22, %k4
1624 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x02]
1625           vpcmpleuw %zmm22, %zmm22, %k4
1626
1627 // CHECK: vpcmpleuw %zmm22, %zmm22, %k4 {%k7}
1628 // CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x02]
1629           vpcmpleuw %zmm22, %zmm22, %k4 {%k7}
1630
1631 // CHECK: vpcmpleuw (%rcx), %zmm22, %k4
1632 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x02]
1633           vpcmpleuw (%rcx), %zmm22, %k4
1634
1635 // CHECK: vpcmpleuw 291(%rax,%r14,8), %zmm22, %k4
1636 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x02]
1637           vpcmpleuw 291(%rax,%r14,8), %zmm22, %k4
1638
1639 // CHECK: vpcmpleuw 8128(%rdx), %zmm22, %k4
1640 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x02]
1641           vpcmpleuw 8128(%rdx), %zmm22, %k4
1642
1643 // CHECK: vpcmpleuw 8192(%rdx), %zmm22, %k4
1644 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x02]
1645           vpcmpleuw 8192(%rdx), %zmm22, %k4
1646
1647 // CHECK: vpcmpleuw -8192(%rdx), %zmm22, %k4
1648 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x02]
1649           vpcmpleuw -8192(%rdx), %zmm22, %k4
1650
1651 // CHECK: vpcmpleuw -8256(%rdx), %zmm22, %k4
1652 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x02]
1653           vpcmpleuw -8256(%rdx), %zmm22, %k4
1654
1655 // CHECK: vpcmpnequw %zmm22, %zmm22, %k4
1656 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x04]
1657           vpcmpnequw %zmm22, %zmm22, %k4
1658
1659 // CHECK: vpcmpnequw %zmm22, %zmm22, %k4 {%k7}
1660 // CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x04]
1661           vpcmpnequw %zmm22, %zmm22, %k4 {%k7}
1662
1663 // CHECK: vpcmpnequw (%rcx), %zmm22, %k4
1664 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x04]
1665           vpcmpnequw (%rcx), %zmm22, %k4
1666
1667 // CHECK: vpcmpnequw 291(%rax,%r14,8), %zmm22, %k4
1668 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x04]
1669           vpcmpnequw 291(%rax,%r14,8), %zmm22, %k4
1670
1671 // CHECK: vpcmpnequw 8128(%rdx), %zmm22, %k4
1672 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x04]
1673           vpcmpnequw 8128(%rdx), %zmm22, %k4
1674
1675 // CHECK: vpcmpnequw 8192(%rdx), %zmm22, %k4
1676 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x04]
1677           vpcmpnequw 8192(%rdx), %zmm22, %k4
1678
1679 // CHECK: vpcmpnequw -8192(%rdx), %zmm22, %k4
1680 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x04]
1681           vpcmpnequw -8192(%rdx), %zmm22, %k4
1682
1683 // CHECK: vpcmpnequw -8256(%rdx), %zmm22, %k4
1684 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x04]
1685           vpcmpnequw -8256(%rdx), %zmm22, %k4
1686
1687 // CHECK: vpcmpnltuw %zmm22, %zmm22, %k4
1688 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x05]
1689           vpcmpnltuw %zmm22, %zmm22, %k4
1690
1691 // CHECK: vpcmpnltuw %zmm22, %zmm22, %k4 {%k7}
1692 // CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x05]
1693           vpcmpnltuw %zmm22, %zmm22, %k4 {%k7}
1694
1695 // CHECK: vpcmpnltuw (%rcx), %zmm22, %k4
1696 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x05]
1697           vpcmpnltuw (%rcx), %zmm22, %k4
1698
1699 // CHECK: vpcmpnltuw 291(%rax,%r14,8), %zmm22, %k4
1700 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x05]
1701           vpcmpnltuw 291(%rax,%r14,8), %zmm22, %k4
1702
1703 // CHECK: vpcmpnltuw 8128(%rdx), %zmm22, %k4
1704 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x05]
1705           vpcmpnltuw 8128(%rdx), %zmm22, %k4
1706
1707 // CHECK: vpcmpnltuw 8192(%rdx), %zmm22, %k4
1708 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x05]
1709           vpcmpnltuw 8192(%rdx), %zmm22, %k4
1710
1711 // CHECK: vpcmpnltuw -8192(%rdx), %zmm22, %k4
1712 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x05]
1713           vpcmpnltuw -8192(%rdx), %zmm22, %k4
1714
1715 // CHECK: vpcmpnltuw -8256(%rdx), %zmm22, %k4
1716 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x05]
1717           vpcmpnltuw -8256(%rdx), %zmm22, %k4
1718
1719 // CHECK: vpcmpnleuw %zmm22, %zmm22, %k4
1720 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xe6,0x06]
1721           vpcmpnleuw %zmm22, %zmm22, %k4
1722
1723 // CHECK: vpcmpnleuw %zmm22, %zmm22, %k4 {%k7}
1724 // CHECK:  encoding: [0x62,0xb3,0xcd,0x47,0x3e,0xe6,0x06]
1725           vpcmpnleuw %zmm22, %zmm22, %k4 {%k7}
1726
1727 // CHECK: vpcmpnleuw (%rcx), %zmm22, %k4
1728 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x21,0x06]
1729           vpcmpnleuw (%rcx), %zmm22, %k4
1730
1731 // CHECK: vpcmpnleuw 291(%rax,%r14,8), %zmm22, %k4
1732 // CHECK:  encoding: [0x62,0xb3,0xcd,0x40,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x06]
1733           vpcmpnleuw 291(%rax,%r14,8), %zmm22, %k4
1734
1735 // CHECK: vpcmpnleuw 8128(%rdx), %zmm22, %k4
1736 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x7f,0x06]
1737           vpcmpnleuw 8128(%rdx), %zmm22, %k4
1738
1739 // CHECK: vpcmpnleuw 8192(%rdx), %zmm22, %k4
1740 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0x00,0x20,0x00,0x00,0x06]
1741           vpcmpnleuw 8192(%rdx), %zmm22, %k4
1742
1743 // CHECK: vpcmpnleuw -8192(%rdx), %zmm22, %k4
1744 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0x62,0x80,0x06]
1745           vpcmpnleuw -8192(%rdx), %zmm22, %k4
1746
1747 // CHECK: vpcmpnleuw -8256(%rdx), %zmm22, %k4
1748 // CHECK:  encoding: [0x62,0xf3,0xcd,0x40,0x3e,0xa2,0xc0,0xdf,0xff,0xff,0x06]
1749           vpcmpnleuw -8256(%rdx), %zmm22, %k4