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: vmovdqu8 %xmm23, %xmm26
 260 // CHECK:  encoding: [0x62,0x21,0x7f,0x08,0x6f,0xd7]
 261           vmovdqu8 %xmm23, %xmm26
 262
 263 // CHECK: vmovdqu8 %xmm23, %xmm26 {%k2}
 264 // CHECK:  encoding: [0x62,0x21,0x7f,0x0a,0x6f,0xd7]
 265           vmovdqu8 %xmm23, %xmm26 {%k2}
 266
 267 // CHECK: vmovdqu8 %xmm23, %xmm26 {%k2} {z}
 268 // CHECK:  encoding: [0x62,0x21,0x7f,0x8a,0x6f,0xd7]
 269           vmovdqu8 %xmm23, %xmm26 {%k2} {z}
 270
 271 // CHECK: vmovdqu8 (%rcx), %xmm26
 272 // CHECK:  encoding: [0x62,0x61,0x7f,0x08,0x6f,0x11]
 273           vmovdqu8 (%rcx), %xmm26
 274
 275 // CHECK: vmovdqu8 291(%rax,%r14,8), %xmm26
 276 // CHECK:  encoding: [0x62,0x21,0x7f,0x08,0x6f,0x94,0xf0,0x23,0x01,0x00,0x00]
 277           vmovdqu8 291(%rax,%r14,8), %xmm26
 278
 279 // CHECK: vmovdqu8 2032(%rdx), %xmm26
 280 // CHECK:  encoding: [0x62,0x61,0x7f,0x08,0x6f,0x52,0x7f]
 281           vmovdqu8 2032(%rdx), %xmm26
 282
 283 // CHECK: vmovdqu8 2048(%rdx), %xmm26
 284 // CHECK:  encoding: [0x62,0x61,0x7f,0x08,0x6f,0x92,0x00,0x08,0x00,0x00]
 285           vmovdqu8 2048(%rdx), %xmm26
 286
 287 // CHECK: vmovdqu8 -2048(%rdx), %xmm26
 288 // CHECK:  encoding: [0x62,0x61,0x7f,0x08,0x6f,0x52,0x80]
 289           vmovdqu8 -2048(%rdx), %xmm26
 290
 291 // CHECK: vmovdqu8 -2064(%rdx), %xmm26
 292 // CHECK:  encoding: [0x62,0x61,0x7f,0x08,0x6f,0x92,0xf0,0xf7,0xff,0xff]
 293           vmovdqu8 -2064(%rdx), %xmm26
 294
 295 // CHECK: vmovdqu8 %ymm29, %ymm18
 296 // CHECK:  encoding: [0x62,0x81,0x7f,0x28,0x6f,0xd5]
 297           vmovdqu8 %ymm29, %ymm18
 298
 299 // CHECK: vmovdqu8 %ymm29, %ymm18 {%k7}
 300 // CHECK:  encoding: [0x62,0x81,0x7f,0x2f,0x6f,0xd5]
 301           vmovdqu8 %ymm29, %ymm18 {%k7}
 302
 303 // CHECK: vmovdqu8 %ymm29, %ymm18 {%k7} {z}
 304 // CHECK:  encoding: [0x62,0x81,0x7f,0xaf,0x6f,0xd5]
 305           vmovdqu8 %ymm29, %ymm18 {%k7} {z}
 306
 307 // CHECK: vmovdqu8 (%rcx), %ymm18
 308 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x6f,0x11]
 309           vmovdqu8 (%rcx), %ymm18
 310
 311 // CHECK: vmovdqu8 291(%rax,%r14,8), %ymm18
 312 // CHECK:  encoding: [0x62,0xa1,0x7f,0x28,0x6f,0x94,0xf0,0x23,0x01,0x00,0x00]
 313           vmovdqu8 291(%rax,%r14,8), %ymm18
 314
 315 // CHECK: vmovdqu8 4064(%rdx), %ymm18
 316 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x6f,0x52,0x7f]
 317           vmovdqu8 4064(%rdx), %ymm18
 318
 319 // CHECK: vmovdqu8 4096(%rdx), %ymm18
 320 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x6f,0x92,0x00,0x10,0x00,0x00]
 321           vmovdqu8 4096(%rdx), %ymm18
 322
 323 // CHECK: vmovdqu8 -4096(%rdx), %ymm18
 324 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x6f,0x52,0x80]
 325           vmovdqu8 -4096(%rdx), %ymm18
 326
 327 // CHECK: vmovdqu8 -4128(%rdx), %ymm18
 328 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x6f,0x92,0xe0,0xef,0xff,0xff]
 329           vmovdqu8 -4128(%rdx), %ymm18
 330
 331 // CHECK: vmovdqu16 %xmm24, %xmm29
 332 // CHECK:  encoding: [0x62,0x01,0xff,0x08,0x6f,0xe8]
 333           vmovdqu16 %xmm24, %xmm29
 334
 335 // CHECK: vmovdqu16 %xmm24, %xmm29 {%k6}
 336 // CHECK:  encoding: [0x62,0x01,0xff,0x0e,0x6f,0xe8]
 337           vmovdqu16 %xmm24, %xmm29 {%k6}
 338
 339 // CHECK: vmovdqu16 %xmm24, %xmm29 {%k6} {z}
 340 // CHECK:  encoding: [0x62,0x01,0xff,0x8e,0x6f,0xe8]
 341           vmovdqu16 %xmm24, %xmm29 {%k6} {z}
 342
 343 // CHECK: vmovdqu16 (%rcx), %xmm29
 344 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x6f,0x29]
 345           vmovdqu16 (%rcx), %xmm29
 346
 347 // CHECK: vmovdqu16 291(%rax,%r14,8), %xmm29
 348 // CHECK:  encoding: [0x62,0x21,0xff,0x08,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
 349           vmovdqu16 291(%rax,%r14,8), %xmm29
 350
 351 // CHECK: vmovdqu16 2032(%rdx), %xmm29
 352 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x6f,0x6a,0x7f]
 353           vmovdqu16 2032(%rdx), %xmm29
 354
 355 // CHECK: vmovdqu16 2048(%rdx), %xmm29
 356 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x6f,0xaa,0x00,0x08,0x00,0x00]
 357           vmovdqu16 2048(%rdx), %xmm29
 358
 359 // CHECK: vmovdqu16 -2048(%rdx), %xmm29
 360 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x6f,0x6a,0x80]
 361           vmovdqu16 -2048(%rdx), %xmm29
 362
 363 // CHECK: vmovdqu16 -2064(%rdx), %xmm29
 364 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x6f,0xaa,0xf0,0xf7,0xff,0xff]
 365           vmovdqu16 -2064(%rdx), %xmm29
 366
 367 // CHECK: vmovdqu16 %ymm24, %ymm23
 368 // CHECK:  encoding: [0x62,0x81,0xff,0x28,0x6f,0xf8]
 369           vmovdqu16 %ymm24, %ymm23
 370
 371 // CHECK: vmovdqu16 %ymm24, %ymm23 {%k3}
 372 // CHECK:  encoding: [0x62,0x81,0xff,0x2b,0x6f,0xf8]
 373           vmovdqu16 %ymm24, %ymm23 {%k3}
 374
 375 // CHECK: vmovdqu16 %ymm24, %ymm23 {%k3} {z}
 376 // CHECK:  encoding: [0x62,0x81,0xff,0xab,0x6f,0xf8]
 377           vmovdqu16 %ymm24, %ymm23 {%k3} {z}
 378
 379 // CHECK: vmovdqu16 (%rcx), %ymm23
 380 // CHECK:  encoding: [0x62,0xe1,0xff,0x28,0x6f,0x39]
 381           vmovdqu16 (%rcx), %ymm23
 382
 383 // CHECK: vmovdqu16 291(%rax,%r14,8), %ymm23
 384 // CHECK:  encoding: [0x62,0xa1,0xff,0x28,0x6f,0xbc,0xf0,0x23,0x01,0x00,0x00]
 385           vmovdqu16 291(%rax,%r14,8), %ymm23
 386
 387 // CHECK: vmovdqu16 4064(%rdx), %ymm23
 388 // CHECK:  encoding: [0x62,0xe1,0xff,0x28,0x6f,0x7a,0x7f]
 389           vmovdqu16 4064(%rdx), %ymm23
 390
 391 // CHECK: vmovdqu16 4096(%rdx), %ymm23
 392 // CHECK:  encoding: [0x62,0xe1,0xff,0x28,0x6f,0xba,0x00,0x10,0x00,0x00]
 393           vmovdqu16 4096(%rdx), %ymm23
 394
 395 // CHECK: vmovdqu16 -4096(%rdx), %ymm23
 396 // CHECK:  encoding: [0x62,0xe1,0xff,0x28,0x6f,0x7a,0x80]
 397           vmovdqu16 -4096(%rdx), %ymm23
 398
 399 // CHECK: vmovdqu16 -4128(%rdx), %ymm23
 400 // CHECK:  encoding: [0x62,0xe1,0xff,0x28,0x6f,0xba,0xe0,0xef,0xff,0xff]
 401           vmovdqu16 -4128(%rdx), %ymm23
 402
 403 // CHECK: vmovdqu8 %xmm17, (%rcx)
 404 // CHECK:  encoding: [0x62,0xe1,0x7f,0x08,0x7f,0x09]
 405           vmovdqu8 %xmm17, (%rcx)
 406
 407 // CHECK: vmovdqu8 %xmm17, (%rcx) {%k4}
 408 // CHECK:  encoding: [0x62,0xe1,0x7f,0x0c,0x7f,0x09]
 409           vmovdqu8 %xmm17, (%rcx) {%k4}
 410
 411 // CHECK: vmovdqu8 %xmm17, 291(%rax,%r14,8)
 412 // CHECK:  encoding: [0x62,0xa1,0x7f,0x08,0x7f,0x8c,0xf0,0x23,0x01,0x00,0x00]
 413           vmovdqu8 %xmm17, 291(%rax,%r14,8)
 414
 415 // CHECK: vmovdqu8 %xmm17, 2032(%rdx)
 416 // CHECK:  encoding: [0x62,0xe1,0x7f,0x08,0x7f,0x4a,0x7f]
 417           vmovdqu8 %xmm17, 2032(%rdx)
 418
 419 // CHECK: vmovdqu8 %xmm17, 2048(%rdx)
 420 // CHECK:  encoding: [0x62,0xe1,0x7f,0x08,0x7f,0x8a,0x00,0x08,0x00,0x00]
 421           vmovdqu8 %xmm17, 2048(%rdx)
 422
 423 // CHECK: vmovdqu8 %xmm17, -2048(%rdx)
 424 // CHECK:  encoding: [0x62,0xe1,0x7f,0x08,0x7f,0x4a,0x80]
 425           vmovdqu8 %xmm17, -2048(%rdx)
 426
 427 // CHECK: vmovdqu8 %xmm17, -2064(%rdx)
 428 // CHECK:  encoding: [0x62,0xe1,0x7f,0x08,0x7f,0x8a,0xf0,0xf7,0xff,0xff]
 429           vmovdqu8 %xmm17, -2064(%rdx)
 430
 431 // CHECK: vmovdqu8 %ymm21, (%rcx)
 432 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x7f,0x29]
 433           vmovdqu8 %ymm21, (%rcx)
 434
 435 // CHECK: vmovdqu8 %ymm21, (%rcx) {%k1}
 436 // CHECK:  encoding: [0x62,0xe1,0x7f,0x29,0x7f,0x29]
 437           vmovdqu8 %ymm21, (%rcx) {%k1}
 438
 439 // CHECK: vmovdqu8 %ymm21, 291(%rax,%r14,8)
 440 // CHECK:  encoding: [0x62,0xa1,0x7f,0x28,0x7f,0xac,0xf0,0x23,0x01,0x00,0x00]
 441           vmovdqu8 %ymm21, 291(%rax,%r14,8)
 442
 443 // CHECK: vmovdqu8 %ymm21, 4064(%rdx)
 444 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x7f,0x6a,0x7f]
 445           vmovdqu8 %ymm21, 4064(%rdx)
 446
 447 // CHECK: vmovdqu8 %ymm21, 4096(%rdx)
 448 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x7f,0xaa,0x00,0x10,0x00,0x00]
 449           vmovdqu8 %ymm21, 4096(%rdx)
 450
 451 // CHECK: vmovdqu8 %ymm21, -4096(%rdx)
 452 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x7f,0x6a,0x80]
 453           vmovdqu8 %ymm21, -4096(%rdx)
 454
 455 // CHECK: vmovdqu8 %ymm21, -4128(%rdx)
 456 // CHECK:  encoding: [0x62,0xe1,0x7f,0x28,0x7f,0xaa,0xe0,0xef,0xff,0xff]
 457           vmovdqu8 %ymm21, -4128(%rdx)
 458
 459 // CHECK: vmovdqu16 %xmm23, (%rcx)
 460 // CHECK:  encoding: [0x62,0xe1,0xff,0x08,0x7f,0x39]
 461           vmovdqu16 %xmm23, (%rcx)
 462
 463 // CHECK: vmovdqu16 %xmm23, (%rcx) {%k7}
 464 // CHECK:  encoding: [0x62,0xe1,0xff,0x0f,0x7f,0x39]
 465           vmovdqu16 %xmm23, (%rcx) {%k7}
 466
 467 // CHECK: vmovdqu16 %xmm23, 291(%rax,%r14,8)
 468 // CHECK:  encoding: [0x62,0xa1,0xff,0x08,0x7f,0xbc,0xf0,0x23,0x01,0x00,0x00]
 469           vmovdqu16 %xmm23, 291(%rax,%r14,8)
 470
 471 // CHECK: vmovdqu16 %xmm23, 2032(%rdx)
 472 // CHECK:  encoding: [0x62,0xe1,0xff,0x08,0x7f,0x7a,0x7f]
 473           vmovdqu16 %xmm23, 2032(%rdx)
 474
 475 // CHECK: vmovdqu16 %xmm23, 2048(%rdx)
 476 // CHECK:  encoding: [0x62,0xe1,0xff,0x08,0x7f,0xba,0x00,0x08,0x00,0x00]
 477           vmovdqu16 %xmm23, 2048(%rdx)
 478
 479 // CHECK: vmovdqu16 %xmm23, -2048(%rdx)
 480 // CHECK:  encoding: [0x62,0xe1,0xff,0x08,0x7f,0x7a,0x80]
 481           vmovdqu16 %xmm23, -2048(%rdx)
 482
 483 // CHECK: vmovdqu16 %xmm23, -2064(%rdx)
 484 // CHECK:  encoding: [0x62,0xe1,0xff,0x08,0x7f,0xba,0xf0,0xf7,0xff,0xff]
 485           vmovdqu16 %xmm23, -2064(%rdx)
 486
 487 // CHECK: vmovdqu16 %ymm29, (%rcx)
 488 // CHECK:  encoding: [0x62,0x61,0xff,0x28,0x7f,0x29]
 489           vmovdqu16 %ymm29, (%rcx)
 490
 491 // CHECK: vmovdqu16 %ymm29, (%rcx) {%k6}
 492 // CHECK:  encoding: [0x62,0x61,0xff,0x2e,0x7f,0x29]
 493           vmovdqu16 %ymm29, (%rcx) {%k6}
 494
 495 // CHECK: vmovdqu16 %ymm29, 291(%rax,%r14,8)
 496 // CHECK:  encoding: [0x62,0x21,0xff,0x28,0x7f,0xac,0xf0,0x23,0x01,0x00,0x00]
 497           vmovdqu16 %ymm29, 291(%rax,%r14,8)
 498
 499 // CHECK: vmovdqu16 %ymm29, 4064(%rdx)
 500 // CHECK:  encoding: [0x62,0x61,0xff,0x28,0x7f,0x6a,0x7f]
 501           vmovdqu16 %ymm29, 4064(%rdx)
 502
 503 // CHECK: vmovdqu16 %ymm29, 4096(%rdx)
 504 // CHECK:  encoding: [0x62,0x61,0xff,0x28,0x7f,0xaa,0x00,0x10,0x00,0x00]
 505           vmovdqu16 %ymm29, 4096(%rdx)
 506
 507 // CHECK: vmovdqu16 %ymm29, -4096(%rdx)
 508 // CHECK:  encoding: [0x62,0x61,0xff,0x28,0x7f,0x6a,0x80]
 509           vmovdqu16 %ymm29, -4096(%rdx)
 510
 511 // CHECK: vmovdqu16 %ymm29, -4128(%rdx)
 512 // CHECK:  encoding: [0x62,0x61,0xff,0x28,0x7f,0xaa,0xe0,0xef,0xff,0xff]
 513           vmovdqu16 %ymm29, -4128(%rdx)