llvm/test/MC/X86/avx-vnni-int16-64-att.s

   1 // RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s
   2
   3 // CHECK: vpdpwsud %ymm4, %ymm13, %ymm12
   4 // CHECK: encoding: [0xc4,0x62,0x16,0xd2,0xe4]
   5           vpdpwsud %ymm4, %ymm13, %ymm12
   6
   7 // CHECK: vpdpwsud %xmm4, %xmm13, %xmm12
   8 // CHECK: encoding: [0xc4,0x62,0x12,0xd2,0xe4]
   9           vpdpwsud %xmm4, %xmm13, %xmm12
  10
  11 // CHECK: vpdpwsud  268435456(%rbp,%r14,8), %ymm13, %ymm12
  12 // CHECK: encoding: [0xc4,0x22,0x16,0xd2,0xa4,0xf5,0x00,0x00,0x00,0x10]
  13           vpdpwsud  268435456(%rbp,%r14,8), %ymm13, %ymm12
  14
  15 // CHECK: vpdpwsud  291(%r8,%rax,4), %ymm13, %ymm12
  16 // CHECK: encoding: [0xc4,0x42,0x16,0xd2,0xa4,0x80,0x23,0x01,0x00,0x00]
  17           vpdpwsud  291(%r8,%rax,4), %ymm13, %ymm12
  18
  19 // CHECK: vpdpwsud  (%rip), %ymm13, %ymm12
  20 // CHECK: encoding: [0xc4,0x62,0x16,0xd2,0x25,0x00,0x00,0x00,0x00]
  21           vpdpwsud  (%rip), %ymm13, %ymm12
  22
  23 // CHECK: vpdpwsud  -1024(,%rbp,2), %ymm13, %ymm12
  24 // CHECK: encoding: [0xc4,0x62,0x16,0xd2,0x24,0x6d,0x00,0xfc,0xff,0xff]
  25           vpdpwsud  -1024(,%rbp,2), %ymm13, %ymm12
  26
  27 // CHECK: vpdpwsud  4064(%rcx), %ymm13, %ymm12
  28 // CHECK: encoding: [0xc4,0x62,0x16,0xd2,0xa1,0xe0,0x0f,0x00,0x00]
  29           vpdpwsud  4064(%rcx), %ymm13, %ymm12
  30
  31 // CHECK: vpdpwsud  -4096(%rdx), %ymm13, %ymm12
  32 // CHECK: encoding: [0xc4,0x62,0x16,0xd2,0xa2,0x00,0xf0,0xff,0xff]
  33           vpdpwsud  -4096(%rdx), %ymm13, %ymm12
  34
  35 // CHECK: vpdpwsud  268435456(%rbp,%r14,8), %xmm13, %xmm12
  36 // CHECK: encoding: [0xc4,0x22,0x12,0xd2,0xa4,0xf5,0x00,0x00,0x00,0x10]
  37           vpdpwsud  268435456(%rbp,%r14,8), %xmm13, %xmm12
  38
  39 // CHECK: vpdpwsud  291(%r8,%rax,4), %xmm13, %xmm12
  40 // CHECK: encoding: [0xc4,0x42,0x12,0xd2,0xa4,0x80,0x23,0x01,0x00,0x00]
  41           vpdpwsud  291(%r8,%rax,4), %xmm13, %xmm12
  42
  43 // CHECK: vpdpwsud  (%rip), %xmm13, %xmm12
  44 // CHECK: encoding: [0xc4,0x62,0x12,0xd2,0x25,0x00,0x00,0x00,0x00]
  45           vpdpwsud  (%rip), %xmm13, %xmm12
  46
  47 // CHECK: vpdpwsud  -512(,%rbp,2), %xmm13, %xmm12
  48 // CHECK: encoding: [0xc4,0x62,0x12,0xd2,0x24,0x6d,0x00,0xfe,0xff,0xff]
  49           vpdpwsud  -512(,%rbp,2), %xmm13, %xmm12
  50
  51 // CHECK: vpdpwsud  2032(%rcx), %xmm13, %xmm12
  52 // CHECK: encoding: [0xc4,0x62,0x12,0xd2,0xa1,0xf0,0x07,0x00,0x00]
  53           vpdpwsud  2032(%rcx), %xmm13, %xmm12
  54
  55 // CHECK: vpdpwsud  -2048(%rdx), %xmm13, %xmm12
  56 // CHECK: encoding: [0xc4,0x62,0x12,0xd2,0xa2,0x00,0xf8,0xff,0xff]
  57           vpdpwsud  -2048(%rdx), %xmm13, %xmm12
  58
  59 // CHECK: vpdpwsuds %ymm4, %ymm13, %ymm12
  60 // CHECK: encoding: [0xc4,0x62,0x16,0xd3,0xe4]
  61           vpdpwsuds %ymm4, %ymm13, %ymm12
  62
  63 // CHECK: vpdpwsuds %xmm4, %xmm13, %xmm12
  64 // CHECK: encoding: [0xc4,0x62,0x12,0xd3,0xe4]
  65           vpdpwsuds %xmm4, %xmm13, %xmm12
  66
  67 // CHECK: vpdpwsuds  268435456(%rbp,%r14,8), %ymm13, %ymm12
  68 // CHECK: encoding: [0xc4,0x22,0x16,0xd3,0xa4,0xf5,0x00,0x00,0x00,0x10]
  69           vpdpwsuds  268435456(%rbp,%r14,8), %ymm13, %ymm12
  70
  71 // CHECK: vpdpwsuds  291(%r8,%rax,4), %ymm13, %ymm12
  72 // CHECK: encoding: [0xc4,0x42,0x16,0xd3,0xa4,0x80,0x23,0x01,0x00,0x00]
  73           vpdpwsuds  291(%r8,%rax,4), %ymm13, %ymm12
  74
  75 // CHECK: vpdpwsuds  (%rip), %ymm13, %ymm12
  76 // CHECK: encoding: [0xc4,0x62,0x16,0xd3,0x25,0x00,0x00,0x00,0x00]
  77           vpdpwsuds  (%rip), %ymm13, %ymm12
  78
  79 // CHECK: vpdpwsuds  -1024(,%rbp,2), %ymm13, %ymm12
  80 // CHECK: encoding: [0xc4,0x62,0x16,0xd3,0x24,0x6d,0x00,0xfc,0xff,0xff]
  81           vpdpwsuds  -1024(,%rbp,2), %ymm13, %ymm12
  82
  83 // CHECK: vpdpwsuds  4064(%rcx), %ymm13, %ymm12
  84 // CHECK: encoding: [0xc4,0x62,0x16,0xd3,0xa1,0xe0,0x0f,0x00,0x00]
  85           vpdpwsuds  4064(%rcx), %ymm13, %ymm12
  86
  87 // CHECK: vpdpwsuds  -4096(%rdx), %ymm13, %ymm12
  88 // CHECK: encoding: [0xc4,0x62,0x16,0xd3,0xa2,0x00,0xf0,0xff,0xff]
  89           vpdpwsuds  -4096(%rdx), %ymm13, %ymm12
  90
  91 // CHECK: vpdpwsuds  268435456(%rbp,%r14,8), %xmm13, %xmm12
  92 // CHECK: encoding: [0xc4,0x22,0x12,0xd3,0xa4,0xf5,0x00,0x00,0x00,0x10]
  93           vpdpwsuds  268435456(%rbp,%r14,8), %xmm13, %xmm12
  94
  95 // CHECK: vpdpwsuds  291(%r8,%rax,4), %xmm13, %xmm12
  96 // CHECK: encoding: [0xc4,0x42,0x12,0xd3,0xa4,0x80,0x23,0x01,0x00,0x00]
  97           vpdpwsuds  291(%r8,%rax,4), %xmm13, %xmm12
  98
  99 // CHECK: vpdpwsuds  (%rip), %xmm13, %xmm12
 100 // CHECK: encoding: [0xc4,0x62,0x12,0xd3,0x25,0x00,0x00,0x00,0x00]
 101           vpdpwsuds  (%rip), %xmm13, %xmm12
 102
 103 // CHECK: vpdpwsuds  -512(,%rbp,2), %xmm13, %xmm12
 104 // CHECK: encoding: [0xc4,0x62,0x12,0xd3,0x24,0x6d,0x00,0xfe,0xff,0xff]
 105           vpdpwsuds  -512(,%rbp,2), %xmm13, %xmm12
 106
 107 // CHECK: vpdpwsuds  2032(%rcx), %xmm13, %xmm12
 108 // CHECK: encoding: [0xc4,0x62,0x12,0xd3,0xa1,0xf0,0x07,0x00,0x00]
 109           vpdpwsuds  2032(%rcx), %xmm13, %xmm12
 110
 111 // CHECK: vpdpwsuds  -2048(%rdx), %xmm13, %xmm12
 112 // CHECK: encoding: [0xc4,0x62,0x12,0xd3,0xa2,0x00,0xf8,0xff,0xff]
 113           vpdpwsuds  -2048(%rdx), %xmm13, %xmm12
 114
 115 // CHECK: vpdpwusd %ymm4, %ymm13, %ymm12
 116 // CHECK: encoding: [0xc4,0x62,0x15,0xd2,0xe4]
 117           vpdpwusd %ymm4, %ymm13, %ymm12
 118
 119 // CHECK: vpdpwusd %xmm4, %xmm13, %xmm12
 120 // CHECK: encoding: [0xc4,0x62,0x11,0xd2,0xe4]
 121           vpdpwusd %xmm4, %xmm13, %xmm12
 122
 123 // CHECK: vpdpwusd  268435456(%rbp,%r14,8), %ymm13, %ymm12
 124 // CHECK: encoding: [0xc4,0x22,0x15,0xd2,0xa4,0xf5,0x00,0x00,0x00,0x10]
 125           vpdpwusd  268435456(%rbp,%r14,8), %ymm13, %ymm12
 126
 127 // CHECK: vpdpwusd  291(%r8,%rax,4), %ymm13, %ymm12
 128 // CHECK: encoding: [0xc4,0x42,0x15,0xd2,0xa4,0x80,0x23,0x01,0x00,0x00]
 129           vpdpwusd  291(%r8,%rax,4), %ymm13, %ymm12
 130
 131 // CHECK: vpdpwusd  (%rip), %ymm13, %ymm12
 132 // CHECK: encoding: [0xc4,0x62,0x15,0xd2,0x25,0x00,0x00,0x00,0x00]
 133           vpdpwusd  (%rip), %ymm13, %ymm12
 134
 135 // CHECK: vpdpwusd  -1024(,%rbp,2), %ymm13, %ymm12
 136 // CHECK: encoding: [0xc4,0x62,0x15,0xd2,0x24,0x6d,0x00,0xfc,0xff,0xff]
 137           vpdpwusd  -1024(,%rbp,2), %ymm13, %ymm12
 138
 139 // CHECK: vpdpwusd  4064(%rcx), %ymm13, %ymm12
 140 // CHECK: encoding: [0xc4,0x62,0x15,0xd2,0xa1,0xe0,0x0f,0x00,0x00]
 141           vpdpwusd  4064(%rcx), %ymm13, %ymm12
 142
 143 // CHECK: vpdpwusd  -4096(%rdx), %ymm13, %ymm12
 144 // CHECK: encoding: [0xc4,0x62,0x15,0xd2,0xa2,0x00,0xf0,0xff,0xff]
 145           vpdpwusd  -4096(%rdx), %ymm13, %ymm12
 146
 147 // CHECK: vpdpwusd  268435456(%rbp,%r14,8), %xmm13, %xmm12
 148 // CHECK: encoding: [0xc4,0x22,0x11,0xd2,0xa4,0xf5,0x00,0x00,0x00,0x10]
 149           vpdpwusd  268435456(%rbp,%r14,8), %xmm13, %xmm12
 150
 151 // CHECK: vpdpwusd  291(%r8,%rax,4), %xmm13, %xmm12
 152 // CHECK: encoding: [0xc4,0x42,0x11,0xd2,0xa4,0x80,0x23,0x01,0x00,0x00]
 153           vpdpwusd  291(%r8,%rax,4), %xmm13, %xmm12
 154
 155 // CHECK: vpdpwusd  (%rip), %xmm13, %xmm12
 156 // CHECK: encoding: [0xc4,0x62,0x11,0xd2,0x25,0x00,0x00,0x00,0x00]
 157           vpdpwusd  (%rip), %xmm13, %xmm12
 158
 159 // CHECK: vpdpwusd  -512(,%rbp,2), %xmm13, %xmm12
 160 // CHECK: encoding: [0xc4,0x62,0x11,0xd2,0x24,0x6d,0x00,0xfe,0xff,0xff]
 161           vpdpwusd  -512(,%rbp,2), %xmm13, %xmm12
 162
 163 // CHECK: vpdpwusd  2032(%rcx), %xmm13, %xmm12
 164 // CHECK: encoding: [0xc4,0x62,0x11,0xd2,0xa1,0xf0,0x07,0x00,0x00]
 165           vpdpwusd  2032(%rcx), %xmm13, %xmm12
 166
 167 // CHECK: vpdpwusd  -2048(%rdx), %xmm13, %xmm12
 168 // CHECK: encoding: [0xc4,0x62,0x11,0xd2,0xa2,0x00,0xf8,0xff,0xff]
 169           vpdpwusd  -2048(%rdx), %xmm13, %xmm12
 170
 171 // CHECK: vpdpwusds %ymm4, %ymm13, %ymm12
 172 // CHECK: encoding: [0xc4,0x62,0x15,0xd3,0xe4]
 173           vpdpwusds %ymm4, %ymm13, %ymm12
 174
 175 // CHECK: vpdpwusds %xmm4, %xmm13, %xmm12
 176 // CHECK: encoding: [0xc4,0x62,0x11,0xd3,0xe4]
 177           vpdpwusds %xmm4, %xmm13, %xmm12
 178
 179 // CHECK: vpdpwusds  268435456(%rbp,%r14,8), %ymm13, %ymm12
 180 // CHECK: encoding: [0xc4,0x22,0x15,0xd3,0xa4,0xf5,0x00,0x00,0x00,0x10]
 181           vpdpwusds  268435456(%rbp,%r14,8), %ymm13, %ymm12
 182
 183 // CHECK: vpdpwusds  291(%r8,%rax,4), %ymm13, %ymm12
 184 // CHECK: encoding: [0xc4,0x42,0x15,0xd3,0xa4,0x80,0x23,0x01,0x00,0x00]
 185           vpdpwusds  291(%r8,%rax,4), %ymm13, %ymm12
 186
 187 // CHECK: vpdpwusds  (%rip), %ymm13, %ymm12
 188 // CHECK: encoding: [0xc4,0x62,0x15,0xd3,0x25,0x00,0x00,0x00,0x00]
 189           vpdpwusds  (%rip), %ymm13, %ymm12
 190
 191 // CHECK: vpdpwusds  -1024(,%rbp,2), %ymm13, %ymm12
 192 // CHECK: encoding: [0xc4,0x62,0x15,0xd3,0x24,0x6d,0x00,0xfc,0xff,0xff]
 193           vpdpwusds  -1024(,%rbp,2), %ymm13, %ymm12
 194
 195 // CHECK: vpdpwusds  4064(%rcx), %ymm13, %ymm12
 196 // CHECK: encoding: [0xc4,0x62,0x15,0xd3,0xa1,0xe0,0x0f,0x00,0x00]
 197           vpdpwusds  4064(%rcx), %ymm13, %ymm12
 198
 199 // CHECK: vpdpwusds  -4096(%rdx), %ymm13, %ymm12
 200 // CHECK: encoding: [0xc4,0x62,0x15,0xd3,0xa2,0x00,0xf0,0xff,0xff]
 201           vpdpwusds  -4096(%rdx), %ymm13, %ymm12
 202
 203 // CHECK: vpdpwusds  268435456(%rbp,%r14,8), %xmm13, %xmm12
 204 // CHECK: encoding: [0xc4,0x22,0x11,0xd3,0xa4,0xf5,0x00,0x00,0x00,0x10]
 205           vpdpwusds  268435456(%rbp,%r14,8), %xmm13, %xmm12
 206
 207 // CHECK: vpdpwusds  291(%r8,%rax,4), %xmm13, %xmm12
 208 // CHECK: encoding: [0xc4,0x42,0x11,0xd3,0xa4,0x80,0x23,0x01,0x00,0x00]
 209           vpdpwusds  291(%r8,%rax,4), %xmm13, %xmm12
 210
 211 // CHECK: vpdpwusds  (%rip), %xmm13, %xmm12
 212 // CHECK: encoding: [0xc4,0x62,0x11,0xd3,0x25,0x00,0x00,0x00,0x00]
 213           vpdpwusds  (%rip), %xmm13, %xmm12
 214
 215 // CHECK: vpdpwusds  -512(,%rbp,2), %xmm13, %xmm12
 216 // CHECK: encoding: [0xc4,0x62,0x11,0xd3,0x24,0x6d,0x00,0xfe,0xff,0xff]
 217           vpdpwusds  -512(,%rbp,2), %xmm13, %xmm12
 218
 219 // CHECK: vpdpwusds  2032(%rcx), %xmm13, %xmm12
 220 // CHECK: encoding: [0xc4,0x62,0x11,0xd3,0xa1,0xf0,0x07,0x00,0x00]
 221           vpdpwusds  2032(%rcx), %xmm13, %xmm12
 222
 223 // CHECK: vpdpwusds  -2048(%rdx), %xmm13, %xmm12
 224 // CHECK: encoding: [0xc4,0x62,0x11,0xd3,0xa2,0x00,0xf8,0xff,0xff]
 225           vpdpwusds  -2048(%rdx), %xmm13, %xmm12
 226
 227 // CHECK: vpdpwuud %ymm4, %ymm13, %ymm12
 228 // CHECK: encoding: [0xc4,0x62,0x14,0xd2,0xe4]
 229           vpdpwuud %ymm4, %ymm13, %ymm12
 230
 231 // CHECK: vpdpwuud %xmm4, %xmm13, %xmm12
 232 // CHECK: encoding: [0xc4,0x62,0x10,0xd2,0xe4]
 233           vpdpwuud %xmm4, %xmm13, %xmm12
 234
 235 // CHECK: vpdpwuud  268435456(%rbp,%r14,8), %ymm13, %ymm12
 236 // CHECK: encoding: [0xc4,0x22,0x14,0xd2,0xa4,0xf5,0x00,0x00,0x00,0x10]
 237           vpdpwuud  268435456(%rbp,%r14,8), %ymm13, %ymm12
 238
 239 // CHECK: vpdpwuud  291(%r8,%rax,4), %ymm13, %ymm12
 240 // CHECK: encoding: [0xc4,0x42,0x14,0xd2,0xa4,0x80,0x23,0x01,0x00,0x00]
 241           vpdpwuud  291(%r8,%rax,4), %ymm13, %ymm12
 242
 243 // CHECK: vpdpwuud  (%rip), %ymm13, %ymm12
 244 // CHECK: encoding: [0xc4,0x62,0x14,0xd2,0x25,0x00,0x00,0x00,0x00]
 245           vpdpwuud  (%rip), %ymm13, %ymm12
 246
 247 // CHECK: vpdpwuud  -1024(,%rbp,2), %ymm13, %ymm12
 248 // CHECK: encoding: [0xc4,0x62,0x14,0xd2,0x24,0x6d,0x00,0xfc,0xff,0xff]
 249           vpdpwuud  -1024(,%rbp,2), %ymm13, %ymm12
 250
 251 // CHECK: vpdpwuud  4064(%rcx), %ymm13, %ymm12
 252 // CHECK: encoding: [0xc4,0x62,0x14,0xd2,0xa1,0xe0,0x0f,0x00,0x00]
 253           vpdpwuud  4064(%rcx), %ymm13, %ymm12
 254
 255 // CHECK: vpdpwuud  -4096(%rdx), %ymm13, %ymm12
 256 // CHECK: encoding: [0xc4,0x62,0x14,0xd2,0xa2,0x00,0xf0,0xff,0xff]
 257           vpdpwuud  -4096(%rdx), %ymm13, %ymm12
 258
 259 // CHECK: vpdpwuud  268435456(%rbp,%r14,8), %xmm13, %xmm12
 260 // CHECK: encoding: [0xc4,0x22,0x10,0xd2,0xa4,0xf5,0x00,0x00,0x00,0x10]
 261           vpdpwuud  268435456(%rbp,%r14,8), %xmm13, %xmm12
 262
 263 // CHECK: vpdpwuud  291(%r8,%rax,4), %xmm13, %xmm12
 264 // CHECK: encoding: [0xc4,0x42,0x10,0xd2,0xa4,0x80,0x23,0x01,0x00,0x00]
 265           vpdpwuud  291(%r8,%rax,4), %xmm13, %xmm12
 266
 267 // CHECK: vpdpwuud  (%rip), %xmm13, %xmm12
 268 // CHECK: encoding: [0xc4,0x62,0x10,0xd2,0x25,0x00,0x00,0x00,0x00]
 269           vpdpwuud  (%rip), %xmm13, %xmm12
 270
 271 // CHECK: vpdpwuud  -512(,%rbp,2), %xmm13, %xmm12
 272 // CHECK: encoding: [0xc4,0x62,0x10,0xd2,0x24,0x6d,0x00,0xfe,0xff,0xff]
 273           vpdpwuud  -512(,%rbp,2), %xmm13, %xmm12
 274
 275 // CHECK: vpdpwuud  2032(%rcx), %xmm13, %xmm12
 276 // CHECK: encoding: [0xc4,0x62,0x10,0xd2,0xa1,0xf0,0x07,0x00,0x00]
 277           vpdpwuud  2032(%rcx), %xmm13, %xmm12
 278
 279 // CHECK: vpdpwuud  -2048(%rdx), %xmm13, %xmm12
 280 // CHECK: encoding: [0xc4,0x62,0x10,0xd2,0xa2,0x00,0xf8,0xff,0xff]
 281           vpdpwuud  -2048(%rdx), %xmm13, %xmm12
 282
 283 // CHECK: vpdpwuuds %ymm4, %ymm13, %ymm12
 284 // CHECK: encoding: [0xc4,0x62,0x14,0xd3,0xe4]
 285           vpdpwuuds %ymm4, %ymm13, %ymm12
 286
 287 // CHECK: vpdpwuuds %xmm4, %xmm13, %xmm12
 288 // CHECK: encoding: [0xc4,0x62,0x10,0xd3,0xe4]
 289           vpdpwuuds %xmm4, %xmm13, %xmm12
 290
 291 // CHECK: vpdpwuuds  268435456(%rbp,%r14,8), %ymm13, %ymm12
 292 // CHECK: encoding: [0xc4,0x22,0x14,0xd3,0xa4,0xf5,0x00,0x00,0x00,0x10]
 293           vpdpwuuds  268435456(%rbp,%r14,8), %ymm13, %ymm12
 294
 295 // CHECK: vpdpwuuds  291(%r8,%rax,4), %ymm13, %ymm12
 296 // CHECK: encoding: [0xc4,0x42,0x14,0xd3,0xa4,0x80,0x23,0x01,0x00,0x00]
 297           vpdpwuuds  291(%r8,%rax,4), %ymm13, %ymm12
 298
 299 // CHECK: vpdpwuuds  (%rip), %ymm13, %ymm12
 300 // CHECK: encoding: [0xc4,0x62,0x14,0xd3,0x25,0x00,0x00,0x00,0x00]
 301           vpdpwuuds  (%rip), %ymm13, %ymm12
 302
 303 // CHECK: vpdpwuuds  -1024(,%rbp,2), %ymm13, %ymm12
 304 // CHECK: encoding: [0xc4,0x62,0x14,0xd3,0x24,0x6d,0x00,0xfc,0xff,0xff]
 305           vpdpwuuds  -1024(,%rbp,2), %ymm13, %ymm12
 306
 307 // CHECK: vpdpwuuds  4064(%rcx), %ymm13, %ymm12
 308 // CHECK: encoding: [0xc4,0x62,0x14,0xd3,0xa1,0xe0,0x0f,0x00,0x00]
 309           vpdpwuuds  4064(%rcx), %ymm13, %ymm12
 310
 311 // CHECK: vpdpwuuds  -4096(%rdx), %ymm13, %ymm12
 312 // CHECK: encoding: [0xc4,0x62,0x14,0xd3,0xa2,0x00,0xf0,0xff,0xff]
 313           vpdpwuuds  -4096(%rdx), %ymm13, %ymm12
 314
 315 // CHECK: vpdpwuuds  268435456(%rbp,%r14,8), %xmm13, %xmm12
 316 // CHECK: encoding: [0xc4,0x22,0x10,0xd3,0xa4,0xf5,0x00,0x00,0x00,0x10]
 317           vpdpwuuds  268435456(%rbp,%r14,8), %xmm13, %xmm12
 318
 319 // CHECK: vpdpwuuds  291(%r8,%rax,4), %xmm13, %xmm12
 320 // CHECK: encoding: [0xc4,0x42,0x10,0xd3,0xa4,0x80,0x23,0x01,0x00,0x00]
 321           vpdpwuuds  291(%r8,%rax,4), %xmm13, %xmm12
 322
 323 // CHECK: vpdpwuuds  (%rip), %xmm13, %xmm12
 324 // CHECK: encoding: [0xc4,0x62,0x10,0xd3,0x25,0x00,0x00,0x00,0x00]
 325           vpdpwuuds  (%rip), %xmm13, %xmm12
 326
 327 // CHECK: vpdpwuuds  -512(,%rbp,2), %xmm13, %xmm12
 328 // CHECK: encoding: [0xc4,0x62,0x10,0xd3,0x24,0x6d,0x00,0xfe,0xff,0xff]
 329           vpdpwuuds  -512(,%rbp,2), %xmm13, %xmm12
 330
 331 // CHECK: vpdpwuuds  2032(%rcx), %xmm13, %xmm12
 332 // CHECK: encoding: [0xc4,0x62,0x10,0xd3,0xa1,0xf0,0x07,0x00,0x00]
 333           vpdpwuuds  2032(%rcx), %xmm13, %xmm12
 334
 335 // CHECK: vpdpwuuds  -2048(%rdx), %xmm13, %xmm12
 336 // CHECK: encoding: [0xc4,0x62,0x10,0xd3,0xa2,0x00,0xf8,0xff,0xff]
 337           vpdpwuuds  -2048(%rdx), %xmm13, %xmm12
 338