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

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown -mcpu=skx  --show-encoding %s | FileCheck %s
   2
   3 // CHECK: vpcmpeqb %xmm21, %xmm21, %k4
   4 // CHECK:  encoding: [0x62,0xb1,0x55,0x00,0x74,0xe5]
   5           vpcmpeqb %xmm21, %xmm21, %k4
   6
   7 // CHECK: vpcmpeqb %xmm21, %xmm21, %k4 {%k3}
   8 // CHECK:  encoding: [0x62,0xb1,0x55,0x03,0x74,0xe5]
   9           vpcmpeqb %xmm21, %xmm21, %k4 {%k3}
  10
  11 // CHECK: vpcmpeqb (%rcx), %xmm21, %k4
  12 // CHECK:  encoding: [0x62,0xf1,0x55,0x00,0x74,0x21]
  13           vpcmpeqb (%rcx), %xmm21, %k4
  14
  15 // CHECK: vpcmpeqb 291(%rax,%r14,8), %xmm21, %k4
  16 // CHECK:  encoding: [0x62,0xb1,0x55,0x00,0x74,0xa4,0xf0,0x23,0x01,0x00,0x00]
  17           vpcmpeqb 291(%rax,%r14,8), %xmm21, %k4
  18
  19 // CHECK: vpcmpeqb 2032(%rdx), %xmm21, %k4
  20 // CHECK:  encoding: [0x62,0xf1,0x55,0x00,0x74,0x62,0x7f]
  21           vpcmpeqb 2032(%rdx), %xmm21, %k4
  22
  23 // CHECK: vpcmpeqb 2048(%rdx), %xmm21, %k4
  24 // CHECK:  encoding: [0x62,0xf1,0x55,0x00,0x74,0xa2,0x00,0x08,0x00,0x00]
  25           vpcmpeqb 2048(%rdx), %xmm21, %k4
  26
  27 // CHECK: vpcmpeqb -2048(%rdx), %xmm21, %k4
  28 // CHECK:  encoding: [0x62,0xf1,0x55,0x00,0x74,0x62,0x80]
  29           vpcmpeqb -2048(%rdx), %xmm21, %k4
  30
  31 // CHECK: vpcmpeqb -2064(%rdx), %xmm21, %k4
  32 // CHECK:  encoding: [0x62,0xf1,0x55,0x00,0x74,0xa2,0xf0,0xf7,0xff,0xff]
  33           vpcmpeqb -2064(%rdx), %xmm21, %k4
  34
  35 // CHECK: vpcmpeqb %ymm18, %ymm21, %k4
  36 // CHECK:  encoding: [0x62,0xb1,0x55,0x20,0x74,0xe2]
  37           vpcmpeqb %ymm18, %ymm21, %k4
  38
  39 // CHECK: vpcmpeqb %ymm18, %ymm21, %k4 {%k1}
  40 // CHECK:  encoding: [0x62,0xb1,0x55,0x21,0x74,0xe2]
  41           vpcmpeqb %ymm18, %ymm21, %k4 {%k1}
  42
  43 // CHECK: vpcmpeqb (%rcx), %ymm21, %k4
  44 // CHECK:  encoding: [0x62,0xf1,0x55,0x20,0x74,0x21]
  45           vpcmpeqb (%rcx), %ymm21, %k4
  46
  47 // CHECK: vpcmpeqb 291(%rax,%r14,8), %ymm21, %k4
  48 // CHECK:  encoding: [0x62,0xb1,0x55,0x20,0x74,0xa4,0xf0,0x23,0x01,0x00,0x00]
  49           vpcmpeqb 291(%rax,%r14,8), %ymm21, %k4
  50
  51 // CHECK: vpcmpeqb 4064(%rdx), %ymm21, %k4
  52 // CHECK:  encoding: [0x62,0xf1,0x55,0x20,0x74,0x62,0x7f]
  53           vpcmpeqb 4064(%rdx), %ymm21, %k4
  54
  55 // CHECK: vpcmpeqb 4096(%rdx), %ymm21, %k4
  56 // CHECK:  encoding: [0x62,0xf1,0x55,0x20,0x74,0xa2,0x00,0x10,0x00,0x00]
  57           vpcmpeqb 4096(%rdx), %ymm21, %k4
  58
  59 // CHECK: vpcmpeqb -4096(%rdx), %ymm21, %k4
  60 // CHECK:  encoding: [0x62,0xf1,0x55,0x20,0x74,0x62,0x80]
  61           vpcmpeqb -4096(%rdx), %ymm21, %k4
  62
  63 // CHECK: vpcmpeqb -4128(%rdx), %ymm21, %k4
  64 // CHECK:  encoding: [0x62,0xf1,0x55,0x20,0x74,0xa2,0xe0,0xef,0xff,0xff]
  65           vpcmpeqb -4128(%rdx), %ymm21, %k4
  66
  67 // CHECK: vpcmpeqw %xmm27, %xmm30, %k3
  68 // CHECK:  encoding: [0x62,0x91,0x0d,0x00,0x75,0xdb]
  69           vpcmpeqw %xmm27, %xmm30, %k3
  70
  71 // CHECK: vpcmpeqw %xmm27, %xmm30, %k3 {%k1}
  72 // CHECK:  encoding: [0x62,0x91,0x0d,0x01,0x75,0xdb]
  73           vpcmpeqw %xmm27, %xmm30, %k3 {%k1}
  74
  75 // CHECK: vpcmpeqw (%rcx), %xmm30, %k3
  76 // CHECK:  encoding: [0x62,0xf1,0x0d,0x00,0x75,0x19]
  77           vpcmpeqw (%rcx), %xmm30, %k3
  78
  79 // CHECK: vpcmpeqw 291(%rax,%r14,8), %xmm30, %k3
  80 // CHECK:  encoding: [0x62,0xb1,0x0d,0x00,0x75,0x9c,0xf0,0x23,0x01,0x00,0x00]
  81           vpcmpeqw 291(%rax,%r14,8), %xmm30, %k3
  82
  83 // CHECK: vpcmpeqw 2032(%rdx), %xmm30, %k3
  84 // CHECK:  encoding: [0x62,0xf1,0x0d,0x00,0x75,0x5a,0x7f]
  85           vpcmpeqw 2032(%rdx), %xmm30, %k3
  86
  87 // CHECK: vpcmpeqw 2048(%rdx), %xmm30, %k3
  88 // CHECK:  encoding: [0x62,0xf1,0x0d,0x00,0x75,0x9a,0x00,0x08,0x00,0x00]
  89           vpcmpeqw 2048(%rdx), %xmm30, %k3
  90
  91 // CHECK: vpcmpeqw -2048(%rdx), %xmm30, %k3
  92 // CHECK:  encoding: [0x62,0xf1,0x0d,0x00,0x75,0x5a,0x80]
  93           vpcmpeqw -2048(%rdx), %xmm30, %k3
  94
  95 // CHECK: vpcmpeqw -2064(%rdx), %xmm30, %k3
  96 // CHECK:  encoding: [0x62,0xf1,0x0d,0x00,0x75,0x9a,0xf0,0xf7,0xff,0xff]
  97           vpcmpeqw -2064(%rdx), %xmm30, %k3
  98
  99 // CHECK: vpcmpeqw %ymm29, %ymm20, %k2
 100 // CHECK:  encoding: [0x62,0x91,0x5d,0x20,0x75,0xd5]
 101           vpcmpeqw %ymm29, %ymm20, %k2
 102
 103 // CHECK: vpcmpeqw %ymm29, %ymm20, %k2 {%k5}
 104 // CHECK:  encoding: [0x62,0x91,0x5d,0x25,0x75,0xd5]
 105           vpcmpeqw %ymm29, %ymm20, %k2 {%k5}
 106
 107 // CHECK: vpcmpeqw (%rcx), %ymm20, %k2
 108 // CHECK:  encoding: [0x62,0xf1,0x5d,0x20,0x75,0x11]
 109           vpcmpeqw (%rcx), %ymm20, %k2
 110
 111 // CHECK: vpcmpeqw 291(%rax,%r14,8), %ymm20, %k2
 112 // CHECK:  encoding: [0x62,0xb1,0x5d,0x20,0x75,0x94,0xf0,0x23,0x01,0x00,0x00]
 113           vpcmpeqw 291(%rax,%r14,8), %ymm20, %k2
 114
 115 // CHECK: vpcmpeqw 4064(%rdx), %ymm20, %k2
 116 // CHECK:  encoding: [0x62,0xf1,0x5d,0x20,0x75,0x52,0x7f]
 117           vpcmpeqw 4064(%rdx), %ymm20, %k2
 118
 119 // CHECK: vpcmpeqw 4096(%rdx), %ymm20, %k2
 120 // CHECK:  encoding: [0x62,0xf1,0x5d,0x20,0x75,0x92,0x00,0x10,0x00,0x00]
 121           vpcmpeqw 4096(%rdx), %ymm20, %k2
 122
 123 // CHECK: vpcmpeqw -4096(%rdx), %ymm20, %k2
 124 // CHECK:  encoding: [0x62,0xf1,0x5d,0x20,0x75,0x52,0x80]
 125           vpcmpeqw -4096(%rdx), %ymm20, %k2
 126
 127 // CHECK: vpcmpeqw -4128(%rdx), %ymm20, %k2
 128 // CHECK:  encoding: [0x62,0xf1,0x5d,0x20,0x75,0x92,0xe0,0xef,0xff,0xff]
 129           vpcmpeqw -4128(%rdx), %ymm20, %k2
 130
 131 // CHECK: vpcmpgtb %xmm17, %xmm30, %k3
 132 // CHECK:  encoding: [0x62,0xb1,0x0d,0x00,0x64,0xd9]
 133           vpcmpgtb %xmm17, %xmm30, %k3
 134
 135 // CHECK: vpcmpgtb %xmm17, %xmm30, %k3 {%k7}
 136 // CHECK:  encoding: [0x62,0xb1,0x0d,0x07,0x64,0xd9]
 137           vpcmpgtb %xmm17, %xmm30, %k3 {%k7}
 138
 139 // CHECK: vpcmpgtb (%rcx), %xmm30, %k3
 140 // CHECK:  encoding: [0x62,0xf1,0x0d,0x00,0x64,0x19]
 141           vpcmpgtb (%rcx), %xmm30, %k3
 142
 143 // CHECK: vpcmpgtb 291(%rax,%r14,8), %xmm30, %k3
 144 // CHECK:  encoding: [0x62,0xb1,0x0d,0x00,0x64,0x9c,0xf0,0x23,0x01,0x00,0x00]
 145           vpcmpgtb 291(%rax,%r14,8), %xmm30, %k3
 146
 147 // CHECK: vpcmpgtb 2032(%rdx), %xmm30, %k3
 148 // CHECK:  encoding: [0x62,0xf1,0x0d,0x00,0x64,0x5a,0x7f]
 149           vpcmpgtb 2032(%rdx), %xmm30, %k3
 150
 151 // CHECK: vpcmpgtb 2048(%rdx), %xmm30, %k3
 152 // CHECK:  encoding: [0x62,0xf1,0x0d,0x00,0x64,0x9a,0x00,0x08,0x00,0x00]
 153           vpcmpgtb 2048(%rdx), %xmm30, %k3
 154
 155 // CHECK: vpcmpgtb -2048(%rdx), %xmm30, %k3
 156 // CHECK:  encoding: [0x62,0xf1,0x0d,0x00,0x64,0x5a,0x80]
 157           vpcmpgtb -2048(%rdx), %xmm30, %k3
 158
 159 // CHECK: vpcmpgtb -2064(%rdx), %xmm30, %k3
 160 // CHECK:  encoding: [0x62,0xf1,0x0d,0x00,0x64,0x9a,0xf0,0xf7,0xff,0xff]
 161           vpcmpgtb -2064(%rdx), %xmm30, %k3
 162
 163 // CHECK: vpcmpgtb %ymm17, %ymm17, %k2
 164 // CHECK:  encoding: [0x62,0xb1,0x75,0x20,0x64,0xd1]
 165           vpcmpgtb %ymm17, %ymm17, %k2
 166
 167 // CHECK: vpcmpgtb %ymm17, %ymm17, %k2 {%k4}
 168 // CHECK:  encoding: [0x62,0xb1,0x75,0x24,0x64,0xd1]
 169           vpcmpgtb %ymm17, %ymm17, %k2 {%k4}
 170
 171 // CHECK: vpcmpgtb (%rcx), %ymm17, %k2
 172 // CHECK:  encoding: [0x62,0xf1,0x75,0x20,0x64,0x11]
 173           vpcmpgtb (%rcx), %ymm17, %k2
 174
 175 // CHECK: vpcmpgtb 291(%rax,%r14,8), %ymm17, %k2
 176 // CHECK:  encoding: [0x62,0xb1,0x75,0x20,0x64,0x94,0xf0,0x23,0x01,0x00,0x00]
 177           vpcmpgtb 291(%rax,%r14,8), %ymm17, %k2
 178
 179 // CHECK: vpcmpgtb 4064(%rdx), %ymm17, %k2
 180 // CHECK:  encoding: [0x62,0xf1,0x75,0x20,0x64,0x52,0x7f]
 181           vpcmpgtb 4064(%rdx), %ymm17, %k2
 182
 183 // CHECK: vpcmpgtb 4096(%rdx), %ymm17, %k2
 184 // CHECK:  encoding: [0x62,0xf1,0x75,0x20,0x64,0x92,0x00,0x10,0x00,0x00]
 185           vpcmpgtb 4096(%rdx), %ymm17, %k2
 186
 187 // CHECK: vpcmpgtb -4096(%rdx), %ymm17, %k2
 188 // CHECK:  encoding: [0x62,0xf1,0x75,0x20,0x64,0x52,0x80]
 189           vpcmpgtb -4096(%rdx), %ymm17, %k2
 190
 191 // CHECK: vpcmpgtb -4128(%rdx), %ymm17, %k2
 192 // CHECK:  encoding: [0x62,0xf1,0x75,0x20,0x64,0x92,0xe0,0xef,0xff,0xff]
 193           vpcmpgtb -4128(%rdx), %ymm17, %k2
 194
 195 // CHECK: vpcmpgtw %xmm22, %xmm28, %k2
 196 // CHECK:  encoding: [0x62,0xb1,0x1d,0x00,0x65,0xd6]
 197           vpcmpgtw %xmm22, %xmm28, %k2
 198
 199 // CHECK: vpcmpgtw %xmm22, %xmm28, %k2 {%k7}
 200 // CHECK:  encoding: [0x62,0xb1,0x1d,0x07,0x65,0xd6]
 201           vpcmpgtw %xmm22, %xmm28, %k2 {%k7}
 202
 203 // CHECK: vpcmpgtw (%rcx), %xmm28, %k2
 204 // CHECK:  encoding: [0x62,0xf1,0x1d,0x00,0x65,0x11]
 205           vpcmpgtw (%rcx), %xmm28, %k2
 206
 207 // CHECK: vpcmpgtw 291(%rax,%r14,8), %xmm28, %k2
 208 // CHECK:  encoding: [0x62,0xb1,0x1d,0x00,0x65,0x94,0xf0,0x23,0x01,0x00,0x00]
 209           vpcmpgtw 291(%rax,%r14,8), %xmm28, %k2
 210
 211 // CHECK: vpcmpgtw 2032(%rdx), %xmm28, %k2
 212 // CHECK:  encoding: [0x62,0xf1,0x1d,0x00,0x65,0x52,0x7f]
 213           vpcmpgtw 2032(%rdx), %xmm28, %k2
 214
 215 // CHECK: vpcmpgtw 2048(%rdx), %xmm28, %k2
 216 // CHECK:  encoding: [0x62,0xf1,0x1d,0x00,0x65,0x92,0x00,0x08,0x00,0x00]
 217           vpcmpgtw 2048(%rdx), %xmm28, %k2
 218
 219 // CHECK: vpcmpgtw -2048(%rdx), %xmm28, %k2
 220 // CHECK:  encoding: [0x62,0xf1,0x1d,0x00,0x65,0x52,0x80]
 221           vpcmpgtw -2048(%rdx), %xmm28, %k2
 222
 223 // CHECK: vpcmpgtw -2064(%rdx), %xmm28, %k2
 224 // CHECK:  encoding: [0x62,0xf1,0x1d,0x00,0x65,0x92,0xf0,0xf7,0xff,0xff]
 225           vpcmpgtw -2064(%rdx), %xmm28, %k2
 226
 227 // CHECK: vpcmpgtw %ymm26, %ymm20, %k5
 228 // CHECK:  encoding: [0x62,0x91,0x5d,0x20,0x65,0xea]
 229           vpcmpgtw %ymm26, %ymm20, %k5
 230
 231 // CHECK: vpcmpgtw %ymm26, %ymm20, %k5 {%k2}
 232 // CHECK:  encoding: [0x62,0x91,0x5d,0x22,0x65,0xea]
 233           vpcmpgtw %ymm26, %ymm20, %k5 {%k2}
 234
 235 // CHECK: vpcmpgtw (%rcx), %ymm20, %k5
 236 // CHECK:  encoding: [0x62,0xf1,0x5d,0x20,0x65,0x29]
 237           vpcmpgtw (%rcx), %ymm20, %k5
 238
 239 // CHECK: vpcmpgtw 291(%rax,%r14,8), %ymm20, %k5
 240 // CHECK:  encoding: [0x62,0xb1,0x5d,0x20,0x65,0xac,0xf0,0x23,0x01,0x00,0x00]
 241           vpcmpgtw 291(%rax,%r14,8), %ymm20, %k5
 242
 243 // CHECK: vpcmpgtw 4064(%rdx), %ymm20, %k5
 244 // CHECK:  encoding: [0x62,0xf1,0x5d,0x20,0x65,0x6a,0x7f]
 245           vpcmpgtw 4064(%rdx), %ymm20, %k5
 246
 247 // CHECK: vpcmpgtw 4096(%rdx), %ymm20, %k5
 248 // CHECK:  encoding: [0x62,0xf1,0x5d,0x20,0x65,0xaa,0x00,0x10,0x00,0x00]
 249           vpcmpgtw 4096(%rdx), %ymm20, %k5
 250
 251 // CHECK: vpcmpgtw -4096(%rdx), %ymm20, %k5
 252 // CHECK:  encoding: [0x62,0xf1,0x5d,0x20,0x65,0x6a,0x80]
 253           vpcmpgtw -4096(%rdx), %ymm20, %k5
 254
 255 // CHECK: vpcmpgtw -4128(%rdx), %ymm20, %k5
 256 // CHECK:  encoding: [0x62,0xf1,0x5d,0x20,0x65,0xaa,0xe0,0xef,0xff,0xff]
 257           vpcmpgtw -4128(%rdx), %ymm20, %k5
 258
 259 // CHECK: vpcmpb $171, %xmm17, %xmm30, %k3
 260 // CHECK:  encoding: [0x62,0xb3,0x0d,0x00,0x3f,0xd9,0xab]
 261           vpcmpb $171, %xmm17, %xmm30, %k3
 262
 263 // CHECK: vpcmpb $171, %xmm17, %xmm30, %k3 {%k1}
 264 // CHECK:  encoding: [0x62,0xb3,0x0d,0x01,0x3f,0xd9,0xab]
 265           vpcmpb $171, %xmm17, %xmm30, %k3 {%k1}
 266
 267 // CHECK: vpcmpb $123, %xmm17, %xmm30, %k3
 268 // CHECK:  encoding: [0x62,0xb3,0x0d,0x00,0x3f,0xd9,0x7b]
 269           vpcmpb $123, %xmm17, %xmm30, %k3
 270
 271 // CHECK: vpcmpb $123, (%rcx), %xmm30, %k3
 272 // CHECK:  encoding: [0x62,0xf3,0x0d,0x00,0x3f,0x19,0x7b]
 273           vpcmpb $123, (%rcx), %xmm30, %k3
 274
 275 // CHECK: vpcmpb $123, 291(%rax,%r14,8), %xmm30, %k3
 276 // CHECK:  encoding: [0x62,0xb3,0x0d,0x00,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
 277           vpcmpb $123, 291(%rax,%r14,8), %xmm30, %k3
 278
 279 // CHECK: vpcmpb $123, 2032(%rdx), %xmm30, %k3
 280 // CHECK:  encoding: [0x62,0xf3,0x0d,0x00,0x3f,0x5a,0x7f,0x7b]
 281           vpcmpb $123, 2032(%rdx), %xmm30, %k3
 282
 283 // CHECK: vpcmpb $123, 2048(%rdx), %xmm30, %k3
 284 // CHECK:  encoding: [0x62,0xf3,0x0d,0x00,0x3f,0x9a,0x00,0x08,0x00,0x00,0x7b]
 285           vpcmpb $123, 2048(%rdx), %xmm30, %k3
 286
 287 // CHECK: vpcmpb $123, -2048(%rdx), %xmm30, %k3
 288 // CHECK:  encoding: [0x62,0xf3,0x0d,0x00,0x3f,0x5a,0x80,0x7b]
 289           vpcmpb $123, -2048(%rdx), %xmm30, %k3
 290
 291 // CHECK: vpcmpb $123, -2064(%rdx), %xmm30, %k3
 292 // CHECK:  encoding: [0x62,0xf3,0x0d,0x00,0x3f,0x9a,0xf0,0xf7,0xff,0xff,0x7b]
 293           vpcmpb $123, -2064(%rdx), %xmm30, %k3
 294
 295 // CHECK: vpcmpb $171, %ymm19, %ymm19, %k5
 296 // CHECK:  encoding: [0x62,0xb3,0x65,0x20,0x3f,0xeb,0xab]
 297           vpcmpb $171, %ymm19, %ymm19, %k5
 298
 299 // CHECK: vpcmpb $171, %ymm19, %ymm19, %k5 {%k4}
 300 // CHECK:  encoding: [0x62,0xb3,0x65,0x24,0x3f,0xeb,0xab]
 301           vpcmpb $171, %ymm19, %ymm19, %k5 {%k4}
 302
 303 // CHECK: vpcmpb $123, %ymm19, %ymm19, %k5
 304 // CHECK:  encoding: [0x62,0xb3,0x65,0x20,0x3f,0xeb,0x7b]
 305           vpcmpb $123, %ymm19, %ymm19, %k5
 306
 307 // CHECK: vpcmpb $123, (%rcx), %ymm19, %k5
 308 // CHECK:  encoding: [0x62,0xf3,0x65,0x20,0x3f,0x29,0x7b]
 309           vpcmpb $123, (%rcx), %ymm19, %k5
 310
 311 // CHECK: vpcmpb $123, 291(%rax,%r14,8), %ymm19, %k5
 312 // CHECK:  encoding: [0x62,0xb3,0x65,0x20,0x3f,0xac,0xf0,0x23,0x01,0x00,0x00,0x7b]
 313           vpcmpb $123, 291(%rax,%r14,8), %ymm19, %k5
 314
 315 // CHECK: vpcmpb $123, 4064(%rdx), %ymm19, %k5
 316 // CHECK:  encoding: [0x62,0xf3,0x65,0x20,0x3f,0x6a,0x7f,0x7b]
 317           vpcmpb $123, 4064(%rdx), %ymm19, %k5
 318
 319 // CHECK: vpcmpb $123, 4096(%rdx), %ymm19, %k5
 320 // CHECK:  encoding: [0x62,0xf3,0x65,0x20,0x3f,0xaa,0x00,0x10,0x00,0x00,0x7b]
 321           vpcmpb $123, 4096(%rdx), %ymm19, %k5
 322
 323 // CHECK: vpcmpb $123, -4096(%rdx), %ymm19, %k5
 324 // CHECK:  encoding: [0x62,0xf3,0x65,0x20,0x3f,0x6a,0x80,0x7b]
 325           vpcmpb $123, -4096(%rdx), %ymm19, %k5
 326
 327 // CHECK: vpcmpb $123, -4128(%rdx), %ymm19, %k5
 328 // CHECK:  encoding: [0x62,0xf3,0x65,0x20,0x3f,0xaa,0xe0,0xef,0xff,0xff,0x7b]
 329           vpcmpb $123, -4128(%rdx), %ymm19, %k5
 330
 331 // CHECK: vpcmpw $171, %xmm22, %xmm30, %k3
 332 // CHECK:  encoding: [0x62,0xb3,0x8d,0x00,0x3f,0xde,0xab]
 333           vpcmpw $171, %xmm22, %xmm30, %k3
 334
 335 // CHECK: vpcmpw $171, %xmm22, %xmm30, %k3 {%k6}
 336 // CHECK:  encoding: [0x62,0xb3,0x8d,0x06,0x3f,0xde,0xab]
 337           vpcmpw $171, %xmm22, %xmm30, %k3 {%k6}
 338
 339 // CHECK: vpcmpw $123, %xmm22, %xmm30, %k3
 340 // CHECK:  encoding: [0x62,0xb3,0x8d,0x00,0x3f,0xde,0x7b]
 341           vpcmpw $123, %xmm22, %xmm30, %k3
 342
 343 // CHECK: vpcmpw $123, (%rcx), %xmm30, %k3
 344 // CHECK:  encoding: [0x62,0xf3,0x8d,0x00,0x3f,0x19,0x7b]
 345           vpcmpw $123, (%rcx), %xmm30, %k3
 346
 347 // CHECK: vpcmpw $123, 291(%rax,%r14,8), %xmm30, %k3
 348 // CHECK:  encoding: [0x62,0xb3,0x8d,0x00,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
 349           vpcmpw $123, 291(%rax,%r14,8), %xmm30, %k3
 350
 351 // CHECK: vpcmpw $123, 2032(%rdx), %xmm30, %k3
 352 // CHECK:  encoding: [0x62,0xf3,0x8d,0x00,0x3f,0x5a,0x7f,0x7b]
 353           vpcmpw $123, 2032(%rdx), %xmm30, %k3
 354
 355 // CHECK: vpcmpw $123, 2048(%rdx), %xmm30, %k3
 356 // CHECK:  encoding: [0x62,0xf3,0x8d,0x00,0x3f,0x9a,0x00,0x08,0x00,0x00,0x7b]
 357           vpcmpw $123, 2048(%rdx), %xmm30, %k3
 358
 359 // CHECK: vpcmpw $123, -2048(%rdx), %xmm30, %k3
 360 // CHECK:  encoding: [0x62,0xf3,0x8d,0x00,0x3f,0x5a,0x80,0x7b]
 361           vpcmpw $123, -2048(%rdx), %xmm30, %k3
 362
 363 // CHECK: vpcmpw $123, -2064(%rdx), %xmm30, %k3
 364 // CHECK:  encoding: [0x62,0xf3,0x8d,0x00,0x3f,0x9a,0xf0,0xf7,0xff,0xff,0x7b]
 365           vpcmpw $123, -2064(%rdx), %xmm30, %k3
 366
 367 // CHECK: vpcmpw $171, %ymm18, %ymm26, %k3
 368 // CHECK:  encoding: [0x62,0xb3,0xad,0x20,0x3f,0xda,0xab]
 369           vpcmpw $171, %ymm18, %ymm26, %k3
 370
 371 // CHECK: vpcmpw $171, %ymm18, %ymm26, %k3 {%k3}
 372 // CHECK:  encoding: [0x62,0xb3,0xad,0x23,0x3f,0xda,0xab]
 373           vpcmpw $171, %ymm18, %ymm26, %k3 {%k3}
 374
 375 // CHECK: vpcmpw $123, %ymm18, %ymm26, %k3
 376 // CHECK:  encoding: [0x62,0xb3,0xad,0x20,0x3f,0xda,0x7b]
 377           vpcmpw $123, %ymm18, %ymm26, %k3
 378
 379 // CHECK: vpcmpw $123, (%rcx), %ymm26, %k3
 380 // CHECK:  encoding: [0x62,0xf3,0xad,0x20,0x3f,0x19,0x7b]
 381           vpcmpw $123, (%rcx), %ymm26, %k3
 382
 383 // CHECK: vpcmpw $123, 291(%rax,%r14,8), %ymm26, %k3
 384 // CHECK:  encoding: [0x62,0xb3,0xad,0x20,0x3f,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
 385           vpcmpw $123, 291(%rax,%r14,8), %ymm26, %k3
 386
 387 // CHECK: vpcmpw $123, 4064(%rdx), %ymm26, %k3
 388 // CHECK:  encoding: [0x62,0xf3,0xad,0x20,0x3f,0x5a,0x7f,0x7b]
 389           vpcmpw $123, 4064(%rdx), %ymm26, %k3
 390
 391 // CHECK: vpcmpw $123, 4096(%rdx), %ymm26, %k3
 392 // CHECK:  encoding: [0x62,0xf3,0xad,0x20,0x3f,0x9a,0x00,0x10,0x00,0x00,0x7b]
 393           vpcmpw $123, 4096(%rdx), %ymm26, %k3
 394
 395 // CHECK: vpcmpw $123, -4096(%rdx), %ymm26, %k3
 396 // CHECK:  encoding: [0x62,0xf3,0xad,0x20,0x3f,0x5a,0x80,0x7b]
 397           vpcmpw $123, -4096(%rdx), %ymm26, %k3
 398
 399 // CHECK: vpcmpw $123, -4128(%rdx), %ymm26, %k3
 400 // CHECK:  encoding: [0x62,0xf3,0xad,0x20,0x3f,0x9a,0xe0,0xef,0xff,0xff,0x7b]
 401           vpcmpw $123, -4128(%rdx), %ymm26, %k3
 402
 403 // CHECK: vpcmpub $171, %xmm21, %xmm22, %k5
 404 // CHECK:  encoding: [0x62,0xb3,0x4d,0x00,0x3e,0xed,0xab]
 405           vpcmpub $171, %xmm21, %xmm22, %k5
 406
 407 // CHECK: vpcmpub $171, %xmm21, %xmm22, %k5 {%k3}
 408 // CHECK:  encoding: [0x62,0xb3,0x4d,0x03,0x3e,0xed,0xab]
 409           vpcmpub $171, %xmm21, %xmm22, %k5 {%k3}
 410
 411 // CHECK: vpcmpub $123, %xmm21, %xmm22, %k5
 412 // CHECK:  encoding: [0x62,0xb3,0x4d,0x00,0x3e,0xed,0x7b]
 413           vpcmpub $123, %xmm21, %xmm22, %k5
 414
 415 // CHECK: vpcmpub $123, (%rcx), %xmm22, %k5
 416 // CHECK:  encoding: [0x62,0xf3,0x4d,0x00,0x3e,0x29,0x7b]
 417           vpcmpub $123, (%rcx), %xmm22, %k5
 418
 419 // CHECK: vpcmpub $123, 291(%rax,%r14,8), %xmm22, %k5
 420 // CHECK:  encoding: [0x62,0xb3,0x4d,0x00,0x3e,0xac,0xf0,0x23,0x01,0x00,0x00,0x7b]
 421           vpcmpub $123, 291(%rax,%r14,8), %xmm22, %k5
 422
 423 // CHECK: vpcmpub $123, 2032(%rdx), %xmm22, %k5
 424 // CHECK:  encoding: [0x62,0xf3,0x4d,0x00,0x3e,0x6a,0x7f,0x7b]
 425           vpcmpub $123, 2032(%rdx), %xmm22, %k5
 426
 427 // CHECK: vpcmpub $123, 2048(%rdx), %xmm22, %k5
 428 // CHECK:  encoding: [0x62,0xf3,0x4d,0x00,0x3e,0xaa,0x00,0x08,0x00,0x00,0x7b]
 429           vpcmpub $123, 2048(%rdx), %xmm22, %k5
 430
 431 // CHECK: vpcmpub $123, -2048(%rdx), %xmm22, %k5
 432 // CHECK:  encoding: [0x62,0xf3,0x4d,0x00,0x3e,0x6a,0x80,0x7b]
 433           vpcmpub $123, -2048(%rdx), %xmm22, %k5
 434
 435 // CHECK: vpcmpub $123, -2064(%rdx), %xmm22, %k5
 436 // CHECK:  encoding: [0x62,0xf3,0x4d,0x00,0x3e,0xaa,0xf0,0xf7,0xff,0xff,0x7b]
 437           vpcmpub $123, -2064(%rdx), %xmm22, %k5
 438
 439 // CHECK: vpcmpub $171, %ymm21, %ymm23, %k2
 440 // CHECK:  encoding: [0x62,0xb3,0x45,0x20,0x3e,0xd5,0xab]
 441           vpcmpub $171, %ymm21, %ymm23, %k2
 442
 443 // CHECK: vpcmpub $171, %ymm21, %ymm23, %k2 {%k2}
 444 // CHECK:  encoding: [0x62,0xb3,0x45,0x22,0x3e,0xd5,0xab]
 445           vpcmpub $171, %ymm21, %ymm23, %k2 {%k2}
 446
 447 // CHECK: vpcmpub $123, %ymm21, %ymm23, %k2
 448 // CHECK:  encoding: [0x62,0xb3,0x45,0x20,0x3e,0xd5,0x7b]
 449           vpcmpub $123, %ymm21, %ymm23, %k2
 450
 451 // CHECK: vpcmpub $123, (%rcx), %ymm23, %k2
 452 // CHECK:  encoding: [0x62,0xf3,0x45,0x20,0x3e,0x11,0x7b]
 453           vpcmpub $123, (%rcx), %ymm23, %k2
 454
 455 // CHECK: vpcmpub $123, 291(%rax,%r14,8), %ymm23, %k2
 456 // CHECK:  encoding: [0x62,0xb3,0x45,0x20,0x3e,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b]
 457           vpcmpub $123, 291(%rax,%r14,8), %ymm23, %k2
 458
 459 // CHECK: vpcmpub $123, 4064(%rdx), %ymm23, %k2
 460 // CHECK:  encoding: [0x62,0xf3,0x45,0x20,0x3e,0x52,0x7f,0x7b]
 461           vpcmpub $123, 4064(%rdx), %ymm23, %k2
 462
 463 // CHECK: vpcmpub $123, 4096(%rdx), %ymm23, %k2
 464 // CHECK:  encoding: [0x62,0xf3,0x45,0x20,0x3e,0x92,0x00,0x10,0x00,0x00,0x7b]
 465           vpcmpub $123, 4096(%rdx), %ymm23, %k2
 466
 467 // CHECK: vpcmpub $123, -4096(%rdx), %ymm23, %k2
 468 // CHECK:  encoding: [0x62,0xf3,0x45,0x20,0x3e,0x52,0x80,0x7b]
 469           vpcmpub $123, -4096(%rdx), %ymm23, %k2
 470
 471 // CHECK: vpcmpub $123, -4128(%rdx), %ymm23, %k2
 472 // CHECK:  encoding: [0x62,0xf3,0x45,0x20,0x3e,0x92,0xe0,0xef,0xff,0xff,0x7b]
 473           vpcmpub $123, -4128(%rdx), %ymm23, %k2
 474
 475 // CHECK: vpcmpuw $171, %xmm17, %xmm28, %k5
 476 // CHECK:  encoding: [0x62,0xb3,0x9d,0x00,0x3e,0xe9,0xab]
 477           vpcmpuw $171, %xmm17, %xmm28, %k5
 478
 479 // CHECK: vpcmpuw $171, %xmm17, %xmm28, %k5 {%k4}
 480 // CHECK:  encoding: [0x62,0xb3,0x9d,0x04,0x3e,0xe9,0xab]
 481           vpcmpuw $171, %xmm17, %xmm28, %k5 {%k4}
 482
 483 // CHECK: vpcmpuw $123, %xmm17, %xmm28, %k5
 484 // CHECK:  encoding: [0x62,0xb3,0x9d,0x00,0x3e,0xe9,0x7b]
 485           vpcmpuw $123, %xmm17, %xmm28, %k5
 486
 487 // CHECK: vpcmpuw $123, (%rcx), %xmm28, %k5
 488 // CHECK:  encoding: [0x62,0xf3,0x9d,0x00,0x3e,0x29,0x7b]
 489           vpcmpuw $123, (%rcx), %xmm28, %k5
 490
 491 // CHECK: vpcmpuw $123, 291(%rax,%r14,8), %xmm28, %k5
 492 // CHECK:  encoding: [0x62,0xb3,0x9d,0x00,0x3e,0xac,0xf0,0x23,0x01,0x00,0x00,0x7b]
 493           vpcmpuw $123, 291(%rax,%r14,8), %xmm28, %k5
 494
 495 // CHECK: vpcmpuw $123, 2032(%rdx), %xmm28, %k5
 496 // CHECK:  encoding: [0x62,0xf3,0x9d,0x00,0x3e,0x6a,0x7f,0x7b]
 497           vpcmpuw $123, 2032(%rdx), %xmm28, %k5
 498
 499 // CHECK: vpcmpuw $123, 2048(%rdx), %xmm28, %k5
 500 // CHECK:  encoding: [0x62,0xf3,0x9d,0x00,0x3e,0xaa,0x00,0x08,0x00,0x00,0x7b]
 501           vpcmpuw $123, 2048(%rdx), %xmm28, %k5
 502
 503 // CHECK: vpcmpuw $123, -2048(%rdx), %xmm28, %k5
 504 // CHECK:  encoding: [0x62,0xf3,0x9d,0x00,0x3e,0x6a,0x80,0x7b]
 505           vpcmpuw $123, -2048(%rdx), %xmm28, %k5
 506
 507 // CHECK: vpcmpuw $123, -2064(%rdx), %xmm28, %k5
 508 // CHECK:  encoding: [0x62,0xf3,0x9d,0x00,0x3e,0xaa,0xf0,0xf7,0xff,0xff,0x7b]
 509           vpcmpuw $123, -2064(%rdx), %xmm28, %k5
 510
 511 // CHECK: vpcmpuw $171, %ymm28, %ymm27, %k4
 512 // CHECK:  encoding: [0x62,0x93,0xa5,0x20,0x3e,0xe4,0xab]
 513           vpcmpuw $171, %ymm28, %ymm27, %k4
 514
 515 // CHECK: vpcmpuw $171, %ymm28, %ymm27, %k4 {%k2}
 516 // CHECK:  encoding: [0x62,0x93,0xa5,0x22,0x3e,0xe4,0xab]
 517           vpcmpuw $171, %ymm28, %ymm27, %k4 {%k2}
 518
 519 // CHECK: vpcmpuw $123, %ymm28, %ymm27, %k4
 520 // CHECK:  encoding: [0x62,0x93,0xa5,0x20,0x3e,0xe4,0x7b]
 521           vpcmpuw $123, %ymm28, %ymm27, %k4
 522
 523 // CHECK: vpcmpuw $123, (%rcx), %ymm27, %k4
 524 // CHECK:  encoding: [0x62,0xf3,0xa5,0x20,0x3e,0x21,0x7b]
 525           vpcmpuw $123, (%rcx), %ymm27, %k4
 526
 527 // CHECK: vpcmpuw $123, 291(%rax,%r14,8), %ymm27, %k4
 528 // CHECK:  encoding: [0x62,0xb3,0xa5,0x20,0x3e,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
 529           vpcmpuw $123, 291(%rax,%r14,8), %ymm27, %k4
 530
 531 // CHECK: vpcmpuw $123, 4064(%rdx), %ymm27, %k4
 532 // CHECK:  encoding: [0x62,0xf3,0xa5,0x20,0x3e,0x62,0x7f,0x7b]
 533           vpcmpuw $123, 4064(%rdx), %ymm27, %k4
 534
 535 // CHECK: vpcmpuw $123, 4096(%rdx), %ymm27, %k4
 536 // CHECK:  encoding: [0x62,0xf3,0xa5,0x20,0x3e,0xa2,0x00,0x10,0x00,0x00,0x7b]
 537           vpcmpuw $123, 4096(%rdx), %ymm27, %k4
 538
 539 // CHECK: vpcmpuw $123, -4096(%rdx), %ymm27, %k4
 540 // CHECK:  encoding: [0x62,0xf3,0xa5,0x20,0x3e,0x62,0x80,0x7b]
 541           vpcmpuw $123, -4096(%rdx), %ymm27, %k4
 542
 543 // CHECK: vpcmpuw $123, -4128(%rdx), %ymm27, %k4
 544 // CHECK:  encoding: [0x62,0xf3,0xa5,0x20,0x3e,0xa2,0xe0,0xef,0xff,0xff,0x7b]
 545           vpcmpuw $123, -4128(%rdx), %ymm27, %k4
 546
 547 // CHECK: vmovdqu8 %xmm23, %xmm26
 548 // CHECK:  encoding: [0x62,0x21,0x7f,0x08,0x6f,0xd7]
 549           vmovdqu8 %xmm23, %xmm26
 550
 551 // CHECK: vmovdqu8 %xmm23, %xmm26 {%k2}
 552 // CHECK:  encoding: [0x62,0x21,0x7f,0x0a,0x6f,0xd7]
 553           vmovdqu8 %xmm23, %xmm26 {%k2}
 554
 555 // CHECK: vmovdqu8 %xmm23, %xmm26 {%k2} {z}
 556 // CHECK:  encoding: [0x62,0x21,0x7f,0x8a,0x6f,0xd7]
 557           vmovdqu8 %xmm23, %xmm26 {%k2} {z}
 558
 559 // CHECK: vmovdqu8 (%rcx), %xmm26
 560 // CHECK:  encoding: [0x62,0x61,0x7f,0x08,0x6f,0x11]
 561           vmovdqu8 (%rcx), %xmm26
 562
 563 // CHECK: vmovdqu8 291(%rax,%r14,8), %xmm26
 564 // CHECK:  encoding: [0x62,0x21,0x7f,0x08,0x6f,0x94,0xf0,0x23,0x01,0x00,0x00]
 565           vmovdqu8 291(%rax,%r14,8), %xmm26
 566
 567 // CHECK: vmovdqu8 2032(%rdx), %xmm26
 568 // CHECK:  encoding: [0x62,0x61,0x7f,0x08,0x6f,0x52,0x7f]
 569           vmovdqu8 2032(%rdx), %xmm26
 570
 571 // CHECK: vmovdqu8 2048(%rdx), %xmm26
 572 // CHECK:  encoding: [0x62,0x61,0x7f,0x08,0x6f,0x92,0x00,0x08,0x00,0x00]
 573           vmovdqu8 2048(%rdx), %xmm26
 574
 575 // CHECK: vmovdqu8 -2048(%rdx), %xmm26
 576 // CHECK:  encoding: [0x62,0x61,0x7f,0x08,0x6f,0x52,0x80]
 577           vmovdqu8 -2048(%rdx), %xmm26
 578
 579 // CHECK: vmovdqu8 -2064(%rdx), %xmm26
 580 // CHECK:  encoding: [0x62,0x61,0x7f,0x08,0x6f,0x92,0xf0,0xf7,0xff,0xff]
 581           vmovdqu8 -2064(%rdx), %xmm26
 582
 583 // CHECK: vmovdqu8 %ymm29, %ymm18
 584 // CHECK:  encoding: [0x62,0x81,0x7f,0x28,0x6f,0xd5]
 585           vmovdqu8 %ymm29, %ymm18
 586
 587 // CHECK: vmovdqu8 %ymm29, %ymm18 {%k7}
 588 // CHECK:  encoding: [0x62,0x81,0x7f,0x2f,0x6f,0xd5]
 589           vmovdqu8 %ymm29, %ymm18 {%k7}
 590
 591 // CHECK: vmovdqu8 %ymm29, %ymm18 {%k7} {z}
 592 // CHECK:  encoding: [0x62,0x81,0x7f,0xaf,0x6f,0xd5]
 593           vmovdqu8 %ymm29, %ymm18 {%k7} {z}
 594
 595 // CHECK: vmovdqu8 (%rcx), %ymm18
 596 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x6f,0x11]
 597           vmovdqu8 (%rcx), %ymm18
 598
 599 // CHECK: vmovdqu8 291(%rax,%r14,8), %ymm18
 600 // CHECK:  encoding: [0x62,0xa1,0x7f,0x28,0x6f,0x94,0xf0,0x23,0x01,0x00,0x00]
 601           vmovdqu8 291(%rax,%r14,8), %ymm18
 602
 603 // CHECK: vmovdqu8 4064(%rdx), %ymm18
 604 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x6f,0x52,0x7f]
 605           vmovdqu8 4064(%rdx), %ymm18
 606
 607 // CHECK: vmovdqu8 4096(%rdx), %ymm18
 608 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x6f,0x92,0x00,0x10,0x00,0x00]
 609           vmovdqu8 4096(%rdx), %ymm18
 610
 611 // CHECK: vmovdqu8 -4096(%rdx), %ymm18
 612 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x6f,0x52,0x80]
 613           vmovdqu8 -4096(%rdx), %ymm18
 614
 615 // CHECK: vmovdqu8 -4128(%rdx), %ymm18
 616 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x6f,0x92,0xe0,0xef,0xff,0xff]
 617           vmovdqu8 -4128(%rdx), %ymm18
 618
 619 // CHECK: vmovdqu16 %xmm24, %xmm29
 620 // CHECK:  encoding: [0x62,0x01,0xff,0x08,0x6f,0xe8]
 621           vmovdqu16 %xmm24, %xmm29
 622
 623 // CHECK: vmovdqu16 %xmm24, %xmm29 {%k6}
 624 // CHECK:  encoding: [0x62,0x01,0xff,0x0e,0x6f,0xe8]
 625           vmovdqu16 %xmm24, %xmm29 {%k6}
 626
 627 // CHECK: vmovdqu16 %xmm24, %xmm29 {%k6} {z}
 628 // CHECK:  encoding: [0x62,0x01,0xff,0x8e,0x6f,0xe8]
 629           vmovdqu16 %xmm24, %xmm29 {%k6} {z}
 630
 631 // CHECK: vmovdqu16 (%rcx), %xmm29
 632 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x6f,0x29]
 633           vmovdqu16 (%rcx), %xmm29
 634
 635 // CHECK: vmovdqu16 291(%rax,%r14,8), %xmm29
 636 // CHECK:  encoding: [0x62,0x21,0xff,0x08,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
 637           vmovdqu16 291(%rax,%r14,8), %xmm29
 638
 639 // CHECK: vmovdqu16 2032(%rdx), %xmm29
 640 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x6f,0x6a,0x7f]
 641           vmovdqu16 2032(%rdx), %xmm29
 642
 643 // CHECK: vmovdqu16 2048(%rdx), %xmm29
 644 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x6f,0xaa,0x00,0x08,0x00,0x00]
 645           vmovdqu16 2048(%rdx), %xmm29
 646
 647 // CHECK: vmovdqu16 -2048(%rdx), %xmm29
 648 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x6f,0x6a,0x80]
 649           vmovdqu16 -2048(%rdx), %xmm29
 650
 651 // CHECK: vmovdqu16 -2064(%rdx), %xmm29
 652 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x6f,0xaa,0xf0,0xf7,0xff,0xff]
 653           vmovdqu16 -2064(%rdx), %xmm29
 654
 655 // CHECK: vmovdqu16 %ymm24, %ymm23
 656 // CHECK:  encoding: [0x62,0x81,0xff,0x28,0x6f,0xf8]
 657           vmovdqu16 %ymm24, %ymm23
 658
 659 // CHECK: vmovdqu16 %ymm24, %ymm23 {%k3}
 660 // CHECK:  encoding: [0x62,0x81,0xff,0x2b,0x6f,0xf8]
 661           vmovdqu16 %ymm24, %ymm23 {%k3}
 662
 663 // CHECK: vmovdqu16 %ymm24, %ymm23 {%k3} {z}
 664 // CHECK:  encoding: [0x62,0x81,0xff,0xab,0x6f,0xf8]
 665           vmovdqu16 %ymm24, %ymm23 {%k3} {z}
 666
 667 // CHECK: vmovdqu16 (%rcx), %ymm23
 668 // CHECK:  encoding: [0x62,0xe1,0xff,0x28,0x6f,0x39]
 669           vmovdqu16 (%rcx), %ymm23
 670
 671 // CHECK: vmovdqu16 291(%rax,%r14,8), %ymm23
 672 // CHECK:  encoding: [0x62,0xa1,0xff,0x28,0x6f,0xbc,0xf0,0x23,0x01,0x00,0x00]
 673           vmovdqu16 291(%rax,%r14,8), %ymm23
 674
 675 // CHECK: vmovdqu16 4064(%rdx), %ymm23
 676 // CHECK:  encoding: [0x62,0xe1,0xff,0x28,0x6f,0x7a,0x7f]
 677           vmovdqu16 4064(%rdx), %ymm23
 678
 679 // CHECK: vmovdqu16 4096(%rdx), %ymm23
 680 // CHECK:  encoding: [0x62,0xe1,0xff,0x28,0x6f,0xba,0x00,0x10,0x00,0x00]
 681           vmovdqu16 4096(%rdx), %ymm23
 682
 683 // CHECK: vmovdqu16 -4096(%rdx), %ymm23
 684 // CHECK:  encoding: [0x62,0xe1,0xff,0x28,0x6f,0x7a,0x80]
 685           vmovdqu16 -4096(%rdx), %ymm23
 686
 687 // CHECK: vmovdqu16 -4128(%rdx), %ymm23
 688 // CHECK:  encoding: [0x62,0xe1,0xff,0x28,0x6f,0xba,0xe0,0xef,0xff,0xff]
 689           vmovdqu16 -4128(%rdx), %ymm23
 690
 691 // CHECK: vmovdqu8 %xmm17, (%rcx)
 692 // CHECK:  encoding: [0x62,0xe1,0x7f,0x08,0x7f,0x09]
 693           vmovdqu8 %xmm17, (%rcx)
 694
 695 // CHECK: vmovdqu8 %xmm17, (%rcx) {%k4}
 696 // CHECK:  encoding: [0x62,0xe1,0x7f,0x0c,0x7f,0x09]
 697           vmovdqu8 %xmm17, (%rcx) {%k4}
 698
 699 // CHECK: vmovdqu8 %xmm17, 291(%rax,%r14,8)
 700 // CHECK:  encoding: [0x62,0xa1,0x7f,0x08,0x7f,0x8c,0xf0,0x23,0x01,0x00,0x00]
 701           vmovdqu8 %xmm17, 291(%rax,%r14,8)
 702
 703 // CHECK: vmovdqu8 %xmm17, 2032(%rdx)
 704 // CHECK:  encoding: [0x62,0xe1,0x7f,0x08,0x7f,0x4a,0x7f]
 705           vmovdqu8 %xmm17, 2032(%rdx)
 706
 707 // CHECK: vmovdqu8 %xmm17, 2048(%rdx)
 708 // CHECK:  encoding: [0x62,0xe1,0x7f,0x08,0x7f,0x8a,0x00,0x08,0x00,0x00]
 709           vmovdqu8 %xmm17, 2048(%rdx)
 710
 711 // CHECK: vmovdqu8 %xmm17, -2048(%rdx)
 712 // CHECK:  encoding: [0x62,0xe1,0x7f,0x08,0x7f,0x4a,0x80]
 713           vmovdqu8 %xmm17, -2048(%rdx)
 714
 715 // CHECK: vmovdqu8 %xmm17, -2064(%rdx)
 716 // CHECK:  encoding: [0x62,0xe1,0x7f,0x08,0x7f,0x8a,0xf0,0xf7,0xff,0xff]
 717           vmovdqu8 %xmm17, -2064(%rdx)
 718
 719 // CHECK: vmovdqu8 %ymm21, (%rcx)
 720 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x7f,0x29]
 721           vmovdqu8 %ymm21, (%rcx)
 722
 723 // CHECK: vmovdqu8 %ymm21, (%rcx) {%k1}
 724 // CHECK:  encoding: [0x62,0xe1,0x7f,0x29,0x7f,0x29]
 725           vmovdqu8 %ymm21, (%rcx) {%k1}
 726
 727 // CHECK: vmovdqu8 %ymm21, 291(%rax,%r14,8)
 728 // CHECK:  encoding: [0x62,0xa1,0x7f,0x28,0x7f,0xac,0xf0,0x23,0x01,0x00,0x00]
 729           vmovdqu8 %ymm21, 291(%rax,%r14,8)
 730
 731 // CHECK: vmovdqu8 %ymm21, 4064(%rdx)
 732 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x7f,0x6a,0x7f]
 733           vmovdqu8 %ymm21, 4064(%rdx)
 734
 735 // CHECK: vmovdqu8 %ymm21, 4096(%rdx)
 736 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x7f,0xaa,0x00,0x10,0x00,0x00]
 737           vmovdqu8 %ymm21, 4096(%rdx)
 738
 739 // CHECK: vmovdqu8 %ymm21, -4096(%rdx)
 740 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x7f,0x6a,0x80]
 741           vmovdqu8 %ymm21, -4096(%rdx)
 742
 743 // CHECK: vmovdqu8 %ymm21, -4128(%rdx)
 744 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x7f,0xaa,0xe0,0xef,0xff,0xff]
 745           vmovdqu8 %ymm21, -4128(%rdx)
 746
 747 // CHECK: vmovdqu16 %xmm23, (%rcx)
 748 // CHECK:  encoding: [0x62,0xe1,0xff,0x08,0x7f,0x39]
 749           vmovdqu16 %xmm23, (%rcx)
 750
 751 // CHECK: vmovdqu16 %xmm23, (%rcx) {%k7}
 752 // CHECK:  encoding: [0x62,0xe1,0xff,0x0f,0x7f,0x39]
 753           vmovdqu16 %xmm23, (%rcx) {%k7}
 754
 755 // CHECK: vmovdqu16 %xmm23, 291(%rax,%r14,8)
 756 // CHECK:  encoding: [0x62,0xa1,0xff,0x08,0x7f,0xbc,0xf0,0x23,0x01,0x00,0x00]
 757           vmovdqu16 %xmm23, 291(%rax,%r14,8)
 758
 759 // CHECK: vmovdqu16 %xmm23, 2032(%rdx)
 760 // CHECK:  encoding: [0x62,0xe1,0xff,0x08,0x7f,0x7a,0x7f]
 761           vmovdqu16 %xmm23, 2032(%rdx)
 762
 763 // CHECK: vmovdqu16 %xmm23, 2048(%rdx)
 764 // CHECK:  encoding: [0x62,0xe1,0xff,0x08,0x7f,0xba,0x00,0x08,0x00,0x00]
 765           vmovdqu16 %xmm23, 2048(%rdx)
 766
 767 // CHECK: vmovdqu16 %xmm23, -2048(%rdx)
 768 // CHECK:  encoding: [0x62,0xe1,0xff,0x08,0x7f,0x7a,0x80]
 769           vmovdqu16 %xmm23, -2048(%rdx)
 770
 771 // CHECK: vmovdqu16 %xmm23, -2064(%rdx)
 772 // CHECK:  encoding: [0x62,0xe1,0xff,0x08,0x7f,0xba,0xf0,0xf7,0xff,0xff]
 773           vmovdqu16 %xmm23, -2064(%rdx)
 774
 775 // CHECK: vmovdqu16 %ymm29, (%rcx)
 776 // CHECK:  encoding: [0x62,0x61,0xff,0x28,0x7f,0x29]
 777           vmovdqu16 %ymm29, (%rcx)
 778
 779 // CHECK: vmovdqu16 %ymm29, (%rcx) {%k6}
 780 // CHECK:  encoding: [0x62,0x61,0xff,0x2e,0x7f,0x29]
 781           vmovdqu16 %ymm29, (%rcx) {%k6}
 782
 783 // CHECK: vmovdqu16 %ymm29, 291(%rax,%r14,8)
 784 // CHECK:  encoding: [0x62,0x21,0xff,0x28,0x7f,0xac,0xf0,0x23,0x01,0x00,0x00]
 785           vmovdqu16 %ymm29, 291(%rax,%r14,8)
 786
 787 // CHECK: vmovdqu16 %ymm29, 4064(%rdx)
 788 // CHECK:  encoding: [0x62,0x61,0xff,0x28,0x7f,0x6a,0x7f]
 789           vmovdqu16 %ymm29, 4064(%rdx)
 790
 791 // CHECK: vmovdqu16 %ymm29, 4096(%rdx)
 792 // CHECK:  encoding: [0x62,0x61,0xff,0x28,0x7f,0xaa,0x00,0x10,0x00,0x00]
 793           vmovdqu16 %ymm29, 4096(%rdx)
 794
 795 // CHECK: vmovdqu16 %ymm29, -4096(%rdx)
 796 // CHECK:  encoding: [0x62,0x61,0xff,0x28,0x7f,0x6a,0x80]
 797           vmovdqu16 %ymm29, -4096(%rdx)
 798
 799 // CHECK: vmovdqu16 %ymm29, -4128(%rdx)
 800 // CHECK:  encoding: [0x62,0x61,0xff,0x28,0x7f,0xaa,0xe0,0xef,0xff,0xff]
 801           vmovdqu16 %ymm29, -4128(%rdx)