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

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