Home | History | Annotate | Download | only in X86
      1 // RUN: llvm-mc -triple x86_64-unknown-unknown -mcpu=skx  --show-encoding %s | FileCheck %s
      2 
      3 // CHECK: vblendmpd %xmm19, %xmm20, %xmm27
      4 // CHECK:  encoding: [0x62,0x22,0xdd,0x00,0x65,0xdb]
      5           vblendmpd %xmm19, %xmm20, %xmm27
      6 
      7 // CHECK: vblendmpd %xmm19, %xmm20, %xmm27 {%k7}
      8 // CHECK:  encoding: [0x62,0x22,0xdd,0x07,0x65,0xdb]
      9           vblendmpd %xmm19, %xmm20, %xmm27 {%k7}
     10 
     11 // CHECK: vblendmpd %xmm19, %xmm20, %xmm27 {%k7} {z}
     12 // CHECK:  encoding: [0x62,0x22,0xdd,0x87,0x65,0xdb]
     13           vblendmpd %xmm19, %xmm20, %xmm27 {%k7} {z}
     14 
     15 // CHECK: vblendmpd (%rcx), %xmm20, %xmm27
     16 // CHECK:  encoding: [0x62,0x62,0xdd,0x00,0x65,0x19]
     17           vblendmpd (%rcx), %xmm20, %xmm27
     18 
     19 // CHECK: vblendmpd 291(%rax,%r14,8), %xmm20, %xmm27
     20 // CHECK:  encoding: [0x62,0x22,0xdd,0x00,0x65,0x9c,0xf0,0x23,0x01,0x00,0x00]
     21           vblendmpd 291(%rax,%r14,8), %xmm20, %xmm27
     22 
     23 // CHECK: vblendmpd (%rcx){1to2}, %xmm20, %xmm27
     24 // CHECK:  encoding: [0x62,0x62,0xdd,0x10,0x65,0x19]
     25           vblendmpd (%rcx){1to2}, %xmm20, %xmm27
     26 
     27 // CHECK: vblendmpd 2032(%rdx), %xmm20, %xmm27
     28 // CHECK:  encoding: [0x62,0x62,0xdd,0x00,0x65,0x5a,0x7f]
     29           vblendmpd 2032(%rdx), %xmm20, %xmm27
     30 
     31 // CHECK: vblendmpd 2048(%rdx), %xmm20, %xmm27
     32 // CHECK:  encoding: [0x62,0x62,0xdd,0x00,0x65,0x9a,0x00,0x08,0x00,0x00]
     33           vblendmpd 2048(%rdx), %xmm20, %xmm27
     34 
     35 // CHECK: vblendmpd -2048(%rdx), %xmm20, %xmm27
     36 // CHECK:  encoding: [0x62,0x62,0xdd,0x00,0x65,0x5a,0x80]
     37           vblendmpd -2048(%rdx), %xmm20, %xmm27
     38 
     39 // CHECK: vblendmpd -2064(%rdx), %xmm20, %xmm27
     40 // CHECK:  encoding: [0x62,0x62,0xdd,0x00,0x65,0x9a,0xf0,0xf7,0xff,0xff]
     41           vblendmpd -2064(%rdx), %xmm20, %xmm27
     42 
     43 // CHECK: vblendmpd 1016(%rdx){1to2}, %xmm20, %xmm27
     44 // CHECK:  encoding: [0x62,0x62,0xdd,0x10,0x65,0x5a,0x7f]
     45           vblendmpd 1016(%rdx){1to2}, %xmm20, %xmm27
     46 
     47 // CHECK: vblendmpd 1024(%rdx){1to2}, %xmm20, %xmm27
     48 // CHECK:  encoding: [0x62,0x62,0xdd,0x10,0x65,0x9a,0x00,0x04,0x00,0x00]
     49           vblendmpd 1024(%rdx){1to2}, %xmm20, %xmm27
     50 
     51 // CHECK: vblendmpd -1024(%rdx){1to2}, %xmm20, %xmm27
     52 // CHECK:  encoding: [0x62,0x62,0xdd,0x10,0x65,0x5a,0x80]
     53           vblendmpd -1024(%rdx){1to2}, %xmm20, %xmm27
     54 
     55 // CHECK: vblendmpd -1032(%rdx){1to2}, %xmm20, %xmm27
     56 // CHECK:  encoding: [0x62,0x62,0xdd,0x10,0x65,0x9a,0xf8,0xfb,0xff,0xff]
     57           vblendmpd -1032(%rdx){1to2}, %xmm20, %xmm27
     58 
     59 // CHECK: vblendmpd %ymm23, %ymm21, %ymm28
     60 // CHECK:  encoding: [0x62,0x22,0xd5,0x20,0x65,0xe7]
     61           vblendmpd %ymm23, %ymm21, %ymm28
     62 
     63 // CHECK: vblendmpd %ymm23, %ymm21, %ymm28 {%k3}
     64 // CHECK:  encoding: [0x62,0x22,0xd5,0x23,0x65,0xe7]
     65           vblendmpd %ymm23, %ymm21, %ymm28 {%k3}
     66 
     67 // CHECK: vblendmpd %ymm23, %ymm21, %ymm28 {%k3} {z}
     68 // CHECK:  encoding: [0x62,0x22,0xd5,0xa3,0x65,0xe7]
     69           vblendmpd %ymm23, %ymm21, %ymm28 {%k3} {z}
     70 
     71 // CHECK: vblendmpd (%rcx), %ymm21, %ymm28
     72 // CHECK:  encoding: [0x62,0x62,0xd5,0x20,0x65,0x21]
     73           vblendmpd (%rcx), %ymm21, %ymm28
     74 
     75 // CHECK: vblendmpd 291(%rax,%r14,8), %ymm21, %ymm28
     76 // CHECK:  encoding: [0x62,0x22,0xd5,0x20,0x65,0xa4,0xf0,0x23,0x01,0x00,0x00]
     77           vblendmpd 291(%rax,%r14,8), %ymm21, %ymm28
     78 
     79 // CHECK: vblendmpd (%rcx){1to4}, %ymm21, %ymm28
     80 // CHECK:  encoding: [0x62,0x62,0xd5,0x30,0x65,0x21]
     81           vblendmpd (%rcx){1to4}, %ymm21, %ymm28
     82 
     83 // CHECK: vblendmpd 4064(%rdx), %ymm21, %ymm28
     84 // CHECK:  encoding: [0x62,0x62,0xd5,0x20,0x65,0x62,0x7f]
     85           vblendmpd 4064(%rdx), %ymm21, %ymm28
     86 
     87 // CHECK: vblendmpd 4096(%rdx), %ymm21, %ymm28
     88 // CHECK:  encoding: [0x62,0x62,0xd5,0x20,0x65,0xa2,0x00,0x10,0x00,0x00]
     89           vblendmpd 4096(%rdx), %ymm21, %ymm28
     90 
     91 // CHECK: vblendmpd -4096(%rdx), %ymm21, %ymm28
     92 // CHECK:  encoding: [0x62,0x62,0xd5,0x20,0x65,0x62,0x80]
     93           vblendmpd -4096(%rdx), %ymm21, %ymm28
     94 
     95 // CHECK: vblendmpd -4128(%rdx), %ymm21, %ymm28
     96 // CHECK:  encoding: [0x62,0x62,0xd5,0x20,0x65,0xa2,0xe0,0xef,0xff,0xff]
     97           vblendmpd -4128(%rdx), %ymm21, %ymm28
     98 
     99 // CHECK: vblendmpd 1016(%rdx){1to4}, %ymm21, %ymm28
    100 // CHECK:  encoding: [0x62,0x62,0xd5,0x30,0x65,0x62,0x7f]
    101           vblendmpd 1016(%rdx){1to4}, %ymm21, %ymm28
    102 
    103 // CHECK: vblendmpd 1024(%rdx){1to4}, %ymm21, %ymm28
    104 // CHECK:  encoding: [0x62,0x62,0xd5,0x30,0x65,0xa2,0x00,0x04,0x00,0x00]
    105           vblendmpd 1024(%rdx){1to4}, %ymm21, %ymm28
    106 
    107 // CHECK: vblendmpd -1024(%rdx){1to4}, %ymm21, %ymm28
    108 // CHECK:  encoding: [0x62,0x62,0xd5,0x30,0x65,0x62,0x80]
    109           vblendmpd -1024(%rdx){1to4}, %ymm21, %ymm28
    110 
    111 // CHECK: vblendmpd -1032(%rdx){1to4}, %ymm21, %ymm28
    112 // CHECK:  encoding: [0x62,0x62,0xd5,0x30,0x65,0xa2,0xf8,0xfb,0xff,0xff]
    113           vblendmpd -1032(%rdx){1to4}, %ymm21, %ymm28
    114 
    115 // CHECK: vblendmps %xmm20, %xmm20, %xmm24
    116 // CHECK:  encoding: [0x62,0x22,0x5d,0x00,0x65,0xc4]
    117           vblendmps %xmm20, %xmm20, %xmm24
    118 
    119 // CHECK: vblendmps %xmm20, %xmm20, %xmm24 {%k1}
    120 // CHECK:  encoding: [0x62,0x22,0x5d,0x01,0x65,0xc4]
    121           vblendmps %xmm20, %xmm20, %xmm24 {%k1}
    122 
    123 // CHECK: vblendmps %xmm20, %xmm20, %xmm24 {%k1} {z}
    124 // CHECK:  encoding: [0x62,0x22,0x5d,0x81,0x65,0xc4]
    125           vblendmps %xmm20, %xmm20, %xmm24 {%k1} {z}
    126 
    127 // CHECK: vblendmps (%rcx), %xmm20, %xmm24
    128 // CHECK:  encoding: [0x62,0x62,0x5d,0x00,0x65,0x01]
    129           vblendmps (%rcx), %xmm20, %xmm24
    130 
    131 // CHECK: vblendmps 291(%rax,%r14,8), %xmm20, %xmm24
    132 // CHECK:  encoding: [0x62,0x22,0x5d,0x00,0x65,0x84,0xf0,0x23,0x01,0x00,0x00]
    133           vblendmps 291(%rax,%r14,8), %xmm20, %xmm24
    134 
    135 // CHECK: vblendmps (%rcx){1to4}, %xmm20, %xmm24
    136 // CHECK:  encoding: [0x62,0x62,0x5d,0x10,0x65,0x01]
    137           vblendmps (%rcx){1to4}, %xmm20, %xmm24
    138 
    139 // CHECK: vblendmps 2032(%rdx), %xmm20, %xmm24
    140 // CHECK:  encoding: [0x62,0x62,0x5d,0x00,0x65,0x42,0x7f]
    141           vblendmps 2032(%rdx), %xmm20, %xmm24
    142 
    143 // CHECK: vblendmps 2048(%rdx), %xmm20, %xmm24
    144 // CHECK:  encoding: [0x62,0x62,0x5d,0x00,0x65,0x82,0x00,0x08,0x00,0x00]
    145           vblendmps 2048(%rdx), %xmm20, %xmm24
    146 
    147 // CHECK: vblendmps -2048(%rdx), %xmm20, %xmm24
    148 // CHECK:  encoding: [0x62,0x62,0x5d,0x00,0x65,0x42,0x80]
    149           vblendmps -2048(%rdx), %xmm20, %xmm24
    150 
    151 // CHECK: vblendmps -2064(%rdx), %xmm20, %xmm24
    152 // CHECK:  encoding: [0x62,0x62,0x5d,0x00,0x65,0x82,0xf0,0xf7,0xff,0xff]
    153           vblendmps -2064(%rdx), %xmm20, %xmm24
    154 
    155 // CHECK: vblendmps 508(%rdx){1to4}, %xmm20, %xmm24
    156 // CHECK:  encoding: [0x62,0x62,0x5d,0x10,0x65,0x42,0x7f]
    157           vblendmps 508(%rdx){1to4}, %xmm20, %xmm24
    158 
    159 // CHECK: vblendmps 512(%rdx){1to4}, %xmm20, %xmm24
    160 // CHECK:  encoding: [0x62,0x62,0x5d,0x10,0x65,0x82,0x00,0x02,0x00,0x00]
    161           vblendmps 512(%rdx){1to4}, %xmm20, %xmm24
    162 
    163 // CHECK: vblendmps -512(%rdx){1to4}, %xmm20, %xmm24
    164 // CHECK:  encoding: [0x62,0x62,0x5d,0x10,0x65,0x42,0x80]
    165           vblendmps -512(%rdx){1to4}, %xmm20, %xmm24
    166 
    167 // CHECK: vblendmps -516(%rdx){1to4}, %xmm20, %xmm24
    168 // CHECK:  encoding: [0x62,0x62,0x5d,0x10,0x65,0x82,0xfc,0xfd,0xff,0xff]
    169           vblendmps -516(%rdx){1to4}, %xmm20, %xmm24
    170 
    171 // CHECK: vblendmps %ymm24, %ymm23, %ymm17
    172 // CHECK:  encoding: [0x62,0x82,0x45,0x20,0x65,0xc8]
    173           vblendmps %ymm24, %ymm23, %ymm17
    174 
    175 // CHECK: vblendmps %ymm24, %ymm23, %ymm17 {%k6}
    176 // CHECK:  encoding: [0x62,0x82,0x45,0x26,0x65,0xc8]
    177           vblendmps %ymm24, %ymm23, %ymm17 {%k6}
    178 
    179 // CHECK: vblendmps %ymm24, %ymm23, %ymm17 {%k6} {z}
    180 // CHECK:  encoding: [0x62,0x82,0x45,0xa6,0x65,0xc8]
    181           vblendmps %ymm24, %ymm23, %ymm17 {%k6} {z}
    182 
    183 // CHECK: vblendmps (%rcx), %ymm23, %ymm17
    184 // CHECK:  encoding: [0x62,0xe2,0x45,0x20,0x65,0x09]
    185           vblendmps (%rcx), %ymm23, %ymm17
    186 
    187 // CHECK: vblendmps 291(%rax,%r14,8), %ymm23, %ymm17
    188 // CHECK:  encoding: [0x62,0xa2,0x45,0x20,0x65,0x8c,0xf0,0x23,0x01,0x00,0x00]
    189           vblendmps 291(%rax,%r14,8), %ymm23, %ymm17
    190 
    191 // CHECK: vblendmps (%rcx){1to8}, %ymm23, %ymm17
    192 // CHECK:  encoding: [0x62,0xe2,0x45,0x30,0x65,0x09]
    193           vblendmps (%rcx){1to8}, %ymm23, %ymm17
    194 
    195 // CHECK: vblendmps 4064(%rdx), %ymm23, %ymm17
    196 // CHECK:  encoding: [0x62,0xe2,0x45,0x20,0x65,0x4a,0x7f]
    197           vblendmps 4064(%rdx), %ymm23, %ymm17
    198 
    199 // CHECK: vblendmps 4096(%rdx), %ymm23, %ymm17
    200 // CHECK:  encoding: [0x62,0xe2,0x45,0x20,0x65,0x8a,0x00,0x10,0x00,0x00]
    201           vblendmps 4096(%rdx), %ymm23, %ymm17
    202 
    203 // CHECK: vblendmps -4096(%rdx), %ymm23, %ymm17
    204 // CHECK:  encoding: [0x62,0xe2,0x45,0x20,0x65,0x4a,0x80]
    205           vblendmps -4096(%rdx), %ymm23, %ymm17
    206 
    207 // CHECK: vblendmps -4128(%rdx), %ymm23, %ymm17
    208 // CHECK:  encoding: [0x62,0xe2,0x45,0x20,0x65,0x8a,0xe0,0xef,0xff,0xff]
    209           vblendmps -4128(%rdx), %ymm23, %ymm17
    210 
    211 // CHECK: vblendmps 508(%rdx){1to8}, %ymm23, %ymm17
    212 // CHECK:  encoding: [0x62,0xe2,0x45,0x30,0x65,0x4a,0x7f]
    213           vblendmps 508(%rdx){1to8}, %ymm23, %ymm17
    214 
    215 // CHECK: vblendmps 512(%rdx){1to8}, %ymm23, %ymm17
    216 // CHECK:  encoding: [0x62,0xe2,0x45,0x30,0x65,0x8a,0x00,0x02,0x00,0x00]
    217           vblendmps 512(%rdx){1to8}, %ymm23, %ymm17
    218 
    219 // CHECK: vblendmps -512(%rdx){1to8}, %ymm23, %ymm17
    220 // CHECK:  encoding: [0x62,0xe2,0x45,0x30,0x65,0x4a,0x80]
    221           vblendmps -512(%rdx){1to8}, %ymm23, %ymm17
    222 
    223 // CHECK: vblendmps -516(%rdx){1to8}, %ymm23, %ymm17
    224 // CHECK:  encoding: [0x62,0xe2,0x45,0x30,0x65,0x8a,0xfc,0xfd,0xff,0xff]
    225           vblendmps -516(%rdx){1to8}, %ymm23, %ymm17
    226 
    227 // CHECK: vpblendmd %xmm26, %xmm25, %xmm17
    228 // CHECK:  encoding: [0x62,0x82,0x35,0x00,0x64,0xca]
    229           vpblendmd %xmm26, %xmm25, %xmm17
    230 
    231 // CHECK: vpblendmd %xmm26, %xmm25, %xmm17 {%k5}
    232 // CHECK:  encoding: [0x62,0x82,0x35,0x05,0x64,0xca]
    233           vpblendmd %xmm26, %xmm25, %xmm17 {%k5}
    234 
    235 // CHECK: vpblendmd %xmm26, %xmm25, %xmm17 {%k5} {z}
    236 // CHECK:  encoding: [0x62,0x82,0x35,0x85,0x64,0xca]
    237           vpblendmd %xmm26, %xmm25, %xmm17 {%k5} {z}
    238 
    239 // CHECK: vpblendmd (%rcx), %xmm25, %xmm17
    240 // CHECK:  encoding: [0x62,0xe2,0x35,0x00,0x64,0x09]
    241           vpblendmd (%rcx), %xmm25, %xmm17
    242 
    243 // CHECK: vpblendmd 291(%rax,%r14,8), %xmm25, %xmm17
    244 // CHECK:  encoding: [0x62,0xa2,0x35,0x00,0x64,0x8c,0xf0,0x23,0x01,0x00,0x00]
    245           vpblendmd 291(%rax,%r14,8), %xmm25, %xmm17
    246 
    247 // CHECK: vpblendmd (%rcx){1to4}, %xmm25, %xmm17
    248 // CHECK:  encoding: [0x62,0xe2,0x35,0x10,0x64,0x09]
    249           vpblendmd (%rcx){1to4}, %xmm25, %xmm17
    250 
    251 // CHECK: vpblendmd 2032(%rdx), %xmm25, %xmm17
    252 // CHECK:  encoding: [0x62,0xe2,0x35,0x00,0x64,0x4a,0x7f]
    253           vpblendmd 2032(%rdx), %xmm25, %xmm17
    254 
    255 // CHECK: vpblendmd 2048(%rdx), %xmm25, %xmm17
    256 // CHECK:  encoding: [0x62,0xe2,0x35,0x00,0x64,0x8a,0x00,0x08,0x00,0x00]
    257           vpblendmd 2048(%rdx), %xmm25, %xmm17
    258 
    259 // CHECK: vpblendmd -2048(%rdx), %xmm25, %xmm17
    260 // CHECK:  encoding: [0x62,0xe2,0x35,0x00,0x64,0x4a,0x80]
    261           vpblendmd -2048(%rdx), %xmm25, %xmm17
    262 
    263 // CHECK: vpblendmd -2064(%rdx), %xmm25, %xmm17
    264 // CHECK:  encoding: [0x62,0xe2,0x35,0x00,0x64,0x8a,0xf0,0xf7,0xff,0xff]
    265           vpblendmd -2064(%rdx), %xmm25, %xmm17
    266 
    267 // CHECK: vpblendmd 508(%rdx){1to4}, %xmm25, %xmm17
    268 // CHECK:  encoding: [0x62,0xe2,0x35,0x10,0x64,0x4a,0x7f]
    269           vpblendmd 508(%rdx){1to4}, %xmm25, %xmm17
    270 
    271 // CHECK: vpblendmd 512(%rdx){1to4}, %xmm25, %xmm17
    272 // CHECK:  encoding: [0x62,0xe2,0x35,0x10,0x64,0x8a,0x00,0x02,0x00,0x00]
    273           vpblendmd 512(%rdx){1to4}, %xmm25, %xmm17
    274 
    275 // CHECK: vpblendmd -512(%rdx){1to4}, %xmm25, %xmm17
    276 // CHECK:  encoding: [0x62,0xe2,0x35,0x10,0x64,0x4a,0x80]
    277           vpblendmd -512(%rdx){1to4}, %xmm25, %xmm17
    278 
    279 // CHECK: vpblendmd -516(%rdx){1to4}, %xmm25, %xmm17
    280 // CHECK:  encoding: [0x62,0xe2,0x35,0x10,0x64,0x8a,0xfc,0xfd,0xff,0xff]
    281           vpblendmd -516(%rdx){1to4}, %xmm25, %xmm17
    282 
    283 // CHECK: vpblendmd %ymm23, %ymm29, %ymm26
    284 // CHECK:  encoding: [0x62,0x22,0x15,0x20,0x64,0xd7]
    285           vpblendmd %ymm23, %ymm29, %ymm26
    286 
    287 // CHECK: vpblendmd %ymm23, %ymm29, %ymm26 {%k7}
    288 // CHECK:  encoding: [0x62,0x22,0x15,0x27,0x64,0xd7]
    289           vpblendmd %ymm23, %ymm29, %ymm26 {%k7}
    290 
    291 // CHECK: vpblendmd %ymm23, %ymm29, %ymm26 {%k7} {z}
    292 // CHECK:  encoding: [0x62,0x22,0x15,0xa7,0x64,0xd7]
    293           vpblendmd %ymm23, %ymm29, %ymm26 {%k7} {z}
    294 
    295 // CHECK: vpblendmd (%rcx), %ymm29, %ymm26
    296 // CHECK:  encoding: [0x62,0x62,0x15,0x20,0x64,0x11]
    297           vpblendmd (%rcx), %ymm29, %ymm26
    298 
    299 // CHECK: vpblendmd 291(%rax,%r14,8), %ymm29, %ymm26
    300 // CHECK:  encoding: [0x62,0x22,0x15,0x20,0x64,0x94,0xf0,0x23,0x01,0x00,0x00]
    301           vpblendmd 291(%rax,%r14,8), %ymm29, %ymm26
    302 
    303 // CHECK: vpblendmd (%rcx){1to8}, %ymm29, %ymm26
    304 // CHECK:  encoding: [0x62,0x62,0x15,0x30,0x64,0x11]
    305           vpblendmd (%rcx){1to8}, %ymm29, %ymm26
    306 
    307 // CHECK: vpblendmd 4064(%rdx), %ymm29, %ymm26
    308 // CHECK:  encoding: [0x62,0x62,0x15,0x20,0x64,0x52,0x7f]
    309           vpblendmd 4064(%rdx), %ymm29, %ymm26
    310 
    311 // CHECK: vpblendmd 4096(%rdx), %ymm29, %ymm26
    312 // CHECK:  encoding: [0x62,0x62,0x15,0x20,0x64,0x92,0x00,0x10,0x00,0x00]
    313           vpblendmd 4096(%rdx), %ymm29, %ymm26
    314 
    315 // CHECK: vpblendmd -4096(%rdx), %ymm29, %ymm26
    316 // CHECK:  encoding: [0x62,0x62,0x15,0x20,0x64,0x52,0x80]
    317           vpblendmd -4096(%rdx), %ymm29, %ymm26
    318 
    319 // CHECK: vpblendmd -4128(%rdx), %ymm29, %ymm26
    320 // CHECK:  encoding: [0x62,0x62,0x15,0x20,0x64,0x92,0xe0,0xef,0xff,0xff]
    321           vpblendmd -4128(%rdx), %ymm29, %ymm26
    322 
    323 // CHECK: vpblendmd 508(%rdx){1to8}, %ymm29, %ymm26
    324 // CHECK:  encoding: [0x62,0x62,0x15,0x30,0x64,0x52,0x7f]
    325           vpblendmd 508(%rdx){1to8}, %ymm29, %ymm26
    326 
    327 // CHECK: vpblendmd 512(%rdx){1to8}, %ymm29, %ymm26
    328 // CHECK:  encoding: [0x62,0x62,0x15,0x30,0x64,0x92,0x00,0x02,0x00,0x00]
    329           vpblendmd 512(%rdx){1to8}, %ymm29, %ymm26
    330 
    331 // CHECK: vpblendmd -512(%rdx){1to8}, %ymm29, %ymm26
    332 // CHECK:  encoding: [0x62,0x62,0x15,0x30,0x64,0x52,0x80]
    333           vpblendmd -512(%rdx){1to8}, %ymm29, %ymm26
    334 
    335 // CHECK: vpblendmd -516(%rdx){1to8}, %ymm29, %ymm26
    336 // CHECK:  encoding: [0x62,0x62,0x15,0x30,0x64,0x92,0xfc,0xfd,0xff,0xff]
    337           vpblendmd -516(%rdx){1to8}, %ymm29, %ymm26
    338 
    339 // CHECK: vpblendmq %xmm17, %xmm27, %xmm29
    340 // CHECK:  encoding: [0x62,0x22,0xa5,0x00,0x64,0xe9]
    341           vpblendmq %xmm17, %xmm27, %xmm29
    342 
    343 // CHECK: vpblendmq %xmm17, %xmm27, %xmm29 {%k6}
    344 // CHECK:  encoding: [0x62,0x22,0xa5,0x06,0x64,0xe9]
    345           vpblendmq %xmm17, %xmm27, %xmm29 {%k6}
    346 
    347 // CHECK: vpblendmq %xmm17, %xmm27, %xmm29 {%k6} {z}
    348 // CHECK:  encoding: [0x62,0x22,0xa5,0x86,0x64,0xe9]
    349           vpblendmq %xmm17, %xmm27, %xmm29 {%k6} {z}
    350 
    351 // CHECK: vpblendmq (%rcx), %xmm27, %xmm29
    352 // CHECK:  encoding: [0x62,0x62,0xa5,0x00,0x64,0x29]
    353           vpblendmq (%rcx), %xmm27, %xmm29
    354 
    355 // CHECK: vpblendmq 291(%rax,%r14,8), %xmm27, %xmm29
    356 // CHECK:  encoding: [0x62,0x22,0xa5,0x00,0x64,0xac,0xf0,0x23,0x01,0x00,0x00]
    357           vpblendmq 291(%rax,%r14,8), %xmm27, %xmm29
    358 
    359 // CHECK: vpblendmq (%rcx){1to2}, %xmm27, %xmm29
    360 // CHECK:  encoding: [0x62,0x62,0xa5,0x10,0x64,0x29]
    361           vpblendmq (%rcx){1to2}, %xmm27, %xmm29
    362 
    363 // CHECK: vpblendmq 2032(%rdx), %xmm27, %xmm29
    364 // CHECK:  encoding: [0x62,0x62,0xa5,0x00,0x64,0x6a,0x7f]
    365           vpblendmq 2032(%rdx), %xmm27, %xmm29
    366 
    367 // CHECK: vpblendmq 2048(%rdx), %xmm27, %xmm29
    368 // CHECK:  encoding: [0x62,0x62,0xa5,0x00,0x64,0xaa,0x00,0x08,0x00,0x00]
    369           vpblendmq 2048(%rdx), %xmm27, %xmm29
    370 
    371 // CHECK: vpblendmq -2048(%rdx), %xmm27, %xmm29
    372 // CHECK:  encoding: [0x62,0x62,0xa5,0x00,0x64,0x6a,0x80]
    373           vpblendmq -2048(%rdx), %xmm27, %xmm29
    374 
    375 // CHECK: vpblendmq -2064(%rdx), %xmm27, %xmm29
    376 // CHECK:  encoding: [0x62,0x62,0xa5,0x00,0x64,0xaa,0xf0,0xf7,0xff,0xff]
    377           vpblendmq -2064(%rdx), %xmm27, %xmm29
    378 
    379 // CHECK: vpblendmq 1016(%rdx){1to2}, %xmm27, %xmm29
    380 // CHECK:  encoding: [0x62,0x62,0xa5,0x10,0x64,0x6a,0x7f]
    381           vpblendmq 1016(%rdx){1to2}, %xmm27, %xmm29
    382 
    383 // CHECK: vpblendmq 1024(%rdx){1to2}, %xmm27, %xmm29
    384 // CHECK:  encoding: [0x62,0x62,0xa5,0x10,0x64,0xaa,0x00,0x04,0x00,0x00]
    385           vpblendmq 1024(%rdx){1to2}, %xmm27, %xmm29
    386 
    387 // CHECK: vpblendmq -1024(%rdx){1to2}, %xmm27, %xmm29
    388 // CHECK:  encoding: [0x62,0x62,0xa5,0x10,0x64,0x6a,0x80]
    389           vpblendmq -1024(%rdx){1to2}, %xmm27, %xmm29
    390 
    391 // CHECK: vpblendmq -1032(%rdx){1to2}, %xmm27, %xmm29
    392 // CHECK:  encoding: [0x62,0x62,0xa5,0x10,0x64,0xaa,0xf8,0xfb,0xff,0xff]
    393           vpblendmq -1032(%rdx){1to2}, %xmm27, %xmm29
    394 
    395 // CHECK: vpblendmq %ymm21, %ymm23, %ymm21
    396 // CHECK:  encoding: [0x62,0xa2,0xc5,0x20,0x64,0xed]
    397           vpblendmq %ymm21, %ymm23, %ymm21
    398 
    399 // CHECK: vpblendmq %ymm21, %ymm23, %ymm21 {%k3}
    400 // CHECK:  encoding: [0x62,0xa2,0xc5,0x23,0x64,0xed]
    401           vpblendmq %ymm21, %ymm23, %ymm21 {%k3}
    402 
    403 // CHECK: vpblendmq %ymm21, %ymm23, %ymm21 {%k3} {z}
    404 // CHECK:  encoding: [0x62,0xa2,0xc5,0xa3,0x64,0xed]
    405           vpblendmq %ymm21, %ymm23, %ymm21 {%k3} {z}
    406 
    407 // CHECK: vpblendmq (%rcx), %ymm23, %ymm21
    408 // CHECK:  encoding: [0x62,0xe2,0xc5,0x20,0x64,0x29]
    409           vpblendmq (%rcx), %ymm23, %ymm21
    410 
    411 // CHECK: vpblendmq 291(%rax,%r14,8), %ymm23, %ymm21
    412 // CHECK:  encoding: [0x62,0xa2,0xc5,0x20,0x64,0xac,0xf0,0x23,0x01,0x00,0x00]
    413           vpblendmq 291(%rax,%r14,8), %ymm23, %ymm21
    414 
    415 // CHECK: vpblendmq (%rcx){1to4}, %ymm23, %ymm21
    416 // CHECK:  encoding: [0x62,0xe2,0xc5,0x30,0x64,0x29]
    417           vpblendmq (%rcx){1to4}, %ymm23, %ymm21
    418 
    419 // CHECK: vpblendmq 4064(%rdx), %ymm23, %ymm21
    420 // CHECK:  encoding: [0x62,0xe2,0xc5,0x20,0x64,0x6a,0x7f]
    421           vpblendmq 4064(%rdx), %ymm23, %ymm21
    422 
    423 // CHECK: vpblendmq 4096(%rdx), %ymm23, %ymm21
    424 // CHECK:  encoding: [0x62,0xe2,0xc5,0x20,0x64,0xaa,0x00,0x10,0x00,0x00]
    425           vpblendmq 4096(%rdx), %ymm23, %ymm21
    426 
    427 // CHECK: vpblendmq -4096(%rdx), %ymm23, %ymm21
    428 // CHECK:  encoding: [0x62,0xe2,0xc5,0x20,0x64,0x6a,0x80]
    429           vpblendmq -4096(%rdx), %ymm23, %ymm21
    430 
    431 // CHECK: vpblendmq -4128(%rdx), %ymm23, %ymm21
    432 // CHECK:  encoding: [0x62,0xe2,0xc5,0x20,0x64,0xaa,0xe0,0xef,0xff,0xff]
    433           vpblendmq -4128(%rdx), %ymm23, %ymm21
    434 
    435 // CHECK: vpblendmq 1016(%rdx){1to4}, %ymm23, %ymm21
    436 // CHECK:  encoding: [0x62,0xe2,0xc5,0x30,0x64,0x6a,0x7f]
    437           vpblendmq 1016(%rdx){1to4}, %ymm23, %ymm21
    438 
    439 // CHECK: vpblendmq 1024(%rdx){1to4}, %ymm23, %ymm21
    440 // CHECK:  encoding: [0x62,0xe2,0xc5,0x30,0x64,0xaa,0x00,0x04,0x00,0x00]
    441           vpblendmq 1024(%rdx){1to4}, %ymm23, %ymm21
    442 
    443 // CHECK: vpblendmq -1024(%rdx){1to4}, %ymm23, %ymm21
    444 // CHECK:  encoding: [0x62,0xe2,0xc5,0x30,0x64,0x6a,0x80]
    445           vpblendmq -1024(%rdx){1to4}, %ymm23, %ymm21
    446 
    447 // CHECK: vpblendmq -1032(%rdx){1to4}, %ymm23, %ymm21
    448 // CHECK:  encoding: [0x62,0xe2,0xc5,0x30,0x64,0xaa,0xf8,0xfb,0xff,0xff]
    449           vpblendmq -1032(%rdx){1to4}, %ymm23, %ymm21
    450 
    451 // CHECK: vptestmd %xmm20, %xmm20, %k2
    452 // CHECK:  encoding: [0x62,0xb2,0x5d,0x00,0x27,0xd4]
    453           vptestmd %xmm20, %xmm20, %k2
    454 
    455 // CHECK: vptestmd %xmm20, %xmm20, %k2 {%k7}
    456 // CHECK:  encoding: [0x62,0xb2,0x5d,0x07,0x27,0xd4]
    457           vptestmd %xmm20, %xmm20, %k2 {%k7}
    458 
    459 // CHECK: vptestmd (%rcx), %xmm20, %k2
    460 // CHECK:  encoding: [0x62,0xf2,0x5d,0x00,0x27,0x11]
    461           vptestmd (%rcx), %xmm20, %k2
    462 
    463 // CHECK: vptestmd 291(%rax,%r14,8), %xmm20, %k2
    464 // CHECK:  encoding: [0x62,0xb2,0x5d,0x00,0x27,0x94,0xf0,0x23,0x01,0x00,0x00]
    465           vptestmd 291(%rax,%r14,8), %xmm20, %k2
    466 
    467 // CHECK: vptestmd (%rcx){1to4}, %xmm20, %k2
    468 // CHECK:  encoding: [0x62,0xf2,0x5d,0x10,0x27,0x11]
    469           vptestmd (%rcx){1to4}, %xmm20, %k2
    470 
    471 // CHECK: vptestmd 2032(%rdx), %xmm20, %k2
    472 // CHECK:  encoding: [0x62,0xf2,0x5d,0x00,0x27,0x52,0x7f]
    473           vptestmd 2032(%rdx), %xmm20, %k2
    474 
    475 // CHECK: vptestmd 2048(%rdx), %xmm20, %k2
    476 // CHECK:  encoding: [0x62,0xf2,0x5d,0x00,0x27,0x92,0x00,0x08,0x00,0x00]
    477           vptestmd 2048(%rdx), %xmm20, %k2
    478 
    479 // CHECK: vptestmd -2048(%rdx), %xmm20, %k2
    480 // CHECK:  encoding: [0x62,0xf2,0x5d,0x00,0x27,0x52,0x80]
    481           vptestmd -2048(%rdx), %xmm20, %k2
    482 
    483 // CHECK: vptestmd -2064(%rdx), %xmm20, %k2
    484 // CHECK:  encoding: [0x62,0xf2,0x5d,0x00,0x27,0x92,0xf0,0xf7,0xff,0xff]
    485           vptestmd -2064(%rdx), %xmm20, %k2
    486 
    487 // CHECK: vptestmd 508(%rdx){1to4}, %xmm20, %k2
    488 // CHECK:  encoding: [0x62,0xf2,0x5d,0x10,0x27,0x52,0x7f]
    489           vptestmd 508(%rdx){1to4}, %xmm20, %k2
    490 
    491 // CHECK: vptestmd 512(%rdx){1to4}, %xmm20, %k2
    492 // CHECK:  encoding: [0x62,0xf2,0x5d,0x10,0x27,0x92,0x00,0x02,0x00,0x00]
    493           vptestmd 512(%rdx){1to4}, %xmm20, %k2
    494 
    495 // CHECK: vptestmd -512(%rdx){1to4}, %xmm20, %k2
    496 // CHECK:  encoding: [0x62,0xf2,0x5d,0x10,0x27,0x52,0x80]
    497           vptestmd -512(%rdx){1to4}, %xmm20, %k2
    498 
    499 // CHECK: vptestmd -516(%rdx){1to4}, %xmm20, %k2
    500 // CHECK:  encoding: [0x62,0xf2,0x5d,0x10,0x27,0x92,0xfc,0xfd,0xff,0xff]
    501           vptestmd -516(%rdx){1to4}, %xmm20, %k2
    502 
    503 // CHECK: vptestmd %ymm17, %ymm20, %k3
    504 // CHECK:  encoding: [0x62,0xb2,0x5d,0x20,0x27,0xd9]
    505           vptestmd %ymm17, %ymm20, %k3
    506 
    507 // CHECK: vptestmd %ymm17, %ymm20, %k3 {%k5}
    508 // CHECK:  encoding: [0x62,0xb2,0x5d,0x25,0x27,0xd9]
    509           vptestmd %ymm17, %ymm20, %k3 {%k5}
    510 
    511 // CHECK: vptestmd (%rcx), %ymm20, %k3
    512 // CHECK:  encoding: [0x62,0xf2,0x5d,0x20,0x27,0x19]
    513           vptestmd (%rcx), %ymm20, %k3
    514 
    515 // CHECK: vptestmd 291(%rax,%r14,8), %ymm20, %k3
    516 // CHECK:  encoding: [0x62,0xb2,0x5d,0x20,0x27,0x9c,0xf0,0x23,0x01,0x00,0x00]
    517           vptestmd 291(%rax,%r14,8), %ymm20, %k3
    518 
    519 // CHECK: vptestmd (%rcx){1to8}, %ymm20, %k3
    520 // CHECK:  encoding: [0x62,0xf2,0x5d,0x30,0x27,0x19]
    521           vptestmd (%rcx){1to8}, %ymm20, %k3
    522 
    523 // CHECK: vptestmd 4064(%rdx), %ymm20, %k3
    524 // CHECK:  encoding: [0x62,0xf2,0x5d,0x20,0x27,0x5a,0x7f]
    525           vptestmd 4064(%rdx), %ymm20, %k3
    526 
    527 // CHECK: vptestmd 4096(%rdx), %ymm20, %k3
    528 // CHECK:  encoding: [0x62,0xf2,0x5d,0x20,0x27,0x9a,0x00,0x10,0x00,0x00]
    529           vptestmd 4096(%rdx), %ymm20, %k3
    530 
    531 // CHECK: vptestmd -4096(%rdx), %ymm20, %k3
    532 // CHECK:  encoding: [0x62,0xf2,0x5d,0x20,0x27,0x5a,0x80]
    533           vptestmd -4096(%rdx), %ymm20, %k3
    534 
    535 // CHECK: vptestmd -4128(%rdx), %ymm20, %k3
    536 // CHECK:  encoding: [0x62,0xf2,0x5d,0x20,0x27,0x9a,0xe0,0xef,0xff,0xff]
    537           vptestmd -4128(%rdx), %ymm20, %k3
    538 
    539 // CHECK: vptestmd 508(%rdx){1to8}, %ymm20, %k3
    540 // CHECK:  encoding: [0x62,0xf2,0x5d,0x30,0x27,0x5a,0x7f]
    541           vptestmd 508(%rdx){1to8}, %ymm20, %k3
    542 
    543 // CHECK: vptestmd 512(%rdx){1to8}, %ymm20, %k3
    544 // CHECK:  encoding: [0x62,0xf2,0x5d,0x30,0x27,0x9a,0x00,0x02,0x00,0x00]
    545           vptestmd 512(%rdx){1to8}, %ymm20, %k3
    546 
    547 // CHECK: vptestmd -512(%rdx){1to8}, %ymm20, %k3
    548 // CHECK:  encoding: [0x62,0xf2,0x5d,0x30,0x27,0x5a,0x80]
    549           vptestmd -512(%rdx){1to8}, %ymm20, %k3
    550 
    551 // CHECK: vptestmd -516(%rdx){1to8}, %ymm20, %k3
    552 // CHECK:  encoding: [0x62,0xf2,0x5d,0x30,0x27,0x9a,0xfc,0xfd,0xff,0xff]
    553           vptestmd -516(%rdx){1to8}, %ymm20, %k3
    554 
    555 // CHECK: vptestmq %xmm28, %xmm22, %k4
    556 // CHECK:  encoding: [0x62,0x92,0xcd,0x00,0x27,0xe4]
    557           vptestmq %xmm28, %xmm22, %k4
    558 
    559 // CHECK: vptestmq %xmm28, %xmm22, %k4 {%k3}
    560 // CHECK:  encoding: [0x62,0x92,0xcd,0x03,0x27,0xe4]
    561           vptestmq %xmm28, %xmm22, %k4 {%k3}
    562 
    563 // CHECK: vptestmq (%rcx), %xmm22, %k4
    564 // CHECK:  encoding: [0x62,0xf2,0xcd,0x00,0x27,0x21]
    565           vptestmq (%rcx), %xmm22, %k4
    566 
    567 // CHECK: vptestmq 291(%rax,%r14,8), %xmm22, %k4
    568 // CHECK:  encoding: [0x62,0xb2,0xcd,0x00,0x27,0xa4,0xf0,0x23,0x01,0x00,0x00]
    569           vptestmq 291(%rax,%r14,8), %xmm22, %k4
    570 
    571 // CHECK: vptestmq (%rcx){1to2}, %xmm22, %k4
    572 // CHECK:  encoding: [0x62,0xf2,0xcd,0x10,0x27,0x21]
    573           vptestmq (%rcx){1to2}, %xmm22, %k4
    574 
    575 // CHECK: vptestmq 2032(%rdx), %xmm22, %k4
    576 // CHECK:  encoding: [0x62,0xf2,0xcd,0x00,0x27,0x62,0x7f]
    577           vptestmq 2032(%rdx), %xmm22, %k4
    578 
    579 // CHECK: vptestmq 2048(%rdx), %xmm22, %k4
    580 // CHECK:  encoding: [0x62,0xf2,0xcd,0x00,0x27,0xa2,0x00,0x08,0x00,0x00]
    581           vptestmq 2048(%rdx), %xmm22, %k4
    582 
    583 // CHECK: vptestmq -2048(%rdx), %xmm22, %k4
    584 // CHECK:  encoding: [0x62,0xf2,0xcd,0x00,0x27,0x62,0x80]
    585           vptestmq -2048(%rdx), %xmm22, %k4
    586 
    587 // CHECK: vptestmq -2064(%rdx), %xmm22, %k4
    588 // CHECK:  encoding: [0x62,0xf2,0xcd,0x00,0x27,0xa2,0xf0,0xf7,0xff,0xff]
    589           vptestmq -2064(%rdx), %xmm22, %k4
    590 
    591 // CHECK: vptestmq 1016(%rdx){1to2}, %xmm22, %k4
    592 // CHECK:  encoding: [0x62,0xf2,0xcd,0x10,0x27,0x62,0x7f]
    593           vptestmq 1016(%rdx){1to2}, %xmm22, %k4
    594 
    595 // CHECK: vptestmq 1024(%rdx){1to2}, %xmm22, %k4
    596 // CHECK:  encoding: [0x62,0xf2,0xcd,0x10,0x27,0xa2,0x00,0x04,0x00,0x00]
    597           vptestmq 1024(%rdx){1to2}, %xmm22, %k4
    598 
    599 // CHECK: vptestmq -1024(%rdx){1to2}, %xmm22, %k4
    600 // CHECK:  encoding: [0x62,0xf2,0xcd,0x10,0x27,0x62,0x80]
    601           vptestmq -1024(%rdx){1to2}, %xmm22, %k4
    602 
    603 // CHECK: vptestmq -1032(%rdx){1to2}, %xmm22, %k4
    604 // CHECK:  encoding: [0x62,0xf2,0xcd,0x10,0x27,0xa2,0xf8,0xfb,0xff,0xff]
    605           vptestmq -1032(%rdx){1to2}, %xmm22, %k4
    606 
    607 // CHECK: vptestmq %ymm20, %ymm21, %k3
    608 // CHECK:  encoding: [0x62,0xb2,0xd5,0x20,0x27,0xdc]
    609           vptestmq %ymm20, %ymm21, %k3
    610 
    611 // CHECK: vptestmq %ymm20, %ymm21, %k3 {%k7}
    612 // CHECK:  encoding: [0x62,0xb2,0xd5,0x27,0x27,0xdc]
    613           vptestmq %ymm20, %ymm21, %k3 {%k7}
    614 
    615 // CHECK: vptestmq (%rcx), %ymm21, %k3
    616 // CHECK:  encoding: [0x62,0xf2,0xd5,0x20,0x27,0x19]
    617           vptestmq (%rcx), %ymm21, %k3
    618 
    619 // CHECK: vptestmq 291(%rax,%r14,8), %ymm21, %k3
    620 // CHECK:  encoding: [0x62,0xb2,0xd5,0x20,0x27,0x9c,0xf0,0x23,0x01,0x00,0x00]
    621           vptestmq 291(%rax,%r14,8), %ymm21, %k3
    622 
    623 // CHECK: vptestmq (%rcx){1to4}, %ymm21, %k3
    624 // CHECK:  encoding: [0x62,0xf2,0xd5,0x30,0x27,0x19]
    625           vptestmq (%rcx){1to4}, %ymm21, %k3
    626 
    627 // CHECK: vptestmq 4064(%rdx), %ymm21, %k3
    628 // CHECK:  encoding: [0x62,0xf2,0xd5,0x20,0x27,0x5a,0x7f]
    629           vptestmq 4064(%rdx), %ymm21, %k3
    630 
    631 // CHECK: vptestmq 4096(%rdx), %ymm21, %k3
    632 // CHECK:  encoding: [0x62,0xf2,0xd5,0x20,0x27,0x9a,0x00,0x10,0x00,0x00]
    633           vptestmq 4096(%rdx), %ymm21, %k3
    634 
    635 // CHECK: vptestmq -4096(%rdx), %ymm21, %k3
    636 // CHECK:  encoding: [0x62,0xf2,0xd5,0x20,0x27,0x5a,0x80]
    637           vptestmq -4096(%rdx), %ymm21, %k3
    638 
    639 // CHECK: vptestmq -4128(%rdx), %ymm21, %k3
    640 // CHECK:  encoding: [0x62,0xf2,0xd5,0x20,0x27,0x9a,0xe0,0xef,0xff,0xff]
    641           vptestmq -4128(%rdx), %ymm21, %k3
    642 
    643 // CHECK: vptestmq 1016(%rdx){1to4}, %ymm21, %k3
    644 // CHECK:  encoding: [0x62,0xf2,0xd5,0x30,0x27,0x5a,0x7f]
    645           vptestmq 1016(%rdx){1to4}, %ymm21, %k3
    646 
    647 // CHECK: vptestmq 1024(%rdx){1to4}, %ymm21, %k3
    648 // CHECK:  encoding: [0x62,0xf2,0xd5,0x30,0x27,0x9a,0x00,0x04,0x00,0x00]
    649           vptestmq 1024(%rdx){1to4}, %ymm21, %k3
    650 
    651 // CHECK: vptestmq -1024(%rdx){1to4}, %ymm21, %k3
    652 // CHECK:  encoding: [0x62,0xf2,0xd5,0x30,0x27,0x5a,0x80]
    653           vptestmq -1024(%rdx){1to4}, %ymm21, %k3
    654 
    655 // CHECK: vptestnmd %xmm22, %xmm20, %k3
    656 // CHECK:  encoding: [0x62,0xb2,0x5e,0x00,0x27,0xde]
    657           vptestnmd %xmm22, %xmm20, %k3
    658 
    659 // CHECK: vptestnmd %xmm22, %xmm20, %k3 {%k7}
    660 // CHECK:  encoding: [0x62,0xb2,0x5e,0x07,0x27,0xde]
    661           vptestnmd %xmm22, %xmm20, %k3 {%k7}
    662 
    663 // CHECK: vptestnmd (%rcx), %xmm20, %k3
    664 // CHECK:  encoding: [0x62,0xf2,0x5e,0x00,0x27,0x19]
    665           vptestnmd (%rcx), %xmm20, %k3
    666 
    667 // CHECK: vptestnmd 291(%rax,%r14,8), %xmm20, %k3
    668 // CHECK:  encoding: [0x62,0xb2,0x5e,0x00,0x27,0x9c,0xf0,0x23,0x01,0x00,0x00]
    669           vptestnmd 291(%rax,%r14,8), %xmm20, %k3
    670 
    671 // CHECK: vptestnmd (%rcx){1to4}, %xmm20, %k3
    672 // CHECK:  encoding: [0x62,0xf2,0x5e,0x10,0x27,0x19]
    673           vptestnmd (%rcx){1to4}, %xmm20, %k3
    674 
    675 // CHECK: vptestnmd 2032(%rdx), %xmm20, %k3
    676 // CHECK:  encoding: [0x62,0xf2,0x5e,0x00,0x27,0x5a,0x7f]
    677           vptestnmd 2032(%rdx), %xmm20, %k3
    678 
    679 // CHECK: vptestnmd 2048(%rdx), %xmm20, %k3
    680 // CHECK:  encoding: [0x62,0xf2,0x5e,0x00,0x27,0x9a,0x00,0x08,0x00,0x00]
    681           vptestnmd 2048(%rdx), %xmm20, %k3
    682 
    683 // CHECK: vptestnmd -2048(%rdx), %xmm20, %k3
    684 // CHECK:  encoding: [0x62,0xf2,0x5e,0x00,0x27,0x5a,0x80]
    685           vptestnmd -2048(%rdx), %xmm20, %k3
    686 
    687 // CHECK: vptestnmd -2064(%rdx), %xmm20, %k3
    688 // CHECK:  encoding: [0x62,0xf2,0x5e,0x00,0x27,0x9a,0xf0,0xf7,0xff,0xff]
    689           vptestnmd -2064(%rdx), %xmm20, %k3
    690 
    691 // CHECK: vptestnmd 508(%rdx){1to4}, %xmm20, %k3
    692 // CHECK:  encoding: [0x62,0xf2,0x5e,0x10,0x27,0x5a,0x7f]
    693           vptestnmd 508(%rdx){1to4}, %xmm20, %k3
    694 
    695 // CHECK: vptestnmd 512(%rdx){1to4}, %xmm20, %k3
    696 // CHECK:  encoding: [0x62,0xf2,0x5e,0x10,0x27,0x9a,0x00,0x02,0x00,0x00]
    697           vptestnmd 512(%rdx){1to4}, %xmm20, %k3
    698 
    699 // CHECK: vptestnmd -512(%rdx){1to4}, %xmm20, %k3
    700 // CHECK:  encoding: [0x62,0xf2,0x5e,0x10,0x27,0x5a,0x80]
    701           vptestnmd -512(%rdx){1to4}, %xmm20, %k3
    702 
    703 // CHECK: vptestnmd -516(%rdx){1to4}, %xmm20, %k3
    704 // CHECK:  encoding: [0x62,0xf2,0x5e,0x10,0x27,0x9a,0xfc,0xfd,0xff,0xff]
    705           vptestnmd -516(%rdx){1to4}, %xmm20, %k3
    706 
    707 // CHECK: vptestnmd %ymm23, %ymm21, %k3
    708 // CHECK:  encoding: [0x62,0xb2,0x56,0x20,0x27,0xdf]
    709           vptestnmd %ymm23, %ymm21, %k3
    710 
    711 // CHECK: vptestnmd %ymm23, %ymm21, %k3 {%k7}
    712 // CHECK:  encoding: [0x62,0xb2,0x56,0x27,0x27,0xdf]
    713           vptestnmd %ymm23, %ymm21, %k3 {%k7}
    714 
    715 // CHECK: vptestnmd (%rcx), %ymm21, %k3
    716 // CHECK:  encoding: [0x62,0xf2,0x56,0x20,0x27,0x19]
    717           vptestnmd (%rcx), %ymm21, %k3
    718 
    719 // CHECK: vptestnmd 291(%rax,%r14,8), %ymm21, %k3
    720 // CHECK:  encoding: [0x62,0xb2,0x56,0x20,0x27,0x9c,0xf0,0x23,0x01,0x00,0x00]
    721           vptestnmd 291(%rax,%r14,8), %ymm21, %k3
    722 
    723 // CHECK: vptestnmd (%rcx){1to8}, %ymm21, %k3
    724 // CHECK:  encoding: [0x62,0xf2,0x56,0x30,0x27,0x19]
    725           vptestnmd (%rcx){1to8}, %ymm21, %k3
    726 
    727 // CHECK: vptestnmd 4064(%rdx), %ymm21, %k3
    728 // CHECK:  encoding: [0x62,0xf2,0x56,0x20,0x27,0x5a,0x7f]
    729           vptestnmd 4064(%rdx), %ymm21, %k3
    730 
    731 // CHECK: vptestnmd 4096(%rdx), %ymm21, %k3
    732 // CHECK:  encoding: [0x62,0xf2,0x56,0x20,0x27,0x9a,0x00,0x10,0x00,0x00]
    733           vptestnmd 4096(%rdx), %ymm21, %k3
    734 
    735 // CHECK: vptestnmd -4096(%rdx), %ymm21, %k3
    736 // CHECK:  encoding: [0x62,0xf2,0x56,0x20,0x27,0x5a,0x80]
    737           vptestnmd -4096(%rdx), %ymm21, %k3
    738 
    739 // CHECK: vptestnmd -4128(%rdx), %ymm21, %k3
    740 // CHECK:  encoding: [0x62,0xf2,0x56,0x20,0x27,0x9a,0xe0,0xef,0xff,0xff]
    741           vptestnmd -4128(%rdx), %ymm21, %k3
    742 
    743 // CHECK: vptestnmd 508(%rdx){1to8}, %ymm21, %k3
    744 // CHECK:  encoding: [0x62,0xf2,0x56,0x30,0x27,0x5a,0x7f]
    745           vptestnmd 508(%rdx){1to8}, %ymm21, %k3
    746 
    747 // CHECK: vptestnmd 512(%rdx){1to8}, %ymm21, %k3
    748 // CHECK:  encoding: [0x62,0xf2,0x56,0x30,0x27,0x9a,0x00,0x02,0x00,0x00]
    749           vptestnmd 512(%rdx){1to8}, %ymm21, %k3
    750 
    751 // CHECK: vptestnmd -512(%rdx){1to8}, %ymm21, %k3
    752 // CHECK:  encoding: [0x62,0xf2,0x56,0x30,0x27,0x5a,0x80]
    753           vptestnmd -512(%rdx){1to8}, %ymm21, %k3
    754 
    755 // CHECK: vptestnmd -516(%rdx){1to8}, %ymm21, %k3
    756 // CHECK:  encoding: [0x62,0xf2,0x56,0x30,0x27,0x9a,0xfc,0xfd,0xff,0xff]
    757           vptestnmd -516(%rdx){1to8}, %ymm21, %k3
    758 
    759 // CHECK: vptestnmq %xmm21, %xmm20, %k5
    760 // CHECK:  encoding: [0x62,0xb2,0xde,0x00,0x27,0xed]
    761           vptestnmq %xmm21, %xmm20, %k5
    762 
    763 // CHECK: vptestnmq %xmm21, %xmm20, %k5 {%k5}
    764 // CHECK:  encoding: [0x62,0xb2,0xde,0x05,0x27,0xed]
    765           vptestnmq %xmm21, %xmm20, %k5 {%k5}
    766 
    767 // CHECK: vptestnmq (%rcx), %xmm20, %k5
    768 // CHECK:  encoding: [0x62,0xf2,0xde,0x00,0x27,0x29]
    769           vptestnmq (%rcx), %xmm20, %k5
    770 
    771 // CHECK: vptestnmq 291(%rax,%r14,8), %xmm20, %k5
    772 // CHECK:  encoding: [0x62,0xb2,0xde,0x00,0x27,0xac,0xf0,0x23,0x01,0x00,0x00]
    773           vptestnmq 291(%rax,%r14,8), %xmm20, %k5
    774 
    775 // CHECK: vptestnmq (%rcx){1to2}, %xmm20, %k5
    776 // CHECK:  encoding: [0x62,0xf2,0xde,0x10,0x27,0x29]
    777           vptestnmq (%rcx){1to2}, %xmm20, %k5
    778 
    779 // CHECK: vptestnmq 2032(%rdx), %xmm20, %k5
    780 // CHECK:  encoding: [0x62,0xf2,0xde,0x00,0x27,0x6a,0x7f]
    781           vptestnmq 2032(%rdx), %xmm20, %k5
    782 
    783 // CHECK: vptestnmq 2048(%rdx), %xmm20, %k5
    784 // CHECK:  encoding: [0x62,0xf2,0xde,0x00,0x27,0xaa,0x00,0x08,0x00,0x00]
    785           vptestnmq 2048(%rdx), %xmm20, %k5
    786 
    787 // CHECK: vptestnmq -2048(%rdx), %xmm20, %k5
    788 // CHECK:  encoding: [0x62,0xf2,0xde,0x00,0x27,0x6a,0x80]
    789           vptestnmq -2048(%rdx), %xmm20, %k5
    790 
    791 // CHECK: vptestnmq -2064(%rdx), %xmm20, %k5
    792 // CHECK:  encoding: [0x62,0xf2,0xde,0x00,0x27,0xaa,0xf0,0xf7,0xff,0xff]
    793           vptestnmq -2064(%rdx), %xmm20, %k5
    794 
    795 // CHECK: vptestnmq 1016(%rdx){1to2}, %xmm20, %k5
    796 // CHECK:  encoding: [0x62,0xf2,0xde,0x10,0x27,0x6a,0x7f]
    797           vptestnmq 1016(%rdx){1to2}, %xmm20, %k5
    798 
    799 // CHECK: vptestnmq 1024(%rdx){1to2}, %xmm20, %k5
    800 // CHECK:  encoding: [0x62,0xf2,0xde,0x10,0x27,0xaa,0x00,0x04,0x00,0x00]
    801           vptestnmq 1024(%rdx){1to2}, %xmm20, %k5
    802 
    803 // CHECK: vptestnmq -1024(%rdx){1to2}, %xmm20, %k5
    804 // CHECK:  encoding: [0x62,0xf2,0xde,0x10,0x27,0x6a,0x80]
    805           vptestnmq -1024(%rdx){1to2}, %xmm20, %k5
    806 
    807 // CHECK: vptestnmq -1032(%rdx){1to2}, %xmm20, %k5
    808 // CHECK:  encoding: [0x62,0xf2,0xde,0x10,0x27,0xaa,0xf8,0xfb,0xff,0xff]
    809           vptestnmq -1032(%rdx){1to2}, %xmm20, %k5
    810 
    811 // CHECK: vptestnmq %ymm21, %ymm24, %k4
    812 // CHECK:  encoding: [0x62,0xb2,0xbe,0x20,0x27,0xe5]
    813           vptestnmq %ymm21, %ymm24, %k4
    814 
    815 // CHECK: vptestnmq %ymm21, %ymm24, %k4 {%k3}
    816 // CHECK:  encoding: [0x62,0xb2,0xbe,0x23,0x27,0xe5]
    817           vptestnmq %ymm21, %ymm24, %k4 {%k3}
    818 
    819 // CHECK: vptestnmq (%rcx), %ymm24, %k4
    820 // CHECK:  encoding: [0x62,0xf2,0xbe,0x20,0x27,0x21]
    821           vptestnmq (%rcx), %ymm24, %k4
    822 
    823 // CHECK: vptestnmq 291(%rax,%r14,8), %ymm24, %k4
    824 // CHECK:  encoding: [0x62,0xb2,0xbe,0x20,0x27,0xa4,0xf0,0x23,0x01,0x00,0x00]
    825           vptestnmq 291(%rax,%r14,8), %ymm24, %k4
    826 
    827 // CHECK: vptestnmq (%rcx){1to4}, %ymm24, %k4
    828 // CHECK:  encoding: [0x62,0xf2,0xbe,0x30,0x27,0x21]
    829           vptestnmq (%rcx){1to4}, %ymm24, %k4
    830 
    831 // CHECK: vptestnmq 4064(%rdx), %ymm24, %k4
    832 // CHECK:  encoding: [0x62,0xf2,0xbe,0x20,0x27,0x62,0x7f]
    833           vptestnmq 4064(%rdx), %ymm24, %k4
    834 
    835 // CHECK: vptestnmq 4096(%rdx), %ymm24, %k4
    836 // CHECK:  encoding: [0x62,0xf2,0xbe,0x20,0x27,0xa2,0x00,0x10,0x00,0x00]
    837           vptestnmq 4096(%rdx), %ymm24, %k4
    838 
    839 // CHECK: vptestnmq -4096(%rdx), %ymm24, %k4
    840 // CHECK:  encoding: [0x62,0xf2,0xbe,0x20,0x27,0x62,0x80]
    841           vptestnmq -4096(%rdx), %ymm24, %k4
    842 
    843 // CHECK: vptestnmq -4128(%rdx), %ymm24, %k4
    844 // CHECK:  encoding: [0x62,0xf2,0xbe,0x20,0x27,0xa2,0xe0,0xef,0xff,0xff]
    845           vptestnmq -4128(%rdx), %ymm24, %k4
    846 
    847 // CHECK: vptestnmq 1016(%rdx){1to4}, %ymm24, %k4
    848 // CHECK:  encoding: [0x62,0xf2,0xbe,0x30,0x27,0x62,0x7f]
    849           vptestnmq 1016(%rdx){1to4}, %ymm24, %k4
    850 
    851 // CHECK: vptestnmq 1024(%rdx){1to4}, %ymm24, %k4
    852 // CHECK:  encoding: [0x62,0xf2,0xbe,0x30,0x27,0xa2,0x00,0x04,0x00,0x00]
    853           vptestnmq 1024(%rdx){1to4}, %ymm24, %k4
    854 
    855 // CHECK: vptestnmq -1024(%rdx){1to4}, %ymm24, %k4
    856 // CHECK:  encoding: [0x62,0xf2,0xbe,0x30,0x27,0x62,0x80]
    857           vptestnmq -1024(%rdx){1to4}, %ymm24, %k4
    858 
    859 // CHECK: vptestnmq -1032(%rdx){1to4}, %ymm24, %k4
    860 // CHECK:  encoding: [0x62,0xf2,0xbe,0x30,0x27,0xa2,0xf8,0xfb,0xff,0xff]
    861           vptestnmq -1032(%rdx){1to4}, %ymm24, %k4
    862 
    863 // CHECK: vptestnmq %xmm19, %xmm28, %k2
    864 // CHECK:  encoding: [0x62,0xb2,0x9e,0x00,0x27,0xd3]
    865           vptestnmq %xmm19, %xmm28,%k2
    866 
    867 // CHECK: vptestnmq %xmm19, %xmm28, %k2 {%k1}
    868 // CHECK:  encoding: [0x62,0xb2,0x9e,0x01,0x27,0xd3]
    869           vptestnmq %xmm19, %xmm28,%k2 {%k1}
    870 
    871 // CHECK: vptestnmq (%rcx), %xmm28, %k2
    872 // CHECK:  encoding: [0x62,0xf2,0x9e,0x00,0x27,0x11]
    873           vptestnmq (%rcx), %xmm28,%k2
    874 
    875 // CHECK: vptestnmq 4660(%rax,%r14,8), %xmm28, %k2
    876 // CHECK:  encoding: [0x62,0xb2,0x9e,0x00,0x27,0x94,0xf0,0x34,0x12,0x00,0x00]
    877           vptestnmq 4660(%rax,%r14,8), %xmm28,%k2
    878 
    879 // CHECK: vptestnmq (%rcx){1to2}, %xmm28, %k2
    880 // CHECK:  encoding: [0x62,0xf2,0x9e,0x10,0x27,0x11]
    881           vptestnmq (%rcx){1to2}, %xmm28,%k2
    882 
    883 // CHECK: vptestnmq 2032(%rdx), %xmm28, %k2
    884 // CHECK:  encoding: [0x62,0xf2,0x9e,0x00,0x27,0x52,0x7f]
    885           vptestnmq 2032(%rdx), %xmm28,%k2
    886 
    887 // CHECK: vptestnmq 2048(%rdx), %xmm28, %k2
    888 // CHECK:  encoding: [0x62,0xf2,0x9e,0x00,0x27,0x92,0x00,0x08,0x00,0x00]
    889           vptestnmq 2048(%rdx), %xmm28,%k2
    890 
    891 // CHECK: vptestnmq -2048(%rdx), %xmm28, %k2
    892 // CHECK:  encoding: [0x62,0xf2,0x9e,0x00,0x27,0x52,0x80]
    893           vptestnmq -2048(%rdx), %xmm28,%k2
    894 
    895 // CHECK: vptestnmq -2064(%rdx), %xmm28, %k2
    896 // CHECK:  encoding: [0x62,0xf2,0x9e,0x00,0x27,0x92,0xf0,0xf7,0xff,0xff]
    897           vptestnmq -2064(%rdx), %xmm28,%k2
    898 
    899 // CHECK: vptestnmq 1016(%rdx){1to2}, %xmm28, %k2
    900 // CHECK:  encoding: [0x62,0xf2,0x9e,0x10,0x27,0x52,0x7f]
    901           vptestnmq 1016(%rdx){1to2}, %xmm28,%k2
    902 
    903 // CHECK: vptestnmq 1024(%rdx){1to2}, %xmm28, %k2
    904 // CHECK:  encoding: [0x62,0xf2,0x9e,0x10,0x27,0x92,0x00,0x04,0x00,0x00]
    905           vptestnmq 1024(%rdx){1to2}, %xmm28,%k2
    906 
    907 // CHECK: vptestnmq -1024(%rdx){1to2}, %xmm28, %k2
    908 // CHECK:  encoding: [0x62,0xf2,0x9e,0x10,0x27,0x52,0x80]
    909           vptestnmq -1024(%rdx){1to2}, %xmm28,%k2
    910 
    911 // CHECK: vptestnmq -1032(%rdx){1to2}, %xmm28, %k2
    912 // CHECK:  encoding: [0x62,0xf2,0x9e,0x10,0x27,0x92,0xf8,0xfb,0xff,0xff]
    913           vptestnmq -1032(%rdx){1to2}, %xmm28,%k2
    914 
    915 // CHECK: vptestnmq %ymm17, %ymm26, %k4
    916 // CHECK:  encoding: [0x62,0xb2,0xae,0x20,0x27,0xe1]
    917           vptestnmq %ymm17, %ymm26,%k4
    918 
    919 // CHECK: vptestnmq %ymm17, %ymm26, %k4 {%k1}
    920 // CHECK:  encoding: [0x62,0xb2,0xae,0x21,0x27,0xe1]
    921           vptestnmq %ymm17, %ymm26,%k4 {%k1}
    922 
    923 // CHECK: vptestnmq (%rcx), %ymm26, %k4
    924 // CHECK:  encoding: [0x62,0xf2,0xae,0x20,0x27,0x21]
    925           vptestnmq (%rcx), %ymm26,%k4
    926 
    927 // CHECK: vptestnmq 4660(%rax,%r14,8), %ymm26, %k4
    928 // CHECK:  encoding: [0x62,0xb2,0xae,0x20,0x27,0xa4,0xf0,0x34,0x12,0x00,0x00]
    929           vptestnmq 4660(%rax,%r14,8), %ymm26,%k4
    930 
    931 // CHECK: vptestnmq (%rcx){1to4}, %ymm26, %k4
    932 // CHECK:  encoding: [0x62,0xf2,0xae,0x30,0x27,0x21]
    933           vptestnmq (%rcx){1to4}, %ymm26,%k4
    934 
    935 // CHECK: vptestnmq 4064(%rdx), %ymm26, %k4
    936 // CHECK:  encoding: [0x62,0xf2,0xae,0x20,0x27,0x62,0x7f]
    937           vptestnmq 4064(%rdx), %ymm26,%k4
    938 
    939 // CHECK: vptestnmq 4096(%rdx), %ymm26, %k4
    940 // CHECK:  encoding: [0x62,0xf2,0xae,0x20,0x27,0xa2,0x00,0x10,0x00,0x00]
    941           vptestnmq 4096(%rdx), %ymm26,%k4
    942 
    943 // CHECK: vptestnmq -4096(%rdx), %ymm26, %k4
    944 // CHECK:  encoding: [0x62,0xf2,0xae,0x20,0x27,0x62,0x80]
    945           vptestnmq -4096(%rdx), %ymm26,%k4
    946 
    947 // CHECK: vptestnmq -4128(%rdx), %ymm26, %k4
    948 // CHECK:  encoding: [0x62,0xf2,0xae,0x20,0x27,0xa2,0xe0,0xef,0xff,0xff]
    949           vptestnmq -4128(%rdx), %ymm26,%k4
    950 
    951 // CHECK: vptestnmq 1016(%rdx){1to4}, %ymm26, %k4
    952 // CHECK:  encoding: [0x62,0xf2,0xae,0x30,0x27,0x62,0x7f]
    953           vptestnmq 1016(%rdx){1to4}, %ymm26,%k4
    954 
    955 // CHECK: vptestnmq 1024(%rdx){1to4}, %ymm26, %k4
    956 // CHECK:  encoding: [0x62,0xf2,0xae,0x30,0x27,0xa2,0x00,0x04,0x00,0x00]
    957           vptestnmq 1024(%rdx){1to4}, %ymm26,%k4
    958 
    959 // CHECK: vptestnmq -1024(%rdx){1to4}, %ymm26, %k4
    960 // CHECK:  encoding: [0x62,0xf2,0xae,0x30,0x27,0x62,0x80]
    961           vptestnmq -1024(%rdx){1to4}, %ymm26,%k4
    962 
    963 // CHECK: vptestnmq -1032(%rdx){1to4}, %ymm26, %k4
    964 // CHECK:  encoding: [0x62,0xf2,0xae,0x30,0x27,0xa2,0xf8,0xfb,0xff,0xff]
    965           vptestnmq -1032(%rdx){1to4}, %ymm26,%k4
    966 
    967 
    968 // CHECK: vptestnmd %xmm21, %xmm25, %k4
    969 // CHECK:  encoding: [0x62,0xb2,0x36,0x00,0x27,0xe5]
    970           vptestnmd %xmm21, %xmm25,%k4
    971 
    972 // CHECK: vptestnmd %xmm21, %xmm25, %k4 {%k5}
    973 // CHECK:  encoding: [0x62,0xb2,0x36,0x05,0x27,0xe5]
    974           vptestnmd %xmm21, %xmm25,%k4 {%k5}
    975 
    976 // CHECK: vptestnmd (%rcx), %xmm25, %k4
    977 // CHECK:  encoding: [0x62,0xf2,0x36,0x00,0x27,0x21]
    978           vptestnmd (%rcx), %xmm25,%k4
    979 
    980 // CHECK: vptestnmd 4660(%rax,%r14,8), %xmm25, %k4
    981 // CHECK:  encoding: [0x62,0xb2,0x36,0x00,0x27,0xa4,0xf0,0x34,0x12,0x00,0x00]
    982           vptestnmd 4660(%rax,%r14,8), %xmm25,%k4
    983 
    984 // CHECK: vptestnmd (%rcx){1to4}, %xmm25, %k4
    985 // CHECK:  encoding: [0x62,0xf2,0x36,0x10,0x27,0x21]
    986           vptestnmd (%rcx){1to4}, %xmm25,%k4
    987 
    988 // CHECK: vptestnmd 2032(%rdx), %xmm25, %k4
    989 // CHECK:  encoding: [0x62,0xf2,0x36,0x00,0x27,0x62,0x7f]
    990           vptestnmd 2032(%rdx), %xmm25,%k4
    991 
    992 // CHECK: vptestnmd 2048(%rdx), %xmm25, %k4
    993 // CHECK:  encoding: [0x62,0xf2,0x36,0x00,0x27,0xa2,0x00,0x08,0x00,0x00]
    994           vptestnmd 2048(%rdx), %xmm25,%k4
    995 
    996 // CHECK: vptestnmd -2048(%rdx), %xmm25, %k4
    997 // CHECK:  encoding: [0x62,0xf2,0x36,0x00,0x27,0x62,0x80]
    998           vptestnmd -2048(%rdx), %xmm25,%k4
    999 
   1000 // CHECK: vptestnmd -2064(%rdx), %xmm25, %k4
   1001 // CHECK:  encoding: [0x62,0xf2,0x36,0x00,0x27,0xa2,0xf0,0xf7,0xff,0xff]
   1002           vptestnmd -2064(%rdx), %xmm25,%k4
   1003 
   1004 // CHECK: vptestnmd 508(%rdx){1to4}, %xmm25, %k4
   1005 // CHECK:  encoding: [0x62,0xf2,0x36,0x10,0x27,0x62,0x7f]
   1006           vptestnmd 508(%rdx){1to4}, %xmm25,%k4
   1007 
   1008 // CHECK: vptestnmd 512(%rdx){1to4}, %xmm25, %k4
   1009 // CHECK:  encoding: [0x62,0xf2,0x36,0x10,0x27,0xa2,0x00,0x02,0x00,0x00]
   1010           vptestnmd 512(%rdx){1to4}, %xmm25,%k4
   1011 
   1012 // CHECK: vptestnmd -512(%rdx){1to4}, %xmm25, %k4
   1013 // CHECK:  encoding: [0x62,0xf2,0x36,0x10,0x27,0x62,0x80]
   1014           vptestnmd -512(%rdx){1to4}, %xmm25,%k4
   1015 
   1016 // CHECK: vptestnmd -516(%rdx){1to4}, %xmm25, %k4
   1017 // CHECK:  encoding: [0x62,0xf2,0x36,0x10,0x27,0xa2,0xfc,0xfd,0xff,0xff]
   1018           vptestnmd -516(%rdx){1to4}, %xmm25,%k4
   1019 
   1020 // CHECK: vptestnmd %ymm26, %ymm29, %k4
   1021 // CHECK:  encoding: [0x62,0x92,0x16,0x20,0x27,0xe2]
   1022           vptestnmd %ymm26, %ymm29,%k4
   1023 
   1024 // CHECK: vptestnmd %ymm26, %ymm29, %k4 {%k4}
   1025 // CHECK:  encoding: [0x62,0x92,0x16,0x24,0x27,0xe2]
   1026           vptestnmd %ymm26, %ymm29,%k4 {%k4}
   1027 
   1028 // CHECK: vptestnmd (%rcx), %ymm29, %k4
   1029 // CHECK:  encoding: [0x62,0xf2,0x16,0x20,0x27,0x21]
   1030           vptestnmd (%rcx), %ymm29,%k4
   1031 
   1032 // CHECK: vptestnmd 4660(%rax,%r14,8), %ymm29, %k4
   1033 // CHECK:  encoding: [0x62,0xb2,0x16,0x20,0x27,0xa4,0xf0,0x34,0x12,0x00,0x00]
   1034           vptestnmd 4660(%rax,%r14,8), %ymm29,%k4
   1035 
   1036 // CHECK: vptestnmd (%rcx){1to8}, %ymm29, %k4
   1037 // CHECK:  encoding: [0x62,0xf2,0x16,0x30,0x27,0x21]
   1038           vptestnmd (%rcx){1to8}, %ymm29,%k4
   1039 
   1040 // CHECK: vptestnmd 4064(%rdx), %ymm29, %k4
   1041 // CHECK:  encoding: [0x62,0xf2,0x16,0x20,0x27,0x62,0x7f]
   1042           vptestnmd 4064(%rdx), %ymm29,%k4
   1043 
   1044 // CHECK: vptestnmd 4096(%rdx), %ymm29, %k4
   1045 // CHECK:  encoding: [0x62,0xf2,0x16,0x20,0x27,0xa2,0x00,0x10,0x00,0x00]
   1046           vptestnmd 4096(%rdx), %ymm29,%k4
   1047 
   1048 // CHECK: vptestnmd -4096(%rdx), %ymm29, %k4
   1049 // CHECK:  encoding: [0x62,0xf2,0x16,0x20,0x27,0x62,0x80]
   1050           vptestnmd -4096(%rdx), %ymm29,%k4
   1051 
   1052 // CHECK: vptestnmd -4128(%rdx), %ymm29, %k4
   1053 // CHECK:  encoding: [0x62,0xf2,0x16,0x20,0x27,0xa2,0xe0,0xef,0xff,0xff]
   1054           vptestnmd -4128(%rdx), %ymm29,%k4
   1055 
   1056 // CHECK: vptestnmd 508(%rdx){1to8}, %ymm29, %k4
   1057 // CHECK:  encoding: [0x62,0xf2,0x16,0x30,0x27,0x62,0x7f]
   1058           vptestnmd 508(%rdx){1to8}, %ymm29,%k4
   1059 
   1060 // CHECK: vptestnmd 512(%rdx){1to8}, %ymm29, %k4
   1061 // CHECK:  encoding: [0x62,0xf2,0x16,0x30,0x27,0xa2,0x00,0x02,0x00,0x00]
   1062           vptestnmd 512(%rdx){1to8}, %ymm29,%k4
   1063 
   1064 // CHECK: vptestnmd -512(%rdx){1to8}, %ymm29, %k4
   1065 // CHECK:  encoding: [0x62,0xf2,0x16,0x30,0x27,0x62,0x80]
   1066           vptestnmd -512(%rdx){1to8}, %ymm29,%k4
   1067 
   1068 // CHECK: vptestnmd -516(%rdx){1to8}, %ymm29, %k4
   1069 // CHECK:  encoding: [0x62,0xf2,0x16,0x30,0x27,0xa2,0xfc,0xfd,0xff,0xff]
   1070           vptestnmd -516(%rdx){1to8}, %ymm29,%k4
   1071 
   1072 // CHECK: vpmovd2m %xmm27, %k3
   1073 // CHECK:  encoding: [0x62,0x92,0x7e,0x08,0x39,0xdb]
   1074           vpmovd2m %xmm27, %k3
   1075 
   1076 // CHECK: vpmovd2m %ymm28, %k4
   1077 // CHECK:  encoding: [0x62,0x92,0x7e,0x28,0x39,0xe4]
   1078           vpmovd2m %ymm28, %k4
   1079 
   1080 // CHECK: vpmovq2m %xmm28, %k5
   1081 // CHECK:  encoding: [0x62,0x92,0xfe,0x08,0x39,0xec]
   1082           vpmovq2m %xmm28, %k5
   1083 
   1084 // CHECK: vpmovq2m %ymm29, %k4
   1085 // CHECK:  encoding: [0x62,0x92,0xfe,0x28,0x39,0xe5]
   1086           vpmovq2m %ymm29, %k4
   1087 
   1088 // CHECK: vpmovm2d %k2, %xmm29
   1089 // CHECK:  encoding: [0x62,0x62,0x7e,0x08,0x38,0xea]
   1090           vpmovm2d %k2, %xmm29
   1091 
   1092 // CHECK: vpmovm2d %k5, %ymm20
   1093 // CHECK:  encoding: [0x62,0xe2,0x7e,0x28,0x38,0xe5]
   1094           vpmovm2d %k5, %ymm20
   1095 
   1096 // CHECK: vpmovm2q %k5, %xmm17
   1097 // CHECK:  encoding: [0x62,0xe2,0xfe,0x08,0x38,0xcd]
   1098           vpmovm2q %k5, %xmm17
   1099 
   1100 // CHECK: vpmovm2q %k2, %ymm30
   1101 // CHECK:  encoding: [0x62,0x62,0xfe,0x28,0x38,0xf2]
   1102           vpmovm2q %k2, %ymm30
   1103 
   1104 // CHECK: vcompresspd %xmm23, (%rcx)
   1105 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x8a,0x39]
   1106           vcompresspd %xmm23, (%rcx)
   1107 
   1108 // CHECK: vcompresspd %xmm23, (%rcx) {%k6}
   1109 // CHECK:  encoding: [0x62,0xe2,0xfd,0x0e,0x8a,0x39]
   1110           vcompresspd %xmm23, (%rcx) {%k6}
   1111 
   1112 // CHECK: vcompresspd %xmm23, 291(%rax,%r14,8)
   1113 // CHECK:  encoding: [0x62,0xa2,0xfd,0x08,0x8a,0xbc,0xf0,0x23,0x01,0x00,0x00]
   1114           vcompresspd %xmm23, 291(%rax,%r14,8)
   1115 
   1116 // CHECK: vcompresspd %xmm23, 1016(%rdx)
   1117 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x8a,0x7a,0x7f]
   1118           vcompresspd %xmm23, 1016(%rdx)
   1119 
   1120 // CHECK: vcompresspd %xmm23, 1024(%rdx)
   1121 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x8a,0xba,0x00,0x04,0x00,0x00]
   1122           vcompresspd %xmm23, 1024(%rdx)
   1123 
   1124 // CHECK: vcompresspd %xmm23, -1024(%rdx)
   1125 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x8a,0x7a,0x80]
   1126           vcompresspd %xmm23, -1024(%rdx)
   1127 
   1128 // CHECK: vcompresspd %xmm23, -1032(%rdx)
   1129 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x8a,0xba,0xf8,0xfb,0xff,0xff]
   1130           vcompresspd %xmm23, -1032(%rdx)
   1131 
   1132 // CHECK: vcompresspd %ymm29, (%rcx)
   1133 // CHECK:  encoding: [0x62,0x62,0xfd,0x28,0x8a,0x29]
   1134           vcompresspd %ymm29, (%rcx)
   1135 
   1136 // CHECK: vcompresspd %ymm29, (%rcx) {%k2}
   1137 // CHECK:  encoding: [0x62,0x62,0xfd,0x2a,0x8a,0x29]
   1138           vcompresspd %ymm29, (%rcx) {%k2}
   1139 
   1140 // CHECK: vcompresspd %ymm29, 291(%rax,%r14,8)
   1141 // CHECK:  encoding: [0x62,0x22,0xfd,0x28,0x8a,0xac,0xf0,0x23,0x01,0x00,0x00]
   1142           vcompresspd %ymm29, 291(%rax,%r14,8)
   1143 
   1144 // CHECK: vcompresspd %ymm29, 1016(%rdx)
   1145 // CHECK:  encoding: [0x62,0x62,0xfd,0x28,0x8a,0x6a,0x7f]
   1146           vcompresspd %ymm29, 1016(%rdx)
   1147 
   1148 // CHECK: vcompresspd %ymm29, 1024(%rdx)
   1149 // CHECK:  encoding: [0x62,0x62,0xfd,0x28,0x8a,0xaa,0x00,0x04,0x00,0x00]
   1150           vcompresspd %ymm29, 1024(%rdx)
   1151 
   1152 // CHECK: vcompresspd %ymm29, -1024(%rdx)
   1153 // CHECK:  encoding: [0x62,0x62,0xfd,0x28,0x8a,0x6a,0x80]
   1154           vcompresspd %ymm29, -1024(%rdx)
   1155 
   1156 // CHECK: vcompresspd %ymm29, -1032(%rdx)
   1157 // CHECK:  encoding: [0x62,0x62,0xfd,0x28,0x8a,0xaa,0xf8,0xfb,0xff,0xff]
   1158           vcompresspd %ymm29, -1032(%rdx)
   1159 
   1160 // CHECK: vcompresspd %xmm27, %xmm20
   1161 // CHECK:  encoding: [0x62,0x22,0xfd,0x08,0x8a,0xdc]
   1162           vcompresspd %xmm27, %xmm20
   1163 
   1164 // CHECK: vcompresspd %xmm27, %xmm20 {%k2}
   1165 // CHECK:  encoding: [0x62,0x22,0xfd,0x0a,0x8a,0xdc]
   1166           vcompresspd %xmm27, %xmm20 {%k2}
   1167 
   1168 // CHECK: vcompresspd %xmm27, %xmm20 {%k2} {z}
   1169 // CHECK:  encoding: [0x62,0x22,0xfd,0x8a,0x8a,0xdc]
   1170           vcompresspd %xmm27, %xmm20 {%k2} {z}
   1171 
   1172 // CHECK: vcompresspd %ymm20, %ymm24
   1173 // CHECK:  encoding: [0x62,0x82,0xfd,0x28,0x8a,0xe0]
   1174           vcompresspd %ymm20, %ymm24
   1175 
   1176 // CHECK: vcompresspd %ymm20, %ymm24 {%k3}
   1177 // CHECK:  encoding: [0x62,0x82,0xfd,0x2b,0x8a,0xe0]
   1178           vcompresspd %ymm20, %ymm24 {%k3}
   1179 
   1180 // CHECK: vcompresspd %ymm20, %ymm24 {%k3} {z}
   1181 // CHECK:  encoding: [0x62,0x82,0xfd,0xab,0x8a,0xe0]
   1182           vcompresspd %ymm20, %ymm24 {%k3} {z}
   1183 
   1184 // CHECK: vcompressps %xmm21, (%rcx)
   1185 // CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x8a,0x29]
   1186           vcompressps %xmm21, (%rcx)
   1187 
   1188 // CHECK: vcompressps %xmm21, (%rcx) {%k7}
   1189 // CHECK:  encoding: [0x62,0xe2,0x7d,0x0f,0x8a,0x29]
   1190           vcompressps %xmm21, (%rcx) {%k7}
   1191 
   1192 // CHECK: vcompressps %xmm21, 291(%rax,%r14,8)
   1193 // CHECK:  encoding: [0x62,0xa2,0x7d,0x08,0x8a,0xac,0xf0,0x23,0x01,0x00,0x00]
   1194           vcompressps %xmm21, 291(%rax,%r14,8)
   1195 
   1196 // CHECK: vcompressps %xmm21, 508(%rdx)
   1197 // CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x8a,0x6a,0x7f]
   1198           vcompressps %xmm21, 508(%rdx)
   1199 
   1200 // CHECK: vcompressps %xmm21, 512(%rdx)
   1201 // CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x8a,0xaa,0x00,0x02,0x00,0x00]
   1202           vcompressps %xmm21, 512(%rdx)
   1203 
   1204 // CHECK: vcompressps %xmm21, -512(%rdx)
   1205 // CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x8a,0x6a,0x80]
   1206           vcompressps %xmm21, -512(%rdx)
   1207 
   1208 // CHECK: vcompressps %xmm21, -516(%rdx)
   1209 // CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x8a,0xaa,0xfc,0xfd,0xff,0xff]
   1210           vcompressps %xmm21, -516(%rdx)
   1211 
   1212 // CHECK: vcompressps %ymm24, (%rcx)
   1213 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x8a,0x01]
   1214           vcompressps %ymm24, (%rcx)
   1215 
   1216 // CHECK: vcompressps %ymm24, (%rcx) {%k7}
   1217 // CHECK:  encoding: [0x62,0x62,0x7d,0x2f,0x8a,0x01]
   1218           vcompressps %ymm24, (%rcx) {%k7}
   1219 
   1220 // CHECK: vcompressps %ymm24, 291(%rax,%r14,8)
   1221 // CHECK:  encoding: [0x62,0x22,0x7d,0x28,0x8a,0x84,0xf0,0x23,0x01,0x00,0x00]
   1222           vcompressps %ymm24, 291(%rax,%r14,8)
   1223 
   1224 // CHECK: vcompressps %ymm24, 508(%rdx)
   1225 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x8a,0x42,0x7f]
   1226           vcompressps %ymm24, 508(%rdx)
   1227 
   1228 // CHECK: vcompressps %ymm24, 512(%rdx)
   1229 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x8a,0x82,0x00,0x02,0x00,0x00]
   1230           vcompressps %ymm24, 512(%rdx)
   1231 
   1232 // CHECK: vcompressps %ymm24, -512(%rdx)
   1233 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x8a,0x42,0x80]
   1234           vcompressps %ymm24, -512(%rdx)
   1235 
   1236 // CHECK: vcompressps %ymm24, -516(%rdx)
   1237 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x8a,0x82,0xfc,0xfd,0xff,0xff]
   1238           vcompressps %ymm24, -516(%rdx)
   1239 
   1240 // CHECK: vcompressps %xmm29, %xmm28
   1241 // CHECK:  encoding: [0x62,0x02,0x7d,0x08,0x8a,0xec]
   1242           vcompressps %xmm29, %xmm28
   1243 
   1244 // CHECK: vcompressps %xmm29, %xmm28 {%k3}
   1245 // CHECK:  encoding: [0x62,0x02,0x7d,0x0b,0x8a,0xec]
   1246           vcompressps %xmm29, %xmm28 {%k3}
   1247 
   1248 // CHECK: vcompressps %xmm29, %xmm28 {%k3} {z}
   1249 // CHECK:  encoding: [0x62,0x02,0x7d,0x8b,0x8a,0xec]
   1250           vcompressps %xmm29, %xmm28 {%k3} {z}
   1251 
   1252 // CHECK: vcompressps %ymm25, %ymm23
   1253 // CHECK:  encoding: [0x62,0x22,0x7d,0x28,0x8a,0xcf]
   1254           vcompressps %ymm25, %ymm23
   1255 
   1256 // CHECK: vcompressps %ymm25, %ymm23 {%k6}
   1257 // CHECK:  encoding: [0x62,0x22,0x7d,0x2e,0x8a,0xcf]
   1258           vcompressps %ymm25, %ymm23 {%k6}
   1259 
   1260 // CHECK: vcompressps %ymm25, %ymm23 {%k6} {z}
   1261 // CHECK:  encoding: [0x62,0x22,0x7d,0xae,0x8a,0xcf]
   1262           vcompressps %ymm25, %ymm23 {%k6} {z}
   1263 
   1264 // CHECK: vexpandpd (%rcx), %xmm23
   1265 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x88,0x39]
   1266           vexpandpd (%rcx), %xmm23
   1267 
   1268 // CHECK: vexpandpd (%rcx), %xmm23 {%k3}
   1269 // CHECK:  encoding: [0x62,0xe2,0xfd,0x0b,0x88,0x39]
   1270           vexpandpd (%rcx), %xmm23 {%k3}
   1271 
   1272 // CHECK: vexpandpd (%rcx), %xmm23 {%k3} {z}
   1273 // CHECK:  encoding: [0x62,0xe2,0xfd,0x8b,0x88,0x39]
   1274           vexpandpd (%rcx), %xmm23 {%k3} {z}
   1275 
   1276 // CHECK: vexpandpd 291(%rax,%r14,8), %xmm23
   1277 // CHECK:  encoding: [0x62,0xa2,0xfd,0x08,0x88,0xbc,0xf0,0x23,0x01,0x00,0x00]
   1278           vexpandpd 291(%rax,%r14,8), %xmm23
   1279 
   1280 // CHECK: vexpandpd 1016(%rdx), %xmm23
   1281 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x88,0x7a,0x7f]
   1282           vexpandpd 1016(%rdx), %xmm23
   1283 
   1284 // CHECK: vexpandpd 1024(%rdx), %xmm23
   1285 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x88,0xba,0x00,0x04,0x00,0x00]
   1286           vexpandpd 1024(%rdx), %xmm23
   1287 
   1288 // CHECK: vexpandpd -1024(%rdx), %xmm23
   1289 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x88,0x7a,0x80]
   1290           vexpandpd -1024(%rdx), %xmm23
   1291 
   1292 // CHECK: vexpandpd -1032(%rdx), %xmm23
   1293 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x88,0xba,0xf8,0xfb,0xff,0xff]
   1294           vexpandpd -1032(%rdx), %xmm23
   1295 
   1296 // CHECK: vexpandpd (%rcx), %ymm22
   1297 // CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x88,0x31]
   1298           vexpandpd (%rcx), %ymm22
   1299 
   1300 // CHECK: vexpandpd (%rcx), %ymm22 {%k5}
   1301 // CHECK:  encoding: [0x62,0xe2,0xfd,0x2d,0x88,0x31]
   1302           vexpandpd (%rcx), %ymm22 {%k5}
   1303 
   1304 // CHECK: vexpandpd (%rcx), %ymm22 {%k5} {z}
   1305 // CHECK:  encoding: [0x62,0xe2,0xfd,0xad,0x88,0x31]
   1306           vexpandpd (%rcx), %ymm22 {%k5} {z}
   1307 
   1308 // CHECK: vexpandpd 291(%rax,%r14,8), %ymm22
   1309 // CHECK:  encoding: [0x62,0xa2,0xfd,0x28,0x88,0xb4,0xf0,0x23,0x01,0x00,0x00]
   1310           vexpandpd 291(%rax,%r14,8), %ymm22
   1311 
   1312 // CHECK: vexpandpd 1016(%rdx), %ymm22
   1313 // CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x88,0x72,0x7f]
   1314           vexpandpd 1016(%rdx), %ymm22
   1315 
   1316 // CHECK: vexpandpd 1024(%rdx), %ymm22
   1317 // CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x88,0xb2,0x00,0x04,0x00,0x00]
   1318           vexpandpd 1024(%rdx), %ymm22
   1319 
   1320 // CHECK: vexpandpd -1024(%rdx), %ymm22
   1321 // CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x88,0x72,0x80]
   1322           vexpandpd -1024(%rdx), %ymm22
   1323 
   1324 // CHECK: vexpandpd -1032(%rdx), %ymm22
   1325 // CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x88,0xb2,0xf8,0xfb,0xff,0xff]
   1326           vexpandpd -1032(%rdx), %ymm22
   1327 
   1328 // CHECK: vexpandpd %xmm25, %xmm29
   1329 // CHECK:  encoding: [0x62,0x02,0xfd,0x08,0x88,0xe9]
   1330           vexpandpd %xmm25, %xmm29
   1331 
   1332 // CHECK: vexpandpd %xmm25, %xmm29 {%k7}
   1333 // CHECK:  encoding: [0x62,0x02,0xfd,0x0f,0x88,0xe9]
   1334           vexpandpd %xmm25, %xmm29 {%k7}
   1335 
   1336 // CHECK: vexpandpd %xmm25, %xmm29 {%k7} {z}
   1337 // CHECK:  encoding: [0x62,0x02,0xfd,0x8f,0x88,0xe9]
   1338           vexpandpd %xmm25, %xmm29 {%k7} {z}
   1339 
   1340 // CHECK: vexpandpd %ymm27, %ymm21
   1341 // CHECK:  encoding: [0x62,0x82,0xfd,0x28,0x88,0xeb]
   1342           vexpandpd %ymm27, %ymm21
   1343 
   1344 // CHECK: vexpandpd %ymm27, %ymm21 {%k2}
   1345 // CHECK:  encoding: [0x62,0x82,0xfd,0x2a,0x88,0xeb]
   1346           vexpandpd %ymm27, %ymm21 {%k2}
   1347 
   1348 // CHECK: vexpandpd %ymm27, %ymm21 {%k2} {z}
   1349 // CHECK:  encoding: [0x62,0x82,0xfd,0xaa,0x88,0xeb]
   1350           vexpandpd %ymm27, %ymm21 {%k2} {z}
   1351 
   1352 // CHECK: vexpandps (%rcx), %xmm18
   1353 // CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x88,0x11]
   1354           vexpandps (%rcx), %xmm18
   1355 
   1356 // CHECK: vexpandps (%rcx), %xmm18 {%k1}
   1357 // CHECK:  encoding: [0x62,0xe2,0x7d,0x09,0x88,0x11]
   1358           vexpandps (%rcx), %xmm18 {%k1}
   1359 
   1360 // CHECK: vexpandps (%rcx), %xmm18 {%k1} {z}
   1361 // CHECK:  encoding: [0x62,0xe2,0x7d,0x89,0x88,0x11]
   1362           vexpandps (%rcx), %xmm18 {%k1} {z}
   1363 
   1364 // CHECK: vexpandps 291(%rax,%r14,8), %xmm18
   1365 // CHECK:  encoding: [0x62,0xa2,0x7d,0x08,0x88,0x94,0xf0,0x23,0x01,0x00,0x00]
   1366           vexpandps 291(%rax,%r14,8), %xmm18
   1367 
   1368 // CHECK: vexpandps 508(%rdx), %xmm18
   1369 // CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x88,0x52,0x7f]
   1370           vexpandps 508(%rdx), %xmm18
   1371 
   1372 // CHECK: vexpandps 512(%rdx), %xmm18
   1373 // CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x88,0x92,0x00,0x02,0x00,0x00]
   1374           vexpandps 512(%rdx), %xmm18
   1375 
   1376 // CHECK: vexpandps -512(%rdx), %xmm18
   1377 // CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x88,0x52,0x80]
   1378           vexpandps -512(%rdx), %xmm18
   1379 
   1380 // CHECK: vexpandps -516(%rdx), %xmm18
   1381 // CHECK:  encoding: [0x62,0xe2,0x7d,0x08,0x88,0x92,0xfc,0xfd,0xff,0xff]
   1382           vexpandps -516(%rdx), %xmm18
   1383 
   1384 // CHECK: vexpandps (%rcx), %ymm23
   1385 // CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x88,0x39]
   1386           vexpandps (%rcx), %ymm23
   1387 
   1388 // CHECK: vexpandps (%rcx), %ymm23 {%k7}
   1389 // CHECK:  encoding: [0x62,0xe2,0x7d,0x2f,0x88,0x39]
   1390           vexpandps (%rcx), %ymm23 {%k7}
   1391 
   1392 // CHECK: vexpandps (%rcx), %ymm23 {%k7} {z}
   1393 // CHECK:  encoding: [0x62,0xe2,0x7d,0xaf,0x88,0x39]
   1394           vexpandps (%rcx), %ymm23 {%k7} {z}
   1395 
   1396 // CHECK: vexpandps 291(%rax,%r14,8), %ymm23
   1397 // CHECK:  encoding: [0x62,0xa2,0x7d,0x28,0x88,0xbc,0xf0,0x23,0x01,0x00,0x00]
   1398           vexpandps 291(%rax,%r14,8), %ymm23
   1399 
   1400 // CHECK: vexpandps 508(%rdx), %ymm23
   1401 // CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x88,0x7a,0x7f]
   1402           vexpandps 508(%rdx), %ymm23
   1403 
   1404 // CHECK: vexpandps 512(%rdx), %ymm23
   1405 // CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x88,0xba,0x00,0x02,0x00,0x00]
   1406           vexpandps 512(%rdx), %ymm23
   1407 
   1408 // CHECK: vexpandps -512(%rdx), %ymm23
   1409 // CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x88,0x7a,0x80]
   1410           vexpandps -512(%rdx), %ymm23
   1411 
   1412 // CHECK: vexpandps -516(%rdx), %ymm23
   1413 // CHECK:  encoding: [0x62,0xe2,0x7d,0x28,0x88,0xba,0xfc,0xfd,0xff,0xff]
   1414           vexpandps -516(%rdx), %ymm23
   1415 
   1416 // CHECK: vexpandps %xmm19, %xmm29
   1417 // CHECK:  encoding: [0x62,0x22,0x7d,0x08,0x88,0xeb]
   1418           vexpandps %xmm19, %xmm29
   1419 
   1420 // CHECK: vexpandps %xmm19, %xmm29 {%k5}
   1421 // CHECK:  encoding: [0x62,0x22,0x7d,0x0d,0x88,0xeb]
   1422           vexpandps %xmm19, %xmm29 {%k5}
   1423 
   1424 // CHECK: vexpandps %xmm19, %xmm29 {%k5} {z}
   1425 // CHECK:  encoding: [0x62,0x22,0x7d,0x8d,0x88,0xeb]
   1426           vexpandps %xmm19, %xmm29 {%k5} {z}
   1427 
   1428 // CHECK: vexpandps %ymm29, %ymm29
   1429 // CHECK:  encoding: [0x62,0x02,0x7d,0x28,0x88,0xed]
   1430           vexpandps %ymm29, %ymm29
   1431 
   1432 // CHECK: vexpandps %ymm29, %ymm29 {%k5}
   1433 // CHECK:  encoding: [0x62,0x02,0x7d,0x2d,0x88,0xed]
   1434           vexpandps %ymm29, %ymm29 {%k5}
   1435 
   1436 // CHECK: vexpandps %ymm29, %ymm29 {%k5} {z}
   1437 // CHECK:  encoding: [0x62,0x02,0x7d,0xad,0x88,0xed]
   1438           vexpandps %ymm29, %ymm29 {%k5} {z}
   1439 
   1440 // CHECK: vpabsd %xmm19, %xmm28
   1441 // CHECK:  encoding: [0x62,0x22,0x7d,0x08,0x1e,0xe3]
   1442           vpabsd %xmm19, %xmm28
   1443 
   1444 // CHECK: vpabsd %xmm19, %xmm28 {%k6}
   1445 // CHECK:  encoding: [0x62,0x22,0x7d,0x0e,0x1e,0xe3]
   1446           vpabsd %xmm19, %xmm28 {%k6}
   1447 
   1448 // CHECK: vpabsd %xmm19, %xmm28 {%k6} {z}
   1449 // CHECK:  encoding: [0x62,0x22,0x7d,0x8e,0x1e,0xe3]
   1450           vpabsd %xmm19, %xmm28 {%k6} {z}
   1451 
   1452 // CHECK: vpabsd (%rcx), %xmm28
   1453 // CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x1e,0x21]
   1454           vpabsd (%rcx), %xmm28
   1455 
   1456 // CHECK: vpabsd 291(%rax,%r14,8), %xmm28
   1457 // CHECK:  encoding: [0x62,0x22,0x7d,0x08,0x1e,0xa4,0xf0,0x23,0x01,0x00,0x00]
   1458           vpabsd 291(%rax,%r14,8), %xmm28
   1459 
   1460 // CHECK: vpabsd (%rcx){1to4}, %xmm28
   1461 // CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x1e,0x21]
   1462           vpabsd (%rcx){1to4}, %xmm28
   1463 
   1464 // CHECK: vpabsd 2032(%rdx), %xmm28
   1465 // CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x1e,0x62,0x7f]
   1466           vpabsd 2032(%rdx), %xmm28
   1467 
   1468 // CHECK: vpabsd 2048(%rdx), %xmm28
   1469 // CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x1e,0xa2,0x00,0x08,0x00,0x00]
   1470           vpabsd 2048(%rdx), %xmm28
   1471 
   1472 // CHECK: vpabsd -2048(%rdx), %xmm28
   1473 // CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x1e,0x62,0x80]
   1474           vpabsd -2048(%rdx), %xmm28
   1475 
   1476 // CHECK: vpabsd -2064(%rdx), %xmm28
   1477 // CHECK:  encoding: [0x62,0x62,0x7d,0x08,0x1e,0xa2,0xf0,0xf7,0xff,0xff]
   1478           vpabsd -2064(%rdx), %xmm28
   1479 
   1480 // CHECK: vpabsd 508(%rdx){1to4}, %xmm28
   1481 // CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x1e,0x62,0x7f]
   1482           vpabsd 508(%rdx){1to4}, %xmm28
   1483 
   1484 // CHECK: vpabsd 512(%rdx){1to4}, %xmm28
   1485 // CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x1e,0xa2,0x00,0x02,0x00,0x00]
   1486           vpabsd 512(%rdx){1to4}, %xmm28
   1487 
   1488 // CHECK: vpabsd -512(%rdx){1to4}, %xmm28
   1489 // CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x1e,0x62,0x80]
   1490           vpabsd -512(%rdx){1to4}, %xmm28
   1491 
   1492 // CHECK: vpabsd -516(%rdx){1to4}, %xmm28
   1493 // CHECK:  encoding: [0x62,0x62,0x7d,0x18,0x1e,0xa2,0xfc,0xfd,0xff,0xff]
   1494           vpabsd -516(%rdx){1to4}, %xmm28
   1495 
   1496 // CHECK: vpabsd %ymm18, %ymm25
   1497 // CHECK:  encoding: [0x62,0x22,0x7d,0x28,0x1e,0xca]
   1498           vpabsd %ymm18, %ymm25
   1499 
   1500 // CHECK: vpabsd %ymm18, %ymm25 {%k2}
   1501 // CHECK:  encoding: [0x62,0x22,0x7d,0x2a,0x1e,0xca]
   1502           vpabsd %ymm18, %ymm25 {%k2}
   1503 
   1504 // CHECK: vpabsd %ymm18, %ymm25 {%k2} {z}
   1505 // CHECK:  encoding: [0x62,0x22,0x7d,0xaa,0x1e,0xca]
   1506           vpabsd %ymm18, %ymm25 {%k2} {z}
   1507 
   1508 // CHECK: vpabsd (%rcx), %ymm25
   1509 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x1e,0x09]
   1510           vpabsd (%rcx), %ymm25
   1511 
   1512 // CHECK: vpabsd 291(%rax,%r14,8), %ymm25
   1513 // CHECK:  encoding: [0x62,0x22,0x7d,0x28,0x1e,0x8c,0xf0,0x23,0x01,0x00,0x00]
   1514           vpabsd 291(%rax,%r14,8), %ymm25
   1515 
   1516 // CHECK: vpabsd (%rcx){1to8}, %ymm25
   1517 // CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x1e,0x09]
   1518           vpabsd (%rcx){1to8}, %ymm25
   1519 
   1520 // CHECK: vpabsd 4064(%rdx), %ymm25
   1521 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x1e,0x4a,0x7f]
   1522           vpabsd 4064(%rdx), %ymm25
   1523 
   1524 // CHECK: vpabsd 4096(%rdx), %ymm25
   1525 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x1e,0x8a,0x00,0x10,0x00,0x00]
   1526           vpabsd 4096(%rdx), %ymm25
   1527 
   1528 // CHECK: vpabsd -4096(%rdx), %ymm25
   1529 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x1e,0x4a,0x80]
   1530           vpabsd -4096(%rdx), %ymm25
   1531 
   1532 // CHECK: vpabsd -4128(%rdx), %ymm25
   1533 // CHECK:  encoding: [0x62,0x62,0x7d,0x28,0x1e,0x8a,0xe0,0xef,0xff,0xff]
   1534           vpabsd -4128(%rdx), %ymm25
   1535 
   1536 // CHECK: vpabsd 508(%rdx){1to8}, %ymm25
   1537 // CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x1e,0x4a,0x7f]
   1538           vpabsd 508(%rdx){1to8}, %ymm25
   1539 
   1540 // CHECK: vpabsd 512(%rdx){1to8}, %ymm25
   1541 // CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x1e,0x8a,0x00,0x02,0x00,0x00]
   1542           vpabsd 512(%rdx){1to8}, %ymm25
   1543 
   1544 // CHECK: vpabsd -512(%rdx){1to8}, %ymm25
   1545 // CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x1e,0x4a,0x80]
   1546           vpabsd -512(%rdx){1to8}, %ymm25
   1547 
   1548 // CHECK: vpabsd -516(%rdx){1to8}, %ymm25
   1549 // CHECK:  encoding: [0x62,0x62,0x7d,0x38,0x1e,0x8a,0xfc,0xfd,0xff,0xff]
   1550           vpabsd -516(%rdx){1to8}, %ymm25
   1551 
   1552 // CHECK: vpabsq %xmm22, %xmm19
   1553 // CHECK:  encoding: [0x62,0xa2,0xfd,0x08,0x1f,0xde]
   1554           vpabsq %xmm22, %xmm19
   1555 
   1556 // CHECK: vpabsq %xmm22, %xmm19 {%k2}
   1557 // CHECK:  encoding: [0x62,0xa2,0xfd,0x0a,0x1f,0xde]
   1558           vpabsq %xmm22, %xmm19 {%k2}
   1559 
   1560 // CHECK: vpabsq %xmm22, %xmm19 {%k2} {z}
   1561 // CHECK:  encoding: [0x62,0xa2,0xfd,0x8a,0x1f,0xde]
   1562           vpabsq %xmm22, %xmm19 {%k2} {z}
   1563 
   1564 // CHECK: vpabsq (%rcx), %xmm19
   1565 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x19]
   1566           vpabsq (%rcx), %xmm19
   1567 
   1568 // CHECK: vpabsq 291(%rax,%r14,8), %xmm19
   1569 // CHECK:  encoding: [0x62,0xa2,0xfd,0x08,0x1f,0x9c,0xf0,0x23,0x01,0x00,0x00]
   1570           vpabsq 291(%rax,%r14,8), %xmm19
   1571 
   1572 // CHECK: vpabsq (%rcx){1to2}, %xmm19
   1573 // CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x19]
   1574           vpabsq (%rcx){1to2}, %xmm19
   1575 
   1576 // CHECK: vpabsq 2032(%rdx), %xmm19
   1577 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x5a,0x7f]
   1578           vpabsq 2032(%rdx), %xmm19
   1579 
   1580 // CHECK: vpabsq 2048(%rdx), %xmm19
   1581 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x9a,0x00,0x08,0x00,0x00]
   1582           vpabsq 2048(%rdx), %xmm19
   1583 
   1584 // CHECK: vpabsq -2048(%rdx), %xmm19
   1585 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x5a,0x80]
   1586           vpabsq -2048(%rdx), %xmm19
   1587 
   1588 // CHECK: vpabsq -2064(%rdx), %xmm19
   1589 // CHECK:  encoding: [0x62,0xe2,0xfd,0x08,0x1f,0x9a,0xf0,0xf7,0xff,0xff]
   1590           vpabsq -2064(%rdx), %xmm19
   1591 
   1592 // CHECK: vpabsq 1016(%rdx){1to2}, %xmm19
   1593 // CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x5a,0x7f]
   1594           vpabsq 1016(%rdx){1to2}, %xmm19
   1595 
   1596 // CHECK: vpabsq 1024(%rdx){1to2}, %xmm19
   1597 // CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x9a,0x00,0x04,0x00,0x00]
   1598           vpabsq 1024(%rdx){1to2}, %xmm19
   1599 
   1600 // CHECK: vpabsq -1024(%rdx){1to2}, %xmm19
   1601 // CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x5a,0x80]
   1602           vpabsq -1024(%rdx){1to2}, %xmm19
   1603 
   1604 // CHECK: vpabsq -1032(%rdx){1to2}, %xmm19
   1605 // CHECK:  encoding: [0x62,0xe2,0xfd,0x18,0x1f,0x9a,0xf8,0xfb,0xff,0xff]
   1606           vpabsq -1032(%rdx){1to2}, %xmm19
   1607 
   1608 // CHECK: vpabsq %ymm17, %ymm22
   1609 // CHECK:  encoding: [0x62,0xa2,0xfd,0x28,0x1f,0xf1]
   1610           vpabsq %ymm17, %ymm22
   1611 
   1612 // CHECK: vpabsq %ymm17, %ymm22 {%k6}
   1613 // CHECK:  encoding: [0x62,0xa2,0xfd,0x2e,0x1f,0xf1]
   1614           vpabsq %ymm17, %ymm22 {%k6}
   1615 
   1616 // CHECK: vpabsq %ymm17, %ymm22 {%k6} {z}
   1617 // CHECK:  encoding: [0x62,0xa2,0xfd,0xae,0x1f,0xf1]
   1618           vpabsq %ymm17, %ymm22 {%k6} {z}
   1619 
   1620 // CHECK: vpabsq (%rcx), %ymm22
   1621 // CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x1f,0x31]
   1622           vpabsq (%rcx), %ymm22
   1623 
   1624 // CHECK: vpabsq 291(%rax,%r14,8), %ymm22
   1625 // CHECK:  encoding: [0x62,0xa2,0xfd,0x28,0x1f,0xb4,0xf0,0x23,0x01,0x00,0x00]
   1626           vpabsq 291(%rax,%r14,8), %ymm22
   1627 
   1628 // CHECK: vpabsq (%rcx){1to4}, %ymm22
   1629 // CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x1f,0x31]
   1630           vpabsq (%rcx){1to4}, %ymm22
   1631 
   1632 // CHECK: vpabsq 4064(%rdx), %ymm22
   1633 // CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x1f,0x72,0x7f]
   1634           vpabsq 4064(%rdx), %ymm22
   1635 
   1636 // CHECK: vpabsq 4096(%rdx), %ymm22
   1637 // CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x1f,0xb2,0x00,0x10,0x00,0x00]
   1638           vpabsq 4096(%rdx), %ymm22
   1639 
   1640 // CHECK: vpabsq -4096(%rdx), %ymm22
   1641 // CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x1f,0x72,0x80]
   1642           vpabsq -4096(%rdx), %ymm22
   1643 
   1644 // CHECK: vpabsq -4128(%rdx), %ymm22
   1645 // CHECK:  encoding: [0x62,0xe2,0xfd,0x28,0x1f,0xb2,0xe0,0xef,0xff,0xff]
   1646           vpabsq -4128(%rdx), %ymm22
   1647 
   1648 // CHECK: vpabsq 1016(%rdx){1to4}, %ymm22
   1649 // CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x1f,0x72,0x7f]
   1650           vpabsq 1016(%rdx){1to4}, %ymm22
   1651 
   1652 // CHECK: vpabsq 1024(%rdx){1to4}, %ymm22
   1653 // CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x1f,0xb2,0x00,0x04,0x00,0x00]
   1654           vpabsq 1024(%rdx){1to4}, %ymm22
   1655 
   1656 // CHECK: vpabsq -1024(%rdx){1to4}, %ymm22
   1657 // CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x1f,0x72,0x80]
   1658           vpabsq -1024(%rdx){1to4}, %ymm22
   1659 
   1660 // CHECK: vpabsq -1032(%rdx){1to4}, %ymm22
   1661 // CHECK:  encoding: [0x62,0xe2,0xfd,0x38,0x1f,0xb2,0xf8,0xfb,0xff,0xff]
   1662           vpabsq -1032(%rdx){1to4}, %ymm22
   1663 
   1664 // CHECK: vpgatherdd 123(%r14,%xmm31,8), %xmm17 {%k1}
   1665 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x90,0x8c,0xfe,0x7b,0x00,0x00,0x00]
   1666           vpgatherdd 123(%r14,%xmm31,8), %xmm17 {%k1}
   1667 
   1668 // CHECK: vpgatherdd 256(%r9,%xmm31), %xmm17 {%k1}
   1669 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x90,0x4c,0x39,0x40]
   1670           vpgatherdd 256(%r9,%xmm31), %xmm17 {%k1}
   1671 
   1672 // CHECK: vpgatherdd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
   1673 // CHECK:  encoding: [0x62,0xa2,0x7d,0x01,0x90,0x8c,0xb9,0x00,0x04,0x00,0x00]
   1674           vpgatherdd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
   1675 
   1676 // CHECK: vpgatherdd 123(%r14,%ymm31,8), %ymm19 {%k1}
   1677 // CHECK:  encoding: [0x62,0x82,0x7d,0x21,0x90,0x9c,0xfe,0x7b,0x00,0x00,0x00]
   1678           vpgatherdd 123(%r14,%ymm31,8), %ymm19 {%k1}
   1679 
   1680 // CHECK: vpgatherdd 256(%r9,%ymm31), %ymm19 {%k1}
   1681 // CHECK:  encoding: [0x62,0x82,0x7d,0x21,0x90,0x5c,0x39,0x40]
   1682           vpgatherdd 256(%r9,%ymm31), %ymm19 {%k1}
   1683 
   1684 // CHECK: vpgatherdd 1024(%rcx,%ymm31,4), %ymm19 {%k1}
   1685 // CHECK:  encoding: [0x62,0xa2,0x7d,0x21,0x90,0x9c,0xb9,0x00,0x04,0x00,0x00]
   1686           vpgatherdd 1024(%rcx,%ymm31,4), %ymm19 {%k1}
   1687 
   1688 // CHECK: vpgatherdq 123(%r14,%xmm31,8), %xmm17 {%k1}
   1689 // CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x90,0x8c,0xfe,0x7b,0x00,0x00,0x00]
   1690           vpgatherdq 123(%r14,%xmm31,8), %xmm17 {%k1}
   1691 
   1692 // CHECK: vpgatherdq 256(%r9,%xmm31), %xmm17 {%k1}
   1693 // CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x90,0x4c,0x39,0x20]
   1694           vpgatherdq 256(%r9,%xmm31), %xmm17 {%k1}
   1695 
   1696 // CHECK: vpgatherdq 1024(%rcx,%xmm31,4), %xmm17 {%k1}
   1697 // CHECK:  encoding: [0x62,0xa2,0xfd,0x01,0x90,0x8c,0xb9,0x00,0x04,0x00,0x00]
   1698           vpgatherdq 1024(%rcx,%xmm31,4), %xmm17 {%k1}
   1699 
   1700 // CHECK: vpgatherdq 123(%r14,%xmm31,8), %ymm26 {%k1}
   1701 // CHECK:  encoding: [0x62,0x02,0xfd,0x21,0x90,0x94,0xfe,0x7b,0x00,0x00,0x00]
   1702           vpgatherdq 123(%r14,%xmm31,8), %ymm26 {%k1}
   1703 
   1704 // CHECK: vpgatherdq 256(%r9,%xmm31), %ymm26 {%k1}
   1705 // CHECK:  encoding: [0x62,0x02,0xfd,0x21,0x90,0x54,0x39,0x20]
   1706           vpgatherdq 256(%r9,%xmm31), %ymm26 {%k1}
   1707 
   1708 // CHECK: vpgatherdq 1024(%rcx,%xmm31,4), %ymm26 {%k1}
   1709 // CHECK:  encoding: [0x62,0x22,0xfd,0x21,0x90,0x94,0xb9,0x00,0x04,0x00,0x00]
   1710           vpgatherdq 1024(%rcx,%xmm31,4), %ymm26 {%k1}
   1711 
   1712 // CHECK: vpgatherqd 123(%r14,%xmm31,8), %xmm21 {%k1}
   1713 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x91,0xac,0xfe,0x7b,0x00,0x00,0x00]
   1714           vpgatherqd 123(%r14,%xmm31,8), %xmm21 {%k1}
   1715 
   1716 // CHECK: vpgatherqd 256(%r9,%xmm31), %xmm21 {%k1}
   1717 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x91,0x6c,0x39,0x40]
   1718           vpgatherqd 256(%r9,%xmm31), %xmm21 {%k1}
   1719 
   1720 // CHECK: vpgatherqd 1024(%rcx,%xmm31,4), %xmm21 {%k1}
   1721 // CHECK:  encoding: [0x62,0xa2,0x7d,0x01,0x91,0xac,0xb9,0x00,0x04,0x00,0x00]
   1722           vpgatherqd 1024(%rcx,%xmm31,4), %xmm21 {%k1}
   1723 
   1724 // CHECK: vpgatherqd 123(%r14,%ymm31,8), %xmm25 {%k1}
   1725 // CHECK:  encoding: [0x62,0x02,0x7d,0x21,0x91,0x8c,0xfe,0x7b,0x00,0x00,0x00]
   1726           vpgatherqd 123(%r14,%ymm31,8), %xmm25 {%k1}
   1727 
   1728 // CHECK: vpgatherqd 256(%r9,%ymm31), %xmm25 {%k1}
   1729 // CHECK:  encoding: [0x62,0x02,0x7d,0x21,0x91,0x4c,0x39,0x40]
   1730           vpgatherqd 256(%r9,%ymm31), %xmm25 {%k1}
   1731 
   1732 // CHECK: vpgatherqd 1024(%rcx,%ymm31,4), %xmm25 {%k1}
   1733 // CHECK:  encoding: [0x62,0x22,0x7d,0x21,0x91,0x8c,0xb9,0x00,0x04,0x00,0x00]
   1734           vpgatherqd 1024(%rcx,%ymm31,4), %xmm25 {%k1}
   1735 
   1736 // CHECK: vpgatherqq 123(%r14,%xmm31,8), %xmm18 {%k1}
   1737 // CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x91,0x94,0xfe,0x7b,0x00,0x00,0x00]
   1738           vpgatherqq 123(%r14,%xmm31,8), %xmm18 {%k1}
   1739 
   1740 // CHECK: vpgatherqq 256(%r9,%xmm31), %xmm18 {%k1}
   1741 // CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x91,0x54,0x39,0x20]
   1742           vpgatherqq 256(%r9,%xmm31), %xmm18 {%k1}
   1743 
   1744 // CHECK: vpgatherqq 1024(%rcx,%xmm31,4), %xmm18 {%k1}
   1745 // CHECK:  encoding: [0x62,0xa2,0xfd,0x01,0x91,0x94,0xb9,0x00,0x04,0x00,0x00]
   1746           vpgatherqq 1024(%rcx,%xmm31,4), %xmm18 {%k1}
   1747 
   1748 // CHECK: vpgatherqq 123(%r14,%ymm31,8), %ymm19 {%k1}
   1749 // CHECK:  encoding: [0x62,0x82,0xfd,0x21,0x91,0x9c,0xfe,0x7b,0x00,0x00,0x00]
   1750           vpgatherqq 123(%r14,%ymm31,8), %ymm19 {%k1}
   1751 
   1752 // CHECK: vpgatherqq 256(%r9,%ymm31), %ymm19 {%k1}
   1753 // CHECK:  encoding: [0x62,0x82,0xfd,0x21,0x91,0x5c,0x39,0x20]
   1754           vpgatherqq 256(%r9,%ymm31), %ymm19 {%k1}
   1755 
   1756 // CHECK: vpgatherqq 1024(%rcx,%ymm31,4), %ymm19 {%k1}
   1757 // CHECK:  encoding: [0x62,0xa2,0xfd,0x21,0x91,0x9c,0xb9,0x00,0x04,0x00,0x00]
   1758           vpgatherqq 1024(%rcx,%ymm31,4), %ymm19 {%k1}
   1759 
   1760 // CHECK: vgatherdpd 123(%r14,%xmm31,8), %xmm17 {%k1}
   1761 // CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x92,0x8c,0xfe,0x7b,0x00,0x00,0x00]
   1762           vgatherdpd 123(%r14,%xmm31,8), %xmm17 {%k1}
   1763 
   1764 // CHECK: vgatherdpd 256(%r9,%xmm31), %xmm17 {%k1}
   1765 // CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x92,0x4c,0x39,0x20]
   1766           vgatherdpd 256(%r9,%xmm31), %xmm17 {%k1}
   1767 
   1768 // CHECK: vgatherdpd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
   1769 // CHECK:  encoding: [0x62,0xa2,0xfd,0x01,0x92,0x8c,0xb9,0x00,0x04,0x00,0x00]
   1770           vgatherdpd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
   1771 
   1772 // CHECK: vgatherdpd 123(%r14,%xmm31,8), %ymm23 {%k1}
   1773 // CHECK:  encoding: [0x62,0x82,0xfd,0x21,0x92,0xbc,0xfe,0x7b,0x00,0x00,0x00]
   1774           vgatherdpd 123(%r14,%xmm31,8), %ymm23 {%k1}
   1775 
   1776 // CHECK: vgatherdpd 256(%r9,%xmm31), %ymm23 {%k1}
   1777 // CHECK:  encoding: [0x62,0x82,0xfd,0x21,0x92,0x7c,0x39,0x20]
   1778           vgatherdpd 256(%r9,%xmm31), %ymm23 {%k1}
   1779 
   1780 // CHECK: vgatherdpd 1024(%rcx,%xmm31,4), %ymm23 {%k1}
   1781 // CHECK:  encoding: [0x62,0xa2,0xfd,0x21,0x92,0xbc,0xb9,0x00,0x04,0x00,0x00]
   1782           vgatherdpd 1024(%rcx,%xmm31,4), %ymm23 {%k1}
   1783 
   1784 // CHECK: vgatherdps 123(%r14,%xmm31,8), %xmm18 {%k1}
   1785 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x92,0x94,0xfe,0x7b,0x00,0x00,0x00]
   1786           vgatherdps 123(%r14,%xmm31,8), %xmm18 {%k1}
   1787 
   1788 // CHECK: vgatherdps 256(%r9,%xmm31), %xmm18 {%k1}
   1789 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x92,0x54,0x39,0x40]
   1790           vgatherdps 256(%r9,%xmm31), %xmm18 {%k1}
   1791 
   1792 // CHECK: vgatherdps 1024(%rcx,%xmm31,4), %xmm18 {%k1}
   1793 // CHECK:  encoding: [0x62,0xa2,0x7d,0x01,0x92,0x94,0xb9,0x00,0x04,0x00,0x00]
   1794           vgatherdps 1024(%rcx,%xmm31,4), %xmm18 {%k1}
   1795 
   1796 // CHECK: vgatherdps 123(%r14,%ymm31,8), %ymm27 {%k1}
   1797 // CHECK:  encoding: [0x62,0x02,0x7d,0x21,0x92,0x9c,0xfe,0x7b,0x00,0x00,0x00]
   1798           vgatherdps 123(%r14,%ymm31,8), %ymm27 {%k1}
   1799 
   1800 // CHECK: vgatherdps 256(%r9,%ymm31), %ymm27 {%k1}
   1801 // CHECK:  encoding: [0x62,0x02,0x7d,0x21,0x92,0x5c,0x39,0x40]
   1802           vgatherdps 256(%r9,%ymm31), %ymm27 {%k1}
   1803 
   1804 // CHECK: vgatherdps 1024(%rcx,%ymm31,4), %ymm27 {%k1}
   1805 // CHECK:  encoding: [0x62,0x22,0x7d,0x21,0x92,0x9c,0xb9,0x00,0x04,0x00,0x00]
   1806           vgatherdps 1024(%rcx,%ymm31,4), %ymm27 {%k1}
   1807 
   1808 // CHECK: vgatherqpd 123(%r14,%xmm31,8), %xmm17 {%k1}
   1809 // CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x93,0x8c,0xfe,0x7b,0x00,0x00,0x00]
   1810           vgatherqpd 123(%r14,%xmm31,8), %xmm17 {%k1}
   1811 
   1812 // CHECK: vgatherqpd 256(%r9,%xmm31), %xmm17 {%k1}
   1813 // CHECK:  encoding: [0x62,0x82,0xfd,0x01,0x93,0x4c,0x39,0x20]
   1814           vgatherqpd 256(%r9,%xmm31), %xmm17 {%k1}
   1815 
   1816 // CHECK: vgatherqpd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
   1817 // CHECK:  encoding: [0x62,0xa2,0xfd,0x01,0x93,0x8c,0xb9,0x00,0x04,0x00,0x00]
   1818           vgatherqpd 1024(%rcx,%xmm31,4), %xmm17 {%k1}
   1819 
   1820 // CHECK: vgatherqpd 123(%r14,%ymm31,8), %ymm29 {%k1}
   1821 // CHECK:  encoding: [0x62,0x02,0xfd,0x21,0x93,0xac,0xfe,0x7b,0x00,0x00,0x00]
   1822           vgatherqpd 123(%r14,%ymm31,8), %ymm29 {%k1}
   1823 
   1824 // CHECK: vgatherqpd 256(%r9,%ymm31), %ymm29 {%k1}
   1825 // CHECK:  encoding: [0x62,0x02,0xfd,0x21,0x93,0x6c,0x39,0x20]
   1826           vgatherqpd 256(%r9,%ymm31), %ymm29 {%k1}
   1827 
   1828 // CHECK: vgatherqpd 1024(%rcx,%ymm31,4), %ymm29 {%k1}
   1829 // CHECK:  encoding: [0x62,0x22,0xfd,0x21,0x93,0xac,0xb9,0x00,0x04,0x00,0x00]
   1830           vgatherqpd 1024(%rcx,%ymm31,4), %ymm29 {%k1}
   1831 
   1832 // CHECK: vgatherqps 123(%r14,%xmm31,8), %xmm21 {%k1}
   1833 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x93,0xac,0xfe,0x7b,0x00,0x00,0x00]
   1834           vgatherqps 123(%r14,%xmm31,8), %xmm21 {%k1}
   1835 
   1836 // CHECK: vgatherqps 256(%r9,%xmm31), %xmm21 {%k1}
   1837 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0x93,0x6c,0x39,0x40]
   1838           vgatherqps 256(%r9,%xmm31), %xmm21 {%k1}
   1839 
   1840 // CHECK: vgatherqps 1024(%rcx,%xmm31,4), %xmm21 {%k1}
   1841 // CHECK:  encoding: [0x62,0xa2,0x7d,0x01,0x93,0xac,0xb9,0x00,0x04,0x00,0x00]
   1842           vgatherqps 1024(%rcx,%xmm31,4), %xmm21 {%k1}
   1843 
   1844 // CHECK: vgatherqps 123(%r14,%ymm31,8), %xmm19 {%k1}
   1845 // CHECK:  encoding: [0x62,0x82,0x7d,0x21,0x93,0x9c,0xfe,0x7b,0x00,0x00,0x00]
   1846           vgatherqps 123(%r14,%ymm31,8), %xmm19 {%k1}
   1847 
   1848 // CHECK: vgatherqps 256(%r9,%ymm31), %xmm19 {%k1}
   1849 // CHECK:  encoding: [0x62,0x82,0x7d,0x21,0x93,0x5c,0x39,0x40]
   1850           vgatherqps 256(%r9,%ymm31), %xmm19 {%k1}
   1851 
   1852 // CHECK: vgatherqps 1024(%rcx,%ymm31,4), %xmm19 {%k1}
   1853 // CHECK:  encoding: [0x62,0xa2,0x7d,0x21,0x93,0x9c,0xb9,0x00,0x04,0x00,0x00]
   1854           vgatherqps 1024(%rcx,%ymm31,4), %xmm19 {%k1}
   1855 
   1856 // CHECK: vpscatterdd %xmm20, 123(%r14,%xmm31,8) {%k1}
   1857 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
   1858           vpscatterdd %xmm20, 123(%r14,%xmm31,8) {%k1}
   1859 
   1860 // CHECK: vpscatterdd %xmm20, 123(%r14,%xmm31,8) {%k1}
   1861 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
   1862           vpscatterdd %xmm20, 123(%r14,%xmm31,8) {%k1}
   1863 
   1864 // CHECK: vpscatterdd %xmm20, 256(%r9,%xmm31) {%k1}
   1865 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0xa0,0x64,0x39,0x40]
   1866           vpscatterdd %xmm20, 256(%r9,%xmm31) {%k1}
   1867 
   1868 // CHECK: vpscatterdd %xmm20, 1024(%rcx,%xmm31,4) {%k1}
   1869 // CHECK:  encoding: [0x62,0xa2,0x7d,0x01,0xa0,0xa4,0xb9,0x00,0x04,0x00,0x00]
   1870           vpscatterdd %xmm20, 1024(%rcx,%xmm31,4) {%k1}
   1871 
   1872 // CHECK: vpscatterdd %ymm28, 123(%r14,%ymm31,8) {%k1}
   1873 // CHECK:  encoding: [0x62,0x02,0x7d,0x21,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
   1874           vpscatterdd %ymm28, 123(%r14,%ymm31,8) {%k1}
   1875 
   1876 // CHECK: vpscatterdd %ymm28, 123(%r14,%ymm31,8) {%k1}
   1877 // CHECK:  encoding: [0x62,0x02,0x7d,0x21,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
   1878           vpscatterdd %ymm28, 123(%r14,%ymm31,8) {%k1}
   1879 
   1880 // CHECK: vpscatterdd %ymm28, 256(%r9,%ymm31) {%k1}
   1881 // CHECK:  encoding: [0x62,0x02,0x7d,0x21,0xa0,0x64,0x39,0x40]
   1882           vpscatterdd %ymm28, 256(%r9,%ymm31) {%k1}
   1883 
   1884 // CHECK: vpscatterdd %ymm28, 1024(%rcx,%ymm31,4) {%k1}
   1885 // CHECK:  encoding: [0x62,0x22,0x7d,0x21,0xa0,0xa4,0xb9,0x00,0x04,0x00,0x00]
   1886           vpscatterdd %ymm28, 1024(%rcx,%ymm31,4) {%k1}
   1887 
   1888 // CHECK: vpscatterdq %xmm21, 123(%r14,%xmm31,8) {%k1}
   1889 // CHECK:  encoding: [0x62,0x82,0xfd,0x01,0xa0,0xac,0xfe,0x7b,0x00,0x00,0x00]
   1890           vpscatterdq %xmm21, 123(%r14,%xmm31,8) {%k1}
   1891 
   1892 // CHECK: vpscatterdq %xmm21, 123(%r14,%xmm31,8) {%k1}
   1893 // CHECK:  encoding: [0x62,0x82,0xfd,0x01,0xa0,0xac,0xfe,0x7b,0x00,0x00,0x00]
   1894           vpscatterdq %xmm21, 123(%r14,%xmm31,8) {%k1}
   1895 
   1896 // CHECK: vpscatterdq %xmm21, 256(%r9,%xmm31) {%k1}
   1897 // CHECK:  encoding: [0x62,0x82,0xfd,0x01,0xa0,0x6c,0x39,0x20]
   1898           vpscatterdq %xmm21, 256(%r9,%xmm31) {%k1}
   1899 
   1900 // CHECK: vpscatterdq %xmm21, 1024(%rcx,%xmm31,4) {%k1}
   1901 // CHECK:  encoding: [0x62,0xa2,0xfd,0x01,0xa0,0xac,0xb9,0x00,0x04,0x00,0x00]
   1902           vpscatterdq %xmm21, 1024(%rcx,%xmm31,4) {%k1}
   1903 
   1904 // CHECK: vpscatterdq %ymm28, 123(%r14,%xmm31,8) {%k1}
   1905 // CHECK:  encoding: [0x62,0x02,0xfd,0x21,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
   1906           vpscatterdq %ymm28, 123(%r14,%xmm31,8) {%k1}
   1907 
   1908 // CHECK: vpscatterdq %ymm28, 123(%r14,%xmm31,8) {%k1}
   1909 // CHECK:  encoding: [0x62,0x02,0xfd,0x21,0xa0,0xa4,0xfe,0x7b,0x00,0x00,0x00]
   1910           vpscatterdq %ymm28, 123(%r14,%xmm31,8) {%k1}
   1911 
   1912 // CHECK: vpscatterdq %ymm28, 256(%r9,%xmm31) {%k1}
   1913 // CHECK:  encoding: [0x62,0x02,0xfd,0x21,0xa0,0x64,0x39,0x20]
   1914           vpscatterdq %ymm28, 256(%r9,%xmm31) {%k1}
   1915 
   1916 // CHECK: vpscatterdq %ymm28, 1024(%rcx,%xmm31,4) {%k1}
   1917 // CHECK:  encoding: [0x62,0x22,0xfd,0x21,0xa0,0xa4,0xb9,0x00,0x04,0x00,0x00]
   1918           vpscatterdq %ymm28, 1024(%rcx,%xmm31,4) {%k1}
   1919 
   1920 // CHECK: vpscatterqd %xmm22, 123(%r14,%xmm31,8) {%k1}
   1921 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0xa1,0xb4,0xfe,0x7b,0x00,0x00,0x00]
   1922           vpscatterqd %xmm22, 123(%r14,%xmm31,8) {%k1}
   1923 
   1924 // CHECK: vpscatterqd %xmm22, 123(%r14,%xmm31,8) {%k1}
   1925 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0xa1,0xb4,0xfe,0x7b,0x00,0x00,0x00]
   1926           vpscatterqd %xmm22, 123(%r14,%xmm31,8) {%k1}
   1927 
   1928 // CHECK: vpscatterqd %xmm22, 256(%r9,%xmm31) {%k1}
   1929 // CHECK:  encoding: [0x62,0x82,0x7d,0x01,0xa1,0x74,0x39,0x40]
   1930           vpscatterqd %xmm22, 256(%r9,%xmm31) {%k1}
   1931 
   1932 // CHECK: vpscatterqd %xmm22, 1024(%rcx,%xmm31,4) {%k1}
   1933 // CHECK:  encoding: [0x62,0xa2,0x7d,0x01,0xa1,0xb4,0xb9,0x00,0x04,0x00,0x00]
   1934           vpscatterqd %xmm22, 1024(%rcx,%xmm31,4) {%k1}
   1935 
   1936 // CHECK: vpscatterqd %xmm24, 123(%r14,%ymm31,8) {%k1}
   1937 // CHECK:  encoding: [0x62,0x02,0x7d,0x21,0xa1,0x84,0xfe,0x7b,0x00,0x00,0x00]
   1938           vpscatterqd %xmm24, 123(%r14,%ymm31,8) {%k1}
   1939 
   1940 // CHECK: vpscatterqd %xmm24, 123(%r14,%ymm31,8) {%k1}
   1941 // CHECK:  encoding: [0x62,0x02,0x7d,0x21,0xa1,0x84,0xfe,0x7b,0x00,0x00,0x00]
   1942           vpscatterqd %xmm24, 123(%r14,%ymm31,8) {%k1}
   1943 
   1944 // CHECK: vpscatterqd %xmm24, 256(%r9,%ymm31) {%k1}
   1945 // CHECK:  encoding: [0x62,0x02,0x7d,0x21,0xa1,0x44,0x39,0x40]
   1946           vpscatterqd %xmm24, 256(%r9,%ymm31) {%k1}
   1947 
   1948 // CHECK: vpscatterqd %xmm24, 1024(%rcx,%ymm31,4) {%k1}
   1949 // CHECK:  encoding: [0x62,0x22,0x7d,0x21,0xa1,0x84,0xb9,0x00,0x04,0x00,0x00]
   1950           vpscatterqd %xmm24, 1024(%rcx,%ymm31,4) {%k1}
   1951 
   1952 // CHECK: vpscatterqq %xmm28, 123(%r14,%xmm31,8) {%k1}
   1953 // CHECK:  encoding: [0x62,0x02,0xfd,0x01,0xa1,0xa4,0xfe,0x7b,0x00,0x00,0x00]
   1954           vpscatterqq %xmm28, 123(%r14,%xmm31,8) {%k1}
   1955 
   1956 // CHECK: vpscatterqq %xmm28, 123(%r14,%xmm31,8) {%k1}
   1957 // CHECK:  encoding: [0x62,0x02,0xfd,0x01,0xa1,0xa4,0xfe,0x7b,0x00,0x00,0x00]
   1958           vpscatterqq %xmm28, 123(%r14,%xmm31,8) {%k1}
   1959 
   1960 // CHECK: vpscatterqq %xmm28, 256(%r9,%xmm31) {%k1}
   1961 // CHECK:  encoding: [0x62,0x02,0xfd,0x01,0xa1,0x64,0x39,0x20]
   1962           vpscatterqq %xmm28, 256(%r9,%xmm31) {%k1}
   1963 
   1964 // CHECK: vpscatterqq %xmm28, 1024(%rcx,%xmm31,4) {%k1}
   1965 // CHECK:  encoding: [0x62,0x22,0xfd,0x01,0xa1,0xa4,0xb9,0x00,0x04,0x00,0x00]
   1966           vpscatterqq %xmm28, 1024(%rcx,%xmm31,4) {%k1}
   1967 
   1968 // CHECK: vpscatterqq %ymm19, 123(%r14,%ymm31,8) {%k1}
   1969 // CHECK:  encoding: [0x62,0x82,0xfd,0x21,0xa1,0x9c,0xfe,0x7b,0x00,0x00,0x00]
   1970           vpscatterqq %ymm19, 123(%r14,%ymm31,8) {%k1}
   1971 
   1972 // CHECK: vpscatterqq %ymm19, 123(%r14,%ymm31,8) {%k1}
   1973 // CHECK:  encoding: [0x62,0x82,0xfd,0x21,0xa1,0x9c,0xfe,0x7b,0x00,0x00,0x00]
   1974           vpscatterqq %ymm19, 123(%r14,%ymm31,8) {%k1}
   1975 
   1976 // CHECK: vpscatterqq %ymm19, 256(%r9,%ymm31) {%k1}
   1977 // CHECK:  encoding: [0x62,0x82,0xfd,0x21,0xa1,0x5c,0x39,0x20]
   1978           vpscatterqq %ymm19, 256(%r9,%ymm31) {%k1}
   1979 
   1980 // CHECK: vpscatterqq %ymm19, 1024(%rcx,%ymm31,4) {%k1}
   1981 // CHECK:  encoding: [0x62,0xa2,0xfd,0x21,0xa1,0x9c,0xb9,0x00,0x04,0x00,0x00]
   1982           vpscatterqq %ymm19, 1024(%rcx,%ymm31,4) {%k1}
   1983