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

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown -mcpu=skx --show-encoding %s | FileCheck %s
   2
   3 // CHECK: vmovapd %xmm21, %xmm21
   4 // CHECK:  encoding: [0x62,0xa1,0xfd,0x08,0x28,0xed]
   5           vmovapd %xmm21, %xmm21
   6
   7 // CHECK: vmovapd %xmm21, %xmm21 {%k3}
   8 // CHECK:  encoding: [0x62,0xa1,0xfd,0x0b,0x28,0xed]
   9           vmovapd %xmm21, %xmm21 {%k3}
  10
  11 // CHECK: vmovapd %xmm21, %xmm21 {%k3} {z}
  12 // CHECK:  encoding: [0x62,0xa1,0xfd,0x8b,0x28,0xed]
  13           vmovapd %xmm21, %xmm21 {%k3} {z}
  14
  15 // CHECK: vmovapd (%rcx), %xmm21
  16 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x28,0x29]
  17           vmovapd (%rcx), %xmm21
  18
  19 // CHECK: vmovapd 291(%rax,%r14,8), %xmm21
  20 // CHECK:  encoding: [0x62,0xa1,0xfd,0x08,0x28,0xac,0xf0,0x23,0x01,0x00,0x00]
  21           vmovapd 291(%rax,%r14,8), %xmm21
  22
  23 // CHECK: vmovapd 2032(%rdx), %xmm21
  24 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x28,0x6a,0x7f]
  25           vmovapd 2032(%rdx), %xmm21
  26
  27 // CHECK: vmovapd 2048(%rdx), %xmm21
  28 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x28,0xaa,0x00,0x08,0x00,0x00]
  29           vmovapd 2048(%rdx), %xmm21
  30
  31 // CHECK: vmovapd -2048(%rdx), %xmm21
  32 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x28,0x6a,0x80]
  33           vmovapd -2048(%rdx), %xmm21
  34
  35 // CHECK: vmovapd -2064(%rdx), %xmm21
  36 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x28,0xaa,0xf0,0xf7,0xff,0xff]
  37           vmovapd -2064(%rdx), %xmm21
  38
  39 // CHECK: vmovapd %ymm17, %ymm18
  40 // CHECK:  encoding: [0x62,0xa1,0xfd,0x28,0x28,0xd1]
  41           vmovapd %ymm17, %ymm18
  42
  43 // CHECK: vmovapd %ymm17, %ymm18 {%k2}
  44 // CHECK:  encoding: [0x62,0xa1,0xfd,0x2a,0x28,0xd1]
  45           vmovapd %ymm17, %ymm18 {%k2}
  46
  47 // CHECK: vmovapd %ymm17, %ymm18 {%k2} {z}
  48 // CHECK:  encoding: [0x62,0xa1,0xfd,0xaa,0x28,0xd1]
  49           vmovapd %ymm17, %ymm18 {%k2} {z}
  50
  51 // CHECK: vmovapd (%rcx), %ymm18
  52 // CHECK:  encoding: [0x62,0xe1,0xfd,0x28,0x28,0x11]
  53           vmovapd (%rcx), %ymm18
  54
  55 // CHECK: vmovapd 291(%rax,%r14,8), %ymm18
  56 // CHECK:  encoding: [0x62,0xa1,0xfd,0x28,0x28,0x94,0xf0,0x23,0x01,0x00,0x00]
  57           vmovapd 291(%rax,%r14,8), %ymm18
  58
  59 // CHECK: vmovapd 4064(%rdx), %ymm18
  60 // CHECK:  encoding: [0x62,0xe1,0xfd,0x28,0x28,0x52,0x7f]
  61           vmovapd 4064(%rdx), %ymm18
  62
  63 // CHECK: vmovapd 4096(%rdx), %ymm18
  64 // CHECK:  encoding: [0x62,0xe1,0xfd,0x28,0x28,0x92,0x00,0x10,0x00,0x00]
  65           vmovapd 4096(%rdx), %ymm18
  66
  67 // CHECK: vmovapd -4096(%rdx), %ymm18
  68 // CHECK:  encoding: [0x62,0xe1,0xfd,0x28,0x28,0x52,0x80]
  69           vmovapd -4096(%rdx), %ymm18
  70
  71 // CHECK: vmovapd -4128(%rdx), %ymm18
  72 // CHECK:  encoding: [0x62,0xe1,0xfd,0x28,0x28,0x92,0xe0,0xef,0xff,0xff]
  73           vmovapd -4128(%rdx), %ymm18
  74
  75 // CHECK: vmovaps %xmm29, %xmm22
  76 // CHECK:  encoding: [0x62,0x81,0x7c,0x08,0x28,0xf5]
  77           vmovaps %xmm29, %xmm22
  78
  79 // CHECK: vmovaps %xmm29, %xmm22 {%k1}
  80 // CHECK:  encoding: [0x62,0x81,0x7c,0x09,0x28,0xf5]
  81           vmovaps %xmm29, %xmm22 {%k1}
  82
  83 // CHECK: vmovaps %xmm29, %xmm22 {%k1} {z}
  84 // CHECK:  encoding: [0x62,0x81,0x7c,0x89,0x28,0xf5]
  85           vmovaps %xmm29, %xmm22 {%k1} {z}
  86
  87 // CHECK: vmovaps (%rcx), %xmm22
  88 // CHECK:  encoding: [0x62,0xe1,0x7c,0x08,0x28,0x31]
  89           vmovaps (%rcx), %xmm22
  90
  91 // CHECK: vmovaps 291(%rax,%r14,8), %xmm22
  92 // CHECK:  encoding: [0x62,0xa1,0x7c,0x08,0x28,0xb4,0xf0,0x23,0x01,0x00,0x00]
  93           vmovaps 291(%rax,%r14,8), %xmm22
  94
  95 // CHECK: vmovaps 2032(%rdx), %xmm22
  96 // CHECK:  encoding: [0x62,0xe1,0x7c,0x08,0x28,0x72,0x7f]
  97           vmovaps 2032(%rdx), %xmm22
  98
  99 // CHECK: vmovaps 2048(%rdx), %xmm22
 100 // CHECK:  encoding: [0x62,0xe1,0x7c,0x08,0x28,0xb2,0x00,0x08,0x00,0x00]
 101           vmovaps 2048(%rdx), %xmm22
 102
 103 // CHECK: vmovaps -2048(%rdx), %xmm22
 104 // CHECK:  encoding: [0x62,0xe1,0x7c,0x08,0x28,0x72,0x80]
 105           vmovaps -2048(%rdx), %xmm22
 106
 107 // CHECK: vmovaps -2064(%rdx), %xmm22
 108 // CHECK:  encoding: [0x62,0xe1,0x7c,0x08,0x28,0xb2,0xf0,0xf7,0xff,0xff]
 109           vmovaps -2064(%rdx), %xmm22
 110
 111 // CHECK: vmovaps %ymm28, %ymm25
 112 // CHECK:  encoding: [0x62,0x01,0x7c,0x28,0x28,0xcc]
 113           vmovaps %ymm28, %ymm25
 114
 115 // CHECK: vmovaps %ymm28, %ymm25 {%k3}
 116 // CHECK:  encoding: [0x62,0x01,0x7c,0x2b,0x28,0xcc]
 117           vmovaps %ymm28, %ymm25 {%k3}
 118
 119 // CHECK: vmovaps %ymm28, %ymm25 {%k3} {z}
 120 // CHECK:  encoding: [0x62,0x01,0x7c,0xab,0x28,0xcc]
 121           vmovaps %ymm28, %ymm25 {%k3} {z}
 122
 123 // CHECK: vmovaps (%rcx), %ymm25
 124 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x28,0x09]
 125           vmovaps (%rcx), %ymm25
 126
 127 // CHECK: vmovaps 291(%rax,%r14,8), %ymm25
 128 // CHECK:  encoding: [0x62,0x21,0x7c,0x28,0x28,0x8c,0xf0,0x23,0x01,0x00,0x00]
 129           vmovaps 291(%rax,%r14,8), %ymm25
 130
 131 // CHECK: vmovaps 4064(%rdx), %ymm25
 132 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x28,0x4a,0x7f]
 133           vmovaps 4064(%rdx), %ymm25
 134
 135 // CHECK: vmovaps 4096(%rdx), %ymm25
 136 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x28,0x8a,0x00,0x10,0x00,0x00]
 137           vmovaps 4096(%rdx), %ymm25
 138
 139 // CHECK: vmovaps -4096(%rdx), %ymm25
 140 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x28,0x4a,0x80]
 141           vmovaps -4096(%rdx), %ymm25
 142
 143 // CHECK: vmovaps -4128(%rdx), %ymm25
 144 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x28,0x8a,0xe0,0xef,0xff,0xff]
 145           vmovaps -4128(%rdx), %ymm25
 146
 147 // CHECK: vmovdqa32 %xmm24, %xmm21
 148 // CHECK:  encoding: [0x62,0x81,0x7d,0x08,0x6f,0xe8]
 149           vmovdqa32 %xmm24, %xmm21
 150
 151 // CHECK: vmovdqa32 %xmm24, %xmm21 {%k6}
 152 // CHECK:  encoding: [0x62,0x81,0x7d,0x0e,0x6f,0xe8]
 153           vmovdqa32 %xmm24, %xmm21 {%k6}
 154
 155 // CHECK: vmovdqa32 %xmm24, %xmm21 {%k6} {z}
 156 // CHECK:  encoding: [0x62,0x81,0x7d,0x8e,0x6f,0xe8]
 157           vmovdqa32 %xmm24, %xmm21 {%k6} {z}
 158
 159 // CHECK: vmovdqa32 (%rcx), %xmm21
 160 // CHECK:  encoding: [0x62,0xe1,0x7d,0x08,0x6f,0x29]
 161           vmovdqa32 (%rcx), %xmm21
 162
 163 // CHECK: vmovdqa32 291(%rax,%r14,8), %xmm21
 164 // CHECK:  encoding: [0x62,0xa1,0x7d,0x08,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
 165           vmovdqa32 291(%rax,%r14,8), %xmm21
 166
 167 // CHECK: vmovdqa32 2032(%rdx), %xmm21
 168 // CHECK:  encoding: [0x62,0xe1,0x7d,0x08,0x6f,0x6a,0x7f]
 169           vmovdqa32 2032(%rdx), %xmm21
 170
 171 // CHECK: vmovdqa32 2048(%rdx), %xmm21
 172 // CHECK:  encoding: [0x62,0xe1,0x7d,0x08,0x6f,0xaa,0x00,0x08,0x00,0x00]
 173           vmovdqa32 2048(%rdx), %xmm21
 174
 175 // CHECK: vmovdqa32 -2048(%rdx), %xmm21
 176 // CHECK:  encoding: [0x62,0xe1,0x7d,0x08,0x6f,0x6a,0x80]
 177           vmovdqa32 -2048(%rdx), %xmm21
 178
 179 // CHECK: vmovdqa32 -2064(%rdx), %xmm21
 180 // CHECK:  encoding: [0x62,0xe1,0x7d,0x08,0x6f,0xaa,0xf0,0xf7,0xff,0xff]
 181           vmovdqa32 -2064(%rdx), %xmm21
 182
 183 // CHECK: vmovdqa32 %ymm28, %ymm24
 184 // CHECK:  encoding: [0x62,0x01,0x7d,0x28,0x6f,0xc4]
 185           vmovdqa32 %ymm28, %ymm24
 186
 187 // CHECK: vmovdqa32 %ymm28, %ymm24 {%k5}
 188 // CHECK:  encoding: [0x62,0x01,0x7d,0x2d,0x6f,0xc4]
 189           vmovdqa32 %ymm28, %ymm24 {%k5}
 190
 191 // CHECK: vmovdqa32 %ymm28, %ymm24 {%k5} {z}
 192 // CHECK:  encoding: [0x62,0x01,0x7d,0xad,0x6f,0xc4]
 193           vmovdqa32 %ymm28, %ymm24 {%k5} {z}
 194
 195 // CHECK: vmovdqa32 (%rcx), %ymm24
 196 // CHECK:  encoding: [0x62,0x61,0x7d,0x28,0x6f,0x01]
 197           vmovdqa32 (%rcx), %ymm24
 198
 199 // CHECK: vmovdqa32 291(%rax,%r14,8), %ymm24
 200 // CHECK:  encoding: [0x62,0x21,0x7d,0x28,0x6f,0x84,0xf0,0x23,0x01,0x00,0x00]
 201           vmovdqa32 291(%rax,%r14,8), %ymm24
 202
 203 // CHECK: vmovdqa32 4064(%rdx), %ymm24
 204 // CHECK:  encoding: [0x62,0x61,0x7d,0x28,0x6f,0x42,0x7f]
 205           vmovdqa32 4064(%rdx), %ymm24
 206
 207 // CHECK: vmovdqa32 4096(%rdx), %ymm24
 208 // CHECK:  encoding: [0x62,0x61,0x7d,0x28,0x6f,0x82,0x00,0x10,0x00,0x00]
 209           vmovdqa32 4096(%rdx), %ymm24
 210
 211 // CHECK: vmovdqa32 -4096(%rdx), %ymm24
 212 // CHECK:  encoding: [0x62,0x61,0x7d,0x28,0x6f,0x42,0x80]
 213           vmovdqa32 -4096(%rdx), %ymm24
 214
 215 // CHECK: vmovdqa32 -4128(%rdx), %ymm24
 216 // CHECK:  encoding: [0x62,0x61,0x7d,0x28,0x6f,0x82,0xe0,0xef,0xff,0xff]
 217           vmovdqa32 -4128(%rdx), %ymm24
 218
 219 // CHECK: vmovdqa64 %xmm24, %xmm27
 220 // CHECK:  encoding: [0x62,0x01,0xfd,0x08,0x6f,0xd8]
 221           vmovdqa64 %xmm24, %xmm27
 222
 223 // CHECK: vmovdqa64 %xmm24, %xmm27 {%k5}
 224 // CHECK:  encoding: [0x62,0x01,0xfd,0x0d,0x6f,0xd8]
 225           vmovdqa64 %xmm24, %xmm27 {%k5}
 226
 227 // CHECK: vmovdqa64 %xmm24, %xmm27 {%k5} {z}
 228 // CHECK:  encoding: [0x62,0x01,0xfd,0x8d,0x6f,0xd8]
 229           vmovdqa64 %xmm24, %xmm27 {%k5} {z}
 230
 231 // CHECK: vmovdqa64 (%rcx), %xmm27
 232 // CHECK:  encoding: [0x62,0x61,0xfd,0x08,0x6f,0x19]
 233           vmovdqa64 (%rcx), %xmm27
 234
 235 // CHECK: vmovdqa64 291(%rax,%r14,8), %xmm27
 236 // CHECK:  encoding: [0x62,0x21,0xfd,0x08,0x6f,0x9c,0xf0,0x23,0x01,0x00,0x00]
 237           vmovdqa64 291(%rax,%r14,8), %xmm27
 238
 239 // CHECK: vmovdqa64 2032(%rdx), %xmm27
 240 // CHECK:  encoding: [0x62,0x61,0xfd,0x08,0x6f,0x5a,0x7f]
 241           vmovdqa64 2032(%rdx), %xmm27
 242
 243 // CHECK: vmovdqa64 2048(%rdx), %xmm27
 244 // CHECK:  encoding: [0x62,0x61,0xfd,0x08,0x6f,0x9a,0x00,0x08,0x00,0x00]
 245           vmovdqa64 2048(%rdx), %xmm27
 246
 247 // CHECK: vmovdqa64 -2048(%rdx), %xmm27
 248 // CHECK:  encoding: [0x62,0x61,0xfd,0x08,0x6f,0x5a,0x80]
 249           vmovdqa64 -2048(%rdx), %xmm27
 250
 251 // CHECK: vmovdqa64 -2064(%rdx), %xmm27
 252 // CHECK:  encoding: [0x62,0x61,0xfd,0x08,0x6f,0x9a,0xf0,0xf7,0xff,0xff]
 253           vmovdqa64 -2064(%rdx), %xmm27
 254
 255 // CHECK: vmovdqa64 %ymm29, %ymm30
 256 // CHECK:  encoding: [0x62,0x01,0xfd,0x28,0x6f,0xf5]
 257           vmovdqa64 %ymm29, %ymm30
 258
 259 // CHECK: vmovdqa64 %ymm29, %ymm30 {%k3}
 260 // CHECK:  encoding: [0x62,0x01,0xfd,0x2b,0x6f,0xf5]
 261           vmovdqa64 %ymm29, %ymm30 {%k3}
 262
 263 // CHECK: vmovdqa64 %ymm29, %ymm30 {%k3} {z}
 264 // CHECK:  encoding: [0x62,0x01,0xfd,0xab,0x6f,0xf5]
 265           vmovdqa64 %ymm29, %ymm30 {%k3} {z}
 266
 267 // CHECK: vmovdqa64 (%rcx), %ymm30
 268 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x6f,0x31]
 269           vmovdqa64 (%rcx), %ymm30
 270
 271 // CHECK: vmovdqa64 291(%rax,%r14,8), %ymm30
 272 // CHECK:  encoding: [0x62,0x21,0xfd,0x28,0x6f,0xb4,0xf0,0x23,0x01,0x00,0x00]
 273           vmovdqa64 291(%rax,%r14,8), %ymm30
 274
 275 // CHECK: vmovdqa64 4064(%rdx), %ymm30
 276 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x6f,0x72,0x7f]
 277           vmovdqa64 4064(%rdx), %ymm30
 278
 279 // CHECK: vmovdqa64 4096(%rdx), %ymm30
 280 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x6f,0xb2,0x00,0x10,0x00,0x00]
 281           vmovdqa64 4096(%rdx), %ymm30
 282
 283 // CHECK: vmovdqa64 -4096(%rdx), %ymm30
 284 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x6f,0x72,0x80]
 285           vmovdqa64 -4096(%rdx), %ymm30
 286
 287 // CHECK: vmovdqa64 -4128(%rdx), %ymm30
 288 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x6f,0xb2,0xe0,0xef,0xff,0xff]
 289           vmovdqa64 -4128(%rdx), %ymm30
 290
 291 // CHECK: vmovdqu32 %xmm19, %xmm29
 292 // CHECK:  encoding: [0x62,0x21,0x7e,0x08,0x6f,0xeb]
 293           vmovdqu32 %xmm19, %xmm29
 294
 295 // CHECK: vmovdqu32 %xmm19, %xmm29 {%k6}
 296 // CHECK:  encoding: [0x62,0x21,0x7e,0x0e,0x6f,0xeb]
 297           vmovdqu32 %xmm19, %xmm29 {%k6}
 298
 299 // CHECK: vmovdqu32 %xmm19, %xmm29 {%k6} {z}
 300 // CHECK:  encoding: [0x62,0x21,0x7e,0x8e,0x6f,0xeb]
 301           vmovdqu32 %xmm19, %xmm29 {%k6} {z}
 302
 303 // CHECK: vmovdqu32 (%rcx), %xmm29
 304 // CHECK:  encoding: [0x62,0x61,0x7e,0x08,0x6f,0x29]
 305           vmovdqu32 (%rcx), %xmm29
 306
 307 // CHECK: vmovdqu32 291(%rax,%r14,8), %xmm29
 308 // CHECK:  encoding: [0x62,0x21,0x7e,0x08,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
 309           vmovdqu32 291(%rax,%r14,8), %xmm29
 310
 311 // CHECK: vmovdqu32 2032(%rdx), %xmm29
 312 // CHECK:  encoding: [0x62,0x61,0x7e,0x08,0x6f,0x6a,0x7f]
 313           vmovdqu32 2032(%rdx), %xmm29
 314
 315 // CHECK: vmovdqu32 2048(%rdx), %xmm29
 316 // CHECK:  encoding: [0x62,0x61,0x7e,0x08,0x6f,0xaa,0x00,0x08,0x00,0x00]
 317           vmovdqu32 2048(%rdx), %xmm29
 318
 319 // CHECK: vmovdqu32 -2048(%rdx), %xmm29
 320 // CHECK:  encoding: [0x62,0x61,0x7e,0x08,0x6f,0x6a,0x80]
 321           vmovdqu32 -2048(%rdx), %xmm29
 322
 323 // CHECK: vmovdqu32 -2064(%rdx), %xmm29
 324 // CHECK:  encoding: [0x62,0x61,0x7e,0x08,0x6f,0xaa,0xf0,0xf7,0xff,0xff]
 325           vmovdqu32 -2064(%rdx), %xmm29
 326
 327 // CHECK: vmovdqu32 %ymm18, %ymm17
 328 // CHECK:  encoding: [0x62,0xa1,0x7e,0x28,0x6f,0xca]
 329           vmovdqu32 %ymm18, %ymm17
 330
 331 // CHECK: vmovdqu32 %ymm18, %ymm17 {%k3}
 332 // CHECK:  encoding: [0x62,0xa1,0x7e,0x2b,0x6f,0xca]
 333           vmovdqu32 %ymm18, %ymm17 {%k3}
 334
 335 // CHECK: vmovdqu32 %ymm18, %ymm17 {%k3} {z}
 336 // CHECK:  encoding: [0x62,0xa1,0x7e,0xab,0x6f,0xca]
 337           vmovdqu32 %ymm18, %ymm17 {%k3} {z}
 338
 339 // CHECK: vmovdqu32 (%rcx), %ymm17
 340 // CHECK:  encoding: [0x62,0xe1,0x7e,0x28,0x6f,0x09]
 341           vmovdqu32 (%rcx), %ymm17
 342
 343 // CHECK: vmovdqu32 291(%rax,%r14,8), %ymm17
 344 // CHECK:  encoding: [0x62,0xa1,0x7e,0x28,0x6f,0x8c,0xf0,0x23,0x01,0x00,0x00]
 345           vmovdqu32 291(%rax,%r14,8), %ymm17
 346
 347 // CHECK: vmovdqu32 4064(%rdx), %ymm17
 348 // CHECK:  encoding: [0x62,0xe1,0x7e,0x28,0x6f,0x4a,0x7f]
 349           vmovdqu32 4064(%rdx), %ymm17
 350
 351 // CHECK: vmovdqu32 4096(%rdx), %ymm17
 352 // CHECK:  encoding: [0x62,0xe1,0x7e,0x28,0x6f,0x8a,0x00,0x10,0x00,0x00]
 353           vmovdqu32 4096(%rdx), %ymm17
 354
 355 // CHECK: vmovdqu32 -4096(%rdx), %ymm17
 356 // CHECK:  encoding: [0x62,0xe1,0x7e,0x28,0x6f,0x4a,0x80]
 357           vmovdqu32 -4096(%rdx), %ymm17
 358
 359 // CHECK: vmovdqu32 -4128(%rdx), %ymm17
 360 // CHECK:  encoding: [0x62,0xe1,0x7e,0x28,0x6f,0x8a,0xe0,0xef,0xff,0xff]
 361           vmovdqu32 -4128(%rdx), %ymm17
 362
 363 // CHECK: vmovdqu64 %xmm19, %xmm24
 364 // CHECK:  encoding: [0x62,0x21,0xfe,0x08,0x6f,0xc3]
 365           vmovdqu64 %xmm19, %xmm24
 366
 367 // CHECK: vmovdqu64 %xmm19, %xmm24 {%k5}
 368 // CHECK:  encoding: [0x62,0x21,0xfe,0x0d,0x6f,0xc3]
 369           vmovdqu64 %xmm19, %xmm24 {%k5}
 370
 371 // CHECK: vmovdqu64 %xmm19, %xmm24 {%k5} {z}
 372 // CHECK:  encoding: [0x62,0x21,0xfe,0x8d,0x6f,0xc3]
 373           vmovdqu64 %xmm19, %xmm24 {%k5} {z}
 374
 375 // CHECK: vmovdqu64 (%rcx), %xmm24
 376 // CHECK:  encoding: [0x62,0x61,0xfe,0x08,0x6f,0x01]
 377           vmovdqu64 (%rcx), %xmm24
 378
 379 // CHECK: vmovdqu64 291(%rax,%r14,8), %xmm24
 380 // CHECK:  encoding: [0x62,0x21,0xfe,0x08,0x6f,0x84,0xf0,0x23,0x01,0x00,0x00]
 381           vmovdqu64 291(%rax,%r14,8), %xmm24
 382
 383 // CHECK: vmovdqu64 2032(%rdx), %xmm24
 384 // CHECK:  encoding: [0x62,0x61,0xfe,0x08,0x6f,0x42,0x7f]
 385           vmovdqu64 2032(%rdx), %xmm24
 386
 387 // CHECK: vmovdqu64 2048(%rdx), %xmm24
 388 // CHECK:  encoding: [0x62,0x61,0xfe,0x08,0x6f,0x82,0x00,0x08,0x00,0x00]
 389           vmovdqu64 2048(%rdx), %xmm24
 390
 391 // CHECK: vmovdqu64 -2048(%rdx), %xmm24
 392 // CHECK:  encoding: [0x62,0x61,0xfe,0x08,0x6f,0x42,0x80]
 393           vmovdqu64 -2048(%rdx), %xmm24
 394
 395 // CHECK: vmovdqu64 -2064(%rdx), %xmm24
 396 // CHECK:  encoding: [0x62,0x61,0xfe,0x08,0x6f,0x82,0xf0,0xf7,0xff,0xff]
 397           vmovdqu64 -2064(%rdx), %xmm24
 398
 399 // CHECK: vmovdqu64 %ymm21, %ymm29
 400 // CHECK:  encoding: [0x62,0x21,0xfe,0x28,0x6f,0xed]
 401           vmovdqu64 %ymm21, %ymm29
 402
 403 // CHECK: vmovdqu64 %ymm21, %ymm29 {%k3}
 404 // CHECK:  encoding: [0x62,0x21,0xfe,0x2b,0x6f,0xed]
 405           vmovdqu64 %ymm21, %ymm29 {%k3}
 406
 407 // CHECK: vmovdqu64 %ymm21, %ymm29 {%k3} {z}
 408 // CHECK:  encoding: [0x62,0x21,0xfe,0xab,0x6f,0xed]
 409           vmovdqu64 %ymm21, %ymm29 {%k3} {z}
 410
 411 // CHECK: vmovdqu64 (%rcx), %ymm29
 412 // CHECK:  encoding: [0x62,0x61,0xfe,0x28,0x6f,0x29]
 413           vmovdqu64 (%rcx), %ymm29
 414
 415 // CHECK: vmovdqu64 291(%rax,%r14,8), %ymm29
 416 // CHECK:  encoding: [0x62,0x21,0xfe,0x28,0x6f,0xac,0xf0,0x23,0x01,0x00,0x00]
 417           vmovdqu64 291(%rax,%r14,8), %ymm29
 418
 419 // CHECK: vmovdqu64 4064(%rdx), %ymm29
 420 // CHECK:  encoding: [0x62,0x61,0xfe,0x28,0x6f,0x6a,0x7f]
 421           vmovdqu64 4064(%rdx), %ymm29
 422
 423 // CHECK: vmovdqu64 4096(%rdx), %ymm29
 424 // CHECK:  encoding: [0x62,0x61,0xfe,0x28,0x6f,0xaa,0x00,0x10,0x00,0x00]
 425           vmovdqu64 4096(%rdx), %ymm29
 426
 427 // CHECK: vmovdqu64 -4096(%rdx), %ymm29
 428 // CHECK:  encoding: [0x62,0x61,0xfe,0x28,0x6f,0x6a,0x80]
 429           vmovdqu64 -4096(%rdx), %ymm29
 430
 431 // CHECK: vmovdqu64 -4128(%rdx), %ymm29
 432 // CHECK:  encoding: [0x62,0x61,0xfe,0x28,0x6f,0xaa,0xe0,0xef,0xff,0xff]
 433           vmovdqu64 -4128(%rdx), %ymm29
 434
 435 // CHECK: vmovntdq %xmm22, (%rcx)
 436 // CHECK:  encoding: [0x62,0xe1,0x7d,0x08,0xe7,0x31]
 437           vmovntdq %xmm22, (%rcx)
 438
 439 // CHECK: vmovntdq %xmm22, 291(%rax,%r14,8)
 440 // CHECK:  encoding: [0x62,0xa1,0x7d,0x08,0xe7,0xb4,0xf0,0x23,0x01,0x00,0x00]
 441           vmovntdq %xmm22, 291(%rax,%r14,8)
 442
 443 // CHECK: vmovntdq %xmm22, 2032(%rdx)
 444 // CHECK:  encoding: [0x62,0xe1,0x7d,0x08,0xe7,0x72,0x7f]
 445           vmovntdq %xmm22, 2032(%rdx)
 446
 447 // CHECK: vmovntdq %xmm22, 2048(%rdx)
 448 // CHECK:  encoding: [0x62,0xe1,0x7d,0x08,0xe7,0xb2,0x00,0x08,0x00,0x00]
 449           vmovntdq %xmm22, 2048(%rdx)
 450
 451 // CHECK: vmovntdq %xmm22, -2048(%rdx)
 452 // CHECK:  encoding: [0x62,0xe1,0x7d,0x08,0xe7,0x72,0x80]
 453           vmovntdq %xmm22, -2048(%rdx)
 454
 455 // CHECK: vmovntdq %xmm22, -2064(%rdx)
 456 // CHECK:  encoding: [0x62,0xe1,0x7d,0x08,0xe7,0xb2,0xf0,0xf7,0xff,0xff]
 457           vmovntdq %xmm22, -2064(%rdx)
 458
 459 // CHECK: vmovntdq %ymm19, (%rcx)
 460 // CHECK:  encoding: [0x62,0xe1,0x7d,0x28,0xe7,0x19]
 461           vmovntdq %ymm19, (%rcx)
 462
 463 // CHECK: vmovntdq %ymm19, 291(%rax,%r14,8)
 464 // CHECK:  encoding: [0x62,0xa1,0x7d,0x28,0xe7,0x9c,0xf0,0x23,0x01,0x00,0x00]
 465           vmovntdq %ymm19, 291(%rax,%r14,8)
 466
 467 // CHECK: vmovntdq %ymm19, 4064(%rdx)
 468 // CHECK:  encoding: [0x62,0xe1,0x7d,0x28,0xe7,0x5a,0x7f]
 469           vmovntdq %ymm19, 4064(%rdx)
 470
 471 // CHECK: vmovntdq %ymm19, 4096(%rdx)
 472 // CHECK:  encoding: [0x62,0xe1,0x7d,0x28,0xe7,0x9a,0x00,0x10,0x00,0x00]
 473           vmovntdq %ymm19, 4096(%rdx)
 474
 475 // CHECK: vmovntdq %ymm19, -4096(%rdx)
 476 // CHECK:  encoding: [0x62,0xe1,0x7d,0x28,0xe7,0x5a,0x80]
 477           vmovntdq %ymm19, -4096(%rdx)
 478
 479 // CHECK: vmovntdq %ymm19, -4128(%rdx)
 480 // CHECK:  encoding: [0x62,0xe1,0x7d,0x28,0xe7,0x9a,0xe0,0xef,0xff,0xff]
 481           vmovntdq %ymm19, -4128(%rdx)
 482
 483 // CHECK: vmovntdqa (%rcx), %xmm24
 484 // CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x2a,0x01]
 485           vmovntdqa (%rcx), %xmm24
 486
 487 // CHECK: vmovntdqa 291(%rax,%r14,8), %xmm24
 488 // CHECK:  encoding: [0x62,0x22,0x7d,0x08,0x2a,0x84,0xf0,0x23,0x01,0x00,0x00]
 489           vmovntdqa 291(%rax,%r14,8), %xmm24
 490
 491 // CHECK: vmovntdqa 2032(%rdx), %xmm24
 492 // CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x2a,0x42,0x7f]
 493           vmovntdqa 2032(%rdx), %xmm24
 494
 495 // CHECK: vmovntdqa 2048(%rdx), %xmm24
 496 // CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x2a,0x82,0x00,0x08,0x00,0x00]
 497           vmovntdqa 2048(%rdx), %xmm24
 498
 499 // CHECK: vmovntdqa -2048(%rdx), %xmm24
 500 // CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x2a,0x42,0x80]
 501           vmovntdqa -2048(%rdx), %xmm24
 502
 503 // CHECK: vmovntdqa -2064(%rdx), %xmm24
 504 // CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x2a,0x82,0xf0,0xf7,0xff,0xff]
 505           vmovntdqa -2064(%rdx), %xmm24
 506
 507 // CHECK: vmovntdqa (%rcx), %ymm28
 508 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x2a,0x21]
 509           vmovntdqa (%rcx), %ymm28
 510
 511 // CHECK: vmovntdqa 291(%rax,%r14,8), %ymm28
 512 // CHECK:  encoding: [0x62,0x22,0x7d,0x28,0x2a,0xa4,0xf0,0x23,0x01,0x00,0x00]
 513           vmovntdqa 291(%rax,%r14,8), %ymm28
 514
 515 // CHECK: vmovntdqa 4064(%rdx), %ymm28
 516 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x2a,0x62,0x7f]
 517           vmovntdqa 4064(%rdx), %ymm28
 518
 519 // CHECK: vmovntdqa 4096(%rdx), %ymm28
 520 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x2a,0xa2,0x00,0x10,0x00,0x00]
 521           vmovntdqa 4096(%rdx), %ymm28
 522
 523 // CHECK: vmovntdqa -4096(%rdx), %ymm28
 524 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x2a,0x62,0x80]
 525           vmovntdqa -4096(%rdx), %ymm28
 526
 527 // CHECK: vmovntdqa -4128(%rdx), %ymm28
 528 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x2a,0xa2,0xe0,0xef,0xff,0xff]
 529           vmovntdqa -4128(%rdx), %ymm28
 530
 531 // CHECK: vmovntpd %xmm17, (%rcx)
 532 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x2b,0x09]
 533           vmovntpd %xmm17, (%rcx)
 534
 535 // CHECK: vmovntpd %xmm17, 291(%rax,%r14,8)
 536 // CHECK:  encoding: [0x62,0xa1,0xfd,0x08,0x2b,0x8c,0xf0,0x23,0x01,0x00,0x00]
 537           vmovntpd %xmm17, 291(%rax,%r14,8)
 538
 539 // CHECK: vmovntpd %xmm17, 2032(%rdx)
 540 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x2b,0x4a,0x7f]
 541           vmovntpd %xmm17, 2032(%rdx)
 542
 543 // CHECK: vmovntpd %xmm17, 2048(%rdx)
 544 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x2b,0x8a,0x00,0x08,0x00,0x00]
 545           vmovntpd %xmm17, 2048(%rdx)
 546
 547 // CHECK: vmovntpd %xmm17, -2048(%rdx)
 548 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x2b,0x4a,0x80]
 549           vmovntpd %xmm17, -2048(%rdx)
 550
 551 // CHECK: vmovntpd %xmm17, -2064(%rdx)
 552 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x2b,0x8a,0xf0,0xf7,0xff,0xff]
 553           vmovntpd %xmm17, -2064(%rdx)
 554
 555 // CHECK: vmovntpd %ymm27, (%rcx)
 556 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x2b,0x19]
 557           vmovntpd %ymm27, (%rcx)
 558
 559 // CHECK: vmovntpd %ymm27, 291(%rax,%r14,8)
 560 // CHECK:  encoding: [0x62,0x21,0xfd,0x28,0x2b,0x9c,0xf0,0x23,0x01,0x00,0x00]
 561           vmovntpd %ymm27, 291(%rax,%r14,8)
 562
 563 // CHECK: vmovntpd %ymm27, 4064(%rdx)
 564 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x2b,0x5a,0x7f]
 565           vmovntpd %ymm27, 4064(%rdx)
 566
 567 // CHECK: vmovntpd %ymm27, 4096(%rdx)
 568 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x2b,0x9a,0x00,0x10,0x00,0x00]
 569           vmovntpd %ymm27, 4096(%rdx)
 570
 571 // CHECK: vmovntpd %ymm27, -4096(%rdx)
 572 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x2b,0x5a,0x80]
 573           vmovntpd %ymm27, -4096(%rdx)
 574
 575 // CHECK: vmovntpd %ymm27, -4128(%rdx)
 576 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x2b,0x9a,0xe0,0xef,0xff,0xff]
 577           vmovntpd %ymm27, -4128(%rdx)
 578
 579 // CHECK: vmovntps %xmm26, (%rcx)
 580 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x2b,0x11]
 581           vmovntps %xmm26, (%rcx)
 582
 583 // CHECK: vmovntps %xmm26, 291(%rax,%r14,8)
 584 // CHECK:  encoding: [0x62,0x21,0x7c,0x08,0x2b,0x94,0xf0,0x23,0x01,0x00,0x00]
 585           vmovntps %xmm26, 291(%rax,%r14,8)
 586
 587 // CHECK: vmovntps %xmm26, 2032(%rdx)
 588 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x2b,0x52,0x7f]
 589           vmovntps %xmm26, 2032(%rdx)
 590
 591 // CHECK: vmovntps %xmm26, 2048(%rdx)
 592 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x2b,0x92,0x00,0x08,0x00,0x00]
 593           vmovntps %xmm26, 2048(%rdx)
 594
 595 // CHECK: vmovntps %xmm26, -2048(%rdx)
 596 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x2b,0x52,0x80]
 597           vmovntps %xmm26, -2048(%rdx)
 598
 599 // CHECK: vmovntps %xmm26, -2064(%rdx)
 600 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x2b,0x92,0xf0,0xf7,0xff,0xff]
 601           vmovntps %xmm26, -2064(%rdx)
 602
 603 // CHECK: vmovntps %ymm28, (%rcx)
 604 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x2b,0x21]
 605           vmovntps %ymm28, (%rcx)
 606
 607 // CHECK: vmovntps %ymm28, 291(%rax,%r14,8)
 608 // CHECK:  encoding: [0x62,0x21,0x7c,0x28,0x2b,0xa4,0xf0,0x23,0x01,0x00,0x00]
 609           vmovntps %ymm28, 291(%rax,%r14,8)
 610
 611 // CHECK: vmovntps %ymm28, 4064(%rdx)
 612 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x2b,0x62,0x7f]
 613           vmovntps %ymm28, 4064(%rdx)
 614
 615 // CHECK: vmovntps %ymm28, 4096(%rdx)
 616 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x2b,0xa2,0x00,0x10,0x00,0x00]
 617           vmovntps %ymm28, 4096(%rdx)
 618
 619 // CHECK: vmovntps %ymm28, -4096(%rdx)
 620 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x2b,0x62,0x80]
 621           vmovntps %ymm28, -4096(%rdx)
 622
 623 // CHECK: vmovntps %ymm28, -4128(%rdx)
 624 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x2b,0xa2,0xe0,0xef,0xff,0xff]
 625           vmovntps %ymm28, -4128(%rdx)
 626
 627 // CHECK: vmovupd %xmm22, %xmm24
 628 // CHECK:  encoding: [0x62,0x21,0xfd,0x08,0x10,0xc6]
 629           vmovupd %xmm22, %xmm24
 630
 631 // CHECK: vmovupd %xmm22, %xmm24 {%k6}
 632 // CHECK:  encoding: [0x62,0x21,0xfd,0x0e,0x10,0xc6]
 633           vmovupd %xmm22, %xmm24 {%k6}
 634
 635 // CHECK: vmovupd %xmm22, %xmm24 {%k6} {z}
 636 // CHECK:  encoding: [0x62,0x21,0xfd,0x8e,0x10,0xc6]
 637           vmovupd %xmm22, %xmm24 {%k6} {z}
 638
 639 // CHECK: vmovupd (%rcx), %xmm24
 640 // CHECK:  encoding: [0x62,0x61,0xfd,0x08,0x10,0x01]
 641           vmovupd (%rcx), %xmm24
 642
 643 // CHECK: vmovupd 291(%rax,%r14,8), %xmm24
 644 // CHECK:  encoding: [0x62,0x21,0xfd,0x08,0x10,0x84,0xf0,0x23,0x01,0x00,0x00]
 645           vmovupd 291(%rax,%r14,8), %xmm24
 646
 647 // CHECK: vmovupd 2032(%rdx), %xmm24
 648 // CHECK:  encoding: [0x62,0x61,0xfd,0x08,0x10,0x42,0x7f]
 649           vmovupd 2032(%rdx), %xmm24
 650
 651 // CHECK: vmovupd 2048(%rdx), %xmm24
 652 // CHECK:  encoding: [0x62,0x61,0xfd,0x08,0x10,0x82,0x00,0x08,0x00,0x00]
 653           vmovupd 2048(%rdx), %xmm24
 654
 655 // CHECK: vmovupd -2048(%rdx), %xmm24
 656 // CHECK:  encoding: [0x62,0x61,0xfd,0x08,0x10,0x42,0x80]
 657           vmovupd -2048(%rdx), %xmm24
 658
 659 // CHECK: vmovupd -2064(%rdx), %xmm24
 660 // CHECK:  encoding: [0x62,0x61,0xfd,0x08,0x10,0x82,0xf0,0xf7,0xff,0xff]
 661           vmovupd -2064(%rdx), %xmm24
 662
 663 // CHECK: vmovupd %ymm25, %ymm30
 664 // CHECK:  encoding: [0x62,0x01,0xfd,0x28,0x10,0xf1]
 665           vmovupd %ymm25, %ymm30
 666
 667 // CHECK: vmovupd %ymm25, %ymm30 {%k7}
 668 // CHECK:  encoding: [0x62,0x01,0xfd,0x2f,0x10,0xf1]
 669           vmovupd %ymm25, %ymm30 {%k7}
 670
 671 // CHECK: vmovupd %ymm25, %ymm30 {%k7} {z}
 672 // CHECK:  encoding: [0x62,0x01,0xfd,0xaf,0x10,0xf1]
 673           vmovupd %ymm25, %ymm30 {%k7} {z}
 674
 675 // CHECK: vmovupd (%rcx), %ymm30
 676 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x10,0x31]
 677           vmovupd (%rcx), %ymm30
 678
 679 // CHECK: vmovupd 291(%rax,%r14,8), %ymm30
 680 // CHECK:  encoding: [0x62,0x21,0xfd,0x28,0x10,0xb4,0xf0,0x23,0x01,0x00,0x00]
 681           vmovupd 291(%rax,%r14,8), %ymm30
 682
 683 // CHECK: vmovupd 4064(%rdx), %ymm30
 684 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x10,0x72,0x7f]
 685           vmovupd 4064(%rdx), %ymm30
 686
 687 // CHECK: vmovupd 4096(%rdx), %ymm30
 688 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x10,0xb2,0x00,0x10,0x00,0x00]
 689           vmovupd 4096(%rdx), %ymm30
 690
 691 // CHECK: vmovupd -4096(%rdx), %ymm30
 692 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x10,0x72,0x80]
 693           vmovupd -4096(%rdx), %ymm30
 694
 695 // CHECK: vmovupd -4128(%rdx), %ymm30
 696 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x10,0xb2,0xe0,0xef,0xff,0xff]
 697           vmovupd -4128(%rdx), %ymm30
 698
 699 // CHECK: vmovups %xmm29, %xmm20
 700 // CHECK:  encoding: [0x62,0x81,0x7c,0x08,0x10,0xe5]
 701           vmovups %xmm29, %xmm20
 702
 703 // CHECK: vmovups %xmm29, %xmm20 {%k6}
 704 // CHECK:  encoding: [0x62,0x81,0x7c,0x0e,0x10,0xe5]
 705           vmovups %xmm29, %xmm20 {%k6}
 706
 707 // CHECK: vmovups %xmm29, %xmm20 {%k6} {z}
 708 // CHECK:  encoding: [0x62,0x81,0x7c,0x8e,0x10,0xe5]
 709           vmovups %xmm29, %xmm20 {%k6} {z}
 710
 711 // CHECK: vmovups (%rcx), %xmm20
 712 // CHECK:  encoding: [0x62,0xe1,0x7c,0x08,0x10,0x21]
 713           vmovups (%rcx), %xmm20
 714
 715 // CHECK: vmovups 291(%rax,%r14,8), %xmm20
 716 // CHECK:  encoding: [0x62,0xa1,0x7c,0x08,0x10,0xa4,0xf0,0x23,0x01,0x00,0x00]
 717           vmovups 291(%rax,%r14,8), %xmm20
 718
 719 // CHECK: vmovups 2032(%rdx), %xmm20
 720 // CHECK:  encoding: [0x62,0xe1,0x7c,0x08,0x10,0x62,0x7f]
 721           vmovups 2032(%rdx), %xmm20
 722
 723 // CHECK: vmovups 2048(%rdx), %xmm20
 724 // CHECK:  encoding: [0x62,0xe1,0x7c,0x08,0x10,0xa2,0x00,0x08,0x00,0x00]
 725           vmovups 2048(%rdx), %xmm20
 726
 727 // CHECK: vmovups -2048(%rdx), %xmm20
 728 // CHECK:  encoding: [0x62,0xe1,0x7c,0x08,0x10,0x62,0x80]
 729           vmovups -2048(%rdx), %xmm20
 730
 731 // CHECK: vmovups -2064(%rdx), %xmm20
 732 // CHECK:  encoding: [0x62,0xe1,0x7c,0x08,0x10,0xa2,0xf0,0xf7,0xff,0xff]
 733           vmovups -2064(%rdx), %xmm20
 734
 735 // CHECK: vmovups %ymm26, %ymm21
 736 // CHECK:  encoding: [0x62,0x81,0x7c,0x28,0x10,0xea]
 737           vmovups %ymm26, %ymm21
 738
 739 // CHECK: vmovups %ymm26, %ymm21 {%k6}
 740 // CHECK:  encoding: [0x62,0x81,0x7c,0x2e,0x10,0xea]
 741           vmovups %ymm26, %ymm21 {%k6}
 742
 743 // CHECK: vmovups %ymm26, %ymm21 {%k6} {z}
 744 // CHECK:  encoding: [0x62,0x81,0x7c,0xae,0x10,0xea]
 745           vmovups %ymm26, %ymm21 {%k6} {z}
 746
 747 // CHECK: vmovups (%rcx), %ymm21
 748 // CHECK:  encoding: [0x62,0xe1,0x7c,0x28,0x10,0x29]
 749           vmovups (%rcx), %ymm21
 750
 751 // CHECK: vmovups 291(%rax,%r14,8), %ymm21
 752 // CHECK:  encoding: [0x62,0xa1,0x7c,0x28,0x10,0xac,0xf0,0x23,0x01,0x00,0x00]
 753           vmovups 291(%rax,%r14,8), %ymm21
 754
 755 // CHECK: vmovups 4064(%rdx), %ymm21
 756 // CHECK:  encoding: [0x62,0xe1,0x7c,0x28,0x10,0x6a,0x7f]
 757           vmovups 4064(%rdx), %ymm21
 758
 759 // CHECK: vmovups 4096(%rdx), %ymm21
 760 // CHECK:  encoding: [0x62,0xe1,0x7c,0x28,0x10,0xaa,0x00,0x10,0x00,0x00]
 761           vmovups 4096(%rdx), %ymm21
 762
 763 // CHECK: vmovups -4096(%rdx), %ymm21
 764 // CHECK:  encoding: [0x62,0xe1,0x7c,0x28,0x10,0x6a,0x80]
 765           vmovups -4096(%rdx), %ymm21
 766
 767 // CHECK: vmovups -4128(%rdx), %ymm21
 768 // CHECK:  encoding: [0x62,0xe1,0x7c,0x28,0x10,0xaa,0xe0,0xef,0xff,0xff]
 769           vmovups -4128(%rdx), %ymm21
 770
 771 // CHECK: vpcmpd $171, %xmm20, %xmm23, %k4
 772 // CHECK:  encoding: [0x62,0xb3,0x45,0x00,0x1f,0xe4,0xab]
 773           vpcmpd $171, %xmm20, %xmm23, %k4
 774
 775 // CHECK: vpcmpd $171, %xmm20, %xmm23, %k4 {%k1}
 776 // CHECK:  encoding: [0x62,0xb3,0x45,0x01,0x1f,0xe4,0xab]
 777           vpcmpd $171, %xmm20, %xmm23, %k4 {%k1}
 778
 779 // CHECK: vpcmpd $123, %xmm20, %xmm23, %k4
 780 // CHECK:  encoding: [0x62,0xb3,0x45,0x00,0x1f,0xe4,0x7b]
 781           vpcmpd $123, %xmm20, %xmm23, %k4
 782
 783 // CHECK: vpcmpd $123, (%rcx), %xmm23, %k4
 784 // CHECK:  encoding: [0x62,0xf3,0x45,0x00,0x1f,0x21,0x7b]
 785           vpcmpd $123, (%rcx), %xmm23, %k4
 786
 787 // CHECK: vpcmpd $123, 291(%rax,%r14,8), %xmm23, %k4
 788 // CHECK:  encoding: [0x62,0xb3,0x45,0x00,0x1f,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
 789           vpcmpd $123, 291(%rax,%r14,8), %xmm23, %k4
 790
 791 // CHECK: vpcmpd $123, (%rcx){1to4}, %xmm23, %k4
 792 // CHECK:  encoding: [0x62,0xf3,0x45,0x10,0x1f,0x21,0x7b]
 793           vpcmpd $123, (%rcx){1to4}, %xmm23, %k4
 794
 795 // CHECK: vpcmpd $123, 2032(%rdx), %xmm23, %k4
 796 // CHECK:  encoding: [0x62,0xf3,0x45,0x00,0x1f,0x62,0x7f,0x7b]
 797           vpcmpd $123, 2032(%rdx), %xmm23, %k4
 798
 799 // CHECK: vpcmpd $123, 2048(%rdx), %xmm23, %k4
 800 // CHECK:  encoding: [0x62,0xf3,0x45,0x00,0x1f,0xa2,0x00,0x08,0x00,0x00,0x7b]
 801           vpcmpd $123, 2048(%rdx), %xmm23, %k4
 802
 803 // CHECK: vpcmpd $123, -2048(%rdx), %xmm23, %k4
 804 // CHECK:  encoding: [0x62,0xf3,0x45,0x00,0x1f,0x62,0x80,0x7b]
 805           vpcmpd $123, -2048(%rdx), %xmm23, %k4
 806
 807 // CHECK: vpcmpd $123, -2064(%rdx), %xmm23, %k4
 808 // CHECK:  encoding: [0x62,0xf3,0x45,0x00,0x1f,0xa2,0xf0,0xf7,0xff,0xff,0x7b]
 809           vpcmpd $123, -2064(%rdx), %xmm23, %k4
 810
 811 // CHECK: vpcmpd $123, 508(%rdx){1to4}, %xmm23, %k4
 812 // CHECK:  encoding: [0x62,0xf3,0x45,0x10,0x1f,0x62,0x7f,0x7b]
 813           vpcmpd $123, 508(%rdx){1to4}, %xmm23, %k4
 814
 815 // CHECK: vpcmpd $123, 512(%rdx){1to4}, %xmm23, %k4
 816 // CHECK:  encoding: [0x62,0xf3,0x45,0x10,0x1f,0xa2,0x00,0x02,0x00,0x00,0x7b]
 817           vpcmpd $123, 512(%rdx){1to4}, %xmm23, %k4
 818
 819 // CHECK: vpcmpd $123, -512(%rdx){1to4}, %xmm23, %k4
 820 // CHECK:  encoding: [0x62,0xf3,0x45,0x10,0x1f,0x62,0x80,0x7b]
 821           vpcmpd $123, -512(%rdx){1to4}, %xmm23, %k4
 822
 823 // CHECK: vpcmpd $123, -516(%rdx){1to4}, %xmm23, %k4
 824 // CHECK:  encoding: [0x62,0xf3,0x45,0x10,0x1f,0xa2,0xfc,0xfd,0xff,0xff,0x7b]
 825           vpcmpd $123, -516(%rdx){1to4}, %xmm23, %k4
 826
 827 // CHECK: vpcmpd $171, %ymm19, %ymm24, %k4
 828 // CHECK:  encoding: [0x62,0xb3,0x3d,0x20,0x1f,0xe3,0xab]
 829           vpcmpd $171, %ymm19, %ymm24, %k4
 830
 831 // CHECK: vpcmpd $171, %ymm19, %ymm24, %k4 {%k3}
 832 // CHECK:  encoding: [0x62,0xb3,0x3d,0x23,0x1f,0xe3,0xab]
 833           vpcmpd $171, %ymm19, %ymm24, %k4 {%k3}
 834
 835 // CHECK: vpcmpd $123, %ymm19, %ymm24, %k4
 836 // CHECK:  encoding: [0x62,0xb3,0x3d,0x20,0x1f,0xe3,0x7b]
 837           vpcmpd $123, %ymm19, %ymm24, %k4
 838
 839 // CHECK: vpcmpd $123, (%rcx), %ymm24, %k4
 840 // CHECK:  encoding: [0x62,0xf3,0x3d,0x20,0x1f,0x21,0x7b]
 841           vpcmpd $123, (%rcx), %ymm24, %k4
 842
 843 // CHECK: vpcmpd $123, 291(%rax,%r14,8), %ymm24, %k4
 844 // CHECK:  encoding: [0x62,0xb3,0x3d,0x20,0x1f,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
 845           vpcmpd $123, 291(%rax,%r14,8), %ymm24, %k4
 846
 847 // CHECK: vpcmpd $123, (%rcx){1to8}, %ymm24, %k4
 848 // CHECK:  encoding: [0x62,0xf3,0x3d,0x30,0x1f,0x21,0x7b]
 849           vpcmpd $123, (%rcx){1to8}, %ymm24, %k4
 850
 851 // CHECK: vpcmpd $123, 4064(%rdx), %ymm24, %k4
 852 // CHECK:  encoding: [0x62,0xf3,0x3d,0x20,0x1f,0x62,0x7f,0x7b]
 853           vpcmpd $123, 4064(%rdx), %ymm24, %k4
 854
 855 // CHECK: vpcmpd $123, 4096(%rdx), %ymm24, %k4
 856 // CHECK:  encoding: [0x62,0xf3,0x3d,0x20,0x1f,0xa2,0x00,0x10,0x00,0x00,0x7b]
 857           vpcmpd $123, 4096(%rdx), %ymm24, %k4
 858
 859 // CHECK: vpcmpd $123, -4096(%rdx), %ymm24, %k4
 860 // CHECK:  encoding: [0x62,0xf3,0x3d,0x20,0x1f,0x62,0x80,0x7b]
 861           vpcmpd $123, -4096(%rdx), %ymm24, %k4
 862
 863 // CHECK: vpcmpd $123, -4128(%rdx), %ymm24, %k4
 864 // CHECK:  encoding: [0x62,0xf3,0x3d,0x20,0x1f,0xa2,0xe0,0xef,0xff,0xff,0x7b]
 865           vpcmpd $123, -4128(%rdx), %ymm24, %k4
 866
 867 // CHECK: vpcmpd $123, 508(%rdx){1to8}, %ymm24, %k4
 868 // CHECK:  encoding: [0x62,0xf3,0x3d,0x30,0x1f,0x62,0x7f,0x7b]
 869           vpcmpd $123, 508(%rdx){1to8}, %ymm24, %k4
 870
 871 // CHECK: vpcmpd $123, 512(%rdx){1to8}, %ymm24, %k4
 872 // CHECK:  encoding: [0x62,0xf3,0x3d,0x30,0x1f,0xa2,0x00,0x02,0x00,0x00,0x7b]
 873           vpcmpd $123, 512(%rdx){1to8}, %ymm24, %k4
 874
 875 // CHECK: vpcmpd $123, -512(%rdx){1to8}, %ymm24, %k4
 876 // CHECK:  encoding: [0x62,0xf3,0x3d,0x30,0x1f,0x62,0x80,0x7b]
 877           vpcmpd $123, -512(%rdx){1to8}, %ymm24, %k4
 878
 879 // CHECK: vpcmpd $123, -516(%rdx){1to8}, %ymm24, %k4
 880 // CHECK:  encoding: [0x62,0xf3,0x3d,0x30,0x1f,0xa2,0xfc,0xfd,0xff,0xff,0x7b]
 881           vpcmpd $123, -516(%rdx){1to8}, %ymm24, %k4
 882
 883 // CHECK: vpcmpeqd %xmm24, %xmm29, %k3
 884 // CHECK:  encoding: [0x62,0x91,0x15,0x00,0x76,0xd8]
 885           vpcmpeqd %xmm24, %xmm29, %k3
 886
 887 // CHECK: vpcmpeqd %xmm24, %xmm29, %k3 {%k5}
 888 // CHECK:  encoding: [0x62,0x91,0x15,0x05,0x76,0xd8]
 889           vpcmpeqd %xmm24, %xmm29, %k3 {%k5}
 890
 891 // CHECK: vpcmpeqd (%rcx), %xmm29, %k3
 892 // CHECK:  encoding: [0x62,0xf1,0x15,0x00,0x76,0x19]
 893           vpcmpeqd (%rcx), %xmm29, %k3
 894
 895 // CHECK: vpcmpeqd 291(%rax,%r14,8), %xmm29, %k3
 896 // CHECK:  encoding: [0x62,0xb1,0x15,0x00,0x76,0x9c,0xf0,0x23,0x01,0x00,0x00]
 897           vpcmpeqd 291(%rax,%r14,8), %xmm29, %k3
 898
 899 // CHECK: vpcmpeqd (%rcx){1to4}, %xmm29, %k3
 900 // CHECK:  encoding: [0x62,0xf1,0x15,0x10,0x76,0x19]
 901           vpcmpeqd (%rcx){1to4}, %xmm29, %k3
 902
 903 // CHECK: vpcmpeqd 2032(%rdx), %xmm29, %k3
 904 // CHECK:  encoding: [0x62,0xf1,0x15,0x00,0x76,0x5a,0x7f]
 905           vpcmpeqd 2032(%rdx), %xmm29, %k3
 906
 907 // CHECK: vpcmpeqd 2048(%rdx), %xmm29, %k3
 908 // CHECK:  encoding: [0x62,0xf1,0x15,0x00,0x76,0x9a,0x00,0x08,0x00,0x00]
 909           vpcmpeqd 2048(%rdx), %xmm29, %k3
 910
 911 // CHECK: vpcmpeqd -2048(%rdx), %xmm29, %k3
 912 // CHECK:  encoding: [0x62,0xf1,0x15,0x00,0x76,0x5a,0x80]
 913           vpcmpeqd -2048(%rdx), %xmm29, %k3
 914
 915 // CHECK: vpcmpeqd -2064(%rdx), %xmm29, %k3
 916 // CHECK:  encoding: [0x62,0xf1,0x15,0x00,0x76,0x9a,0xf0,0xf7,0xff,0xff]
 917           vpcmpeqd -2064(%rdx), %xmm29, %k3
 918
 919 // CHECK: vpcmpeqd 508(%rdx){1to4}, %xmm29, %k3
 920 // CHECK:  encoding: [0x62,0xf1,0x15,0x10,0x76,0x5a,0x7f]
 921           vpcmpeqd 508(%rdx){1to4}, %xmm29, %k3
 922
 923 // CHECK: vpcmpeqd 512(%rdx){1to4}, %xmm29, %k3
 924 // CHECK:  encoding: [0x62,0xf1,0x15,0x10,0x76,0x9a,0x00,0x02,0x00,0x00]
 925           vpcmpeqd 512(%rdx){1to4}, %xmm29, %k3
 926
 927 // CHECK: vpcmpeqd -512(%rdx){1to4}, %xmm29, %k3
 928 // CHECK:  encoding: [0x62,0xf1,0x15,0x10,0x76,0x5a,0x80]
 929           vpcmpeqd -512(%rdx){1to4}, %xmm29, %k3
 930
 931 // CHECK: vpcmpeqd -516(%rdx){1to4}, %xmm29, %k3
 932 // CHECK:  encoding: [0x62,0xf1,0x15,0x10,0x76,0x9a,0xfc,0xfd,0xff,0xff]
 933           vpcmpeqd -516(%rdx){1to4}, %xmm29, %k3
 934
 935 // CHECK: vpcmpeqd %ymm20, %ymm26, %k5
 936 // CHECK:  encoding: [0x62,0xb1,0x2d,0x20,0x76,0xec]
 937           vpcmpeqd %ymm20, %ymm26, %k5
 938
 939 // CHECK: vpcmpeqd %ymm20, %ymm26, %k5 {%k5}
 940 // CHECK:  encoding: [0x62,0xb1,0x2d,0x25,0x76,0xec]
 941           vpcmpeqd %ymm20, %ymm26, %k5 {%k5}
 942
 943 // CHECK: vpcmpeqd (%rcx), %ymm26, %k5
 944 // CHECK:  encoding: [0x62,0xf1,0x2d,0x20,0x76,0x29]
 945           vpcmpeqd (%rcx), %ymm26, %k5
 946
 947 // CHECK: vpcmpeqd 291(%rax,%r14,8), %ymm26, %k5
 948 // CHECK:  encoding: [0x62,0xb1,0x2d,0x20,0x76,0xac,0xf0,0x23,0x01,0x00,0x00]
 949           vpcmpeqd 291(%rax,%r14,8), %ymm26, %k5
 950
 951 // CHECK: vpcmpeqd (%rcx){1to8}, %ymm26, %k5
 952 // CHECK:  encoding: [0x62,0xf1,0x2d,0x30,0x76,0x29]
 953           vpcmpeqd (%rcx){1to8}, %ymm26, %k5
 954
 955 // CHECK: vpcmpeqd 4064(%rdx), %ymm26, %k5
 956 // CHECK:  encoding: [0x62,0xf1,0x2d,0x20,0x76,0x6a,0x7f]
 957           vpcmpeqd 4064(%rdx), %ymm26, %k5
 958
 959 // CHECK: vpcmpeqd 4096(%rdx), %ymm26, %k5
 960 // CHECK:  encoding: [0x62,0xf1,0x2d,0x20,0x76,0xaa,0x00,0x10,0x00,0x00]
 961           vpcmpeqd 4096(%rdx), %ymm26, %k5
 962
 963 // CHECK: vpcmpeqd -4096(%rdx), %ymm26, %k5
 964 // CHECK:  encoding: [0x62,0xf1,0x2d,0x20,0x76,0x6a,0x80]
 965           vpcmpeqd -4096(%rdx), %ymm26, %k5
 966
 967 // CHECK: vpcmpeqd -4128(%rdx), %ymm26, %k5
 968 // CHECK:  encoding: [0x62,0xf1,0x2d,0x20,0x76,0xaa,0xe0,0xef,0xff,0xff]
 969           vpcmpeqd -4128(%rdx), %ymm26, %k5
 970
 971 // CHECK: vpcmpeqd 508(%rdx){1to8}, %ymm26, %k5
 972 // CHECK:  encoding: [0x62,0xf1,0x2d,0x30,0x76,0x6a,0x7f]
 973           vpcmpeqd 508(%rdx){1to8}, %ymm26, %k5
 974
 975 // CHECK: vpcmpeqd 512(%rdx){1to8}, %ymm26, %k5
 976 // CHECK:  encoding: [0x62,0xf1,0x2d,0x30,0x76,0xaa,0x00,0x02,0x00,0x00]
 977           vpcmpeqd 512(%rdx){1to8}, %ymm26, %k5
 978
 979 // CHECK: vpcmpeqd -512(%rdx){1to8}, %ymm26, %k5
 980 // CHECK:  encoding: [0x62,0xf1,0x2d,0x30,0x76,0x6a,0x80]
 981           vpcmpeqd -512(%rdx){1to8}, %ymm26, %k5
 982
 983 // CHECK: vpcmpeqd -516(%rdx){1to8}, %ymm26, %k5
 984 // CHECK:  encoding: [0x62,0xf1,0x2d,0x30,0x76,0xaa,0xfc,0xfd,0xff,0xff]
 985           vpcmpeqd -516(%rdx){1to8}, %ymm26, %k5
 986
 987 // CHECK: vpcmpeqq %xmm29, %xmm20, %k3
 988 // CHECK:  encoding: [0x62,0x92,0xdd,0x00,0x29,0xdd]
 989           vpcmpeqq %xmm29, %xmm20, %k3
 990
 991 // CHECK: vpcmpeqq %xmm29, %xmm20, %k3 {%k3}
 992 // CHECK:  encoding: [0x62,0x92,0xdd,0x03,0x29,0xdd]
 993           vpcmpeqq %xmm29, %xmm20, %k3 {%k3}
 994
 995 // CHECK: vpcmpeqq (%rcx), %xmm20, %k3
 996 // CHECK:  encoding: [0x62,0xf2,0xdd,0x00,0x29,0x19]
 997           vpcmpeqq (%rcx), %xmm20, %k3
 998
 999 // CHECK: vpcmpeqq 291(%rax,%r14,8), %xmm20, %k3
1000 // CHECK:  encoding: [0x62,0xb2,0xdd,0x00,0x29,0x9c,0xf0,0x23,0x01,0x00,0x00]
1001           vpcmpeqq 291(%rax,%r14,8), %xmm20, %k3
1002
1003 // CHECK: vpcmpeqq (%rcx){1to2}, %xmm20, %k3
1004 // CHECK:  encoding: [0x62,0xf2,0xdd,0x10,0x29,0x19]
1005           vpcmpeqq (%rcx){1to2}, %xmm20, %k3
1006
1007 // CHECK: vpcmpeqq 2032(%rdx), %xmm20, %k3
1008 // CHECK:  encoding: [0x62,0xf2,0xdd,0x00,0x29,0x5a,0x7f]
1009           vpcmpeqq 2032(%rdx), %xmm20, %k3
1010
1011 // CHECK: vpcmpeqq 2048(%rdx), %xmm20, %k3
1012 // CHECK:  encoding: [0x62,0xf2,0xdd,0x00,0x29,0x9a,0x00,0x08,0x00,0x00]
1013           vpcmpeqq 2048(%rdx), %xmm20, %k3
1014
1015 // CHECK: vpcmpeqq -2048(%rdx), %xmm20, %k3
1016 // CHECK:  encoding: [0x62,0xf2,0xdd,0x00,0x29,0x5a,0x80]
1017           vpcmpeqq -2048(%rdx), %xmm20, %k3
1018
1019 // CHECK: vpcmpeqq -2064(%rdx), %xmm20, %k3
1020 // CHECK:  encoding: [0x62,0xf2,0xdd,0x00,0x29,0x9a,0xf0,0xf7,0xff,0xff]
1021           vpcmpeqq -2064(%rdx), %xmm20, %k3
1022
1023 // CHECK: vpcmpeqq 1016(%rdx){1to2}, %xmm20, %k3
1024 // CHECK:  encoding: [0x62,0xf2,0xdd,0x10,0x29,0x5a,0x7f]
1025           vpcmpeqq 1016(%rdx){1to2}, %xmm20, %k3
1026
1027 // CHECK: vpcmpeqq 1024(%rdx){1to2}, %xmm20, %k3
1028 // CHECK:  encoding: [0x62,0xf2,0xdd,0x10,0x29,0x9a,0x00,0x04,0x00,0x00]
1029           vpcmpeqq 1024(%rdx){1to2}, %xmm20, %k3
1030
1031 // CHECK: vpcmpeqq -1024(%rdx){1to2}, %xmm20, %k3
1032 // CHECK:  encoding: [0x62,0xf2,0xdd,0x10,0x29,0x5a,0x80]
1033           vpcmpeqq -1024(%rdx){1to2}, %xmm20, %k3
1034
1035 // CHECK: vpcmpeqq -1032(%rdx){1to2}, %xmm20, %k3
1036 // CHECK:  encoding: [0x62,0xf2,0xdd,0x10,0x29,0x9a,0xf8,0xfb,0xff,0xff]
1037           vpcmpeqq -1032(%rdx){1to2}, %xmm20, %k3
1038
1039 // CHECK: vpcmpeqq %ymm23, %ymm30, %k5
1040 // CHECK:  encoding: [0x62,0xb2,0x8d,0x20,0x29,0xef]
1041           vpcmpeqq %ymm23, %ymm30, %k5
1042
1043 // CHECK: vpcmpeqq %ymm23, %ymm30, %k5 {%k6}
1044 // CHECK:  encoding: [0x62,0xb2,0x8d,0x26,0x29,0xef]
1045           vpcmpeqq %ymm23, %ymm30, %k5 {%k6}
1046
1047 // CHECK: vpcmpeqq (%rcx), %ymm30, %k5
1048 // CHECK:  encoding: [0x62,0xf2,0x8d,0x20,0x29,0x29]
1049           vpcmpeqq (%rcx), %ymm30, %k5
1050
1051 // CHECK: vpcmpeqq 291(%rax,%r14,8), %ymm30, %k5
1052 // CHECK:  encoding: [0x62,0xb2,0x8d,0x20,0x29,0xac,0xf0,0x23,0x01,0x00,0x00]
1053           vpcmpeqq 291(%rax,%r14,8), %ymm30, %k5
1054
1055 // CHECK: vpcmpeqq (%rcx){1to4}, %ymm30, %k5
1056 // CHECK:  encoding: [0x62,0xf2,0x8d,0x30,0x29,0x29]
1057           vpcmpeqq (%rcx){1to4}, %ymm30, %k5
1058
1059 // CHECK: vpcmpeqq 4064(%rdx), %ymm30, %k5
1060 // CHECK:  encoding: [0x62,0xf2,0x8d,0x20,0x29,0x6a,0x7f]
1061           vpcmpeqq 4064(%rdx), %ymm30, %k5
1062
1063 // CHECK: vpcmpeqq 4096(%rdx), %ymm30, %k5
1064 // CHECK:  encoding: [0x62,0xf2,0x8d,0x20,0x29,0xaa,0x00,0x10,0x00,0x00]
1065           vpcmpeqq 4096(%rdx), %ymm30, %k5
1066
1067 // CHECK: vpcmpeqq -4096(%rdx), %ymm30, %k5
1068 // CHECK:  encoding: [0x62,0xf2,0x8d,0x20,0x29,0x6a,0x80]
1069           vpcmpeqq -4096(%rdx), %ymm30, %k5
1070
1071 // CHECK: vpcmpeqq -4128(%rdx), %ymm30, %k5
1072 // CHECK:  encoding: [0x62,0xf2,0x8d,0x20,0x29,0xaa,0xe0,0xef,0xff,0xff]
1073           vpcmpeqq -4128(%rdx), %ymm30, %k5
1074
1075 // CHECK: vpcmpeqq 1016(%rdx){1to4}, %ymm30, %k5
1076 // CHECK:  encoding: [0x62,0xf2,0x8d,0x30,0x29,0x6a,0x7f]
1077           vpcmpeqq 1016(%rdx){1to4}, %ymm30, %k5
1078
1079 // CHECK: vpcmpeqq 1024(%rdx){1to4}, %ymm30, %k5
1080 // CHECK:  encoding: [0x62,0xf2,0x8d,0x30,0x29,0xaa,0x00,0x04,0x00,0x00]
1081           vpcmpeqq 1024(%rdx){1to4}, %ymm30, %k5
1082
1083 // CHECK: vpcmpeqq -1024(%rdx){1to4}, %ymm30, %k5
1084 // CHECK:  encoding: [0x62,0xf2,0x8d,0x30,0x29,0x6a,0x80]
1085           vpcmpeqq -1024(%rdx){1to4}, %ymm30, %k5
1086
1087 // CHECK: vpcmpeqq -1032(%rdx){1to4}, %ymm30, %k5
1088 // CHECK:  encoding: [0x62,0xf2,0x8d,0x30,0x29,0xaa,0xf8,0xfb,0xff,0xff]
1089           vpcmpeqq -1032(%rdx){1to4}, %ymm30, %k5
1090
1091 // CHECK: vpcmpgtd %xmm20, %xmm29, %k4
1092 // CHECK:  encoding: [0x62,0xb1,0x15,0x00,0x66,0xe4]
1093           vpcmpgtd %xmm20, %xmm29, %k4
1094
1095 // CHECK: vpcmpgtd %xmm20, %xmm29, %k4 {%k2}
1096 // CHECK:  encoding: [0x62,0xb1,0x15,0x02,0x66,0xe4]
1097           vpcmpgtd %xmm20, %xmm29, %k4 {%k2}
1098
1099 // CHECK: vpcmpgtd (%rcx), %xmm29, %k4
1100 // CHECK:  encoding: [0x62,0xf1,0x15,0x00,0x66,0x21]
1101           vpcmpgtd (%rcx), %xmm29, %k4
1102
1103 // CHECK: vpcmpgtd 291(%rax,%r14,8), %xmm29, %k4
1104 // CHECK:  encoding: [0x62,0xb1,0x15,0x00,0x66,0xa4,0xf0,0x23,0x01,0x00,0x00]
1105           vpcmpgtd 291(%rax,%r14,8), %xmm29, %k4
1106
1107 // CHECK: vpcmpgtd (%rcx){1to4}, %xmm29, %k4
1108 // CHECK:  encoding: [0x62,0xf1,0x15,0x10,0x66,0x21]
1109           vpcmpgtd (%rcx){1to4}, %xmm29, %k4
1110
1111 // CHECK: vpcmpgtd 2032(%rdx), %xmm29, %k4
1112 // CHECK:  encoding: [0x62,0xf1,0x15,0x00,0x66,0x62,0x7f]
1113           vpcmpgtd 2032(%rdx), %xmm29, %k4
1114
1115 // CHECK: vpcmpgtd 2048(%rdx), %xmm29, %k4
1116 // CHECK:  encoding: [0x62,0xf1,0x15,0x00,0x66,0xa2,0x00,0x08,0x00,0x00]
1117           vpcmpgtd 2048(%rdx), %xmm29, %k4
1118
1119 // CHECK: vpcmpgtd -2048(%rdx), %xmm29, %k4
1120 // CHECK:  encoding: [0x62,0xf1,0x15,0x00,0x66,0x62,0x80]
1121           vpcmpgtd -2048(%rdx), %xmm29, %k4
1122
1123 // CHECK: vpcmpgtd -2064(%rdx), %xmm29, %k4
1124 // CHECK:  encoding: [0x62,0xf1,0x15,0x00,0x66,0xa2,0xf0,0xf7,0xff,0xff]
1125           vpcmpgtd -2064(%rdx), %xmm29, %k4
1126
1127 // CHECK: vpcmpgtd 508(%rdx){1to4}, %xmm29, %k4
1128 // CHECK:  encoding: [0x62,0xf1,0x15,0x10,0x66,0x62,0x7f]
1129           vpcmpgtd 508(%rdx){1to4}, %xmm29, %k4
1130
1131 // CHECK: vpcmpgtd 512(%rdx){1to4}, %xmm29, %k4
1132 // CHECK:  encoding: [0x62,0xf1,0x15,0x10,0x66,0xa2,0x00,0x02,0x00,0x00]
1133           vpcmpgtd 512(%rdx){1to4}, %xmm29, %k4
1134
1135 // CHECK: vpcmpgtd -512(%rdx){1to4}, %xmm29, %k4
1136 // CHECK:  encoding: [0x62,0xf1,0x15,0x10,0x66,0x62,0x80]
1137           vpcmpgtd -512(%rdx){1to4}, %xmm29, %k4
1138
1139 // CHECK: vpcmpgtd -516(%rdx){1to4}, %xmm29, %k4
1140 // CHECK:  encoding: [0x62,0xf1,0x15,0x10,0x66,0xa2,0xfc,0xfd,0xff,0xff]
1141           vpcmpgtd -516(%rdx){1to4}, %xmm29, %k4
1142
1143 // CHECK: vpcmpgtd %ymm17, %ymm22, %k2
1144 // CHECK:  encoding: [0x62,0xb1,0x4d,0x20,0x66,0xd1]
1145           vpcmpgtd %ymm17, %ymm22, %k2
1146
1147 // CHECK: vpcmpgtd %ymm17, %ymm22, %k2 {%k1}
1148 // CHECK:  encoding: [0x62,0xb1,0x4d,0x21,0x66,0xd1]
1149           vpcmpgtd %ymm17, %ymm22, %k2 {%k1}
1150
1151 // CHECK: vpcmpgtd (%rcx), %ymm22, %k2
1152 // CHECK:  encoding: [0x62,0xf1,0x4d,0x20,0x66,0x11]
1153           vpcmpgtd (%rcx), %ymm22, %k2
1154
1155 // CHECK: vpcmpgtd 291(%rax,%r14,8), %ymm22, %k2
1156 // CHECK:  encoding: [0x62,0xb1,0x4d,0x20,0x66,0x94,0xf0,0x23,0x01,0x00,0x00]
1157           vpcmpgtd 291(%rax,%r14,8), %ymm22, %k2
1158
1159 // CHECK: vpcmpgtd (%rcx){1to8}, %ymm22, %k2
1160 // CHECK:  encoding: [0x62,0xf1,0x4d,0x30,0x66,0x11]
1161           vpcmpgtd (%rcx){1to8}, %ymm22, %k2
1162
1163 // CHECK: vpcmpgtd 4064(%rdx), %ymm22, %k2
1164 // CHECK:  encoding: [0x62,0xf1,0x4d,0x20,0x66,0x52,0x7f]
1165           vpcmpgtd 4064(%rdx), %ymm22, %k2
1166
1167 // CHECK: vpcmpgtd 4096(%rdx), %ymm22, %k2
1168 // CHECK:  encoding: [0x62,0xf1,0x4d,0x20,0x66,0x92,0x00,0x10,0x00,0x00]
1169           vpcmpgtd 4096(%rdx), %ymm22, %k2
1170
1171 // CHECK: vpcmpgtd -4096(%rdx), %ymm22, %k2
1172 // CHECK:  encoding: [0x62,0xf1,0x4d,0x20,0x66,0x52,0x80]
1173           vpcmpgtd -4096(%rdx), %ymm22, %k2
1174
1175 // CHECK: vpcmpgtd -4128(%rdx), %ymm22, %k2
1176 // CHECK:  encoding: [0x62,0xf1,0x4d,0x20,0x66,0x92,0xe0,0xef,0xff,0xff]
1177           vpcmpgtd -4128(%rdx), %ymm22, %k2
1178
1179 // CHECK: vpcmpgtd 508(%rdx){1to8}, %ymm22, %k2
1180 // CHECK:  encoding: [0x62,0xf1,0x4d,0x30,0x66,0x52,0x7f]
1181           vpcmpgtd 508(%rdx){1to8}, %ymm22, %k2
1182
1183 // CHECK: vpcmpgtd 512(%rdx){1to8}, %ymm22, %k2
1184 // CHECK:  encoding: [0x62,0xf1,0x4d,0x30,0x66,0x92,0x00,0x02,0x00,0x00]
1185           vpcmpgtd 512(%rdx){1to8}, %ymm22, %k2
1186
1187 // CHECK: vpcmpgtd -512(%rdx){1to8}, %ymm22, %k2
1188 // CHECK:  encoding: [0x62,0xf1,0x4d,0x30,0x66,0x52,0x80]
1189           vpcmpgtd -512(%rdx){1to8}, %ymm22, %k2
1190
1191 // CHECK: vpcmpgtd -516(%rdx){1to8}, %ymm22, %k2
1192 // CHECK:  encoding: [0x62,0xf1,0x4d,0x30,0x66,0x92,0xfc,0xfd,0xff,0xff]
1193           vpcmpgtd -516(%rdx){1to8}, %ymm22, %k2
1194
1195 // CHECK: vpcmpgtq %xmm25, %xmm30, %k3
1196 // CHECK:  encoding: [0x62,0x92,0x8d,0x00,0x37,0xd9]
1197           vpcmpgtq %xmm25, %xmm30, %k3
1198
1199 // CHECK: vpcmpgtq %xmm25, %xmm30, %k3 {%k6}
1200 // CHECK:  encoding: [0x62,0x92,0x8d,0x06,0x37,0xd9]
1201           vpcmpgtq %xmm25, %xmm30, %k3 {%k6}
1202
1203 // CHECK: vpcmpgtq (%rcx), %xmm30, %k3
1204 // CHECK:  encoding: [0x62,0xf2,0x8d,0x00,0x37,0x19]
1205           vpcmpgtq (%rcx), %xmm30, %k3
1206
1207 // CHECK: vpcmpgtq 291(%rax,%r14,8), %xmm30, %k3
1208 // CHECK:  encoding: [0x62,0xb2,0x8d,0x00,0x37,0x9c,0xf0,0x23,0x01,0x00,0x00]
1209           vpcmpgtq 291(%rax,%r14,8), %xmm30, %k3
1210
1211 // CHECK: vpcmpgtq (%rcx){1to2}, %xmm30, %k3
1212 // CHECK:  encoding: [0x62,0xf2,0x8d,0x10,0x37,0x19]
1213           vpcmpgtq (%rcx){1to2}, %xmm30, %k3
1214
1215 // CHECK: vpcmpgtq 2032(%rdx), %xmm30, %k3
1216 // CHECK:  encoding: [0x62,0xf2,0x8d,0x00,0x37,0x5a,0x7f]
1217           vpcmpgtq 2032(%rdx), %xmm30, %k3
1218
1219 // CHECK: vpcmpgtq 2048(%rdx), %xmm30, %k3
1220 // CHECK:  encoding: [0x62,0xf2,0x8d,0x00,0x37,0x9a,0x00,0x08,0x00,0x00]
1221           vpcmpgtq 2048(%rdx), %xmm30, %k3
1222
1223 // CHECK: vpcmpgtq -2048(%rdx), %xmm30, %k3
1224 // CHECK:  encoding: [0x62,0xf2,0x8d,0x00,0x37,0x5a,0x80]
1225           vpcmpgtq -2048(%rdx), %xmm30, %k3
1226
1227 // CHECK: vpcmpgtq -2064(%rdx), %xmm30, %k3
1228 // CHECK:  encoding: [0x62,0xf2,0x8d,0x00,0x37,0x9a,0xf0,0xf7,0xff,0xff]
1229           vpcmpgtq -2064(%rdx), %xmm30, %k3
1230
1231 // CHECK: vpcmpgtq 1016(%rdx){1to2}, %xmm30, %k3
1232 // CHECK:  encoding: [0x62,0xf2,0x8d,0x10,0x37,0x5a,0x7f]
1233           vpcmpgtq 1016(%rdx){1to2}, %xmm30, %k3
1234
1235 // CHECK: vpcmpgtq 1024(%rdx){1to2}, %xmm30, %k3
1236 // CHECK:  encoding: [0x62,0xf2,0x8d,0x10,0x37,0x9a,0x00,0x04,0x00,0x00]
1237           vpcmpgtq 1024(%rdx){1to2}, %xmm30, %k3
1238
1239 // CHECK: vpcmpgtq -1024(%rdx){1to2}, %xmm30, %k3
1240 // CHECK:  encoding: [0x62,0xf2,0x8d,0x10,0x37,0x5a,0x80]
1241           vpcmpgtq -1024(%rdx){1to2}, %xmm30, %k3
1242
1243 // CHECK: vpcmpgtq -1032(%rdx){1to2}, %xmm30, %k3
1244 // CHECK:  encoding: [0x62,0xf2,0x8d,0x10,0x37,0x9a,0xf8,0xfb,0xff,0xff]
1245           vpcmpgtq -1032(%rdx){1to2}, %xmm30, %k3
1246
1247 // CHECK: vpcmpgtq %ymm20, %ymm22, %k2
1248 // CHECK:  encoding: [0x62,0xb2,0xcd,0x20,0x37,0xd4]
1249           vpcmpgtq %ymm20, %ymm22, %k2
1250
1251 // CHECK: vpcmpgtq %ymm20, %ymm22, %k2 {%k1}
1252 // CHECK:  encoding: [0x62,0xb2,0xcd,0x21,0x37,0xd4]
1253           vpcmpgtq %ymm20, %ymm22, %k2 {%k1}
1254
1255 // CHECK: vpcmpgtq (%rcx), %ymm22, %k2
1256 // CHECK:  encoding: [0x62,0xf2,0xcd,0x20,0x37,0x11]
1257           vpcmpgtq (%rcx), %ymm22, %k2
1258
1259 // CHECK: vpcmpgtq 291(%rax,%r14,8), %ymm22, %k2
1260 // CHECK:  encoding: [0x62,0xb2,0xcd,0x20,0x37,0x94,0xf0,0x23,0x01,0x00,0x00]
1261           vpcmpgtq 291(%rax,%r14,8), %ymm22, %k2
1262
1263 // CHECK: vpcmpgtq (%rcx){1to4}, %ymm22, %k2
1264 // CHECK:  encoding: [0x62,0xf2,0xcd,0x30,0x37,0x11]
1265           vpcmpgtq (%rcx){1to4}, %ymm22, %k2
1266
1267 // CHECK: vpcmpgtq 4064(%rdx), %ymm22, %k2
1268 // CHECK:  encoding: [0x62,0xf2,0xcd,0x20,0x37,0x52,0x7f]
1269           vpcmpgtq 4064(%rdx), %ymm22, %k2
1270
1271 // CHECK: vpcmpgtq 4096(%rdx), %ymm22, %k2
1272 // CHECK:  encoding: [0x62,0xf2,0xcd,0x20,0x37,0x92,0x00,0x10,0x00,0x00]
1273           vpcmpgtq 4096(%rdx), %ymm22, %k2
1274
1275 // CHECK: vpcmpgtq -4096(%rdx), %ymm22, %k2
1276 // CHECK:  encoding: [0x62,0xf2,0xcd,0x20,0x37,0x52,0x80]
1277           vpcmpgtq -4096(%rdx), %ymm22, %k2
1278
1279 // CHECK: vpcmpgtq -4128(%rdx), %ymm22, %k2
1280 // CHECK:  encoding: [0x62,0xf2,0xcd,0x20,0x37,0x92,0xe0,0xef,0xff,0xff]
1281           vpcmpgtq -4128(%rdx), %ymm22, %k2
1282
1283 // CHECK: vpcmpgtq 1016(%rdx){1to4}, %ymm22, %k2
1284 // CHECK:  encoding: [0x62,0xf2,0xcd,0x30,0x37,0x52,0x7f]
1285           vpcmpgtq 1016(%rdx){1to4}, %ymm22, %k2
1286
1287 // CHECK: vpcmpgtq 1024(%rdx){1to4}, %ymm22, %k2
1288 // CHECK:  encoding: [0x62,0xf2,0xcd,0x30,0x37,0x92,0x00,0x04,0x00,0x00]
1289           vpcmpgtq 1024(%rdx){1to4}, %ymm22, %k2
1290
1291 // CHECK: vpcmpgtq -1024(%rdx){1to4}, %ymm22, %k2
1292 // CHECK:  encoding: [0x62,0xf2,0xcd,0x30,0x37,0x52,0x80]
1293           vpcmpgtq -1024(%rdx){1to4}, %ymm22, %k2
1294
1295 // CHECK: vpcmpgtq -1032(%rdx){1to4}, %ymm22, %k2
1296 // CHECK:  encoding: [0x62,0xf2,0xcd,0x30,0x37,0x92,0xf8,0xfb,0xff,0xff]
1297           vpcmpgtq -1032(%rdx){1to4}, %ymm22, %k2
1298
1299 // CHECK: vpcmpq $171, %xmm24, %xmm27, %k5
1300 // CHECK:  encoding: [0x62,0x93,0xa5,0x00,0x1f,0xe8,0xab]
1301           vpcmpq $171, %xmm24, %xmm27, %k5
1302
1303 // CHECK: vpcmpq $171, %xmm24, %xmm27, %k5 {%k7}
1304 // CHECK:  encoding: [0x62,0x93,0xa5,0x07,0x1f,0xe8,0xab]
1305           vpcmpq $171, %xmm24, %xmm27, %k5 {%k7}
1306
1307 // CHECK: vpcmpq $123, %xmm24, %xmm27, %k5
1308 // CHECK:  encoding: [0x62,0x93,0xa5,0x00,0x1f,0xe8,0x7b]
1309           vpcmpq $123, %xmm24, %xmm27, %k5
1310
1311 // CHECK: vpcmpq $123, (%rcx), %xmm27, %k5
1312 // CHECK:  encoding: [0x62,0xf3,0xa5,0x00,0x1f,0x29,0x7b]
1313           vpcmpq $123, (%rcx), %xmm27, %k5
1314
1315 // CHECK: vpcmpq $123, 291(%rax,%r14,8), %xmm27, %k5
1316 // CHECK:  encoding: [0x62,0xb3,0xa5,0x00,0x1f,0xac,0xf0,0x23,0x01,0x00,0x00,0x7b]
1317           vpcmpq $123, 291(%rax,%r14,8), %xmm27, %k5
1318
1319 // CHECK: vpcmpq $123, (%rcx){1to2}, %xmm27, %k5
1320 // CHECK:  encoding: [0x62,0xf3,0xa5,0x10,0x1f,0x29,0x7b]
1321           vpcmpq $123, (%rcx){1to2}, %xmm27, %k5
1322
1323 // CHECK: vpcmpq $123, 2032(%rdx), %xmm27, %k5
1324 // CHECK:  encoding: [0x62,0xf3,0xa5,0x00,0x1f,0x6a,0x7f,0x7b]
1325           vpcmpq $123, 2032(%rdx), %xmm27, %k5
1326
1327 // CHECK: vpcmpq $123, 2048(%rdx), %xmm27, %k5
1328 // CHECK:  encoding: [0x62,0xf3,0xa5,0x00,0x1f,0xaa,0x00,0x08,0x00,0x00,0x7b]
1329           vpcmpq $123, 2048(%rdx), %xmm27, %k5
1330
1331 // CHECK: vpcmpq $123, -2048(%rdx), %xmm27, %k5
1332 // CHECK:  encoding: [0x62,0xf3,0xa5,0x00,0x1f,0x6a,0x80,0x7b]
1333           vpcmpq $123, -2048(%rdx), %xmm27, %k5
1334
1335 // CHECK: vpcmpq $123, -2064(%rdx), %xmm27, %k5
1336 // CHECK:  encoding: [0x62,0xf3,0xa5,0x00,0x1f,0xaa,0xf0,0xf7,0xff,0xff,0x7b]
1337           vpcmpq $123, -2064(%rdx), %xmm27, %k5
1338
1339 // CHECK: vpcmpq $123, 1016(%rdx){1to2}, %xmm27, %k5
1340 // CHECK:  encoding: [0x62,0xf3,0xa5,0x10,0x1f,0x6a,0x7f,0x7b]
1341           vpcmpq $123, 1016(%rdx){1to2}, %xmm27, %k5
1342
1343 // CHECK: vpcmpq $123, 1024(%rdx){1to2}, %xmm27, %k5
1344 // CHECK:  encoding: [0x62,0xf3,0xa5,0x10,0x1f,0xaa,0x00,0x04,0x00,0x00,0x7b]
1345           vpcmpq $123, 1024(%rdx){1to2}, %xmm27, %k5
1346
1347 // CHECK: vpcmpq $123, -1024(%rdx){1to2}, %xmm27, %k5
1348 // CHECK:  encoding: [0x62,0xf3,0xa5,0x10,0x1f,0x6a,0x80,0x7b]
1349           vpcmpq $123, -1024(%rdx){1to2}, %xmm27, %k5
1350
1351 // CHECK: vpcmpq $123, -1032(%rdx){1to2}, %xmm27, %k5
1352 // CHECK:  encoding: [0x62,0xf3,0xa5,0x10,0x1f,0xaa,0xf8,0xfb,0xff,0xff,0x7b]
1353           vpcmpq $123, -1032(%rdx){1to2}, %xmm27, %k5
1354
1355 // CHECK: vpcmpq $171, %ymm19, %ymm26, %k4
1356 // CHECK:  encoding: [0x62,0xb3,0xad,0x20,0x1f,0xe3,0xab]
1357           vpcmpq $171, %ymm19, %ymm26, %k4
1358
1359 // CHECK: vpcmpq $171, %ymm19, %ymm26, %k4 {%k6}
1360 // CHECK:  encoding: [0x62,0xb3,0xad,0x26,0x1f,0xe3,0xab]
1361           vpcmpq $171, %ymm19, %ymm26, %k4 {%k6}
1362
1363 // CHECK: vpcmpq $123, %ymm19, %ymm26, %k4
1364 // CHECK:  encoding: [0x62,0xb3,0xad,0x20,0x1f,0xe3,0x7b]
1365           vpcmpq $123, %ymm19, %ymm26, %k4
1366
1367 // CHECK: vpcmpq $123, (%rcx), %ymm26, %k4
1368 // CHECK:  encoding: [0x62,0xf3,0xad,0x20,0x1f,0x21,0x7b]
1369           vpcmpq $123, (%rcx), %ymm26, %k4
1370
1371 // CHECK: vpcmpq $123, 291(%rax,%r14,8), %ymm26, %k4
1372 // CHECK:  encoding: [0x62,0xb3,0xad,0x20,0x1f,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
1373           vpcmpq $123, 291(%rax,%r14,8), %ymm26, %k4
1374
1375 // CHECK: vpcmpq $123, (%rcx){1to4}, %ymm26, %k4
1376 // CHECK:  encoding: [0x62,0xf3,0xad,0x30,0x1f,0x21,0x7b]
1377           vpcmpq $123, (%rcx){1to4}, %ymm26, %k4
1378
1379 // CHECK: vpcmpq $123, 4064(%rdx), %ymm26, %k4
1380 // CHECK:  encoding: [0x62,0xf3,0xad,0x20,0x1f,0x62,0x7f,0x7b]
1381           vpcmpq $123, 4064(%rdx), %ymm26, %k4
1382
1383 // CHECK: vpcmpq $123, 4096(%rdx), %ymm26, %k4
1384 // CHECK:  encoding: [0x62,0xf3,0xad,0x20,0x1f,0xa2,0x00,0x10,0x00,0x00,0x7b]
1385           vpcmpq $123, 4096(%rdx), %ymm26, %k4
1386
1387 // CHECK: vpcmpq $123, -4096(%rdx), %ymm26, %k4
1388 // CHECK:  encoding: [0x62,0xf3,0xad,0x20,0x1f,0x62,0x80,0x7b]
1389           vpcmpq $123, -4096(%rdx), %ymm26, %k4
1390
1391 // CHECK: vpcmpq $123, -4128(%rdx), %ymm26, %k4
1392 // CHECK:  encoding: [0x62,0xf3,0xad,0x20,0x1f,0xa2,0xe0,0xef,0xff,0xff,0x7b]
1393           vpcmpq $123, -4128(%rdx), %ymm26, %k4
1394
1395 // CHECK: vpcmpq $123, 1016(%rdx){1to4}, %ymm26, %k4
1396 // CHECK:  encoding: [0x62,0xf3,0xad,0x30,0x1f,0x62,0x7f,0x7b]
1397           vpcmpq $123, 1016(%rdx){1to4}, %ymm26, %k4
1398
1399 // CHECK: vpcmpq $123, 1024(%rdx){1to4}, %ymm26, %k4
1400 // CHECK:  encoding: [0x62,0xf3,0xad,0x30,0x1f,0xa2,0x00,0x04,0x00,0x00,0x7b]
1401           vpcmpq $123, 1024(%rdx){1to4}, %ymm26, %k4
1402
1403 // CHECK: vpcmpq $123, -1024(%rdx){1to4}, %ymm26, %k4
1404 // CHECK:  encoding: [0x62,0xf3,0xad,0x30,0x1f,0x62,0x80,0x7b]
1405           vpcmpq $123, -1024(%rdx){1to4}, %ymm26, %k4
1406
1407 // CHECK: vpcmpq $123, -1032(%rdx){1to4}, %ymm26, %k4
1408 // CHECK:  encoding: [0x62,0xf3,0xad,0x30,0x1f,0xa2,0xf8,0xfb,0xff,0xff,0x7b]
1409           vpcmpq $123, -1032(%rdx){1to4}, %ymm26, %k4
1410
1411 // CHECK: vpcmpud $171, %xmm21, %xmm22, %k3
1412 // CHECK:  encoding: [0x62,0xb3,0x4d,0x00,0x1e,0xdd,0xab]
1413           vpcmpud $171, %xmm21, %xmm22, %k3
1414
1415 // CHECK: vpcmpud $171, %xmm21, %xmm22, %k3 {%k1}
1416 // CHECK:  encoding: [0x62,0xb3,0x4d,0x01,0x1e,0xdd,0xab]
1417           vpcmpud $171, %xmm21, %xmm22, %k3 {%k1}
1418
1419 // CHECK: vpcmpud $123, %xmm21, %xmm22, %k3
1420 // CHECK:  encoding: [0x62,0xb3,0x4d,0x00,0x1e,0xdd,0x7b]
1421           vpcmpud $123, %xmm21, %xmm22, %k3
1422
1423 // CHECK: vpcmpud $123, (%rcx), %xmm22, %k3
1424 // CHECK:  encoding: [0x62,0xf3,0x4d,0x00,0x1e,0x19,0x7b]
1425           vpcmpud $123, (%rcx), %xmm22, %k3
1426
1427 // CHECK: vpcmpud $123, 291(%rax,%r14,8), %xmm22, %k3
1428 // CHECK:  encoding: [0x62,0xb3,0x4d,0x00,0x1e,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
1429           vpcmpud $123, 291(%rax,%r14,8), %xmm22, %k3
1430
1431 // CHECK: vpcmpud $123, (%rcx){1to4}, %xmm22, %k3
1432 // CHECK:  encoding: [0x62,0xf3,0x4d,0x10,0x1e,0x19,0x7b]
1433           vpcmpud $123, (%rcx){1to4}, %xmm22, %k3
1434
1435 // CHECK: vpcmpud $123, 2032(%rdx), %xmm22, %k3
1436 // CHECK:  encoding: [0x62,0xf3,0x4d,0x00,0x1e,0x5a,0x7f,0x7b]
1437           vpcmpud $123, 2032(%rdx), %xmm22, %k3
1438
1439 // CHECK: vpcmpud $123, 2048(%rdx), %xmm22, %k3
1440 // CHECK:  encoding: [0x62,0xf3,0x4d,0x00,0x1e,0x9a,0x00,0x08,0x00,0x00,0x7b]
1441           vpcmpud $123, 2048(%rdx), %xmm22, %k3
1442
1443 // CHECK: vpcmpud $123, -2048(%rdx), %xmm22, %k3
1444 // CHECK:  encoding: [0x62,0xf3,0x4d,0x00,0x1e,0x5a,0x80,0x7b]
1445           vpcmpud $123, -2048(%rdx), %xmm22, %k3
1446
1447 // CHECK: vpcmpud $123, -2064(%rdx), %xmm22, %k3
1448 // CHECK:  encoding: [0x62,0xf3,0x4d,0x00,0x1e,0x9a,0xf0,0xf7,0xff,0xff,0x7b]
1449           vpcmpud $123, -2064(%rdx), %xmm22, %k3
1450
1451 // CHECK: vpcmpud $123, 508(%rdx){1to4}, %xmm22, %k3
1452 // CHECK:  encoding: [0x62,0xf3,0x4d,0x10,0x1e,0x5a,0x7f,0x7b]
1453           vpcmpud $123, 508(%rdx){1to4}, %xmm22, %k3
1454
1455 // CHECK: vpcmpud $123, 512(%rdx){1to4}, %xmm22, %k3
1456 // CHECK:  encoding: [0x62,0xf3,0x4d,0x10,0x1e,0x9a,0x00,0x02,0x00,0x00,0x7b]
1457           vpcmpud $123, 512(%rdx){1to4}, %xmm22, %k3
1458
1459 // CHECK: vpcmpud $123, -512(%rdx){1to4}, %xmm22, %k3
1460 // CHECK:  encoding: [0x62,0xf3,0x4d,0x10,0x1e,0x5a,0x80,0x7b]
1461           vpcmpud $123, -512(%rdx){1to4}, %xmm22, %k3
1462
1463 // CHECK: vpcmpud $123, -516(%rdx){1to4}, %xmm22, %k3
1464 // CHECK:  encoding: [0x62,0xf3,0x4d,0x10,0x1e,0x9a,0xfc,0xfd,0xff,0xff,0x7b]
1465           vpcmpud $123, -516(%rdx){1to4}, %xmm22, %k3
1466
1467 // CHECK: vpcmpud $171, %ymm20, %ymm30, %k3
1468 // CHECK:  encoding: [0x62,0xb3,0x0d,0x20,0x1e,0xdc,0xab]
1469           vpcmpud $171, %ymm20, %ymm30, %k3
1470
1471 // CHECK: vpcmpud $171, %ymm20, %ymm30, %k3 {%k6}
1472 // CHECK:  encoding: [0x62,0xb3,0x0d,0x26,0x1e,0xdc,0xab]
1473           vpcmpud $171, %ymm20, %ymm30, %k3 {%k6}
1474
1475 // CHECK: vpcmpud $123, %ymm20, %ymm30, %k3
1476 // CHECK:  encoding: [0x62,0xb3,0x0d,0x20,0x1e,0xdc,0x7b]
1477           vpcmpud $123, %ymm20, %ymm30, %k3
1478
1479 // CHECK: vpcmpud $123, (%rcx), %ymm30, %k3
1480 // CHECK:  encoding: [0x62,0xf3,0x0d,0x20,0x1e,0x19,0x7b]
1481           vpcmpud $123, (%rcx), %ymm30, %k3
1482
1483 // CHECK: vpcmpud $123, 291(%rax,%r14,8), %ymm30, %k3
1484 // CHECK:  encoding: [0x62,0xb3,0x0d,0x20,0x1e,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
1485           vpcmpud $123, 291(%rax,%r14,8), %ymm30, %k3
1486
1487 // CHECK: vpcmpud $123, (%rcx){1to8}, %ymm30, %k3
1488 // CHECK:  encoding: [0x62,0xf3,0x0d,0x30,0x1e,0x19,0x7b]
1489           vpcmpud $123, (%rcx){1to8}, %ymm30, %k3
1490
1491 // CHECK: vpcmpud $123, 4064(%rdx), %ymm30, %k3
1492 // CHECK:  encoding: [0x62,0xf3,0x0d,0x20,0x1e,0x5a,0x7f,0x7b]
1493           vpcmpud $123, 4064(%rdx), %ymm30, %k3
1494
1495 // CHECK: vpcmpud $123, 4096(%rdx), %ymm30, %k3
1496 // CHECK:  encoding: [0x62,0xf3,0x0d,0x20,0x1e,0x9a,0x00,0x10,0x00,0x00,0x7b]
1497           vpcmpud $123, 4096(%rdx), %ymm30, %k3
1498
1499 // CHECK: vpcmpud $123, -4096(%rdx), %ymm30, %k3
1500 // CHECK:  encoding: [0x62,0xf3,0x0d,0x20,0x1e,0x5a,0x80,0x7b]
1501           vpcmpud $123, -4096(%rdx), %ymm30, %k3
1502
1503 // CHECK: vpcmpud $123, -4128(%rdx), %ymm30, %k3
1504 // CHECK:  encoding: [0x62,0xf3,0x0d,0x20,0x1e,0x9a,0xe0,0xef,0xff,0xff,0x7b]
1505           vpcmpud $123, -4128(%rdx), %ymm30, %k3
1506
1507 // CHECK: vpcmpud $123, 508(%rdx){1to8}, %ymm30, %k3
1508 // CHECK:  encoding: [0x62,0xf3,0x0d,0x30,0x1e,0x5a,0x7f,0x7b]
1509           vpcmpud $123, 508(%rdx){1to8}, %ymm30, %k3
1510
1511 // CHECK: vpcmpud $123, 512(%rdx){1to8}, %ymm30, %k3
1512 // CHECK:  encoding: [0x62,0xf3,0x0d,0x30,0x1e,0x9a,0x00,0x02,0x00,0x00,0x7b]
1513           vpcmpud $123, 512(%rdx){1to8}, %ymm30, %k3
1514
1515 // CHECK: vpcmpud $123, -512(%rdx){1to8}, %ymm30, %k3
1516 // CHECK:  encoding: [0x62,0xf3,0x0d,0x30,0x1e,0x5a,0x80,0x7b]
1517           vpcmpud $123, -512(%rdx){1to8}, %ymm30, %k3
1518
1519 // CHECK: vpcmpud $123, -516(%rdx){1to8}, %ymm30, %k3
1520 // CHECK:  encoding: [0x62,0xf3,0x0d,0x30,0x1e,0x9a,0xfc,0xfd,0xff,0xff,0x7b]
1521           vpcmpud $123, -516(%rdx){1to8}, %ymm30, %k3
1522
1523 // CHECK: vpcmpuq $171, %xmm28, %xmm28, %k5
1524 // CHECK:  encoding: [0x62,0x93,0x9d,0x00,0x1e,0xec,0xab]
1525           vpcmpuq $171, %xmm28, %xmm28, %k5
1526
1527 // CHECK: vpcmpuq $171, %xmm28, %xmm28, %k5 {%k4}
1528 // CHECK:  encoding: [0x62,0x93,0x9d,0x04,0x1e,0xec,0xab]
1529           vpcmpuq $171, %xmm28, %xmm28, %k5 {%k4}
1530
1531 // CHECK: vpcmpuq $123, %xmm28, %xmm28, %k5
1532 // CHECK:  encoding: [0x62,0x93,0x9d,0x00,0x1e,0xec,0x7b]
1533           vpcmpuq $123, %xmm28, %xmm28, %k5
1534
1535 // CHECK: vpcmpuq $123, (%rcx), %xmm28, %k5
1536 // CHECK:  encoding: [0x62,0xf3,0x9d,0x00,0x1e,0x29,0x7b]
1537           vpcmpuq $123, (%rcx), %xmm28, %k5
1538
1539 // CHECK: vpcmpuq $123, 291(%rax,%r14,8), %xmm28, %k5
1540 // CHECK:  encoding: [0x62,0xb3,0x9d,0x00,0x1e,0xac,0xf0,0x23,0x01,0x00,0x00,0x7b]
1541           vpcmpuq $123, 291(%rax,%r14,8), %xmm28, %k5
1542
1543 // CHECK: vpcmpuq $123, (%rcx){1to2}, %xmm28, %k5
1544 // CHECK:  encoding: [0x62,0xf3,0x9d,0x10,0x1e,0x29,0x7b]
1545           vpcmpuq $123, (%rcx){1to2}, %xmm28, %k5
1546
1547 // CHECK: vpcmpuq $123, 2032(%rdx), %xmm28, %k5
1548 // CHECK:  encoding: [0x62,0xf3,0x9d,0x00,0x1e,0x6a,0x7f,0x7b]
1549           vpcmpuq $123, 2032(%rdx), %xmm28, %k5
1550
1551 // CHECK: vpcmpuq $123, 2048(%rdx), %xmm28, %k5
1552 // CHECK:  encoding: [0x62,0xf3,0x9d,0x00,0x1e,0xaa,0x00,0x08,0x00,0x00,0x7b]
1553           vpcmpuq $123, 2048(%rdx), %xmm28, %k5
1554
1555 // CHECK: vpcmpuq $123, -2048(%rdx), %xmm28, %k5
1556 // CHECK:  encoding: [0x62,0xf3,0x9d,0x00,0x1e,0x6a,0x80,0x7b]
1557           vpcmpuq $123, -2048(%rdx), %xmm28, %k5
1558
1559 // CHECK: vpcmpuq $123, -2064(%rdx), %xmm28, %k5
1560 // CHECK:  encoding: [0x62,0xf3,0x9d,0x00,0x1e,0xaa,0xf0,0xf7,0xff,0xff,0x7b]
1561           vpcmpuq $123, -2064(%rdx), %xmm28, %k5
1562
1563 // CHECK: vpcmpuq $123, 1016(%rdx){1to2}, %xmm28, %k5
1564 // CHECK:  encoding: [0x62,0xf3,0x9d,0x10,0x1e,0x6a,0x7f,0x7b]
1565           vpcmpuq $123, 1016(%rdx){1to2}, %xmm28, %k5
1566
1567 // CHECK: vpcmpuq $123, 1024(%rdx){1to2}, %xmm28, %k5
1568 // CHECK:  encoding: [0x62,0xf3,0x9d,0x10,0x1e,0xaa,0x00,0x04,0x00,0x00,0x7b]
1569           vpcmpuq $123, 1024(%rdx){1to2}, %xmm28, %k5
1570
1571 // CHECK: vpcmpuq $123, -1024(%rdx){1to2}, %xmm28, %k5
1572 // CHECK:  encoding: [0x62,0xf3,0x9d,0x10,0x1e,0x6a,0x80,0x7b]
1573           vpcmpuq $123, -1024(%rdx){1to2}, %xmm28, %k5
1574
1575 // CHECK: vpcmpuq $123, -1032(%rdx){1to2}, %xmm28, %k5
1576 // CHECK:  encoding: [0x62,0xf3,0x9d,0x10,0x1e,0xaa,0xf8,0xfb,0xff,0xff,0x7b]
1577           vpcmpuq $123, -1032(%rdx){1to2}, %xmm28, %k5
1578
1579 // CHECK: vpcmpuq $171, %ymm26, %ymm22, %k3
1580 // CHECK:  encoding: [0x62,0x93,0xcd,0x20,0x1e,0xda,0xab]
1581           vpcmpuq $171, %ymm26, %ymm22, %k3
1582
1583 // CHECK: vpcmpuq $171, %ymm26, %ymm22, %k3 {%k3}
1584 // CHECK:  encoding: [0x62,0x93,0xcd,0x23,0x1e,0xda,0xab]
1585           vpcmpuq $171, %ymm26, %ymm22, %k3 {%k3}
1586
1587 // CHECK: vpcmpuq $123, %ymm26, %ymm22, %k3
1588 // CHECK:  encoding: [0x62,0x93,0xcd,0x20,0x1e,0xda,0x7b]
1589           vpcmpuq $123, %ymm26, %ymm22, %k3
1590
1591 // CHECK: vpcmpuq $123, (%rcx), %ymm22, %k3
1592 // CHECK:  encoding: [0x62,0xf3,0xcd,0x20,0x1e,0x19,0x7b]
1593           vpcmpuq $123, (%rcx), %ymm22, %k3
1594
1595 // CHECK: vpcmpuq $123, 291(%rax,%r14,8), %ymm22, %k3
1596 // CHECK:  encoding: [0x62,0xb3,0xcd,0x20,0x1e,0x9c,0xf0,0x23,0x01,0x00,0x00,0x7b]
1597           vpcmpuq $123, 291(%rax,%r14,8), %ymm22, %k3
1598
1599 // CHECK: vpcmpuq $123, (%rcx){1to4}, %ymm22, %k3
1600 // CHECK:  encoding: [0x62,0xf3,0xcd,0x30,0x1e,0x19,0x7b]
1601           vpcmpuq $123, (%rcx){1to4}, %ymm22, %k3
1602
1603 // CHECK: vpcmpuq $123, 4064(%rdx), %ymm22, %k3
1604 // CHECK:  encoding: [0x62,0xf3,0xcd,0x20,0x1e,0x5a,0x7f,0x7b]
1605           vpcmpuq $123, 4064(%rdx), %ymm22, %k3
1606
1607 // CHECK: vpcmpuq $123, 4096(%rdx), %ymm22, %k3
1608 // CHECK:  encoding: [0x62,0xf3,0xcd,0x20,0x1e,0x9a,0x00,0x10,0x00,0x00,0x7b]
1609           vpcmpuq $123, 4096(%rdx), %ymm22, %k3
1610
1611 // CHECK: vpcmpuq $123, -4096(%rdx), %ymm22, %k3
1612 // CHECK:  encoding: [0x62,0xf3,0xcd,0x20,0x1e,0x5a,0x80,0x7b]
1613           vpcmpuq $123, -4096(%rdx), %ymm22, %k3
1614
1615 // CHECK: vpcmpuq $123, -4128(%rdx), %ymm22, %k3
1616 // CHECK:  encoding: [0x62,0xf3,0xcd,0x20,0x1e,0x9a,0xe0,0xef,0xff,0xff,0x7b]
1617           vpcmpuq $123, -4128(%rdx), %ymm22, %k3
1618
1619 // CHECK: vpcmpuq $123, 1016(%rdx){1to4}, %ymm22, %k3
1620 // CHECK:  encoding: [0x62,0xf3,0xcd,0x30,0x1e,0x5a,0x7f,0x7b]
1621           vpcmpuq $123, 1016(%rdx){1to4}, %ymm22, %k3
1622
1623 // CHECK: vpcmpuq $123, 1024(%rdx){1to4}, %ymm22, %k3
1624 // CHECK:  encoding: [0x62,0xf3,0xcd,0x30,0x1e,0x9a,0x00,0x04,0x00,0x00,0x7b]
1625           vpcmpuq $123, 1024(%rdx){1to4}, %ymm22, %k3
1626
1627 // CHECK: vpcmpuq $123, -1024(%rdx){1to4}, %ymm22, %k3
1628 // CHECK:  encoding: [0x62,0xf3,0xcd,0x30,0x1e,0x5a,0x80,0x7b]
1629           vpcmpuq $123, -1024(%rdx){1to4}, %ymm22, %k3
1630
1631 // CHECK: vpcmpuq $123, -1032(%rdx){1to4}, %ymm22, %k3
1632 // CHECK:  encoding: [0x62,0xf3,0xcd,0x30,0x1e,0x9a,0xf8,0xfb,0xff,0xff,0x7b]
1633           vpcmpuq $123, -1032(%rdx){1to4}, %ymm22, %k3
1634
1635 // CHECK: vmovapd %xmm22, (%rcx)
1636 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x29,0x31]
1637           vmovapd %xmm22, (%rcx)
1638
1639 // CHECK: vmovapd %xmm22, (%rcx) {%k2}
1640 // CHECK:  encoding: [0x62,0xe1,0xfd,0x0a,0x29,0x31]
1641           vmovapd %xmm22, (%rcx) {%k2}
1642
1643 // CHECK: vmovapd %xmm22, 291(%rax,%r14,8)
1644 // CHECK:  encoding: [0x62,0xa1,0xfd,0x08,0x29,0xb4,0xf0,0x23,0x01,0x00,0x00]
1645           vmovapd %xmm22, 291(%rax,%r14,8)
1646
1647 // CHECK: vmovapd %xmm22, 2032(%rdx)
1648 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x29,0x72,0x7f]
1649           vmovapd %xmm22, 2032(%rdx)
1650
1651 // CHECK: vmovapd %xmm22, 2048(%rdx)
1652 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x29,0xb2,0x00,0x08,0x00,0x00]
1653           vmovapd %xmm22, 2048(%rdx)
1654
1655 // CHECK: vmovapd %xmm22, -2048(%rdx)
1656 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x29,0x72,0x80]
1657           vmovapd %xmm22, -2048(%rdx)
1658
1659 // CHECK: vmovapd %xmm22, -2064(%rdx)
1660 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x29,0xb2,0xf0,0xf7,0xff,0xff]
1661           vmovapd %xmm22, -2064(%rdx)
1662
1663 // CHECK: vmovapd %ymm17, (%rcx)
1664 // CHECK:  encoding: [0x62,0xe1,0xfd,0x28,0x29,0x09]
1665           vmovapd %ymm17, (%rcx)
1666
1667 // CHECK: vmovapd %ymm17, (%rcx) {%k6}
1668 // CHECK:  encoding: [0x62,0xe1,0xfd,0x2e,0x29,0x09]
1669           vmovapd %ymm17, (%rcx) {%k6}
1670
1671 // CHECK: vmovapd %ymm17, 291(%rax,%r14,8)
1672 // CHECK:  encoding: [0x62,0xa1,0xfd,0x28,0x29,0x8c,0xf0,0x23,0x01,0x00,0x00]
1673           vmovapd %ymm17, 291(%rax,%r14,8)
1674
1675 // CHECK: vmovapd %ymm17, 4064(%rdx)
1676 // CHECK:  encoding: [0x62,0xe1,0xfd,0x28,0x29,0x4a,0x7f]
1677           vmovapd %ymm17, 4064(%rdx)
1678
1679 // CHECK: vmovapd %ymm17, 4096(%rdx)
1680 // CHECK:  encoding: [0x62,0xe1,0xfd,0x28,0x29,0x8a,0x00,0x10,0x00,0x00]
1681           vmovapd %ymm17, 4096(%rdx)
1682
1683 // CHECK: vmovapd %ymm17, -4096(%rdx)
1684 // CHECK:  encoding: [0x62,0xe1,0xfd,0x28,0x29,0x4a,0x80]
1685           vmovapd %ymm17, -4096(%rdx)
1686
1687 // CHECK: vmovapd %ymm17, -4128(%rdx)
1688 // CHECK:  encoding: [0x62,0xe1,0xfd,0x28,0x29,0x8a,0xe0,0xef,0xff,0xff]
1689           vmovapd %ymm17, -4128(%rdx)
1690
1691 // CHECK: vmovaps %xmm29, (%rcx)
1692 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x29,0x29]
1693           vmovaps %xmm29, (%rcx)
1694
1695 // CHECK: vmovaps %xmm29, (%rcx) {%k5}
1696 // CHECK:  encoding: [0x62,0x61,0x7c,0x0d,0x29,0x29]
1697           vmovaps %xmm29, (%rcx) {%k5}
1698
1699 // CHECK: vmovaps %xmm29, 291(%rax,%r14,8)
1700 // CHECK:  encoding: [0x62,0x21,0x7c,0x08,0x29,0xac,0xf0,0x23,0x01,0x00,0x00]
1701           vmovaps %xmm29, 291(%rax,%r14,8)
1702
1703 // CHECK: vmovaps %xmm29, 2032(%rdx)
1704 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x29,0x6a,0x7f]
1705           vmovaps %xmm29, 2032(%rdx)
1706
1707 // CHECK: vmovaps %xmm29, 2048(%rdx)
1708 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x29,0xaa,0x00,0x08,0x00,0x00]
1709           vmovaps %xmm29, 2048(%rdx)
1710
1711 // CHECK: vmovaps %xmm29, -2048(%rdx)
1712 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x29,0x6a,0x80]
1713           vmovaps %xmm29, -2048(%rdx)
1714
1715 // CHECK: vmovaps %xmm29, -2064(%rdx)
1716 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x29,0xaa,0xf0,0xf7,0xff,0xff]
1717           vmovaps %xmm29, -2064(%rdx)
1718
1719 // CHECK: vmovaps %ymm28, (%rcx)
1720 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x29,0x21]
1721           vmovaps %ymm28, (%rcx)
1722
1723 // CHECK: vmovaps %ymm28, (%rcx) {%k6}
1724 // CHECK:  encoding: [0x62,0x61,0x7c,0x2e,0x29,0x21]
1725           vmovaps %ymm28, (%rcx) {%k6}
1726
1727 // CHECK: vmovaps %ymm28, 291(%rax,%r14,8)
1728 // CHECK:  encoding: [0x62,0x21,0x7c,0x28,0x29,0xa4,0xf0,0x23,0x01,0x00,0x00]
1729           vmovaps %ymm28, 291(%rax,%r14,8)
1730
1731 // CHECK: vmovaps %ymm28, 4064(%rdx)
1732 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x29,0x62,0x7f]
1733           vmovaps %ymm28, 4064(%rdx)
1734
1735 // CHECK: vmovaps %ymm28, 4096(%rdx)
1736 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x29,0xa2,0x00,0x10,0x00,0x00]
1737           vmovaps %ymm28, 4096(%rdx)
1738
1739 // CHECK: vmovaps %ymm28, -4096(%rdx)
1740 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x29,0x62,0x80]
1741           vmovaps %ymm28, -4096(%rdx)
1742
1743 // CHECK: vmovaps %ymm28, -4128(%rdx)
1744 // CHECK:  encoding: [0x62,0x61,0x7c,0x28,0x29,0xa2,0xe0,0xef,0xff,0xff]
1745           vmovaps %ymm28, -4128(%rdx)
1746
1747 // CHECK: vmovdqa32 %xmm24, (%rcx)
1748 // CHECK:  encoding: [0x62,0x61,0x7d,0x08,0x7f,0x01]
1749           vmovdqa32 %xmm24, (%rcx)
1750
1751 // CHECK: vmovdqa32 %xmm24, (%rcx) {%k7}
1752 // CHECK:  encoding: [0x62,0x61,0x7d,0x0f,0x7f,0x01]
1753           vmovdqa32 %xmm24, (%rcx) {%k7}
1754
1755 // CHECK: vmovdqa32 %xmm24, 291(%rax,%r14,8)
1756 // CHECK:  encoding: [0x62,0x21,0x7d,0x08,0x7f,0x84,0xf0,0x23,0x01,0x00,0x00]
1757           vmovdqa32 %xmm24, 291(%rax,%r14,8)
1758
1759 // CHECK: vmovdqa32 %xmm24, 2032(%rdx)
1760 // CHECK:  encoding: [0x62,0x61,0x7d,0x08,0x7f,0x42,0x7f]
1761           vmovdqa32 %xmm24, 2032(%rdx)
1762
1763 // CHECK: vmovdqa32 %xmm24, 2048(%rdx)
1764 // CHECK:  encoding: [0x62,0x61,0x7d,0x08,0x7f,0x82,0x00,0x08,0x00,0x00]
1765           vmovdqa32 %xmm24, 2048(%rdx)
1766
1767 // CHECK: vmovdqa32 %xmm24, -2048(%rdx)
1768 // CHECK:  encoding: [0x62,0x61,0x7d,0x08,0x7f,0x42,0x80]
1769           vmovdqa32 %xmm24, -2048(%rdx)
1770
1771 // CHECK: vmovdqa32 %xmm24, -2064(%rdx)
1772 // CHECK:  encoding: [0x62,0x61,0x7d,0x08,0x7f,0x82,0xf0,0xf7,0xff,0xff]
1773           vmovdqa32 %xmm24, -2064(%rdx)
1774
1775 // CHECK: vmovdqa32 %ymm29, (%rcx)
1776 // CHECK:  encoding: [0x62,0x61,0x7d,0x28,0x7f,0x29]
1777           vmovdqa32 %ymm29, (%rcx)
1778
1779 // CHECK: vmovdqa32 %ymm29, (%rcx) {%k7}
1780 // CHECK:  encoding: [0x62,0x61,0x7d,0x2f,0x7f,0x29]
1781           vmovdqa32 %ymm29, (%rcx) {%k7}
1782
1783 // CHECK: vmovdqa32 %ymm29, 291(%rax,%r14,8)
1784 // CHECK:  encoding: [0x62,0x21,0x7d,0x28,0x7f,0xac,0xf0,0x23,0x01,0x00,0x00]
1785           vmovdqa32 %ymm29, 291(%rax,%r14,8)
1786
1787 // CHECK: vmovdqa32 %ymm29, 4064(%rdx)
1788 // CHECK:  encoding: [0x62,0x61,0x7d,0x28,0x7f,0x6a,0x7f]
1789           vmovdqa32 %ymm29, 4064(%rdx)
1790
1791 // CHECK: vmovdqa32 %ymm29, 4096(%rdx)
1792 // CHECK:  encoding: [0x62,0x61,0x7d,0x28,0x7f,0xaa,0x00,0x10,0x00,0x00]
1793           vmovdqa32 %ymm29, 4096(%rdx)
1794
1795 // CHECK: vmovdqa32 %ymm29, -4096(%rdx)
1796 // CHECK:  encoding: [0x62,0x61,0x7d,0x28,0x7f,0x6a,0x80]
1797           vmovdqa32 %ymm29, -4096(%rdx)
1798
1799 // CHECK: vmovdqa32 %ymm29, -4128(%rdx)
1800 // CHECK:  encoding: [0x62,0x61,0x7d,0x28,0x7f,0xaa,0xe0,0xef,0xff,0xff]
1801           vmovdqa32 %ymm29, -4128(%rdx)
1802
1803 // CHECK: vmovdqa64 %xmm17, (%rcx)
1804 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x7f,0x09]
1805           vmovdqa64 %xmm17, (%rcx)
1806
1807 // CHECK: vmovdqa64 %xmm17, (%rcx) {%k7}
1808 // CHECK:  encoding: [0x62,0xe1,0xfd,0x0f,0x7f,0x09]
1809           vmovdqa64 %xmm17, (%rcx) {%k7}
1810
1811 // CHECK: vmovdqa64 %xmm17, 291(%rax,%r14,8)
1812 // CHECK:  encoding: [0x62,0xa1,0xfd,0x08,0x7f,0x8c,0xf0,0x23,0x01,0x00,0x00]
1813           vmovdqa64 %xmm17, 291(%rax,%r14,8)
1814
1815 // CHECK: vmovdqa64 %xmm17, 2032(%rdx)
1816 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x7f,0x4a,0x7f]
1817           vmovdqa64 %xmm17, 2032(%rdx)
1818
1819 // CHECK: vmovdqa64 %xmm17, 2048(%rdx)
1820 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x7f,0x8a,0x00,0x08,0x00,0x00]
1821           vmovdqa64 %xmm17, 2048(%rdx)
1822
1823 // CHECK: vmovdqa64 %xmm17, -2048(%rdx)
1824 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x7f,0x4a,0x80]
1825           vmovdqa64 %xmm17, -2048(%rdx)
1826
1827 // CHECK: vmovdqa64 %xmm17, -2064(%rdx)
1828 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x7f,0x8a,0xf0,0xf7,0xff,0xff]
1829           vmovdqa64 %xmm17, -2064(%rdx)
1830
1831 // CHECK: vmovdqa64 %ymm24, (%rcx)
1832 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x7f,0x01]
1833           vmovdqa64 %ymm24, (%rcx)
1834
1835 // CHECK: vmovdqa64 %ymm24, (%rcx) {%k2}
1836 // CHECK:  encoding: [0x62,0x61,0xfd,0x2a,0x7f,0x01]
1837           vmovdqa64 %ymm24, (%rcx) {%k2}
1838
1839 // CHECK: vmovdqa64 %ymm24, 291(%rax,%r14,8)
1840 // CHECK:  encoding: [0x62,0x21,0xfd,0x28,0x7f,0x84,0xf0,0x23,0x01,0x00,0x00]
1841           vmovdqa64 %ymm24, 291(%rax,%r14,8)
1842
1843 // CHECK: vmovdqa64 %ymm24, 4064(%rdx)
1844 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x7f,0x42,0x7f]
1845           vmovdqa64 %ymm24, 4064(%rdx)
1846
1847 // CHECK: vmovdqa64 %ymm24, 4096(%rdx)
1848 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x7f,0x82,0x00,0x10,0x00,0x00]
1849           vmovdqa64 %ymm24, 4096(%rdx)
1850
1851 // CHECK: vmovdqa64 %ymm24, -4096(%rdx)
1852 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x7f,0x42,0x80]
1853           vmovdqa64 %ymm24, -4096(%rdx)
1854
1855 // CHECK: vmovdqa64 %ymm24, -4128(%rdx)
1856 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x7f,0x82,0xe0,0xef,0xff,0xff]
1857           vmovdqa64 %ymm24, -4128(%rdx)
1858
1859 // CHECK: vmovdqu32 %xmm17, (%rcx)
1860 // CHECK:  encoding: [0x62,0xe1,0x7e,0x08,0x7f,0x09]
1861           vmovdqu32 %xmm17, (%rcx)
1862
1863 // CHECK: vmovdqu32 %xmm17, (%rcx) {%k4}
1864 // CHECK:  encoding: [0x62,0xe1,0x7e,0x0c,0x7f,0x09]
1865           vmovdqu32 %xmm17, (%rcx) {%k4}
1866
1867 // CHECK: vmovdqu32 %xmm17, 291(%rax,%r14,8)
1868 // CHECK:  encoding: [0x62,0xa1,0x7e,0x08,0x7f,0x8c,0xf0,0x23,0x01,0x00,0x00]
1869           vmovdqu32 %xmm17, 291(%rax,%r14,8)
1870
1871 // CHECK: vmovdqu32 %xmm17, 2032(%rdx)
1872 // CHECK:  encoding: [0x62,0xe1,0x7e,0x08,0x7f,0x4a,0x7f]
1873           vmovdqu32 %xmm17, 2032(%rdx)
1874
1875 // CHECK: vmovdqu32 %xmm17, 2048(%rdx)
1876 // CHECK:  encoding: [0x62,0xe1,0x7e,0x08,0x7f,0x8a,0x00,0x08,0x00,0x00]
1877           vmovdqu32 %xmm17, 2048(%rdx)
1878
1879 // CHECK: vmovdqu32 %xmm17, -2048(%rdx)
1880 // CHECK:  encoding: [0x62,0xe1,0x7e,0x08,0x7f,0x4a,0x80]
1881           vmovdqu32 %xmm17, -2048(%rdx)
1882
1883 // CHECK: vmovdqu32 %xmm17, -2064(%rdx)
1884 // CHECK:  encoding: [0x62,0xe1,0x7e,0x08,0x7f,0x8a,0xf0,0xf7,0xff,0xff]
1885           vmovdqu32 %xmm17, -2064(%rdx)
1886
1887 // CHECK: vmovdqu32 %ymm20, (%rcx)
1888 // CHECK:  encoding: [0x62,0xe1,0x7e,0x28,0x7f,0x21]
1889           vmovdqu32 %ymm20, (%rcx)
1890
1891 // CHECK: vmovdqu32 %ymm20, (%rcx) {%k1}
1892 // CHECK:  encoding: [0x62,0xe1,0x7e,0x29,0x7f,0x21]
1893           vmovdqu32 %ymm20, (%rcx) {%k1}
1894
1895 // CHECK: vmovdqu32 %ymm20, 291(%rax,%r14,8)
1896 // CHECK:  encoding: [0x62,0xa1,0x7e,0x28,0x7f,0xa4,0xf0,0x23,0x01,0x00,0x00]
1897           vmovdqu32 %ymm20, 291(%rax,%r14,8)
1898
1899 // CHECK: vmovdqu32 %ymm20, 4064(%rdx)
1900 // CHECK:  encoding: [0x62,0xe1,0x7e,0x28,0x7f,0x62,0x7f]
1901           vmovdqu32 %ymm20, 4064(%rdx)
1902
1903 // CHECK: vmovdqu32 %ymm20, 4096(%rdx)
1904 // CHECK:  encoding: [0x62,0xe1,0x7e,0x28,0x7f,0xa2,0x00,0x10,0x00,0x00]
1905           vmovdqu32 %ymm20, 4096(%rdx)
1906
1907 // CHECK: vmovdqu32 %ymm20, -4096(%rdx)
1908 // CHECK:  encoding: [0x62,0xe1,0x7e,0x28,0x7f,0x62,0x80]
1909           vmovdqu32 %ymm20, -4096(%rdx)
1910
1911 // CHECK: vmovdqu32 %ymm20, -4128(%rdx)
1912 // CHECK:  encoding: [0x62,0xe1,0x7e,0x28,0x7f,0xa2,0xe0,0xef,0xff,0xff]
1913           vmovdqu32 %ymm20, -4128(%rdx)
1914
1915 // CHECK: vmovdqu64 %xmm20, (%rcx)
1916 // CHECK:  encoding: [0x62,0xe1,0xfe,0x08,0x7f,0x21]
1917           vmovdqu64 %xmm20, (%rcx)
1918
1919 // CHECK: vmovdqu64 %xmm20, (%rcx) {%k6}
1920 // CHECK:  encoding: [0x62,0xe1,0xfe,0x0e,0x7f,0x21]
1921           vmovdqu64 %xmm20, (%rcx) {%k6}
1922
1923 // CHECK: vmovdqu64 %xmm20, 291(%rax,%r14,8)
1924 // CHECK:  encoding: [0x62,0xa1,0xfe,0x08,0x7f,0xa4,0xf0,0x23,0x01,0x00,0x00]
1925           vmovdqu64 %xmm20, 291(%rax,%r14,8)
1926
1927 // CHECK: vmovdqu64 %xmm20, 2032(%rdx)
1928 // CHECK:  encoding: [0x62,0xe1,0xfe,0x08,0x7f,0x62,0x7f]
1929           vmovdqu64 %xmm20, 2032(%rdx)
1930
1931 // CHECK: vmovdqu64 %xmm20, 2048(%rdx)
1932 // CHECK:  encoding: [0x62,0xe1,0xfe,0x08,0x7f,0xa2,0x00,0x08,0x00,0x00]
1933           vmovdqu64 %xmm20, 2048(%rdx)
1934
1935 // CHECK: vmovdqu64 %xmm20, -2048(%rdx)
1936 // CHECK:  encoding: [0x62,0xe1,0xfe,0x08,0x7f,0x62,0x80]
1937           vmovdqu64 %xmm20, -2048(%rdx)
1938
1939 // CHECK: vmovdqu64 %xmm20, -2064(%rdx)
1940 // CHECK:  encoding: [0x62,0xe1,0xfe,0x08,0x7f,0xa2,0xf0,0xf7,0xff,0xff]
1941           vmovdqu64 %xmm20, -2064(%rdx)
1942
1943 // CHECK: vmovdqu64 %ymm19, (%rcx)
1944 // CHECK:  encoding: [0x62,0xe1,0xfe,0x28,0x7f,0x19]
1945           vmovdqu64 %ymm19, (%rcx)
1946
1947 // CHECK: vmovdqu64 %ymm19, (%rcx) {%k7}
1948 // CHECK:  encoding: [0x62,0xe1,0xfe,0x2f,0x7f,0x19]
1949           vmovdqu64 %ymm19, (%rcx) {%k7}
1950
1951 // CHECK: vmovdqu64 %ymm19, 291(%rax,%r14,8)
1952 // CHECK:  encoding: [0x62,0xa1,0xfe,0x28,0x7f,0x9c,0xf0,0x23,0x01,0x00,0x00]
1953           vmovdqu64 %ymm19, 291(%rax,%r14,8)
1954
1955 // CHECK: vmovdqu64 %ymm19, 4064(%rdx)
1956 // CHECK:  encoding: [0x62,0xe1,0xfe,0x28,0x7f,0x5a,0x7f]
1957           vmovdqu64 %ymm19, 4064(%rdx)
1958
1959 // CHECK: vmovdqu64 %ymm19, 4096(%rdx)
1960 // CHECK:  encoding: [0x62,0xe1,0xfe,0x28,0x7f,0x9a,0x00,0x10,0x00,0x00]
1961           vmovdqu64 %ymm19, 4096(%rdx)
1962
1963 // CHECK: vmovdqu64 %ymm19, -4096(%rdx)
1964 // CHECK:  encoding: [0x62,0xe1,0xfe,0x28,0x7f,0x5a,0x80]
1965           vmovdqu64 %ymm19, -4096(%rdx)
1966
1967 // CHECK: vmovdqu64 %ymm19, -4128(%rdx)
1968 // CHECK:  encoding: [0x62,0xe1,0xfe,0x28,0x7f,0x9a,0xe0,0xef,0xff,0xff]
1969           vmovdqu64 %ymm19, -4128(%rdx)
1970
1971 // CHECK: vmovupd %xmm22, (%rcx)
1972 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x11,0x31]
1973           vmovupd %xmm22, (%rcx)
1974
1975 // CHECK: vmovupd %xmm22, (%rcx) {%k7}
1976 // CHECK:  encoding: [0x62,0xe1,0xfd,0x0f,0x11,0x31]
1977           vmovupd %xmm22, (%rcx) {%k7}
1978
1979 // CHECK: vmovupd %xmm22, 291(%rax,%r14,8)
1980 // CHECK:  encoding: [0x62,0xa1,0xfd,0x08,0x11,0xb4,0xf0,0x23,0x01,0x00,0x00]
1981           vmovupd %xmm22, 291(%rax,%r14,8)
1982
1983 // CHECK: vmovupd %xmm22, 2032(%rdx)
1984 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x11,0x72,0x7f]
1985           vmovupd %xmm22, 2032(%rdx)
1986
1987 // CHECK: vmovupd %xmm22, 2048(%rdx)
1988 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x11,0xb2,0x00,0x08,0x00,0x00]
1989           vmovupd %xmm22, 2048(%rdx)
1990
1991 // CHECK: vmovupd %xmm22, -2048(%rdx)
1992 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x11,0x72,0x80]
1993           vmovupd %xmm22, -2048(%rdx)
1994
1995 // CHECK: vmovupd %xmm22, -2064(%rdx)
1996 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x11,0xb2,0xf0,0xf7,0xff,0xff]
1997           vmovupd %xmm22, -2064(%rdx)
1998
1999 // CHECK: vmovupd %ymm28, (%rcx)
2000 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x11,0x21]
2001           vmovupd %ymm28, (%rcx)
2002
2003 // CHECK: vmovupd %ymm28, (%rcx) {%k1}
2004 // CHECK:  encoding: [0x62,0x61,0xfd,0x29,0x11,0x21]
2005           vmovupd %ymm28, (%rcx) {%k1}
2006
2007 // CHECK: vmovupd %ymm28, 291(%rax,%r14,8)
2008 // CHECK:  encoding: [0x62,0x21,0xfd,0x28,0x11,0xa4,0xf0,0x23,0x01,0x00,0x00]
2009           vmovupd %ymm28, 291(%rax,%r14,8)
2010
2011 // CHECK: vmovupd %ymm28, 4064(%rdx)
2012 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x11,0x62,0x7f]
2013           vmovupd %ymm28, 4064(%rdx)
2014
2015 // CHECK: vmovupd %ymm28, 4096(%rdx)
2016 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x11,0xa2,0x00,0x10,0x00,0x00]
2017           vmovupd %ymm28, 4096(%rdx)
2018
2019 // CHECK: vmovupd %ymm28, -4096(%rdx)
2020 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x11,0x62,0x80]
2021           vmovupd %ymm28, -4096(%rdx)
2022
2023 // CHECK: vmovupd %ymm28, -4128(%rdx)
2024 // CHECK:  encoding: [0x62,0x61,0xfd,0x28,0x11,0xa2,0xe0,0xef,0xff,0xff]
2025           vmovupd %ymm28, -4128(%rdx)
2026
2027 // CHECK: vmovups %xmm26, (%rcx)
2028 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x11,0x11]
2029           vmovups %xmm26, (%rcx)
2030
2031 // CHECK: vmovups %xmm26, (%rcx) {%k5}
2032 // CHECK:  encoding: [0x62,0x61,0x7c,0x0d,0x11,0x11]
2033           vmovups %xmm26, (%rcx) {%k5}
2034
2035 // CHECK: vmovups %xmm26, 291(%rax,%r14,8)
2036 // CHECK:  encoding: [0x62,0x21,0x7c,0x08,0x11,0x94,0xf0,0x23,0x01,0x00,0x00]
2037           vmovups %xmm26, 291(%rax,%r14,8)
2038
2039 // CHECK: vmovups %xmm26, 2032(%rdx)
2040 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x11,0x52,0x7f]
2041           vmovups %xmm26, 2032(%rdx)
2042
2043 // CHECK: vmovups %xmm26, 2048(%rdx)
2044 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x11,0x92,0x00,0x08,0x00,0x00]
2045           vmovups %xmm26, 2048(%rdx)
2046
2047 // CHECK: vmovups %xmm26, -2048(%rdx)
2048 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x11,0x52,0x80]
2049           vmovups %xmm26, -2048(%rdx)
2050
2051 // CHECK: vmovups %xmm26, -2064(%rdx)
2052 // CHECK:  encoding: [0x62,0x61,0x7c,0x08,0x11,0x92,0xf0,0xf7,0xff,0xff]
2053           vmovups %xmm26, -2064(%rdx)
2054
2055 // CHECK: vmovups %ymm23, (%rcx)
2056 // CHECK:  encoding: [0x62,0xe1,0x7c,0x28,0x11,0x39]
2057           vmovups %ymm23, (%rcx)
2058
2059 // CHECK: vmovups %ymm23, (%rcx) {%k3}
2060 // CHECK:  encoding: [0x62,0xe1,0x7c,0x2b,0x11,0x39]
2061           vmovups %ymm23, (%rcx) {%k3}
2062
2063 // CHECK: vmovups %ymm23, 291(%rax,%r14,8)
2064 // CHECK:  encoding: [0x62,0xa1,0x7c,0x28,0x11,0xbc,0xf0,0x23,0x01,0x00,0x00]
2065           vmovups %ymm23, 291(%rax,%r14,8)
2066
2067 // CHECK: vmovups %ymm23, 4064(%rdx)
2068 // CHECK:  encoding: [0x62,0xe1,0x7c,0x28,0x11,0x7a,0x7f]
2069           vmovups %ymm23, 4064(%rdx)
2070
2071 // CHECK: vmovups %ymm23, 4096(%rdx)
2072 // CHECK:  encoding: [0x62,0xe1,0x7c,0x28,0x11,0xba,0x00,0x10,0x00,0x00]
2073           vmovups %ymm23, 4096(%rdx)
2074
2075 // CHECK: vmovups %ymm23, -4096(%rdx)
2076 // CHECK:  encoding: [0x62,0xe1,0x7c,0x28,0x11,0x7a,0x80]
2077           vmovups %ymm23, -4096(%rdx)
2078
2079 // CHECK: vmovups %ymm23, -4128(%rdx)
2080 // CHECK:  encoding: [0x62,0xe1,0x7c,0x28,0x11,0xba,0xe0,0xef,0xff,0xff]
2081           vmovups %ymm23, -4128(%rdx)