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

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