gas/testsuite/gas/i386/avx512bw_vl-wig.s

   1 # Check 32bit AVX512{BW,VL} WIG instructions
   2
   3         .allow_index_reg
   4         .text
   5 _start:
   6         vpabsb  %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
   7         vpabsb  %xmm5, %xmm6{%k7}{z}     # AVX512{BW,VL}
   8         vpabsb  (%ecx), %xmm6{%k7}       # AVX512{BW,VL}
   9         vpabsb  -123456(%esp,%esi,8), %xmm6{%k7}         # AVX512{BW,VL}
  10         vpabsb  2032(%edx), %xmm6{%k7}   # AVX512{BW,VL} Disp8
  11         vpabsb  2048(%edx), %xmm6{%k7}   # AVX512{BW,VL}
  12         vpabsb  -2048(%edx), %xmm6{%k7}  # AVX512{BW,VL} Disp8
  13         vpabsb  -2064(%edx), %xmm6{%k7}  # AVX512{BW,VL}
  14         vpabsb  %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
  15         vpabsb  %ymm5, %ymm6{%k7}{z}     # AVX512{BW,VL}
  16         vpabsb  (%ecx), %ymm6{%k7}       # AVX512{BW,VL}
  17         vpabsb  -123456(%esp,%esi,8), %ymm6{%k7}         # AVX512{BW,VL}
  18         vpabsb  4064(%edx), %ymm6{%k7}   # AVX512{BW,VL} Disp8
  19         vpabsb  4096(%edx), %ymm6{%k7}   # AVX512{BW,VL}
  20         vpabsb  -4096(%edx), %ymm6{%k7}  # AVX512{BW,VL} Disp8
  21         vpabsb  -4128(%edx), %ymm6{%k7}  # AVX512{BW,VL}
  22         vpabsw  %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
  23         vpabsw  %xmm5, %xmm6{%k7}{z}     # AVX512{BW,VL}
  24         vpabsw  (%ecx), %xmm6{%k7}       # AVX512{BW,VL}
  25         vpabsw  -123456(%esp,%esi,8), %xmm6{%k7}         # AVX512{BW,VL}
  26         vpabsw  2032(%edx), %xmm6{%k7}   # AVX512{BW,VL} Disp8
  27         vpabsw  2048(%edx), %xmm6{%k7}   # AVX512{BW,VL}
  28         vpabsw  -2048(%edx), %xmm6{%k7}  # AVX512{BW,VL} Disp8
  29         vpabsw  -2064(%edx), %xmm6{%k7}  # AVX512{BW,VL}
  30         vpabsw  %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
  31         vpabsw  %ymm5, %ymm6{%k7}{z}     # AVX512{BW,VL}
  32         vpabsw  (%ecx), %ymm6{%k7}       # AVX512{BW,VL}
  33         vpabsw  -123456(%esp,%esi,8), %ymm6{%k7}         # AVX512{BW,VL}
  34         vpabsw  4064(%edx), %ymm6{%k7}   # AVX512{BW,VL} Disp8
  35         vpabsw  4096(%edx), %ymm6{%k7}   # AVX512{BW,VL}
  36         vpabsw  -4096(%edx), %ymm6{%k7}  # AVX512{BW,VL} Disp8
  37         vpabsw  -4128(%edx), %ymm6{%k7}  # AVX512{BW,VL}
  38         vpacksswb       %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
  39         vpacksswb       %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
  40         vpacksswb       (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
  41         vpacksswb       -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
  42         vpacksswb       2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
  43         vpacksswb       2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
  44         vpacksswb       -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
  45         vpacksswb       -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
  46         vpacksswb       %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
  47         vpacksswb       %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
  48         vpacksswb       (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
  49         vpacksswb       -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
  50         vpacksswb       4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
  51         vpacksswb       4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
  52         vpacksswb       -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
  53         vpacksswb       -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
  54         vpackuswb       %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
  55         vpackuswb       %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
  56         vpackuswb       (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
  57         vpackuswb       -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
  58         vpackuswb       2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
  59         vpackuswb       2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
  60         vpackuswb       -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
  61         vpackuswb       -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
  62         vpackuswb       %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
  63         vpackuswb       %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
  64         vpackuswb       (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
  65         vpackuswb       -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
  66         vpackuswb       4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
  67         vpackuswb       4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
  68         vpackuswb       -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
  69         vpackuswb       -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
  70         vpaddb  %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
  71         vpaddb  %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
  72         vpaddb  (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
  73         vpaddb  -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
  74         vpaddb  2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
  75         vpaddb  2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
  76         vpaddb  -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
  77         vpaddb  -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
  78         vpaddb  %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
  79         vpaddb  %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
  80         vpaddb  (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
  81         vpaddb  -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
  82         vpaddb  4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
  83         vpaddb  4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
  84         vpaddb  -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
  85         vpaddb  -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
  86         vpaddsb %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
  87         vpaddsb %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
  88         vpaddsb (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
  89         vpaddsb -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
  90         vpaddsb 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
  91         vpaddsb 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
  92         vpaddsb -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
  93         vpaddsb -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
  94         vpaddsb %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
  95         vpaddsb %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
  96         vpaddsb (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
  97         vpaddsb -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
  98         vpaddsb 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
  99         vpaddsb 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 100         vpaddsb -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 101         vpaddsb -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 102         vpaddsw %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 103         vpaddsw %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 104         vpaddsw (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 105         vpaddsw -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 106         vpaddsw 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 107         vpaddsw 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 108         vpaddsw -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 109         vpaddsw -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 110         vpaddsw %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 111         vpaddsw %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 112         vpaddsw (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 113         vpaddsw -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 114         vpaddsw 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 115         vpaddsw 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 116         vpaddsw -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 117         vpaddsw -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 118         vpaddusb        %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 119         vpaddusb        %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 120         vpaddusb        (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 121         vpaddusb        -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 122         vpaddusb        2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 123         vpaddusb        2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 124         vpaddusb        -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 125         vpaddusb        -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 126         vpaddusb        %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 127         vpaddusb        %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 128         vpaddusb        (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 129         vpaddusb        -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 130         vpaddusb        4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 131         vpaddusb        4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 132         vpaddusb        -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 133         vpaddusb        -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 134         vpaddusw        %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 135         vpaddusw        %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 136         vpaddusw        (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 137         vpaddusw        -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 138         vpaddusw        2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 139         vpaddusw        2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 140         vpaddusw        -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 141         vpaddusw        -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 142         vpaddusw        %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 143         vpaddusw        %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 144         vpaddusw        (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 145         vpaddusw        -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 146         vpaddusw        4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 147         vpaddusw        4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 148         vpaddusw        -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 149         vpaddusw        -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 150         vpaddw  %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 151         vpaddw  %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 152         vpaddw  (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 153         vpaddw  -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 154         vpaddw  2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 155         vpaddw  2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 156         vpaddw  -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 157         vpaddw  -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 158         vpaddw  %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 159         vpaddw  %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 160         vpaddw  (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 161         vpaddw  -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 162         vpaddw  4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 163         vpaddw  4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 164         vpaddw  -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 165         vpaddw  -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 166         vpalignr        $0xab, %xmm4, %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 167         vpalignr        $0xab, %xmm4, %xmm5, %xmm6{%k7}{z}       # AVX512{BW,VL}
 168         vpalignr        $123, %xmm4, %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 169         vpalignr        $123, (%ecx), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 170         vpalignr        $123, -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 171         vpalignr        $123, 2032(%edx), %xmm5, %xmm6{%k7}      # AVX512{BW,VL} Disp8
 172         vpalignr        $123, 2048(%edx), %xmm5, %xmm6{%k7}      # AVX512{BW,VL}
 173         vpalignr        $123, -2048(%edx), %xmm5, %xmm6{%k7}     # AVX512{BW,VL} Disp8
 174         vpalignr        $123, -2064(%edx), %xmm5, %xmm6{%k7}     # AVX512{BW,VL}
 175         vpalignr        $0xab, %ymm4, %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 176         vpalignr        $0xab, %ymm4, %ymm5, %ymm6{%k7}{z}       # AVX512{BW,VL}
 177         vpalignr        $123, %ymm4, %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 178         vpalignr        $123, (%ecx), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 179         vpalignr        $123, -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 180         vpalignr        $123, 4064(%edx), %ymm5, %ymm6{%k7}      # AVX512{BW,VL} Disp8
 181         vpalignr        $123, 4096(%edx), %ymm5, %ymm6{%k7}      # AVX512{BW,VL}
 182         vpalignr        $123, -4096(%edx), %ymm5, %ymm6{%k7}     # AVX512{BW,VL} Disp8
 183         vpalignr        $123, -4128(%edx), %ymm5, %ymm6{%k7}     # AVX512{BW,VL}
 184         vpavgb  %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 185         vpavgb  %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 186         vpavgb  (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 187         vpavgb  -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 188         vpavgb  2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 189         vpavgb  2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 190         vpavgb  -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 191         vpavgb  -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 192         vpavgb  %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 193         vpavgb  %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 194         vpavgb  (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 195         vpavgb  -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 196         vpavgb  4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 197         vpavgb  4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 198         vpavgb  -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 199         vpavgb  -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 200         vpavgw  %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 201         vpavgw  %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 202         vpavgw  (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 203         vpavgw  -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 204         vpavgw  2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 205         vpavgw  2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 206         vpavgw  -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 207         vpavgw  -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 208         vpavgw  %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 209         vpavgw  %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 210         vpavgw  (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 211         vpavgw  -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 212         vpavgw  4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 213         vpavgw  4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 214         vpavgw  -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 215         vpavgw  -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 216         vpcmpeqb        %xmm5, %xmm6, %k5{%k7}   # AVX512{BW,VL}
 217         vpcmpeqb        (%ecx), %xmm6, %k5{%k7}  # AVX512{BW,VL}
 218         vpcmpeqb        -123456(%esp,%esi,8), %xmm6, %k5{%k7}    # AVX512{BW,VL}
 219         vpcmpeqb        2032(%edx), %xmm6, %k5{%k7}      # AVX512{BW,VL} Disp8
 220         vpcmpeqb        2048(%edx), %xmm6, %k5{%k7}      # AVX512{BW,VL}
 221         vpcmpeqb        -2048(%edx), %xmm6, %k5{%k7}     # AVX512{BW,VL} Disp8
 222         vpcmpeqb        -2064(%edx), %xmm6, %k5{%k7}     # AVX512{BW,VL}
 223         vpcmpeqb        %ymm5, %ymm6, %k5{%k7}   # AVX512{BW,VL}
 224         vpcmpeqb        (%ecx), %ymm6, %k5{%k7}  # AVX512{BW,VL}
 225         vpcmpeqb        -123456(%esp,%esi,8), %ymm6, %k5{%k7}    # AVX512{BW,VL}
 226         vpcmpeqb        4064(%edx), %ymm6, %k5{%k7}      # AVX512{BW,VL} Disp8
 227         vpcmpeqb        4096(%edx), %ymm6, %k5{%k7}      # AVX512{BW,VL}
 228         vpcmpeqb        -4096(%edx), %ymm6, %k5{%k7}     # AVX512{BW,VL} Disp8
 229         vpcmpeqb        -4128(%edx), %ymm6, %k5{%k7}     # AVX512{BW,VL}
 230         vpcmpeqw        %xmm5, %xmm6, %k5{%k7}   # AVX512{BW,VL}
 231         vpcmpeqw        (%ecx), %xmm6, %k5{%k7}  # AVX512{BW,VL}
 232         vpcmpeqw        -123456(%esp,%esi,8), %xmm6, %k5{%k7}    # AVX512{BW,VL}
 233         vpcmpeqw        2032(%edx), %xmm6, %k5{%k7}      # AVX512{BW,VL} Disp8
 234         vpcmpeqw        2048(%edx), %xmm6, %k5{%k7}      # AVX512{BW,VL}
 235         vpcmpeqw        -2048(%edx), %xmm6, %k5{%k7}     # AVX512{BW,VL} Disp8
 236         vpcmpeqw        -2064(%edx), %xmm6, %k5{%k7}     # AVX512{BW,VL}
 237         vpcmpeqw        %ymm5, %ymm6, %k5{%k7}   # AVX512{BW,VL}
 238         vpcmpeqw        (%ecx), %ymm6, %k5{%k7}  # AVX512{BW,VL}
 239         vpcmpeqw        -123456(%esp,%esi,8), %ymm6, %k5{%k7}    # AVX512{BW,VL}
 240         vpcmpeqw        4064(%edx), %ymm6, %k5{%k7}      # AVX512{BW,VL} Disp8
 241         vpcmpeqw        4096(%edx), %ymm6, %k5{%k7}      # AVX512{BW,VL}
 242         vpcmpeqw        -4096(%edx), %ymm6, %k5{%k7}     # AVX512{BW,VL} Disp8
 243         vpcmpeqw        -4128(%edx), %ymm6, %k5{%k7}     # AVX512{BW,VL}
 244         vpcmpgtb        %xmm5, %xmm6, %k5{%k7}   # AVX512{BW,VL}
 245         vpcmpgtb        (%ecx), %xmm6, %k5{%k7}  # AVX512{BW,VL}
 246         vpcmpgtb        -123456(%esp,%esi,8), %xmm6, %k5{%k7}    # AVX512{BW,VL}
 247         vpcmpgtb        2032(%edx), %xmm6, %k5{%k7}      # AVX512{BW,VL} Disp8
 248         vpcmpgtb        2048(%edx), %xmm6, %k5{%k7}      # AVX512{BW,VL}
 249         vpcmpgtb        -2048(%edx), %xmm6, %k5{%k7}     # AVX512{BW,VL} Disp8
 250         vpcmpgtb        -2064(%edx), %xmm6, %k5{%k7}     # AVX512{BW,VL}
 251         vpcmpgtb        %ymm5, %ymm6, %k5{%k7}   # AVX512{BW,VL}
 252         vpcmpgtb        (%ecx), %ymm6, %k5{%k7}  # AVX512{BW,VL}
 253         vpcmpgtb        -123456(%esp,%esi,8), %ymm6, %k5{%k7}    # AVX512{BW,VL}
 254         vpcmpgtb        4064(%edx), %ymm6, %k5{%k7}      # AVX512{BW,VL} Disp8
 255         vpcmpgtb        4096(%edx), %ymm6, %k5{%k7}      # AVX512{BW,VL}
 256         vpcmpgtb        -4096(%edx), %ymm6, %k5{%k7}     # AVX512{BW,VL} Disp8
 257         vpcmpgtb        -4128(%edx), %ymm6, %k5{%k7}     # AVX512{BW,VL}
 258         vpcmpgtw        %xmm5, %xmm6, %k5{%k7}   # AVX512{BW,VL}
 259         vpcmpgtw        (%ecx), %xmm6, %k5{%k7}  # AVX512{BW,VL}
 260         vpcmpgtw        -123456(%esp,%esi,8), %xmm6, %k5{%k7}    # AVX512{BW,VL}
 261         vpcmpgtw        2032(%edx), %xmm6, %k5{%k7}      # AVX512{BW,VL} Disp8
 262         vpcmpgtw        2048(%edx), %xmm6, %k5{%k7}      # AVX512{BW,VL}
 263         vpcmpgtw        -2048(%edx), %xmm6, %k5{%k7}     # AVX512{BW,VL} Disp8
 264         vpcmpgtw        -2064(%edx), %xmm6, %k5{%k7}     # AVX512{BW,VL}
 265         vpcmpgtw        %ymm5, %ymm6, %k5{%k7}   # AVX512{BW,VL}
 266         vpcmpgtw        (%ecx), %ymm6, %k5{%k7}  # AVX512{BW,VL}
 267         vpcmpgtw        -123456(%esp,%esi,8), %ymm6, %k5{%k7}    # AVX512{BW,VL}
 268         vpcmpgtw        4064(%edx), %ymm6, %k5{%k7}      # AVX512{BW,VL} Disp8
 269         vpcmpgtw        4096(%edx), %ymm6, %k5{%k7}      # AVX512{BW,VL}
 270         vpcmpgtw        -4096(%edx), %ymm6, %k5{%k7}     # AVX512{BW,VL} Disp8
 271         vpcmpgtw        -4128(%edx), %ymm6, %k5{%k7}     # AVX512{BW,VL}
 272         vpmaddubsw      %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 273         vpmaddubsw      %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 274         vpmaddubsw      (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 275         vpmaddubsw      -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 276         vpmaddubsw      2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 277         vpmaddubsw      2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 278         vpmaddubsw      -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 279         vpmaddubsw      -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 280         vpmaddubsw      %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 281         vpmaddubsw      %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 282         vpmaddubsw      (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 283         vpmaddubsw      -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 284         vpmaddubsw      4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 285         vpmaddubsw      4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 286         vpmaddubsw      -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 287         vpmaddubsw      -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 288         vpmaddwd        %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 289         vpmaddwd        %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 290         vpmaddwd        (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 291         vpmaddwd        -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 292         vpmaddwd        2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 293         vpmaddwd        2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 294         vpmaddwd        -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 295         vpmaddwd        -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 296         vpmaddwd        %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 297         vpmaddwd        %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 298         vpmaddwd        (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 299         vpmaddwd        -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 300         vpmaddwd        4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 301         vpmaddwd        4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 302         vpmaddwd        -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 303         vpmaddwd        -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 304         vpmaxsb %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 305         vpmaxsb %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 306         vpmaxsb (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 307         vpmaxsb -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 308         vpmaxsb 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 309         vpmaxsb 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 310         vpmaxsb -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 311         vpmaxsb -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 312         vpmaxsb %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 313         vpmaxsb %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 314         vpmaxsb (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 315         vpmaxsb -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 316         vpmaxsb 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 317         vpmaxsb 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 318         vpmaxsb -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 319         vpmaxsb -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 320         vpmaxsw %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 321         vpmaxsw %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 322         vpmaxsw (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 323         vpmaxsw -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 324         vpmaxsw 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 325         vpmaxsw 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 326         vpmaxsw -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 327         vpmaxsw -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 328         vpmaxsw %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 329         vpmaxsw %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 330         vpmaxsw (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 331         vpmaxsw -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 332         vpmaxsw 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 333         vpmaxsw 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 334         vpmaxsw -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 335         vpmaxsw -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 336         vpmaxub %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 337         vpmaxub %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 338         vpmaxub (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 339         vpmaxub -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 340         vpmaxub 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 341         vpmaxub 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 342         vpmaxub -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 343         vpmaxub -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 344         vpmaxub %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 345         vpmaxub %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 346         vpmaxub (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 347         vpmaxub -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 348         vpmaxub 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 349         vpmaxub 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 350         vpmaxub -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 351         vpmaxub -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 352         vpmaxuw %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 353         vpmaxuw %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 354         vpmaxuw (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 355         vpmaxuw -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 356         vpmaxuw 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 357         vpmaxuw 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 358         vpmaxuw -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 359         vpmaxuw -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 360         vpmaxuw %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 361         vpmaxuw %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 362         vpmaxuw (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 363         vpmaxuw -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 364         vpmaxuw 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 365         vpmaxuw 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 366         vpmaxuw -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 367         vpmaxuw -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 368         vpminsb %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 369         vpminsb %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 370         vpminsb (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 371         vpminsb -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 372         vpminsb 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 373         vpminsb 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 374         vpminsb -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 375         vpminsb -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 376         vpminsb %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 377         vpminsb %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 378         vpminsb (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 379         vpminsb -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 380         vpminsb 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 381         vpminsb 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 382         vpminsb -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 383         vpminsb -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 384         vpminsw %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 385         vpminsw %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 386         vpminsw (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 387         vpminsw -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 388         vpminsw 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 389         vpminsw 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 390         vpminsw -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 391         vpminsw -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 392         vpminsw %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 393         vpminsw %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 394         vpminsw (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 395         vpminsw -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 396         vpminsw 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 397         vpminsw 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 398         vpminsw -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 399         vpminsw -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 400         vpminub %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 401         vpminub %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 402         vpminub (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 403         vpminub -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 404         vpminub 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 405         vpminub 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 406         vpminub -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 407         vpminub -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 408         vpminub %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 409         vpminub %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 410         vpminub (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 411         vpminub -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 412         vpminub 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 413         vpminub 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 414         vpminub -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 415         vpminub -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 416         vpminuw %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 417         vpminuw %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 418         vpminuw (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 419         vpminuw -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 420         vpminuw 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 421         vpminuw 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 422         vpminuw -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 423         vpminuw -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 424         vpminuw %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 425         vpminuw %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 426         vpminuw (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 427         vpminuw -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 428         vpminuw 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 429         vpminuw 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 430         vpminuw -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 431         vpminuw -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 432         vpmovsxbw       %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 433         vpmovsxbw       %xmm5, %xmm6{%k7}{z}     # AVX512{BW,VL}
 434         vpmovsxbw       (%ecx), %xmm6{%k7}       # AVX512{BW,VL}
 435         vpmovsxbw       -123456(%esp,%esi,8), %xmm6{%k7}         # AVX512{BW,VL}
 436         vpmovsxbw       1016(%edx), %xmm6{%k7}   # AVX512{BW,VL} Disp8
 437         vpmovsxbw       1024(%edx), %xmm6{%k7}   # AVX512{BW,VL}
 438         vpmovsxbw       -1024(%edx), %xmm6{%k7}  # AVX512{BW,VL} Disp8
 439         vpmovsxbw       -1032(%edx), %xmm6{%k7}  # AVX512{BW,VL}
 440         vpmovsxbw       %xmm5, %ymm6{%k7}        # AVX512{BW,VL}
 441         vpmovsxbw       %xmm5, %ymm6{%k7}{z}     # AVX512{BW,VL}
 442         vpmovsxbw       (%ecx), %ymm6{%k7}       # AVX512{BW,VL}
 443         vpmovsxbw       -123456(%esp,%esi,8), %ymm6{%k7}         # AVX512{BW,VL}
 444         vpmovsxbw       2032(%edx), %ymm6{%k7}   # AVX512{BW,VL} Disp8
 445         vpmovsxbw       2048(%edx), %ymm6{%k7}   # AVX512{BW,VL}
 446         vpmovsxbw       -2048(%edx), %ymm6{%k7}  # AVX512{BW,VL} Disp8
 447         vpmovsxbw       -2064(%edx), %ymm6{%k7}  # AVX512{BW,VL}
 448         vpmovzxbw       %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 449         vpmovzxbw       %xmm5, %xmm6{%k7}{z}     # AVX512{BW,VL}
 450         vpmovzxbw       (%ecx), %xmm6{%k7}       # AVX512{BW,VL}
 451         vpmovzxbw       -123456(%esp,%esi,8), %xmm6{%k7}         # AVX512{BW,VL}
 452         vpmovzxbw       1016(%edx), %xmm6{%k7}   # AVX512{BW,VL} Disp8
 453         vpmovzxbw       1024(%edx), %xmm6{%k7}   # AVX512{BW,VL}
 454         vpmovzxbw       -1024(%edx), %xmm6{%k7}  # AVX512{BW,VL} Disp8
 455         vpmovzxbw       -1032(%edx), %xmm6{%k7}  # AVX512{BW,VL}
 456         vpmovzxbw       %xmm5, %ymm6{%k7}        # AVX512{BW,VL}
 457         vpmovzxbw       %xmm5, %ymm6{%k7}{z}     # AVX512{BW,VL}
 458         vpmovzxbw       (%ecx), %ymm6{%k7}       # AVX512{BW,VL}
 459         vpmovzxbw       -123456(%esp,%esi,8), %ymm6{%k7}         # AVX512{BW,VL}
 460         vpmovzxbw       2032(%edx), %ymm6{%k7}   # AVX512{BW,VL} Disp8
 461         vpmovzxbw       2048(%edx), %ymm6{%k7}   # AVX512{BW,VL}
 462         vpmovzxbw       -2048(%edx), %ymm6{%k7}  # AVX512{BW,VL} Disp8
 463         vpmovzxbw       -2064(%edx), %ymm6{%k7}  # AVX512{BW,VL}
 464         vpmulhrsw       %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 465         vpmulhrsw       %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 466         vpmulhrsw       (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 467         vpmulhrsw       -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 468         vpmulhrsw       2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 469         vpmulhrsw       2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 470         vpmulhrsw       -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 471         vpmulhrsw       -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 472         vpmulhrsw       %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 473         vpmulhrsw       %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 474         vpmulhrsw       (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 475         vpmulhrsw       -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 476         vpmulhrsw       4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 477         vpmulhrsw       4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 478         vpmulhrsw       -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 479         vpmulhrsw       -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 480         vpmulhuw        %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 481         vpmulhuw        %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 482         vpmulhuw        (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 483         vpmulhuw        -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 484         vpmulhuw        2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 485         vpmulhuw        2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 486         vpmulhuw        -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 487         vpmulhuw        -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 488         vpmulhuw        %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 489         vpmulhuw        %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 490         vpmulhuw        (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 491         vpmulhuw        -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 492         vpmulhuw        4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 493         vpmulhuw        4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 494         vpmulhuw        -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 495         vpmulhuw        -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 496         vpmulhw %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 497         vpmulhw %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 498         vpmulhw (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 499         vpmulhw -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 500         vpmulhw 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 501         vpmulhw 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 502         vpmulhw -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 503         vpmulhw -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 504         vpmulhw %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 505         vpmulhw %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 506         vpmulhw (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 507         vpmulhw -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 508         vpmulhw 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 509         vpmulhw 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 510         vpmulhw -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 511         vpmulhw -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 512         vpmullw %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 513         vpmullw %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 514         vpmullw (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 515         vpmullw -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 516         vpmullw 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 517         vpmullw 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 518         vpmullw -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 519         vpmullw -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 520         vpmullw %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 521         vpmullw %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 522         vpmullw (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 523         vpmullw -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 524         vpmullw 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 525         vpmullw 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 526         vpmullw -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 527         vpmullw -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 528         vpshufb %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 529         vpshufb %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 530         vpshufb (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 531         vpshufb -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 532         vpshufb 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 533         vpshufb 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 534         vpshufb -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 535         vpshufb -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 536         vpshufb %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 537         vpshufb %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 538         vpshufb (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 539         vpshufb -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 540         vpshufb 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 541         vpshufb 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 542         vpshufb -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 543         vpshufb -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 544         vpshufhw        $0xab, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 545         vpshufhw        $0xab, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 546         vpshufhw        $123, %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 547         vpshufhw        $123, (%ecx), %xmm6{%k7}         # AVX512{BW,VL}
 548         vpshufhw        $123, -123456(%esp,%esi,8), %xmm6{%k7}   # AVX512{BW,VL}
 549         vpshufhw        $123, 2032(%edx), %xmm6{%k7}     # AVX512{BW,VL} Disp8
 550         vpshufhw        $123, 2048(%edx), %xmm6{%k7}     # AVX512{BW,VL}
 551         vpshufhw        $123, -2048(%edx), %xmm6{%k7}    # AVX512{BW,VL} Disp8
 552         vpshufhw        $123, -2064(%edx), %xmm6{%k7}    # AVX512{BW,VL}
 553         vpshufhw        $0xab, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 554         vpshufhw        $0xab, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 555         vpshufhw        $123, %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 556         vpshufhw        $123, (%ecx), %ymm6{%k7}         # AVX512{BW,VL}
 557         vpshufhw        $123, -123456(%esp,%esi,8), %ymm6{%k7}   # AVX512{BW,VL}
 558         vpshufhw        $123, 4064(%edx), %ymm6{%k7}     # AVX512{BW,VL} Disp8
 559         vpshufhw        $123, 4096(%edx), %ymm6{%k7}     # AVX512{BW,VL}
 560         vpshufhw        $123, -4096(%edx), %ymm6{%k7}    # AVX512{BW,VL} Disp8
 561         vpshufhw        $123, -4128(%edx), %ymm6{%k7}    # AVX512{BW,VL}
 562         vpshuflw        $0xab, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 563         vpshuflw        $0xab, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 564         vpshuflw        $123, %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 565         vpshuflw        $123, (%ecx), %xmm6{%k7}         # AVX512{BW,VL}
 566         vpshuflw        $123, -123456(%esp,%esi,8), %xmm6{%k7}   # AVX512{BW,VL}
 567         vpshuflw        $123, 2032(%edx), %xmm6{%k7}     # AVX512{BW,VL} Disp8
 568         vpshuflw        $123, 2048(%edx), %xmm6{%k7}     # AVX512{BW,VL}
 569         vpshuflw        $123, -2048(%edx), %xmm6{%k7}    # AVX512{BW,VL} Disp8
 570         vpshuflw        $123, -2064(%edx), %xmm6{%k7}    # AVX512{BW,VL}
 571         vpshuflw        $0xab, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 572         vpshuflw        $0xab, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 573         vpshuflw        $123, %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 574         vpshuflw        $123, (%ecx), %ymm6{%k7}         # AVX512{BW,VL}
 575         vpshuflw        $123, -123456(%esp,%esi,8), %ymm6{%k7}   # AVX512{BW,VL}
 576         vpshuflw        $123, 4064(%edx), %ymm6{%k7}     # AVX512{BW,VL} Disp8
 577         vpshuflw        $123, 4096(%edx), %ymm6{%k7}     # AVX512{BW,VL}
 578         vpshuflw        $123, -4096(%edx), %ymm6{%k7}    # AVX512{BW,VL} Disp8
 579         vpshuflw        $123, -4128(%edx), %ymm6{%k7}    # AVX512{BW,VL}
 580         vpsllw  %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 581         vpsllw  %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 582         vpsllw  (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 583         vpsllw  -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 584         vpsllw  2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 585         vpsllw  2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 586         vpsllw  -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 587         vpsllw  -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 588         vpsllw  %xmm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 589         vpsllw  %xmm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 590         vpsllw  (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 591         vpsllw  -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 592         vpsllw  2032(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 593         vpsllw  2048(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 594         vpsllw  -2048(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 595         vpsllw  -2064(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 596         vpsraw  %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 597         vpsraw  %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 598         vpsraw  (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 599         vpsraw  -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 600         vpsraw  2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 601         vpsraw  2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 602         vpsraw  -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 603         vpsraw  -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 604         vpsraw  %xmm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 605         vpsraw  %xmm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 606         vpsraw  (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 607         vpsraw  -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 608         vpsraw  2032(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 609         vpsraw  2048(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 610         vpsraw  -2048(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 611         vpsraw  -2064(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 612         vpsrlw  %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 613         vpsrlw  %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 614         vpsrlw  (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 615         vpsrlw  -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 616         vpsrlw  2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 617         vpsrlw  2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 618         vpsrlw  -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 619         vpsrlw  -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 620         vpsrlw  %xmm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 621         vpsrlw  %xmm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 622         vpsrlw  (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 623         vpsrlw  -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 624         vpsrlw  2032(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 625         vpsrlw  2048(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 626         vpsrlw  -2048(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 627         vpsrlw  -2064(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 628         vpsrlw  $0xab, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 629         vpsrlw  $0xab, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 630         vpsrlw  $123, %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 631         vpsrlw  $123, (%ecx), %xmm6{%k7}         # AVX512{BW,VL}
 632         vpsrlw  $123, -123456(%esp,%esi,8), %xmm6{%k7}   # AVX512{BW,VL}
 633         vpsrlw  $123, 2032(%edx), %xmm6{%k7}     # AVX512{BW,VL} Disp8
 634         vpsrlw  $123, 2048(%edx), %xmm6{%k7}     # AVX512{BW,VL}
 635         vpsrlw  $123, -2048(%edx), %xmm6{%k7}    # AVX512{BW,VL} Disp8
 636         vpsrlw  $123, -2064(%edx), %xmm6{%k7}    # AVX512{BW,VL}
 637         vpsrlw  $0xab, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 638         vpsrlw  $0xab, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 639         vpsrlw  $123, %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 640         vpsrlw  $123, (%ecx), %ymm6{%k7}         # AVX512{BW,VL}
 641         vpsrlw  $123, -123456(%esp,%esi,8), %ymm6{%k7}   # AVX512{BW,VL}
 642         vpsrlw  $123, 4064(%edx), %ymm6{%k7}     # AVX512{BW,VL} Disp8
 643         vpsrlw  $123, 4096(%edx), %ymm6{%k7}     # AVX512{BW,VL}
 644         vpsrlw  $123, -4096(%edx), %ymm6{%k7}    # AVX512{BW,VL} Disp8
 645         vpsrlw  $123, -4128(%edx), %ymm6{%k7}    # AVX512{BW,VL}
 646         vpsraw  $0xab, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 647         vpsraw  $0xab, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 648         vpsraw  $123, %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 649         vpsraw  $123, (%ecx), %xmm6{%k7}         # AVX512{BW,VL}
 650         vpsraw  $123, -123456(%esp,%esi,8), %xmm6{%k7}   # AVX512{BW,VL}
 651         vpsraw  $123, 2032(%edx), %xmm6{%k7}     # AVX512{BW,VL} Disp8
 652         vpsraw  $123, 2048(%edx), %xmm6{%k7}     # AVX512{BW,VL}
 653         vpsraw  $123, -2048(%edx), %xmm6{%k7}    # AVX512{BW,VL} Disp8
 654         vpsraw  $123, -2064(%edx), %xmm6{%k7}    # AVX512{BW,VL}
 655         vpsraw  $0xab, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 656         vpsraw  $0xab, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 657         vpsraw  $123, %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 658         vpsraw  $123, (%ecx), %ymm6{%k7}         # AVX512{BW,VL}
 659         vpsraw  $123, -123456(%esp,%esi,8), %ymm6{%k7}   # AVX512{BW,VL}
 660         vpsraw  $123, 4064(%edx), %ymm6{%k7}     # AVX512{BW,VL} Disp8
 661         vpsraw  $123, 4096(%edx), %ymm6{%k7}     # AVX512{BW,VL}
 662         vpsraw  $123, -4096(%edx), %ymm6{%k7}    # AVX512{BW,VL} Disp8
 663         vpsraw  $123, -4128(%edx), %ymm6{%k7}    # AVX512{BW,VL}
 664         vpsubb  %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 665         vpsubb  %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 666         vpsubb  (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 667         vpsubb  -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 668         vpsubb  2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 669         vpsubb  2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 670         vpsubb  -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 671         vpsubb  -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 672         vpsubb  %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 673         vpsubb  %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 674         vpsubb  (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 675         vpsubb  -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 676         vpsubb  4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 677         vpsubb  4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 678         vpsubb  -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 679         vpsubb  -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 680         vpsubsb %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 681         vpsubsb %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 682         vpsubsb (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 683         vpsubsb -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 684         vpsubsb 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 685         vpsubsb 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 686         vpsubsb -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 687         vpsubsb -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 688         vpsubsb %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 689         vpsubsb %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 690         vpsubsb (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 691         vpsubsb -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 692         vpsubsb 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 693         vpsubsb 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 694         vpsubsb -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 695         vpsubsb -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 696         vpsubsw %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 697         vpsubsw %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 698         vpsubsw (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 699         vpsubsw -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 700         vpsubsw 2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 701         vpsubsw 2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 702         vpsubsw -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 703         vpsubsw -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 704         vpsubsw %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 705         vpsubsw %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 706         vpsubsw (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 707         vpsubsw -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 708         vpsubsw 4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 709         vpsubsw 4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 710         vpsubsw -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 711         vpsubsw -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 712         vpsubusb        %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 713         vpsubusb        %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 714         vpsubusb        (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 715         vpsubusb        -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 716         vpsubusb        2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 717         vpsubusb        2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 718         vpsubusb        -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 719         vpsubusb        -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 720         vpsubusb        %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 721         vpsubusb        %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 722         vpsubusb        (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 723         vpsubusb        -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 724         vpsubusb        4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 725         vpsubusb        4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 726         vpsubusb        -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 727         vpsubusb        -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 728         vpsubusw        %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 729         vpsubusw        %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 730         vpsubusw        (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 731         vpsubusw        -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 732         vpsubusw        2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 733         vpsubusw        2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 734         vpsubusw        -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 735         vpsubusw        -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 736         vpsubusw        %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 737         vpsubusw        %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 738         vpsubusw        (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 739         vpsubusw        -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 740         vpsubusw        4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 741         vpsubusw        4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 742         vpsubusw        -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 743         vpsubusw        -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 744         vpsubw  %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 745         vpsubw  %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 746         vpsubw  (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 747         vpsubw  -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 748         vpsubw  2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 749         vpsubw  2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 750         vpsubw  -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 751         vpsubw  -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 752         vpsubw  %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 753         vpsubw  %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 754         vpsubw  (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 755         vpsubw  -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 756         vpsubw  4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 757         vpsubw  4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 758         vpsubw  -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 759         vpsubw  -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 760         vpunpckhbw      %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 761         vpunpckhbw      %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 762         vpunpckhbw      (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 763         vpunpckhbw      -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 764         vpunpckhbw      2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 765         vpunpckhbw      2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 766         vpunpckhbw      -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 767         vpunpckhbw      -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 768         vpunpckhbw      %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 769         vpunpckhbw      %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 770         vpunpckhbw      (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 771         vpunpckhbw      -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 772         vpunpckhbw      4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 773         vpunpckhbw      4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 774         vpunpckhbw      -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 775         vpunpckhbw      -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 776         vpunpckhwd      %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 777         vpunpckhwd      %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 778         vpunpckhwd      (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 779         vpunpckhwd      -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 780         vpunpckhwd      2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 781         vpunpckhwd      2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 782         vpunpckhwd      -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 783         vpunpckhwd      -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 784         vpunpckhwd      %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 785         vpunpckhwd      %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 786         vpunpckhwd      (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 787         vpunpckhwd      -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 788         vpunpckhwd      4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 789         vpunpckhwd      4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 790         vpunpckhwd      -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 791         vpunpckhwd      -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 792         vpunpcklbw      %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 793         vpunpcklbw      %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 794         vpunpcklbw      (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 795         vpunpcklbw      -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 796         vpunpcklbw      2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 797         vpunpcklbw      2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 798         vpunpcklbw      -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 799         vpunpcklbw      -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 800         vpunpcklbw      %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 801         vpunpcklbw      %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 802         vpunpcklbw      (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 803         vpunpcklbw      -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 804         vpunpcklbw      4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 805         vpunpcklbw      4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 806         vpunpcklbw      -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 807         vpunpcklbw      -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 808         vpunpcklwd      %xmm4, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 809         vpunpcklwd      %xmm4, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 810         vpunpcklwd      (%ecx), %xmm5, %xmm6{%k7}        # AVX512{BW,VL}
 811         vpunpcklwd      -123456(%esp,%esi,8), %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 812         vpunpcklwd      2032(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL} Disp8
 813         vpunpcklwd      2048(%edx), %xmm5, %xmm6{%k7}    # AVX512{BW,VL}
 814         vpunpcklwd      -2048(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL} Disp8
 815         vpunpcklwd      -2064(%edx), %xmm5, %xmm6{%k7}   # AVX512{BW,VL}
 816         vpunpcklwd      %ymm4, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 817         vpunpcklwd      %ymm4, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 818         vpunpcklwd      (%ecx), %ymm5, %ymm6{%k7}        # AVX512{BW,VL}
 819         vpunpcklwd      -123456(%esp,%esi,8), %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 820         vpunpcklwd      4064(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL} Disp8
 821         vpunpcklwd      4096(%edx), %ymm5, %ymm6{%k7}    # AVX512{BW,VL}
 822         vpunpcklwd      -4096(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL} Disp8
 823         vpunpcklwd      -4128(%edx), %ymm5, %ymm6{%k7}   # AVX512{BW,VL}
 824         vpsllw  $0xab, %xmm5, %xmm6{%k7}         # AVX512{BW,VL}
 825         vpsllw  $0xab, %xmm5, %xmm6{%k7}{z}      # AVX512{BW,VL}
 826         vpsllw  $123, %xmm5, %xmm6{%k7}  # AVX512{BW,VL}
 827         vpsllw  $123, (%ecx), %xmm6{%k7}         # AVX512{BW,VL}
 828         vpsllw  $123, -123456(%esp,%esi,8), %xmm6{%k7}   # AVX512{BW,VL}
 829         vpsllw  $123, 2032(%edx), %xmm6{%k7}     # AVX512{BW,VL} Disp8
 830         vpsllw  $123, 2048(%edx), %xmm6{%k7}     # AVX512{BW,VL}
 831         vpsllw  $123, -2048(%edx), %xmm6{%k7}    # AVX512{BW,VL} Disp8
 832         vpsllw  $123, -2064(%edx), %xmm6{%k7}    # AVX512{BW,VL}
 833         vpsllw  $0xab, %ymm5, %ymm6{%k7}         # AVX512{BW,VL}
 834         vpsllw  $0xab, %ymm5, %ymm6{%k7}{z}      # AVX512{BW,VL}
 835         vpsllw  $123, %ymm5, %ymm6{%k7}  # AVX512{BW,VL}
 836         vpsllw  $123, (%ecx), %ymm6{%k7}         # AVX512{BW,VL}
 837         vpsllw  $123, -123456(%esp,%esi,8), %ymm6{%k7}   # AVX512{BW,VL}
 838         vpsllw  $123, 4064(%edx), %ymm6{%k7}     # AVX512{BW,VL} Disp8
 839         vpsllw  $123, 4096(%edx), %ymm6{%k7}     # AVX512{BW,VL}
 840         vpsllw  $123, -4096(%edx), %ymm6{%k7}    # AVX512{BW,VL} Disp8
 841         vpsllw  $123, -4128(%edx), %ymm6{%k7}    # AVX512{BW,VL}
 842
 843         .intel_syntax noprefix
 844         vpabsb  xmm6{k7}, xmm5   # AVX512{BW,VL}
 845         vpabsb  xmm6{k7}{z}, xmm5        # AVX512{BW,VL}
 846         vpabsb  xmm6{k7}, XMMWORD PTR [ecx]      # AVX512{BW,VL}
 847         vpabsb  xmm6{k7}, XMMWORD PTR [esp+esi*8-123456]         # AVX512{BW,VL}
 848         vpabsb  xmm6{k7}, XMMWORD PTR [edx+2032]         # AVX512{BW,VL} Disp8
 849         vpabsb  xmm6{k7}, XMMWORD PTR [edx+2048]         # AVX512{BW,VL}
 850         vpabsb  xmm6{k7}, XMMWORD PTR [edx-2048]         # AVX512{BW,VL} Disp8
 851         vpabsb  xmm6{k7}, XMMWORD PTR [edx-2064]         # AVX512{BW,VL}
 852         vpabsb  ymm6{k7}, ymm5   # AVX512{BW,VL}
 853         vpabsb  ymm6{k7}{z}, ymm5        # AVX512{BW,VL}
 854         vpabsb  ymm6{k7}, YMMWORD PTR [ecx]      # AVX512{BW,VL}
 855         vpabsb  ymm6{k7}, YMMWORD PTR [esp+esi*8-123456]         # AVX512{BW,VL}
 856         vpabsb  ymm6{k7}, YMMWORD PTR [edx+4064]         # AVX512{BW,VL} Disp8
 857         vpabsb  ymm6{k7}, YMMWORD PTR [edx+4096]         # AVX512{BW,VL}
 858         vpabsb  ymm6{k7}, YMMWORD PTR [edx-4096]         # AVX512{BW,VL} Disp8
 859         vpabsb  ymm6{k7}, YMMWORD PTR [edx-4128]         # AVX512{BW,VL}
 860         vpabsw  xmm6{k7}, xmm5   # AVX512{BW,VL}
 861         vpabsw  xmm6{k7}{z}, xmm5        # AVX512{BW,VL}
 862         vpabsw  xmm6{k7}, XMMWORD PTR [ecx]      # AVX512{BW,VL}
 863         vpabsw  xmm6{k7}, XMMWORD PTR [esp+esi*8-123456]         # AVX512{BW,VL}
 864         vpabsw  xmm6{k7}, XMMWORD PTR [edx+2032]         # AVX512{BW,VL} Disp8
 865         vpabsw  xmm6{k7}, XMMWORD PTR [edx+2048]         # AVX512{BW,VL}
 866         vpabsw  xmm6{k7}, XMMWORD PTR [edx-2048]         # AVX512{BW,VL} Disp8
 867         vpabsw  xmm6{k7}, XMMWORD PTR [edx-2064]         # AVX512{BW,VL}
 868         vpabsw  ymm6{k7}, ymm5   # AVX512{BW,VL}
 869         vpabsw  ymm6{k7}{z}, ymm5        # AVX512{BW,VL}
 870         vpabsw  ymm6{k7}, YMMWORD PTR [ecx]      # AVX512{BW,VL}
 871         vpabsw  ymm6{k7}, YMMWORD PTR [esp+esi*8-123456]         # AVX512{BW,VL}
 872         vpabsw  ymm6{k7}, YMMWORD PTR [edx+4064]         # AVX512{BW,VL} Disp8
 873         vpabsw  ymm6{k7}, YMMWORD PTR [edx+4096]         # AVX512{BW,VL}
 874         vpabsw  ymm6{k7}, YMMWORD PTR [edx-4096]         # AVX512{BW,VL} Disp8
 875         vpabsw  ymm6{k7}, YMMWORD PTR [edx-4128]         # AVX512{BW,VL}
 876         vpacksswb       xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
 877         vpacksswb       xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
 878         vpacksswb       xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
 879         vpacksswb       xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 880         vpacksswb       xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
 881         vpacksswb       xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
 882         vpacksswb       xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
 883         vpacksswb       xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
 884         vpacksswb       ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
 885         vpacksswb       ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
 886         vpacksswb       ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
 887         vpacksswb       ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 888         vpacksswb       ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
 889         vpacksswb       ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
 890         vpacksswb       ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
 891         vpacksswb       ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
 892         vpackuswb       xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
 893         vpackuswb       xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
 894         vpackuswb       xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
 895         vpackuswb       xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 896         vpackuswb       xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
 897         vpackuswb       xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
 898         vpackuswb       xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
 899         vpackuswb       xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
 900         vpackuswb       ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
 901         vpackuswb       ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
 902         vpackuswb       ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
 903         vpackuswb       ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 904         vpackuswb       ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
 905         vpackuswb       ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
 906         vpackuswb       ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
 907         vpackuswb       ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
 908         vpaddb  xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
 909         vpaddb  xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
 910         vpaddb  xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
 911         vpaddb  xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 912         vpaddb  xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
 913         vpaddb  xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
 914         vpaddb  xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
 915         vpaddb  xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
 916         vpaddb  ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
 917         vpaddb  ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
 918         vpaddb  ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
 919         vpaddb  ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 920         vpaddb  ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
 921         vpaddb  ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
 922         vpaddb  ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
 923         vpaddb  ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
 924         vpaddsb xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
 925         vpaddsb xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
 926         vpaddsb xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
 927         vpaddsb xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 928         vpaddsb xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
 929         vpaddsb xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
 930         vpaddsb xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
 931         vpaddsb xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
 932         vpaddsb ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
 933         vpaddsb ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
 934         vpaddsb ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
 935         vpaddsb ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 936         vpaddsb ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
 937         vpaddsb ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
 938         vpaddsb ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
 939         vpaddsb ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
 940         vpaddsw xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
 941         vpaddsw xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
 942         vpaddsw xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
 943         vpaddsw xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 944         vpaddsw xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
 945         vpaddsw xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
 946         vpaddsw xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
 947         vpaddsw xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
 948         vpaddsw ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
 949         vpaddsw ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
 950         vpaddsw ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
 951         vpaddsw ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 952         vpaddsw ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
 953         vpaddsw ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
 954         vpaddsw ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
 955         vpaddsw ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
 956         vpaddusb        xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
 957         vpaddusb        xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
 958         vpaddusb        xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
 959         vpaddusb        xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 960         vpaddusb        xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
 961         vpaddusb        xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
 962         vpaddusb        xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
 963         vpaddusb        xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
 964         vpaddusb        ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
 965         vpaddusb        ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
 966         vpaddusb        ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
 967         vpaddusb        ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 968         vpaddusb        ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
 969         vpaddusb        ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
 970         vpaddusb        ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
 971         vpaddusb        ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
 972         vpaddusw        xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
 973         vpaddusw        xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
 974         vpaddusw        xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
 975         vpaddusw        xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 976         vpaddusw        xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
 977         vpaddusw        xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
 978         vpaddusw        xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
 979         vpaddusw        xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
 980         vpaddusw        ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
 981         vpaddusw        ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
 982         vpaddusw        ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
 983         vpaddusw        ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 984         vpaddusw        ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
 985         vpaddusw        ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
 986         vpaddusw        ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
 987         vpaddusw        ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
 988         vpaddw  xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
 989         vpaddw  xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
 990         vpaddw  xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
 991         vpaddw  xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
 992         vpaddw  xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
 993         vpaddw  xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
 994         vpaddw  xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
 995         vpaddw  xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
 996         vpaddw  ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
 997         vpaddw  ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
 998         vpaddw  ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
 999         vpaddw  ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1000         vpaddw  ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1001         vpaddw  ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1002         vpaddw  ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1003         vpaddw  ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1004         vpalignr        xmm6{k7}, xmm5, xmm4, 0xab       # AVX512{BW,VL}
1005         vpalignr        xmm6{k7}{z}, xmm5, xmm4, 0xab    # AVX512{BW,VL}
1006         vpalignr        xmm6{k7}, xmm5, xmm4, 123        # AVX512{BW,VL}
1007         vpalignr        xmm6{k7}, xmm5, XMMWORD PTR [ecx], 123   # AVX512{BW,VL}
1008         vpalignr        xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456], 123      # AVX512{BW,VL}
1009         vpalignr        xmm6{k7}, xmm5, XMMWORD PTR [edx+2032], 123      # AVX512{BW,VL} Disp8
1010         vpalignr        xmm6{k7}, xmm5, XMMWORD PTR [edx+2048], 123      # AVX512{BW,VL}
1011         vpalignr        xmm6{k7}, xmm5, XMMWORD PTR [edx-2048], 123      # AVX512{BW,VL} Disp8
1012         vpalignr        xmm6{k7}, xmm5, XMMWORD PTR [edx-2064], 123      # AVX512{BW,VL}
1013         vpalignr        ymm6{k7}, ymm5, ymm4, 0xab       # AVX512{BW,VL}
1014         vpalignr        ymm6{k7}{z}, ymm5, ymm4, 0xab    # AVX512{BW,VL}
1015         vpalignr        ymm6{k7}, ymm5, ymm4, 123        # AVX512{BW,VL}
1016         vpalignr        ymm6{k7}, ymm5, YMMWORD PTR [ecx], 123   # AVX512{BW,VL}
1017         vpalignr        ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456], 123      # AVX512{BW,VL}
1018         vpalignr        ymm6{k7}, ymm5, YMMWORD PTR [edx+4064], 123      # AVX512{BW,VL} Disp8
1019         vpalignr        ymm6{k7}, ymm5, YMMWORD PTR [edx+4096], 123      # AVX512{BW,VL}
1020         vpalignr        ymm6{k7}, ymm5, YMMWORD PTR [edx-4096], 123      # AVX512{BW,VL} Disp8
1021         vpalignr        ymm6{k7}, ymm5, YMMWORD PTR [edx-4128], 123      # AVX512{BW,VL}
1022         vpavgb  xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1023         vpavgb  xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1024         vpavgb  xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1025         vpavgb  xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1026         vpavgb  xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1027         vpavgb  xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1028         vpavgb  xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1029         vpavgb  xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1030         vpavgb  ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1031         vpavgb  ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1032         vpavgb  ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1033         vpavgb  ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1034         vpavgb  ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1035         vpavgb  ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1036         vpavgb  ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1037         vpavgb  ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1038         vpavgw  xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1039         vpavgw  xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1040         vpavgw  xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1041         vpavgw  xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1042         vpavgw  xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1043         vpavgw  xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1044         vpavgw  xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1045         vpavgw  xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1046         vpavgw  ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1047         vpavgw  ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1048         vpavgw  ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1049         vpavgw  ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1050         vpavgw  ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1051         vpavgw  ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1052         vpavgw  ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1053         vpavgw  ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1054         vpcmpeqb        k5{k7}, xmm6, xmm5       # AVX512{BW,VL}
1055         vpcmpeqb        k5{k7}, xmm6, XMMWORD PTR [ecx]  # AVX512{BW,VL}
1056         vpcmpeqb        k5{k7}, xmm6, XMMWORD PTR [esp+esi*8-123456]     # AVX512{BW,VL}
1057         vpcmpeqb        k5{k7}, xmm6, XMMWORD PTR [edx+2032]     # AVX512{BW,VL} Disp8
1058         vpcmpeqb        k5{k7}, xmm6, XMMWORD PTR [edx+2048]     # AVX512{BW,VL}
1059         vpcmpeqb        k5{k7}, xmm6, XMMWORD PTR [edx-2048]     # AVX512{BW,VL} Disp8
1060         vpcmpeqb        k5{k7}, xmm6, XMMWORD PTR [edx-2064]     # AVX512{BW,VL}
1061         vpcmpeqb        k5{k7}, ymm6, ymm5       # AVX512{BW,VL}
1062         vpcmpeqb        k5{k7}, ymm6, YMMWORD PTR [ecx]  # AVX512{BW,VL}
1063         vpcmpeqb        k5{k7}, ymm6, YMMWORD PTR [esp+esi*8-123456]     # AVX512{BW,VL}
1064         vpcmpeqb        k5{k7}, ymm6, YMMWORD PTR [edx+4064]     # AVX512{BW,VL} Disp8
1065         vpcmpeqb        k5{k7}, ymm6, YMMWORD PTR [edx+4096]     # AVX512{BW,VL}
1066         vpcmpeqb        k5{k7}, ymm6, YMMWORD PTR [edx-4096]     # AVX512{BW,VL} Disp8
1067         vpcmpeqb        k5{k7}, ymm6, YMMWORD PTR [edx-4128]     # AVX512{BW,VL}
1068         vpcmpeqw        k5{k7}, xmm6, xmm5       # AVX512{BW,VL}
1069         vpcmpeqw        k5{k7}, xmm6, XMMWORD PTR [ecx]  # AVX512{BW,VL}
1070         vpcmpeqw        k5{k7}, xmm6, XMMWORD PTR [esp+esi*8-123456]     # AVX512{BW,VL}
1071         vpcmpeqw        k5{k7}, xmm6, XMMWORD PTR [edx+2032]     # AVX512{BW,VL} Disp8
1072         vpcmpeqw        k5{k7}, xmm6, XMMWORD PTR [edx+2048]     # AVX512{BW,VL}
1073         vpcmpeqw        k5{k7}, xmm6, XMMWORD PTR [edx-2048]     # AVX512{BW,VL} Disp8
1074         vpcmpeqw        k5{k7}, xmm6, XMMWORD PTR [edx-2064]     # AVX512{BW,VL}
1075         vpcmpeqw        k5{k7}, ymm6, ymm5       # AVX512{BW,VL}
1076         vpcmpeqw        k5{k7}, ymm6, YMMWORD PTR [ecx]  # AVX512{BW,VL}
1077         vpcmpeqw        k5{k7}, ymm6, YMMWORD PTR [esp+esi*8-123456]     # AVX512{BW,VL}
1078         vpcmpeqw        k5{k7}, ymm6, YMMWORD PTR [edx+4064]     # AVX512{BW,VL} Disp8
1079         vpcmpeqw        k5{k7}, ymm6, YMMWORD PTR [edx+4096]     # AVX512{BW,VL}
1080         vpcmpeqw        k5{k7}, ymm6, YMMWORD PTR [edx-4096]     # AVX512{BW,VL} Disp8
1081         vpcmpeqw        k5{k7}, ymm6, YMMWORD PTR [edx-4128]     # AVX512{BW,VL}
1082         vpcmpgtb        k5{k7}, xmm6, xmm5       # AVX512{BW,VL}
1083         vpcmpgtb        k5{k7}, xmm6, XMMWORD PTR [ecx]  # AVX512{BW,VL}
1084         vpcmpgtb        k5{k7}, xmm6, XMMWORD PTR [esp+esi*8-123456]     # AVX512{BW,VL}
1085         vpcmpgtb        k5{k7}, xmm6, XMMWORD PTR [edx+2032]     # AVX512{BW,VL} Disp8
1086         vpcmpgtb        k5{k7}, xmm6, XMMWORD PTR [edx+2048]     # AVX512{BW,VL}
1087         vpcmpgtb        k5{k7}, xmm6, XMMWORD PTR [edx-2048]     # AVX512{BW,VL} Disp8
1088         vpcmpgtb        k5{k7}, xmm6, XMMWORD PTR [edx-2064]     # AVX512{BW,VL}
1089         vpcmpgtb        k5{k7}, ymm6, ymm5       # AVX512{BW,VL}
1090         vpcmpgtb        k5{k7}, ymm6, YMMWORD PTR [ecx]  # AVX512{BW,VL}
1091         vpcmpgtb        k5{k7}, ymm6, YMMWORD PTR [esp+esi*8-123456]     # AVX512{BW,VL}
1092         vpcmpgtb        k5{k7}, ymm6, YMMWORD PTR [edx+4064]     # AVX512{BW,VL} Disp8
1093         vpcmpgtb        k5{k7}, ymm6, YMMWORD PTR [edx+4096]     # AVX512{BW,VL}
1094         vpcmpgtb        k5{k7}, ymm6, YMMWORD PTR [edx-4096]     # AVX512{BW,VL} Disp8
1095         vpcmpgtb        k5{k7}, ymm6, YMMWORD PTR [edx-4128]     # AVX512{BW,VL}
1096         vpcmpgtw        k5{k7}, xmm6, xmm5       # AVX512{BW,VL}
1097         vpcmpgtw        k5{k7}, xmm6, XMMWORD PTR [ecx]  # AVX512{BW,VL}
1098         vpcmpgtw        k5{k7}, xmm6, XMMWORD PTR [esp+esi*8-123456]     # AVX512{BW,VL}
1099         vpcmpgtw        k5{k7}, xmm6, XMMWORD PTR [edx+2032]     # AVX512{BW,VL} Disp8
1100         vpcmpgtw        k5{k7}, xmm6, XMMWORD PTR [edx+2048]     # AVX512{BW,VL}
1101         vpcmpgtw        k5{k7}, xmm6, XMMWORD PTR [edx-2048]     # AVX512{BW,VL} Disp8
1102         vpcmpgtw        k5{k7}, xmm6, XMMWORD PTR [edx-2064]     # AVX512{BW,VL}
1103         vpcmpgtw        k5{k7}, ymm6, ymm5       # AVX512{BW,VL}
1104         vpcmpgtw        k5{k7}, ymm6, YMMWORD PTR [ecx]  # AVX512{BW,VL}
1105         vpcmpgtw        k5{k7}, ymm6, YMMWORD PTR [esp+esi*8-123456]     # AVX512{BW,VL}
1106         vpcmpgtw        k5{k7}, ymm6, YMMWORD PTR [edx+4064]     # AVX512{BW,VL} Disp8
1107         vpcmpgtw        k5{k7}, ymm6, YMMWORD PTR [edx+4096]     # AVX512{BW,VL}
1108         vpcmpgtw        k5{k7}, ymm6, YMMWORD PTR [edx-4096]     # AVX512{BW,VL} Disp8
1109         vpcmpgtw        k5{k7}, ymm6, YMMWORD PTR [edx-4128]     # AVX512{BW,VL}
1110         vpmaddubsw      xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1111         vpmaddubsw      xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1112         vpmaddubsw      xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1113         vpmaddubsw      xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1114         vpmaddubsw      xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1115         vpmaddubsw      xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1116         vpmaddubsw      xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1117         vpmaddubsw      xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1118         vpmaddubsw      ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1119         vpmaddubsw      ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1120         vpmaddubsw      ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1121         vpmaddubsw      ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1122         vpmaddubsw      ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1123         vpmaddubsw      ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1124         vpmaddubsw      ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1125         vpmaddubsw      ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1126         vpmaddwd        xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1127         vpmaddwd        xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1128         vpmaddwd        xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1129         vpmaddwd        xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1130         vpmaddwd        xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1131         vpmaddwd        xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1132         vpmaddwd        xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1133         vpmaddwd        xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1134         vpmaddwd        ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1135         vpmaddwd        ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1136         vpmaddwd        ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1137         vpmaddwd        ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1138         vpmaddwd        ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1139         vpmaddwd        ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1140         vpmaddwd        ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1141         vpmaddwd        ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1142         vpmaxsb xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1143         vpmaxsb xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1144         vpmaxsb xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1145         vpmaxsb xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1146         vpmaxsb xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1147         vpmaxsb xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1148         vpmaxsb xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1149         vpmaxsb xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1150         vpmaxsb ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1151         vpmaxsb ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1152         vpmaxsb ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1153         vpmaxsb ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1154         vpmaxsb ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1155         vpmaxsb ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1156         vpmaxsb ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1157         vpmaxsb ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1158         vpmaxsw xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1159         vpmaxsw xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1160         vpmaxsw xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1161         vpmaxsw xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1162         vpmaxsw xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1163         vpmaxsw xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1164         vpmaxsw xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1165         vpmaxsw xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1166         vpmaxsw ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1167         vpmaxsw ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1168         vpmaxsw ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1169         vpmaxsw ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1170         vpmaxsw ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1171         vpmaxsw ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1172         vpmaxsw ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1173         vpmaxsw ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1174         vpmaxub xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1175         vpmaxub xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1176         vpmaxub xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1177         vpmaxub xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1178         vpmaxub xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1179         vpmaxub xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1180         vpmaxub xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1181         vpmaxub xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1182         vpmaxub ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1183         vpmaxub ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1184         vpmaxub ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1185         vpmaxub ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1186         vpmaxub ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1187         vpmaxub ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1188         vpmaxub ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1189         vpmaxub ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1190         vpmaxuw xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1191         vpmaxuw xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1192         vpmaxuw xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1193         vpmaxuw xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1194         vpmaxuw xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1195         vpmaxuw xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1196         vpmaxuw xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1197         vpmaxuw xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1198         vpmaxuw ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1199         vpmaxuw ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1200         vpmaxuw ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1201         vpmaxuw ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1202         vpmaxuw ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1203         vpmaxuw ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1204         vpmaxuw ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1205         vpmaxuw ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1206         vpminsb xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1207         vpminsb xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1208         vpminsb xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1209         vpminsb xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1210         vpminsb xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1211         vpminsb xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1212         vpminsb xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1213         vpminsb xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1214         vpminsb ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1215         vpminsb ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1216         vpminsb ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1217         vpminsb ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1218         vpminsb ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1219         vpminsb ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1220         vpminsb ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1221         vpminsb ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1222         vpminsw xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1223         vpminsw xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1224         vpminsw xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1225         vpminsw xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1226         vpminsw xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1227         vpminsw xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1228         vpminsw xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1229         vpminsw xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1230         vpminsw ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1231         vpminsw ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1232         vpminsw ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1233         vpminsw ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1234         vpminsw ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1235         vpminsw ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1236         vpminsw ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1237         vpminsw ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1238         vpminub xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1239         vpminub xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1240         vpminub xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1241         vpminub xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1242         vpminub xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1243         vpminub xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1244         vpminub xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1245         vpminub xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1246         vpminub ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1247         vpminub ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1248         vpminub ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1249         vpminub ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1250         vpminub ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1251         vpminub ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1252         vpminub ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1253         vpminub ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1254         vpminuw xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1255         vpminuw xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1256         vpminuw xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1257         vpminuw xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1258         vpminuw xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1259         vpminuw xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1260         vpminuw xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1261         vpminuw xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1262         vpminuw ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1263         vpminuw ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1264         vpminuw ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1265         vpminuw ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1266         vpminuw ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1267         vpminuw ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1268         vpminuw ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1269         vpminuw ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1270         vpmovsxbw       xmm6{k7}, xmm5   # AVX512{BW,VL}
1271         vpmovsxbw       xmm6{k7}{z}, xmm5        # AVX512{BW,VL}
1272         vpmovsxbw       xmm6{k7}, QWORD PTR [ecx]        # AVX512{BW,VL}
1273         vpmovsxbw       xmm6{k7}, QWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1274         vpmovsxbw       xmm6{k7}, QWORD PTR [edx+1016]   # AVX512{BW,VL} Disp8
1275         vpmovsxbw       xmm6{k7}, QWORD PTR [edx+1024]   # AVX512{BW,VL}
1276         vpmovsxbw       xmm6{k7}, QWORD PTR [edx-1024]   # AVX512{BW,VL} Disp8
1277         vpmovsxbw       xmm6{k7}, QWORD PTR [edx-1032]   # AVX512{BW,VL}
1278         vpmovsxbw       ymm6{k7}, xmm5   # AVX512{BW,VL}
1279         vpmovsxbw       ymm6{k7}{z}, xmm5        # AVX512{BW,VL}
1280         vpmovsxbw       ymm6{k7}, XMMWORD PTR [ecx]      # AVX512{BW,VL}
1281         vpmovsxbw       ymm6{k7}, XMMWORD PTR [esp+esi*8-123456]         # AVX512{BW,VL}
1282         vpmovsxbw       ymm6{k7}, XMMWORD PTR [edx+2032]         # AVX512{BW,VL} Disp8
1283         vpmovsxbw       ymm6{k7}, XMMWORD PTR [edx+2048]         # AVX512{BW,VL}
1284         vpmovsxbw       ymm6{k7}, XMMWORD PTR [edx-2048]         # AVX512{BW,VL} Disp8
1285         vpmovsxbw       ymm6{k7}, XMMWORD PTR [edx-2064]         # AVX512{BW,VL}
1286         vpmovzxbw       xmm6{k7}, xmm5   # AVX512{BW,VL}
1287         vpmovzxbw       xmm6{k7}{z}, xmm5        # AVX512{BW,VL}
1288         vpmovzxbw       xmm6{k7}, QWORD PTR [ecx]        # AVX512{BW,VL}
1289         vpmovzxbw       xmm6{k7}, QWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1290         vpmovzxbw       xmm6{k7}, QWORD PTR [edx+1016]   # AVX512{BW,VL} Disp8
1291         vpmovzxbw       xmm6{k7}, QWORD PTR [edx+1024]   # AVX512{BW,VL}
1292         vpmovzxbw       xmm6{k7}, QWORD PTR [edx-1024]   # AVX512{BW,VL} Disp8
1293         vpmovzxbw       xmm6{k7}, QWORD PTR [edx-1032]   # AVX512{BW,VL}
1294         vpmovzxbw       ymm6{k7}, xmm5   # AVX512{BW,VL}
1295         vpmovzxbw       ymm6{k7}{z}, xmm5        # AVX512{BW,VL}
1296         vpmovzxbw       ymm6{k7}, XMMWORD PTR [ecx]      # AVX512{BW,VL}
1297         vpmovzxbw       ymm6{k7}, XMMWORD PTR [esp+esi*8-123456]         # AVX512{BW,VL}
1298         vpmovzxbw       ymm6{k7}, XMMWORD PTR [edx+2032]         # AVX512{BW,VL} Disp8
1299         vpmovzxbw       ymm6{k7}, XMMWORD PTR [edx+2048]         # AVX512{BW,VL}
1300         vpmovzxbw       ymm6{k7}, XMMWORD PTR [edx-2048]         # AVX512{BW,VL} Disp8
1301         vpmovzxbw       ymm6{k7}, XMMWORD PTR [edx-2064]         # AVX512{BW,VL}
1302         vpmulhrsw       xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1303         vpmulhrsw       xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1304         vpmulhrsw       xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1305         vpmulhrsw       xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1306         vpmulhrsw       xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1307         vpmulhrsw       xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1308         vpmulhrsw       xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1309         vpmulhrsw       xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1310         vpmulhrsw       ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1311         vpmulhrsw       ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1312         vpmulhrsw       ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1313         vpmulhrsw       ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1314         vpmulhrsw       ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1315         vpmulhrsw       ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1316         vpmulhrsw       ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1317         vpmulhrsw       ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1318         vpmulhuw        xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1319         vpmulhuw        xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1320         vpmulhuw        xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1321         vpmulhuw        xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1322         vpmulhuw        xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1323         vpmulhuw        xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1324         vpmulhuw        xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1325         vpmulhuw        xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1326         vpmulhuw        ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1327         vpmulhuw        ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1328         vpmulhuw        ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1329         vpmulhuw        ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1330         vpmulhuw        ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1331         vpmulhuw        ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1332         vpmulhuw        ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1333         vpmulhuw        ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1334         vpmulhw xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1335         vpmulhw xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1336         vpmulhw xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1337         vpmulhw xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1338         vpmulhw xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1339         vpmulhw xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1340         vpmulhw xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1341         vpmulhw xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1342         vpmulhw ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1343         vpmulhw ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1344         vpmulhw ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1345         vpmulhw ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1346         vpmulhw ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1347         vpmulhw ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1348         vpmulhw ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1349         vpmulhw ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1350         vpmullw xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1351         vpmullw xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1352         vpmullw xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1353         vpmullw xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1354         vpmullw xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1355         vpmullw xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1356         vpmullw xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1357         vpmullw xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1358         vpmullw ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1359         vpmullw ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1360         vpmullw ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1361         vpmullw ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1362         vpmullw ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1363         vpmullw ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1364         vpmullw ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1365         vpmullw ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1366         vpshufb xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1367         vpshufb xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1368         vpshufb xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1369         vpshufb xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1370         vpshufb xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1371         vpshufb xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1372         vpshufb xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1373         vpshufb xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1374         vpshufb ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1375         vpshufb ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1376         vpshufb ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1377         vpshufb ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1378         vpshufb ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1379         vpshufb ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1380         vpshufb ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1381         vpshufb ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1382         vpshufhw        xmm6{k7}, xmm5, 0xab     # AVX512{BW,VL}
1383         vpshufhw        xmm6{k7}{z}, xmm5, 0xab  # AVX512{BW,VL}
1384         vpshufhw        xmm6{k7}, xmm5, 123      # AVX512{BW,VL}
1385         vpshufhw        xmm6{k7}, XMMWORD PTR [ecx], 123         # AVX512{BW,VL}
1386         vpshufhw        xmm6{k7}, XMMWORD PTR [esp+esi*8-123456], 123    # AVX512{BW,VL}
1387         vpshufhw        xmm6{k7}, XMMWORD PTR [edx+2032], 123    # AVX512{BW,VL} Disp8
1388         vpshufhw        xmm6{k7}, XMMWORD PTR [edx+2048], 123    # AVX512{BW,VL}
1389         vpshufhw        xmm6{k7}, XMMWORD PTR [edx-2048], 123    # AVX512{BW,VL} Disp8
1390         vpshufhw        xmm6{k7}, XMMWORD PTR [edx-2064], 123    # AVX512{BW,VL}
1391         vpshufhw        ymm6{k7}, ymm5, 0xab     # AVX512{BW,VL}
1392         vpshufhw        ymm6{k7}{z}, ymm5, 0xab  # AVX512{BW,VL}
1393         vpshufhw        ymm6{k7}, ymm5, 123      # AVX512{BW,VL}
1394         vpshufhw        ymm6{k7}, YMMWORD PTR [ecx], 123         # AVX512{BW,VL}
1395         vpshufhw        ymm6{k7}, YMMWORD PTR [esp+esi*8-123456], 123    # AVX512{BW,VL}
1396         vpshufhw        ymm6{k7}, YMMWORD PTR [edx+4064], 123    # AVX512{BW,VL} Disp8
1397         vpshufhw        ymm6{k7}, YMMWORD PTR [edx+4096], 123    # AVX512{BW,VL}
1398         vpshufhw        ymm6{k7}, YMMWORD PTR [edx-4096], 123    # AVX512{BW,VL} Disp8
1399         vpshufhw        ymm6{k7}, YMMWORD PTR [edx-4128], 123    # AVX512{BW,VL}
1400         vpshuflw        xmm6{k7}, xmm5, 0xab     # AVX512{BW,VL}
1401         vpshuflw        xmm6{k7}{z}, xmm5, 0xab  # AVX512{BW,VL}
1402         vpshuflw        xmm6{k7}, xmm5, 123      # AVX512{BW,VL}
1403         vpshuflw        xmm6{k7}, XMMWORD PTR [ecx], 123         # AVX512{BW,VL}
1404         vpshuflw        xmm6{k7}, XMMWORD PTR [esp+esi*8-123456], 123    # AVX512{BW,VL}
1405         vpshuflw        xmm6{k7}, XMMWORD PTR [edx+2032], 123    # AVX512{BW,VL} Disp8
1406         vpshuflw        xmm6{k7}, XMMWORD PTR [edx+2048], 123    # AVX512{BW,VL}
1407         vpshuflw        xmm6{k7}, XMMWORD PTR [edx-2048], 123    # AVX512{BW,VL} Disp8
1408         vpshuflw        xmm6{k7}, XMMWORD PTR [edx-2064], 123    # AVX512{BW,VL}
1409         vpshuflw        ymm6{k7}, ymm5, 0xab     # AVX512{BW,VL}
1410         vpshuflw        ymm6{k7}{z}, ymm5, 0xab  # AVX512{BW,VL}
1411         vpshuflw        ymm6{k7}, ymm5, 123      # AVX512{BW,VL}
1412         vpshuflw        ymm6{k7}, YMMWORD PTR [ecx], 123         # AVX512{BW,VL}
1413         vpshuflw        ymm6{k7}, YMMWORD PTR [esp+esi*8-123456], 123    # AVX512{BW,VL}
1414         vpshuflw        ymm6{k7}, YMMWORD PTR [edx+4064], 123    # AVX512{BW,VL} Disp8
1415         vpshuflw        ymm6{k7}, YMMWORD PTR [edx+4096], 123    # AVX512{BW,VL}
1416         vpshuflw        ymm6{k7}, YMMWORD PTR [edx-4096], 123    # AVX512{BW,VL} Disp8
1417         vpshuflw        ymm6{k7}, YMMWORD PTR [edx-4128], 123    # AVX512{BW,VL}
1418         vpsllw  xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1419         vpsllw  xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1420         vpsllw  xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1421         vpsllw  xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1422         vpsllw  xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1423         vpsllw  xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1424         vpsllw  xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1425         vpsllw  xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1426         vpsllw  ymm6{k7}, ymm5, xmm4     # AVX512{BW,VL}
1427         vpsllw  ymm6{k7}{z}, ymm5, xmm4  # AVX512{BW,VL}
1428         vpsllw  ymm6{k7}, ymm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1429         vpsllw  ymm6{k7}, ymm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1430         vpsllw  ymm6{k7}, ymm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1431         vpsllw  ymm6{k7}, ymm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1432         vpsllw  ymm6{k7}, ymm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1433         vpsllw  ymm6{k7}, ymm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1434         vpsraw  xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1435         vpsraw  xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1436         vpsraw  xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1437         vpsraw  xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1438         vpsraw  xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1439         vpsraw  xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1440         vpsraw  xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1441         vpsraw  xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1442         vpsraw  ymm6{k7}, ymm5, xmm4     # AVX512{BW,VL}
1443         vpsraw  ymm6{k7}{z}, ymm5, xmm4  # AVX512{BW,VL}
1444         vpsraw  ymm6{k7}, ymm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1445         vpsraw  ymm6{k7}, ymm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1446         vpsraw  ymm6{k7}, ymm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1447         vpsraw  ymm6{k7}, ymm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1448         vpsraw  ymm6{k7}, ymm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1449         vpsraw  ymm6{k7}, ymm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1450         vpsrlw  xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1451         vpsrlw  xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1452         vpsrlw  xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1453         vpsrlw  xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1454         vpsrlw  xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1455         vpsrlw  xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1456         vpsrlw  xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1457         vpsrlw  xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1458         vpsrlw  ymm6{k7}, ymm5, xmm4     # AVX512{BW,VL}
1459         vpsrlw  ymm6{k7}{z}, ymm5, xmm4  # AVX512{BW,VL}
1460         vpsrlw  ymm6{k7}, ymm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1461         vpsrlw  ymm6{k7}, ymm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1462         vpsrlw  ymm6{k7}, ymm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1463         vpsrlw  ymm6{k7}, ymm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1464         vpsrlw  ymm6{k7}, ymm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1465         vpsrlw  ymm6{k7}, ymm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1466         vpsrlw  xmm6{k7}, xmm5, 0xab     # AVX512{BW,VL}
1467         vpsrlw  xmm6{k7}{z}, xmm5, 0xab  # AVX512{BW,VL}
1468         vpsrlw  xmm6{k7}, xmm5, 123      # AVX512{BW,VL}
1469         vpsrlw  xmm6{k7}, XMMWORD PTR [ecx], 123         # AVX512{BW,VL}
1470         vpsrlw  xmm6{k7}, XMMWORD PTR [esp+esi*8-123456], 123    # AVX512{BW,VL}
1471         vpsrlw  xmm6{k7}, XMMWORD PTR [edx+2032], 123    # AVX512{BW,VL} Disp8
1472         vpsrlw  xmm6{k7}, XMMWORD PTR [edx+2048], 123    # AVX512{BW,VL}
1473         vpsrlw  xmm6{k7}, XMMWORD PTR [edx-2048], 123    # AVX512{BW,VL} Disp8
1474         vpsrlw  xmm6{k7}, XMMWORD PTR [edx-2064], 123    # AVX512{BW,VL}
1475         vpsrlw  ymm6{k7}, ymm5, 0xab     # AVX512{BW,VL}
1476         vpsrlw  ymm6{k7}{z}, ymm5, 0xab  # AVX512{BW,VL}
1477         vpsrlw  ymm6{k7}, ymm5, 123      # AVX512{BW,VL}
1478         vpsrlw  ymm6{k7}, YMMWORD PTR [ecx], 123         # AVX512{BW,VL}
1479         vpsrlw  ymm6{k7}, YMMWORD PTR [esp+esi*8-123456], 123    # AVX512{BW,VL}
1480         vpsrlw  ymm6{k7}, YMMWORD PTR [edx+4064], 123    # AVX512{BW,VL} Disp8
1481         vpsrlw  ymm6{k7}, YMMWORD PTR [edx+4096], 123    # AVX512{BW,VL}
1482         vpsrlw  ymm6{k7}, YMMWORD PTR [edx-4096], 123    # AVX512{BW,VL} Disp8
1483         vpsrlw  ymm6{k7}, YMMWORD PTR [edx-4128], 123    # AVX512{BW,VL}
1484         vpsraw  xmm6{k7}, xmm5, 0xab     # AVX512{BW,VL}
1485         vpsraw  xmm6{k7}{z}, xmm5, 0xab  # AVX512{BW,VL}
1486         vpsraw  xmm6{k7}, xmm5, 123      # AVX512{BW,VL}
1487         vpsraw  xmm6{k7}, XMMWORD PTR [ecx], 123         # AVX512{BW,VL}
1488         vpsraw  xmm6{k7}, XMMWORD PTR [esp+esi*8-123456], 123    # AVX512{BW,VL}
1489         vpsraw  xmm6{k7}, XMMWORD PTR [edx+2032], 123    # AVX512{BW,VL} Disp8
1490         vpsraw  xmm6{k7}, XMMWORD PTR [edx+2048], 123    # AVX512{BW,VL}
1491         vpsraw  xmm6{k7}, XMMWORD PTR [edx-2048], 123    # AVX512{BW,VL} Disp8
1492         vpsraw  xmm6{k7}, XMMWORD PTR [edx-2064], 123    # AVX512{BW,VL}
1493         vpsraw  ymm6{k7}, ymm5, 0xab     # AVX512{BW,VL}
1494         vpsraw  ymm6{k7}{z}, ymm5, 0xab  # AVX512{BW,VL}
1495         vpsraw  ymm6{k7}, ymm5, 123      # AVX512{BW,VL}
1496         vpsraw  ymm6{k7}, YMMWORD PTR [ecx], 123         # AVX512{BW,VL}
1497         vpsraw  ymm6{k7}, YMMWORD PTR [esp+esi*8-123456], 123    # AVX512{BW,VL}
1498         vpsraw  ymm6{k7}, YMMWORD PTR [edx+4064], 123    # AVX512{BW,VL} Disp8
1499         vpsraw  ymm6{k7}, YMMWORD PTR [edx+4096], 123    # AVX512{BW,VL}
1500         vpsraw  ymm6{k7}, YMMWORD PTR [edx-4096], 123    # AVX512{BW,VL} Disp8
1501         vpsraw  ymm6{k7}, YMMWORD PTR [edx-4128], 123    # AVX512{BW,VL}
1502         vpsubb  xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1503         vpsubb  xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1504         vpsubb  xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1505         vpsubb  xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1506         vpsubb  xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1507         vpsubb  xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1508         vpsubb  xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1509         vpsubb  xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1510         vpsubb  ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1511         vpsubb  ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1512         vpsubb  ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1513         vpsubb  ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1514         vpsubb  ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1515         vpsubb  ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1516         vpsubb  ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1517         vpsubb  ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1518         vpsubsb xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1519         vpsubsb xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1520         vpsubsb xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1521         vpsubsb xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1522         vpsubsb xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1523         vpsubsb xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1524         vpsubsb xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1525         vpsubsb xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1526         vpsubsb ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1527         vpsubsb ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1528         vpsubsb ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1529         vpsubsb ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1530         vpsubsb ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1531         vpsubsb ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1532         vpsubsb ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1533         vpsubsb ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1534         vpsubsw xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1535         vpsubsw xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1536         vpsubsw xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1537         vpsubsw xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1538         vpsubsw xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1539         vpsubsw xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1540         vpsubsw xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1541         vpsubsw xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1542         vpsubsw ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1543         vpsubsw ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1544         vpsubsw ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1545         vpsubsw ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1546         vpsubsw ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1547         vpsubsw ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1548         vpsubsw ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1549         vpsubsw ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1550         vpsubusb        xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1551         vpsubusb        xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1552         vpsubusb        xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1553         vpsubusb        xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1554         vpsubusb        xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1555         vpsubusb        xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1556         vpsubusb        xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1557         vpsubusb        xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1558         vpsubusb        ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1559         vpsubusb        ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1560         vpsubusb        ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1561         vpsubusb        ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1562         vpsubusb        ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1563         vpsubusb        ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1564         vpsubusb        ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1565         vpsubusb        ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1566         vpsubusw        xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1567         vpsubusw        xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1568         vpsubusw        xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1569         vpsubusw        xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1570         vpsubusw        xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1571         vpsubusw        xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1572         vpsubusw        xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1573         vpsubusw        xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1574         vpsubusw        ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1575         vpsubusw        ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1576         vpsubusw        ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1577         vpsubusw        ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1578         vpsubusw        ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1579         vpsubusw        ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1580         vpsubusw        ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1581         vpsubusw        ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1582         vpsubw  xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1583         vpsubw  xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1584         vpsubw  xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1585         vpsubw  xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1586         vpsubw  xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1587         vpsubw  xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1588         vpsubw  xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1589         vpsubw  xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1590         vpsubw  ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1591         vpsubw  ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1592         vpsubw  ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1593         vpsubw  ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1594         vpsubw  ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1595         vpsubw  ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1596         vpsubw  ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1597         vpsubw  ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1598         vpunpckhbw      xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1599         vpunpckhbw      xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1600         vpunpckhbw      xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1601         vpunpckhbw      xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1602         vpunpckhbw      xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1603         vpunpckhbw      xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1604         vpunpckhbw      xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1605         vpunpckhbw      xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1606         vpunpckhbw      ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1607         vpunpckhbw      ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1608         vpunpckhbw      ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1609         vpunpckhbw      ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1610         vpunpckhbw      ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1611         vpunpckhbw      ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1612         vpunpckhbw      ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1613         vpunpckhbw      ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1614         vpunpckhwd      xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1615         vpunpckhwd      xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1616         vpunpckhwd      xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1617         vpunpckhwd      xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1618         vpunpckhwd      xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1619         vpunpckhwd      xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1620         vpunpckhwd      xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1621         vpunpckhwd      xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1622         vpunpckhwd      ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1623         vpunpckhwd      ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1624         vpunpckhwd      ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1625         vpunpckhwd      ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1626         vpunpckhwd      ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1627         vpunpckhwd      ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1628         vpunpckhwd      ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1629         vpunpckhwd      ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1630         vpunpcklbw      xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1631         vpunpcklbw      xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1632         vpunpcklbw      xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1633         vpunpcklbw      xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1634         vpunpcklbw      xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1635         vpunpcklbw      xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1636         vpunpcklbw      xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1637         vpunpcklbw      xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1638         vpunpcklbw      ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1639         vpunpcklbw      ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1640         vpunpcklbw      ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1641         vpunpcklbw      ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1642         vpunpcklbw      ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1643         vpunpcklbw      ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1644         vpunpcklbw      ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1645         vpunpcklbw      ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1646         vpunpcklwd      xmm6{k7}, xmm5, xmm4     # AVX512{BW,VL}
1647         vpunpcklwd      xmm6{k7}{z}, xmm5, xmm4  # AVX512{BW,VL}
1648         vpunpcklwd      xmm6{k7}, xmm5, XMMWORD PTR [ecx]        # AVX512{BW,VL}
1649         vpunpcklwd      xmm6{k7}, xmm5, XMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1650         vpunpcklwd      xmm6{k7}, xmm5, XMMWORD PTR [edx+2032]   # AVX512{BW,VL} Disp8
1651         vpunpcklwd      xmm6{k7}, xmm5, XMMWORD PTR [edx+2048]   # AVX512{BW,VL}
1652         vpunpcklwd      xmm6{k7}, xmm5, XMMWORD PTR [edx-2048]   # AVX512{BW,VL} Disp8
1653         vpunpcklwd      xmm6{k7}, xmm5, XMMWORD PTR [edx-2064]   # AVX512{BW,VL}
1654         vpunpcklwd      ymm6{k7}, ymm5, ymm4     # AVX512{BW,VL}
1655         vpunpcklwd      ymm6{k7}{z}, ymm5, ymm4  # AVX512{BW,VL}
1656         vpunpcklwd      ymm6{k7}, ymm5, YMMWORD PTR [ecx]        # AVX512{BW,VL}
1657         vpunpcklwd      ymm6{k7}, ymm5, YMMWORD PTR [esp+esi*8-123456]   # AVX512{BW,VL}
1658         vpunpcklwd      ymm6{k7}, ymm5, YMMWORD PTR [edx+4064]   # AVX512{BW,VL} Disp8
1659         vpunpcklwd      ymm6{k7}, ymm5, YMMWORD PTR [edx+4096]   # AVX512{BW,VL}
1660         vpunpcklwd      ymm6{k7}, ymm5, YMMWORD PTR [edx-4096]   # AVX512{BW,VL} Disp8
1661         vpunpcklwd      ymm6{k7}, ymm5, YMMWORD PTR [edx-4128]   # AVX512{BW,VL}
1662         vpsllw  xmm6{k7}, xmm5, 0xab     # AVX512{BW,VL}
1663         vpsllw  xmm6{k7}{z}, xmm5, 0xab  # AVX512{BW,VL}
1664         vpsllw  xmm6{k7}, xmm5, 123      # AVX512{BW,VL}
1665         vpsllw  xmm6{k7}, XMMWORD PTR [ecx], 123         # AVX512{BW,VL}
1666         vpsllw  xmm6{k7}, XMMWORD PTR [esp+esi*8-123456], 123    # AVX512{BW,VL}
1667         vpsllw  xmm6{k7}, XMMWORD PTR [edx+2032], 123    # AVX512{BW,VL} Disp8
1668         vpsllw  xmm6{k7}, XMMWORD PTR [edx+2048], 123    # AVX512{BW,VL}
1669         vpsllw  xmm6{k7}, XMMWORD PTR [edx-2048], 123    # AVX512{BW,VL} Disp8
1670         vpsllw  xmm6{k7}, XMMWORD PTR [edx-2064], 123    # AVX512{BW,VL}
1671         vpsllw  ymm6{k7}, ymm5, 0xab     # AVX512{BW,VL}
1672         vpsllw  ymm6{k7}{z}, ymm5, 0xab  # AVX512{BW,VL}
1673         vpsllw  ymm6{k7}, ymm5, 123      # AVX512{BW,VL}
1674         vpsllw  ymm6{k7}, YMMWORD PTR [ecx], 123         # AVX512{BW,VL}
1675         vpsllw  ymm6{k7}, YMMWORD PTR [esp+esi*8-123456], 123    # AVX512{BW,VL}
1676         vpsllw  ymm6{k7}, YMMWORD PTR [edx+4064], 123    # AVX512{BW,VL} Disp8
1677         vpsllw  ymm6{k7}, YMMWORD PTR [edx+4096], 123    # AVX512{BW,VL}
1678         vpsllw  ymm6{k7}, YMMWORD PTR [edx-4096], 123    # AVX512{BW,VL} Disp8
1679         vpsllw  ymm6{k7}, YMMWORD PTR [edx-4128], 123    # AVX512{BW,VL}