test/MC/X86/intel-syntax-avx512.s

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown -x86-asm-syntax=intel -output-asm-variant=1 -mcpu=knl --show-encoding %s | FileCheck %s
   2
   3 // CHECK: vaddps  zmm1, zmm1, zmmword ptr [rax]
   4 // CHECK: encoding: [0x62,0xf1,0x74,0x48,0x58,0x08]
   5 vaddps zmm1, zmm1, zmmword ptr [rax]
   6
   7 // CHECK: vaddpd  zmm1, zmm1, zmm2
   8 // CHECK:  encoding: [0x62,0xf1,0xf5,0x48,0x58,0xca]
   9 vaddpd zmm1,zmm1,zmm2
  10
  11 // CHECK: vaddpd  zmm1 {k5}, zmm1, zmm2
  12 // CHECK:  encoding: [0x62,0xf1,0xf5,0x4d,0x58,0xca]
  13 vaddpd zmm1{k5},zmm1,zmm2
  14
  15 // CHECK: vaddpd zmm1 {k5} {z}, zmm1, zmm2
  16 // CHECK:  encoding: [0x62,0xf1,0xf5,0xcd,0x58,0xca]
  17 vaddpd zmm1{k5} {z},zmm1,zmm2
  18
  19 // CHECK: vaddpd zmm1, zmm1, zmm2, {rn-sae}
  20 // CHECK:  encoding: [0x62,0xf1,0xf5,0x18,0x58,0xca]
  21 vaddpd zmm1,zmm1,zmm2,{rn-sae}
  22
  23 // CHECK: vaddpd zmm1, zmm1, zmm2, {ru-sae}
  24 // CHECK:  encoding: [0x62,0xf1,0xf5,0x58,0x58,0xca]
  25 vaddpd zmm1,zmm1,zmm2,{ru-sae}
  26
  27 // CHECK:  vaddpd zmm1, zmm1, zmm2, {rd-sae}
  28 // CHECK:  encoding: [0x62,0xf1,0xf5,0x38,0x58,0xca]
  29 vaddpd zmm1,zmm1,zmm2,{rd-sae}
  30
  31 // CHECK: vaddpd zmm1, zmm1, zmm2, {rz-sae}
  32 // CHECK:  encoding: [0x62,0xf1,0xf5,0x78,0x58,0xca]
  33 vaddpd zmm1,zmm1,zmm2,{rz-sae}
  34
  35 // CHECK: vcmppd k2, zmm12, zmm26, 171
  36 // CHECK:  encoding: [0x62,0x91,0x9d,0x48,0xc2,0xd2,0xab]
  37           vcmppd k2,zmm12,zmm26,0xab
  38
  39 // CHECK: vcmppd k2 {k3}, zmm12, zmm26, 171
  40 // CHECK:  encoding: [0x62,0x91,0x9d,0x4b,0xc2,0xd2,0xab]
  41           vcmppd k2{k3},zmm12,zmm26,0xab
  42
  43 // CHECK: vcmppd k2, zmm12, zmm26, {sae}, 171
  44 // CHECK:  encoding: [0x62,0x91,0x9d,0x18,0xc2,0xd2,0xab]
  45           vcmppd k2,zmm12,zmm26,{sae},0xab
  46
  47 // CHECK: vcmppd k2, zmm12, zmm26, 123
  48 // CHECK:  encoding: [0x62,0x91,0x9d,0x48,0xc2,0xd2,0x7b]
  49           vcmppd k2 ,zmm12,zmm26,0x7b
  50
  51 // CHECK: vcmppd k2, zmm12, zmm26, {sae}, 123
  52 // CHECK:  encoding: [0x62,0x91,0x9d,0x18,0xc2,0xd2,0x7b]
  53           vcmppd k2,zmm12,zmm26,{sae},0x7b
  54
  55 // CHECK: vcmppd k2, zmm12, zmmword ptr [rcx], 123
  56 // CHECK:  encoding: [0x62,0xf1,0x9d,0x48,0xc2,0x11,0x7b]
  57           vcmppd k2,zmm12,zmmword PTR [rcx],0x7b
  58
  59 // CHECK: vcmppd  k2, zmm12, zmmword ptr [rax + 8*r14 + 291], 123
  60 // CHECK:  encoding: [0x62,0xb1,0x9d,0x48,0xc2,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b]
  61           vcmppd k2 ,zmm12,zmmword PTR [rax+r14*8+0x123],0x7b
  62
  63 // CHECK: vcmppd  k2, zmm12, qword ptr [rcx]{1to8}, 123
  64 // CHECK:  encoding: [0x62,0xf1,0x9d,0x58,0xc2,0x11,0x7b]
  65           vcmppd k2,zmm12,QWORD PTR [rcx]{1to8},0x7b
  66
  67 // CHECK: vcmppd  k2, zmm12, zmmword ptr [rdx + 8128], 123
  68 // CHECK:  encoding: [0x62,0xf1,0x9d,0x48,0xc2,0x52,0x7f,0x7b]
  69           vcmppd k2,zmm12,zmmword PTR [rdx+0x1fc0],0x7b
  70
  71 // CHECK: vcmppd  k2, zmm12, zmmword ptr [rdx + 8192], 123
  72 // CHECK:  encoding: [0x62,0xf1,0x9d,0x48,0xc2,0x92,0x00,0x20,0x00,0x00,0x7b]
  73           vcmppd k2,zmm12,zmmword PTR [rdx+0x2000],0x7b
  74
  75 // CHECK: vcmppd  k2, zmm12, zmmword ptr [rdx - 8192], 123
  76 // CHECK:  encoding: [0x62,0xf1,0x9d,0x48,0xc2,0x52,0x80,0x7b]
  77           vcmppd k2,zmm12,zmmword PTR [rdx-0x2000],0x7b
  78
  79 // CHECK: vcmppd  k2, zmm12, zmmword ptr [rdx - 8256], 123
  80 // CHECK:  encoding: [0x62,0xf1,0x9d,0x48,0xc2,0x92,0xc0,0xdf,0xff,0xff,0x7b]
  81           vcmppd k2,zmm12,zmmword PTR [rdx-0x2040],0x7b
  82
  83 // CHECK: vcmppd  k2, zmm12, qword ptr [rdx + 1016]{1to8}, 123
  84 // CHECK:  encoding: [0x62,0xf1,0x9d,0x58,0xc2,0x52,0x7f,0x7b]
  85           vcmppd k2,zmm12,QWORD PTR [rdx+0x3f8]{1to8},0x7b
  86
  87 // CHECK: vcmppd  k2, zmm12, qword ptr [rdx + 1024]{1to8}, 123
  88 // CHECK:  encoding: [0x62,0xf1,0x9d,0x58,0xc2,0x92,0x00,0x04,0x00,0x00,0x7b]
  89           vcmppd k2,zmm12,QWORD PTR [rdx+0x400]{1to8},0x7b
  90
  91 // CHECK: vcmppd  k2, zmm12, qword ptr [rdx - 1024]{1to8}, 123
  92 // CHECK:  encoding: [0x62,0xf1,0x9d,0x58,0xc2,0x52,0x80,0x7b]
  93           vcmppd k2,zmm12,QWORD PTR [rdx-0x400]{1to8},0x7b
  94
  95 // CHECK: vcmppd  k2, zmm12, qword ptr [rdx - 1032]{1to8}, 123
  96 // CHECK:  encoding: [0x62,0xf1,0x9d,0x58,0xc2,0x92,0xf8,0xfb,0xff,0xff,0x7b]
  97           vcmppd k2,zmm12,QWORD PTR [rdx-0x408]{1to8},0x7b
  98
  99 // CHECK: vcmpps  k2, zmm17, zmm22, 171
 100 // CHECK:  encoding: [0x62,0xb1,0x74,0x40,0xc2,0xd6,0xab]
 101           vcmpps k2,zmm17,zmm22,0xab
 102
 103 // CHECK: vcmpps  k2 {k3}, zmm17, zmm22, 171
 104 // CHECK:  encoding: [0x62,0xb1,0x74,0x43,0xc2,0xd6,0xab]
 105           vcmpps k2{k3},zmm17,zmm22,0xab
 106
 107 // CHECK: vcmpps  k2, zmm17, zmm22, {sae}, 171
 108 // CHECK:  encoding: [0x62,0xb1,0x74,0x10,0xc2,0xd6,0xab]
 109           vcmpps k2,zmm17,zmm22,{sae},0xab
 110
 111 // CHECK: vcmpps  k2, zmm17, zmm22, 123
 112 // CHECK:  encoding: [0x62,0xb1,0x74,0x40,0xc2,0xd6,0x7b]
 113           vcmpps k2,zmm17,zmm22,0x7b
 114
 115 // CHECK: vcmpps  k2, zmm17, zmm22, {sae}, 123
 116 // CHECK:  encoding: [0x62,0xb1,0x74,0x10,0xc2,0xd6,0x7b]
 117           vcmpps k2,zmm17,zmm22,{sae},0x7b
 118
 119 // CHECK: vcmpps  k2, zmm17, zmmword ptr [rcx], 123
 120 // CHECK:  encoding: [0x62,0xf1,0x74,0x40,0xc2,0x11,0x7b]
 121           vcmpps k2,zmm17,zmmword PTR [rcx],0x7b
 122
 123 // CHECK: vcmpps  k2, zmm17, zmmword ptr [rax + 8*r14 + 291], 123
 124 // CHECK:  encoding: [0x62,0xb1,0x74,0x40,0xc2,0x94,0xf0,0x23,0x01,0x00,0x00,0x7b]
 125           vcmpps k2,zmm17,zmmword PTR [rax+r14*8+0x123],0x7b
 126
 127 // CHECK: vcmpps  k2, zmm17, dword ptr [rcx]{1to16}, 123
 128 // CHECK:  encoding: [0x62,0xf1,0x74,0x50,0xc2,0x11,0x7b]
 129           vcmpps k2,zmm17,DWORD PTR [rcx]{1to16},0x7b
 130
 131 // CHECK: vcmpps  k2, zmm17, zmmword ptr [rdx + 8128], 123
 132 // CHECK:  encoding: [0x62,0xf1,0x74,0x40,0xc2,0x52,0x7f,0x7b]
 133           vcmpps k2,zmm17,zmmword PTR [rdx+0x1fc0],0x7b
 134
 135 // CHECK: vcmpps  k2, zmm17, zmmword ptr [rdx + 8192], 123
 136 // CHECK:  encoding: [0x62,0xf1,0x74,0x40,0xc2,0x92,0x00,0x20,0x00,0x00,0x7b]
 137           vcmpps k2,zmm17,zmmword PTR [rdx+0x2000],0x7b
 138
 139 // CHECK: vcmpps  k2, zmm17, zmmword ptr [rdx - 8192], 123
 140 // CHECK:  encoding: [0x62,0xf1,0x74,0x40,0xc2,0x52,0x80,0x7b]
 141           vcmpps k2,zmm17,zmmword PTR [rdx-0x2000],0x7b
 142
 143 // CHECK: vcmpps  k2, zmm17, zmmword ptr [rdx - 8256], 123
 144 // CHECK:  encoding: [0x62,0xf1,0x74,0x40,0xc2,0x92,0xc0,0xdf,0xff,0xff,0x7b]
 145           vcmpps k2,zmm17,zmmword PTR [rdx-0x2040],0x7b
 146
 147 // CHECK: vcmpps  k2, zmm17, dword ptr [rdx + 508]{1to16}, 123
 148 // CHECK:  encoding: [0x62,0xf1,0x74,0x50,0xc2,0x52,0x7f,0x7b]
 149           vcmpps k2,zmm17,DWORD PTR [rdx+0x1fc]{1to16},0x7b
 150
 151 // CHECK: vcmpps  k2, zmm17, dword ptr [rdx + 512]{1to16}, 123
 152 // CHECK:  encoding: [0x62,0xf1,0x74,0x50,0xc2,0x92,0x00,0x02,0x00,0x00,0x7b]
 153           vcmpps k2,zmm17,DWORD PTR [rdx+0x200]{1to16},0x7b
 154
 155 // CHECK: vcmpps  k2, zmm17, dword ptr [rdx - 512]{1to16}, 123
 156 // CHECK:  encoding: [0x62,0xf1,0x74,0x50,0xc2,0x52,0x80,0x7b]
 157           vcmpps k2,zmm17,DWORD PTR [rdx-0x200]{1to16},0x7b
 158
 159 // CHECK: vcmpps  k2, zmm17, dword ptr [rdx - 516]{1to16}, 123
 160 // CHECK:  encoding: [0x62,0xf1,0x74,0x50,0xc2,0x92,0xfc,0xfd,0xff,0xff,0x7b]
 161           vcmpps k2,zmm17,DWORD PTR [rdx-0x204]{1to16},0x7b
 162
 163
 164 // CHECK:  vfixupimmss  xmm15, xmm18, xmm28, 171
 165 // CHECK:  encoding: [0x62,0x13,0x6d,0x00,0x55,0xfc,0xab]
 166           vfixupimmss xmm15,xmm18,xmm28,0xab
 167
 168 // CHECK:  vfixupimmss  xmm15 {k5}, xmm18, xmm28, 171
 169 // CHECK:  encoding: [0x62,0x13,0x6d,0x05,0x55,0xfc,0xab]
 170           vfixupimmss xmm15{k5},xmm18,xmm28,0xab
 171
 172 // CHECK:  vfixupimmss  xmm15 {k5} {z}, xmm18, xmm28, 171
 173 // CHECK:  encoding: [0x62,0x13,0x6d,0x85,0x55,0xfc,0xab]
 174           vfixupimmss xmm15{k5} {z},xmm18,xmm28,0xab
 175
 176 // CHECK:  vfixupimmss  xmm15, xmm18, xmm28, {sae}, 171
 177 // CHECK:  encoding: [0x62,0x13,0x6d,0x10,0x55,0xfc,0xab]
 178           vfixupimmss xmm15,xmm18,xmm28,{sae},0xab
 179
 180 // CHECK:  vfixupimmss  xmm15, xmm18, xmm28, 123
 181 // CHECK:  encoding: [0x62,0x13,0x6d,0x00,0x55,0xfc,0x7b]
 182           vfixupimmss xmm15,xmm18,xmm28,0x7b
 183
 184 // CHECK:  vfixupimmss  xmm15, xmm18, xmm28, {sae}, 123
 185 // CHECK:  encoding: [0x62,0x13,0x6d,0x10,0x55,0xfc,0x7b]
 186           vfixupimmss xmm15,xmm18,xmm28,{sae},0x7b
 187
 188 // CHECK:  vfixupimmss  xmm15, xmm18, dword ptr [rcx], 123
 189 // CHECK:  encoding: [0x62,0x73,0x6d,0x00,0x55,0x39,0x7b]
 190           vfixupimmss xmm15,xmm18,DWORD PTR [rcx],0x7b
 191
 192 // CHECK:  vfixupimmss  xmm15, xmm18, dword ptr [rax + 8*r14 + 291], 123
 193 // CHECK:  encoding: [0x62,0x33,0x6d,0x00,0x55,0xbc,0xf0,0x23,0x01,0x00,0x00,0x7b]
 194           vfixupimmss xmm15,xmm18,DWORD PTR [rax+r14*8+0x123],0x7b
 195
 196 // CHECK:  vfixupimmss  xmm15, xmm18, dword ptr [rdx + 508], 123
 197 // CHECK:  encoding: [0x62,0x73,0x6d,0x00,0x55,0x7a,0x7f,0x7b]
 198           vfixupimmss xmm15,xmm18,DWORD PTR [rdx+0x1fc],0x7b
 199
 200 // CHECK:  vfixupimmss  xmm15, xmm18, dword ptr [rdx + 512], 123
 201 // CHECK:  encoding: [0x62,0x73,0x6d,0x00,0x55,0xba,0x00,0x02,0x00,0x00,0x7b]
 202           vfixupimmss xmm15,xmm18,DWORD PTR [rdx+0x200],0x7b
 203
 204 // CHECK:  vfixupimmss  xmm15, xmm18, dword ptr [rdx - 512], 123
 205 // CHECK:  encoding: [0x62,0x73,0x6d,0x00,0x55,0x7a,0x80,0x7b]
 206           vfixupimmss xmm15,xmm18,DWORD PTR [rdx-0x200],0x7b
 207
 208 // CHECK:  vfixupimmss  xmm15, xmm18, dword ptr [rdx - 516], 123
 209 // CHECK:  encoding: [0x62,0x73,0x6d,0x00,0x55,0xba,0xfc,0xfd,0xff,0xff,0x7b]
 210           vfixupimmss xmm15,xmm18,DWORD PTR [rdx-0x204],0x7b
 211
 212 // CHECK:  vfixupimmsd  xmm13, xmm26, xmm5, 171
 213 // CHECK:  encoding: [0x62,0x73,0xad,0x00,0x55,0xed,0xab]
 214           vfixupimmsd xmm13,xmm26,xmm5,0xab
 215
 216 // CHECK:  vfixupimmsd  xmm13 {k6}, xmm26, xmm5, 171
 217 // CHECK:  encoding: [0x62,0x73,0xad,0x06,0x55,0xed,0xab]
 218           vfixupimmsd xmm13{k6},xmm26,xmm5,0xab
 219
 220 // CHECK:  vfixupimmsd  xmm13 {k6} {z}, xmm26, xmm5, 171
 221 // CHECK:  encoding: [0x62,0x73,0xad,0x86,0x55,0xed,0xab]
 222           vfixupimmsd xmm13{k6} {z},xmm26,xmm5,0xab
 223
 224 // CHECK:  vfixupimmsd  xmm13, xmm26, xmm5, {sae}, 171
 225 // CHECK:  encoding: [0x62,0x73,0xad,0x10,0x55,0xed,0xab]
 226           vfixupimmsd xmm13,xmm26,xmm5,{sae},0xab
 227
 228 // CHECK:  vfixupimmsd  xmm13, xmm26, xmm5, 123
 229 // CHECK:  encoding: [0x62,0x73,0xad,0x00,0x55,0xed,0x7b]
 230           vfixupimmsd xmm13,xmm26,xmm5,0x7b
 231
 232 // CHECK:  vfixupimmsd  xmm13, xmm26, xmm5, {sae}, 123
 233 // CHECK:  encoding: [0x62,0x73,0xad,0x10,0x55,0xed,0x7b]
 234           vfixupimmsd xmm13,xmm26,xmm5,{sae},0x7b
 235
 236 // CHECK:  vfixupimmsd  xmm13, xmm26, qword ptr [rcx], 123
 237 // CHECK:  encoding: [0x62,0x73,0xad,0x00,0x55,0x29,0x7b]
 238           vfixupimmsd xmm13,xmm26,QWORD PTR [rcx],0x7b
 239
 240 // CHECK:  vfixupimmsd  xmm13, xmm26, qword ptr [rax + 8*r14 + 291], 123
 241 // CHECK:  encoding: [0x62,0x33,0xad,0x00,0x55,0xac,0xf0,0x23,0x01,0x00,0x00,0x7b]
 242           vfixupimmsd xmm13,xmm26,QWORD PTR [rax+r14*8+0x123],0x7b
 243
 244 // CHECK:  vfixupimmsd  xmm13, xmm26, qword ptr [rdx + 1016], 123
 245 // CHECK:  encoding: [0x62,0x73,0xad,0x00,0x55,0x6a,0x7f,0x7b]
 246           vfixupimmsd xmm13,xmm26,QWORD PTR [rdx+0x3f8],0x7b
 247
 248 // CHECK:  vfixupimmsd  xmm13, xmm26, qword ptr [rdx + 1024], 123
 249 // CHECK:  encoding: [0x62,0x73,0xad,0x00,0x55,0xaa,0x00,0x04,0x00,0x00,0x7b]
 250           vfixupimmsd xmm13,xmm26,QWORD PTR [rdx+0x400],0x7b
 251
 252 // CHECK:  vfixupimmsd  xmm13, xmm26, qword ptr [rdx - 1024], 123
 253 // CHECK:  encoding: [0x62,0x73,0xad,0x00,0x55,0x6a,0x80,0x7b]
 254           vfixupimmsd xmm13,xmm26,QWORD PTR [rdx-0x400],0x7b
 255
 256 // CHECK:  vfixupimmsd  xmm13, xmm26, qword ptr [rdx - 1032], 123
 257 // CHECK:  encoding: [0x62,0x73,0xad,0x00,0x55,0xaa,0xf8,0xfb,0xff,0xff,0x7b]
 258           vfixupimmsd xmm13,xmm26,QWORD PTR [rdx-0x408],0x7b
 259
 260 // CHECK:  vcomisd xmm23, qword ptr [rcx]
 261 // CHECK:  encoding: [0x62,0xe1,0xfd,0x08,0x2f,0x39]
 262           vcomisd xmm23, QWORD PTR [rcx]
 263
 264 // CHECK:  vcomiss xmm16, dword ptr [rcx]
 265 // CHECK:  encoding: [0x62,0xe1,0x7c,0x08,0x2f,0x01]
 266           vcomiss xmm16, DWORD PTR [rcx]
 267
 268 // CHECK: vmovss dword ptr [rcx] {k2}, xmm13
 269 // CHECK:  encoding: [0x62,0x71,0x7e,0x0a,0x11,0x29]
 270           vmovss dword ptr [rcx]{k2},xmm13
 271
 272 // CHECK: vmovss dword ptr [rax + 8*r14 + 4660], xmm13
 273 // CHECK:  encoding: [0xc4,0x21,0x7a,0x11,0xac,0xf0,0x34,0x12,0x00,0x00]
 274           vmovss dword ptr [rax+r14*8+0x1234],xmm13
 275
 276 // CHECK: vmovss dword ptr [rdx + 508], xmm13
 277 // CHECK:  encoding: [0xc5,0x7a,0x11,0xaa,0xfc,0x01,0x00,0x00]
 278           vmovss dword ptr [rdx+0x1fc],xmm13
 279
 280 // CHECK: vmovss dword ptr [rdx + 512], xmm13
 281 // CHECK:  encoding: [0xc5,0x7a,0x11,0xaa,0x00,0x02,0x00,0x00]
 282           vmovss dword ptr [rdx+0x200],xmm13
 283
 284 // CHECK: vmovss dword ptr [rdx - 512], xmm13
 285 // CHECK:  encoding: [0xc5,0x7a,0x11,0xaa,0x00,0xfe,0xff,0xff]
 286           vmovss dword ptr [rdx-0x200],xmm13
 287
 288 // CHECK: vmovss dword ptr [rdx - 516], xmm13
 289 // CHECK:  encoding: [0xc5,0x7a,0x11,0xaa,0xfc,0xfd,0xff,0xff]
 290           vmovss dword ptr [rdx-0x204],xmm13
 291
 292 // CHECK: vmovss dword ptr [rdx + 508], xmm5
 293 // CHECK:  encoding: [0xc5,0xfa,0x11,0xaa,0xfc,0x01,0x00,0x00]
 294           vmovss dword ptr [rdx+0x1fc],xmm5
 295
 296 // CHECK: vmovss dword ptr [rdx + 512], xmm5
 297 // CHECK:  encoding: [0xc5,0xfa,0x11,0xaa,0x00,0x02,0x00,0x00]
 298           vmovss dword ptr [rdx+0x200],xmm5
 299
 300 // CHECK: vmovss dword ptr [rdx - 512], xmm5
 301 // CHECK:  encoding: [0xc5,0xfa,0x11,0xaa,0x00,0xfe,0xff,0xff]
 302           vmovss dword ptr [rdx-0x200], xmm5
 303
 304 // CHECK: vmovss dword ptr [rdx - 516], xmm5
 305 // CHECK:  encoding: [0xc5,0xfa,0x11,0xaa,0xfc,0xfd,0xff,0xff]
 306           vmovss dword ptr [rdx-0x204],xmm5
 307
 308 // CHECK: vmovss dword ptr [rcx], xmm13
 309 // CHECK:  encoding: [0xc5,0x7a,0x11,0x29]
 310           vmovss dword ptr [rcx],xmm13
 311
 312 // CHECK: vmovss xmm2, dword ptr [rcx]
 313 // CHECK:  encoding: [0xc5,0xfa,0x10,0x11]
 314           vmovss xmm2, dword ptr [rcx]
 315
 316 // CHECK: vmovss xmm2 {k4}, dword ptr [rcx]
 317 // CHECK:  encoding: [0x62,0xf1,0x7e,0x0c,0x10,0x11]
 318           vmovss xmm2{k4}, dword ptr [rcx]
 319
 320 // CHECK: vmovss xmm2 {k4} {z}, dword ptr [rcx]
 321 // CHECK:  encoding: [0x62,0xf1,0x7e,0x8c,0x10,0x11]
 322           vmovss xmm2{k4} {z}, dword ptr [rcx]
 323
 324 // CHECK: vmovsd xmm25, qword ptr [rcx]
 325 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x10,0x09]
 326           vmovsd xmm25, qword ptr [rcx]
 327
 328 // CHECK: vmovsd xmm25 {k3}, qword ptr [rcx]
 329 // CHECK:  encoding: [0x62,0x61,0xff,0x0b,0x10,0x09]
 330           vmovsd xmm25{k3}, qword ptr [rcx]
 331
 332 // CHECK: vmovsd xmm25 {k3} {z}, qword ptr [rcx]
 333 // CHECK:  encoding: [0x62,0x61,0xff,0x8b,0x10,0x09]
 334           vmovsd xmm25{k3} {z}, qword ptr [rcx]
 335
 336 // CHECK: vmovsd xmm25, qword ptr [rax + 8*r14 + 291]
 337 // CHECK:  encoding: [0x62,0x21,0xff,0x08,0x10,0x8c,0xf0,0x23,0x01,0x00,0x00]
 338           vmovsd xmm25, qword ptr [rax+r14*8+0x123]
 339
 340 // CHECK: vmovsd xmm25, qword ptr [rdx + 1016]
 341 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x10,0x4a,0x7f]
 342           vmovsd xmm25, qword ptr [rdx+0x3f8]
 343
 344 // CHECK: vmovsd xmm25, qword ptr [rdx + 1024]
 345 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x10,0x8a,0x00,0x04,0x00,0x00]
 346           vmovsd xmm25, qword ptr [rdx+0x400]
 347
 348 // CHECK: vmovsd xmm25, qword ptr [rdx - 1024]
 349 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x10,0x4a,0x80]
 350           vmovsd xmm25, qword ptr [rdx-0x400]
 351
 352 // CHECK: vmovsd xmm25, qword ptr [rdx - 1032]
 353 // CHECK:  encoding: [0x62,0x61,0xff,0x08,0x10,0x8a,0xf8,0xfb,0xff,0xff]
 354           vmovsd xmm25, qword ptr [rdx-0x408]