1/* 2 * This file and its contents are supplied under the terms of the 3 * Common Development and Distribution License ("CDDL"), version 1.0. 4 * You may only use this file in accordance with the terms of version 5 * 1.0 of the CDDL. 6 * 7 * A full copy of the text of the CDDL should have accompanied this 8 * source. A copy of the CDDL is also available via the Internet at 9 * http://www.illumos.org/license/CDDL. 10 */ 11 12/* 13 * Copyright 2024 Oxide Computer Company 14 */ 15 16/* 17 * AVX-512 VBMI2 instruction decoding. 18 */ 19 20.text 21.align 16 22.globl libdis_test 23.type libdis_test, @function 24libdis_test: 25 vpshldw $0x23, %xmm0, %xmm1, %xmm2 26 vpshldw $0x23, %xmm10, %xmm11, %xmm12{%k1} 27 vpshldw $0x23, %xmm20, %xmm21, %xmm22{%k2}{z} 28 vpshldw $0x42, (%rax), %xmm4, %xmm5 29 vpshldw $0x42, 0x23(%rax), %xmm4, %xmm5{%k3} 30 vpshldw $0x42, 0x23(%rbx, %rcx, 4), %xmm4, %xmm5{%k4}{z} 31 32 vpshldw $0x23, %ymm0, %ymm1, %ymm2 33 vpshldw $0x23, %ymm10, %ymm11, %ymm12{%k1} 34 vpshldw $0x23, %ymm20, %ymm21, %ymm22{%k2}{z} 35 vpshldw $0x42, (%rax), %ymm4, %ymm5 36 vpshldw $0x42, 0x23(%rax), %ymm4, %ymm5{%k3} 37 vpshldw $0x42, 0x23(%rbx, %rcx, 4), %ymm4, %ymm5{%k4}{z} 38 39 vpshldw $0x23, %zmm0, %zmm1, %zmm2 40 vpshldw $0x23, %zmm10, %zmm11, %zmm12{%k1} 41 vpshldw $0x23, %zmm20, %zmm21, %zmm22{%k2}{z} 42 vpshldw $0x42, (%rax), %zmm4, %zmm5 43 vpshldw $0x42, 0x23(%rax), %zmm4, %zmm5{%k3} 44 vpshldw $0x42, 0x23(%rbx, %rcx, 4), %zmm4, %zmm5{%k4}{z} 45 46 vpshldd $0x23, %xmm0, %xmm1, %xmm2 47 vpshldd $0x23, %xmm10, %xmm11, %xmm12{%k1} 48 vpshldd $0x23, %xmm20, %xmm21, %xmm22{%k2}{z} 49 vpshldd $0x42, (%rax), %xmm4, %xmm5 50 vpshldd $0x42, 0x23(%rax), %xmm4, %xmm5{%k3} 51 vpshldd $0x42, 0x23(%rbx, %rcx, 4), %xmm4, %xmm5{%k4}{z} 52 vpshldd $0x42, (%rdx){1to4}, %xmm4, %xmm5 53 vpshldd $0x42, 0x72(%rdx){1to4}, %xmm24, %xmm25{%k5} 54 55 vpshldd $0x23, %ymm0, %ymm1, %ymm2 56 vpshldd $0x23, %ymm10, %ymm11, %ymm12{%k1} 57 vpshldd $0x23, %ymm20, %ymm21, %ymm22{%k2}{z} 58 vpshldd $0x42, (%rax), %ymm4, %ymm5 59 vpshldd $0x42, 0x23(%rax), %ymm4, %ymm5{%k3} 60 vpshldd $0x42, 0x23(%rbx, %rcx, 4), %ymm4, %ymm5{%k4}{z} 61 vpshldd $0x42, (%rdx){1to8}, %ymm4, %ymm5 62 vpshldd $0x42, 0x72(%rdx){1to8}, %ymm24, %ymm25{%k5} 63 64 vpshldd $0x23, %zmm0, %zmm1, %zmm2 65 vpshldd $0x23, %zmm10, %zmm11, %zmm12{%k1} 66 vpshldd $0x23, %zmm20, %zmm21, %zmm22{%k2}{z} 67 vpshldd $0x42, (%rax), %zmm4, %zmm5 68 vpshldd $0x42, 0x23(%rax), %zmm4, %zmm5{%k3} 69 vpshldd $0x42, 0x23(%rbx, %rcx, 4), %zmm4, %zmm5{%k4}{z} 70 vpshldd $0x42, (%rdx){1to16}, %zmm4, %zmm5 71 vpshldd $0x42, 0x72(%rdx){1to16}, %zmm24, %zmm25{%k5} 72 73 vpshldq $0x23, %xmm0, %xmm1, %xmm2 74 vpshldq $0x23, %xmm10, %xmm11, %xmm12{%k1} 75 vpshldq $0x23, %xmm20, %xmm21, %xmm22{%k2}{z} 76 vpshldq $0x42, (%rax), %xmm4, %xmm5 77 vpshldq $0x42, 0x23(%rax), %xmm4, %xmm5{%k3} 78 vpshldq $0x42, 0x23(%rbx, %rcx, 4), %xmm4, %xmm5{%k4}{z} 79 vpshldq $0x42, (%rdx){1to2}, %xmm4, %xmm5 80 vpshldq $0x42, 0x72(%rdx){1to2}, %xmm24, %xmm25{%k5} 81 82 vpshldq $0x23, %ymm0, %ymm1, %ymm2 83 vpshldq $0x23, %ymm10, %ymm11, %ymm12{%k1} 84 vpshldq $0x23, %ymm20, %ymm21, %ymm22{%k2}{z} 85 vpshldq $0x42, (%rax), %ymm4, %ymm5 86 vpshldq $0x42, 0x23(%rax), %ymm4, %ymm5{%k3} 87 vpshldq $0x42, 0x23(%rbx, %rcx, 4), %ymm4, %ymm5{%k4}{z} 88 vpshldq $0x42, (%rdx){1to4}, %ymm4, %ymm5 89 vpshldq $0x42, 0x72(%rdx){1to4}, %ymm24, %ymm25{%k5} 90 91 vpshldq $0x23, %zmm0, %zmm1, %zmm2 92 vpshldq $0x23, %zmm10, %zmm11, %zmm12{%k1} 93 vpshldq $0x23, %zmm20, %zmm21, %zmm22{%k2}{z} 94 vpshldq $0x42, (%rax), %zmm4, %zmm5 95 vpshldq $0x42, 0x23(%rax), %zmm4, %zmm5{%k3} 96 vpshldq $0x42, 0x23(%rbx, %rcx, 4), %zmm4, %zmm5{%k4}{z} 97 vpshldq $0x42, (%rdx){1to8}, %zmm4, %zmm5 98 vpshldq $0x42, 0x72(%rdx){1to8}, %zmm24, %zmm25{%k5} 99 100 vpshrdw $0x23, %xmm0, %xmm1, %xmm2 101 vpshrdw $0x23, %xmm10, %xmm11, %xmm12{%k1} 102 vpshrdw $0x23, %xmm20, %xmm21, %xmm22{%k2}{z} 103 vpshrdw $0x42, (%rax), %xmm4, %xmm5 104 vpshrdw $0x42, 0x23(%rax), %xmm4, %xmm5{%k3} 105 vpshrdw $0x42, 0x23(%rbx, %rcx, 4), %xmm4, %xmm5{%k4}{z} 106 107 vpshrdw $0x23, %ymm0, %ymm1, %ymm2 108 vpshrdw $0x23, %ymm10, %ymm11, %ymm12{%k1} 109 vpshrdw $0x23, %ymm20, %ymm21, %ymm22{%k2}{z} 110 vpshrdw $0x42, (%rax), %ymm4, %ymm5 111 vpshrdw $0x42, 0x23(%rax), %ymm4, %ymm5{%k3} 112 vpshrdw $0x42, 0x23(%rbx, %rcx, 4), %ymm4, %ymm5{%k4}{z} 113 114 vpshrdw $0x23, %zmm0, %zmm1, %zmm2 115 vpshrdw $0x23, %zmm10, %zmm11, %zmm12{%k1} 116 vpshrdw $0x23, %zmm20, %zmm21, %zmm22{%k2}{z} 117 vpshrdw $0x42, (%rax), %zmm4, %zmm5 118 vpshrdw $0x42, 0x23(%rax), %zmm4, %zmm5{%k3} 119 vpshrdw $0x42, 0x23(%rbx, %rcx, 4), %zmm4, %zmm5{%k4}{z} 120 121 vpshrdd $0x23, %xmm0, %xmm1, %xmm2 122 vpshrdd $0x23, %xmm10, %xmm11, %xmm12{%k1} 123 vpshrdd $0x23, %xmm20, %xmm21, %xmm22{%k2}{z} 124 vpshrdd $0x42, (%rax), %xmm4, %xmm5 125 vpshrdd $0x42, 0x23(%rax), %xmm4, %xmm5{%k3} 126 vpshrdd $0x42, 0x23(%rbx, %rcx, 4), %xmm4, %xmm5{%k4}{z} 127 vpshrdd $0x42, (%rdx){1to4}, %xmm4, %xmm5 128 vpshrdd $0x42, 0x72(%rdx){1to4}, %xmm24, %xmm25{%k5} 129 130 vpshrdd $0x23, %ymm0, %ymm1, %ymm2 131 vpshrdd $0x23, %ymm10, %ymm11, %ymm12{%k1} 132 vpshrdd $0x23, %ymm20, %ymm21, %ymm22{%k2}{z} 133 vpshrdd $0x42, (%rax), %ymm4, %ymm5 134 vpshrdd $0x42, 0x23(%rax), %ymm4, %ymm5{%k3} 135 vpshrdd $0x42, 0x23(%rbx, %rcx, 4), %ymm4, %ymm5{%k4}{z} 136 vpshrdd $0x42, (%rdx){1to8}, %ymm4, %ymm5 137 vpshrdd $0x42, 0x72(%rdx){1to8}, %ymm24, %ymm25{%k5} 138 139 vpshrdd $0x23, %zmm0, %zmm1, %zmm2 140 vpshrdd $0x23, %zmm10, %zmm11, %zmm12{%k1} 141 vpshrdd $0x23, %zmm20, %zmm21, %zmm22{%k2}{z} 142 vpshrdd $0x42, (%rax), %zmm4, %zmm5 143 vpshrdd $0x42, 0x23(%rax), %zmm4, %zmm5{%k3} 144 vpshrdd $0x42, 0x23(%rbx, %rcx, 4), %zmm4, %zmm5{%k4}{z} 145 vpshrdd $0x42, (%rdx){1to16}, %zmm4, %zmm5 146 vpshrdd $0x42, 0x72(%rdx){1to16}, %zmm24, %zmm25{%k5} 147 148 vpshrdq $0x23, %xmm0, %xmm1, %xmm2 149 vpshrdq $0x23, %xmm10, %xmm11, %xmm12{%k1} 150 vpshrdq $0x23, %xmm20, %xmm21, %xmm22{%k2}{z} 151 vpshrdq $0x42, (%rax), %xmm4, %xmm5 152 vpshrdq $0x42, 0x23(%rax), %xmm4, %xmm5{%k3} 153 vpshrdq $0x42, 0x23(%rbx, %rcx, 4), %xmm4, %xmm5{%k4}{z} 154 vpshrdq $0x42, (%rdx){1to2}, %xmm4, %xmm5 155 vpshrdq $0x42, 0x72(%rdx){1to2}, %xmm24, %xmm25{%k5} 156 157 vpshrdq $0x23, %ymm0, %ymm1, %ymm2 158 vpshrdq $0x23, %ymm10, %ymm11, %ymm12{%k1} 159 vpshrdq $0x23, %ymm20, %ymm21, %ymm22{%k2}{z} 160 vpshrdq $0x42, (%rax), %ymm4, %ymm5 161 vpshrdq $0x42, 0x23(%rax), %ymm4, %ymm5{%k3} 162 vpshrdq $0x42, 0x23(%rbx, %rcx, 4), %ymm4, %ymm5{%k4}{z} 163 vpshrdq $0x42, (%rdx){1to4}, %ymm4, %ymm5 164 vpshrdq $0x42, 0x72(%rdx){1to4}, %ymm24, %ymm25{%k5} 165 166 vpshrdq $0x23, %zmm0, %zmm1, %zmm2 167 vpshrdq $0x23, %zmm10, %zmm11, %zmm12{%k1} 168 vpshrdq $0x23, %zmm20, %zmm21, %zmm22{%k2}{z} 169 vpshrdq $0x42, (%rax), %zmm4, %zmm5 170 vpshrdq $0x42, 0x23(%rax), %zmm4, %zmm5{%k3} 171 vpshrdq $0x42, 0x23(%rbx, %rcx, 4), %zmm4, %zmm5{%k4}{z} 172 vpshrdq $0x42, (%rdx){1to8}, %zmm4, %zmm5 173 vpshrdq $0x42, 0x72(%rdx){1to8}, %zmm24, %zmm25{%k5} 174 175 vpcompressb %xmm0, %xmm1 176 vpcompressb %xmm1, %xmm2{%k1} 177 vpcompressb %xmm2, %xmm3{%k2}{z} 178 vpcompressb %xmm4, (%rax) 179 vpcompressb %xmm5, (%rax){%k3} 180 vpcompressb %xmm6, 0x23(%rax) 181 vpcompressb %xmm6, 0x24(%rax) 182 vpcompressb %xmm7, 0x42(%rax){%k3} 183 184 vpcompressb %ymm0, %ymm1 185 vpcompressb %ymm1, %ymm2{%k1} 186 vpcompressb %ymm2, %ymm3{%k2}{z} 187 vpcompressb %ymm4, (%rax) 188 vpcompressb %ymm5, (%rax){%k3} 189 vpcompressb %ymm6, 0x23(%rax) 190 vpcompressb %ymm6, 0x24(%rax) 191 vpcompressb %ymm7, 0x42(%rax){%k3} 192 193 vpcompressb %zmm0, %zmm1 194 vpcompressb %zmm1, %zmm2{%k1} 195 vpcompressb %zmm2, %zmm3{%k2}{z} 196 vpcompressb %zmm4, (%rax) 197 vpcompressb %zmm5, (%rax){%k3} 198 vpcompressb %zmm6, 0x23(%rax) 199 vpcompressb %zmm6, 0x24(%rax) 200 vpcompressb %zmm7, 0x42(%rax){%k3} 201 202 vpcompressw %xmm0, %xmm1 203 vpcompressw %xmm1, %xmm2{%k1} 204 vpcompressw %xmm2, %xmm3{%k2}{z} 205 vpcompressw %xmm4, (%rax) 206 vpcompressw %xmm5, (%rax){%k3} 207 vpcompressw %xmm6, 0x23(%rax) 208 vpcompressw %xmm6, 0x24(%rax) 209 vpcompressw %xmm7, 0x42(%rax){%k3} 210 211 vpcompressw %ymm0, %ymm1 212 vpcompressw %ymm1, %ymm2{%k1} 213 vpcompressw %ymm2, %ymm3{%k2}{z} 214 vpcompressw %ymm4, (%rax) 215 vpcompressw %ymm5, (%rax){%k3} 216 vpcompressw %ymm6, 0x23(%rax) 217 vpcompressw %ymm6, 0x24(%rax) 218 vpcompressw %ymm7, 0x42(%rax){%k3} 219 220 vpcompressw %zmm0, %zmm1 221 vpcompressw %zmm1, %zmm2{%k1} 222 vpcompressw %zmm2, %zmm3{%k2}{z} 223 vpcompressw %zmm4, (%rax) 224 vpcompressw %zmm5, (%rax){%k3} 225 vpcompressw %zmm6, 0x23(%rax) 226 vpcompressw %zmm6, 0x24(%rax) 227 vpcompressw %zmm7, 0x42(%rax){%k3} 228 229 vpexpandb %xmm0, %xmm1 230 vpexpandb %xmm1, %xmm2{%k1} 231 vpexpandb %xmm2, %xmm3{%k2}{z} 232 vpexpandb (%rax), %xmm4 233 vpexpandb (%rax), %xmm5{%k3} 234 vpexpandb 0x23(%rax), %xmm6 235 vpexpandb 0x24(%rax), %xmm6 236 vpexpandb 0x42(%rax), %xmm7{%k3}{z} 237 238 vpexpandb %ymm0, %ymm1 239 vpexpandb %ymm1, %ymm2{%k1} 240 vpexpandb %ymm2, %ymm3{%k2}{z} 241 vpexpandb (%rax), %ymm4 242 vpexpandb (%rax), %ymm5{%k3} 243 vpexpandb 0x23(%rax), %ymm6 244 vpexpandb 0x24(%rax), %ymm6 245 vpexpandb 0x42(%rax), %ymm7{%k3}{z} 246 247 vpexpandb %zmm0, %zmm1 248 vpexpandb %zmm1, %zmm2{%k1} 249 vpexpandb %zmm2, %zmm3{%k2}{z} 250 vpexpandb (%rax), %zmm4 251 vpexpandb (%rax), %zmm5{%k3} 252 vpexpandb 0x23(%rax), %zmm6 253 vpexpandb 0x24(%rax), %zmm6 254 vpexpandb 0x42(%rax), %zmm7{%k3}{z} 255 256 vpshldvw %xmm0, %xmm1, %xmm2 257 vpshldvw %xmm10, %xmm11, %xmm12{%k1} 258 vpshldvw %xmm20, %xmm21, %xmm22{%k2}{z} 259 vpshldvw (%rax), %xmm4, %xmm5 260 vpshldvw 0x23(%rax), %xmm4, %xmm5{%k3} 261 vpshldvw 0x23(%rbx, %rcx, 4), %xmm4, %xmm5{%k4}{z} 262 263 vpshldvw %ymm0, %ymm1, %ymm2 264 vpshldvw %ymm10, %ymm11, %ymm12{%k1} 265 vpshldvw %ymm20, %ymm21, %ymm22{%k2}{z} 266 vpshldvw (%rax), %ymm4, %ymm5 267 vpshldvw 0x23(%rax), %ymm4, %ymm5{%k3} 268 vpshldvw 0x23(%rbx, %rcx, 4), %ymm4, %ymm5{%k4}{z} 269 270 vpshldvw %zmm0, %zmm1, %zmm2 271 vpshldvw %zmm10, %zmm11, %zmm12{%k1} 272 vpshldvw %zmm20, %zmm21, %zmm22{%k2}{z} 273 vpshldvw (%rax), %zmm4, %zmm5 274 vpshldvw 0x23(%rax), %zmm4, %zmm5{%k3} 275 vpshldvw 0x23(%rbx, %rcx, 4), %zmm4, %zmm5{%k4}{z} 276 277 vpshldvd %xmm0, %xmm1, %xmm2 278 vpshldvd %xmm10, %xmm11, %xmm12{%k1} 279 vpshldvd %xmm20, %xmm21, %xmm22{%k2}{z} 280 vpshldvd (%rax), %xmm4, %xmm5 281 vpshldvd 0x23(%rax), %xmm4, %xmm5{%k3} 282 vpshldvd 0x23(%rbx, %rcx, 4), %xmm4, %xmm5{%k4}{z} 283 vpshldvd (%rdx){1to4}, %xmm4, %xmm5 284 vpshldvd 0x72(%rdx){1to4}, %xmm24, %xmm25{%k5} 285 286 vpshldvd %ymm0, %ymm1, %ymm2 287 vpshldvd %ymm10, %ymm11, %ymm12{%k1} 288 vpshldvd %ymm20, %ymm21, %ymm22{%k2}{z} 289 vpshldvd (%rax), %ymm4, %ymm5 290 vpshldvd 0x23(%rax), %ymm4, %ymm5{%k3} 291 vpshldvd 0x23(%rbx, %rcx, 4), %ymm4, %ymm5{%k4}{z} 292 vpshldvd (%rdx){1to8}, %ymm4, %ymm5 293 vpshldvd 0x72(%rdx){1to8}, %ymm24, %ymm25{%k5} 294 295 vpshldvd %zmm0, %zmm1, %zmm2 296 vpshldvd %zmm10, %zmm11, %zmm12{%k1} 297 vpshldvd %zmm20, %zmm21, %zmm22{%k2}{z} 298 vpshldvd (%rax), %zmm4, %zmm5 299 vpshldvd 0x23(%rax), %zmm4, %zmm5{%k3} 300 vpshldvd 0x23(%rbx, %rcx, 4), %zmm4, %zmm5{%k4}{z} 301 vpshldvd (%rdx){1to16}, %zmm4, %zmm5 302 vpshldvd 0x72(%rdx){1to16}, %zmm24, %zmm25{%k5} 303 304 vpshldvq %xmm0, %xmm1, %xmm2 305 vpshldvq %xmm10, %xmm11, %xmm12{%k1} 306 vpshldvq %xmm20, %xmm21, %xmm22{%k2}{z} 307 vpshldvq (%rax), %xmm4, %xmm5 308 vpshldvq 0x23(%rax), %xmm4, %xmm5{%k3} 309 vpshldvq 0x23(%rbx, %rcx, 4), %xmm4, %xmm5{%k4}{z} 310 vpshldvq (%rdx){1to2}, %xmm4, %xmm5 311 vpshldvq 0x72(%rdx){1to2}, %xmm24, %xmm25{%k5} 312 313 vpshldvq %ymm0, %ymm1, %ymm2 314 vpshldvq %ymm10, %ymm11, %ymm12{%k1} 315 vpshldvq %ymm20, %ymm21, %ymm22{%k2}{z} 316 vpshldvq (%rax), %ymm4, %ymm5 317 vpshldvq 0x23(%rax), %ymm4, %ymm5{%k3} 318 vpshldvq 0x23(%rbx, %rcx, 4), %ymm4, %ymm5{%k4}{z} 319 vpshldvq (%rdx){1to4}, %ymm4, %ymm5 320 vpshldvq 0x72(%rdx){1to4}, %ymm24, %ymm25{%k5} 321 322 vpshldvq %zmm0, %zmm1, %zmm2 323 vpshldvq %zmm10, %zmm11, %zmm12{%k1} 324 vpshldvq %zmm20, %zmm21, %zmm22{%k2}{z} 325 vpshldvq (%rax), %zmm4, %zmm5 326 vpshldvq 0x23(%rax), %zmm4, %zmm5{%k3} 327 vpshldvq 0x23(%rbx, %rcx, 4), %zmm4, %zmm5{%k4}{z} 328 vpshldvq (%rdx){1to8}, %zmm4, %zmm5 329 vpshldvq 0x72(%rdx){1to8}, %zmm24, %zmm25{%k5} 330 331 vpshrdvw %xmm0, %xmm1, %xmm2 332 vpshrdvw %xmm10, %xmm11, %xmm12{%k1} 333 vpshrdvw %xmm20, %xmm21, %xmm22{%k2}{z} 334 vpshrdvw (%rax), %xmm4, %xmm5 335 vpshrdvw 0x23(%rax), %xmm4, %xmm5{%k3} 336 vpshrdvw 0x23(%rbx, %rcx, 4), %xmm4, %xmm5{%k4}{z} 337 338 vpshrdvw %ymm0, %ymm1, %ymm2 339 vpshrdvw %ymm10, %ymm11, %ymm12{%k1} 340 vpshrdvw %ymm20, %ymm21, %ymm22{%k2}{z} 341 vpshrdvw (%rax), %ymm4, %ymm5 342 vpshrdvw 0x23(%rax), %ymm4, %ymm5{%k3} 343 vpshrdvw 0x23(%rbx, %rcx, 4), %ymm4, %ymm5{%k4}{z} 344 345 vpshrdvw %zmm0, %zmm1, %zmm2 346 vpshrdvw %zmm10, %zmm11, %zmm12{%k1} 347 vpshrdvw %zmm20, %zmm21, %zmm22{%k2}{z} 348 vpshrdvw (%rax), %zmm4, %zmm5 349 vpshrdvw 0x23(%rax), %zmm4, %zmm5{%k3} 350 vpshrdvw 0x23(%rbx, %rcx, 4), %zmm4, %zmm5{%k4}{z} 351 352 vpshrdvd %xmm0, %xmm1, %xmm2 353 vpshrdvd %xmm10, %xmm11, %xmm12{%k1} 354 vpshrdvd %xmm20, %xmm21, %xmm22{%k2}{z} 355 vpshrdvd (%rax), %xmm4, %xmm5 356 vpshrdvd 0x23(%rax), %xmm4, %xmm5{%k3} 357 vpshrdvd 0x23(%rbx, %rcx, 4), %xmm4, %xmm5{%k4}{z} 358 vpshrdvd (%rdx){1to4}, %xmm4, %xmm5 359 vpshrdvd 0x72(%rdx){1to4}, %xmm24, %xmm25{%k5} 360 361 vpshrdvd %ymm0, %ymm1, %ymm2 362 vpshrdvd %ymm10, %ymm11, %ymm12{%k1} 363 vpshrdvd %ymm20, %ymm21, %ymm22{%k2}{z} 364 vpshrdvd (%rax), %ymm4, %ymm5 365 vpshrdvd 0x23(%rax), %ymm4, %ymm5{%k3} 366 vpshrdvd 0x23(%rbx, %rcx, 4), %ymm4, %ymm5{%k4}{z} 367 vpshrdvd (%rdx){1to8}, %ymm4, %ymm5 368 vpshrdvd 0x72(%rdx){1to8}, %ymm24, %ymm25{%k5} 369 370 vpshrdvd %zmm0, %zmm1, %zmm2 371 vpshrdvd %zmm10, %zmm11, %zmm12{%k1} 372 vpshrdvd %zmm20, %zmm21, %zmm22{%k2}{z} 373 vpshrdvd (%rax), %zmm4, %zmm5 374 vpshrdvd 0x23(%rax), %zmm4, %zmm5{%k3} 375 vpshrdvd 0x23(%rbx, %rcx, 4), %zmm4, %zmm5{%k4}{z} 376 vpshrdvd (%rdx){1to16}, %zmm4, %zmm5 377 vpshrdvd 0x72(%rdx){1to16}, %zmm24, %zmm25{%k5} 378 379 vpshrdvq %xmm0, %xmm1, %xmm2 380 vpshrdvq %xmm10, %xmm11, %xmm12{%k1} 381 vpshrdvq %xmm20, %xmm21, %xmm22{%k2}{z} 382 vpshrdvq (%rax), %xmm4, %xmm5 383 vpshrdvq 0x23(%rax), %xmm4, %xmm5{%k3} 384 vpshrdvq 0x23(%rbx, %rcx, 4), %xmm4, %xmm5{%k4}{z} 385 vpshrdvq (%rdx){1to2}, %xmm4, %xmm5 386 vpshrdvq 0x72(%rdx){1to2}, %xmm24, %xmm25{%k5} 387 388 vpshrdvq %ymm0, %ymm1, %ymm2 389 vpshrdvq %ymm10, %ymm11, %ymm12{%k1} 390 vpshrdvq %ymm20, %ymm21, %ymm22{%k2}{z} 391 vpshrdvq (%rax), %ymm4, %ymm5 392 vpshrdvq 0x23(%rax), %ymm4, %ymm5{%k3} 393 vpshrdvq 0x23(%rbx, %rcx, 4), %ymm4, %ymm5{%k4}{z} 394 vpshrdvq (%rdx){1to4}, %ymm4, %ymm5 395 vpshrdvq 0x80(%rdx){1to4}, %ymm24, %ymm25{%k5} 396 397 vpshrdvq %zmm0, %zmm1, %zmm2 398 vpshrdvq %zmm10, %zmm11, %zmm12{%k1} 399 vpshrdvq %zmm20, %zmm21, %zmm22{%k2}{z} 400 vpshrdvq (%rax), %zmm4, %zmm5 401 vpshrdvq 0x23(%rax), %zmm4, %zmm5{%k3} 402 vpshrdvq 0x23(%rbx, %rcx, 4), %zmm4, %zmm5{%k4}{z} 403 vpshrdvq (%rdx){1to8}, %zmm4, %zmm5 404 vpshrdvq 0x72(%rdx){1to8}, %zmm24, %zmm25{%k5} 405.size libdis_test, [.-libdis_test] 406