// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/lakekeyakv2/SandyBridge/KeccakP-1600-times2-SIMD128.c
// Function: KeccakP1600times2_OverwriteLanesAll
void KeccakP1600times2_OverwriteLanesAll(void *states, const unsigned char *data, unsigned int laneCount, unsigned int laneOffset)
{
    V128 *stateAsLanes = states;
    unsigned int i;
    const UINT64 *curData0 = (const UINT64 *)data;
    const UINT64 *curData1 = (const UINT64 *)(data+laneOffset*SnP_laneLengthInBytes);
    #define OverWr( argIndex )  STORE128(stateAsLanes[argIndex], LOAD6464(curData1[argIndex], curData0[argIndex]))
    if ( laneCount >= 17 )  {
        OverWr( 0 );
        OverWr( 1 );
        OverWr( 2 );
        OverWr( 3 );
        OverWr( 4 );
        OverWr( 5 );
        OverWr( 6 );
        OverWr( 7 );
        OverWr( 8 );
        OverWr( 9 );
        OverWr( 10 );
        OverWr( 11 );
        OverWr( 12 );
        OverWr( 13 );
        OverWr( 14 );
        OverWr( 15 );
        OverWr( 16 );
        if ( laneCount >= 21 )  {
            OverWr( 17 );
            OverWr( 18 );
            OverWr( 19 );
            OverWr( 20 );
            for(i=21; i<laneCount; i++)
                OverWr( i );
        }
        else {
            for(i=17; i<laneCount; i++)
                OverWr( i );
        }
    }
    else {
        for(i=0; i<laneCount; i++)
            OverWr( i );
    }
    #undef  OverWr
}

// Assembly:
subq $0xa48, %rsp            # imm = 0xA48
movq %rdi, 0x138(%rsp)
movq %rsi, 0x130(%rsp)
movl %edx, 0x12c(%rsp)
movl %ecx, 0x128(%rsp)
movq 0x138(%rsp), %rax
movq %rax, 0x120(%rsp)
movq 0x130(%rsp), %rax
movq %rax, 0x110(%rsp)
movq 0x130(%rsp), %rax
movl 0x128(%rsp), %ecx
shll $0x3, %ecx
movl %ecx, %ecx
addq %rcx, %rax
movq %rax, 0x108(%rsp)
cmpl $0x11, 0x12c(%rsp)
jb 0x15a9e
movq 0x120(%rsp), %rax
movq 0x108(%rsp), %rcx
movq (%rcx), %rdx
movq 0x110(%rsp), %rcx
movq (%rcx), %rcx
movq %rdx, 0x100(%rsp)
vmovsd 0x100(%rsp), %xmm1
movq %rcx, 0xf8(%rsp)
vmovsd 0xf8(%rsp), %xmm0
vmovsd %xmm1, 0x438(%rsp)
movq 0x438(%rsp), %rdx
vmovsd %xmm0, 0x430(%rsp)
movq 0x430(%rsp), %rcx
movq %rdx, 0x428(%rsp)
movq %rcx, 0x420(%rsp)
movq 0x428(%rsp), %rdx
movq 0x420(%rsp), %rcx
movq %rdx, 0x758(%rsp)
movq %rcx, 0x750(%rsp)
vmovq 0x758(%rsp), %xmm1
vmovq 0x750(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x740(%rsp)
vmovdqa 0x740(%rsp), %xmm0
movq %rax, 0x738(%rsp)
vmovdqa %xmm0, 0x720(%rsp)
vmovdqa 0x720(%rsp), %xmm0
movq 0x738(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0x10, %rax
movq 0x108(%rsp), %rcx
movq 0x8(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x8(%rcx), %rcx
movq %rdx, 0xf0(%rsp)
vmovsd 0xf0(%rsp), %xmm1
movq %rcx, 0xe8(%rsp)
vmovsd 0xe8(%rsp), %xmm0
vmovsd %xmm1, 0x418(%rsp)
movq 0x418(%rsp), %rdx
vmovsd %xmm0, 0x410(%rsp)
movq 0x410(%rsp), %rcx
movq %rdx, 0x408(%rsp)
movq %rcx, 0x400(%rsp)
movq 0x408(%rsp), %rdx
movq 0x400(%rsp), %rcx
movq %rdx, 0x778(%rsp)
movq %rcx, 0x770(%rsp)
vmovq 0x778(%rsp), %xmm1
vmovq 0x770(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x760(%rsp)
vmovdqa 0x760(%rsp), %xmm0
movq %rax, 0x718(%rsp)
vmovdqa %xmm0, 0x700(%rsp)
vmovdqa 0x700(%rsp), %xmm0
movq 0x718(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0x20, %rax
movq 0x108(%rsp), %rcx
movq 0x10(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x10(%rcx), %rcx
movq %rdx, 0xe0(%rsp)
vmovsd 0xe0(%rsp), %xmm1
movq %rcx, 0xd8(%rsp)
vmovsd 0xd8(%rsp), %xmm0
vmovsd %xmm1, 0x3f8(%rsp)
movq 0x3f8(%rsp), %rdx
vmovsd %xmm0, 0x3f0(%rsp)
movq 0x3f0(%rsp), %rcx
movq %rdx, 0x3e8(%rsp)
movq %rcx, 0x3e0(%rsp)
movq 0x3e8(%rsp), %rdx
movq 0x3e0(%rsp), %rcx
movq %rdx, 0x798(%rsp)
movq %rcx, 0x790(%rsp)
vmovq 0x798(%rsp), %xmm1
vmovq 0x790(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x780(%rsp)
vmovdqa 0x780(%rsp), %xmm0
movq %rax, 0x6f8(%rsp)
vmovdqa %xmm0, 0x6e0(%rsp)
vmovdqa 0x6e0(%rsp), %xmm0
movq 0x6f8(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0x30, %rax
movq 0x108(%rsp), %rcx
movq 0x18(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x18(%rcx), %rcx
movq %rdx, 0xd0(%rsp)
vmovsd 0xd0(%rsp), %xmm1
movq %rcx, 0xc8(%rsp)
vmovsd 0xc8(%rsp), %xmm0
vmovsd %xmm1, 0x3d8(%rsp)
movq 0x3d8(%rsp), %rdx
vmovsd %xmm0, 0x3d0(%rsp)
movq 0x3d0(%rsp), %rcx
movq %rdx, 0x3c8(%rsp)
movq %rcx, 0x3c0(%rsp)
movq 0x3c8(%rsp), %rdx
movq 0x3c0(%rsp), %rcx
movq %rdx, 0x7b8(%rsp)
movq %rcx, 0x7b0(%rsp)
vmovq 0x7b8(%rsp), %xmm1
vmovq 0x7b0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x7a0(%rsp)
vmovdqa 0x7a0(%rsp), %xmm0
movq %rax, 0x6d8(%rsp)
vmovdqa %xmm0, 0x6c0(%rsp)
vmovdqa 0x6c0(%rsp), %xmm0
movq 0x6d8(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0x40, %rax
movq 0x108(%rsp), %rcx
movq 0x20(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x20(%rcx), %rcx
movq %rdx, 0xc0(%rsp)
vmovsd 0xc0(%rsp), %xmm1
movq %rcx, 0xb8(%rsp)
vmovsd 0xb8(%rsp), %xmm0
vmovsd %xmm1, 0x3b8(%rsp)
movq 0x3b8(%rsp), %rdx
vmovsd %xmm0, 0x3b0(%rsp)
movq 0x3b0(%rsp), %rcx
movq %rdx, 0x3a8(%rsp)
movq %rcx, 0x3a0(%rsp)
movq 0x3a8(%rsp), %rdx
movq 0x3a0(%rsp), %rcx
movq %rdx, 0x7d8(%rsp)
movq %rcx, 0x7d0(%rsp)
vmovq 0x7d8(%rsp), %xmm1
vmovq 0x7d0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x7c0(%rsp)
vmovdqa 0x7c0(%rsp), %xmm0
movq %rax, 0x6b8(%rsp)
vmovdqa %xmm0, 0x6a0(%rsp)
vmovdqa 0x6a0(%rsp), %xmm0
movq 0x6b8(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0x50, %rax
movq 0x108(%rsp), %rcx
movq 0x28(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x28(%rcx), %rcx
movq %rdx, 0xb0(%rsp)
vmovsd 0xb0(%rsp), %xmm1
movq %rcx, 0xa8(%rsp)
vmovsd 0xa8(%rsp), %xmm0
vmovsd %xmm1, 0x398(%rsp)
movq 0x398(%rsp), %rdx
vmovsd %xmm0, 0x390(%rsp)
movq 0x390(%rsp), %rcx
movq %rdx, 0x388(%rsp)
movq %rcx, 0x380(%rsp)
movq 0x388(%rsp), %rdx
movq 0x380(%rsp), %rcx
movq %rdx, 0x7f8(%rsp)
movq %rcx, 0x7f0(%rsp)
vmovq 0x7f8(%rsp), %xmm1
vmovq 0x7f0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x7e0(%rsp)
vmovdqa 0x7e0(%rsp), %xmm0
movq %rax, 0x698(%rsp)
vmovdqa %xmm0, 0x680(%rsp)
vmovdqa 0x680(%rsp), %xmm0
movq 0x698(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0x60, %rax
movq 0x108(%rsp), %rcx
movq 0x30(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x30(%rcx), %rcx
movq %rdx, 0xa0(%rsp)
vmovsd 0xa0(%rsp), %xmm1
movq %rcx, 0x98(%rsp)
vmovsd 0x98(%rsp), %xmm0
vmovsd %xmm1, 0x378(%rsp)
movq 0x378(%rsp), %rdx
vmovsd %xmm0, 0x370(%rsp)
movq 0x370(%rsp), %rcx
movq %rdx, 0x368(%rsp)
movq %rcx, 0x360(%rsp)
movq 0x368(%rsp), %rdx
movq 0x360(%rsp), %rcx
movq %rdx, 0x818(%rsp)
movq %rcx, 0x810(%rsp)
vmovq 0x818(%rsp), %xmm1
vmovq 0x810(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x800(%rsp)
vmovdqa 0x800(%rsp), %xmm0
movq %rax, 0x678(%rsp)
vmovdqa %xmm0, 0x660(%rsp)
vmovdqa 0x660(%rsp), %xmm0
movq 0x678(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0x70, %rax
movq 0x108(%rsp), %rcx
movq 0x38(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x38(%rcx), %rcx
movq %rdx, 0x90(%rsp)
vmovsd 0x90(%rsp), %xmm1
movq %rcx, 0x88(%rsp)
vmovsd 0x88(%rsp), %xmm0
vmovsd %xmm1, 0x358(%rsp)
movq 0x358(%rsp), %rdx
vmovsd %xmm0, 0x350(%rsp)
movq 0x350(%rsp), %rcx
movq %rdx, 0x348(%rsp)
movq %rcx, 0x340(%rsp)
movq 0x348(%rsp), %rdx
movq 0x340(%rsp), %rcx
movq %rdx, 0x838(%rsp)
movq %rcx, 0x830(%rsp)
vmovq 0x838(%rsp), %xmm1
vmovq 0x830(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x820(%rsp)
vmovdqa 0x820(%rsp), %xmm0
movq %rax, 0x658(%rsp)
vmovdqa %xmm0, 0x640(%rsp)
vmovdqa 0x640(%rsp), %xmm0
movq 0x658(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
subq $-0x80, %rax
movq 0x108(%rsp), %rcx
movq 0x40(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x40(%rcx), %rcx
movq %rdx, 0x80(%rsp)
vmovsd 0x80(%rsp), %xmm1
movq %rcx, 0x78(%rsp)
vmovsd 0x78(%rsp), %xmm0
vmovsd %xmm1, 0x338(%rsp)
movq 0x338(%rsp), %rdx
vmovsd %xmm0, 0x330(%rsp)
movq 0x330(%rsp), %rcx
movq %rdx, 0x328(%rsp)
movq %rcx, 0x320(%rsp)
movq 0x328(%rsp), %rdx
movq 0x320(%rsp), %rcx
movq %rdx, 0x858(%rsp)
movq %rcx, 0x850(%rsp)
vmovq 0x858(%rsp), %xmm1
vmovq 0x850(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x840(%rsp)
vmovdqa 0x840(%rsp), %xmm0
movq %rax, 0x638(%rsp)
vmovdqa %xmm0, 0x620(%rsp)
vmovdqa 0x620(%rsp), %xmm0
movq 0x638(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0x90, %rax
movq 0x108(%rsp), %rcx
movq 0x48(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x48(%rcx), %rcx
movq %rdx, 0x70(%rsp)
vmovsd 0x70(%rsp), %xmm1
movq %rcx, 0x68(%rsp)
vmovsd 0x68(%rsp), %xmm0
vmovsd %xmm1, 0x318(%rsp)
movq 0x318(%rsp), %rdx
vmovsd %xmm0, 0x310(%rsp)
movq 0x310(%rsp), %rcx
movq %rdx, 0x308(%rsp)
movq %rcx, 0x300(%rsp)
movq 0x308(%rsp), %rdx
movq 0x300(%rsp), %rcx
movq %rdx, 0x878(%rsp)
movq %rcx, 0x870(%rsp)
vmovq 0x878(%rsp), %xmm1
vmovq 0x870(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x860(%rsp)
vmovdqa 0x860(%rsp), %xmm0
movq %rax, 0x618(%rsp)
vmovdqa %xmm0, 0x600(%rsp)
vmovdqa 0x600(%rsp), %xmm0
movq 0x618(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0xa0, %rax
movq 0x108(%rsp), %rcx
movq 0x50(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x50(%rcx), %rcx
movq %rdx, 0x60(%rsp)
vmovsd 0x60(%rsp), %xmm1
movq %rcx, 0x58(%rsp)
vmovsd 0x58(%rsp), %xmm0
vmovsd %xmm1, 0x2f8(%rsp)
movq 0x2f8(%rsp), %rdx
vmovsd %xmm0, 0x2f0(%rsp)
movq 0x2f0(%rsp), %rcx
movq %rdx, 0x2e8(%rsp)
movq %rcx, 0x2e0(%rsp)
movq 0x2e8(%rsp), %rdx
movq 0x2e0(%rsp), %rcx
movq %rdx, 0x898(%rsp)
movq %rcx, 0x890(%rsp)
vmovq 0x898(%rsp), %xmm1
vmovq 0x890(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x880(%rsp)
vmovdqa 0x880(%rsp), %xmm0
movq %rax, 0x5f8(%rsp)
vmovdqa %xmm0, 0x5e0(%rsp)
vmovdqa 0x5e0(%rsp), %xmm0
movq 0x5f8(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0xb0, %rax
movq 0x108(%rsp), %rcx
movq 0x58(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x58(%rcx), %rcx
movq %rdx, 0x50(%rsp)
vmovsd 0x50(%rsp), %xmm1
movq %rcx, 0x48(%rsp)
vmovsd 0x48(%rsp), %xmm0
vmovsd %xmm1, 0x2d8(%rsp)
movq 0x2d8(%rsp), %rdx
vmovsd %xmm0, 0x2d0(%rsp)
movq 0x2d0(%rsp), %rcx
movq %rdx, 0x2c8(%rsp)
movq %rcx, 0x2c0(%rsp)
movq 0x2c8(%rsp), %rdx
movq 0x2c0(%rsp), %rcx
movq %rdx, 0x8b8(%rsp)
movq %rcx, 0x8b0(%rsp)
vmovq 0x8b8(%rsp), %xmm1
vmovq 0x8b0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x8a0(%rsp)
vmovdqa 0x8a0(%rsp), %xmm0
movq %rax, 0x5d8(%rsp)
vmovdqa %xmm0, 0x5c0(%rsp)
vmovdqa 0x5c0(%rsp), %xmm0
movq 0x5d8(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0xc0, %rax
movq 0x108(%rsp), %rcx
movq 0x60(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x60(%rcx), %rcx
movq %rdx, 0x40(%rsp)
vmovsd 0x40(%rsp), %xmm1
movq %rcx, 0x38(%rsp)
vmovsd 0x38(%rsp), %xmm0
vmovsd %xmm1, 0x2b8(%rsp)
movq 0x2b8(%rsp), %rdx
vmovsd %xmm0, 0x2b0(%rsp)
movq 0x2b0(%rsp), %rcx
movq %rdx, 0x2a8(%rsp)
movq %rcx, 0x2a0(%rsp)
movq 0x2a8(%rsp), %rdx
movq 0x2a0(%rsp), %rcx
movq %rdx, 0x8d8(%rsp)
movq %rcx, 0x8d0(%rsp)
vmovq 0x8d8(%rsp), %xmm1
vmovq 0x8d0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x8c0(%rsp)
vmovdqa 0x8c0(%rsp), %xmm0
movq %rax, 0x5b8(%rsp)
vmovdqa %xmm0, 0x5a0(%rsp)
vmovdqa 0x5a0(%rsp), %xmm0
movq 0x5b8(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0xd0, %rax
movq 0x108(%rsp), %rcx
movq 0x68(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x68(%rcx), %rcx
movq %rdx, 0x30(%rsp)
vmovsd 0x30(%rsp), %xmm1
movq %rcx, 0x28(%rsp)
vmovsd 0x28(%rsp), %xmm0
vmovsd %xmm1, 0x298(%rsp)
movq 0x298(%rsp), %rdx
vmovsd %xmm0, 0x290(%rsp)
movq 0x290(%rsp), %rcx
movq %rdx, 0x288(%rsp)
movq %rcx, 0x280(%rsp)
movq 0x288(%rsp), %rdx
movq 0x280(%rsp), %rcx
movq %rdx, 0x8f8(%rsp)
movq %rcx, 0x8f0(%rsp)
vmovq 0x8f8(%rsp), %xmm1
vmovq 0x8f0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x8e0(%rsp)
vmovdqa 0x8e0(%rsp), %xmm0
movq %rax, 0x598(%rsp)
vmovdqa %xmm0, 0x580(%rsp)
vmovdqa 0x580(%rsp), %xmm0
movq 0x598(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0xe0, %rax
movq 0x108(%rsp), %rcx
movq 0x70(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x70(%rcx), %rcx
movq %rdx, 0x20(%rsp)
vmovsd 0x20(%rsp), %xmm1
movq %rcx, 0x18(%rsp)
vmovsd 0x18(%rsp), %xmm0
vmovsd %xmm1, 0x278(%rsp)
movq 0x278(%rsp), %rdx
vmovsd %xmm0, 0x270(%rsp)
movq 0x270(%rsp), %rcx
movq %rdx, 0x268(%rsp)
movq %rcx, 0x260(%rsp)
movq 0x268(%rsp), %rdx
movq 0x260(%rsp), %rcx
movq %rdx, 0x918(%rsp)
movq %rcx, 0x910(%rsp)
vmovq 0x918(%rsp), %xmm1
vmovq 0x910(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x900(%rsp)
vmovdqa 0x900(%rsp), %xmm0
movq %rax, 0x578(%rsp)
vmovdqa %xmm0, 0x560(%rsp)
vmovdqa 0x560(%rsp), %xmm0
movq 0x578(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0xf0, %rax
movq 0x108(%rsp), %rcx
movq 0x78(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x78(%rcx), %rcx
movq %rdx, 0x10(%rsp)
vmovsd 0x10(%rsp), %xmm1
movq %rcx, 0x8(%rsp)
vmovsd 0x8(%rsp), %xmm0
vmovsd %xmm1, 0x258(%rsp)
movq 0x258(%rsp), %rdx
vmovsd %xmm0, 0x250(%rsp)
movq 0x250(%rsp), %rcx
movq %rdx, 0x248(%rsp)
movq %rcx, 0x240(%rsp)
movq 0x248(%rsp), %rdx
movq 0x240(%rsp), %rcx
movq %rdx, 0x938(%rsp)
movq %rcx, 0x930(%rsp)
vmovq 0x938(%rsp), %xmm1
vmovq 0x930(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x920(%rsp)
vmovdqa 0x920(%rsp), %xmm0
movq %rax, 0x558(%rsp)
vmovdqa %xmm0, 0x540(%rsp)
vmovdqa 0x540(%rsp), %xmm0
movq 0x558(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0x100, %rax            # imm = 0x100
movq 0x108(%rsp), %rcx
movq 0x80(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x80(%rcx), %rcx
movq %rdx, (%rsp)
vmovsd (%rsp), %xmm1
movq %rcx, -0x8(%rsp)
vmovsd -0x8(%rsp), %xmm0
vmovsd %xmm1, 0x238(%rsp)
movq 0x238(%rsp), %rdx
vmovsd %xmm0, 0x230(%rsp)
movq 0x230(%rsp), %rcx
movq %rdx, 0x228(%rsp)
movq %rcx, 0x220(%rsp)
movq 0x228(%rsp), %rdx
movq 0x220(%rsp), %rcx
movq %rdx, 0x958(%rsp)
movq %rcx, 0x950(%rsp)
vmovq 0x958(%rsp), %xmm1
vmovq 0x950(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x940(%rsp)
vmovdqa 0x940(%rsp), %xmm0
movq %rax, 0x538(%rsp)
vmovdqa %xmm0, 0x520(%rsp)
vmovdqa 0x520(%rsp), %xmm0
movq 0x538(%rsp), %rax
vmovdqa %xmm0, (%rax)
cmpl $0x15, 0x12c(%rsp)
jb 0x15979
movq 0x120(%rsp), %rax
addq $0x110, %rax            # imm = 0x110
movq 0x108(%rsp), %rcx
movq 0x88(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x88(%rcx), %rcx
movq %rdx, -0x10(%rsp)
vmovsd -0x10(%rsp), %xmm1
movq %rcx, -0x18(%rsp)
vmovsd -0x18(%rsp), %xmm0
vmovsd %xmm1, 0x218(%rsp)
movq 0x218(%rsp), %rdx
vmovsd %xmm0, 0x210(%rsp)
movq 0x210(%rsp), %rcx
movq %rdx, 0x208(%rsp)
movq %rcx, 0x200(%rsp)
movq 0x208(%rsp), %rdx
movq 0x200(%rsp), %rcx
movq %rdx, 0x978(%rsp)
movq %rcx, 0x970(%rsp)
vmovq 0x978(%rsp), %xmm1
vmovq 0x970(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x960(%rsp)
vmovdqa 0x960(%rsp), %xmm0
movq %rax, 0x518(%rsp)
vmovdqa %xmm0, 0x500(%rsp)
vmovdqa 0x500(%rsp), %xmm0
movq 0x518(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0x120, %rax            # imm = 0x120
movq 0x108(%rsp), %rcx
movq 0x90(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x90(%rcx), %rcx
movq %rdx, -0x20(%rsp)
vmovsd -0x20(%rsp), %xmm1
movq %rcx, -0x28(%rsp)
vmovsd -0x28(%rsp), %xmm0
vmovsd %xmm1, 0x1f8(%rsp)
movq 0x1f8(%rsp), %rdx
vmovsd %xmm0, 0x1f0(%rsp)
movq 0x1f0(%rsp), %rcx
movq %rdx, 0x1e8(%rsp)
movq %rcx, 0x1e0(%rsp)
movq 0x1e8(%rsp), %rdx
movq 0x1e0(%rsp), %rcx
movq %rdx, 0x998(%rsp)
movq %rcx, 0x990(%rsp)
vmovq 0x998(%rsp), %xmm1
vmovq 0x990(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x980(%rsp)
vmovdqa 0x980(%rsp), %xmm0
movq %rax, 0x4f8(%rsp)
vmovdqa %xmm0, 0x4e0(%rsp)
vmovdqa 0x4e0(%rsp), %xmm0
movq 0x4f8(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0x130, %rax            # imm = 0x130
movq 0x108(%rsp), %rcx
movq 0x98(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0x98(%rcx), %rcx
movq %rdx, -0x30(%rsp)
vmovsd -0x30(%rsp), %xmm1
movq %rcx, -0x38(%rsp)
vmovsd -0x38(%rsp), %xmm0
vmovsd %xmm1, 0x1d8(%rsp)
movq 0x1d8(%rsp), %rdx
vmovsd %xmm0, 0x1d0(%rsp)
movq 0x1d0(%rsp), %rcx
movq %rdx, 0x1c8(%rsp)
movq %rcx, 0x1c0(%rsp)
movq 0x1c8(%rsp), %rdx
movq 0x1c0(%rsp), %rcx
movq %rdx, 0x9b8(%rsp)
movq %rcx, 0x9b0(%rsp)
vmovq 0x9b8(%rsp), %xmm1
vmovq 0x9b0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x9a0(%rsp)
vmovdqa 0x9a0(%rsp), %xmm0
movq %rax, 0x4d8(%rsp)
vmovdqa %xmm0, 0x4c0(%rsp)
vmovdqa 0x4c0(%rsp), %xmm0
movq 0x4d8(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x120(%rsp), %rax
addq $0x140, %rax            # imm = 0x140
movq 0x108(%rsp), %rcx
movq 0xa0(%rcx), %rdx
movq 0x110(%rsp), %rcx
movq 0xa0(%rcx), %rcx
movq %rdx, -0x40(%rsp)
vmovsd -0x40(%rsp), %xmm1
movq %rcx, -0x48(%rsp)
vmovsd -0x48(%rsp), %xmm0
vmovsd %xmm1, 0x1b8(%rsp)
movq 0x1b8(%rsp), %rdx
vmovsd %xmm0, 0x1b0(%rsp)
movq 0x1b0(%rsp), %rcx
movq %rdx, 0x1a8(%rsp)
movq %rcx, 0x1a0(%rsp)
movq 0x1a8(%rsp), %rdx
movq 0x1a0(%rsp), %rcx
movq %rdx, 0x9d8(%rsp)
movq %rcx, 0x9d0(%rsp)
vmovq 0x9d8(%rsp), %xmm1
vmovq 0x9d0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x9c0(%rsp)
vmovdqa 0x9c0(%rsp), %xmm0
movq %rax, 0x4b8(%rsp)
vmovdqa %xmm0, 0x4a0(%rsp)
vmovdqa 0x4a0(%rsp), %xmm0
movq 0x4b8(%rsp), %rax
vmovdqa %xmm0, (%rax)
movl $0x15, 0x11c(%rsp)
movl 0x11c(%rsp), %eax
cmpl 0x12c(%rsp), %eax
jae 0x15974
movq 0x120(%rsp), %rax
movl 0x11c(%rsp), %ecx
movl %ecx, %esi
movq %rsi, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x108(%rsp), %rcx
movq (%rcx,%rsi,8), %rdx
movq 0x110(%rsp), %rcx
movq (%rcx,%rsi,8), %rcx
movq %rdx, -0x50(%rsp)
vmovsd -0x50(%rsp), %xmm1
movq %rcx, -0x58(%rsp)
vmovsd -0x58(%rsp), %xmm0
vmovsd %xmm1, 0x198(%rsp)
movq 0x198(%rsp), %rdx
vmovsd %xmm0, 0x190(%rsp)
movq 0x190(%rsp), %rcx
movq %rdx, 0x188(%rsp)
movq %rcx, 0x180(%rsp)
movq 0x188(%rsp), %rdx
movq 0x180(%rsp), %rcx
movq %rdx, 0x9f8(%rsp)
movq %rcx, 0x9f0(%rsp)
vmovq 0x9f8(%rsp), %xmm1
vmovq 0x9f0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x9e0(%rsp)
vmovdqa 0x9e0(%rsp), %xmm0
movq %rax, 0x498(%rsp)
vmovdqa %xmm0, 0x480(%rsp)
vmovdqa 0x480(%rsp), %xmm0
movq 0x498(%rsp), %rax
vmovdqa %xmm0, (%rax)
movl 0x11c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x11c(%rsp)
jmp 0x15861
jmp 0x15a99
movl $0x11, 0x11c(%rsp)
movl 0x11c(%rsp), %eax
cmpl 0x12c(%rsp), %eax
jae 0x15a97
movq 0x120(%rsp), %rax
movl 0x11c(%rsp), %ecx
movl %ecx, %esi
movq %rsi, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x108(%rsp), %rcx
movq (%rcx,%rsi,8), %rdx
movq 0x110(%rsp), %rcx
movq (%rcx,%rsi,8), %rcx
movq %rdx, -0x60(%rsp)
vmovsd -0x60(%rsp), %xmm1
movq %rcx, -0x68(%rsp)
vmovsd -0x68(%rsp), %xmm0
vmovsd %xmm1, 0x178(%rsp)
movq 0x178(%rsp), %rdx
vmovsd %xmm0, 0x170(%rsp)
movq 0x170(%rsp), %rcx
movq %rdx, 0x168(%rsp)
movq %rcx, 0x160(%rsp)
movq 0x168(%rsp), %rdx
movq 0x160(%rsp), %rcx
movq %rdx, 0xa18(%rsp)
movq %rcx, 0xa10(%rsp)
vmovq 0xa18(%rsp), %xmm1
vmovq 0xa10(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0xa00(%rsp)
vmovdqa 0xa00(%rsp), %xmm0
movq %rax, 0x478(%rsp)
vmovdqa %xmm0, 0x460(%rsp)
vmovdqa 0x460(%rsp), %xmm0
movq 0x478(%rsp), %rax
vmovdqa %xmm0, (%rax)
movl 0x11c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x11c(%rsp)
jmp 0x15984
jmp 0x15a99
jmp 0x15bbe
movl $0x0, 0x11c(%rsp)
movl 0x11c(%rsp), %eax
cmpl 0x12c(%rsp), %eax
jae 0x15bbc
movq 0x120(%rsp), %rax
movl 0x11c(%rsp), %ecx
movl %ecx, %esi
movq %rsi, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x108(%rsp), %rcx
movq (%rcx,%rsi,8), %rdx
movq 0x110(%rsp), %rcx
movq (%rcx,%rsi,8), %rcx
movq %rdx, -0x70(%rsp)
vmovsd -0x70(%rsp), %xmm1
movq %rcx, -0x78(%rsp)
vmovsd -0x78(%rsp), %xmm0
vmovsd %xmm1, 0x158(%rsp)
movq 0x158(%rsp), %rdx
vmovsd %xmm0, 0x150(%rsp)
movq 0x150(%rsp), %rcx
movq %rdx, 0x148(%rsp)
movq %rcx, 0x140(%rsp)
movq 0x148(%rsp), %rdx
movq 0x140(%rsp), %rcx
movq %rdx, 0xa40(%rsp)
movq %rcx, 0xa38(%rsp)
vmovq 0xa40(%rsp), %xmm1
vmovq 0xa38(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0xa20(%rsp)
vmovdqa 0xa20(%rsp), %xmm0
movq %rax, 0x458(%rsp)
vmovdqa %xmm0, 0x440(%rsp)
vmovdqa 0x440(%rsp), %xmm0
movq 0x458(%rsp), %rax
vmovdqa %xmm0, (%rax)
movl 0x11c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x11c(%rsp)
jmp 0x15aa9
jmp 0x15bbe
addq $0xa48, %rsp            # imm = 0xA48
retq
nopw %cs:(%rax,%rax)