gas/testsuite/gas/i386/avx512dq.s

   1 # Check 32bit AVX512DQ instructions
   2
   3         .allow_index_reg
   4         .text
   5 _start:
   6         vbroadcastf32x8 (%ecx), %zmm6    # AVX512DQ
   7         vbroadcastf32x8 (%ecx), %zmm6{%k7}       # AVX512DQ
   8         vbroadcastf32x8 (%ecx), %zmm6{%k7}{z}    # AVX512DQ
   9         vbroadcastf32x8 -123456(%esp,%esi,8), %zmm6      # AVX512DQ
  10         vbroadcastf32x8 4064(%edx), %zmm6        # AVX512DQ Disp8
  11         vbroadcastf32x8 4096(%edx), %zmm6        # AVX512DQ
  12         vbroadcastf32x8 -4096(%edx), %zmm6       # AVX512DQ Disp8
  13         vbroadcastf32x8 -4128(%edx), %zmm6       # AVX512DQ
  14         vbroadcastf64x2 (%ecx), %zmm6    # AVX512DQ
  15         vbroadcastf64x2 (%ecx), %zmm6{%k7}       # AVX512DQ
  16         vbroadcastf64x2 (%ecx), %zmm6{%k7}{z}    # AVX512DQ
  17         vbroadcastf64x2 -123456(%esp,%esi,8), %zmm6      # AVX512DQ
  18         vbroadcastf64x2 2032(%edx), %zmm6        # AVX512DQ Disp8
  19         vbroadcastf64x2 2048(%edx), %zmm6        # AVX512DQ
  20         vbroadcastf64x2 -2048(%edx), %zmm6       # AVX512DQ Disp8
  21         vbroadcastf64x2 -2064(%edx), %zmm6       # AVX512DQ
  22         vbroadcasti32x8 (%ecx), %zmm6    # AVX512DQ
  23         vbroadcasti32x8 (%ecx), %zmm6{%k7}       # AVX512DQ
  24         vbroadcasti32x8 (%ecx), %zmm6{%k7}{z}    # AVX512DQ
  25         vbroadcasti32x8 -123456(%esp,%esi,8), %zmm6      # AVX512DQ
  26         vbroadcasti32x8 4064(%edx), %zmm6        # AVX512DQ Disp8
  27         vbroadcasti32x8 4096(%edx), %zmm6        # AVX512DQ
  28         vbroadcasti32x8 -4096(%edx), %zmm6       # AVX512DQ Disp8
  29         vbroadcasti32x8 -4128(%edx), %zmm6       # AVX512DQ
  30         vbroadcasti64x2 (%ecx), %zmm6    # AVX512DQ
  31         vbroadcasti64x2 (%ecx), %zmm6{%k7}       # AVX512DQ
  32         vbroadcasti64x2 (%ecx), %zmm6{%k7}{z}    # AVX512DQ
  33         vbroadcasti64x2 -123456(%esp,%esi,8), %zmm6      # AVX512DQ
  34         vbroadcasti64x2 2032(%edx), %zmm6        # AVX512DQ Disp8
  35         vbroadcasti64x2 2048(%edx), %zmm6        # AVX512DQ
  36         vbroadcasti64x2 -2048(%edx), %zmm6       # AVX512DQ Disp8
  37         vbroadcasti64x2 -2064(%edx), %zmm6       # AVX512DQ
  38         vbroadcastf32x2 %xmm7, %zmm6     # AVX512DQ
  39         vbroadcastf32x2 %xmm7, %zmm6{%k7}        # AVX512DQ
  40         vbroadcastf32x2 %xmm7, %zmm6{%k7}{z}     # AVX512DQ
  41         vbroadcastf32x2 (%ecx), %zmm6    # AVX512DQ
  42         vbroadcastf32x2 -123456(%esp,%esi,8), %zmm6      # AVX512DQ
  43         vbroadcastf32x2 1016(%edx), %zmm6        # AVX512DQ Disp8
  44         vbroadcastf32x2 1024(%edx), %zmm6        # AVX512DQ
  45         vbroadcastf32x2 -1024(%edx), %zmm6       # AVX512DQ Disp8
  46         vbroadcastf32x2 -1032(%edx), %zmm6       # AVX512DQ
  47         vcvtpd2qq       %zmm5, %zmm6     # AVX512DQ
  48         vcvtpd2qq       %zmm5, %zmm6{%k7}        # AVX512DQ
  49         vcvtpd2qq       %zmm5, %zmm6{%k7}{z}     # AVX512DQ
  50         vcvtpd2qq       {rn-sae}, %zmm5, %zmm6   # AVX512DQ
  51         vcvtpd2qq       {ru-sae}, %zmm5, %zmm6   # AVX512DQ
  52         vcvtpd2qq       {rd-sae}, %zmm5, %zmm6   # AVX512DQ
  53         vcvtpd2qq       {rz-sae}, %zmm5, %zmm6   # AVX512DQ
  54         vcvtpd2qq       (%ecx), %zmm6    # AVX512DQ
  55         vcvtpd2qq       -123456(%esp,%esi,8), %zmm6      # AVX512DQ
  56         vcvtpd2qq       (%eax){1to8}, %zmm6      # AVX512DQ
  57         vcvtpd2qq       8128(%edx), %zmm6        # AVX512DQ Disp8
  58         vcvtpd2qq       8192(%edx), %zmm6        # AVX512DQ
  59         vcvtpd2qq       -8192(%edx), %zmm6       # AVX512DQ Disp8
  60         vcvtpd2qq       -8256(%edx), %zmm6       # AVX512DQ
  61         vcvtpd2qq       1016(%edx){1to8}, %zmm6  # AVX512DQ Disp8
  62         vcvtpd2qq       1024(%edx){1to8}, %zmm6  # AVX512DQ
  63         vcvtpd2qq       -1024(%edx){1to8}, %zmm6         # AVX512DQ Disp8
  64         vcvtpd2qq       -1032(%edx){1to8}, %zmm6         # AVX512DQ
  65         vcvtpd2uqq      %zmm5, %zmm6     # AVX512DQ
  66         vcvtpd2uqq      %zmm5, %zmm6{%k7}        # AVX512DQ
  67         vcvtpd2uqq      %zmm5, %zmm6{%k7}{z}     # AVX512DQ
  68         vcvtpd2uqq      {rn-sae}, %zmm5, %zmm6   # AVX512DQ
  69         vcvtpd2uqq      {ru-sae}, %zmm5, %zmm6   # AVX512DQ
  70         vcvtpd2uqq      {rd-sae}, %zmm5, %zmm6   # AVX512DQ
  71         vcvtpd2uqq      {rz-sae}, %zmm5, %zmm6   # AVX512DQ
  72         vcvtpd2uqq      (%ecx), %zmm6    # AVX512DQ
  73         vcvtpd2uqq      -123456(%esp,%esi,8), %zmm6      # AVX512DQ
  74         vcvtpd2uqq      (%eax){1to8}, %zmm6      # AVX512DQ
  75         vcvtpd2uqq      8128(%edx), %zmm6        # AVX512DQ Disp8
  76         vcvtpd2uqq      8192(%edx), %zmm6        # AVX512DQ
  77         vcvtpd2uqq      -8192(%edx), %zmm6       # AVX512DQ Disp8
  78         vcvtpd2uqq      -8256(%edx), %zmm6       # AVX512DQ
  79         vcvtpd2uqq      1016(%edx){1to8}, %zmm6  # AVX512DQ Disp8
  80         vcvtpd2uqq      1024(%edx){1to8}, %zmm6  # AVX512DQ
  81         vcvtpd2uqq      -1024(%edx){1to8}, %zmm6         # AVX512DQ Disp8
  82         vcvtpd2uqq      -1032(%edx){1to8}, %zmm6         # AVX512DQ
  83         vcvtps2qq       %ymm5, %zmm6{%k7}        # AVX512DQ
  84         vcvtps2qq       %ymm5, %zmm6{%k7}{z}     # AVX512DQ
  85         vcvtps2qq       {rn-sae}, %ymm5, %zmm6{%k7}      # AVX512DQ
  86         vcvtps2qq       {ru-sae}, %ymm5, %zmm6{%k7}      # AVX512DQ
  87         vcvtps2qq       {rd-sae}, %ymm5, %zmm6{%k7}      # AVX512DQ
  88         vcvtps2qq       {rz-sae}, %ymm5, %zmm6{%k7}      # AVX512DQ
  89         vcvtps2qq       (%ecx), %zmm6{%k7}       # AVX512DQ
  90         vcvtps2qq       -123456(%esp,%esi,8), %zmm6{%k7}         # AVX512DQ
  91         vcvtps2qq       (%eax){1to8}, %zmm6{%k7}         # AVX512DQ
  92         vcvtps2qq       4064(%edx), %zmm6{%k7}   # AVX512DQ Disp8
  93         vcvtps2qq       4096(%edx), %zmm6{%k7}   # AVX512DQ
  94         vcvtps2qq       -4096(%edx), %zmm6{%k7}  # AVX512DQ Disp8
  95         vcvtps2qq       -4128(%edx), %zmm6{%k7}  # AVX512DQ
  96         vcvtps2qq       508(%edx){1to8}, %zmm6{%k7}      # AVX512DQ Disp8
  97         vcvtps2qq       512(%edx){1to8}, %zmm6{%k7}      # AVX512DQ
  98         vcvtps2qq       -512(%edx){1to8}, %zmm6{%k7}     # AVX512DQ Disp8
  99         vcvtps2qq       -516(%edx){1to8}, %zmm6{%k7}     # AVX512DQ
 100         vcvtps2uqq      %ymm5, %zmm6{%k7}        # AVX512DQ
 101         vcvtps2uqq      %ymm5, %zmm6{%k7}{z}     # AVX512DQ
 102         vcvtps2uqq      {rn-sae}, %ymm5, %zmm6{%k7}      # AVX512DQ
 103         vcvtps2uqq      {ru-sae}, %ymm5, %zmm6{%k7}      # AVX512DQ
 104         vcvtps2uqq      {rd-sae}, %ymm5, %zmm6{%k7}      # AVX512DQ
 105         vcvtps2uqq      {rz-sae}, %ymm5, %zmm6{%k7}      # AVX512DQ
 106         vcvtps2uqq      (%ecx), %zmm6{%k7}       # AVX512DQ
 107         vcvtps2uqq      -123456(%esp,%esi,8), %zmm6{%k7}         # AVX512DQ
 108         vcvtps2uqq      (%eax){1to8}, %zmm6{%k7}         # AVX512DQ
 109         vcvtps2uqq      4064(%edx), %zmm6{%k7}   # AVX512DQ Disp8
 110         vcvtps2uqq      4096(%edx), %zmm6{%k7}   # AVX512DQ
 111         vcvtps2uqq      -4096(%edx), %zmm6{%k7}  # AVX512DQ Disp8
 112         vcvtps2uqq      -4128(%edx), %zmm6{%k7}  # AVX512DQ
 113         vcvtps2uqq      508(%edx){1to8}, %zmm6{%k7}      # AVX512DQ Disp8
 114         vcvtps2uqq      512(%edx){1to8}, %zmm6{%k7}      # AVX512DQ
 115         vcvtps2uqq      -512(%edx){1to8}, %zmm6{%k7}     # AVX512DQ Disp8
 116         vcvtps2uqq      -516(%edx){1to8}, %zmm6{%k7}     # AVX512DQ
 117         vcvtqq2pd       %zmm5, %zmm6     # AVX512DQ
 118         vcvtqq2pd       %zmm5, %zmm6{%k7}        # AVX512DQ
 119         vcvtqq2pd       %zmm5, %zmm6{%k7}{z}     # AVX512DQ
 120         vcvtqq2pd       {rn-sae}, %zmm5, %zmm6   # AVX512DQ
 121         vcvtqq2pd       {ru-sae}, %zmm5, %zmm6   # AVX512DQ
 122         vcvtqq2pd       {rd-sae}, %zmm5, %zmm6   # AVX512DQ
 123         vcvtqq2pd       {rz-sae}, %zmm5, %zmm6   # AVX512DQ
 124         vcvtqq2pd       (%ecx), %zmm6    # AVX512DQ
 125         vcvtqq2pd       -123456(%esp,%esi,8), %zmm6      # AVX512DQ
 126         vcvtqq2pd       (%eax){1to8}, %zmm6      # AVX512DQ
 127         vcvtqq2pd       8128(%edx), %zmm6        # AVX512DQ Disp8
 128         vcvtqq2pd       8192(%edx), %zmm6        # AVX512DQ
 129         vcvtqq2pd       -8192(%edx), %zmm6       # AVX512DQ Disp8
 130         vcvtqq2pd       -8256(%edx), %zmm6       # AVX512DQ
 131         vcvtqq2pd       1016(%edx){1to8}, %zmm6  # AVX512DQ Disp8
 132         vcvtqq2pd       1024(%edx){1to8}, %zmm6  # AVX512DQ
 133         vcvtqq2pd       -1024(%edx){1to8}, %zmm6         # AVX512DQ Disp8
 134         vcvtqq2pd       -1032(%edx){1to8}, %zmm6         # AVX512DQ
 135         vcvtqq2ps       %zmm5, %ymm6{%k7}        # AVX512DQ
 136         vcvtqq2ps       %zmm5, %ymm6{%k7}{z}     # AVX512DQ
 137         vcvtqq2ps       {rn-sae}, %zmm5, %ymm6{%k7}      # AVX512DQ
 138         vcvtqq2ps       {ru-sae}, %zmm5, %ymm6{%k7}      # AVX512DQ
 139         vcvtqq2ps       {rd-sae}, %zmm5, %ymm6{%k7}      # AVX512DQ
 140         vcvtqq2ps       {rz-sae}, %zmm5, %ymm6{%k7}      # AVX512DQ
 141         vcvtqq2ps       (%ecx), %ymm6{%k7}       # AVX512DQ
 142         vcvtqq2ps       -123456(%esp,%esi,8), %ymm6{%k7}         # AVX512DQ
 143         vcvtqq2ps       (%eax){1to8}, %ymm6{%k7}         # AVX512DQ
 144         vcvtqq2ps       8128(%edx), %ymm6{%k7}   # AVX512DQ Disp8
 145         vcvtqq2ps       8192(%edx), %ymm6{%k7}   # AVX512DQ
 146         vcvtqq2ps       -8192(%edx), %ymm6{%k7}  # AVX512DQ Disp8
 147         vcvtqq2ps       -8256(%edx), %ymm6{%k7}  # AVX512DQ
 148         vcvtqq2ps       1016(%edx){1to8}, %ymm6{%k7}     # AVX512DQ Disp8
 149         vcvtqq2ps       1024(%edx){1to8}, %ymm6{%k7}     # AVX512DQ
 150         vcvtqq2ps       -1024(%edx){1to8}, %ymm6{%k7}    # AVX512DQ Disp8
 151         vcvtqq2ps       -1032(%edx){1to8}, %ymm6{%k7}    # AVX512DQ
 152         vcvtuqq2pd      %zmm5, %zmm6     # AVX512DQ
 153         vcvtuqq2pd      %zmm5, %zmm6{%k7}        # AVX512DQ
 154         vcvtuqq2pd      %zmm5, %zmm6{%k7}{z}     # AVX512DQ
 155         vcvtuqq2pd      {rn-sae}, %zmm5, %zmm6   # AVX512DQ
 156         vcvtuqq2pd      {ru-sae}, %zmm5, %zmm6   # AVX512DQ
 157         vcvtuqq2pd      {rd-sae}, %zmm5, %zmm6   # AVX512DQ
 158         vcvtuqq2pd      {rz-sae}, %zmm5, %zmm6   # AVX512DQ
 159         vcvtuqq2pd      (%ecx), %zmm6    # AVX512DQ
 160         vcvtuqq2pd      -123456(%esp,%esi,8), %zmm6      # AVX512DQ
 161         vcvtuqq2pd      (%eax){1to8}, %zmm6      # AVX512DQ
 162         vcvtuqq2pd      8128(%edx), %zmm6        # AVX512DQ Disp8
 163         vcvtuqq2pd      8192(%edx), %zmm6        # AVX512DQ
 164         vcvtuqq2pd      -8192(%edx), %zmm6       # AVX512DQ Disp8
 165         vcvtuqq2pd      -8256(%edx), %zmm6       # AVX512DQ
 166         vcvtuqq2pd      1016(%edx){1to8}, %zmm6  # AVX512DQ Disp8
 167         vcvtuqq2pd      1024(%edx){1to8}, %zmm6  # AVX512DQ
 168         vcvtuqq2pd      -1024(%edx){1to8}, %zmm6         # AVX512DQ Disp8
 169         vcvtuqq2pd      -1032(%edx){1to8}, %zmm6         # AVX512DQ
 170         vcvtuqq2ps      %zmm5, %ymm6{%k7}        # AVX512DQ
 171         vcvtuqq2ps      %zmm5, %ymm6{%k7}{z}     # AVX512DQ
 172         vcvtuqq2ps      {rn-sae}, %zmm5, %ymm6{%k7}      # AVX512DQ
 173         vcvtuqq2ps      {ru-sae}, %zmm5, %ymm6{%k7}      # AVX512DQ
 174         vcvtuqq2ps      {rd-sae}, %zmm5, %ymm6{%k7}      # AVX512DQ
 175         vcvtuqq2ps      {rz-sae}, %zmm5, %ymm6{%k7}      # AVX512DQ
 176         vcvtuqq2ps      (%ecx), %ymm6{%k7}       # AVX512DQ
 177         vcvtuqq2ps      -123456(%esp,%esi,8), %ymm6{%k7}         # AVX512DQ
 178         vcvtuqq2ps      (%eax){1to8}, %ymm6{%k7}         # AVX512DQ
 179         vcvtuqq2ps      8128(%edx), %ymm6{%k7}   # AVX512DQ Disp8
 180         vcvtuqq2ps      8192(%edx), %ymm6{%k7}   # AVX512DQ
 181         vcvtuqq2ps      -8192(%edx), %ymm6{%k7}  # AVX512DQ Disp8
 182         vcvtuqq2ps      -8256(%edx), %ymm6{%k7}  # AVX512DQ
 183         vcvtuqq2ps      1016(%edx){1to8}, %ymm6{%k7}     # AVX512DQ Disp8
 184         vcvtuqq2ps      1024(%edx){1to8}, %ymm6{%k7}     # AVX512DQ
 185         vcvtuqq2ps      -1024(%edx){1to8}, %ymm6{%k7}    # AVX512DQ Disp8
 186         vcvtuqq2ps      -1032(%edx){1to8}, %ymm6{%k7}    # AVX512DQ
 187         vextractf64x2   $0xab, %zmm5, %xmm6{%k7}         # AVX512DQ
 188         vextractf64x2   $0xab, %zmm5, %xmm6{%k7}{z}      # AVX512DQ
 189         vextractf64x2   $123, %zmm5, %xmm6{%k7}  # AVX512DQ
 190         vextractf32x8   $0xab, %zmm5, %ymm6{%k7}         # AVX512DQ
 191         vextractf32x8   $0xab, %zmm5, %ymm6{%k7}{z}      # AVX512DQ
 192         vextractf32x8   $123, %zmm5, %ymm6{%k7}  # AVX512DQ
 193         vextracti64x2   $0xab, %zmm5, %xmm6{%k7}         # AVX512DQ
 194         vextracti64x2   $0xab, %zmm5, %xmm6{%k7}{z}      # AVX512DQ
 195         vextracti64x2   $123, %zmm5, %xmm6{%k7}  # AVX512DQ
 196         vextracti32x8   $0xab, %zmm5, %ymm6{%k7}         # AVX512DQ
 197         vextracti32x8   $0xab, %zmm5, %ymm6{%k7}{z}      # AVX512DQ
 198         vextracti32x8   $123, %zmm5, %ymm6{%k7}  # AVX512DQ
 199         vfpclasspd      $0xab, %zmm6, %k5        # AVX512DQ
 200         vfpclasspd      $0xab, %zmm6, %k5{%k7}   # AVX512DQ
 201         vfpclasspd      $123, %zmm6, %k5         # AVX512DQ
 202         vfpclasspdz     $123, (%ecx), %k5        # AVX512DQ
 203         vfpclasspdz     $123, -123456(%esp,%esi,8), %k5  # AVX512DQ
 204         vfpclasspd      $123, (%eax){1to8}, %k5  # AVX512DQ
 205         vfpclasspdz     $123, 8128(%edx), %k5    # AVX512DQ Disp8
 206         vfpclasspdz     $123, 8192(%edx), %k5    # AVX512DQ
 207         vfpclasspdz     $123, -8192(%edx), %k5   # AVX512DQ Disp8
 208         vfpclasspdz     $123, -8256(%edx), %k5   # AVX512DQ
 209         vfpclasspdz     $123, 1016(%edx){1to8}, %k5      # AVX512DQ Disp8
 210         vfpclasspdz     $123, 1024(%edx){1to8}, %k5      # AVX512DQ
 211         vfpclasspdz     $123, -1024(%edx){1to8}, %k5     # AVX512DQ Disp8
 212         vfpclasspdz     $123, -1032(%edx){1to8}, %k5     # AVX512DQ
 213         vfpclassps      $0xab, %zmm6, %k5        # AVX512DQ
 214         vfpclassps      $0xab, %zmm6, %k5{%k7}   # AVX512DQ
 215         vfpclassps      $123, %zmm6, %k5         # AVX512DQ
 216         vfpclasspsz     $123, (%ecx), %k5        # AVX512DQ
 217         vfpclasspsz     $123, -123456(%esp,%esi,8), %k5  # AVX512DQ
 218         vfpclassps      $123, (%eax){1to16}, %k5         # AVX512DQ
 219         vfpclasspsz     $123, 8128(%edx), %k5    # AVX512DQ Disp8
 220         vfpclasspsz     $123, 8192(%edx), %k5    # AVX512DQ
 221         vfpclasspsz     $123, -8192(%edx), %k5   # AVX512DQ Disp8
 222         vfpclasspsz     $123, -8256(%edx), %k5   # AVX512DQ
 223         vfpclasspsz     $123, 508(%edx){1to16}, %k5      # AVX512DQ Disp8
 224         vfpclasspsz     $123, 512(%edx){1to16}, %k5      # AVX512DQ
 225         vfpclasspsz     $123, -512(%edx){1to16}, %k5     # AVX512DQ Disp8
 226         vfpclasspsz     $123, -516(%edx){1to16}, %k5     # AVX512DQ
 227         vfpclasssd      $0xab, %xmm6, %k5{%k7}   # AVX512DQ
 228         vfpclasssd      $123, %xmm6, %k5{%k7}    # AVX512DQ
 229         vfpclasssd      $123, (%ecx), %k5{%k7}   # AVX512DQ
 230         vfpclasssd      $123, -123456(%esp,%esi,8), %k5{%k7}     # AVX512DQ
 231         vfpclasssd      $123, 1016(%edx), %k5{%k7}       # AVX512DQ Disp8
 232         vfpclasssd      $123, 1024(%edx), %k5{%k7}       # AVX512DQ
 233         vfpclasssd      $123, -1024(%edx), %k5{%k7}      # AVX512DQ Disp8
 234         vfpclasssd      $123, -1032(%edx), %k5{%k7}      # AVX512DQ
 235         vfpclassss      $0xab, %xmm6, %k5{%k7}   # AVX512DQ
 236         vfpclassss      $123, %xmm6, %k5{%k7}    # AVX512DQ
 237         vfpclassss      $123, (%ecx), %k5{%k7}   # AVX512DQ
 238         vfpclassss      $123, -123456(%esp,%esi,8), %k5{%k7}     # AVX512DQ
 239         vfpclassss      $123, 508(%edx), %k5{%k7}        # AVX512DQ Disp8
 240         vfpclassss      $123, 512(%edx), %k5{%k7}        # AVX512DQ
 241         vfpclassss      $123, -512(%edx), %k5{%k7}       # AVX512DQ Disp8
 242         vfpclassss      $123, -516(%edx), %k5{%k7}       # AVX512DQ
 243         vinsertf64x2    $0xab, %xmm4, %zmm5, %zmm6{%k7}  # AVX512DQ
 244         vinsertf64x2    $0xab, %xmm4, %zmm5, %zmm6{%k7}{z}       # AVX512DQ
 245         vinsertf64x2    $123, %xmm4, %zmm5, %zmm6{%k7}   # AVX512DQ
 246         vinsertf64x2    $123, (%ecx), %zmm5, %zmm6{%k7}  # AVX512DQ
 247         vinsertf64x2    $123, -123456(%esp,%esi,8), %zmm5, %zmm6{%k7}    # AVX512DQ
 248         vinsertf64x2    $123, 2032(%edx), %zmm5, %zmm6{%k7}      # AVX512DQ Disp8
 249         vinsertf64x2    $123, 2048(%edx), %zmm5, %zmm6{%k7}      # AVX512DQ
 250         vinsertf64x2    $123, -2048(%edx), %zmm5, %zmm6{%k7}     # AVX512DQ Disp8
 251         vinsertf64x2    $123, -2064(%edx), %zmm5, %zmm6{%k7}     # AVX512DQ
 252         vinsertf32x8    $0xab, %ymm4, %zmm5, %zmm6{%k7}  # AVX512DQ
 253         vinsertf32x8    $0xab, %ymm4, %zmm5, %zmm6{%k7}{z}       # AVX512DQ
 254         vinsertf32x8    $123, %ymm4, %zmm5, %zmm6{%k7}   # AVX512DQ
 255         vinsertf32x8    $123, (%ecx), %zmm5, %zmm6{%k7}  # AVX512DQ
 256         vinsertf32x8    $123, -123456(%esp,%esi,8), %zmm5, %zmm6{%k7}    # AVX512DQ
 257         vinsertf32x8    $123, 4064(%edx), %zmm5, %zmm6{%k7}      # AVX512DQ Disp8
 258         vinsertf32x8    $123, 4096(%edx), %zmm5, %zmm6{%k7}      # AVX512DQ
 259         vinsertf32x8    $123, -4096(%edx), %zmm5, %zmm6{%k7}     # AVX512DQ Disp8
 260         vinsertf32x8    $123, -4128(%edx), %zmm5, %zmm6{%k7}     # AVX512DQ
 261         vinserti64x2    $0xab, %xmm4, %zmm5, %zmm6{%k7}  # AVX512DQ
 262         vinserti64x2    $0xab, %xmm4, %zmm5, %zmm6{%k7}{z}       # AVX512DQ
 263         vinserti64x2    $123, %xmm4, %zmm5, %zmm6{%k7}   # AVX512DQ
 264         vinserti64x2    $123, (%ecx), %zmm5, %zmm6{%k7}  # AVX512DQ
 265         vinserti64x2    $123, -123456(%esp,%esi,8), %zmm5, %zmm6{%k7}    # AVX512DQ
 266         vinserti64x2    $123, 2032(%edx), %zmm5, %zmm6{%k7}      # AVX512DQ Disp8
 267         vinserti64x2    $123, 2048(%edx), %zmm5, %zmm6{%k7}      # AVX512DQ
 268         vinserti64x2    $123, -2048(%edx), %zmm5, %zmm6{%k7}     # AVX512DQ Disp8
 269         vinserti64x2    $123, -2064(%edx), %zmm5, %zmm6{%k7}     # AVX512DQ
 270         vinserti32x8    $0xab, %ymm4, %zmm5, %zmm6{%k7}  # AVX512DQ
 271         vinserti32x8    $0xab, %ymm4, %zmm5, %zmm6{%k7}{z}       # AVX512DQ
 272         vinserti32x8    $123, %ymm4, %zmm5, %zmm6{%k7}   # AVX512DQ
 273         vinserti32x8    $123, (%ecx), %zmm5, %zmm6{%k7}  # AVX512DQ
 274         vinserti32x8    $123, -123456(%esp,%esi,8), %zmm5, %zmm6{%k7}    # AVX512DQ
 275         vinserti32x8    $123, 4064(%edx), %zmm5, %zmm6{%k7}      # AVX512DQ Disp8
 276         vinserti32x8    $123, 4096(%edx), %zmm5, %zmm6{%k7}      # AVX512DQ
 277         vinserti32x8    $123, -4096(%edx), %zmm5, %zmm6{%k7}     # AVX512DQ Disp8
 278         vinserti32x8    $123, -4128(%edx), %zmm5, %zmm6{%k7}     # AVX512DQ
 279         vbroadcasti32x2 %xmm7, %zmm6     # AVX512DQ
 280         vbroadcasti32x2 %xmm7, %zmm6{%k7}        # AVX512DQ
 281         vbroadcasti32x2 %xmm7, %zmm6{%k7}{z}     # AVX512DQ
 282         vbroadcasti32x2 (%ecx), %zmm6    # AVX512DQ
 283         vbroadcasti32x2 -123456(%esp,%esi,8), %zmm6      # AVX512DQ
 284         vbroadcasti32x2 1016(%edx), %zmm6        # AVX512DQ Disp8
 285         vbroadcasti32x2 1024(%edx), %zmm6        # AVX512DQ
 286         vbroadcasti32x2 -1024(%edx), %zmm6       # AVX512DQ Disp8
 287         vbroadcasti32x2 -1032(%edx), %zmm6       # AVX512DQ
 288         vpmullq %zmm4, %zmm5, %zmm6      # AVX512DQ
 289         vpmullq %zmm4, %zmm5, %zmm6{%k7}         # AVX512DQ
 290         vpmullq %zmm4, %zmm5, %zmm6{%k7}{z}      # AVX512DQ
 291         vpmullq (%ecx), %zmm5, %zmm6     # AVX512DQ
 292         vpmullq -123456(%esp,%esi,8), %zmm5, %zmm6       # AVX512DQ
 293         vpmullq (%eax){1to8}, %zmm5, %zmm6       # AVX512DQ
 294         vpmullq 8128(%edx), %zmm5, %zmm6         # AVX512DQ Disp8
 295         vpmullq 8192(%edx), %zmm5, %zmm6         # AVX512DQ
 296         vpmullq -8192(%edx), %zmm5, %zmm6        # AVX512DQ Disp8
 297         vpmullq -8256(%edx), %zmm5, %zmm6        # AVX512DQ
 298         vpmullq 1016(%edx){1to8}, %zmm5, %zmm6   # AVX512DQ Disp8
 299         vpmullq 1024(%edx){1to8}, %zmm5, %zmm6   # AVX512DQ
 300         vpmullq -1024(%edx){1to8}, %zmm5, %zmm6  # AVX512DQ Disp8
 301         vpmullq -1032(%edx){1to8}, %zmm5, %zmm6  # AVX512DQ
 302         vrangepd        $0xab, %zmm4, %zmm5, %zmm6       # AVX512DQ
 303         vrangepd        $0xab, %zmm4, %zmm5, %zmm6{%k7}  # AVX512DQ
 304         vrangepd        $0xab, %zmm4, %zmm5, %zmm6{%k7}{z}       # AVX512DQ
 305         vrangepd        $0xab, {sae}, %zmm4, %zmm5, %zmm6        # AVX512DQ
 306         vrangepd        $123, %zmm4, %zmm5, %zmm6        # AVX512DQ
 307         vrangepd        $123, {sae}, %zmm4, %zmm5, %zmm6         # AVX512DQ
 308         vrangepd        $123, (%ecx), %zmm5, %zmm6       # AVX512DQ
 309         vrangepd        $123, -123456(%esp,%esi,8), %zmm5, %zmm6         # AVX512DQ
 310         vrangepd        $123, (%eax){1to8}, %zmm5, %zmm6         # AVX512DQ
 311         vrangepd        $123, 8128(%edx), %zmm5, %zmm6   # AVX512DQ Disp8
 312         vrangepd        $123, 8192(%edx), %zmm5, %zmm6   # AVX512DQ
 313         vrangepd        $123, -8192(%edx), %zmm5, %zmm6  # AVX512DQ Disp8
 314         vrangepd        $123, -8256(%edx), %zmm5, %zmm6  # AVX512DQ
 315         vrangepd        $123, 1016(%edx){1to8}, %zmm5, %zmm6     # AVX512DQ Disp8
 316         vrangepd        $123, 1024(%edx){1to8}, %zmm5, %zmm6     # AVX512DQ
 317         vrangepd        $123, -1024(%edx){1to8}, %zmm5, %zmm6    # AVX512DQ Disp8
 318         vrangepd        $123, -1032(%edx){1to8}, %zmm5, %zmm6    # AVX512DQ
 319         vrangeps        $0xab, %zmm4, %zmm5, %zmm6       # AVX512DQ
 320         vrangeps        $0xab, %zmm4, %zmm5, %zmm6{%k7}  # AVX512DQ
 321         vrangeps        $0xab, %zmm4, %zmm5, %zmm6{%k7}{z}       # AVX512DQ
 322         vrangeps        $0xab, {sae}, %zmm4, %zmm5, %zmm6        # AVX512DQ
 323         vrangeps        $123, %zmm4, %zmm5, %zmm6        # AVX512DQ
 324         vrangeps        $123, {sae}, %zmm4, %zmm5, %zmm6         # AVX512DQ
 325         vrangeps        $123, (%ecx), %zmm5, %zmm6       # AVX512DQ
 326         vrangeps        $123, -123456(%esp,%esi,8), %zmm5, %zmm6         # AVX512DQ
 327         vrangeps        $123, (%eax){1to16}, %zmm5, %zmm6        # AVX512DQ
 328         vrangeps        $123, 8128(%edx), %zmm5, %zmm6   # AVX512DQ Disp8
 329         vrangeps        $123, 8192(%edx), %zmm5, %zmm6   # AVX512DQ
 330         vrangeps        $123, -8192(%edx), %zmm5, %zmm6  # AVX512DQ Disp8
 331         vrangeps        $123, -8256(%edx), %zmm5, %zmm6  # AVX512DQ
 332         vrangeps        $123, 508(%edx){1to16}, %zmm5, %zmm6     # AVX512DQ Disp8
 333         vrangeps        $123, 512(%edx){1to16}, %zmm5, %zmm6     # AVX512DQ
 334         vrangeps        $123, -512(%edx){1to16}, %zmm5, %zmm6    # AVX512DQ Disp8
 335         vrangeps        $123, -516(%edx){1to16}, %zmm5, %zmm6    # AVX512DQ
 336         vrangesd        $0xab, %xmm4, %xmm5, %xmm6{%k7}  # AVX512DQ
 337         vrangesd        $0xab, %xmm4, %xmm5, %xmm6{%k7}{z}       # AVX512DQ
 338         vrangesd        $0xab, {sae}, %xmm4, %xmm5, %xmm6{%k7}   # AVX512DQ
 339         vrangesd        $123, %xmm4, %xmm5, %xmm6{%k7}   # AVX512DQ
 340         vrangesd        $123, {sae}, %xmm4, %xmm5, %xmm6{%k7}    # AVX512DQ
 341         vrangesd        $123, (%ecx), %xmm5, %xmm6{%k7}  # AVX512DQ
 342         vrangesd        $123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}    # AVX512DQ
 343         vrangesd        $123, 1016(%edx), %xmm5, %xmm6{%k7}      # AVX512DQ Disp8
 344         vrangesd        $123, 1024(%edx), %xmm5, %xmm6{%k7}      # AVX512DQ
 345         vrangesd        $123, -1024(%edx), %xmm5, %xmm6{%k7}     # AVX512DQ Disp8
 346         vrangesd        $123, -1032(%edx), %xmm5, %xmm6{%k7}     # AVX512DQ
 347         vrangess        $0xab, %xmm4, %xmm5, %xmm6{%k7}  # AVX512DQ
 348         vrangess        $0xab, %xmm4, %xmm5, %xmm6{%k7}{z}       # AVX512DQ
 349         vrangess        $0xab, {sae}, %xmm4, %xmm5, %xmm6{%k7}   # AVX512DQ
 350         vrangess        $123, %xmm4, %xmm5, %xmm6{%k7}   # AVX512DQ
 351         vrangess        $123, {sae}, %xmm4, %xmm5, %xmm6{%k7}    # AVX512DQ
 352         vrangess        $123, (%ecx), %xmm5, %xmm6{%k7}  # AVX512DQ
 353         vrangess        $123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}    # AVX512DQ
 354         vrangess        $123, 508(%edx), %xmm5, %xmm6{%k7}       # AVX512DQ Disp8
 355         vrangess        $123, 512(%edx), %xmm5, %xmm6{%k7}       # AVX512DQ
 356         vrangess        $123, -512(%edx), %xmm5, %xmm6{%k7}      # AVX512DQ Disp8
 357         vrangess        $123, -516(%edx), %xmm5, %xmm6{%k7}      # AVX512DQ
 358         vandpd  %zmm4, %zmm5, %zmm6      # AVX512DQ
 359         vandpd  %zmm4, %zmm5, %zmm6{%k7}         # AVX512DQ
 360         vandpd  %zmm4, %zmm5, %zmm6{%k7}{z}      # AVX512DQ
 361         vandpd  (%ecx), %zmm5, %zmm6     # AVX512DQ
 362         vandpd  -123456(%esp,%esi,8), %zmm5, %zmm6       # AVX512DQ
 363         vandpd  (%eax){1to8}, %zmm5, %zmm6       # AVX512DQ
 364         vandpd  8128(%edx), %zmm5, %zmm6         # AVX512DQ Disp8
 365         vandpd  8192(%edx), %zmm5, %zmm6         # AVX512DQ
 366         vandpd  -8192(%edx), %zmm5, %zmm6        # AVX512DQ Disp8
 367         vandpd  -8256(%edx), %zmm5, %zmm6        # AVX512DQ
 368         vandpd  1016(%edx){1to8}, %zmm5, %zmm6   # AVX512DQ Disp8
 369         vandpd  1024(%edx){1to8}, %zmm5, %zmm6   # AVX512DQ
 370         vandpd  -1024(%edx){1to8}, %zmm5, %zmm6  # AVX512DQ Disp8
 371         vandpd  -1032(%edx){1to8}, %zmm5, %zmm6  # AVX512DQ
 372         vandps  %zmm4, %zmm5, %zmm6      # AVX512DQ
 373         vandps  %zmm4, %zmm5, %zmm6{%k7}         # AVX512DQ
 374         vandps  %zmm4, %zmm5, %zmm6{%k7}{z}      # AVX512DQ
 375         vandps  (%ecx), %zmm5, %zmm6     # AVX512DQ
 376         vandps  -123456(%esp,%esi,8), %zmm5, %zmm6       # AVX512DQ
 377         vandps  (%eax){1to16}, %zmm5, %zmm6      # AVX512DQ
 378         vandps  8128(%edx), %zmm5, %zmm6         # AVX512DQ Disp8
 379         vandps  8192(%edx), %zmm5, %zmm6         # AVX512DQ
 380         vandps  -8192(%edx), %zmm5, %zmm6        # AVX512DQ Disp8
 381         vandps  -8256(%edx), %zmm5, %zmm6        # AVX512DQ
 382         vandps  508(%edx){1to16}, %zmm5, %zmm6   # AVX512DQ Disp8
 383         vandps  512(%edx){1to16}, %zmm5, %zmm6   # AVX512DQ
 384         vandps  -512(%edx){1to16}, %zmm5, %zmm6  # AVX512DQ Disp8
 385         vandps  -516(%edx){1to16}, %zmm5, %zmm6  # AVX512DQ
 386         vandnpd %zmm4, %zmm5, %zmm6      # AVX512DQ
 387         vandnpd %zmm4, %zmm5, %zmm6{%k7}         # AVX512DQ
 388         vandnpd %zmm4, %zmm5, %zmm6{%k7}{z}      # AVX512DQ
 389         vandnpd (%ecx), %zmm5, %zmm6     # AVX512DQ
 390         vandnpd -123456(%esp,%esi,8), %zmm5, %zmm6       # AVX512DQ
 391         vandnpd (%eax){1to8}, %zmm5, %zmm6       # AVX512DQ
 392         vandnpd 8128(%edx), %zmm5, %zmm6         # AVX512DQ Disp8
 393         vandnpd 8192(%edx), %zmm5, %zmm6         # AVX512DQ
 394         vandnpd -8192(%edx), %zmm5, %zmm6        # AVX512DQ Disp8
 395         vandnpd -8256(%edx), %zmm5, %zmm6        # AVX512DQ
 396         vandnpd 1016(%edx){1to8}, %zmm5, %zmm6   # AVX512DQ Disp8
 397         vandnpd 1024(%edx){1to8}, %zmm5, %zmm6   # AVX512DQ
 398         vandnpd -1024(%edx){1to8}, %zmm5, %zmm6  # AVX512DQ Disp8
 399         vandnpd -1032(%edx){1to8}, %zmm5, %zmm6  # AVX512DQ
 400         vandnps %zmm4, %zmm5, %zmm6      # AVX512DQ
 401         vandnps %zmm4, %zmm5, %zmm6{%k7}         # AVX512DQ
 402         vandnps %zmm4, %zmm5, %zmm6{%k7}{z}      # AVX512DQ
 403         vandnps (%ecx), %zmm5, %zmm6     # AVX512DQ
 404         vandnps -123456(%esp,%esi,8), %zmm5, %zmm6       # AVX512DQ
 405         vandnps (%eax){1to16}, %zmm5, %zmm6      # AVX512DQ
 406         vandnps 8128(%edx), %zmm5, %zmm6         # AVX512DQ Disp8
 407         vandnps 8192(%edx), %zmm5, %zmm6         # AVX512DQ
 408         vandnps -8192(%edx), %zmm5, %zmm6        # AVX512DQ Disp8
 409         vandnps -8256(%edx), %zmm5, %zmm6        # AVX512DQ
 410         vandnps 508(%edx){1to16}, %zmm5, %zmm6   # AVX512DQ Disp8
 411         vandnps 512(%edx){1to16}, %zmm5, %zmm6   # AVX512DQ
 412         vandnps -512(%edx){1to16}, %zmm5, %zmm6  # AVX512DQ Disp8
 413         vandnps -516(%edx){1to16}, %zmm5, %zmm6  # AVX512DQ
 414         vorpd   %zmm4, %zmm5, %zmm6      # AVX512DQ
 415         vorpd   %zmm4, %zmm5, %zmm6{%k7}         # AVX512DQ
 416         vorpd   %zmm4, %zmm5, %zmm6{%k7}{z}      # AVX512DQ
 417         vorpd   (%ecx), %zmm5, %zmm6     # AVX512DQ
 418         vorpd   -123456(%esp,%esi,8), %zmm5, %zmm6       # AVX512DQ
 419         vorpd   (%eax){1to8}, %zmm5, %zmm6       # AVX512DQ
 420         vorpd   8128(%edx), %zmm5, %zmm6         # AVX512DQ Disp8
 421         vorpd   8192(%edx), %zmm5, %zmm6         # AVX512DQ
 422         vorpd   -8192(%edx), %zmm5, %zmm6        # AVX512DQ Disp8
 423         vorpd   -8256(%edx), %zmm5, %zmm6        # AVX512DQ
 424         vorpd   1016(%edx){1to8}, %zmm5, %zmm6   # AVX512DQ Disp8
 425         vorpd   1024(%edx){1to8}, %zmm5, %zmm6   # AVX512DQ
 426         vorpd   -1024(%edx){1to8}, %zmm5, %zmm6  # AVX512DQ Disp8
 427         vorpd   -1032(%edx){1to8}, %zmm5, %zmm6  # AVX512DQ
 428         vorps   %zmm4, %zmm5, %zmm6      # AVX512DQ
 429         vorps   %zmm4, %zmm5, %zmm6{%k7}         # AVX512DQ
 430         vorps   %zmm4, %zmm5, %zmm6{%k7}{z}      # AVX512DQ
 431         vorps   (%ecx), %zmm5, %zmm6     # AVX512DQ
 432         vorps   -123456(%esp,%esi,8), %zmm5, %zmm6       # AVX512DQ
 433         vorps   (%eax){1to16}, %zmm5, %zmm6      # AVX512DQ
 434         vorps   8128(%edx), %zmm5, %zmm6         # AVX512DQ Disp8
 435         vorps   8192(%edx), %zmm5, %zmm6         # AVX512DQ
 436         vorps   -8192(%edx), %zmm5, %zmm6        # AVX512DQ Disp8
 437         vorps   -8256(%edx), %zmm5, %zmm6        # AVX512DQ
 438         vorps   508(%edx){1to16}, %zmm5, %zmm6   # AVX512DQ Disp8
 439         vorps   512(%edx){1to16}, %zmm5, %zmm6   # AVX512DQ
 440         vorps   -512(%edx){1to16}, %zmm5, %zmm6  # AVX512DQ Disp8
 441         vorps   -516(%edx){1to16}, %zmm5, %zmm6  # AVX512DQ
 442         vxorpd  %zmm4, %zmm5, %zmm6      # AVX512DQ
 443         vxorpd  %zmm4, %zmm5, %zmm6{%k7}         # AVX512DQ
 444         vxorpd  %zmm4, %zmm5, %zmm6{%k7}{z}      # AVX512DQ
 445         vxorpd  (%ecx), %zmm5, %zmm6     # AVX512DQ
 446         vxorpd  -123456(%esp,%esi,8), %zmm5, %zmm6       # AVX512DQ
 447         vxorpd  (%eax){1to8}, %zmm5, %zmm6       # AVX512DQ
 448         vxorpd  8128(%edx), %zmm5, %zmm6         # AVX512DQ Disp8
 449         vxorpd  8192(%edx), %zmm5, %zmm6         # AVX512DQ
 450         vxorpd  -8192(%edx), %zmm5, %zmm6        # AVX512DQ Disp8
 451         vxorpd  -8256(%edx), %zmm5, %zmm6        # AVX512DQ
 452         vxorpd  1016(%edx){1to8}, %zmm5, %zmm6   # AVX512DQ Disp8
 453         vxorpd  1024(%edx){1to8}, %zmm5, %zmm6   # AVX512DQ
 454         vxorpd  -1024(%edx){1to8}, %zmm5, %zmm6  # AVX512DQ Disp8
 455         vxorpd  -1032(%edx){1to8}, %zmm5, %zmm6  # AVX512DQ
 456         vxorps  %zmm4, %zmm5, %zmm6      # AVX512DQ
 457         vxorps  %zmm4, %zmm5, %zmm6{%k7}         # AVX512DQ
 458         vxorps  %zmm4, %zmm5, %zmm6{%k7}{z}      # AVX512DQ
 459         vxorps  (%ecx), %zmm5, %zmm6     # AVX512DQ
 460         vxorps  -123456(%esp,%esi,8), %zmm5, %zmm6       # AVX512DQ
 461         vxorps  (%eax){1to16}, %zmm5, %zmm6      # AVX512DQ
 462         vxorps  8128(%edx), %zmm5, %zmm6         # AVX512DQ Disp8
 463         vxorps  8192(%edx), %zmm5, %zmm6         # AVX512DQ
 464         vxorps  -8192(%edx), %zmm5, %zmm6        # AVX512DQ Disp8
 465         vxorps  -8256(%edx), %zmm5, %zmm6        # AVX512DQ
 466         vxorps  508(%edx){1to16}, %zmm5, %zmm6   # AVX512DQ Disp8
 467         vxorps  512(%edx){1to16}, %zmm5, %zmm6   # AVX512DQ
 468         vxorps  -512(%edx){1to16}, %zmm5, %zmm6  # AVX512DQ Disp8
 469         vxorps  -516(%edx){1to16}, %zmm5, %zmm6  # AVX512DQ
 470         vreducepd       $0xab, %zmm5, %zmm6      # AVX512DQ
 471         vreducepd       $0xab, %zmm5, %zmm6{%k7}         # AVX512DQ
 472         vreducepd       $0xab, %zmm5, %zmm6{%k7}{z}      # AVX512DQ
 473         vreducepd       $0xab, {sae}, %zmm5, %zmm6       # AVX512DQ
 474         vreducepd       $123, %zmm5, %zmm6       # AVX512DQ
 475         vreducepd       $123, {sae}, %zmm5, %zmm6        # AVX512DQ
 476         vreducepd       $123, (%ecx), %zmm6      # AVX512DQ
 477         vreducepd       $123, -123456(%esp,%esi,8), %zmm6        # AVX512DQ
 478         vreducepd       $123, (%eax){1to8}, %zmm6        # AVX512DQ
 479         vreducepd       $123, 8128(%edx), %zmm6  # AVX512DQ Disp8
 480         vreducepd       $123, 8192(%edx), %zmm6  # AVX512DQ
 481         vreducepd       $123, -8192(%edx), %zmm6         # AVX512DQ Disp8
 482         vreducepd       $123, -8256(%edx), %zmm6         # AVX512DQ
 483         vreducepd       $123, 1016(%edx){1to8}, %zmm6    # AVX512DQ Disp8
 484         vreducepd       $123, 1024(%edx){1to8}, %zmm6    # AVX512DQ
 485         vreducepd       $123, -1024(%edx){1to8}, %zmm6   # AVX512DQ Disp8
 486         vreducepd       $123, -1032(%edx){1to8}, %zmm6   # AVX512DQ
 487         vreduceps       $0xab, %zmm5, %zmm6      # AVX512DQ
 488         vreduceps       $0xab, %zmm5, %zmm6{%k7}         # AVX512DQ
 489         vreduceps       $0xab, %zmm5, %zmm6{%k7}{z}      # AVX512DQ
 490         vreduceps       $0xab, {sae}, %zmm5, %zmm6       # AVX512DQ
 491         vreduceps       $123, %zmm5, %zmm6       # AVX512DQ
 492         vreduceps       $123, {sae}, %zmm5, %zmm6        # AVX512DQ
 493         vreduceps       $123, (%ecx), %zmm6      # AVX512DQ
 494         vreduceps       $123, -123456(%esp,%esi,8), %zmm6        # AVX512DQ
 495         vreduceps       $123, (%eax){1to16}, %zmm6       # AVX512DQ
 496         vreduceps       $123, 8128(%edx), %zmm6  # AVX512DQ Disp8
 497         vreduceps       $123, 8192(%edx), %zmm6  # AVX512DQ
 498         vreduceps       $123, -8192(%edx), %zmm6         # AVX512DQ Disp8
 499         vreduceps       $123, -8256(%edx), %zmm6         # AVX512DQ
 500         vreduceps       $123, 508(%edx){1to16}, %zmm6    # AVX512DQ Disp8
 501         vreduceps       $123, 512(%edx){1to16}, %zmm6    # AVX512DQ
 502         vreduceps       $123, -512(%edx){1to16}, %zmm6   # AVX512DQ Disp8
 503         vreduceps       $123, -516(%edx){1to16}, %zmm6   # AVX512DQ
 504         vreducesd       $0xab, %xmm4, %xmm5, %xmm6{%k7}  # AVX512DQ
 505         vreducesd       $0xab, %xmm4, %xmm5, %xmm6{%k7}{z}       # AVX512DQ
 506         vreducesd       $0xab, {sae}, %xmm4, %xmm5, %xmm6{%k7}   # AVX512DQ
 507         vreducesd       $123, %xmm4, %xmm5, %xmm6{%k7}   # AVX512DQ
 508         vreducesd       $123, {sae}, %xmm4, %xmm5, %xmm6{%k7}    # AVX512DQ
 509         vreducesd       $123, (%ecx), %xmm5, %xmm6{%k7}  # AVX512DQ
 510         vreducesd       $123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}    # AVX512DQ
 511         vreducesd       $123, 1016(%edx), %xmm5, %xmm6{%k7}      # AVX512DQ Disp8
 512         vreducesd       $123, 1024(%edx), %xmm5, %xmm6{%k7}      # AVX512DQ
 513         vreducesd       $123, -1024(%edx), %xmm5, %xmm6{%k7}     # AVX512DQ Disp8
 514         vreducesd       $123, -1032(%edx), %xmm5, %xmm6{%k7}     # AVX512DQ
 515         vreducess       $0xab, %xmm4, %xmm5, %xmm6{%k7}  # AVX512DQ
 516         vreducess       $0xab, %xmm4, %xmm5, %xmm6{%k7}{z}       # AVX512DQ
 517         vreducess       $0xab, {sae}, %xmm4, %xmm5, %xmm6{%k7}   # AVX512DQ
 518         vreducess       $123, %xmm4, %xmm5, %xmm6{%k7}   # AVX512DQ
 519         vreducess       $123, {sae}, %xmm4, %xmm5, %xmm6{%k7}    # AVX512DQ
 520         vreducess       $123, (%ecx), %xmm5, %xmm6{%k7}  # AVX512DQ
 521         vreducess       $123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}    # AVX512DQ
 522         vreducess       $123, 508(%edx), %xmm5, %xmm6{%k7}       # AVX512DQ Disp8
 523         vreducess       $123, 512(%edx), %xmm5, %xmm6{%k7}       # AVX512DQ
 524         vreducess       $123, -512(%edx), %xmm5, %xmm6{%k7}      # AVX512DQ Disp8
 525         vreducess       $123, -516(%edx), %xmm5, %xmm6{%k7}      # AVX512DQ
 526         kandb   %k7, %k6, %k5    # AVX512DQ
 527         kandnb  %k7, %k6, %k5    # AVX512DQ
 528         korb    %k7, %k6, %k5    # AVX512DQ
 529         kxnorb  %k7, %k6, %k5    # AVX512DQ
 530         kxorb   %k7, %k6, %k5    # AVX512DQ
 531         knotb   %k6, %k5         # AVX512DQ
 532         kortestb        %k6, %k5         # AVX512DQ
 533         ktestw  %k6, %k5         # AVX512DQ
 534         ktestb  %k6, %k5         # AVX512DQ
 535         kshiftrb        $0xab, %k6, %k5  # AVX512DQ
 536         kshiftrb        $123, %k6, %k5   # AVX512DQ
 537         kshiftlb        $0xab, %k6, %k5  # AVX512DQ
 538         kshiftlb        $123, %k6, %k5   # AVX512DQ
 539         kmovb   %k6, %k5         # AVX512DQ
 540         kmovb   (%ecx), %k5      # AVX512DQ
 541         kmovb   -123456(%esp,%esi,8), %k5        # AVX512DQ
 542         kmovb   %k5, (%ecx)      # AVX512DQ
 543         kmovb   %k5, -123456(%esp,%esi,8)        # AVX512DQ
 544         kmovb   %eax, %k5        # AVX512DQ
 545         kmovb   %ebp, %k5        # AVX512DQ
 546         kmovb   %k5, %eax        # AVX512DQ
 547         kmovb   %k5, %ebp        # AVX512DQ
 548         kaddw   %k7, %k6, %k5    # AVX512DQ
 549         kaddb   %k7, %k6, %k5    # AVX512DQ
 550         vextractf64x2   $0xab, %zmm6, (%ecx)     # AVX512DQ
 551         vextractf64x2   $0xab, %zmm6, (%ecx){%k7}        # AVX512DQ
 552         vextractf64x2   $123, %zmm6, (%ecx)      # AVX512DQ
 553         vextractf64x2   $123, %zmm6, -123456(%esp,%esi,8)        # AVX512DQ
 554         vextractf64x2   $123, %zmm6, 2032(%edx)  # AVX512DQ Disp8
 555         vextractf64x2   $123, %zmm6, 2048(%edx)  # AVX512DQ
 556         vextractf64x2   $123, %zmm6, -2048(%edx)         # AVX512DQ Disp8
 557         vextractf64x2   $123, %zmm6, -2064(%edx)         # AVX512DQ
 558         vextractf32x8   $0xab, %zmm6, (%ecx)     # AVX512DQ
 559         vextractf32x8   $0xab, %zmm6, (%ecx){%k7}        # AVX512DQ
 560         vextractf32x8   $123, %zmm6, (%ecx)      # AVX512DQ
 561         vextractf32x8   $123, %zmm6, -123456(%esp,%esi,8)        # AVX512DQ
 562         vextractf32x8   $123, %zmm6, 4064(%edx)  # AVX512DQ Disp8
 563         vextractf32x8   $123, %zmm6, 4096(%edx)  # AVX512DQ
 564         vextractf32x8   $123, %zmm6, -4096(%edx)         # AVX512DQ Disp8
 565         vextractf32x8   $123, %zmm6, -4128(%edx)         # AVX512DQ
 566         vextracti64x2   $0xab, %zmm6, (%ecx)     # AVX512DQ
 567         vextracti64x2   $0xab, %zmm6, (%ecx){%k7}        # AVX512DQ
 568         vextracti64x2   $123, %zmm6, (%ecx)      # AVX512DQ
 569         vextracti64x2   $123, %zmm6, -123456(%esp,%esi,8)        # AVX512DQ
 570         vextracti64x2   $123, %zmm6, 2032(%edx)  # AVX512DQ Disp8
 571         vextracti64x2   $123, %zmm6, 2048(%edx)  # AVX512DQ
 572         vextracti64x2   $123, %zmm6, -2048(%edx)         # AVX512DQ Disp8
 573         vextracti64x2   $123, %zmm6, -2064(%edx)         # AVX512DQ
 574         vextracti32x8   $0xab, %zmm6, (%ecx)     # AVX512DQ
 575         vextracti32x8   $0xab, %zmm6, (%ecx){%k7}        # AVX512DQ
 576         vextracti32x8   $123, %zmm6, (%ecx)      # AVX512DQ
 577         vextracti32x8   $123, %zmm6, -123456(%esp,%esi,8)        # AVX512DQ
 578         vextracti32x8   $123, %zmm6, 4064(%edx)  # AVX512DQ Disp8
 579         vextracti32x8   $123, %zmm6, 4096(%edx)  # AVX512DQ
 580         vextracti32x8   $123, %zmm6, -4096(%edx)         # AVX512DQ Disp8
 581         vextracti32x8   $123, %zmm6, -4128(%edx)         # AVX512DQ
 582         vcvttpd2qq      %zmm5, %zmm6     # AVX512DQ
 583         vcvttpd2qq      %zmm5, %zmm6{%k7}        # AVX512DQ
 584         vcvttpd2qq      %zmm5, %zmm6{%k7}{z}     # AVX512DQ
 585         vcvttpd2qq      {sae}, %zmm5, %zmm6      # AVX512DQ
 586         vcvttpd2qq      (%ecx), %zmm6    # AVX512DQ
 587         vcvttpd2qq      -123456(%esp,%esi,8), %zmm6      # AVX512DQ
 588         vcvttpd2qq      (%eax){1to8}, %zmm6      # AVX512DQ
 589         vcvttpd2qq      8128(%edx), %zmm6        # AVX512DQ Disp8
 590         vcvttpd2qq      8192(%edx), %zmm6        # AVX512DQ
 591         vcvttpd2qq      -8192(%edx), %zmm6       # AVX512DQ Disp8
 592         vcvttpd2qq      -8256(%edx), %zmm6       # AVX512DQ
 593         vcvttpd2qq      1016(%edx){1to8}, %zmm6  # AVX512DQ Disp8
 594         vcvttpd2qq      1024(%edx){1to8}, %zmm6  # AVX512DQ
 595         vcvttpd2qq      -1024(%edx){1to8}, %zmm6         # AVX512DQ Disp8
 596         vcvttpd2qq      -1032(%edx){1to8}, %zmm6         # AVX512DQ
 597         vcvttpd2uqq     %zmm5, %zmm6     # AVX512DQ
 598         vcvttpd2uqq     %zmm5, %zmm6{%k7}        # AVX512DQ
 599         vcvttpd2uqq     %zmm5, %zmm6{%k7}{z}     # AVX512DQ
 600         vcvttpd2uqq     {sae}, %zmm5, %zmm6      # AVX512DQ
 601         vcvttpd2uqq     (%ecx), %zmm6    # AVX512DQ
 602         vcvttpd2uqq     -123456(%esp,%esi,8), %zmm6      # AVX512DQ
 603         vcvttpd2uqq     (%eax){1to8}, %zmm6      # AVX512DQ
 604         vcvttpd2uqq     8128(%edx), %zmm6        # AVX512DQ Disp8
 605         vcvttpd2uqq     8192(%edx), %zmm6        # AVX512DQ
 606         vcvttpd2uqq     -8192(%edx), %zmm6       # AVX512DQ Disp8
 607         vcvttpd2uqq     -8256(%edx), %zmm6       # AVX512DQ
 608         vcvttpd2uqq     1016(%edx){1to8}, %zmm6  # AVX512DQ Disp8
 609         vcvttpd2uqq     1024(%edx){1to8}, %zmm6  # AVX512DQ
 610         vcvttpd2uqq     -1024(%edx){1to8}, %zmm6         # AVX512DQ Disp8
 611         vcvttpd2uqq     -1032(%edx){1to8}, %zmm6         # AVX512DQ
 612         vcvttps2qq      %ymm5, %zmm6{%k7}        # AVX512DQ
 613         vcvttps2qq      %ymm5, %zmm6{%k7}{z}     # AVX512DQ
 614         vcvttps2qq      {sae}, %ymm5, %zmm6{%k7}         # AVX512DQ
 615         vcvttps2qq      (%ecx), %zmm6{%k7}       # AVX512DQ
 616         vcvttps2qq      -123456(%esp,%esi,8), %zmm6{%k7}         # AVX512DQ
 617         vcvttps2qq      (%eax){1to8}, %zmm6{%k7}         # AVX512DQ
 618         vcvttps2qq      4064(%edx), %zmm6{%k7}   # AVX512DQ Disp8
 619         vcvttps2qq      4096(%edx), %zmm6{%k7}   # AVX512DQ
 620         vcvttps2qq      -4096(%edx), %zmm6{%k7}  # AVX512DQ Disp8
 621         vcvttps2qq      -4128(%edx), %zmm6{%k7}  # AVX512DQ
 622         vcvttps2qq      508(%edx){1to8}, %zmm6{%k7}      # AVX512DQ Disp8
 623         vcvttps2qq      512(%edx){1to8}, %zmm6{%k7}      # AVX512DQ
 624         vcvttps2qq      -512(%edx){1to8}, %zmm6{%k7}     # AVX512DQ Disp8
 625         vcvttps2qq      -516(%edx){1to8}, %zmm6{%k7}     # AVX512DQ
 626         vcvttps2uqq     %ymm5, %zmm6{%k7}        # AVX512DQ
 627         vcvttps2uqq     %ymm5, %zmm6{%k7}{z}     # AVX512DQ
 628         vcvttps2uqq     {sae}, %ymm5, %zmm6{%k7}         # AVX512DQ
 629         vcvttps2uqq     (%ecx), %zmm6{%k7}       # AVX512DQ
 630         vcvttps2uqq     -123456(%esp,%esi,8), %zmm6{%k7}         # AVX512DQ
 631         vcvttps2uqq     (%eax){1to8}, %zmm6{%k7}         # AVX512DQ
 632         vcvttps2uqq     4064(%edx), %zmm6{%k7}   # AVX512DQ Disp8
 633         vcvttps2uqq     4096(%edx), %zmm6{%k7}   # AVX512DQ
 634         vcvttps2uqq     -4096(%edx), %zmm6{%k7}  # AVX512DQ Disp8
 635         vcvttps2uqq     -4128(%edx), %zmm6{%k7}  # AVX512DQ
 636         vcvttps2uqq     508(%edx){1to8}, %zmm6{%k7}      # AVX512DQ Disp8
 637         vcvttps2uqq     512(%edx){1to8}, %zmm6{%k7}      # AVX512DQ
 638         vcvttps2uqq     -512(%edx){1to8}, %zmm6{%k7}     # AVX512DQ Disp8
 639         vcvttps2uqq     -516(%edx){1to8}, %zmm6{%k7}     # AVX512DQ
 640         vpmovd2m        %zmm6, %k5       # AVX512DQ
 641         vpmovq2m        %zmm6, %k5       # AVX512DQ
 642         vpmovm2d        %k5, %zmm6       # AVX512DQ
 643         vpmovm2q        %k5, %zmm6       # AVX512DQ
 644
 645         .intel_syntax noprefix
 646         vbroadcastf32x8 zmm6, YMMWORD PTR [ecx]  # AVX512DQ
 647         vbroadcastf32x8 zmm6{k7}, YMMWORD PTR [ecx]      # AVX512DQ
 648         vbroadcastf32x8 zmm6{k7}{z}, YMMWORD PTR [ecx]   # AVX512DQ
 649         vbroadcastf32x8 zmm6, YMMWORD PTR [esp+esi*8-123456]     # AVX512DQ
 650         vbroadcastf32x8 zmm6, YMMWORD PTR [edx+4064]     # AVX512DQ Disp8
 651         vbroadcastf32x8 zmm6, YMMWORD PTR [edx+4096]     # AVX512DQ
 652         vbroadcastf32x8 zmm6, YMMWORD PTR [edx-4096]     # AVX512DQ Disp8
 653         vbroadcastf32x8 zmm6, YMMWORD PTR [edx-4128]     # AVX512DQ
 654         vbroadcastf64x2 zmm6, XMMWORD PTR [ecx]  # AVX512DQ
 655         vbroadcastf64x2 zmm6{k7}, XMMWORD PTR [ecx]      # AVX512DQ
 656         vbroadcastf64x2 zmm6{k7}{z}, XMMWORD PTR [ecx]   # AVX512DQ
 657         vbroadcastf64x2 zmm6, XMMWORD PTR [esp+esi*8-123456]     # AVX512DQ
 658         vbroadcastf64x2 zmm6, XMMWORD PTR [edx+2032]     # AVX512DQ Disp8
 659         vbroadcastf64x2 zmm6, XMMWORD PTR [edx+2048]     # AVX512DQ
 660         vbroadcastf64x2 zmm6, XMMWORD PTR [edx-2048]     # AVX512DQ Disp8
 661         vbroadcastf64x2 zmm6, XMMWORD PTR [edx-2064]     # AVX512DQ
 662         vbroadcasti32x8 zmm6, YMMWORD PTR [ecx]  # AVX512DQ
 663         vbroadcasti32x8 zmm6{k7}, YMMWORD PTR [ecx]      # AVX512DQ
 664         vbroadcasti32x8 zmm6{k7}{z}, YMMWORD PTR [ecx]   # AVX512DQ
 665         vbroadcasti32x8 zmm6, YMMWORD PTR [esp+esi*8-123456]     # AVX512DQ
 666         vbroadcasti32x8 zmm6, YMMWORD PTR [edx+4064]     # AVX512DQ Disp8
 667         vbroadcasti32x8 zmm6, YMMWORD PTR [edx+4096]     # AVX512DQ
 668         vbroadcasti32x8 zmm6, YMMWORD PTR [edx-4096]     # AVX512DQ Disp8
 669         vbroadcasti32x8 zmm6, YMMWORD PTR [edx-4128]     # AVX512DQ
 670         vbroadcasti64x2 zmm6, XMMWORD PTR [ecx]  # AVX512DQ
 671         vbroadcasti64x2 zmm6{k7}, XMMWORD PTR [ecx]      # AVX512DQ
 672         vbroadcasti64x2 zmm6{k7}{z}, XMMWORD PTR [ecx]   # AVX512DQ
 673         vbroadcasti64x2 zmm6, XMMWORD PTR [esp+esi*8-123456]     # AVX512DQ
 674         vbroadcasti64x2 zmm6, XMMWORD PTR [edx+2032]     # AVX512DQ Disp8
 675         vbroadcasti64x2 zmm6, XMMWORD PTR [edx+2048]     # AVX512DQ
 676         vbroadcasti64x2 zmm6, XMMWORD PTR [edx-2048]     # AVX512DQ Disp8
 677         vbroadcasti64x2 zmm6, XMMWORD PTR [edx-2064]     # AVX512DQ
 678         vbroadcastf32x2 zmm6, xmm7       # AVX512DQ
 679         vbroadcastf32x2 zmm6{k7}, xmm7   # AVX512DQ
 680         vbroadcastf32x2 zmm6{k7}{z}, xmm7        # AVX512DQ
 681         vbroadcastf32x2 zmm6, QWORD PTR [ecx]    # AVX512DQ
 682         vbroadcastf32x2 zmm6, QWORD PTR [esp+esi*8-123456]       # AVX512DQ
 683         vbroadcastf32x2 zmm6, QWORD PTR [edx+1016]       # AVX512DQ Disp8
 684         vbroadcastf32x2 zmm6, QWORD PTR [edx+1024]       # AVX512DQ
 685         vbroadcastf32x2 zmm6, QWORD PTR [edx-1024]       # AVX512DQ Disp8
 686         vbroadcastf32x2 zmm6, QWORD PTR [edx-1032]       # AVX512DQ
 687         vcvtpd2qq       zmm6, zmm5       # AVX512DQ
 688         vcvtpd2qq       zmm6{k7}, zmm5   # AVX512DQ
 689         vcvtpd2qq       zmm6{k7}{z}, zmm5        # AVX512DQ
 690         vcvtpd2qq       zmm6, zmm5, {rn-sae}     # AVX512DQ
 691         vcvtpd2qq       zmm6, zmm5, {ru-sae}     # AVX512DQ
 692         vcvtpd2qq       zmm6, zmm5, {rd-sae}     # AVX512DQ
 693         vcvtpd2qq       zmm6, zmm5, {rz-sae}     # AVX512DQ
 694         vcvtpd2qq       zmm6, ZMMWORD PTR [ecx]  # AVX512DQ
 695         vcvtpd2qq       zmm6, ZMMWORD PTR [esp+esi*8-123456]     # AVX512DQ
 696         vcvtpd2qq       zmm6, [eax]{1to8}        # AVX512DQ
 697         vcvtpd2qq       zmm6, ZMMWORD PTR [edx+8128]     # AVX512DQ Disp8
 698         vcvtpd2qq       zmm6, ZMMWORD PTR [edx+8192]     # AVX512DQ
 699         vcvtpd2qq       zmm6, ZMMWORD PTR [edx-8192]     # AVX512DQ Disp8
 700         vcvtpd2qq       zmm6, ZMMWORD PTR [edx-8256]     # AVX512DQ
 701         vcvtpd2qq       zmm6, [edx+1016]{1to8}   # AVX512DQ Disp8
 702         vcvtpd2qq       zmm6, [edx+1024]{1to8}   # AVX512DQ
 703         vcvtpd2qq       zmm6, [edx-1024]{1to8}   # AVX512DQ Disp8
 704         vcvtpd2qq       zmm6, [edx-1032]{1to8}   # AVX512DQ
 705         vcvtpd2uqq      zmm6, zmm5       # AVX512DQ
 706         vcvtpd2uqq      zmm6{k7}, zmm5   # AVX512DQ
 707         vcvtpd2uqq      zmm6{k7}{z}, zmm5        # AVX512DQ
 708         vcvtpd2uqq      zmm6, zmm5, {rn-sae}     # AVX512DQ
 709         vcvtpd2uqq      zmm6, zmm5, {ru-sae}     # AVX512DQ
 710         vcvtpd2uqq      zmm6, zmm5, {rd-sae}     # AVX512DQ
 711         vcvtpd2uqq      zmm6, zmm5, {rz-sae}     # AVX512DQ
 712         vcvtpd2uqq      zmm6, ZMMWORD PTR [ecx]  # AVX512DQ
 713         vcvtpd2uqq      zmm6, ZMMWORD PTR [esp+esi*8-123456]     # AVX512DQ
 714         vcvtpd2uqq      zmm6, [eax]{1to8}        # AVX512DQ
 715         vcvtpd2uqq      zmm6, ZMMWORD PTR [edx+8128]     # AVX512DQ Disp8
 716         vcvtpd2uqq      zmm6, ZMMWORD PTR [edx+8192]     # AVX512DQ
 717         vcvtpd2uqq      zmm6, ZMMWORD PTR [edx-8192]     # AVX512DQ Disp8
 718         vcvtpd2uqq      zmm6, ZMMWORD PTR [edx-8256]     # AVX512DQ
 719         vcvtpd2uqq      zmm6, [edx+1016]{1to8}   # AVX512DQ Disp8
 720         vcvtpd2uqq      zmm6, [edx+1024]{1to8}   # AVX512DQ
 721         vcvtpd2uqq      zmm6, [edx-1024]{1to8}   # AVX512DQ Disp8
 722         vcvtpd2uqq      zmm6, [edx-1032]{1to8}   # AVX512DQ
 723         vcvtps2qq       zmm6{k7}, ymm5   # AVX512DQ
 724         vcvtps2qq       zmm6{k7}{z}, ymm5        # AVX512DQ
 725         vcvtps2qq       zmm6{k7}, ymm5, {rn-sae}         # AVX512DQ
 726         vcvtps2qq       zmm6{k7}, ymm5, {ru-sae}         # AVX512DQ
 727         vcvtps2qq       zmm6{k7}, ymm5, {rd-sae}         # AVX512DQ
 728         vcvtps2qq       zmm6{k7}, ymm5, {rz-sae}         # AVX512DQ
 729         vcvtps2qq       zmm6{k7}, YMMWORD PTR [ecx]      # AVX512DQ
 730         vcvtps2qq       zmm6{k7}, YMMWORD PTR [esp+esi*8-123456]         # AVX512DQ
 731         vcvtps2qq       zmm6{k7}, [eax]{1to8}    # AVX512DQ
 732         vcvtps2qq       zmm6{k7}, YMMWORD PTR [edx+4064]         # AVX512DQ Disp8
 733         vcvtps2qq       zmm6{k7}, YMMWORD PTR [edx+4096]         # AVX512DQ
 734         vcvtps2qq       zmm6{k7}, YMMWORD PTR [edx-4096]         # AVX512DQ Disp8
 735         vcvtps2qq       zmm6{k7}, YMMWORD PTR [edx-4128]         # AVX512DQ
 736         vcvtps2qq       zmm6{k7}, [edx+508]{1to8}        # AVX512DQ Disp8
 737         vcvtps2qq       zmm6{k7}, [edx+512]{1to8}        # AVX512DQ
 738         vcvtps2qq       zmm6{k7}, [edx-512]{1to8}        # AVX512DQ Disp8
 739         vcvtps2qq       zmm6{k7}, [edx-516]{1to8}        # AVX512DQ
 740         vcvtps2qq       zmm6{k7}, DWORD PTR [edx+508]{1to8}      # AVX512DQ Disp8
 741         vcvtps2uqq      zmm6{k7}, ymm5   # AVX512DQ
 742         vcvtps2uqq      zmm6{k7}{z}, ymm5        # AVX512DQ
 743         vcvtps2uqq      zmm6{k7}, ymm5, {rn-sae}         # AVX512DQ
 744         vcvtps2uqq      zmm6{k7}, ymm5, {ru-sae}         # AVX512DQ
 745         vcvtps2uqq      zmm6{k7}, ymm5, {rd-sae}         # AVX512DQ
 746         vcvtps2uqq      zmm6{k7}, ymm5, {rz-sae}         # AVX512DQ
 747         vcvtps2uqq      zmm6{k7}, YMMWORD PTR [ecx]      # AVX512DQ
 748         vcvtps2uqq      zmm6{k7}, YMMWORD PTR [esp+esi*8-123456]         # AVX512DQ
 749         vcvtps2uqq      zmm6{k7}, [eax]{1to8}    # AVX512DQ
 750         vcvtps2uqq      zmm6{k7}, YMMWORD PTR [edx+4064]         # AVX512DQ Disp8
 751         vcvtps2uqq      zmm6{k7}, YMMWORD PTR [edx+4096]         # AVX512DQ
 752         vcvtps2uqq      zmm6{k7}, YMMWORD PTR [edx-4096]         # AVX512DQ Disp8
 753         vcvtps2uqq      zmm6{k7}, YMMWORD PTR [edx-4128]         # AVX512DQ
 754         vcvtps2uqq      zmm6{k7}, [edx+508]{1to8}        # AVX512DQ Disp8
 755         vcvtps2uqq      zmm6{k7}, [edx+512]{1to8}        # AVX512DQ
 756         vcvtps2uqq      zmm6{k7}, [edx-512]{1to8}        # AVX512DQ Disp8
 757         vcvtps2uqq      zmm6{k7}, [edx-516]{1to8}        # AVX512DQ
 758         vcvtps2uqq      zmm6{k7}, DWORD PTR [edx+508]{1to8}      # AVX512DQ Disp8
 759         vcvtqq2pd       zmm6, zmm5       # AVX512DQ
 760         vcvtqq2pd       zmm6{k7}, zmm5   # AVX512DQ
 761         vcvtqq2pd       zmm6{k7}{z}, zmm5        # AVX512DQ
 762         vcvtqq2pd       zmm6, zmm5, {rn-sae}     # AVX512DQ
 763         vcvtqq2pd       zmm6, zmm5, {ru-sae}     # AVX512DQ
 764         vcvtqq2pd       zmm6, zmm5, {rd-sae}     # AVX512DQ
 765         vcvtqq2pd       zmm6, zmm5, {rz-sae}     # AVX512DQ
 766         vcvtqq2pd       zmm6, ZMMWORD PTR [ecx]  # AVX512DQ
 767         vcvtqq2pd       zmm6, ZMMWORD PTR [esp+esi*8-123456]     # AVX512DQ
 768         vcvtqq2pd       zmm6, [eax]{1to8}        # AVX512DQ
 769         vcvtqq2pd       zmm6, ZMMWORD PTR [edx+8128]     # AVX512DQ Disp8
 770         vcvtqq2pd       zmm6, ZMMWORD PTR [edx+8192]     # AVX512DQ
 771         vcvtqq2pd       zmm6, ZMMWORD PTR [edx-8192]     # AVX512DQ Disp8
 772         vcvtqq2pd       zmm6, ZMMWORD PTR [edx-8256]     # AVX512DQ
 773         vcvtqq2pd       zmm6, [edx+1016]{1to8}   # AVX512DQ Disp8
 774         vcvtqq2pd       zmm6, [edx+1024]{1to8}   # AVX512DQ
 775         vcvtqq2pd       zmm6, [edx-1024]{1to8}   # AVX512DQ Disp8
 776         vcvtqq2pd       zmm6, [edx-1032]{1to8}   # AVX512DQ
 777         vcvtqq2ps       ymm6{k7}, zmm5   # AVX512DQ
 778         vcvtqq2ps       ymm6{k7}{z}, zmm5        # AVX512DQ
 779         vcvtqq2ps       ymm6{k7}, zmm5, {rn-sae}         # AVX512DQ
 780         vcvtqq2ps       ymm6{k7}, zmm5, {ru-sae}         # AVX512DQ
 781         vcvtqq2ps       ymm6{k7}, zmm5, {rd-sae}         # AVX512DQ
 782         vcvtqq2ps       ymm6{k7}, zmm5, {rz-sae}         # AVX512DQ
 783         vcvtqq2ps       ymm6{k7}, ZMMWORD PTR [ecx]      # AVX512DQ
 784         vcvtqq2ps       ymm6{k7}, ZMMWORD PTR [esp+esi*8-123456]         # AVX512DQ
 785         vcvtqq2ps       ymm6{k7}, [eax]{1to8}    # AVX512DQ
 786         vcvtqq2ps       ymm6{k7}, ZMMWORD PTR [edx+8128]         # AVX512DQ Disp8
 787         vcvtqq2ps       ymm6{k7}, ZMMWORD PTR [edx+8192]         # AVX512DQ
 788         vcvtqq2ps       ymm6{k7}, ZMMWORD PTR [edx-8192]         # AVX512DQ Disp8
 789         vcvtqq2ps       ymm6{k7}, ZMMWORD PTR [edx-8256]         # AVX512DQ
 790         vcvtqq2ps       ymm6{k7}, [edx+1016]{1to8}       # AVX512DQ Disp8
 791         vcvtqq2ps       ymm6{k7}, [edx+1024]{1to8}       # AVX512DQ
 792         vcvtqq2ps       ymm6{k7}, [edx-1024]{1to8}       # AVX512DQ Disp8
 793         vcvtqq2ps       ymm6{k7}, [edx-1032]{1to8}       # AVX512DQ
 794         vcvtuqq2pd      zmm6, zmm5       # AVX512DQ
 795         vcvtuqq2pd      zmm6{k7}, zmm5   # AVX512DQ
 796         vcvtuqq2pd      zmm6{k7}{z}, zmm5        # AVX512DQ
 797         vcvtuqq2pd      zmm6, zmm5, {rn-sae}     # AVX512DQ
 798         vcvtuqq2pd      zmm6, zmm5, {ru-sae}     # AVX512DQ
 799         vcvtuqq2pd      zmm6, zmm5, {rd-sae}     # AVX512DQ
 800         vcvtuqq2pd      zmm6, zmm5, {rz-sae}     # AVX512DQ
 801         vcvtuqq2pd      zmm6, ZMMWORD PTR [ecx]  # AVX512DQ
 802         vcvtuqq2pd      zmm6, ZMMWORD PTR [esp+esi*8-123456]     # AVX512DQ
 803         vcvtuqq2pd      zmm6, [eax]{1to8}        # AVX512DQ
 804         vcvtuqq2pd      zmm6, ZMMWORD PTR [edx+8128]     # AVX512DQ Disp8
 805         vcvtuqq2pd      zmm6, ZMMWORD PTR [edx+8192]     # AVX512DQ
 806         vcvtuqq2pd      zmm6, ZMMWORD PTR [edx-8192]     # AVX512DQ Disp8
 807         vcvtuqq2pd      zmm6, ZMMWORD PTR [edx-8256]     # AVX512DQ
 808         vcvtuqq2pd      zmm6, [edx+1016]{1to8}   # AVX512DQ Disp8
 809         vcvtuqq2pd      zmm6, [edx+1024]{1to8}   # AVX512DQ
 810         vcvtuqq2pd      zmm6, [edx-1024]{1to8}   # AVX512DQ Disp8
 811         vcvtuqq2pd      zmm6, [edx-1032]{1to8}   # AVX512DQ
 812         vcvtuqq2ps      ymm6{k7}, zmm5   # AVX512DQ
 813         vcvtuqq2ps      ymm6{k7}{z}, zmm5        # AVX512DQ
 814         vcvtuqq2ps      ymm6{k7}, zmm5, {rn-sae}         # AVX512DQ
 815         vcvtuqq2ps      ymm6{k7}, zmm5, {ru-sae}         # AVX512DQ
 816         vcvtuqq2ps      ymm6{k7}, zmm5, {rd-sae}         # AVX512DQ
 817         vcvtuqq2ps      ymm6{k7}, zmm5, {rz-sae}         # AVX512DQ
 818         vcvtuqq2ps      ymm6{k7}, ZMMWORD PTR [ecx]      # AVX512DQ
 819         vcvtuqq2ps      ymm6{k7}, ZMMWORD PTR [esp+esi*8-123456]         # AVX512DQ
 820         vcvtuqq2ps      ymm6{k7}, [eax]{1to8}    # AVX512DQ
 821         vcvtuqq2ps      ymm6{k7}, ZMMWORD PTR [edx+8128]         # AVX512DQ Disp8
 822         vcvtuqq2ps      ymm6{k7}, ZMMWORD PTR [edx+8192]         # AVX512DQ
 823         vcvtuqq2ps      ymm6{k7}, ZMMWORD PTR [edx-8192]         # AVX512DQ Disp8
 824         vcvtuqq2ps      ymm6{k7}, ZMMWORD PTR [edx-8256]         # AVX512DQ
 825         vcvtuqq2ps      ymm6{k7}, [edx+1016]{1to8}       # AVX512DQ Disp8
 826         vcvtuqq2ps      ymm6{k7}, [edx+1024]{1to8}       # AVX512DQ
 827         vcvtuqq2ps      ymm6{k7}, [edx-1024]{1to8}       # AVX512DQ Disp8
 828         vcvtuqq2ps      ymm6{k7}, [edx-1032]{1to8}       # AVX512DQ
 829         vextractf64x2   xmm6{k7}, zmm5, 0xab     # AVX512DQ
 830         vextractf64x2   xmm6{k7}{z}, zmm5, 0xab  # AVX512DQ
 831         vextractf64x2   xmm6{k7}, zmm5, 123      # AVX512DQ
 832         vextractf32x8   ymm6{k7}, zmm5, 0xab     # AVX512DQ
 833         vextractf32x8   ymm6{k7}{z}, zmm5, 0xab  # AVX512DQ
 834         vextractf32x8   ymm6{k7}, zmm5, 123      # AVX512DQ
 835         vextracti64x2   xmm6{k7}, zmm5, 0xab     # AVX512DQ
 836         vextracti64x2   xmm6{k7}{z}, zmm5, 0xab  # AVX512DQ
 837         vextracti64x2   xmm6{k7}, zmm5, 123      # AVX512DQ
 838         vextracti32x8   ymm6{k7}, zmm5, 0xab     # AVX512DQ
 839         vextracti32x8   ymm6{k7}{z}, zmm5, 0xab  # AVX512DQ
 840         vextracti32x8   ymm6{k7}, zmm5, 123      # AVX512DQ
 841         vfpclasspd      k5, zmm6, 0xab   # AVX512DQ
 842         vfpclasspd      k5{k7}, zmm6, 0xab       # AVX512DQ
 843         vfpclasspd      k5, zmm6, 123    # AVX512DQ
 844         vfpclasspd      k5, ZMMWORD PTR [ecx], 123       # AVX512DQ
 845         vfpclasspd      k5, ZMMWORD PTR [esp+esi*8-123456], 123  # AVX512DQ
 846         vfpclasspd      k5, [eax]{1to8}, 123     # AVX512DQ
 847         vfpclasspd      k5, ZMMWORD PTR [edx+8128], 123  # AVX512DQ Disp8
 848         vfpclasspd      k5, ZMMWORD PTR [edx+8192], 123  # AVX512DQ
 849         vfpclasspd      k5, ZMMWORD PTR [edx-8192], 123  # AVX512DQ Disp8
 850         vfpclasspd      k5, ZMMWORD PTR [edx-8256], 123  # AVX512DQ
 851         vfpclasspd      k5, QWORD PTR [edx+1016]{1to8}, 123      # AVX512DQ Disp8
 852         vfpclasspd      k5, QWORD PTR [edx+1024]{1to8}, 123      # AVX512DQ
 853         vfpclasspd      k5, QWORD PTR [edx-1024]{1to8}, 123      # AVX512DQ Disp8
 854         vfpclasspd      k5, QWORD PTR [edx-1032]{1to8}, 123      # AVX512DQ
 855         vfpclassps      k5, zmm6, 0xab   # AVX512DQ
 856         vfpclassps      k5{k7}, zmm6, 0xab       # AVX512DQ
 857         vfpclassps      k5, zmm6, 123    # AVX512DQ
 858         vfpclassps      k5, ZMMWORD PTR [ecx], 123       # AVX512DQ
 859         vfpclassps      k5, ZMMWORD PTR [esp+esi*8-123456], 123  # AVX512DQ
 860         vfpclassps      k5, [eax]{1to16}, 123    # AVX512DQ
 861         vfpclassps      k5, ZMMWORD PTR [edx+8128], 123  # AVX512DQ Disp8
 862         vfpclassps      k5, ZMMWORD PTR [edx+8192], 123  # AVX512DQ
 863         vfpclassps      k5, ZMMWORD PTR [edx-8192], 123  # AVX512DQ Disp8
 864         vfpclassps      k5, ZMMWORD PTR [edx-8256], 123  # AVX512DQ
 865         vfpclassps      k5, DWORD PTR [edx+508]{1to16}, 123      # AVX512DQ Disp8
 866         vfpclassps      k5, DWORD PTR [edx+512]{1to16}, 123      # AVX512DQ
 867         vfpclassps      k5, DWORD PTR [edx-512]{1to16}, 123      # AVX512DQ Disp8
 868         vfpclassps      k5, DWORD PTR [edx-516]{1to16}, 123      # AVX512DQ
 869         vfpclasssd      k5{k7}, xmm6, 0xab       # AVX512DQ
 870         vfpclasssd      k5{k7}, xmm6, 123        # AVX512DQ
 871         vfpclasssd      k5{k7}, QWORD PTR [ecx], 123     # AVX512DQ
 872         vfpclasssd      k5{k7}, QWORD PTR [esp+esi*8-123456], 123        # AVX512DQ
 873         vfpclasssd      k5{k7}, QWORD PTR [edx+1016], 123        # AVX512DQ Disp8
 874         vfpclasssd      k5{k7}, QWORD PTR [edx+1024], 123        # AVX512DQ
 875         vfpclasssd      k5{k7}, QWORD PTR [edx-1024], 123        # AVX512DQ Disp8
 876         vfpclasssd      k5{k7}, QWORD PTR [edx-1032], 123        # AVX512DQ
 877         vfpclassss      k5{k7}, xmm6, 0xab       # AVX512DQ
 878         vfpclassss      k5{k7}, xmm6, 123        # AVX512DQ
 879         vfpclassss      k5{k7}, DWORD PTR [ecx], 123     # AVX512DQ
 880         vfpclassss      k5{k7}, DWORD PTR [esp+esi*8-123456], 123        # AVX512DQ
 881         vfpclassss      k5{k7}, DWORD PTR [edx+508], 123         # AVX512DQ Disp8
 882         vfpclassss      k5{k7}, DWORD PTR [edx+512], 123         # AVX512DQ
 883         vfpclassss      k5{k7}, DWORD PTR [edx-512], 123         # AVX512DQ Disp8
 884         vfpclassss      k5{k7}, DWORD PTR [edx-516], 123         # AVX512DQ
 885         vinsertf64x2    zmm6{k7}, zmm5, xmm4, 0xab       # AVX512DQ
 886         vinsertf64x2    zmm6{k7}{z}, zmm5, xmm4, 0xab    # AVX512DQ
 887         vinsertf64x2    zmm6{k7}, zmm5, xmm4, 123        # AVX512DQ
 888         vinsertf64x2    zmm6{k7}, zmm5, XMMWORD PTR [ecx], 123   # AVX512DQ
 889         vinsertf64x2    zmm6{k7}, zmm5, XMMWORD PTR [esp+esi*8-123456], 123      # AVX512DQ
 890         vinsertf64x2    zmm6{k7}, zmm5, XMMWORD PTR [edx+2032], 123      # AVX512DQ Disp8
 891         vinsertf64x2    zmm6{k7}, zmm5, XMMWORD PTR [edx+2048], 123      # AVX512DQ
 892         vinsertf64x2    zmm6{k7}, zmm5, XMMWORD PTR [edx-2048], 123      # AVX512DQ Disp8
 893         vinsertf64x2    zmm6{k7}, zmm5, XMMWORD PTR [edx-2064], 123      # AVX512DQ
 894         vinsertf32x8    zmm6{k7}, zmm5, ymm4, 0xab       # AVX512DQ
 895         vinsertf32x8    zmm6{k7}{z}, zmm5, ymm4, 0xab    # AVX512DQ
 896         vinsertf32x8    zmm6{k7}, zmm5, ymm4, 123        # AVX512DQ
 897         vinsertf32x8    zmm6{k7}, zmm5, YMMWORD PTR [ecx], 123   # AVX512DQ
 898         vinsertf32x8    zmm6{k7}, zmm5, YMMWORD PTR [esp+esi*8-123456], 123      # AVX512DQ
 899         vinsertf32x8    zmm6{k7}, zmm5, YMMWORD PTR [edx+4064], 123      # AVX512DQ Disp8
 900         vinsertf32x8    zmm6{k7}, zmm5, YMMWORD PTR [edx+4096], 123      # AVX512DQ
 901         vinsertf32x8    zmm6{k7}, zmm5, YMMWORD PTR [edx-4096], 123      # AVX512DQ Disp8
 902         vinsertf32x8    zmm6{k7}, zmm5, YMMWORD PTR [edx-4128], 123      # AVX512DQ
 903         vinserti64x2    zmm6{k7}, zmm5, xmm4, 0xab       # AVX512DQ
 904         vinserti64x2    zmm6{k7}{z}, zmm5, xmm4, 0xab    # AVX512DQ
 905         vinserti64x2    zmm6{k7}, zmm5, xmm4, 123        # AVX512DQ
 906         vinserti64x2    zmm6{k7}, zmm5, XMMWORD PTR [ecx], 123   # AVX512DQ
 907         vinserti64x2    zmm6{k7}, zmm5, XMMWORD PTR [esp+esi*8-123456], 123      # AVX512DQ
 908         vinserti64x2    zmm6{k7}, zmm5, XMMWORD PTR [edx+2032], 123      # AVX512DQ Disp8
 909         vinserti64x2    zmm6{k7}, zmm5, XMMWORD PTR [edx+2048], 123      # AVX512DQ
 910         vinserti64x2    zmm6{k7}, zmm5, XMMWORD PTR [edx-2048], 123      # AVX512DQ Disp8
 911         vinserti64x2    zmm6{k7}, zmm5, XMMWORD PTR [edx-2064], 123      # AVX512DQ
 912         vinserti32x8    zmm6{k7}, zmm5, ymm4, 0xab       # AVX512DQ
 913         vinserti32x8    zmm6{k7}{z}, zmm5, ymm4, 0xab    # AVX512DQ
 914         vinserti32x8    zmm6{k7}, zmm5, ymm4, 123        # AVX512DQ
 915         vinserti32x8    zmm6{k7}, zmm5, YMMWORD PTR [ecx], 123   # AVX512DQ
 916         vinserti32x8    zmm6{k7}, zmm5, YMMWORD PTR [esp+esi*8-123456], 123      # AVX512DQ
 917         vinserti32x8    zmm6{k7}, zmm5, YMMWORD PTR [edx+4064], 123      # AVX512DQ Disp8
 918         vinserti32x8    zmm6{k7}, zmm5, YMMWORD PTR [edx+4096], 123      # AVX512DQ
 919         vinserti32x8    zmm6{k7}, zmm5, YMMWORD PTR [edx-4096], 123      # AVX512DQ Disp8
 920         vinserti32x8    zmm6{k7}, zmm5, YMMWORD PTR [edx-4128], 123      # AVX512DQ
 921         vbroadcasti32x2 zmm6, xmm7       # AVX512DQ
 922         vbroadcasti32x2 zmm6{k7}, xmm7   # AVX512DQ
 923         vbroadcasti32x2 zmm6{k7}{z}, xmm7        # AVX512DQ
 924         vbroadcasti32x2 zmm6, QWORD PTR [ecx]    # AVX512DQ
 925         vbroadcasti32x2 zmm6, QWORD PTR [esp+esi*8-123456]       # AVX512DQ
 926         vbroadcasti32x2 zmm6, QWORD PTR [edx+1016]       # AVX512DQ Disp8
 927         vbroadcasti32x2 zmm6, QWORD PTR [edx+1024]       # AVX512DQ
 928         vbroadcasti32x2 zmm6, QWORD PTR [edx-1024]       # AVX512DQ Disp8
 929         vbroadcasti32x2 zmm6, QWORD PTR [edx-1032]       # AVX512DQ
 930         vpmullq zmm6, zmm5, zmm4         # AVX512DQ
 931         vpmullq zmm6{k7}, zmm5, zmm4     # AVX512DQ
 932         vpmullq zmm6{k7}{z}, zmm5, zmm4  # AVX512DQ
 933         vpmullq zmm6, zmm5, ZMMWORD PTR [ecx]    # AVX512DQ
 934         vpmullq zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]       # AVX512DQ
 935         vpmullq zmm6, zmm5, [eax]{1to8}  # AVX512DQ
 936         vpmullq zmm6, zmm5, ZMMWORD PTR [edx+8128]       # AVX512DQ Disp8
 937         vpmullq zmm6, zmm5, ZMMWORD PTR [edx+8192]       # AVX512DQ
 938         vpmullq zmm6, zmm5, ZMMWORD PTR [edx-8192]       # AVX512DQ Disp8
 939         vpmullq zmm6, zmm5, ZMMWORD PTR [edx-8256]       # AVX512DQ
 940         vpmullq zmm6, zmm5, [edx+1016]{1to8}     # AVX512DQ Disp8
 941         vpmullq zmm6, zmm5, [edx+1024]{1to8}     # AVX512DQ
 942         vpmullq zmm6, zmm5, [edx-1024]{1to8}     # AVX512DQ Disp8
 943         vpmullq zmm6, zmm5, [edx-1032]{1to8}     # AVX512DQ
 944         vrangepd        zmm6, zmm5, zmm4, 0xab   # AVX512DQ
 945         vrangepd        zmm6{k7}, zmm5, zmm4, 0xab       # AVX512DQ
 946         vrangepd        zmm6{k7}{z}, zmm5, zmm4, 0xab    # AVX512DQ
 947         vrangepd        zmm6, zmm5, zmm4, {sae}, 0xab    # AVX512DQ
 948         vrangepd        zmm6, zmm5, zmm4, 123    # AVX512DQ
 949         vrangepd        zmm6, zmm5, zmm4, {sae}, 123     # AVX512DQ
 950         vrangepd        zmm6, zmm5, ZMMWORD PTR [ecx], 123       # AVX512DQ
 951         vrangepd        zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456], 123  # AVX512DQ
 952         vrangepd        zmm6, zmm5, [eax]{1to8}, 123     # AVX512DQ
 953         vrangepd        zmm6, zmm5, ZMMWORD PTR [edx+8128], 123  # AVX512DQ Disp8
 954         vrangepd        zmm6, zmm5, ZMMWORD PTR [edx+8192], 123  # AVX512DQ
 955         vrangepd        zmm6, zmm5, ZMMWORD PTR [edx-8192], 123  # AVX512DQ Disp8
 956         vrangepd        zmm6, zmm5, ZMMWORD PTR [edx-8256], 123  # AVX512DQ
 957         vrangepd        zmm6, zmm5, [edx+1016]{1to8}, 123        # AVX512DQ Disp8
 958         vrangepd        zmm6, zmm5, [edx+1024]{1to8}, 123        # AVX512DQ
 959         vrangepd        zmm6, zmm5, [edx-1024]{1to8}, 123        # AVX512DQ Disp8
 960         vrangepd        zmm6, zmm5, [edx-1032]{1to8}, 123        # AVX512DQ
 961         vrangeps        zmm6, zmm5, zmm4, 0xab   # AVX512DQ
 962         vrangeps        zmm6{k7}, zmm5, zmm4, 0xab       # AVX512DQ
 963         vrangeps        zmm6{k7}{z}, zmm5, zmm4, 0xab    # AVX512DQ
 964         vrangeps        zmm6, zmm5, zmm4, {sae}, 0xab    # AVX512DQ
 965         vrangeps        zmm6, zmm5, zmm4, 123    # AVX512DQ
 966         vrangeps        zmm6, zmm5, zmm4, {sae}, 123     # AVX512DQ
 967         vrangeps        zmm6, zmm5, ZMMWORD PTR [ecx], 123       # AVX512DQ
 968         vrangeps        zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456], 123  # AVX512DQ
 969         vrangeps        zmm6, zmm5, [eax]{1to16}, 123    # AVX512DQ
 970         vrangeps        zmm6, zmm5, ZMMWORD PTR [edx+8128], 123  # AVX512DQ Disp8
 971         vrangeps        zmm6, zmm5, ZMMWORD PTR [edx+8192], 123  # AVX512DQ
 972         vrangeps        zmm6, zmm5, ZMMWORD PTR [edx-8192], 123  # AVX512DQ Disp8
 973         vrangeps        zmm6, zmm5, ZMMWORD PTR [edx-8256], 123  # AVX512DQ
 974         vrangeps        zmm6, zmm5, [edx+508]{1to16}, 123        # AVX512DQ Disp8
 975         vrangeps        zmm6, zmm5, [edx+512]{1to16}, 123        # AVX512DQ
 976         vrangeps        zmm6, zmm5, [edx-512]{1to16}, 123        # AVX512DQ Disp8
 977         vrangeps        zmm6, zmm5, [edx-516]{1to16}, 123        # AVX512DQ
 978         vrangesd        xmm6{k7}, xmm5, xmm4, 0xab       # AVX512DQ
 979         vrangesd        xmm6{k7}{z}, xmm5, xmm4, 0xab    # AVX512DQ
 980         vrangesd        xmm6{k7}, xmm5, xmm4, {sae}, 0xab        # AVX512DQ
 981         vrangesd        xmm6{k7}, xmm5, xmm4, 123        # AVX512DQ
 982         vrangesd        xmm6{k7}, xmm5, xmm4, {sae}, 123         # AVX512DQ
 983         vrangesd        xmm6{k7}, xmm5, QWORD PTR [ecx], 123     # AVX512DQ
 984         vrangesd        xmm6{k7}, xmm5, QWORD PTR [esp+esi*8-123456], 123        # AVX512DQ
 985         vrangesd        xmm6{k7}, xmm5, QWORD PTR [edx+1016], 123        # AVX512DQ Disp8
 986         vrangesd        xmm6{k7}, xmm5, QWORD PTR [edx+1024], 123        # AVX512DQ
 987         vrangesd        xmm6{k7}, xmm5, QWORD PTR [edx-1024], 123        # AVX512DQ Disp8
 988         vrangesd        xmm6{k7}, xmm5, QWORD PTR [edx-1032], 123        # AVX512DQ
 989         vrangess        xmm6{k7}, xmm5, xmm4, 0xab       # AVX512DQ
 990         vrangess        xmm6{k7}{z}, xmm5, xmm4, 0xab    # AVX512DQ
 991         vrangess        xmm6{k7}, xmm5, xmm4, {sae}, 0xab        # AVX512DQ
 992         vrangess        xmm6{k7}, xmm5, xmm4, 123        # AVX512DQ
 993         vrangess        xmm6{k7}, xmm5, xmm4, {sae}, 123         # AVX512DQ
 994         vrangess        xmm6{k7}, xmm5, DWORD PTR [ecx], 123     # AVX512DQ
 995         vrangess        xmm6{k7}, xmm5, DWORD PTR [esp+esi*8-123456], 123        # AVX512DQ
 996         vrangess        xmm6{k7}, xmm5, DWORD PTR [edx+508], 123         # AVX512DQ Disp8
 997         vrangess        xmm6{k7}, xmm5, DWORD PTR [edx+512], 123         # AVX512DQ
 998         vrangess        xmm6{k7}, xmm5, DWORD PTR [edx-512], 123         # AVX512DQ Disp8
 999         vrangess        xmm6{k7}, xmm5, DWORD PTR [edx-516], 123         # AVX512DQ
1000         vandpd  zmm6, zmm5, zmm4         # AVX512DQ
1001         vandpd  zmm6{k7}, zmm5, zmm4     # AVX512DQ
1002         vandpd  zmm6{k7}{z}, zmm5, zmm4  # AVX512DQ
1003         vandpd  zmm6, zmm5, ZMMWORD PTR [ecx]    # AVX512DQ
1004         vandpd  zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]       # AVX512DQ
1005         vandpd  zmm6, zmm5, [eax]{1to8}  # AVX512DQ
1006         vandpd  zmm6, zmm5, ZMMWORD PTR [edx+8128]       # AVX512DQ Disp8
1007         vandpd  zmm6, zmm5, ZMMWORD PTR [edx+8192]       # AVX512DQ
1008         vandpd  zmm6, zmm5, ZMMWORD PTR [edx-8192]       # AVX512DQ Disp8
1009         vandpd  zmm6, zmm5, ZMMWORD PTR [edx-8256]       # AVX512DQ
1010         vandpd  zmm6, zmm5, [edx+1016]{1to8}     # AVX512DQ Disp8
1011         vandpd  zmm6, zmm5, [edx+1024]{1to8}     # AVX512DQ
1012         vandpd  zmm6, zmm5, [edx-1024]{1to8}     # AVX512DQ Disp8
1013         vandpd  zmm6, zmm5, [edx-1032]{1to8}     # AVX512DQ
1014         vandps  zmm6, zmm5, zmm4         # AVX512DQ
1015         vandps  zmm6{k7}, zmm5, zmm4     # AVX512DQ
1016         vandps  zmm6{k7}{z}, zmm5, zmm4  # AVX512DQ
1017         vandps  zmm6, zmm5, ZMMWORD PTR [ecx]    # AVX512DQ
1018         vandps  zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]       # AVX512DQ
1019         vandps  zmm6, zmm5, [eax]{1to16}         # AVX512DQ
1020         vandps  zmm6, zmm5, ZMMWORD PTR [edx+8128]       # AVX512DQ Disp8
1021         vandps  zmm6, zmm5, ZMMWORD PTR [edx+8192]       # AVX512DQ
1022         vandps  zmm6, zmm5, ZMMWORD PTR [edx-8192]       # AVX512DQ Disp8
1023         vandps  zmm6, zmm5, ZMMWORD PTR [edx-8256]       # AVX512DQ
1024         vandps  zmm6, zmm5, [edx+508]{1to16}     # AVX512DQ Disp8
1025         vandps  zmm6, zmm5, [edx+512]{1to16}     # AVX512DQ
1026         vandps  zmm6, zmm5, [edx-512]{1to16}     # AVX512DQ Disp8
1027         vandps  zmm6, zmm5, [edx-516]{1to16}     # AVX512DQ
1028         vandnpd zmm6, zmm5, zmm4         # AVX512DQ
1029         vandnpd zmm6{k7}, zmm5, zmm4     # AVX512DQ
1030         vandnpd zmm6{k7}{z}, zmm5, zmm4  # AVX512DQ
1031         vandnpd zmm6, zmm5, ZMMWORD PTR [ecx]    # AVX512DQ
1032         vandnpd zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]       # AVX512DQ
1033         vandnpd zmm6, zmm5, [eax]{1to8}  # AVX512DQ
1034         vandnpd zmm6, zmm5, ZMMWORD PTR [edx+8128]       # AVX512DQ Disp8
1035         vandnpd zmm6, zmm5, ZMMWORD PTR [edx+8192]       # AVX512DQ
1036         vandnpd zmm6, zmm5, ZMMWORD PTR [edx-8192]       # AVX512DQ Disp8
1037         vandnpd zmm6, zmm5, ZMMWORD PTR [edx-8256]       # AVX512DQ
1038         vandnpd zmm6, zmm5, [edx+1016]{1to8}     # AVX512DQ Disp8
1039         vandnpd zmm6, zmm5, [edx+1024]{1to8}     # AVX512DQ
1040         vandnpd zmm6, zmm5, [edx-1024]{1to8}     # AVX512DQ Disp8
1041         vandnpd zmm6, zmm5, [edx-1032]{1to8}     # AVX512DQ
1042         vandnps zmm6, zmm5, zmm4         # AVX512DQ
1043         vandnps zmm6{k7}, zmm5, zmm4     # AVX512DQ
1044         vandnps zmm6{k7}{z}, zmm5, zmm4  # AVX512DQ
1045         vandnps zmm6, zmm5, ZMMWORD PTR [ecx]    # AVX512DQ
1046         vandnps zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]       # AVX512DQ
1047         vandnps zmm6, zmm5, [eax]{1to16}         # AVX512DQ
1048         vandnps zmm6, zmm5, ZMMWORD PTR [edx+8128]       # AVX512DQ Disp8
1049         vandnps zmm6, zmm5, ZMMWORD PTR [edx+8192]       # AVX512DQ
1050         vandnps zmm6, zmm5, ZMMWORD PTR [edx-8192]       # AVX512DQ Disp8
1051         vandnps zmm6, zmm5, ZMMWORD PTR [edx-8256]       # AVX512DQ
1052         vandnps zmm6, zmm5, [edx+508]{1to16}     # AVX512DQ Disp8
1053         vandnps zmm6, zmm5, [edx+512]{1to16}     # AVX512DQ
1054         vandnps zmm6, zmm5, [edx-512]{1to16}     # AVX512DQ Disp8
1055         vandnps zmm6, zmm5, [edx-516]{1to16}     # AVX512DQ
1056         vorpd   zmm6, zmm5, zmm4         # AVX512DQ
1057         vorpd   zmm6{k7}, zmm5, zmm4     # AVX512DQ
1058         vorpd   zmm6{k7}{z}, zmm5, zmm4  # AVX512DQ
1059         vorpd   zmm6, zmm5, ZMMWORD PTR [ecx]    # AVX512DQ
1060         vorpd   zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]       # AVX512DQ
1061         vorpd   zmm6, zmm5, [eax]{1to8}  # AVX512DQ
1062         vorpd   zmm6, zmm5, ZMMWORD PTR [edx+8128]       # AVX512DQ Disp8
1063         vorpd   zmm6, zmm5, ZMMWORD PTR [edx+8192]       # AVX512DQ
1064         vorpd   zmm6, zmm5, ZMMWORD PTR [edx-8192]       # AVX512DQ Disp8
1065         vorpd   zmm6, zmm5, ZMMWORD PTR [edx-8256]       # AVX512DQ
1066         vorpd   zmm6, zmm5, [edx+1016]{1to8}     # AVX512DQ Disp8
1067         vorpd   zmm6, zmm5, [edx+1024]{1to8}     # AVX512DQ
1068         vorpd   zmm6, zmm5, [edx-1024]{1to8}     # AVX512DQ Disp8
1069         vorpd   zmm6, zmm5, [edx-1032]{1to8}     # AVX512DQ
1070         vorps   zmm6, zmm5, zmm4         # AVX512DQ
1071         vorps   zmm6{k7}, zmm5, zmm4     # AVX512DQ
1072         vorps   zmm6{k7}{z}, zmm5, zmm4  # AVX512DQ
1073         vorps   zmm6, zmm5, ZMMWORD PTR [ecx]    # AVX512DQ
1074         vorps   zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]       # AVX512DQ
1075         vorps   zmm6, zmm5, [eax]{1to16}         # AVX512DQ
1076         vorps   zmm6, zmm5, ZMMWORD PTR [edx+8128]       # AVX512DQ Disp8
1077         vorps   zmm6, zmm5, ZMMWORD PTR [edx+8192]       # AVX512DQ
1078         vorps   zmm6, zmm5, ZMMWORD PTR [edx-8192]       # AVX512DQ Disp8
1079         vorps   zmm6, zmm5, ZMMWORD PTR [edx-8256]       # AVX512DQ
1080         vorps   zmm6, zmm5, [edx+508]{1to16}     # AVX512DQ Disp8
1081         vorps   zmm6, zmm5, [edx+512]{1to16}     # AVX512DQ
1082         vorps   zmm6, zmm5, [edx-512]{1to16}     # AVX512DQ Disp8
1083         vorps   zmm6, zmm5, [edx-516]{1to16}     # AVX512DQ
1084         vxorpd  zmm6, zmm5, zmm4         # AVX512DQ
1085         vxorpd  zmm6{k7}, zmm5, zmm4     # AVX512DQ
1086         vxorpd  zmm6{k7}{z}, zmm5, zmm4  # AVX512DQ
1087         vxorpd  zmm6, zmm5, ZMMWORD PTR [ecx]    # AVX512DQ
1088         vxorpd  zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]       # AVX512DQ
1089         vxorpd  zmm6, zmm5, [eax]{1to8}  # AVX512DQ
1090         vxorpd  zmm6, zmm5, ZMMWORD PTR [edx+8128]       # AVX512DQ Disp8
1091         vxorpd  zmm6, zmm5, ZMMWORD PTR [edx+8192]       # AVX512DQ
1092         vxorpd  zmm6, zmm5, ZMMWORD PTR [edx-8192]       # AVX512DQ Disp8
1093         vxorpd  zmm6, zmm5, ZMMWORD PTR [edx-8256]       # AVX512DQ
1094         vxorpd  zmm6, zmm5, [edx+1016]{1to8}     # AVX512DQ Disp8
1095         vxorpd  zmm6, zmm5, [edx+1024]{1to8}     # AVX512DQ
1096         vxorpd  zmm6, zmm5, [edx-1024]{1to8}     # AVX512DQ Disp8
1097         vxorpd  zmm6, zmm5, [edx-1032]{1to8}     # AVX512DQ
1098         vxorps  zmm6, zmm5, zmm4         # AVX512DQ
1099         vxorps  zmm6{k7}, zmm5, zmm4     # AVX512DQ
1100         vxorps  zmm6{k7}{z}, zmm5, zmm4  # AVX512DQ
1101         vxorps  zmm6, zmm5, ZMMWORD PTR [ecx]    # AVX512DQ
1102         vxorps  zmm6, zmm5, ZMMWORD PTR [esp+esi*8-123456]       # AVX512DQ
1103         vxorps  zmm6, zmm5, [eax]{1to16}         # AVX512DQ
1104         vxorps  zmm6, zmm5, ZMMWORD PTR [edx+8128]       # AVX512DQ Disp8
1105         vxorps  zmm6, zmm5, ZMMWORD PTR [edx+8192]       # AVX512DQ
1106         vxorps  zmm6, zmm5, ZMMWORD PTR [edx-8192]       # AVX512DQ Disp8
1107         vxorps  zmm6, zmm5, ZMMWORD PTR [edx-8256]       # AVX512DQ
1108         vxorps  zmm6, zmm5, [edx+508]{1to16}     # AVX512DQ Disp8
1109         vxorps  zmm6, zmm5, [edx+512]{1to16}     # AVX512DQ
1110         vxorps  zmm6, zmm5, [edx-512]{1to16}     # AVX512DQ Disp8
1111         vxorps  zmm6, zmm5, [edx-516]{1to16}     # AVX512DQ
1112         vreducepd       zmm6, zmm5, 0xab         # AVX512DQ
1113         vreducepd       zmm6{k7}, zmm5, 0xab     # AVX512DQ
1114         vreducepd       zmm6{k7}{z}, zmm5, 0xab  # AVX512DQ
1115         vreducepd       zmm6, zmm5, {sae}, 0xab  # AVX512DQ
1116         vreducepd       zmm6, zmm5, 123  # AVX512DQ
1117         vreducepd       zmm6, zmm5, {sae}, 123   # AVX512DQ
1118         vreducepd       zmm6, ZMMWORD PTR [ecx], 123     # AVX512DQ
1119         vreducepd       zmm6, ZMMWORD PTR [esp+esi*8-123456], 123        # AVX512DQ
1120         vreducepd       zmm6, [eax]{1to8}, 123   # AVX512DQ
1121         vreducepd       zmm6, ZMMWORD PTR [edx+8128], 123        # AVX512DQ Disp8
1122         vreducepd       zmm6, ZMMWORD PTR [edx+8192], 123        # AVX512DQ
1123         vreducepd       zmm6, ZMMWORD PTR [edx-8192], 123        # AVX512DQ Disp8
1124         vreducepd       zmm6, ZMMWORD PTR [edx-8256], 123        # AVX512DQ
1125         vreducepd       zmm6, [edx+1016]{1to8}, 123      # AVX512DQ Disp8
1126         vreducepd       zmm6, [edx+1024]{1to8}, 123      # AVX512DQ
1127         vreducepd       zmm6, [edx-1024]{1to8}, 123      # AVX512DQ Disp8
1128         vreducepd       zmm6, [edx-1032]{1to8}, 123      # AVX512DQ
1129         vreduceps       zmm6, zmm5, 0xab         # AVX512DQ
1130         vreduceps       zmm6{k7}, zmm5, 0xab     # AVX512DQ
1131         vreduceps       zmm6{k7}{z}, zmm5, 0xab  # AVX512DQ
1132         vreduceps       zmm6, zmm5, {sae}, 0xab  # AVX512DQ
1133         vreduceps       zmm6, zmm5, 123  # AVX512DQ
1134         vreduceps       zmm6, zmm5, {sae}, 123   # AVX512DQ
1135         vreduceps       zmm6, ZMMWORD PTR [ecx], 123     # AVX512DQ
1136         vreduceps       zmm6, ZMMWORD PTR [esp+esi*8-123456], 123        # AVX512DQ
1137         vreduceps       zmm6, [eax]{1to16}, 123  # AVX512DQ
1138         vreduceps       zmm6, ZMMWORD PTR [edx+8128], 123        # AVX512DQ Disp8
1139         vreduceps       zmm6, ZMMWORD PTR [edx+8192], 123        # AVX512DQ
1140         vreduceps       zmm6, ZMMWORD PTR [edx-8192], 123        # AVX512DQ Disp8
1141         vreduceps       zmm6, ZMMWORD PTR [edx-8256], 123        # AVX512DQ
1142         vreduceps       zmm6, [edx+508]{1to16}, 123      # AVX512DQ Disp8
1143         vreduceps       zmm6, [edx+512]{1to16}, 123      # AVX512DQ
1144         vreduceps       zmm6, [edx-512]{1to16}, 123      # AVX512DQ Disp8
1145         vreduceps       zmm6, [edx-516]{1to16}, 123      # AVX512DQ
1146         vreducesd       xmm6{k7}, xmm5, xmm4, 0xab       # AVX512DQ
1147         vreducesd       xmm6{k7}{z}, xmm5, xmm4, 0xab    # AVX512DQ
1148         vreducesd       xmm6{k7}, xmm5, xmm4, {sae}, 0xab        # AVX512DQ
1149         vreducesd       xmm6{k7}, xmm5, xmm4, 123        # AVX512DQ
1150         vreducesd       xmm6{k7}, xmm5, xmm4, {sae}, 123         # AVX512DQ
1151         vreducesd       xmm6{k7}, xmm5, QWORD PTR [ecx], 123     # AVX512DQ
1152         vreducesd       xmm6{k7}, xmm5, QWORD PTR [esp+esi*8-123456], 123        # AVX512DQ
1153         vreducesd       xmm6{k7}, xmm5, QWORD PTR [edx+1016], 123        # AVX512DQ Disp8
1154         vreducesd       xmm6{k7}, xmm5, QWORD PTR [edx+1024], 123        # AVX512DQ
1155         vreducesd       xmm6{k7}, xmm5, QWORD PTR [edx-1024], 123        # AVX512DQ Disp8
1156         vreducesd       xmm6{k7}, xmm5, QWORD PTR [edx-1032], 123        # AVX512DQ
1157         vreducess       xmm6{k7}, xmm5, xmm4, 0xab       # AVX512DQ
1158         vreducess       xmm6{k7}{z}, xmm5, xmm4, 0xab    # AVX512DQ
1159         vreducess       xmm6{k7}, xmm5, xmm4, {sae}, 0xab        # AVX512DQ
1160         vreducess       xmm6{k7}, xmm5, xmm4, 123        # AVX512DQ
1161         vreducess       xmm6{k7}, xmm5, xmm4, {sae}, 123         # AVX512DQ
1162         vreducess       xmm6{k7}, xmm5, DWORD PTR [ecx], 123     # AVX512DQ
1163         vreducess       xmm6{k7}, xmm5, DWORD PTR [esp+esi*8-123456], 123        # AVX512DQ
1164         vreducess       xmm6{k7}, xmm5, DWORD PTR [edx+508], 123         # AVX512DQ Disp8
1165         vreducess       xmm6{k7}, xmm5, DWORD PTR [edx+512], 123         # AVX512DQ
1166         vreducess       xmm6{k7}, xmm5, DWORD PTR [edx-512], 123         # AVX512DQ Disp8
1167         vreducess       xmm6{k7}, xmm5, DWORD PTR [edx-516], 123         # AVX512DQ
1168         kandb   k5, k6, k7       # AVX512DQ
1169         kandnb  k5, k6, k7       # AVX512DQ
1170         korb    k5, k6, k7       # AVX512DQ
1171         kxnorb  k5, k6, k7       # AVX512DQ
1172         kxorb   k5, k6, k7       # AVX512DQ
1173         knotb   k5, k6   # AVX512DQ
1174         kortestb        k5, k6   # AVX512DQ
1175         ktestw  k5, k6   # AVX512DQ
1176         ktestb  k5, k6   # AVX512DQ
1177         kshiftrb        k5, k6, 0xab     # AVX512DQ
1178         kshiftrb        k5, k6, 123      # AVX512DQ
1179         kshiftlb        k5, k6, 0xab     # AVX512DQ
1180         kshiftlb        k5, k6, 123      # AVX512DQ
1181         kmovb   k5, k6   # AVX512DQ
1182         kmovb   k5, BYTE PTR [ecx]       # AVX512DQ
1183         kmovb   k5, BYTE PTR [esp+esi*8-123456]  # AVX512DQ
1184         kmovb   BYTE PTR [ecx], k5       # AVX512DQ
1185         kmovb   BYTE PTR [esp+esi*8-123456], k5  # AVX512DQ
1186         kmovb   k5, eax  # AVX512DQ
1187         kmovb   k5, ebp  # AVX512DQ
1188         kmovb   eax, k5  # AVX512DQ
1189         kmovb   ebp, k5  # AVX512DQ
1190         kaddw   k5, k6, k7       # AVX512DQ
1191         kaddb   k5, k6, k7       # AVX512DQ
1192         vextractf64x2   XMMWORD PTR [ecx], zmm6, 0xab    # AVX512DQ
1193         vextractf64x2   XMMWORD PTR [ecx]{k7}, zmm6, 0xab        # AVX512DQ
1194         vextractf64x2   XMMWORD PTR [ecx], zmm6, 123     # AVX512DQ
1195         vextractf64x2   XMMWORD PTR [esp+esi*8-123456], zmm6, 123        # AVX512DQ
1196         vextractf64x2   XMMWORD PTR [edx+2032], zmm6, 123        # AVX512DQ Disp8
1197         vextractf64x2   XMMWORD PTR [edx+2048], zmm6, 123        # AVX512DQ
1198         vextractf64x2   XMMWORD PTR [edx-2048], zmm6, 123        # AVX512DQ Disp8
1199         vextractf64x2   XMMWORD PTR [edx-2064], zmm6, 123        # AVX512DQ
1200         vextractf32x8   YMMWORD PTR [ecx], zmm6, 0xab    # AVX512DQ
1201         vextractf32x8   YMMWORD PTR [ecx]{k7}, zmm6, 0xab        # AVX512DQ
1202         vextractf32x8   YMMWORD PTR [ecx], zmm6, 123     # AVX512DQ
1203         vextractf32x8   YMMWORD PTR [esp+esi*8-123456], zmm6, 123        # AVX512DQ
1204         vextractf32x8   YMMWORD PTR [edx+4064], zmm6, 123        # AVX512DQ Disp8
1205         vextractf32x8   YMMWORD PTR [edx+4096], zmm6, 123        # AVX512DQ
1206         vextractf32x8   YMMWORD PTR [edx-4096], zmm6, 123        # AVX512DQ Disp8
1207         vextractf32x8   YMMWORD PTR [edx-4128], zmm6, 123        # AVX512DQ
1208         vextracti64x2   XMMWORD PTR [ecx], zmm6, 0xab    # AVX512DQ
1209         vextracti64x2   XMMWORD PTR [ecx]{k7}, zmm6, 0xab        # AVX512DQ
1210         vextracti64x2   XMMWORD PTR [ecx], zmm6, 123     # AVX512DQ
1211         vextracti64x2   XMMWORD PTR [esp+esi*8-123456], zmm6, 123        # AVX512DQ
1212         vextracti64x2   XMMWORD PTR [edx+2032], zmm6, 123        # AVX512DQ Disp8
1213         vextracti64x2   XMMWORD PTR [edx+2048], zmm6, 123        # AVX512DQ
1214         vextracti64x2   XMMWORD PTR [edx-2048], zmm6, 123        # AVX512DQ Disp8
1215         vextracti64x2   XMMWORD PTR [edx-2064], zmm6, 123        # AVX512DQ
1216         vextracti32x8   YMMWORD PTR [ecx], zmm6, 0xab    # AVX512DQ
1217         vextracti32x8   YMMWORD PTR [ecx]{k7}, zmm6, 0xab        # AVX512DQ
1218         vextracti32x8   YMMWORD PTR [ecx], zmm6, 123     # AVX512DQ
1219         vextracti32x8   YMMWORD PTR [esp+esi*8-123456], zmm6, 123        # AVX512DQ
1220         vextracti32x8   YMMWORD PTR [edx+4064], zmm6, 123        # AVX512DQ Disp8
1221         vextracti32x8   YMMWORD PTR [edx+4096], zmm6, 123        # AVX512DQ
1222         vextracti32x8   YMMWORD PTR [edx-4096], zmm6, 123        # AVX512DQ Disp8
1223         vextracti32x8   YMMWORD PTR [edx-4128], zmm6, 123        # AVX512DQ
1224         vcvttpd2qq      zmm6, zmm5       # AVX512DQ
1225         vcvttpd2qq      zmm6{k7}, zmm5   # AVX512DQ
1226         vcvttpd2qq      zmm6{k7}{z}, zmm5        # AVX512DQ
1227         vcvttpd2qq      zmm6, zmm5, {sae}        # AVX512DQ
1228         vcvttpd2qq      zmm6, ZMMWORD PTR [ecx]  # AVX512DQ
1229         vcvttpd2qq      zmm6, ZMMWORD PTR [esp+esi*8-123456]     # AVX512DQ
1230         vcvttpd2qq      zmm6, [eax]{1to8}        # AVX512DQ
1231         vcvttpd2qq      zmm6, ZMMWORD PTR [edx+8128]     # AVX512DQ Disp8
1232         vcvttpd2qq      zmm6, ZMMWORD PTR [edx+8192]     # AVX512DQ
1233         vcvttpd2qq      zmm6, ZMMWORD PTR [edx-8192]     # AVX512DQ Disp8
1234         vcvttpd2qq      zmm6, ZMMWORD PTR [edx-8256]     # AVX512DQ
1235         vcvttpd2qq      zmm6, [edx+1016]{1to8}   # AVX512DQ Disp8
1236         vcvttpd2qq      zmm6, [edx+1024]{1to8}   # AVX512DQ
1237         vcvttpd2qq      zmm6, [edx-1024]{1to8}   # AVX512DQ Disp8
1238         vcvttpd2qq      zmm6, [edx-1032]{1to8}   # AVX512DQ
1239         vcvttpd2uqq     zmm6, zmm5       # AVX512DQ
1240         vcvttpd2uqq     zmm6{k7}, zmm5   # AVX512DQ
1241         vcvttpd2uqq     zmm6{k7}{z}, zmm5        # AVX512DQ
1242         vcvttpd2uqq     zmm6, zmm5, {sae}        # AVX512DQ
1243         vcvttpd2uqq     zmm6, ZMMWORD PTR [ecx]  # AVX512DQ
1244         vcvttpd2uqq     zmm6, ZMMWORD PTR [esp+esi*8-123456]     # AVX512DQ
1245         vcvttpd2uqq     zmm6, [eax]{1to8}        # AVX512DQ
1246         vcvttpd2uqq     zmm6, ZMMWORD PTR [edx+8128]     # AVX512DQ Disp8
1247         vcvttpd2uqq     zmm6, ZMMWORD PTR [edx+8192]     # AVX512DQ
1248         vcvttpd2uqq     zmm6, ZMMWORD PTR [edx-8192]     # AVX512DQ Disp8
1249         vcvttpd2uqq     zmm6, ZMMWORD PTR [edx-8256]     # AVX512DQ
1250         vcvttpd2uqq     zmm6, [edx+1016]{1to8}   # AVX512DQ Disp8
1251         vcvttpd2uqq     zmm6, [edx+1024]{1to8}   # AVX512DQ
1252         vcvttpd2uqq     zmm6, [edx-1024]{1to8}   # AVX512DQ Disp8
1253         vcvttpd2uqq     zmm6, [edx-1032]{1to8}   # AVX512DQ
1254         vcvttps2qq      zmm6{k7}, ymm5   # AVX512DQ
1255         vcvttps2qq      zmm6{k7}{z}, ymm5        # AVX512DQ
1256         vcvttps2qq      zmm6{k7}, ymm5, {sae}    # AVX512DQ
1257         vcvttps2qq      zmm6{k7}, YMMWORD PTR [ecx]      # AVX512DQ
1258         vcvttps2qq      zmm6{k7}, YMMWORD PTR [esp+esi*8-123456]         # AVX512DQ
1259         vcvttps2qq      zmm6{k7}, [eax]{1to8}    # AVX512DQ
1260         vcvttps2qq      zmm6{k7}, YMMWORD PTR [edx+4064]         # AVX512DQ Disp8
1261         vcvttps2qq      zmm6{k7}, YMMWORD PTR [edx+4096]         # AVX512DQ
1262         vcvttps2qq      zmm6{k7}, YMMWORD PTR [edx-4096]         # AVX512DQ Disp8
1263         vcvttps2qq      zmm6{k7}, YMMWORD PTR [edx-4128]         # AVX512DQ
1264         vcvttps2qq      zmm6{k7}, [edx+508]{1to8}        # AVX512DQ Disp8
1265         vcvttps2qq      zmm6{k7}, [edx+512]{1to8}        # AVX512DQ
1266         vcvttps2qq      zmm6{k7}, [edx-512]{1to8}        # AVX512DQ Disp8
1267         vcvttps2qq      zmm6{k7}, [edx-516]{1to8}        # AVX512DQ
1268         vcvttps2qq      zmm6{k7}, DWORD PTR [edx+508]{1to8}      # AVX512DQ Disp8
1269         vcvttps2uqq     zmm6{k7}, ymm5   # AVX512DQ
1270         vcvttps2uqq     zmm6{k7}{z}, ymm5        # AVX512DQ
1271         vcvttps2uqq     zmm6{k7}, ymm5, {sae}    # AVX512DQ
1272         vcvttps2uqq     zmm6{k7}, YMMWORD PTR [ecx]      # AVX512DQ
1273         vcvttps2uqq     zmm6{k7}, YMMWORD PTR [esp+esi*8-123456]         # AVX512DQ
1274         vcvttps2uqq     zmm6{k7}, [eax]{1to8}    # AVX512DQ
1275         vcvttps2uqq     zmm6{k7}, YMMWORD PTR [edx+4064]         # AVX512DQ Disp8
1276         vcvttps2uqq     zmm6{k7}, YMMWORD PTR [edx+4096]         # AVX512DQ
1277         vcvttps2uqq     zmm6{k7}, YMMWORD PTR [edx-4096]         # AVX512DQ Disp8
1278         vcvttps2uqq     zmm6{k7}, YMMWORD PTR [edx-4128]         # AVX512DQ
1279         vcvttps2uqq     zmm6{k7}, [edx+508]{1to8}        # AVX512DQ Disp8
1280         vcvttps2uqq     zmm6{k7}, [edx+512]{1to8}        # AVX512DQ
1281         vcvttps2uqq     zmm6{k7}, [edx-512]{1to8}        # AVX512DQ Disp8
1282         vcvttps2uqq     zmm6{k7}, [edx-516]{1to8}        # AVX512DQ
1283         vcvttps2uqq     zmm6{k7}, DWORD PTR [edx+508]{1to8}      # AVX512DQ Disp8
1284         vpmovd2m        k5, zmm6         # AVX512DQ
1285         vpmovq2m        k5, zmm6         # AVX512DQ
1286         vpmovm2d        zmm6, k5         # AVX512DQ
1287         vpmovm2q        zmm6, k5         # AVX512DQ