Home | History | Annotate | Download | only in X86
      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]
    355