test/MC/X86/avx512vl_vnni-encoding.s

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding < %s | FileCheck %s
   2
   3 // CHECK: vpdpbusd %xmm3, %xmm2, %xmm1
   4 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x50,0xcb]
   5           vpdpbusd %xmm3, %xmm2, %xmm1
   6
   7 // CHECK: vpdpbusds %xmm3, %xmm2, %xmm1
   8 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x51,0xcb]
   9           vpdpbusds %xmm3, %xmm2, %xmm1
  10
  11 // CHECK: vpdpwssd %xmm3, %xmm2, %xmm1
  12 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x52,0xcb]
  13           vpdpwssd %xmm3, %xmm2, %xmm1
  14
  15 // CHECK: vpdpwssds %xmm3, %xmm2, %xmm1
  16 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x53,0xcb]
  17           vpdpwssds %xmm3, %xmm2, %xmm1
  18
  19 // CHECK: vpdpbusd %xmm23, %xmm22, %xmm21
  20 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x50,0xef]
  21           vpdpbusd %xmm23, %xmm22, %xmm21
  22
  23 // CHECK: vpdpbusds %xmm23, %xmm22, %xmm21
  24 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x51,0xef]
  25           vpdpbusds %xmm23, %xmm22, %xmm21
  26
  27 // CHECK: vpdpwssd %xmm23, %xmm22, %xmm21
  28 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x52,0xef]
  29           vpdpwssd %xmm23, %xmm22, %xmm21
  30
  31 // CHECK: vpdpwssds %xmm23, %xmm22, %xmm21
  32 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x53,0xef]
  33           vpdpwssds %xmm23, %xmm22, %xmm21
  34
  35 // CHECK: vpdpbusd %xmm3, %xmm2, %xmm1 {%k2}
  36 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x50,0xcb]
  37           vpdpbusd %xmm3, %xmm2, %xmm1 {%k2}
  38
  39 // CHECK: vpdpbusds %xmm3, %xmm2, %xmm1 {%k2}
  40 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x51,0xcb]
  41           vpdpbusds %xmm3, %xmm2, %xmm1 {%k2}
  42
  43 // CHECK: vpdpwssd %xmm3, %xmm2, %xmm1 {%k2}
  44 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x52,0xcb]
  45           vpdpwssd %xmm3, %xmm2, %xmm1 {%k2}
  46
  47 // CHECK: vpdpwssds %xmm3, %xmm2, %xmm1 {%k2}
  48 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x53,0xcb]
  49           vpdpwssds %xmm3, %xmm2, %xmm1 {%k2}
  50
  51 // CHECK: vpdpbusd %xmm23, %xmm22, %xmm21 {%k2}
  52 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x50,0xef]
  53           vpdpbusd %xmm23, %xmm22, %xmm21 {%k2}
  54
  55 // CHECK: vpdpbusds %xmm23, %xmm22, %xmm21 {%k2}
  56 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x51,0xef]
  57           vpdpbusds %xmm23, %xmm22, %xmm21 {%k2}
  58
  59 // CHECK: vpdpwssd %xmm23, %xmm22, %xmm21 {%k2}
  60 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x52,0xef]
  61           vpdpwssd %xmm23, %xmm22, %xmm21 {%k2}
  62
  63 // CHECK: vpdpwssds %xmm23, %xmm22, %xmm21 {%k2}
  64 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x53,0xef]
  65           vpdpwssds %xmm23, %xmm22, %xmm21 {%k2}
  66
  67 // CHECK: vpdpbusd  (%rcx), %xmm2, %xmm1
  68 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x50,0x09]
  69           vpdpbusd  (%rcx), %xmm2, %xmm1
  70
  71 // CHECK: vpdpbusd  -64(%rsp), %xmm2, %xmm1
  72 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x50,0x4c,0x24,0xfc]
  73           vpdpbusd  -64(%rsp), %xmm2, %xmm1
  74
  75 // CHECK: vpdpbusd  64(%rsp), %xmm2, %xmm1
  76 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x50,0x4c,0x24,0x04]
  77           vpdpbusd  64(%rsp), %xmm2, %xmm1
  78
  79 // CHECK: vpdpbusd  268435456(%rcx,%r14,8), %xmm2, %xmm1
  80 // CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x50,0x8c,0xf1,0x00,0x00,0x00,0x10]
  81           vpdpbusd  268435456(%rcx,%r14,8), %xmm2, %xmm1
  82
  83 // CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %xmm2, %xmm1
  84 // CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x50,0x8c,0xf1,0x00,0x00,0x00,0xe0]
  85           vpdpbusd  -536870912(%rcx,%r14,8), %xmm2, %xmm1
  86
  87 // CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %xmm2, %xmm1
  88 // CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x50,0x8c,0xf1,0x02,0x00,0x00,0xe0]
  89           vpdpbusd  -536870910(%rcx,%r14,8), %xmm2, %xmm1
  90
  91 // CHECK: vpdpbusds  (%rcx), %xmm2, %xmm1
  92 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x51,0x09]
  93           vpdpbusds  (%rcx), %xmm2, %xmm1
  94
  95 // CHECK: vpdpbusds  -64(%rsp), %xmm2, %xmm1
  96 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x51,0x4c,0x24,0xfc]
  97           vpdpbusds  -64(%rsp), %xmm2, %xmm1
  98
  99 // CHECK: vpdpbusds  64(%rsp), %xmm2, %xmm1
 100 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x51,0x4c,0x24,0x04]
 101           vpdpbusds  64(%rsp), %xmm2, %xmm1
 102
 103 // CHECK: vpdpbusds  268435456(%rcx,%r14,8), %xmm2, %xmm1
 104 // CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x51,0x8c,0xf1,0x00,0x00,0x00,0x10]
 105           vpdpbusds  268435456(%rcx,%r14,8), %xmm2, %xmm1
 106
 107 // CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %xmm2, %xmm1
 108 // CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x51,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 109           vpdpbusds  -536870912(%rcx,%r14,8), %xmm2, %xmm1
 110
 111 // CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %xmm2, %xmm1
 112 // CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x51,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 113           vpdpbusds  -536870910(%rcx,%r14,8), %xmm2, %xmm1
 114
 115 // CHECK: vpdpwssd  (%rcx), %xmm2, %xmm1
 116 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x52,0x09]
 117           vpdpwssd  (%rcx), %xmm2, %xmm1
 118
 119 // CHECK: vpdpwssd  -64(%rsp), %xmm2, %xmm1
 120 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x52,0x4c,0x24,0xfc]
 121           vpdpwssd  -64(%rsp), %xmm2, %xmm1
 122
 123 // CHECK: vpdpwssd  64(%rsp), %xmm2, %xmm1
 124 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x52,0x4c,0x24,0x04]
 125           vpdpwssd  64(%rsp), %xmm2, %xmm1
 126
 127 // CHECK: vpdpwssd  268435456(%rcx,%r14,8), %xmm2, %xmm1
 128 // CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x52,0x8c,0xf1,0x00,0x00,0x00,0x10]
 129           vpdpwssd  268435456(%rcx,%r14,8), %xmm2, %xmm1
 130
 131 // CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %xmm2, %xmm1
 132 // CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x52,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 133           vpdpwssd  -536870912(%rcx,%r14,8), %xmm2, %xmm1
 134
 135 // CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %xmm2, %xmm1
 136 // CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x52,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 137           vpdpwssd  -536870910(%rcx,%r14,8), %xmm2, %xmm1
 138
 139 // CHECK: vpdpwssds  (%rcx), %xmm2, %xmm1
 140 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x53,0x09]
 141           vpdpwssds  (%rcx), %xmm2, %xmm1
 142
 143 // CHECK: vpdpwssds  -64(%rsp), %xmm2, %xmm1
 144 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x53,0x4c,0x24,0xfc]
 145           vpdpwssds  -64(%rsp), %xmm2, %xmm1
 146
 147 // CHECK: vpdpwssds  64(%rsp), %xmm2, %xmm1
 148 // CHECK: encoding: [0x62,0xf2,0x6d,0x08,0x53,0x4c,0x24,0x04]
 149           vpdpwssds  64(%rsp), %xmm2, %xmm1
 150
 151 // CHECK: vpdpwssds  268435456(%rcx,%r14,8), %xmm2, %xmm1
 152 // CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x53,0x8c,0xf1,0x00,0x00,0x00,0x10]
 153           vpdpwssds  268435456(%rcx,%r14,8), %xmm2, %xmm1
 154
 155 // CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %xmm2, %xmm1
 156 // CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x53,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 157           vpdpwssds  -536870912(%rcx,%r14,8), %xmm2, %xmm1
 158
 159 // CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %xmm2, %xmm1
 160 // CHECK: encoding: [0x62,0xb2,0x6d,0x08,0x53,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 161           vpdpwssds  -536870910(%rcx,%r14,8), %xmm2, %xmm1
 162
 163 // CHECK: vpdpbusd  (%rcx), %xmm22, %xmm21
 164 // CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x50,0x29]
 165           vpdpbusd  (%rcx), %xmm22, %xmm21
 166
 167 // CHECK: vpdpbusd  -64(%rsp), %xmm22, %xmm21
 168 // CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x50,0x6c,0x24,0xfc]
 169           vpdpbusd  -64(%rsp), %xmm22, %xmm21
 170
 171 // CHECK: vpdpbusd  64(%rsp), %xmm22, %xmm21
 172 // CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x50,0x6c,0x24,0x04]
 173           vpdpbusd  64(%rsp), %xmm22, %xmm21
 174
 175 // CHECK: vpdpbusd  268435456(%rcx,%r14,8), %xmm22, %xmm21
 176 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x50,0xac,0xf1,0x00,0x00,0x00,0x10]
 177           vpdpbusd  268435456(%rcx,%r14,8), %xmm22, %xmm21
 178
 179 // CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %xmm22, %xmm21
 180 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x50,0xac,0xf1,0x00,0x00,0x00,0xe0]
 181           vpdpbusd  -536870912(%rcx,%r14,8), %xmm22, %xmm21
 182
 183 // CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %xmm22, %xmm21
 184 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x50,0xac,0xf1,0x02,0x00,0x00,0xe0]
 185           vpdpbusd  -536870910(%rcx,%r14,8), %xmm22, %xmm21
 186
 187 // CHECK: vpdpbusds  (%rcx), %xmm22, %xmm21
 188 // CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x51,0x29]
 189           vpdpbusds  (%rcx), %xmm22, %xmm21
 190
 191 // CHECK: vpdpbusds  -64(%rsp), %xmm22, %xmm21
 192 // CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x51,0x6c,0x24,0xfc]
 193           vpdpbusds  -64(%rsp), %xmm22, %xmm21
 194
 195 // CHECK: vpdpbusds  64(%rsp), %xmm22, %xmm21
 196 // CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x51,0x6c,0x24,0x04]
 197           vpdpbusds  64(%rsp), %xmm22, %xmm21
 198
 199 // CHECK: vpdpbusds  268435456(%rcx,%r14,8), %xmm22, %xmm21
 200 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x51,0xac,0xf1,0x00,0x00,0x00,0x10]
 201           vpdpbusds  268435456(%rcx,%r14,8), %xmm22, %xmm21
 202
 203 // CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %xmm22, %xmm21
 204 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x51,0xac,0xf1,0x00,0x00,0x00,0xe0]
 205           vpdpbusds  -536870912(%rcx,%r14,8), %xmm22, %xmm21
 206
 207 // CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %xmm22, %xmm21
 208 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x51,0xac,0xf1,0x02,0x00,0x00,0xe0]
 209           vpdpbusds  -536870910(%rcx,%r14,8), %xmm22, %xmm21
 210
 211 // CHECK: vpdpwssd  (%rcx), %xmm22, %xmm21
 212 // CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x52,0x29]
 213           vpdpwssd  (%rcx), %xmm22, %xmm21
 214
 215 // CHECK: vpdpwssd  -64(%rsp), %xmm22, %xmm21
 216 // CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x52,0x6c,0x24,0xfc]
 217           vpdpwssd  -64(%rsp), %xmm22, %xmm21
 218
 219 // CHECK: vpdpwssd  64(%rsp), %xmm22, %xmm21
 220 // CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x52,0x6c,0x24,0x04]
 221           vpdpwssd  64(%rsp), %xmm22, %xmm21
 222
 223 // CHECK: vpdpwssd  268435456(%rcx,%r14,8), %xmm22, %xmm21
 224 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x52,0xac,0xf1,0x00,0x00,0x00,0x10]
 225           vpdpwssd  268435456(%rcx,%r14,8), %xmm22, %xmm21
 226
 227 // CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %xmm22, %xmm21
 228 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x52,0xac,0xf1,0x00,0x00,0x00,0xe0]
 229           vpdpwssd  -536870912(%rcx,%r14,8), %xmm22, %xmm21
 230
 231 // CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %xmm22, %xmm21
 232 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x52,0xac,0xf1,0x02,0x00,0x00,0xe0]
 233           vpdpwssd  -536870910(%rcx,%r14,8), %xmm22, %xmm21
 234
 235 // CHECK: vpdpwssds  (%rcx), %xmm22, %xmm21
 236 // CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x53,0x29]
 237           vpdpwssds  (%rcx), %xmm22, %xmm21
 238
 239 // CHECK: vpdpwssds  -64(%rsp), %xmm22, %xmm21
 240 // CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x53,0x6c,0x24,0xfc]
 241           vpdpwssds  -64(%rsp), %xmm22, %xmm21
 242
 243 // CHECK: vpdpwssds  64(%rsp), %xmm22, %xmm21
 244 // CHECK: encoding: [0x62,0xe2,0x4d,0x00,0x53,0x6c,0x24,0x04]
 245           vpdpwssds  64(%rsp), %xmm22, %xmm21
 246
 247 // CHECK: vpdpwssds  268435456(%rcx,%r14,8), %xmm22, %xmm21
 248 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x53,0xac,0xf1,0x00,0x00,0x00,0x10]
 249           vpdpwssds  268435456(%rcx,%r14,8), %xmm22, %xmm21
 250
 251 // CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %xmm22, %xmm21
 252 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x53,0xac,0xf1,0x00,0x00,0x00,0xe0]
 253           vpdpwssds  -536870912(%rcx,%r14,8), %xmm22, %xmm21
 254
 255 // CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %xmm22, %xmm21
 256 // CHECK: encoding: [0x62,0xa2,0x4d,0x00,0x53,0xac,0xf1,0x02,0x00,0x00,0xe0]
 257           vpdpwssds  -536870910(%rcx,%r14,8), %xmm22, %xmm21
 258
 259 // CHECK: vpdpbusd  (%rcx), %xmm2, %xmm1 {%k2}
 260 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x50,0x09]
 261           vpdpbusd  (%rcx), %xmm2, %xmm1 {%k2}
 262
 263 // CHECK: vpdpbusd  -64(%rsp), %xmm2, %xmm1 {%k2}
 264 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x50,0x4c,0x24,0xfc]
 265           vpdpbusd  -64(%rsp), %xmm2, %xmm1 {%k2}
 266
 267 // CHECK: vpdpbusd  64(%rsp), %xmm2, %xmm1 {%k2}
 268 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x50,0x4c,0x24,0x04]
 269           vpdpbusd  64(%rsp), %xmm2, %xmm1 {%k2}
 270
 271 // CHECK: vpdpbusd  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 272 // CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x50,0x8c,0xf1,0x00,0x00,0x00,0x10]
 273           vpdpbusd  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 274
 275 // CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 276 // CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x50,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 277           vpdpbusd  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 278
 279 // CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 280 // CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x50,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 281           vpdpbusd  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 282
 283 // CHECK: vpdpbusds  (%rcx), %xmm2, %xmm1 {%k2}
 284 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x51,0x09]
 285           vpdpbusds  (%rcx), %xmm2, %xmm1 {%k2}
 286
 287 // CHECK: vpdpbusds  -64(%rsp), %xmm2, %xmm1 {%k2}
 288 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x51,0x4c,0x24,0xfc]
 289           vpdpbusds  -64(%rsp), %xmm2, %xmm1 {%k2}
 290
 291 // CHECK: vpdpbusds  64(%rsp), %xmm2, %xmm1 {%k2}
 292 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x51,0x4c,0x24,0x04]
 293           vpdpbusds  64(%rsp), %xmm2, %xmm1 {%k2}
 294
 295 // CHECK: vpdpbusds  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 296 // CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x51,0x8c,0xf1,0x00,0x00,0x00,0x10]
 297           vpdpbusds  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 298
 299 // CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 300 // CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x51,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 301           vpdpbusds  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 302
 303 // CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 304 // CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x51,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 305           vpdpbusds  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 306
 307 // CHECK: vpdpwssd  (%rcx), %xmm2, %xmm1 {%k2}
 308 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x52,0x09]
 309           vpdpwssd  (%rcx), %xmm2, %xmm1 {%k2}
 310
 311 // CHECK: vpdpwssd  -64(%rsp), %xmm2, %xmm1 {%k2}
 312 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x52,0x4c,0x24,0xfc]
 313           vpdpwssd  -64(%rsp), %xmm2, %xmm1 {%k2}
 314
 315 // CHECK: vpdpwssd  64(%rsp), %xmm2, %xmm1 {%k2}
 316 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x52,0x4c,0x24,0x04]
 317           vpdpwssd  64(%rsp), %xmm2, %xmm1 {%k2}
 318
 319 // CHECK: vpdpwssd  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 320 // CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x52,0x8c,0xf1,0x00,0x00,0x00,0x10]
 321           vpdpwssd  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 322
 323 // CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 324 // CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x52,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 325           vpdpwssd  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 326
 327 // CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 328 // CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x52,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 329           vpdpwssd  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 330
 331 // CHECK: vpdpwssds  (%rcx), %xmm2, %xmm1 {%k2}
 332 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x53,0x09]
 333           vpdpwssds  (%rcx), %xmm2, %xmm1 {%k2}
 334
 335 // CHECK: vpdpwssds  -64(%rsp), %xmm2, %xmm1 {%k2}
 336 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x53,0x4c,0x24,0xfc]
 337           vpdpwssds  -64(%rsp), %xmm2, %xmm1 {%k2}
 338
 339 // CHECK: vpdpwssds  64(%rsp), %xmm2, %xmm1 {%k2}
 340 // CHECK: encoding: [0x62,0xf2,0x6d,0x0a,0x53,0x4c,0x24,0x04]
 341           vpdpwssds  64(%rsp), %xmm2, %xmm1 {%k2}
 342
 343 // CHECK: vpdpwssds  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 344 // CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x53,0x8c,0xf1,0x00,0x00,0x00,0x10]
 345           vpdpwssds  268435456(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 346
 347 // CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 348 // CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x53,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 349           vpdpwssds  -536870912(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 350
 351 // CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 352 // CHECK: encoding: [0x62,0xb2,0x6d,0x0a,0x53,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 353           vpdpwssds  -536870910(%rcx,%r14,8), %xmm2, %xmm1 {%k2}
 354
 355 // CHECK: vpdpbusd  (%rcx), %xmm22, %xmm21 {%k2}
 356 // CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x50,0x29]
 357           vpdpbusd  (%rcx), %xmm22, %xmm21 {%k2}
 358
 359 // CHECK: vpdpbusd  -64(%rsp), %xmm22, %xmm21 {%k2}
 360 // CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x50,0x6c,0x24,0xfc]
 361           vpdpbusd  -64(%rsp), %xmm22, %xmm21 {%k2}
 362
 363 // CHECK: vpdpbusd  64(%rsp), %xmm22, %xmm21 {%k2}
 364 // CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x50,0x6c,0x24,0x04]
 365           vpdpbusd  64(%rsp), %xmm22, %xmm21 {%k2}
 366
 367 // CHECK: vpdpbusd  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 368 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x50,0xac,0xf1,0x00,0x00,0x00,0x10]
 369           vpdpbusd  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 370
 371 // CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 372 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x50,0xac,0xf1,0x00,0x00,0x00,0xe0]
 373           vpdpbusd  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 374
 375 // CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 376 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x50,0xac,0xf1,0x02,0x00,0x00,0xe0]
 377           vpdpbusd  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 378
 379 // CHECK: vpdpbusds  (%rcx), %xmm22, %xmm21 {%k2}
 380 // CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x51,0x29]
 381           vpdpbusds  (%rcx), %xmm22, %xmm21 {%k2}
 382
 383 // CHECK: vpdpbusds  -64(%rsp), %xmm22, %xmm21 {%k2}
 384 // CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x51,0x6c,0x24,0xfc]
 385           vpdpbusds  -64(%rsp), %xmm22, %xmm21 {%k2}
 386
 387 // CHECK: vpdpbusds  64(%rsp), %xmm22, %xmm21 {%k2}
 388 // CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x51,0x6c,0x24,0x04]
 389           vpdpbusds  64(%rsp), %xmm22, %xmm21 {%k2}
 390
 391 // CHECK: vpdpbusds  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 392 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x51,0xac,0xf1,0x00,0x00,0x00,0x10]
 393           vpdpbusds  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 394
 395 // CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 396 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x51,0xac,0xf1,0x00,0x00,0x00,0xe0]
 397           vpdpbusds  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 398
 399 // CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 400 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x51,0xac,0xf1,0x02,0x00,0x00,0xe0]
 401           vpdpbusds  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 402
 403 // CHECK: vpdpwssd  (%rcx), %xmm22, %xmm21 {%k2}
 404 // CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x52,0x29]
 405           vpdpwssd  (%rcx), %xmm22, %xmm21 {%k2}
 406
 407 // CHECK: vpdpwssd  -64(%rsp), %xmm22, %xmm21 {%k2}
 408 // CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x52,0x6c,0x24,0xfc]
 409           vpdpwssd  -64(%rsp), %xmm22, %xmm21 {%k2}
 410
 411 // CHECK: vpdpwssd  64(%rsp), %xmm22, %xmm21 {%k2}
 412 // CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x52,0x6c,0x24,0x04]
 413           vpdpwssd  64(%rsp), %xmm22, %xmm21 {%k2}
 414
 415 // CHECK: vpdpwssd  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 416 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x52,0xac,0xf1,0x00,0x00,0x00,0x10]
 417           vpdpwssd  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 418
 419 // CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 420 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x52,0xac,0xf1,0x00,0x00,0x00,0xe0]
 421           vpdpwssd  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 422
 423 // CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 424 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x52,0xac,0xf1,0x02,0x00,0x00,0xe0]
 425           vpdpwssd  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 426
 427 // CHECK: vpdpwssds  (%rcx), %xmm22, %xmm21 {%k2}
 428 // CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x53,0x29]
 429           vpdpwssds  (%rcx), %xmm22, %xmm21 {%k2}
 430
 431 // CHECK: vpdpwssds  -64(%rsp), %xmm22, %xmm21 {%k2}
 432 // CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x53,0x6c,0x24,0xfc]
 433           vpdpwssds  -64(%rsp), %xmm22, %xmm21 {%k2}
 434
 435 // CHECK: vpdpwssds  64(%rsp), %xmm22, %xmm21 {%k2}
 436 // CHECK: encoding: [0x62,0xe2,0x4d,0x02,0x53,0x6c,0x24,0x04]
 437           vpdpwssds  64(%rsp), %xmm22, %xmm21 {%k2}
 438
 439 // CHECK: vpdpwssds  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 440 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x53,0xac,0xf1,0x00,0x00,0x00,0x10]
 441           vpdpwssds  268435456(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 442
 443 // CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 444 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x53,0xac,0xf1,0x00,0x00,0x00,0xe0]
 445           vpdpwssds  -536870912(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 446
 447 // CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 448 // CHECK: encoding: [0x62,0xa2,0x4d,0x02,0x53,0xac,0xf1,0x02,0x00,0x00,0xe0]
 449           vpdpwssds  -536870910(%rcx,%r14,8), %xmm22, %xmm21 {%k2}
 450
 451 // CHECK: vpdpbusd %ymm3, %ymm2, %ymm1
 452 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x50,0xcb]
 453           vpdpbusd %ymm3, %ymm2, %ymm1
 454
 455 // CHECK: vpdpbusds %ymm3, %ymm2, %ymm1
 456 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x51,0xcb]
 457           vpdpbusds %ymm3, %ymm2, %ymm1
 458
 459 // CHECK: vpdpwssd %ymm3, %ymm2, %ymm1
 460 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x52,0xcb]
 461           vpdpwssd %ymm3, %ymm2, %ymm1
 462
 463 // CHECK: vpdpwssds %ymm3, %ymm2, %ymm1
 464 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x53,0xcb]
 465           vpdpwssds %ymm3, %ymm2, %ymm1
 466
 467 // CHECK: vpdpbusd %ymm23, %ymm22, %ymm21
 468 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x50,0xef]
 469           vpdpbusd %ymm23, %ymm22, %ymm21
 470
 471 // CHECK: vpdpbusds %ymm23, %ymm22, %ymm21
 472 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x51,0xef]
 473           vpdpbusds %ymm23, %ymm22, %ymm21
 474
 475 // CHECK: vpdpwssd %ymm23, %ymm22, %ymm21
 476 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x52,0xef]
 477           vpdpwssd %ymm23, %ymm22, %ymm21
 478
 479 // CHECK: vpdpwssds %ymm23, %ymm22, %ymm21
 480 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x53,0xef]
 481           vpdpwssds %ymm23, %ymm22, %ymm21
 482
 483 // CHECK: vpdpbusd %ymm3, %ymm2, %ymm1 {%k2}
 484 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x50,0xcb]
 485           vpdpbusd %ymm3, %ymm2, %ymm1 {%k2}
 486
 487 // CHECK: vpdpbusds %ymm3, %ymm2, %ymm1 {%k2}
 488 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x51,0xcb]
 489           vpdpbusds %ymm3, %ymm2, %ymm1 {%k2}
 490
 491 // CHECK: vpdpwssd %ymm3, %ymm2, %ymm1 {%k2}
 492 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x52,0xcb]
 493           vpdpwssd %ymm3, %ymm2, %ymm1 {%k2}
 494
 495 // CHECK: vpdpwssds %ymm3, %ymm2, %ymm1 {%k2}
 496 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x53,0xcb]
 497           vpdpwssds %ymm3, %ymm2, %ymm1 {%k2}
 498
 499 // CHECK: vpdpbusd %ymm23, %ymm22, %ymm21 {%k2}
 500 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x50,0xef]
 501           vpdpbusd %ymm23, %ymm22, %ymm21 {%k2}
 502
 503 // CHECK: vpdpbusds %ymm23, %ymm22, %ymm21 {%k2}
 504 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x51,0xef]
 505           vpdpbusds %ymm23, %ymm22, %ymm21 {%k2}
 506
 507 // CHECK: vpdpwssd %ymm23, %ymm22, %ymm21 {%k2}
 508 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x52,0xef]
 509           vpdpwssd %ymm23, %ymm22, %ymm21 {%k2}
 510
 511 // CHECK: vpdpwssds %ymm23, %ymm22, %ymm21 {%k2}
 512 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x53,0xef]
 513           vpdpwssds %ymm23, %ymm22, %ymm21 {%k2}
 514
 515 // CHECK: vpdpbusd  (%rcx), %ymm2, %ymm1
 516 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x50,0x09]
 517           vpdpbusd  (%rcx), %ymm2, %ymm1
 518
 519 // CHECK: vpdpbusd  -128(%rsp), %ymm2, %ymm1
 520 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x50,0x4c,0x24,0xfc]
 521           vpdpbusd  -128(%rsp), %ymm2, %ymm1
 522
 523 // CHECK: vpdpbusd  128(%rsp), %ymm2, %ymm1
 524 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x50,0x4c,0x24,0x04]
 525           vpdpbusd  128(%rsp), %ymm2, %ymm1
 526
 527 // CHECK: vpdpbusd  268435456(%rcx,%r14,8), %ymm2, %ymm1
 528 // CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x50,0x8c,0xf1,0x00,0x00,0x00,0x10]
 529           vpdpbusd  268435456(%rcx,%r14,8), %ymm2, %ymm1
 530
 531 // CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %ymm2, %ymm1
 532 // CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x50,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 533           vpdpbusd  -536870912(%rcx,%r14,8), %ymm2, %ymm1
 534
 535 // CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %ymm2, %ymm1
 536 // CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x50,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 537           vpdpbusd  -536870910(%rcx,%r14,8), %ymm2, %ymm1
 538
 539 // CHECK: vpdpbusds  (%rcx), %ymm2, %ymm1
 540 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x51,0x09]
 541           vpdpbusds  (%rcx), %ymm2, %ymm1
 542
 543 // CHECK: vpdpbusds  -128(%rsp), %ymm2, %ymm1
 544 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x51,0x4c,0x24,0xfc]
 545           vpdpbusds  -128(%rsp), %ymm2, %ymm1
 546
 547 // CHECK: vpdpbusds  128(%rsp), %ymm2, %ymm1
 548 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x51,0x4c,0x24,0x04]
 549           vpdpbusds  128(%rsp), %ymm2, %ymm1
 550
 551 // CHECK: vpdpbusds  268435456(%rcx,%r14,8), %ymm2, %ymm1
 552 // CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x51,0x8c,0xf1,0x00,0x00,0x00,0x10]
 553           vpdpbusds  268435456(%rcx,%r14,8), %ymm2, %ymm1
 554
 555 // CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %ymm2, %ymm1
 556 // CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x51,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 557           vpdpbusds  -536870912(%rcx,%r14,8), %ymm2, %ymm1
 558
 559 // CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %ymm2, %ymm1
 560 // CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x51,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 561           vpdpbusds  -536870910(%rcx,%r14,8), %ymm2, %ymm1
 562
 563 // CHECK: vpdpwssd  (%rcx), %ymm2, %ymm1
 564 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x52,0x09]
 565           vpdpwssd  (%rcx), %ymm2, %ymm1
 566
 567 // CHECK: vpdpwssd  -128(%rsp), %ymm2, %ymm1
 568 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x52,0x4c,0x24,0xfc]
 569           vpdpwssd  -128(%rsp), %ymm2, %ymm1
 570
 571 // CHECK: vpdpwssd  128(%rsp), %ymm2, %ymm1
 572 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x52,0x4c,0x24,0x04]
 573           vpdpwssd  128(%rsp), %ymm2, %ymm1
 574
 575 // CHECK: vpdpwssd  268435456(%rcx,%r14,8), %ymm2, %ymm1
 576 // CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x52,0x8c,0xf1,0x00,0x00,0x00,0x10]
 577           vpdpwssd  268435456(%rcx,%r14,8), %ymm2, %ymm1
 578
 579 // CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %ymm2, %ymm1
 580 // CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x52,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 581           vpdpwssd  -536870912(%rcx,%r14,8), %ymm2, %ymm1
 582
 583 // CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %ymm2, %ymm1
 584 // CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x52,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 585           vpdpwssd  -536870910(%rcx,%r14,8), %ymm2, %ymm1
 586
 587 // CHECK: vpdpwssds  (%rcx), %ymm2, %ymm1
 588 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x53,0x09]
 589           vpdpwssds  (%rcx), %ymm2, %ymm1
 590
 591 // CHECK: vpdpwssds  -128(%rsp), %ymm2, %ymm1
 592 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x53,0x4c,0x24,0xfc]
 593           vpdpwssds  -128(%rsp), %ymm2, %ymm1
 594
 595 // CHECK: vpdpwssds  128(%rsp), %ymm2, %ymm1
 596 // CHECK: encoding: [0x62,0xf2,0x6d,0x28,0x53,0x4c,0x24,0x04]
 597           vpdpwssds  128(%rsp), %ymm2, %ymm1
 598
 599 // CHECK: vpdpwssds  268435456(%rcx,%r14,8), %ymm2, %ymm1
 600 // CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x53,0x8c,0xf1,0x00,0x00,0x00,0x10]
 601           vpdpwssds  268435456(%rcx,%r14,8), %ymm2, %ymm1
 602
 603 // CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %ymm2, %ymm1
 604 // CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x53,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 605           vpdpwssds  -536870912(%rcx,%r14,8), %ymm2, %ymm1
 606
 607 // CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %ymm2, %ymm1
 608 // CHECK: encoding: [0x62,0xb2,0x6d,0x28,0x53,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 609           vpdpwssds  -536870910(%rcx,%r14,8), %ymm2, %ymm1
 610
 611 // CHECK: vpdpbusd  (%rcx), %ymm22, %ymm21
 612 // CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x50,0x29]
 613           vpdpbusd  (%rcx), %ymm22, %ymm21
 614
 615 // CHECK: vpdpbusd  -128(%rsp), %ymm22, %ymm21
 616 // CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x50,0x6c,0x24,0xfc]
 617           vpdpbusd  -128(%rsp), %ymm22, %ymm21
 618
 619 // CHECK: vpdpbusd  128(%rsp), %ymm22, %ymm21
 620 // CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x50,0x6c,0x24,0x04]
 621           vpdpbusd  128(%rsp), %ymm22, %ymm21
 622
 623 // CHECK: vpdpbusd  268435456(%rcx,%r14,8), %ymm22, %ymm21
 624 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x50,0xac,0xf1,0x00,0x00,0x00,0x10]
 625           vpdpbusd  268435456(%rcx,%r14,8), %ymm22, %ymm21
 626
 627 // CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %ymm22, %ymm21
 628 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x50,0xac,0xf1,0x00,0x00,0x00,0xe0]
 629           vpdpbusd  -536870912(%rcx,%r14,8), %ymm22, %ymm21
 630
 631 // CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %ymm22, %ymm21
 632 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x50,0xac,0xf1,0x02,0x00,0x00,0xe0]
 633           vpdpbusd  -536870910(%rcx,%r14,8), %ymm22, %ymm21
 634
 635 // CHECK: vpdpbusds  (%rcx), %ymm22, %ymm21
 636 // CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x51,0x29]
 637           vpdpbusds  (%rcx), %ymm22, %ymm21
 638
 639 // CHECK: vpdpbusds  -128(%rsp), %ymm22, %ymm21
 640 // CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x51,0x6c,0x24,0xfc]
 641           vpdpbusds  -128(%rsp), %ymm22, %ymm21
 642
 643 // CHECK: vpdpbusds  128(%rsp), %ymm22, %ymm21
 644 // CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x51,0x6c,0x24,0x04]
 645           vpdpbusds  128(%rsp), %ymm22, %ymm21
 646
 647 // CHECK: vpdpbusds  268435456(%rcx,%r14,8), %ymm22, %ymm21
 648 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x51,0xac,0xf1,0x00,0x00,0x00,0x10]
 649           vpdpbusds  268435456(%rcx,%r14,8), %ymm22, %ymm21
 650
 651 // CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %ymm22, %ymm21
 652 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x51,0xac,0xf1,0x00,0x00,0x00,0xe0]
 653           vpdpbusds  -536870912(%rcx,%r14,8), %ymm22, %ymm21
 654
 655 // CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %ymm22, %ymm21
 656 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x51,0xac,0xf1,0x02,0x00,0x00,0xe0]
 657           vpdpbusds  -536870910(%rcx,%r14,8), %ymm22, %ymm21
 658
 659 // CHECK: vpdpwssd  (%rcx), %ymm22, %ymm21
 660 // CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x52,0x29]
 661           vpdpwssd  (%rcx), %ymm22, %ymm21
 662
 663 // CHECK: vpdpwssd  -128(%rsp), %ymm22, %ymm21
 664 // CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x52,0x6c,0x24,0xfc]
 665           vpdpwssd  -128(%rsp), %ymm22, %ymm21
 666
 667 // CHECK: vpdpwssd  128(%rsp), %ymm22, %ymm21
 668 // CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x52,0x6c,0x24,0x04]
 669           vpdpwssd  128(%rsp), %ymm22, %ymm21
 670
 671 // CHECK: vpdpwssd  268435456(%rcx,%r14,8), %ymm22, %ymm21
 672 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x52,0xac,0xf1,0x00,0x00,0x00,0x10]
 673           vpdpwssd  268435456(%rcx,%r14,8), %ymm22, %ymm21
 674
 675 // CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %ymm22, %ymm21
 676 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x52,0xac,0xf1,0x00,0x00,0x00,0xe0]
 677           vpdpwssd  -536870912(%rcx,%r14,8), %ymm22, %ymm21
 678
 679 // CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %ymm22, %ymm21
 680 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x52,0xac,0xf1,0x02,0x00,0x00,0xe0]
 681           vpdpwssd  -536870910(%rcx,%r14,8), %ymm22, %ymm21
 682
 683 // CHECK: vpdpwssds  (%rcx), %ymm22, %ymm21
 684 // CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x53,0x29]
 685           vpdpwssds  (%rcx), %ymm22, %ymm21
 686
 687 // CHECK: vpdpwssds  -128(%rsp), %ymm22, %ymm21
 688 // CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x53,0x6c,0x24,0xfc]
 689           vpdpwssds  -128(%rsp), %ymm22, %ymm21
 690
 691 // CHECK: vpdpwssds  128(%rsp), %ymm22, %ymm21
 692 // CHECK: encoding: [0x62,0xe2,0x4d,0x20,0x53,0x6c,0x24,0x04]
 693           vpdpwssds  128(%rsp), %ymm22, %ymm21
 694
 695 // CHECK: vpdpwssds  268435456(%rcx,%r14,8), %ymm22, %ymm21
 696 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x53,0xac,0xf1,0x00,0x00,0x00,0x10]
 697           vpdpwssds  268435456(%rcx,%r14,8), %ymm22, %ymm21
 698
 699 // CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %ymm22, %ymm21
 700 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x53,0xac,0xf1,0x00,0x00,0x00,0xe0]
 701           vpdpwssds  -536870912(%rcx,%r14,8), %ymm22, %ymm21
 702
 703 // CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %ymm22, %ymm21
 704 // CHECK: encoding: [0x62,0xa2,0x4d,0x20,0x53,0xac,0xf1,0x02,0x00,0x00,0xe0]
 705           vpdpwssds  -536870910(%rcx,%r14,8), %ymm22, %ymm21
 706
 707 // CHECK: vpdpbusd  (%rcx), %ymm2, %ymm1 {%k2}
 708 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x50,0x09]
 709           vpdpbusd  (%rcx), %ymm2, %ymm1 {%k2}
 710
 711 // CHECK: vpdpbusd  -128(%rsp), %ymm2, %ymm1 {%k2}
 712 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x50,0x4c,0x24,0xfc]
 713           vpdpbusd  -128(%rsp), %ymm2, %ymm1 {%k2}
 714
 715 // CHECK: vpdpbusd  128(%rsp), %ymm2, %ymm1 {%k2}
 716 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x50,0x4c,0x24,0x04]
 717           vpdpbusd  128(%rsp), %ymm2, %ymm1 {%k2}
 718
 719 // CHECK: vpdpbusd  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 720 // CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x50,0x8c,0xf1,0x00,0x00,0x00,0x10]
 721           vpdpbusd  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 722
 723 // CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 724 // CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x50,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 725           vpdpbusd  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 726
 727 // CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 728 // CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x50,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 729           vpdpbusd  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 730
 731 // CHECK: vpdpbusds  (%rcx), %ymm2, %ymm1 {%k2}
 732 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x51,0x09]
 733           vpdpbusds  (%rcx), %ymm2, %ymm1 {%k2}
 734
 735 // CHECK: vpdpbusds  -128(%rsp), %ymm2, %ymm1 {%k2}
 736 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x51,0x4c,0x24,0xfc]
 737           vpdpbusds  -128(%rsp), %ymm2, %ymm1 {%k2}
 738
 739 // CHECK: vpdpbusds  128(%rsp), %ymm2, %ymm1 {%k2}
 740 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x51,0x4c,0x24,0x04]
 741           vpdpbusds  128(%rsp), %ymm2, %ymm1 {%k2}
 742
 743 // CHECK: vpdpbusds  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 744 // CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x51,0x8c,0xf1,0x00,0x00,0x00,0x10]
 745           vpdpbusds  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 746
 747 // CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 748 // CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x51,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 749           vpdpbusds  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 750
 751 // CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 752 // CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x51,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 753           vpdpbusds  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 754
 755 // CHECK: vpdpwssd  (%rcx), %ymm2, %ymm1 {%k2}
 756 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x52,0x09]
 757           vpdpwssd  (%rcx), %ymm2, %ymm1 {%k2}
 758
 759 // CHECK: vpdpwssd  -128(%rsp), %ymm2, %ymm1 {%k2}
 760 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x52,0x4c,0x24,0xfc]
 761           vpdpwssd  -128(%rsp), %ymm2, %ymm1 {%k2}
 762
 763 // CHECK: vpdpwssd  128(%rsp), %ymm2, %ymm1 {%k2}
 764 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x52,0x4c,0x24,0x04]
 765           vpdpwssd  128(%rsp), %ymm2, %ymm1 {%k2}
 766
 767 // CHECK: vpdpwssd  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 768 // CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x52,0x8c,0xf1,0x00,0x00,0x00,0x10]
 769           vpdpwssd  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 770
 771 // CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 772 // CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x52,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 773           vpdpwssd  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 774
 775 // CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 776 // CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x52,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 777           vpdpwssd  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 778
 779 // CHECK: vpdpwssds  (%rcx), %ymm2, %ymm1 {%k2}
 780 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x53,0x09]
 781           vpdpwssds  (%rcx), %ymm2, %ymm1 {%k2}
 782
 783 // CHECK: vpdpwssds  -128(%rsp), %ymm2, %ymm1 {%k2}
 784 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x53,0x4c,0x24,0xfc]
 785           vpdpwssds  -128(%rsp), %ymm2, %ymm1 {%k2}
 786
 787 // CHECK: vpdpwssds  128(%rsp), %ymm2, %ymm1 {%k2}
 788 // CHECK: encoding: [0x62,0xf2,0x6d,0x2a,0x53,0x4c,0x24,0x04]
 789           vpdpwssds  128(%rsp), %ymm2, %ymm1 {%k2}
 790
 791 // CHECK: vpdpwssds  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 792 // CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x53,0x8c,0xf1,0x00,0x00,0x00,0x10]
 793           vpdpwssds  268435456(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 794
 795 // CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 796 // CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x53,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 797           vpdpwssds  -536870912(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 798
 799 // CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 800 // CHECK: encoding: [0x62,0xb2,0x6d,0x2a,0x53,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 801           vpdpwssds  -536870910(%rcx,%r14,8), %ymm2, %ymm1 {%k2}
 802
 803 // CHECK: vpdpbusd  (%rcx), %ymm22, %ymm21 {%k2}
 804 // CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x50,0x29]
 805           vpdpbusd  (%rcx), %ymm22, %ymm21 {%k2}
 806
 807 // CHECK: vpdpbusd  -128(%rsp), %ymm22, %ymm21 {%k2}
 808 // CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x50,0x6c,0x24,0xfc]
 809           vpdpbusd  -128(%rsp), %ymm22, %ymm21 {%k2}
 810
 811 // CHECK: vpdpbusd  128(%rsp), %ymm22, %ymm21 {%k2}
 812 // CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x50,0x6c,0x24,0x04]
 813           vpdpbusd  128(%rsp), %ymm22, %ymm21 {%k2}
 814
 815 // CHECK: vpdpbusd  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 816 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x50,0xac,0xf1,0x00,0x00,0x00,0x10]
 817           vpdpbusd  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 818
 819 // CHECK: vpdpbusd  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 820 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x50,0xac,0xf1,0x00,0x00,0x00,0xe0]
 821           vpdpbusd  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 822
 823 // CHECK: vpdpbusd  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 824 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x50,0xac,0xf1,0x02,0x00,0x00,0xe0]
 825           vpdpbusd  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 826
 827 // CHECK: vpdpbusds  (%rcx), %ymm22, %ymm21 {%k2}
 828 // CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x51,0x29]
 829           vpdpbusds  (%rcx), %ymm22, %ymm21 {%k2}
 830
 831 // CHECK: vpdpbusds  -128(%rsp), %ymm22, %ymm21 {%k2}
 832 // CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x51,0x6c,0x24,0xfc]
 833           vpdpbusds  -128(%rsp), %ymm22, %ymm21 {%k2}
 834
 835 // CHECK: vpdpbusds  128(%rsp), %ymm22, %ymm21 {%k2}
 836 // CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x51,0x6c,0x24,0x04]
 837           vpdpbusds  128(%rsp), %ymm22, %ymm21 {%k2}
 838
 839 // CHECK: vpdpbusds  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 840 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x51,0xac,0xf1,0x00,0x00,0x00,0x10]
 841           vpdpbusds  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 842
 843 // CHECK: vpdpbusds  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 844 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x51,0xac,0xf1,0x00,0x00,0x00,0xe0]
 845           vpdpbusds  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 846
 847 // CHECK: vpdpbusds  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 848 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x51,0xac,0xf1,0x02,0x00,0x00,0xe0]
 849           vpdpbusds  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 850
 851 // CHECK: vpdpwssd  (%rcx), %ymm22, %ymm21 {%k2}
 852 // CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x52,0x29]
 853           vpdpwssd  (%rcx), %ymm22, %ymm21 {%k2}
 854
 855 // CHECK: vpdpwssd  -128(%rsp), %ymm22, %ymm21 {%k2}
 856 // CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x52,0x6c,0x24,0xfc]
 857           vpdpwssd  -128(%rsp), %ymm22, %ymm21 {%k2}
 858
 859 // CHECK: vpdpwssd  128(%rsp), %ymm22, %ymm21 {%k2}
 860 // CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x52,0x6c,0x24,0x04]
 861           vpdpwssd  128(%rsp), %ymm22, %ymm21 {%k2}
 862
 863 // CHECK: vpdpwssd  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 864 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x52,0xac,0xf1,0x00,0x00,0x00,0x10]
 865           vpdpwssd  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 866
 867 // CHECK: vpdpwssd  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 868 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x52,0xac,0xf1,0x00,0x00,0x00,0xe0]
 869           vpdpwssd  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 870
 871 // CHECK: vpdpwssd  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 872 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x52,0xac,0xf1,0x02,0x00,0x00,0xe0]
 873           vpdpwssd  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 874
 875 // CHECK: vpdpwssds  (%rcx), %ymm22, %ymm21 {%k2}
 876 // CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x53,0x29]
 877           vpdpwssds  (%rcx), %ymm22, %ymm21 {%k2}
 878
 879 // CHECK: vpdpwssds  -128(%rsp), %ymm22, %ymm21 {%k2}
 880 // CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x53,0x6c,0x24,0xfc]
 881           vpdpwssds  -128(%rsp), %ymm22, %ymm21 {%k2}
 882
 883 // CHECK: vpdpwssds  128(%rsp), %ymm22, %ymm21 {%k2}
 884 // CHECK: encoding: [0x62,0xe2,0x4d,0x22,0x53,0x6c,0x24,0x04]
 885           vpdpwssds  128(%rsp), %ymm22, %ymm21 {%k2}
 886
 887 // CHECK: vpdpwssds  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 888 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x53,0xac,0xf1,0x00,0x00,0x00,0x10]
 889           vpdpwssds  268435456(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 890
 891 // CHECK: vpdpwssds  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 892 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x53,0xac,0xf1,0x00,0x00,0x00,0xe0]
 893           vpdpwssds  -536870912(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 894
 895 // CHECK: vpdpwssds  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 896 // CHECK: encoding: [0x62,0xa2,0x4d,0x22,0x53,0xac,0xf1,0x02,0x00,0x00,0xe0]
 897           vpdpwssds  -536870910(%rcx,%r14,8), %ymm22, %ymm21 {%k2}
 898