test/MC/X86/avx512vl-encoding.s

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