/*
 * This file and its contents are supplied under the terms of the
 * Common Development and Distribution License ("CDDL"), version 1.0.
 * You may only use this file in accordance with the terms of version
 * 1.0 of the CDDL.
 *
 * A full copy of the text of the CDDL should have accompanied this
 * source.  A copy of the CDDL is also available via the Internet at
 * http://www.illumos.org/license/CDDL.
 */

/*
 * Copyright 2024 Oxide Computer Company
 */

/*
 * AVX-512 VBMI2 instruction decoding.
 */

.text
.align 16
.globl libdis_test
.type libdis_test, @function
libdis_test:
        vpshldw $0x23, %xmm0, %xmm1, %xmm2
        vpshldw $0x23, %xmm2, %xmm3, %xmm4{%k1}
        vpshldw $0x23, %xmm7, %xmm0, %xmm1{%k2}{z}
        vpshldw $0x42, (%eax), %xmm4, %xmm5
        vpshldw $0x42, 0x23(%eax), %xmm4, %xmm5{%k3}
        vpshldw $0x42, 0x23(%ebx, %ecx, 4), %xmm4, %xmm5{%k4}{z}

        vpshldw $0x23, %ymm0, %ymm1, %ymm2
        vpshldw $0x23, %ymm2, %ymm3, %ymm4{%k1}
        vpshldw $0x23, %ymm7, %ymm0, %ymm1{%k2}{z}
        vpshldw $0x42, (%eax), %ymm4, %ymm5
        vpshldw $0x42, 0x23(%eax), %ymm4, %ymm5{%k3}
        vpshldw $0x42, 0x23(%ebx, %ecx, 4), %ymm4, %ymm5{%k4}{z}

        vpshldw $0x23, %zmm0, %zmm1, %zmm2
        vpshldw $0x23, %zmm2, %zmm3, %zmm4{%k1}
        vpshldw $0x23, %zmm7, %zmm0, %zmm1{%k2}{z}
        vpshldw $0x42, (%eax), %zmm4, %zmm5
        vpshldw $0x42, 0x23(%eax), %zmm4, %zmm5{%k3}
        vpshldw $0x42, 0x23(%ebx, %ecx, 4), %zmm4, %zmm5{%k4}{z}

        vpshldd $0x23, %xmm0, %xmm1, %xmm2
        vpshldd $0x23, %xmm2, %xmm3, %xmm4{%k1}
        vpshldd $0x23, %xmm7, %xmm0, %xmm1{%k2}{z}
        vpshldd $0x42, (%eax), %xmm4, %xmm5
        vpshldd $0x42, 0x23(%eax), %xmm4, %xmm5{%k3}
        vpshldd $0x42, 0x23(%ebx, %ecx, 4), %xmm4, %xmm5{%k4}{z}
        vpshldd $0x42, (%edx){1to4}, %xmm4, %xmm5
        vpshldd $0x42, 0x72(%edx){1to4}, %xmm4, %xmm5{%k5}

        vpshldd $0x23, %ymm0, %ymm1, %ymm2
        vpshldd $0x23, %ymm2, %ymm3, %ymm4{%k1}
        vpshldd $0x23, %ymm7, %ymm0, %ymm1{%k2}{z}
        vpshldd $0x42, (%eax), %ymm4, %ymm5
        vpshldd $0x42, 0x23(%eax), %ymm4, %ymm5{%k3}
        vpshldd $0x42, 0x23(%ebx, %ecx, 4), %ymm4, %ymm5{%k4}{z}
        vpshldd $0x42, (%edx){1to8}, %ymm4, %ymm5
        vpshldd $0x42, 0x72(%edx){1to8}, %ymm4, %ymm5{%k5}

        vpshldd $0x23, %zmm0, %zmm1, %zmm2
        vpshldd $0x23, %zmm2, %zmm3, %zmm4{%k1}
        vpshldd $0x23, %zmm7, %zmm0, %zmm1{%k2}{z}
        vpshldd $0x42, (%eax), %zmm4, %zmm5
        vpshldd $0x42, 0x23(%eax), %zmm4, %zmm5{%k3}
        vpshldd $0x42, 0x23(%ebx, %ecx, 4), %zmm4, %zmm5{%k4}{z}
        vpshldd $0x42, (%edx){1to16}, %zmm4, %zmm5
        vpshldd $0x42, 0x72(%edx){1to16}, %zmm4, %zmm5{%k5}

        vpshldq $0x23, %xmm0, %xmm1, %xmm2
        vpshldq $0x23, %xmm2, %xmm3, %xmm4{%k1}
        vpshldq $0x23, %xmm7, %xmm0, %xmm1{%k2}{z}
        vpshldq $0x42, (%eax), %xmm4, %xmm5
        vpshldq $0x42, 0x23(%eax), %xmm4, %xmm5{%k3}
        vpshldq $0x42, 0x23(%ebx, %ecx, 4), %xmm4, %xmm5{%k4}{z}
        vpshldq $0x42, (%edx){1to2}, %xmm4, %xmm5
        vpshldq $0x42, 0x72(%edx){1to2}, %xmm4, %xmm5{%k5}

        vpshldq $0x23, %ymm0, %ymm1, %ymm2
        vpshldq $0x23, %ymm2, %ymm3, %ymm4{%k1}
        vpshldq $0x23, %ymm7, %ymm0, %ymm1{%k2}{z}
        vpshldq $0x42, (%eax), %ymm4, %ymm5
        vpshldq $0x42, 0x23(%eax), %ymm4, %ymm5{%k3}
        vpshldq $0x42, 0x23(%ebx, %ecx, 4), %ymm4, %ymm5{%k4}{z}
        vpshldq $0x42, (%edx){1to4}, %ymm4, %ymm5
        vpshldq $0x42, 0x72(%edx){1to4}, %ymm4, %ymm5{%k5}

        vpshldq $0x23, %zmm0, %zmm1, %zmm2
        vpshldq $0x23, %zmm2, %zmm3, %zmm4{%k1}
        vpshldq $0x23, %zmm7, %zmm0, %zmm1{%k2}{z}
        vpshldq $0x42, (%eax), %zmm4, %zmm5
        vpshldq $0x42, 0x23(%eax), %zmm4, %zmm5{%k3}
        vpshldq $0x42, 0x23(%ebx, %ecx, 4), %zmm4, %zmm5{%k4}{z}
        vpshldq $0x42, (%edx){1to8}, %zmm4, %zmm5
        vpshldq $0x42, 0x72(%edx){1to8}, %zmm4, %zmm5{%k5}

        vpshrdw $0x23, %xmm0, %xmm1, %xmm2
        vpshrdw $0x23, %xmm2, %xmm3, %xmm4{%k1}
        vpshrdw $0x23, %xmm7, %xmm0, %xmm1{%k2}{z}
        vpshrdw $0x42, (%eax), %xmm4, %xmm5
        vpshrdw $0x42, 0x23(%eax), %xmm4, %xmm5{%k3}
        vpshrdw $0x42, 0x23(%ebx, %ecx, 4), %xmm4, %xmm5{%k4}{z}

        vpshrdw $0x23, %ymm0, %ymm1, %ymm2
        vpshrdw $0x23, %ymm2, %ymm3, %ymm4{%k1}
        vpshrdw $0x23, %ymm7, %ymm0, %ymm1{%k2}{z}
        vpshrdw $0x42, (%eax), %ymm4, %ymm5
        vpshrdw $0x42, 0x23(%eax), %ymm4, %ymm5{%k3}
        vpshrdw $0x42, 0x23(%ebx, %ecx, 4), %ymm4, %ymm5{%k4}{z}

        vpshrdw $0x23, %zmm0, %zmm1, %zmm2
        vpshrdw $0x23, %zmm2, %zmm3, %zmm4{%k1}
        vpshrdw $0x23, %zmm7, %zmm0, %zmm1{%k2}{z}
        vpshrdw $0x42, (%eax), %zmm4, %zmm5
        vpshrdw $0x42, 0x23(%eax), %zmm4, %zmm5{%k3}
        vpshrdw $0x42, 0x23(%ebx, %ecx, 4), %zmm4, %zmm5{%k4}{z}

        vpshrdd $0x23, %xmm0, %xmm1, %xmm2
        vpshrdd $0x23, %xmm2, %xmm3, %xmm4{%k1}
        vpshrdd $0x23, %xmm7, %xmm0, %xmm1{%k2}{z}
        vpshrdd $0x42, (%eax), %xmm4, %xmm5
        vpshrdd $0x42, 0x23(%eax), %xmm4, %xmm5{%k3}
        vpshrdd $0x42, 0x23(%ebx, %ecx, 4), %xmm4, %xmm5{%k4}{z}
        vpshrdd $0x42, (%edx){1to4}, %xmm4, %xmm5
        vpshrdd $0x42, 0x72(%edx){1to4}, %xmm4, %xmm5{%k5}

        vpshrdd $0x23, %ymm0, %ymm1, %ymm2
        vpshrdd $0x23, %ymm2, %ymm3, %ymm4{%k1}
        vpshrdd $0x23, %ymm7, %ymm0, %ymm1{%k2}{z}
        vpshrdd $0x42, (%eax), %ymm4, %ymm5
        vpshrdd $0x42, 0x23(%eax), %ymm4, %ymm5{%k3}
        vpshrdd $0x42, 0x23(%ebx, %ecx, 4), %ymm4, %ymm5{%k4}{z}
        vpshrdd $0x42, (%edx){1to8}, %ymm4, %ymm5
        vpshrdd $0x42, 0x72(%edx){1to8}, %ymm4, %ymm5{%k5}

        vpshrdd $0x23, %zmm0, %zmm1, %zmm2
        vpshrdd $0x23, %zmm2, %zmm3, %zmm4{%k1}
        vpshrdd $0x23, %zmm7, %zmm0, %zmm1{%k2}{z}
        vpshrdd $0x42, (%eax), %zmm4, %zmm5
        vpshrdd $0x42, 0x23(%eax), %zmm4, %zmm5{%k3}
        vpshrdd $0x42, 0x23(%ebx, %ecx, 4), %zmm4, %zmm5{%k4}{z}
        vpshrdd $0x42, (%edx){1to16}, %zmm4, %zmm5
        vpshrdd $0x42, 0x72(%edx){1to16}, %zmm4, %zmm5{%k5}

        vpshrdq $0x23, %xmm0, %xmm1, %xmm2
        vpshrdq $0x23, %xmm2, %xmm3, %xmm4{%k1}
        vpshrdq $0x23, %xmm7, %xmm0, %xmm1{%k2}{z}
        vpshrdq $0x42, (%eax), %xmm4, %xmm5
        vpshrdq $0x42, 0x23(%eax), %xmm4, %xmm5{%k3}
        vpshrdq $0x42, 0x23(%ebx, %ecx, 4), %xmm4, %xmm5{%k4}{z}
        vpshrdq $0x42, (%edx){1to2}, %xmm4, %xmm5
        vpshrdq $0x42, 0x72(%edx){1to2}, %xmm4, %xmm5{%k5}

        vpshrdq $0x23, %ymm0, %ymm1, %ymm2
        vpshrdq $0x23, %ymm2, %ymm3, %ymm4{%k1}
        vpshrdq $0x23, %ymm7, %ymm0, %ymm1{%k2}{z}
        vpshrdq $0x42, (%eax), %ymm4, %ymm5
        vpshrdq $0x42, 0x23(%eax), %ymm4, %ymm5{%k3}
        vpshrdq $0x42, 0x23(%ebx, %ecx, 4), %ymm4, %ymm5{%k4}{z}
        vpshrdq $0x42, (%edx){1to4}, %ymm4, %ymm5
        vpshrdq $0x42, 0x72(%edx){1to4}, %ymm4, %ymm5{%k5}

        vpshrdq $0x23, %zmm0, %zmm1, %zmm2
        vpshrdq $0x23, %zmm2, %zmm3, %zmm4{%k1}
        vpshrdq $0x23, %zmm7, %zmm0, %zmm1{%k2}{z}
        vpshrdq $0x42, (%eax), %zmm4, %zmm5
        vpshrdq $0x42, 0x23(%eax), %zmm4, %zmm5{%k3}
        vpshrdq $0x42, 0x23(%ebx, %ecx, 4), %zmm4, %zmm5{%k4}{z}
        vpshrdq $0x42, (%edx){1to8}, %zmm4, %zmm5
        vpshrdq $0x42, 0x72(%edx){1to8}, %zmm4, %zmm5{%k5}

        vpcompressb     %xmm0, %xmm1
        vpcompressb     %xmm1, %xmm2{%k1}
        vpcompressb     %xmm2, %xmm3{%k2}{z}
        vpcompressb     %xmm4, (%eax)
        vpcompressb     %xmm5, (%eax){%k3}
        vpcompressb     %xmm6, 0x23(%eax)
        vpcompressb     %xmm6, 0x24(%eax)
        vpcompressb     %xmm7, 0x42(%eax){%k3}

        vpcompressb     %ymm0, %ymm1
        vpcompressb     %ymm1, %ymm2{%k1}
        vpcompressb     %ymm2, %ymm3{%k2}{z}
        vpcompressb     %ymm4, (%eax)
        vpcompressb     %ymm5, (%eax){%k3}
        vpcompressb     %ymm6, 0x23(%eax)
        vpcompressb     %ymm6, 0x24(%eax)
        vpcompressb     %ymm7, 0x42(%eax){%k3}

        vpcompressb     %zmm0, %zmm1
        vpcompressb     %zmm1, %zmm2{%k1}
        vpcompressb     %zmm2, %zmm3{%k2}{z}
        vpcompressb     %zmm4, (%eax)
        vpcompressb     %zmm5, (%eax){%k3}
        vpcompressb     %zmm6, 0x23(%eax)
        vpcompressb     %zmm6, 0x24(%eax)
        vpcompressb     %zmm7, 0x42(%eax){%k3}

        vpcompressw     %xmm0, %xmm1
        vpcompressw     %xmm1, %xmm2{%k1}
        vpcompressw     %xmm2, %xmm3{%k2}{z}
        vpcompressw     %xmm4, (%eax)
        vpcompressw     %xmm5, (%eax){%k3}
        vpcompressw     %xmm6, 0x23(%eax)
        vpcompressw     %xmm6, 0x24(%eax)
        vpcompressw     %xmm7, 0x42(%eax){%k3}

        vpcompressw     %ymm0, %ymm1
        vpcompressw     %ymm1, %ymm2{%k1}
        vpcompressw     %ymm2, %ymm3{%k2}{z}
        vpcompressw     %ymm4, (%eax)
        vpcompressw     %ymm5, (%eax){%k3}
        vpcompressw     %ymm6, 0x23(%eax)
        vpcompressw     %ymm6, 0x24(%eax)
        vpcompressw     %ymm7, 0x42(%eax){%k3}

        vpcompressw     %zmm0, %zmm1
        vpcompressw     %zmm1, %zmm2{%k1}
        vpcompressw     %zmm2, %zmm3{%k2}{z}
        vpcompressw     %zmm4, (%eax)
        vpcompressw     %zmm5, (%eax){%k3}
        vpcompressw     %zmm6, 0x23(%eax)
        vpcompressw     %zmm6, 0x24(%eax)
        vpcompressw     %zmm7, 0x42(%eax){%k3}

        vpexpandb       %xmm0, %xmm1
        vpexpandb       %xmm1, %xmm2{%k1}
        vpexpandb       %xmm2, %xmm3{%k2}{z}
        vpexpandb       (%eax), %xmm4
        vpexpandb       (%eax), %xmm5{%k3}
        vpexpandb       0x23(%eax), %xmm6
        vpexpandb       0x24(%eax), %xmm6
        vpexpandb       0x42(%eax), %xmm7{%k3}{z}

        vpexpandb       %ymm0, %ymm1
        vpexpandb       %ymm1, %ymm2{%k1}
        vpexpandb       %ymm2, %ymm3{%k2}{z}
        vpexpandb       (%eax), %ymm4
        vpexpandb       (%eax), %ymm5{%k3}
        vpexpandb       0x23(%eax), %ymm6
        vpexpandb       0x24(%eax), %ymm6
        vpexpandb       0x42(%eax), %ymm7{%k3}{z}

        vpexpandb       %zmm0, %zmm1
        vpexpandb       %zmm1, %zmm2{%k1}
        vpexpandb       %zmm2, %zmm3{%k2}{z}
        vpexpandb       (%eax), %zmm4
        vpexpandb       (%eax), %zmm5{%k3}
        vpexpandb       0x23(%eax), %zmm6
        vpexpandb       0x24(%eax), %zmm6
        vpexpandb       0x42(%eax), %zmm7{%k3}{z}

        vpshldvw        %xmm0, %xmm1, %xmm2
        vpshldvw        %xmm2, %xmm3, %xmm4{%k1}
        vpshldvw        %xmm7, %xmm0, %xmm1{%k2}{z}
        vpshldvw        (%eax), %xmm4, %xmm5
        vpshldvw        0x23(%eax), %xmm4, %xmm5{%k3}
        vpshldvw        0x23(%ebx, %ecx, 4), %xmm4, %xmm5{%k4}{z}

        vpshldvw        %ymm0, %ymm1, %ymm2
        vpshldvw        %ymm2, %ymm3, %ymm4{%k1}
        vpshldvw        %ymm7, %ymm0, %ymm1{%k2}{z}
        vpshldvw        (%eax), %ymm4, %ymm5
        vpshldvw        0x23(%eax), %ymm4, %ymm5{%k3}
        vpshldvw        0x23(%ebx, %ecx, 4), %ymm4, %ymm5{%k4}{z}

        vpshldvw        %zmm0, %zmm1, %zmm2
        vpshldvw        %zmm2, %zmm3, %zmm4{%k1}
        vpshldvw        %zmm7, %zmm0, %zmm1{%k2}{z}
        vpshldvw        (%eax), %zmm4, %zmm5
        vpshldvw        0x23(%eax), %zmm4, %zmm5{%k3}
        vpshldvw        0x23(%ebx, %ecx, 4), %zmm4, %zmm5{%k4}{z}

        vpshldvd        %xmm0, %xmm1, %xmm2
        vpshldvd        %xmm2, %xmm3, %xmm4{%k1}
        vpshldvd        %xmm7, %xmm0, %xmm1{%k2}{z}
        vpshldvd        (%eax), %xmm4, %xmm5
        vpshldvd        0x23(%eax), %xmm4, %xmm5{%k3}
        vpshldvd        0x23(%ebx, %ecx, 4), %xmm4, %xmm5{%k4}{z}
        vpshldvd        (%edx){1to4}, %xmm4, %xmm5
        vpshldvd        0x72(%edx){1to4}, %xmm4, %xmm5{%k5}

        vpshldvd        %ymm0, %ymm1, %ymm2
        vpshldvd        %ymm2, %ymm3, %ymm4{%k1}
        vpshldvd        %ymm7, %ymm0, %ymm1{%k2}{z}
        vpshldvd        (%eax), %ymm4, %ymm5
        vpshldvd        0x23(%eax), %ymm4, %ymm5{%k3}
        vpshldvd        0x23(%ebx, %ecx, 4), %ymm4, %ymm5{%k4}{z}
        vpshldvd        (%edx){1to8}, %ymm4, %ymm5
        vpshldvd        0x72(%edx){1to8}, %ymm4, %ymm5{%k5}

        vpshldvd        %zmm0, %zmm1, %zmm2
        vpshldvd        %zmm2, %zmm3, %zmm4{%k1}
        vpshldvd        %zmm7, %zmm0, %zmm1{%k2}{z}
        vpshldvd        (%eax), %zmm4, %zmm5
        vpshldvd        0x23(%eax), %zmm4, %zmm5{%k3}
        vpshldvd        0x23(%ebx, %ecx, 4), %zmm4, %zmm5{%k4}{z}
        vpshldvd        (%edx){1to16}, %zmm4, %zmm5
        vpshldvd        0x72(%edx){1to16}, %zmm4, %zmm5{%k5}

        vpshldvq        %xmm0, %xmm1, %xmm2
        vpshldvq        %xmm2, %xmm3, %xmm4{%k1}
        vpshldvq        %xmm7, %xmm0, %xmm1{%k2}{z}
        vpshldvq        (%eax), %xmm4, %xmm5
        vpshldvq        0x23(%eax), %xmm4, %xmm5{%k3}
        vpshldvq        0x23(%ebx, %ecx, 4), %xmm4, %xmm5{%k4}{z}
        vpshldvq        (%edx){1to2}, %xmm4, %xmm5
        vpshldvq        0x72(%edx){1to2}, %xmm4, %xmm5{%k5}

        vpshldvq        %ymm0, %ymm1, %ymm2
        vpshldvq        %ymm2, %ymm3, %ymm4{%k1}
        vpshldvq        %ymm7, %ymm0, %ymm1{%k2}{z}
        vpshldvq        (%eax), %ymm4, %ymm5
        vpshldvq        0x23(%eax), %ymm4, %ymm5{%k3}
        vpshldvq        0x23(%ebx, %ecx, 4), %ymm4, %ymm5{%k4}{z}
        vpshldvq        (%edx){1to4}, %ymm4, %ymm5
        vpshldvq        0x72(%edx){1to4}, %ymm4, %ymm5{%k5}

        vpshldvq        %zmm0, %zmm1, %zmm2
        vpshldvq        %zmm2, %zmm3, %zmm4{%k1}
        vpshldvq        %zmm7, %zmm0, %zmm1{%k2}{z}
        vpshldvq        (%eax), %zmm4, %zmm5
        vpshldvq        0x23(%eax), %zmm4, %zmm5{%k3}
        vpshldvq        0x23(%ebx, %ecx, 4), %zmm4, %zmm5{%k4}{z}
        vpshldvq        (%edx){1to8}, %zmm4, %zmm5
        vpshldvq        0x72(%edx){1to8}, %zmm4, %zmm5{%k5}

        vpshrdvw        %xmm0, %xmm1, %xmm2
        vpshrdvw        %xmm2, %xmm3, %xmm4{%k1}
        vpshrdvw        %xmm7, %xmm0, %xmm1{%k2}{z}
        vpshrdvw        (%eax), %xmm4, %xmm5
        vpshrdvw        0x23(%eax), %xmm4, %xmm5{%k3}
        vpshrdvw        0x23(%ebx, %ecx, 4), %xmm4, %xmm5{%k4}{z}

        vpshrdvw        %ymm0, %ymm1, %ymm2
        vpshrdvw        %ymm2, %ymm3, %ymm4{%k1}
        vpshrdvw        %ymm7, %ymm0, %ymm1{%k2}{z}
        vpshrdvw        (%eax), %ymm4, %ymm5
        vpshrdvw        0x23(%eax), %ymm4, %ymm5{%k3}
        vpshrdvw        0x23(%ebx, %ecx, 4), %ymm4, %ymm5{%k4}{z}

        vpshrdvw        %zmm0, %zmm1, %zmm2
        vpshrdvw        %zmm2, %zmm3, %zmm4{%k1}
        vpshrdvw        %zmm7, %zmm0, %zmm1{%k2}{z}
        vpshrdvw        (%eax), %zmm4, %zmm5
        vpshrdvw        0x23(%eax), %zmm4, %zmm5{%k3}
        vpshrdvw        0x23(%ebx, %ecx, 4), %zmm4, %zmm5{%k4}{z}

        vpshrdvd        %xmm0, %xmm1, %xmm2
        vpshrdvd        %xmm2, %xmm3, %xmm4{%k1}
        vpshrdvd        %xmm7, %xmm0, %xmm1{%k2}{z}
        vpshrdvd        (%eax), %xmm4, %xmm5
        vpshrdvd        0x23(%eax), %xmm4, %xmm5{%k3}
        vpshrdvd        0x23(%ebx, %ecx, 4), %xmm4, %xmm5{%k4}{z}
        vpshrdvd        (%edx){1to4}, %xmm4, %xmm5
        vpshrdvd        0x72(%edx){1to4}, %xmm4, %xmm5{%k5}

        vpshrdvd        %ymm0, %ymm1, %ymm2
        vpshrdvd        %ymm2, %ymm3, %ymm4{%k1}
        vpshrdvd        %ymm7, %ymm0, %ymm1{%k2}{z}
        vpshrdvd        (%eax), %ymm4, %ymm5
        vpshrdvd        0x23(%eax), %ymm4, %ymm5{%k3}
        vpshrdvd        0x23(%ebx, %ecx, 4), %ymm4, %ymm5{%k4}{z}
        vpshrdvd        (%edx){1to8}, %ymm4, %ymm5
        vpshrdvd        0x72(%edx){1to8}, %ymm4, %ymm5{%k5}

        vpshrdvd        %zmm0, %zmm1, %zmm2
        vpshrdvd        %zmm2, %zmm3, %zmm4{%k1}
        vpshrdvd        %zmm7, %zmm0, %zmm1{%k2}{z}
        vpshrdvd        (%eax), %zmm4, %zmm5
        vpshrdvd        0x23(%eax), %zmm4, %zmm5{%k3}
        vpshrdvd        0x23(%ebx, %ecx, 4), %zmm4, %zmm5{%k4}{z}
        vpshrdvd        (%edx){1to16}, %zmm4, %zmm5
        vpshrdvd        0x72(%edx){1to16}, %zmm4, %zmm5{%k5}

        vpshrdvq        %xmm0, %xmm1, %xmm2
        vpshrdvq        %xmm2, %xmm3, %xmm4{%k1}
        vpshrdvq        %xmm7, %xmm0, %xmm1{%k2}{z}
        vpshrdvq        (%eax), %xmm4, %xmm5
        vpshrdvq        0x23(%eax), %xmm4, %xmm5{%k3}
        vpshrdvq        0x23(%ebx, %ecx, 4), %xmm4, %xmm5{%k4}{z}
        vpshrdvq        (%edx){1to2}, %xmm4, %xmm5
        vpshrdvq        0x72(%edx){1to2}, %xmm4, %xmm5{%k5}

        vpshrdvq        %ymm0, %ymm1, %ymm2
        vpshrdvq        %ymm2, %ymm3, %ymm4{%k1}
        vpshrdvq        %ymm7, %ymm0, %ymm1{%k2}{z}
        vpshrdvq        (%eax), %ymm4, %ymm5
        vpshrdvq        0x23(%eax), %ymm4, %ymm5{%k3}
        vpshrdvq        0x23(%ebx, %ecx, 4), %ymm4, %ymm5{%k4}{z}
        vpshrdvq        (%edx){1to4}, %ymm4, %ymm5
        vpshrdvq        0x80(%edx){1to4}, %ymm4, %ymm5{%k5}

        vpshrdvq        %zmm0, %zmm1, %zmm2
        vpshrdvq        %zmm2, %zmm3, %zmm4{%k1}
        vpshrdvq        %zmm7, %zmm0, %zmm1{%k2}{z}
        vpshrdvq        (%eax), %zmm4, %zmm5
        vpshrdvq        0x23(%eax), %zmm4, %zmm5{%k3}
        vpshrdvq        0x23(%ebx, %ecx, 4), %zmm4, %zmm5{%k4}{z}
        vpshrdvq        (%edx){1to8}, %zmm4, %zmm5
        vpshrdvq        0x72(%edx){1to8}, %zmm4, %zmm5{%k5}
.size libdis_test, [.-libdis_test]