// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/lunarkeyakv2/Haswell/KeccakP-1600-AVX2.cpp
// Function: KeccakF1600_FastLoop_Absorb
size_t KeccakF1600_FastLoop_Absorb(void *state, size_t laneCount, const UINT8 *data, size_t dataByteLen)
//**************************************************************************************************************
{
    KECCAK_PERMUTE_VARS
    const UINT64    *d;
    ptrdiff_t       di;

    KECCAK_LOAD

    for (di = 0; di <= (ptrdiff_t)(dataByteLen / sizeof(UINT64) - laneCount); di += laneCount)
    {
        d = (UINT64 *)data + di;

        switch (laneCount)
        {
        case 9:     //576
            a0 = XOR(a0, LOAD(d + 0*5));
            a1 = XOR(a1, LOAD(d + 1*5));
            c4 = XOR(c4, MASKLOAD(d + 0*5 + 4, 1, 0, 0, 0));
            break;

        case 13:    //832
            a0 = XOR(a0, LOAD(d + 0*5));
            a1 = XOR(a1, LOAD(d + 1*5));
            a2 = XOR(a2, MASKLOAD(d + 2*5, 1, 1, 1, 0));
            c4 = XOR(c4, SET(d[0*5 + 4], d[1*5 + 4], 0, 0));
            break;

        case 16:    //1024
            a0 = XOR(a0, LOAD(d + 0*5));
            a1 = XOR(a1, LOAD(d + 1*5));
            a2 = XOR(a2, LOAD(d + 2*5));
            a3 = XOR(a3, MASKLOAD(d + 3*5, 1, 0, 0, 0));
            c4 = XOR(c4, SET(d[0*5 + 4], d[1*5 + 4], d[2*5 + 4], 0));
            break;

        case 17:    //1088
            a0 = XOR(a0, LOAD(d + 0*5));
            a1 = XOR(a1, LOAD(d + 1*5));
            a2 = XOR(a2, LOAD(d + 2*5));
            a3 = XOR(a3, MASKLOAD(d + 3*5, 1, 1, 0, 0));
            c4 = XOR(c4, SET(d[0*5 + 4], d[1*5 + 4], d[2*5 + 4], 0));
            break;

        case 18:    //1152
            a0 = XOR(a0, LOAD(d + 0*5));
            a1 = XOR(a1, LOAD(d + 1*5));
            a2 = XOR(a2, LOAD(d + 2*5));
            a3 = XOR(a3, MASKLOAD(d + 3*5, 1, 1, 1, 0));
            c4 = XOR(c4, SET(d[0*5 + 4], d[1*5 + 4], d[2*5 + 4], 0));
            break;

        case 21:    //1344
            a0 = XOR(a0, LOAD(d + 0*5));
            a1 = XOR(a1, LOAD(d + 1*5));
            a2 = XOR(a2, LOAD(d + 2*5));
            a3 = XOR(a3, LOAD(d + 3*5));
            a4 = XOR(a4, MASKLOAD(d + 4*5, 1, 0, 0, 0));
            c4 = XOR(c4, SET(d[0*5 + 4], d[1*5 + 4], d[2*5 + 4], d[3*5 + 4]));
            break;

        case 25:    //1600
            a0 = XOR(a0, LOAD(d + 0*5));
            a1 = XOR(a1, LOAD(d + 1*5));
            a2 = XOR(a2, LOAD(d + 2*5));
            a3 = XOR(a3, LOAD(d + 3*5));
            a4 = XOR(a4, LOAD(d + 4*5));
            c4 = XOR(c4, SET(d[0*5 + 4], d[1*5 + 4], d[2*5 + 4], d[3*5 + 4]));
            a44 = XOR(a44, LOAD0(d + 4*5 + 4));
            break;

        default:
            KECCAK_STORE

            KeccakP1600_AddBytes(state, (UINT8 *)d, 0, laneCount * sizeof(UINT64));

            KECCAK_LOAD
        } //switch (laneCount)

        KECCAK_PERMUTE(_)
    } //for (di
    
    KECCAK_STORE

    return di * sizeof(UINT64);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
andq $-0x20, %rsp
subq $0x1760, %rsp           # imm = 0x1760
movq %rdi, 0x3b8(%rsp)
movq %rsi, 0x3b0(%rsp)
movq %rdx, 0x3a8(%rsp)
movq %rcx, 0x3a0(%rsp)
movq 0x3b8(%rsp), %rax
movq %rax, 0x78(%rsp)
movq 0x78(%rsp), %rax
movq %rax, 0x658(%rsp)
movq 0x658(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x380(%rsp)
movq 0x78(%rsp), %rax
addq $0x20, %rax
movq %rax, 0x650(%rsp)
movq 0x650(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x360(%rsp)
movq 0x78(%rsp), %rax
addq $0x40, %rax
movq %rax, 0x648(%rsp)
movq 0x648(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x340(%rsp)
movq 0x78(%rsp), %rax
addq $0x60, %rax
movq %rax, 0x640(%rsp)
movq 0x640(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x320(%rsp)
movq 0x78(%rsp), %rax
addq $0x80, %rax
movq %rax, 0x638(%rsp)
movq 0x638(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x300(%rsp)
movq 0x78(%rsp), %rax
addq $0xa0, %rax
movq %rax, 0x630(%rsp)
movq 0x630(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x2e0(%rsp)
movq 0x78(%rsp), %rax
addq $0xc0, %rax
movq %rax, 0x628(%rsp)
movq 0x628(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x240(%rsp)
movq $0x0, 0x60(%rsp)
movq 0x60(%rsp), %rax
movq 0x3a0(%rsp), %rcx
shrq $0x3, %rcx
subq 0x3b0(%rsp), %rcx
cmpq %rcx, %rax
jg 0x9c1e
movq 0x3a8(%rsp), %rax
movq 0x60(%rsp), %rcx
leaq (%rax,%rcx,8), %rax
movq %rax, 0x68(%rsp)
movq 0x3b0(%rsp), %rax
addq $-0x9, %rax
movq %rax, 0x58(%rsp)
subq $0x10, %rax
ja 0x9661
movq 0x58(%rsp), %rax
leaq 0xbae40(%rip), %rcx     # 0xc3000
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
vmovdqa 0x380(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq %rax, 0x620(%rsp)
movq 0x620(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0x1280(%rsp)
vmovdqa %ymm0, 0x1260(%rsp)
vmovdqa 0x1280(%rsp), %ymm0
vmovdqa 0x1260(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x380(%rsp)
vmovdqa 0x360(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x28, %rax
movq %rax, 0x618(%rsp)
movq 0x618(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0x1240(%rsp)
vmovdqa %ymm0, 0x1220(%rsp)
vmovdqa 0x1240(%rsp), %ymm0
vmovdqa 0x1220(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x360(%rsp)
vmovdqa 0x2e0(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x20, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
movq %rcx, 0x538(%rsp)
movq $0x0, 0x530(%rsp)
movq $0x0, 0x528(%rsp)
movq $0x0, 0x520(%rsp)
movq 0x520(%rsp), %rdi
movq 0x528(%rsp), %rsi
movq 0x530(%rsp), %rdx
movq 0x538(%rsp), %rcx
movq %rdi, 0x1478(%rsp)
movq %rsi, 0x1470(%rsp)
movq %rdx, 0x1468(%rsp)
movq %rcx, 0x1460(%rsp)
vmovq 0x1478(%rsp), %xmm2
vmovq 0x1470(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0x1468(%rsp), %xmm3
vmovq 0x1460(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm0
vmovdqa %ymm0, 0x1440(%rsp)
vmovdqa 0x1440(%rsp), %ymm0
movq %rax, 0x1418(%rsp)
vmovdqa %ymm0, 0x13e0(%rsp)
movq 0x1418(%rsp), %rax
vmovdqa 0x13e0(%rsp), %ymm0
vpmaskmovq (%rax), %ymm0, %ymm0
vmovdqa %ymm1, 0x1200(%rsp)
vmovdqa %ymm0, 0x11e0(%rsp)
vmovdqa 0x1200(%rsp), %ymm0
vpxor 0x11e0(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x2e0(%rsp)
jmp 0x991c
vmovdqa 0x380(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq %rax, 0x610(%rsp)
movq 0x610(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0x11c0(%rsp)
vmovdqa %ymm0, 0x11a0(%rsp)
vmovdqa 0x11c0(%rsp), %ymm0
vmovdqa 0x11a0(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x380(%rsp)
vmovdqa 0x360(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x28, %rax
movq %rax, 0x608(%rsp)
movq 0x608(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0x1180(%rsp)
vmovdqa %ymm0, 0x1160(%rsp)
vmovdqa 0x1180(%rsp), %ymm0
vmovdqa 0x1160(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x360(%rsp)
vmovdqa 0x340(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x50, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
movq %rcx, 0x518(%rsp)
movq %rcx, 0x510(%rsp)
movq %rcx, 0x508(%rsp)
movq $0x0, 0x500(%rsp)
movq 0x500(%rsp), %rdi
movq 0x508(%rsp), %rsi
movq 0x510(%rsp), %rdx
movq 0x518(%rsp), %rcx
movq %rdi, 0x14b8(%rsp)
movq %rsi, 0x14b0(%rsp)
movq %rdx, 0x14a8(%rsp)
movq %rcx, 0x14a0(%rsp)
vmovq 0x14a8(%rsp), %xmm2
vmovq 0x14a0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm2[0]
vmovq 0x14b8(%rsp), %xmm3
vmovq 0x14b0(%rsp), %xmm2
vpunpcklqdq %xmm3, %xmm2, %xmm2 # xmm2 = xmm2[0],xmm3[0]
vmovdqa %xmm2, 0x1490(%rsp)
vmovdqa %xmm0, 0x1480(%rsp)
vmovdqa 0x1480(%rsp), %ymm0
movq %rax, 0x13d8(%rsp)
vmovdqa %ymm0, 0x13a0(%rsp)
movq 0x13d8(%rsp), %rax
vmovdqa 0x13a0(%rsp), %ymm0
vpmaskmovq (%rax), %ymm0, %ymm0
vmovdqa %ymm1, 0x1140(%rsp)
vmovdqa %ymm0, 0x1120(%rsp)
vmovdqa 0x1140(%rsp), %ymm0
vmovdqa 0x1120(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x340(%rsp)
vmovdqa 0x2e0(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq 0x20(%rax), %rcx
movq 0x48(%rax), %rax
movq %rcx, 0x4f8(%rsp)
movq %rax, 0x4f0(%rsp)
movq $0x0, 0x4e8(%rsp)
movq $0x0, 0x4e0(%rsp)
movq 0x4e0(%rsp), %rsi
movq 0x4e8(%rsp), %rdx
movq 0x4f0(%rsp), %rcx
movq 0x4f8(%rsp), %rax
movq %rsi, 0x14f8(%rsp)
movq %rdx, 0x14f0(%rsp)
movq %rcx, 0x14e8(%rsp)
movq %rax, 0x14e0(%rsp)
vmovq 0x14f8(%rsp), %xmm2
vmovq 0x14f0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0x14e8(%rsp), %xmm3
vmovq 0x14e0(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm0
vmovdqa %ymm0, 0x14c0(%rsp)
vmovdqa 0x14c0(%rsp), %ymm0
vmovdqa %ymm1, 0x1100(%rsp)
vmovdqa %ymm0, 0x10e0(%rsp)
vmovdqa 0x1100(%rsp), %ymm0
vpxor 0x10e0(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x2e0(%rsp)
jmp 0x991c
vmovdqa 0x380(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq %rax, 0x600(%rsp)
movq 0x600(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0x10c0(%rsp)
vmovdqa %ymm0, 0x10a0(%rsp)
vmovdqa 0x10c0(%rsp), %ymm0
vmovdqa 0x10a0(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x380(%rsp)
vmovdqa 0x360(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x28, %rax
movq %rax, 0x5f8(%rsp)
movq 0x5f8(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0x1080(%rsp)
vmovdqa %ymm0, 0x1060(%rsp)
vmovdqa 0x1080(%rsp), %ymm0
vmovdqa 0x1060(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x360(%rsp)
vmovdqa 0x340(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x50, %rax
movq %rax, 0x5f0(%rsp)
movq 0x5f0(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0x1040(%rsp)
vmovdqa %ymm0, 0x1020(%rsp)
vmovdqa 0x1040(%rsp), %ymm0
vmovdqa 0x1020(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x340(%rsp)
vmovdqa 0x320(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x78, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
movq %rcx, 0x4d8(%rsp)
movq $0x0, 0x4d0(%rsp)
movq $0x0, 0x4c8(%rsp)
movq $0x0, 0x4c0(%rsp)
movq 0x4c0(%rsp), %rdi
movq 0x4c8(%rsp), %rsi
movq 0x4d0(%rsp), %rdx
movq 0x4d8(%rsp), %rcx
movq %rdi, 0x1538(%rsp)
movq %rsi, 0x1530(%rsp)
movq %rdx, 0x1528(%rsp)
movq %rcx, 0x1520(%rsp)
vmovq 0x1528(%rsp), %xmm2
vmovq 0x1520(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm2[0]
vmovq 0x1538(%rsp), %xmm3
vmovq 0x1530(%rsp), %xmm2
vpunpcklqdq %xmm3, %xmm2, %xmm2 # xmm2 = xmm2[0],xmm3[0]
vmovdqa %xmm2, 0x1510(%rsp)
vmovdqa %xmm0, 0x1500(%rsp)
vmovdqa 0x1500(%rsp), %ymm0
movq %rax, 0x1398(%rsp)
vmovdqa %ymm0, 0x1360(%rsp)
movq 0x1398(%rsp), %rax
vmovdqa 0x1360(%rsp), %ymm0
vpmaskmovq (%rax), %ymm0, %ymm0
vmovdqa %ymm1, 0x1000(%rsp)
vmovdqa %ymm0, 0xfe0(%rsp)
vmovdqa 0x1000(%rsp), %ymm0
vmovdqa 0xfe0(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x320(%rsp)
vmovdqa 0x2e0(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq 0x20(%rax), %rdx
movq 0x48(%rax), %rcx
movq 0x70(%rax), %rax
movq %rdx, 0x4b8(%rsp)
movq %rcx, 0x4b0(%rsp)
movq %rax, 0x4a8(%rsp)
movq $0x0, 0x4a0(%rsp)
movq 0x4a0(%rsp), %rsi
movq 0x4a8(%rsp), %rdx
movq 0x4b0(%rsp), %rcx
movq 0x4b8(%rsp), %rax
movq %rsi, 0x1578(%rsp)
movq %rdx, 0x1570(%rsp)
movq %rcx, 0x1568(%rsp)
movq %rax, 0x1560(%rsp)
vmovq 0x1578(%rsp), %xmm2
vmovq 0x1570(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0x1568(%rsp), %xmm3
vmovq 0x1560(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm0
vmovdqa %ymm0, 0x1540(%rsp)
vmovdqa 0x1540(%rsp), %ymm0
vmovdqa %ymm1, 0xfc0(%rsp)
vmovdqa %ymm0, 0xfa0(%rsp)
vmovdqa 0xfc0(%rsp), %ymm0
vpxor 0xfa0(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x2e0(%rsp)
jmp 0x991c
vmovdqa 0x380(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq %rax, 0x5e8(%rsp)
movq 0x5e8(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xf80(%rsp)
vmovdqa %ymm0, 0xf60(%rsp)
vmovdqa 0xf80(%rsp), %ymm0
vmovdqa 0xf60(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x380(%rsp)
vmovdqa 0x360(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x28, %rax
movq %rax, 0x5e0(%rsp)
movq 0x5e0(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xf40(%rsp)
vmovdqa %ymm0, 0xf20(%rsp)
vmovdqa 0xf40(%rsp), %ymm0
vmovdqa 0xf20(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x360(%rsp)
vmovdqa 0x340(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x50, %rax
movq %rax, 0x5d8(%rsp)
movq 0x5d8(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xf00(%rsp)
vmovdqa %ymm0, 0xee0(%rsp)
vmovdqa 0xf00(%rsp), %ymm0
vmovdqa 0xee0(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x340(%rsp)
vmovdqa 0x320(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x78, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
movq %rcx, 0x498(%rsp)
movq %rcx, 0x490(%rsp)
movq $0x0, 0x488(%rsp)
movq $0x0, 0x480(%rsp)
movq 0x480(%rsp), %rdi
movq 0x488(%rsp), %rsi
movq 0x490(%rsp), %rdx
movq 0x498(%rsp), %rcx
movq %rdi, 0x15b8(%rsp)
movq %rsi, 0x15b0(%rsp)
movq %rdx, 0x15a8(%rsp)
movq %rcx, 0x15a0(%rsp)
vmovq 0x15a8(%rsp), %xmm2
vmovq 0x15a0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm2[0]
vmovq 0x15b8(%rsp), %xmm3
vmovq 0x15b0(%rsp), %xmm2
vpunpcklqdq %xmm3, %xmm2, %xmm2 # xmm2 = xmm2[0],xmm3[0]
vmovdqa %xmm2, 0x1590(%rsp)
vmovdqa %xmm0, 0x1580(%rsp)
vmovdqa 0x1580(%rsp), %ymm0
movq %rax, 0x1358(%rsp)
vmovdqa %ymm0, 0x1320(%rsp)
movq 0x1358(%rsp), %rax
vmovdqa 0x1320(%rsp), %ymm0
vpmaskmovq (%rax), %ymm0, %ymm0
vmovdqa %ymm1, 0xec0(%rsp)
vmovdqa %ymm0, 0xea0(%rsp)
vmovdqa 0xec0(%rsp), %ymm0
vmovdqa 0xea0(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x320(%rsp)
vmovdqa 0x2e0(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq 0x20(%rax), %rdx
movq 0x48(%rax), %rcx
movq 0x70(%rax), %rax
movq %rdx, 0x478(%rsp)
movq %rcx, 0x470(%rsp)
movq %rax, 0x468(%rsp)
movq $0x0, 0x460(%rsp)
movq 0x460(%rsp), %rsi
movq 0x468(%rsp), %rdx
movq 0x470(%rsp), %rcx
movq 0x478(%rsp), %rax
movq %rsi, 0x15f8(%rsp)
movq %rdx, 0x15f0(%rsp)
movq %rcx, 0x15e8(%rsp)
movq %rax, 0x15e0(%rsp)
vmovq 0x15f8(%rsp), %xmm2
vmovq 0x15f0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0x15e8(%rsp), %xmm3
vmovq 0x15e0(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm0
vmovdqa %ymm0, 0x15c0(%rsp)
vmovdqa 0x15c0(%rsp), %ymm0
vmovdqa %ymm1, 0xe80(%rsp)
vmovdqa %ymm0, 0xe60(%rsp)
vmovdqa 0xe80(%rsp), %ymm0
vpxor 0xe60(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x2e0(%rsp)
jmp 0x991c
vmovdqa 0x380(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq %rax, 0x5d0(%rsp)
movq 0x5d0(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xe40(%rsp)
vmovdqa %ymm0, 0xe20(%rsp)
vmovdqa 0xe40(%rsp), %ymm0
vmovdqa 0xe20(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x380(%rsp)
vmovdqa 0x360(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x28, %rax
movq %rax, 0x5c8(%rsp)
movq 0x5c8(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xe00(%rsp)
vmovdqa %ymm0, 0xde0(%rsp)
vmovdqa 0xe00(%rsp), %ymm0
vmovdqa 0xde0(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x360(%rsp)
vmovdqa 0x340(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x50, %rax
movq %rax, 0x5c0(%rsp)
movq 0x5c0(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xdc0(%rsp)
vmovdqa %ymm0, 0xda0(%rsp)
vmovdqa 0xdc0(%rsp), %ymm0
vmovdqa 0xda0(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x340(%rsp)
vmovdqa 0x320(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x78, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
movq %rcx, 0x458(%rsp)
movq %rcx, 0x450(%rsp)
movq %rcx, 0x448(%rsp)
movq $0x0, 0x440(%rsp)
movq 0x440(%rsp), %rdi
movq 0x448(%rsp), %rsi
movq 0x450(%rsp), %rdx
movq 0x458(%rsp), %rcx
movq %rdi, 0x1638(%rsp)
movq %rsi, 0x1630(%rsp)
movq %rdx, 0x1628(%rsp)
movq %rcx, 0x1620(%rsp)
vmovq 0x1628(%rsp), %xmm2
vmovq 0x1620(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm2[0]
vmovq 0x1638(%rsp), %xmm3
vmovq 0x1630(%rsp), %xmm2
vpunpcklqdq %xmm3, %xmm2, %xmm2 # xmm2 = xmm2[0],xmm3[0]
vmovdqa %xmm2, 0x1610(%rsp)
vmovdqa %xmm0, 0x1600(%rsp)
vmovdqa 0x1600(%rsp), %ymm0
movq %rax, 0x1318(%rsp)
vmovdqa %ymm0, 0x12e0(%rsp)
movq 0x1318(%rsp), %rax
vmovdqa 0x12e0(%rsp), %ymm0
vpmaskmovq (%rax), %ymm0, %ymm0
vmovdqa %ymm1, 0xd80(%rsp)
vmovdqa %ymm0, 0xd60(%rsp)
vmovdqa 0xd80(%rsp), %ymm0
vmovdqa 0xd60(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x320(%rsp)
vmovdqa 0x2e0(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq 0x20(%rax), %rdx
movq 0x48(%rax), %rcx
movq 0x70(%rax), %rax
movq %rdx, 0x438(%rsp)
movq %rcx, 0x430(%rsp)
movq %rax, 0x428(%rsp)
movq $0x0, 0x420(%rsp)
movq 0x420(%rsp), %rsi
movq 0x428(%rsp), %rdx
movq 0x430(%rsp), %rcx
movq 0x438(%rsp), %rax
movq %rsi, 0x1678(%rsp)
movq %rdx, 0x1670(%rsp)
movq %rcx, 0x1668(%rsp)
movq %rax, 0x1660(%rsp)
vmovq 0x1678(%rsp), %xmm2
vmovq 0x1670(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0x1668(%rsp), %xmm3
vmovq 0x1660(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm0
vmovdqa %ymm0, 0x1640(%rsp)
vmovdqa 0x1640(%rsp), %ymm0
vmovdqa %ymm1, 0xd40(%rsp)
vmovdqa %ymm0, 0xd20(%rsp)
vmovdqa 0xd40(%rsp), %ymm0
vpxor 0xd20(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x2e0(%rsp)
jmp 0x991c
vmovdqa 0x380(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq %rax, 0x5b8(%rsp)
movq 0x5b8(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xd00(%rsp)
vmovdqa %ymm0, 0xce0(%rsp)
vmovdqa 0xd00(%rsp), %ymm0
vmovdqa 0xce0(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x380(%rsp)
vmovdqa 0x360(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x28, %rax
movq %rax, 0x5b0(%rsp)
movq 0x5b0(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xcc0(%rsp)
vmovdqa %ymm0, 0xca0(%rsp)
vmovdqa 0xcc0(%rsp), %ymm0
vmovdqa 0xca0(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x360(%rsp)
vmovdqa 0x340(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x50, %rax
movq %rax, 0x5a8(%rsp)
movq 0x5a8(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xc80(%rsp)
vmovdqa %ymm0, 0xc60(%rsp)
vmovdqa 0xc80(%rsp), %ymm0
vmovdqa 0xc60(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x340(%rsp)
vmovdqa 0x320(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x78, %rax
movq %rax, 0x5a0(%rsp)
movq 0x5a0(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xc40(%rsp)
vmovdqa %ymm0, 0xc20(%rsp)
vmovdqa 0xc40(%rsp), %ymm0
vmovdqa 0xc20(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x320(%rsp)
vmovdqa 0x300(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0xa0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
movq %rcx, 0x418(%rsp)
movq $0x0, 0x410(%rsp)
movq $0x0, 0x408(%rsp)
movq $0x0, 0x400(%rsp)
movq 0x400(%rsp), %rdi
movq 0x408(%rsp), %rsi
movq 0x410(%rsp), %rdx
movq 0x418(%rsp), %rcx
movq %rdi, 0x16b8(%rsp)
movq %rsi, 0x16b0(%rsp)
movq %rdx, 0x16a8(%rsp)
movq %rcx, 0x16a0(%rsp)
vmovq 0x16a8(%rsp), %xmm2
vmovq 0x16a0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm2[0]
vmovq 0x16b8(%rsp), %xmm3
vmovq 0x16b0(%rsp), %xmm2
vpunpcklqdq %xmm3, %xmm2, %xmm2 # xmm2 = xmm2[0],xmm3[0]
vmovdqa %xmm2, 0x1690(%rsp)
vmovdqa %xmm0, 0x1680(%rsp)
vmovdqa 0x1680(%rsp), %ymm0
movq %rax, 0x12d8(%rsp)
vmovdqa %ymm0, 0x12a0(%rsp)
movq 0x12d8(%rsp), %rax
vmovdqa 0x12a0(%rsp), %ymm0
vpmaskmovq (%rax), %ymm0, %ymm0
vmovdqa %ymm1, 0xc00(%rsp)
vmovdqa %ymm0, 0xbe0(%rsp)
vmovdqa 0xc00(%rsp), %ymm0
vmovdqa 0xbe0(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x300(%rsp)
vmovdqa 0x2e0(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq 0x20(%rax), %rsi
movq 0x48(%rax), %rdx
movq 0x70(%rax), %rcx
movq 0x98(%rax), %rax
movq %rsi, 0x3f8(%rsp)
movq %rdx, 0x3f0(%rsp)
movq %rcx, 0x3e8(%rsp)
movq %rax, 0x3e0(%rsp)
movq 0x3e0(%rsp), %rsi
movq 0x3e8(%rsp), %rdx
movq 0x3f0(%rsp), %rcx
movq 0x3f8(%rsp), %rax
movq %rsi, 0x16f8(%rsp)
movq %rdx, 0x16f0(%rsp)
movq %rcx, 0x16e8(%rsp)
movq %rax, 0x16e0(%rsp)
vmovq 0x16f8(%rsp), %xmm2
vmovq 0x16f0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0x16e8(%rsp), %xmm3
vmovq 0x16e0(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm0
vmovdqa %ymm0, 0x16c0(%rsp)
vmovdqa 0x16c0(%rsp), %ymm0
vmovdqa %ymm1, 0xbc0(%rsp)
vmovdqa %ymm0, 0xba0(%rsp)
vmovdqa 0xbc0(%rsp), %ymm0
vpxor 0xba0(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x2e0(%rsp)
jmp 0x991c
vmovdqa 0x380(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq %rax, 0x598(%rsp)
movq 0x598(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xb80(%rsp)
vmovdqa %ymm0, 0xb60(%rsp)
vmovdqa 0xb80(%rsp), %ymm0
vmovdqa 0xb60(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x380(%rsp)
vmovdqa 0x360(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x28, %rax
movq %rax, 0x590(%rsp)
movq 0x590(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xb40(%rsp)
vmovdqa %ymm0, 0xb20(%rsp)
vmovdqa 0xb40(%rsp), %ymm0
vmovdqa 0xb20(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x360(%rsp)
vmovdqa 0x340(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x50, %rax
movq %rax, 0x588(%rsp)
movq 0x588(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xb00(%rsp)
vmovdqa %ymm0, 0xae0(%rsp)
vmovdqa 0xb00(%rsp), %ymm0
vmovdqa 0xae0(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x340(%rsp)
vmovdqa 0x320(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0x78, %rax
movq %rax, 0x580(%rsp)
movq 0x580(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xac0(%rsp)
vmovdqa %ymm0, 0xaa0(%rsp)
vmovdqa 0xac0(%rsp), %ymm0
vmovdqa 0xaa0(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x320(%rsp)
vmovdqa 0x300(%rsp), %ymm1
movq 0x68(%rsp), %rax
addq $0xa0, %rax
movq %rax, 0x578(%rsp)
movq 0x578(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm1, 0xa80(%rsp)
vmovdqa %ymm0, 0xa60(%rsp)
vmovdqa 0xa80(%rsp), %ymm0
vmovdqa 0xa60(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x300(%rsp)
vmovdqa 0x2e0(%rsp), %ymm1
movq 0x68(%rsp), %rax
movq 0x20(%rax), %rsi
movq 0x48(%rax), %rdx
movq 0x70(%rax), %rcx
movq 0x98(%rax), %rax
movq %rsi, 0x3d8(%rsp)
movq %rdx, 0x3d0(%rsp)
movq %rcx, 0x3c8(%rsp)
movq %rax, 0x3c0(%rsp)
movq 0x3c0(%rsp), %rsi
movq 0x3c8(%rsp), %rdx
movq 0x3d0(%rsp), %rcx
movq 0x3d8(%rsp), %rax
movq %rsi, 0x1738(%rsp)
movq %rdx, 0x1730(%rsp)
movq %rcx, 0x1728(%rsp)
movq %rax, 0x1720(%rsp)
vmovq 0x1728(%rsp), %xmm2
vmovq 0x1720(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm2[0]
vmovq 0x1738(%rsp), %xmm3
vmovq 0x1730(%rsp), %xmm2
vpunpcklqdq %xmm3, %xmm2, %xmm2 # xmm2 = xmm2[0],xmm3[0]
vmovdqa %xmm2, 0x1710(%rsp)
vmovdqa %xmm0, 0x1700(%rsp)
vmovdqa 0x1700(%rsp), %ymm0
vmovdqa %ymm1, 0xa40(%rsp)
vmovdqa %ymm0, 0xa20(%rsp)
vmovdqa 0xa40(%rsp), %ymm0
vmovdqa 0xa20(%rsp), %ymm1
vpxor %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x2e0(%rsp)
vmovdqa 0x240(%rsp), %ymm1
movq 0x68(%rsp), %rax
vmovdqa 0xc0(%rax), %xmm0
vmovdqa %xmm0, 0x1430(%rsp)
vmovdqa 0x1430(%rsp), %xmm0
vpxor %xmm2, %xmm2, %xmm2
vmovdqa %xmm2, 0x1740(%rsp)
vmovdqa 0x1740(%rsp), %xmm2
vpunpcklqdq %xmm2, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm2[0]
vmovdqa %xmm0, 0x1420(%rsp)
vmovdqa 0x1420(%rsp), %xmm2
vmovaps %xmm2, %xmm0
vmovdqa %ymm1, 0xa00(%rsp)
vmovdqa %ymm0, 0x9e0(%rsp)
vmovdqa 0xa00(%rsp), %ymm0
vpxor 0x9e0(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x240(%rsp)
jmp 0x991c
movq 0x78(%rsp), %rax
vmovdqa 0x380(%rsp), %ymm0
movq %rax, 0x9d8(%rsp)
vmovdqa %ymm0, 0x9a0(%rsp)
vmovdqa 0x9a0(%rsp), %ymm0
movq 0x9d8(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x78(%rsp), %rax
addq $0x20, %rax
vmovdqa 0x360(%rsp), %ymm0
movq %rax, 0x998(%rsp)
vmovdqa %ymm0, 0x960(%rsp)
vmovdqa 0x960(%rsp), %ymm0
movq 0x998(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x78(%rsp), %rax
addq $0x40, %rax
vmovdqa 0x340(%rsp), %ymm0
movq %rax, 0x958(%rsp)
vmovdqa %ymm0, 0x920(%rsp)
vmovdqa 0x920(%rsp), %ymm0
movq 0x958(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x78(%rsp), %rax
addq $0x60, %rax
vmovdqa 0x320(%rsp), %ymm0
movq %rax, 0x918(%rsp)
vmovdqa %ymm0, 0x8e0(%rsp)
vmovdqa 0x8e0(%rsp), %ymm0
movq 0x918(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x78(%rsp), %rax
addq $0x80, %rax
vmovdqa 0x300(%rsp), %ymm0
movq %rax, 0x8d8(%rsp)
vmovdqa %ymm0, 0x8a0(%rsp)
vmovdqa 0x8a0(%rsp), %ymm0
movq 0x8d8(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x78(%rsp), %rax
addq $0xa0, %rax
vmovdqa 0x2e0(%rsp), %ymm0
movq %rax, 0x898(%rsp)
vmovdqa %ymm0, 0x860(%rsp)
vmovdqa 0x860(%rsp), %ymm0
movq 0x898(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x78(%rsp), %rax
addq $0xc0, %rax
vmovdqa 0x240(%rsp), %ymm0
movq %rax, 0x858(%rsp)
vmovdqa %ymm0, 0x820(%rsp)
vmovdqa 0x820(%rsp), %ymm0
movq 0x858(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x3b8(%rsp), %rdi
movq 0x68(%rsp), %rsi
movq 0x3b0(%rsp), %rcx
shlq $0x3, %rcx
xorl %eax, %eax
movl %eax, %edx
vzeroupper
callq 0x54e0
movq 0x78(%rsp), %rax
movq %rax, 0x570(%rsp)
movq 0x570(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x380(%rsp)
movq 0x78(%rsp), %rax
addq $0x20, %rax
movq %rax, 0x568(%rsp)
movq 0x568(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x360(%rsp)
movq 0x78(%rsp), %rax
addq $0x40, %rax
movq %rax, 0x560(%rsp)
movq 0x560(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x340(%rsp)
movq 0x78(%rsp), %rax
addq $0x60, %rax
movq %rax, 0x558(%rsp)
movq 0x558(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x320(%rsp)
movq 0x78(%rsp), %rax
addq $0x80, %rax
movq %rax, 0x550(%rsp)
movq 0x550(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x300(%rsp)
movq 0x78(%rsp), %rax
addq $0xa0, %rax
movq %rax, 0x548(%rsp)
movq 0x548(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x2e0(%rsp)
movq 0x78(%rsp), %rax
addq $0xc0, %rax
movq %rax, 0x540(%rsp)
movq 0x540(%rsp), %rax
vmovdqu (%rax), %ymm0
vmovdqa %ymm0, 0x240(%rsp)
vmovdqa 0x380(%rsp), %ymm11
vmovdqa 0x360(%rsp), %ymm5
vmovdqa 0x340(%rsp), %ymm4
vmovdqa 0x320(%rsp), %ymm3
vmovdqa 0x300(%rsp), %ymm2
vmovdqa 0x2e0(%rsp), %ymm1
vmovdqa 0x240(%rsp), %ymm12
movq 0xbe696(%rip), %rdx     # 0xc7ff8
movq $0x300, %rax            # imm = 0x300
vpxor %ymm5, %ymm11, %ymm9
vpxor %ymm4, %ymm9, %ymm9
vpxor %ymm3, %ymm9, %ymm9
vpxor %ymm2, %ymm9, %ymm9
vpermq $0x93, %ymm9, %ymm8     # ymm8 = ymm9[3,0,1,2]
vpsrlq $0x3f, %ymm9, %ymm7
vpsllq $0x1, %ymm9, %ymm9
vperm2i128 $0x11, %ymm1, %ymm1, %ymm0 # ymm0 = ymm1[2,3,2,3]
vpxor %ymm0, %ymm1, %ymm0
vpunpckhqdq %ymm0, %ymm0, %ymm6 # ymm6 = ymm0[1,1,3,3]
vpxor %ymm6, %ymm0, %ymm6
vpxor %ymm6, %ymm12, %ymm6
vpxor %ymm7, %ymm9, %ymm7
vpblendd $0x3, %ymm6, %ymm8, %ymm0 # ymm0 = ymm6[0,1],ymm8[2,3,4,5,6,7]
vpsrlq $0x3f, %ymm6, %ymm9
vpsllq $0x1, %ymm6, %ymm6
vpxor %ymm6, %ymm9, %ymm6
vpblendd $0x3, %ymm6, %ymm7, %ymm6 # ymm6 = ymm6[0,1],ymm7[2,3,4,5,6,7]
vpxor %ymm7, %ymm8, %ymm7
vpxor %ymm7, %ymm12, %ymm9
vpermq $0x39, %ymm6, %ymm6     # ymm6 = ymm6[1,2,3,0]
vpxor %ymm6, %ymm0, %ymm0
vpxor %ymm0, %ymm11, %ymm11
vpxor %ymm0, %ymm5, %ymm5
vpbroadcastq %xmm7, %ymm7
vpxor %ymm7, %ymm1, %ymm1
vpxor %ymm0, %ymm4, %ymm4
vpxor %ymm0, %ymm3, %ymm3
vpxor %ymm0, %ymm2, %ymm2
vmovdqa 0xbedea(%rip), %ymm6    # 0xc87e0
vmovdqa 0xbedc2(%rip), %ymm12   # 0xc87c0
vmovdqa 0xbee1a(%rip), %ymm7    # 0xc8820
vpsrlvq %ymm6, %ymm11, %ymm6
vpsllvq %ymm12, %ymm11, %ymm11
vmovdqa 0xbede8(%rip), %ymm12   # 0xc8800
vmovdqa 0xbee40(%rip), %ymm0    # 0xc8860
vpsrlvq %ymm7, %ymm5, %ymm7
vpsllvq %ymm12, %ymm5, %ymm5
vmovdqa 0xbee0e(%rip), %ymm12   # 0xc8840
vmovdqa 0xbee66(%rip), %ymm10   # 0xc88a0
vpsrlvq %ymm0, %ymm4, %ymm0
vpsllvq %ymm12, %ymm4, %ymm4
vpxor %ymm7, %ymm5, %ymm7
vpxor %ymm6, %ymm11, %ymm6
vpermq $0x1c, %ymm6, %ymm5     # ymm5 = ymm6[0,3,1,0]
vperm2i128 $0x11, %ymm6, %ymm6, %ymm6 # ymm6 = ymm6[2,3,2,3]
vpxor %ymm0, %ymm4, %ymm4
vpsrlvq %ymm10, %ymm3, %ymm0
vpermq $0x72, %ymm4, %ymm4     # ymm4 = ymm4[2,0,3,1]
vmovdqa 0xbee11(%rip), %ymm10   # 0xc8880
vpsllvq %ymm10, %ymm3, %ymm3
vpxor %ymm0, %ymm3, %ymm10
vpermq $0x87, %ymm10, %ymm3    # ymm3 = ymm10[3,1,0,2]
vmovdqa 0xbee5a(%rip), %ymm0    # 0xc88e0
vpsrlvq %ymm0, %ymm2, %ymm12
vmovdqa 0xbee2d(%rip), %ymm0    # 0xc88c0
vpsllvq %ymm0, %ymm2, %ymm2
vpxor %ymm2, %ymm12, %ymm0
vpermq $0xc9, %ymm0, %ymm11    # ymm11 = ymm0[1,2,0,3]
vpunpckhqdq %ymm0, %ymm0, %ymm0 # ymm0 = ymm0[1,1,3,3]
vmovdqa 0xbee72(%rip), %ymm2    # 0xc8920
vpsrlvq %ymm2, %ymm1, %ymm12
vmovdqa 0xbee45(%rip), %ymm2    # 0xc8900
vpsllvq %ymm2, %ymm1, %ymm1
vpxor %ymm1, %ymm12, %ymm2
vpsrlq $0x32, %ymm9, %ymm1
vpsllq $0xe, %ymm9, %ymm12
vperm2i128 $0x11, %ymm2, %ymm2, %ymm8 # ymm8 = ymm2[2,3,2,3]
vpxor %ymm1, %ymm12, %ymm9
vmovdqa %xmm2, %xmm12
vpunpckhqdq %ymm2, %ymm2, %ymm1 # ymm1 = ymm2[1,1,3,3]
vpbroadcastq %xmm9, %ymm9
vpbroadcastq %xmm12, %ymm12
vpermq $0xff, %ymm2, %ymm2     # ymm2 = ymm2[3,3,3,3]
vpblendd $0x30, %ymm2, %ymm3, %ymm2 # ymm2 = ymm3[0,1,2,3],ymm2[4,5],ymm3[6,7]
vpblendd $0x3, %ymm9, %ymm11, %ymm3 # ymm3 = ymm9[0,1],ymm11[2,3,4,5,6,7]
vpblendd $0xc0, %ymm12, %ymm5, %ymm5 # ymm5 = ymm5[0,1,2,3,4,5],ymm12[6,7]
vpermq $0x2d, %ymm7, %ymm12    # ymm12 = ymm7[1,3,2,0]
vpblendd $0xc, %ymm1, %ymm12, %ymm1 # ymm1 = ymm12[0,1],ymm1[2,3],ymm12[4,5,6,7]
vpermq $0xff, %ymm7, %ymm7     # ymm7 = ymm7[3,3,3,3]
vpandn %ymm4, %ymm1, %ymm9
subq $0x20, %rax
vpxor %ymm5, %ymm9, %ymm9
vpandn %ymm2, %ymm4, %ymm12
vpandn %ymm3, %ymm2, %ymm11
vpxor (%rdx,%rax), %ymm9, %ymm9
vpxor %ymm4, %ymm11, %ymm11
vpxor %ymm1, %ymm12, %ymm12
vpandn %ymm5, %ymm3, %ymm4
vpandn %ymm1, %ymm5, %ymm1
vpxor %ymm2, %ymm4, %ymm2
vpxor %ymm3, %ymm1, %ymm1
vpunpcklqdq %ymm12, %ymm9, %ymm4 # ymm4 = ymm9[0],ymm12[0],ymm9[2],ymm12[2]
vpunpckhqdq %ymm12, %ymm9, %ymm12 # ymm12 = ymm9[1],ymm12[1],ymm9[3],ymm12[3]
vpunpcklqdq %ymm2, %ymm11, %ymm9 # ymm9 = ymm11[0],ymm2[0],ymm11[2],ymm2[2]
vpunpckhqdq %ymm2, %ymm11, %ymm2 # ymm2 = ymm11[1],ymm2[1],ymm11[3],ymm2[3]
vperm2i128 $0x20, %ymm9, %ymm4, %ymm11 # ymm11 = ymm4[0,1],ymm9[0,1]
vperm2i128 $0x20, %ymm2, %ymm12, %ymm5 # ymm5 = ymm12[0,1],ymm2[0,1]
vperm2i128 $0x13, %ymm12, %ymm2, %ymm3 # ymm3 = ymm12[2,3],ymm2[2,3]
vperm2i128 $0x13, %ymm4, %ymm9, %ymm4 # ymm4 = ymm4[2,3],ymm9[2,3]
vpandn %ymm10, %ymm8, %ymm2
vpandn %ymm0, %ymm10, %ymm12
vpandn %ymm8, %ymm7, %ymm9
vpxor %ymm2, %ymm7, %ymm2
vpxor %ymm12, %ymm8, %ymm8
vpxor %ymm6, %ymm9, %ymm9
vpandn %ymm6, %ymm0, %ymm12
vpxor %ymm12, %ymm10, %ymm10
vpandn %ymm7, %ymm6, %ymm12
vpunpcklqdq %ymm2, %ymm9, %ymm9 # ymm9 = ymm9[0],ymm2[0],ymm9[2],ymm2[2]
vpunpcklqdq %ymm10, %ymm8, %ymm8 # ymm8 = ymm8[0],ymm10[0],ymm8[2],ymm10[2]
vperm2i128 $0x20, %ymm8, %ymm9, %ymm2 # ymm2 = ymm9[0,1],ymm8[0,1]
vpxor %ymm0, %ymm12, %ymm12
jne 0x9969
vmovaps %ymm12, 0x20(%rsp)
vmovaps %ymm11, (%rsp)
vmovaps (%rsp), %ymm6
vmovaps 0x20(%rsp), %ymm0
vmovdqa %ymm6, 0x380(%rsp)
vmovdqa %ymm5, 0x360(%rsp)
vmovdqa %ymm4, 0x340(%rsp)
vmovdqa %ymm3, 0x320(%rsp)
vmovdqa %ymm2, 0x300(%rsp)
vmovdqa %ymm1, 0x2e0(%rsp)
vmovdqa %ymm0, 0x240(%rsp)
movq 0x3b0(%rsp), %rax
addq 0x60(%rsp), %rax
movq %rax, 0x60(%rsp)
jmp 0x8161
movq 0x78(%rsp), %rax
vmovdqa 0x380(%rsp), %ymm0
movq %rax, 0x818(%rsp)
vmovdqa %ymm0, 0x7e0(%rsp)
vmovdqa 0x7e0(%rsp), %ymm0
movq 0x818(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x78(%rsp), %rax
addq $0x20, %rax
vmovdqa 0x360(%rsp), %ymm0
movq %rax, 0x7d8(%rsp)
vmovdqa %ymm0, 0x7a0(%rsp)
vmovdqa 0x7a0(%rsp), %ymm0
movq 0x7d8(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x78(%rsp), %rax
addq $0x40, %rax
vmovdqa 0x340(%rsp), %ymm0
movq %rax, 0x798(%rsp)
vmovdqa %ymm0, 0x760(%rsp)
vmovdqa 0x760(%rsp), %ymm0
movq 0x798(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x78(%rsp), %rax
addq $0x60, %rax
vmovdqa 0x320(%rsp), %ymm0
movq %rax, 0x758(%rsp)
vmovdqa %ymm0, 0x720(%rsp)
vmovdqa 0x720(%rsp), %ymm0
movq 0x758(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x78(%rsp), %rax
addq $0x80, %rax
vmovdqa 0x300(%rsp), %ymm0
movq %rax, 0x718(%rsp)
vmovdqa %ymm0, 0x6e0(%rsp)
vmovdqa 0x6e0(%rsp), %ymm0
movq 0x718(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x78(%rsp), %rax
addq $0xa0, %rax
vmovdqa 0x2e0(%rsp), %ymm0
movq %rax, 0x6d8(%rsp)
vmovdqa %ymm0, 0x6a0(%rsp)
vmovdqa 0x6a0(%rsp), %ymm0
movq 0x6d8(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x78(%rsp), %rax
addq $0xc0, %rax
vmovdqa 0x240(%rsp), %ymm0
movq %rax, 0x698(%rsp)
vmovdqa %ymm0, 0x660(%rsp)
vmovdqa 0x660(%rsp), %ymm0
movq 0x698(%rsp), %rax
vmovdqu %ymm0, (%rax)
movq 0x60(%rsp), %rax
shlq $0x3, %rax
movq %rbp, %rsp
popq %rbp
vzeroupper
retq
nopl (%rax)