// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/twine80n6t4clocv2/vperm/encrypt.c
// Function: load_partial_block
void load_partial_block(word* dst, const unsigned char* m, int len, unsigned choice)
{
    unsigned char temp[STATE_LEN];
    if(choice == ZERO_APPEND){
        memcpy(temp, m, len);
        memset(temp+len, 0, STATE_LEN-len);
        *dst = LOADS(temp);
    }
    else if(choice == ONE_ZERO_PADDING){
        memcpy(temp, m, len);
        memset(temp+len, 0, STATE_LEN-len);
        if(len < STATE_LEN)
            temp[len] = 0x80;
        *dst = LOADS(temp);
    }
    else if(choice == ZERO_PREPEND){
        memcpy(temp+STATE_LEN-len, m, len);
        memset(temp, 0, STATE_LEN-len);
        *dst = LOADS(temp);
    }
    else if(choice == PARAM_OZP){
        temp[0] = PARAM;
        memcpy(temp+1, m, len);
        memset(temp+len+1, 0, STATE_LEN-len-1);
        if(len < (STATE_LEN-1))
            temp[len+1] = 0x80;
        *dst = LOADS(temp);
    }
    else{
        // do nothing
    }
}

// Assembly:
subq $0x658, %rsp            # imm = 0x658
movq %rdi, 0x48(%rsp)
movq %rsi, 0x40(%rsp)
movl %edx, 0x3c(%rsp)
movl %ecx, 0x38(%rsp)
cmpl $0x0, 0x38(%rsp)
jne 0x478f
movq 0x40(%rsp), %rsi
movslq 0x3c(%rsp), %rdx
leaq 0x30(%rsp), %rdi
movq %rdi, 0x20(%rsp)
callq 0x10b0
movslq 0x3c(%rsp), %rax
movl %eax, %ecx
leaq 0x30(%rsp,%rax), %rdi
movl $0x8, %eax
subl %ecx, %eax
movslq %eax, %rdx
xorl %esi, %esi
callq 0x1040
movq 0x20(%rsp), %rax
movq %rax, 0x3c0(%rsp)
movq 0x3c0(%rsp), %rcx
vmovq (%rcx), %xmm0
vmovdqa %xmm0, 0x3b0(%rsp)
vmovdqa 0x3b0(%rsp), %xmm1
movb $0xf, 0x3cf(%rsp)
movb 0x3cf(%rsp), %cl
movb %cl, 0x2e(%rsp)
movb %cl, 0x3ef(%rsp)
movb %cl, 0x3ee(%rsp)
movb %cl, 0x3ed(%rsp)
movb %cl, 0x3ec(%rsp)
movb %cl, 0x3eb(%rsp)
movb %cl, 0x3ea(%rsp)
movb %cl, 0x3e9(%rsp)
movb %cl, 0x3e8(%rsp)
movb %cl, 0x3e7(%rsp)
movb %cl, 0x3e6(%rsp)
movb %cl, 0x3e5(%rsp)
movb %cl, 0x3e4(%rsp)
movb %cl, 0x3e3(%rsp)
movb %cl, 0x3e2(%rsp)
movb %cl, 0x3e1(%rsp)
movb %cl, 0x3e0(%rsp)
movzbl 0x3e0(%rsp), %ecx
vmovd %ecx, %xmm0
movzbl 0x3e1(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm0, %xmm0
movzbl 0x3e2(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm0, %xmm0
movzbl 0x3e3(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm0, %xmm0
movzbl 0x3e4(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm0, %xmm0
movzbl 0x3e5(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm0, %xmm0
movzbl 0x3e6(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm0, %xmm0
movzbl 0x3e7(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm0, %xmm0
movzbl 0x3e8(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm0, %xmm0
movzbl 0x3e9(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm0, %xmm0
movzbl 0x3ea(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm0, %xmm0
movzbl 0x3eb(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm0, %xmm0
movzbl 0x3ec(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm0, %xmm0
movzbl 0x3ed(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm0, %xmm0
movzbl 0x3ee(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm0, %xmm0
movzbl 0x3ef(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm0, %xmm0
vmovdqa %xmm0, 0x3d0(%rsp)
vmovdqa 0x3d0(%rsp), %xmm0
vmovdqa %xmm1, 0x2c0(%rsp)
vmovdqa %xmm0, 0x2b0(%rsp)
vmovdqa 0x2c0(%rsp), %xmm0
vmovdqa 0x2b0(%rsp), %xmm1
vpand %xmm1, %xmm0, %xmm1
movb $0x7, 0x5db(%rsp)
movb $-0x1, 0x5da(%rsp)
movb $0x6, 0x5d9(%rsp)
movb $-0x1, 0x5d8(%rsp)
movb $0x5, 0x5d7(%rsp)
movb $-0x1, 0x5d6(%rsp)
movb $0x4, 0x5d5(%rsp)
movb $-0x1, 0x5d4(%rsp)
movb $0x3, 0x5d3(%rsp)
movb $-0x1, 0x5d2(%rsp)
movb $0x2, 0x5d1(%rsp)
movb $-0x1, 0x5d0(%rsp)
movb $0x1, 0x5cf(%rsp)
movb $-0x1, 0x5ce(%rsp)
movb $0x0, 0x5cd(%rsp)
movb $-0x1, 0x5cc(%rsp)
movzbl 0x5cc(%rsp), %ecx
vmovd %ecx, %xmm0
movzbl 0x5cd(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm0, %xmm0
movzbl 0x5ce(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm0, %xmm0
movzbl 0x5cf(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm0, %xmm0
movzbl 0x5d0(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm0, %xmm0
movzbl 0x5d1(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm0, %xmm0
movzbl 0x5d2(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm0, %xmm0
movzbl 0x5d3(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm0, %xmm0
movzbl 0x5d4(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm0, %xmm0
movzbl 0x5d5(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm0, %xmm0
movzbl 0x5d6(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm0, %xmm0
movzbl 0x5d7(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm0, %xmm0
movzbl 0x5d8(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm0, %xmm0
movzbl 0x5d9(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm0, %xmm0
movzbl 0x5da(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm0, %xmm0
movzbl 0x5db(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm0, %xmm0
vmovdqa %xmm0, 0x5b0(%rsp)
vmovdqa 0x5b0(%rsp), %xmm0
vmovdqa %xmm1, 0x1c0(%rsp)
vmovdqa %xmm0, 0x1b0(%rsp)
vmovdqa 0x1c0(%rsp), %xmm0
vmovdqa 0x1b0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm1
movq %rax, 0x3a8(%rsp)
movq 0x3a8(%rsp), %rax
vmovq (%rax), %xmm0
vmovdqa %xmm0, 0x390(%rsp)
vmovdqa 0x390(%rsp), %xmm2
movb $-0x10, 0x3ce(%rsp)
movb 0x3ce(%rsp), %al
movb %al, 0x2f(%rsp)
movb %al, 0x40f(%rsp)
movb %al, 0x40e(%rsp)
movb %al, 0x40d(%rsp)
movb %al, 0x40c(%rsp)
movb %al, 0x40b(%rsp)
movb %al, 0x40a(%rsp)
movb %al, 0x409(%rsp)
movb %al, 0x408(%rsp)
movb %al, 0x407(%rsp)
movb %al, 0x406(%rsp)
movb %al, 0x405(%rsp)
movb %al, 0x404(%rsp)
movb %al, 0x403(%rsp)
movb %al, 0x402(%rsp)
movb %al, 0x401(%rsp)
movb %al, 0x400(%rsp)
movzbl 0x400(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x401(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x402(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x403(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x404(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x405(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x406(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x407(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x408(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x409(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x40a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x40b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x40c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x40d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x40e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x40f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x3f0(%rsp)
vmovdqa 0x3f0(%rsp), %xmm0
vmovdqa %xmm2, 0x2a0(%rsp)
vmovdqa %xmm0, 0x290(%rsp)
vmovdqa 0x2a0(%rsp), %xmm0
vmovdqa 0x290(%rsp), %xmm2
vpand %xmm2, %xmm0, %xmm0
vmovdqa %xmm0, 0x640(%rsp)
movl $0x4, 0x63c(%rsp)
vmovdqa 0x640(%rsp), %xmm0
vmovd 0x63c(%rsp), %xmm2
vpsrlw %xmm2, %xmm0, %xmm2
movb $-0x1, 0x5af(%rsp)
movb $0x7, 0x5ae(%rsp)
movb $-0x1, 0x5ad(%rsp)
movb $0x6, 0x5ac(%rsp)
movb $-0x1, 0x5ab(%rsp)
movb $0x5, 0x5aa(%rsp)
movb $-0x1, 0x5a9(%rsp)
movb $0x4, 0x5a8(%rsp)
movb $-0x1, 0x5a7(%rsp)
movb $0x3, 0x5a6(%rsp)
movb $-0x1, 0x5a5(%rsp)
movb $0x2, 0x5a4(%rsp)
movb $-0x1, 0x5a3(%rsp)
movb $0x1, 0x5a2(%rsp)
movb $-0x1, 0x5a1(%rsp)
movb $0x0, 0x5a0(%rsp)
movzbl 0x5a0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x5a1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x5a2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x5a3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x5a4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x5a5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x5a6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x5a7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x5a8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x5a9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x5aa(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x5ab(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x5ac(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x5ad(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x5ae(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x5af(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x590(%rsp)
vmovdqa 0x590(%rsp), %xmm0
vmovdqa %xmm2, 0x1a0(%rsp)
vmovdqa %xmm0, 0x190(%rsp)
vmovdqa 0x1a0(%rsp), %xmm0
vmovdqa 0x190(%rsp), %xmm2
vpshufb %xmm2, %xmm0, %xmm0
vmovdqa %xmm1, 0xc0(%rsp)
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xc0(%rsp), %xmm0
vpxor 0xb0(%rsp), %xmm0, %xmm0
movq 0x48(%rsp), %rax
vmovdqa %xmm0, (%rax)
jmp 0x5dba
cmpl $0x2, 0x38(%rsp)
jne 0x4ef4
leaq 0x30(%rsp), %rdi
movq 0x40(%rsp), %rsi
movslq 0x3c(%rsp), %rdx
callq 0x10b0
leaq 0x30(%rsp), %rdi
movslq 0x3c(%rsp), %rax
addq %rax, %rdi
movl $0x8, %eax
subl 0x3c(%rsp), %eax
movslq %eax, %rdx
xorl %esi, %esi
callq 0x1040
cmpl $0x8, 0x3c(%rsp)
jge 0x47df
movslq 0x3c(%rsp), %rax
movb $-0x80, 0x30(%rsp,%rax)
leaq 0x30(%rsp), %rax
movq %rax, 0x388(%rsp)
movq 0x388(%rsp), %rcx
vmovq (%rcx), %xmm0
vmovdqa %xmm0, 0x370(%rsp)
vmovdqa 0x370(%rsp), %xmm1
movb $0xf, 0x3cd(%rsp)
movb 0x3cd(%rsp), %cl
movb %cl, 0x1e(%rsp)
movb %cl, 0x42f(%rsp)
movb %cl, 0x42e(%rsp)
movb %cl, 0x42d(%rsp)
movb %cl, 0x42c(%rsp)
movb %cl, 0x42b(%rsp)
movb %cl, 0x42a(%rsp)
movb %cl, 0x429(%rsp)
movb %cl, 0x428(%rsp)
movb %cl, 0x427(%rsp)
movb %cl, 0x426(%rsp)
movb %cl, 0x425(%rsp)
movb %cl, 0x424(%rsp)
movb %cl, 0x423(%rsp)
movb %cl, 0x422(%rsp)
movb %cl, 0x421(%rsp)
movb %cl, 0x420(%rsp)
movzbl 0x420(%rsp), %ecx
vmovd %ecx, %xmm0
movzbl 0x421(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm0, %xmm0
movzbl 0x422(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm0, %xmm0
movzbl 0x423(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm0, %xmm0
movzbl 0x424(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm0, %xmm0
movzbl 0x425(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm0, %xmm0
movzbl 0x426(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm0, %xmm0
movzbl 0x427(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm0, %xmm0
movzbl 0x428(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm0, %xmm0
movzbl 0x429(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm0, %xmm0
movzbl 0x42a(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm0, %xmm0
movzbl 0x42b(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm0, %xmm0
movzbl 0x42c(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm0, %xmm0
movzbl 0x42d(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm0, %xmm0
movzbl 0x42e(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm0, %xmm0
movzbl 0x42f(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm0, %xmm0
vmovdqa %xmm0, 0x410(%rsp)
vmovdqa 0x410(%rsp), %xmm0
vmovdqa %xmm1, 0x280(%rsp)
vmovdqa %xmm0, 0x270(%rsp)
vmovdqa 0x280(%rsp), %xmm0
vmovdqa 0x270(%rsp), %xmm1
vpand %xmm1, %xmm0, %xmm1
movb $0x7, 0x58f(%rsp)
movb $-0x1, 0x58e(%rsp)
movb $0x6, 0x58d(%rsp)
movb $-0x1, 0x58c(%rsp)
movb $0x5, 0x58b(%rsp)
movb $-0x1, 0x58a(%rsp)
movb $0x4, 0x589(%rsp)
movb $-0x1, 0x588(%rsp)
movb $0x3, 0x587(%rsp)
movb $-0x1, 0x586(%rsp)
movb $0x2, 0x585(%rsp)
movb $-0x1, 0x584(%rsp)
movb $0x1, 0x583(%rsp)
movb $-0x1, 0x582(%rsp)
movb $0x0, 0x581(%rsp)
movb $-0x1, 0x580(%rsp)
movzbl 0x580(%rsp), %ecx
vmovd %ecx, %xmm0
movzbl 0x581(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm0, %xmm0
movzbl 0x582(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm0, %xmm0
movzbl 0x583(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm0, %xmm0
movzbl 0x584(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm0, %xmm0
movzbl 0x585(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm0, %xmm0
movzbl 0x586(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm0, %xmm0
movzbl 0x587(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm0, %xmm0
movzbl 0x588(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm0, %xmm0
movzbl 0x589(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm0, %xmm0
movzbl 0x58a(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm0, %xmm0
movzbl 0x58b(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm0, %xmm0
movzbl 0x58c(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm0, %xmm0
movzbl 0x58d(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm0, %xmm0
movzbl 0x58e(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm0, %xmm0
movzbl 0x58f(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm0, %xmm0
vmovdqa %xmm0, 0x570(%rsp)
vmovdqa 0x570(%rsp), %xmm0
vmovdqa %xmm1, 0x180(%rsp)
vmovdqa %xmm0, 0x170(%rsp)
vmovdqa 0x180(%rsp), %xmm0
vmovdqa 0x170(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm1
movq %rax, 0x368(%rsp)
movq 0x368(%rsp), %rax
vmovq (%rax), %xmm0
vmovdqa %xmm0, 0x350(%rsp)
vmovdqa 0x350(%rsp), %xmm2
movb $-0x10, 0x3cc(%rsp)
movb 0x3cc(%rsp), %al
movb %al, 0x1f(%rsp)
movb %al, 0x44f(%rsp)
movb %al, 0x44e(%rsp)
movb %al, 0x44d(%rsp)
movb %al, 0x44c(%rsp)
movb %al, 0x44b(%rsp)
movb %al, 0x44a(%rsp)
movb %al, 0x449(%rsp)
movb %al, 0x448(%rsp)
movb %al, 0x447(%rsp)
movb %al, 0x446(%rsp)
movb %al, 0x445(%rsp)
movb %al, 0x444(%rsp)
movb %al, 0x443(%rsp)
movb %al, 0x442(%rsp)
movb %al, 0x441(%rsp)
movb %al, 0x440(%rsp)
movzbl 0x440(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x441(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x442(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x443(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x444(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x445(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x446(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x447(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x448(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x449(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x44a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x44b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x44c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x44d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x44e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x44f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x430(%rsp)
vmovdqa 0x430(%rsp), %xmm0
vmovdqa %xmm2, 0x260(%rsp)
vmovdqa %xmm0, 0x250(%rsp)
vmovdqa 0x260(%rsp), %xmm0
vmovdqa 0x250(%rsp), %xmm2
vpand %xmm2, %xmm0, %xmm0
vmovdqa %xmm0, 0x620(%rsp)
movl $0x4, 0x61c(%rsp)
vmovdqa 0x620(%rsp), %xmm0
vmovd 0x61c(%rsp), %xmm2
vpsrlw %xmm2, %xmm0, %xmm2
movb $-0x1, 0x56f(%rsp)
movb $0x7, 0x56e(%rsp)
movb $-0x1, 0x56d(%rsp)
movb $0x6, 0x56c(%rsp)
movb $-0x1, 0x56b(%rsp)
movb $0x5, 0x56a(%rsp)
movb $-0x1, 0x569(%rsp)
movb $0x4, 0x568(%rsp)
movb $-0x1, 0x567(%rsp)
movb $0x3, 0x566(%rsp)
movb $-0x1, 0x565(%rsp)
movb $0x2, 0x564(%rsp)
movb $-0x1, 0x563(%rsp)
movb $0x1, 0x562(%rsp)
movb $-0x1, 0x561(%rsp)
movb $0x0, 0x560(%rsp)
movzbl 0x560(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x561(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x562(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x563(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x564(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x565(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x566(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x567(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x568(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x569(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x56a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x56b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x56c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x56d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x56e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x56f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x550(%rsp)
vmovdqa 0x550(%rsp), %xmm0
vmovdqa %xmm2, 0x160(%rsp)
vmovdqa %xmm0, 0x150(%rsp)
vmovdqa 0x160(%rsp), %xmm0
vmovdqa 0x150(%rsp), %xmm2
vpshufb %xmm2, %xmm0, %xmm0
vmovdqa %xmm1, 0xa0(%rsp)
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0xa0(%rsp), %xmm0
vpxor 0x90(%rsp), %xmm0, %xmm0
movq 0x48(%rsp), %rax
vmovdqa %xmm0, (%rax)
jmp 0x5db8
cmpl $0x1, 0x38(%rsp)
jne 0x5648
movslq 0x3c(%rsp), %rdx
leaq 0x30(%rsp), %rdi
movq %rdi, 0x10(%rsp)
subq %rdx, %rdi
addq $0x8, %rdi
movq 0x40(%rsp), %rsi
callq 0x10b0
movq 0x10(%rsp), %rdi
movl 0x3c(%rsp), %ecx
movl $0x8, %eax
subl %ecx, %eax
movslq %eax, %rdx
xorl %esi, %esi
callq 0x1040
movq 0x10(%rsp), %rax
movq %rax, 0x348(%rsp)
movq 0x348(%rsp), %rcx
vmovq (%rcx), %xmm0
vmovdqa %xmm0, 0x330(%rsp)
vmovdqa 0x330(%rsp), %xmm1
movb $0xf, 0x3cb(%rsp)
movb 0x3cb(%rsp), %cl
movb %cl, 0x1c(%rsp)
movb %cl, 0x46f(%rsp)
movb %cl, 0x46e(%rsp)
movb %cl, 0x46d(%rsp)
movb %cl, 0x46c(%rsp)
movb %cl, 0x46b(%rsp)
movb %cl, 0x46a(%rsp)
movb %cl, 0x469(%rsp)
movb %cl, 0x468(%rsp)
movb %cl, 0x467(%rsp)
movb %cl, 0x466(%rsp)
movb %cl, 0x465(%rsp)
movb %cl, 0x464(%rsp)
movb %cl, 0x463(%rsp)
movb %cl, 0x462(%rsp)
movb %cl, 0x461(%rsp)
movb %cl, 0x460(%rsp)
movzbl 0x460(%rsp), %ecx
vmovd %ecx, %xmm0
movzbl 0x461(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm0, %xmm0
movzbl 0x462(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm0, %xmm0
movzbl 0x463(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm0, %xmm0
movzbl 0x464(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm0, %xmm0
movzbl 0x465(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm0, %xmm0
movzbl 0x466(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm0, %xmm0
movzbl 0x467(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm0, %xmm0
movzbl 0x468(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm0, %xmm0
movzbl 0x469(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm0, %xmm0
movzbl 0x46a(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm0, %xmm0
movzbl 0x46b(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm0, %xmm0
movzbl 0x46c(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm0, %xmm0
movzbl 0x46d(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm0, %xmm0
movzbl 0x46e(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm0, %xmm0
movzbl 0x46f(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm0, %xmm0
vmovdqa %xmm0, 0x450(%rsp)
vmovdqa 0x450(%rsp), %xmm0
vmovdqa %xmm1, 0x240(%rsp)
vmovdqa %xmm0, 0x230(%rsp)
vmovdqa 0x240(%rsp), %xmm0
vmovdqa 0x230(%rsp), %xmm1
vpand %xmm1, %xmm0, %xmm1
movb $0x7, 0x54f(%rsp)
movb $-0x1, 0x54e(%rsp)
movb $0x6, 0x54d(%rsp)
movb $-0x1, 0x54c(%rsp)
movb $0x5, 0x54b(%rsp)
movb $-0x1, 0x54a(%rsp)
movb $0x4, 0x549(%rsp)
movb $-0x1, 0x548(%rsp)
movb $0x3, 0x547(%rsp)
movb $-0x1, 0x546(%rsp)
movb $0x2, 0x545(%rsp)
movb $-0x1, 0x544(%rsp)
movb $0x1, 0x543(%rsp)
movb $-0x1, 0x542(%rsp)
movb $0x0, 0x541(%rsp)
movb $-0x1, 0x540(%rsp)
movzbl 0x540(%rsp), %ecx
vmovd %ecx, %xmm0
movzbl 0x541(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm0, %xmm0
movzbl 0x542(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm0, %xmm0
movzbl 0x543(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm0, %xmm0
movzbl 0x544(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm0, %xmm0
movzbl 0x545(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm0, %xmm0
movzbl 0x546(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm0, %xmm0
movzbl 0x547(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm0, %xmm0
movzbl 0x548(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm0, %xmm0
movzbl 0x549(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm0, %xmm0
movzbl 0x54a(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm0, %xmm0
movzbl 0x54b(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm0, %xmm0
movzbl 0x54c(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm0, %xmm0
movzbl 0x54d(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm0, %xmm0
movzbl 0x54e(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm0, %xmm0
movzbl 0x54f(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm0, %xmm0
vmovdqa %xmm0, 0x530(%rsp)
vmovdqa 0x530(%rsp), %xmm0
vmovdqa %xmm1, 0x140(%rsp)
vmovdqa %xmm0, 0x130(%rsp)
vmovdqa 0x140(%rsp), %xmm0
vmovdqa 0x130(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm1
movq %rax, 0x328(%rsp)
movq 0x328(%rsp), %rax
vmovq (%rax), %xmm0
vmovdqa %xmm0, 0x310(%rsp)
vmovdqa 0x310(%rsp), %xmm2
movb $-0x10, 0x3ca(%rsp)
movb 0x3ca(%rsp), %al
movb %al, 0x1d(%rsp)
movb %al, 0x48f(%rsp)
movb %al, 0x48e(%rsp)
movb %al, 0x48d(%rsp)
movb %al, 0x48c(%rsp)
movb %al, 0x48b(%rsp)
movb %al, 0x48a(%rsp)
movb %al, 0x489(%rsp)
movb %al, 0x488(%rsp)
movb %al, 0x487(%rsp)
movb %al, 0x486(%rsp)
movb %al, 0x485(%rsp)
movb %al, 0x484(%rsp)
movb %al, 0x483(%rsp)
movb %al, 0x482(%rsp)
movb %al, 0x481(%rsp)
movb %al, 0x480(%rsp)
movzbl 0x480(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x481(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x482(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x483(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x484(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x485(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x486(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x487(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x488(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x489(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x48a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x48b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x48c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x48d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x48e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x48f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x470(%rsp)
vmovdqa 0x470(%rsp), %xmm0
vmovdqa %xmm2, 0x220(%rsp)
vmovdqa %xmm0, 0x210(%rsp)
vmovdqa 0x220(%rsp), %xmm0
vmovdqa 0x210(%rsp), %xmm2
vpand %xmm2, %xmm0, %xmm0
vmovdqa %xmm0, 0x600(%rsp)
movl $0x4, 0x5fc(%rsp)
vmovdqa 0x600(%rsp), %xmm0
vmovd 0x5fc(%rsp), %xmm2
vpsrlw %xmm2, %xmm0, %xmm2
movb $-0x1, 0x52f(%rsp)
movb $0x7, 0x52e(%rsp)
movb $-0x1, 0x52d(%rsp)
movb $0x6, 0x52c(%rsp)
movb $-0x1, 0x52b(%rsp)
movb $0x5, 0x52a(%rsp)
movb $-0x1, 0x529(%rsp)
movb $0x4, 0x528(%rsp)
movb $-0x1, 0x527(%rsp)
movb $0x3, 0x526(%rsp)
movb $-0x1, 0x525(%rsp)
movb $0x2, 0x524(%rsp)
movb $-0x1, 0x523(%rsp)
movb $0x1, 0x522(%rsp)
movb $-0x1, 0x521(%rsp)
movb $0x0, 0x520(%rsp)
movzbl 0x520(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x521(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x522(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x523(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x524(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x525(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x526(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x527(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x528(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x529(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x52a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x52b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x52c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x52d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x52e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x52f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x510(%rsp)
vmovdqa 0x510(%rsp), %xmm0
vmovdqa %xmm2, 0x120(%rsp)
vmovdqa %xmm0, 0x110(%rsp)
vmovdqa 0x120(%rsp), %xmm0
vmovdqa 0x110(%rsp), %xmm2
vpshufb %xmm2, %xmm0, %xmm0
vmovdqa %xmm1, 0x80(%rsp)
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0x80(%rsp), %xmm0
vpxor 0x70(%rsp), %xmm0, %xmm0
movq 0x48(%rsp), %rax
vmovdqa %xmm0, (%rax)
jmp 0x5db6
cmpl $0x3, 0x38(%rsp)
jne 0x5db2
movb $-0x34, 0x30(%rsp)
leaq 0x30(%rsp), %rdi
addq $0x1, %rdi
movq 0x40(%rsp), %rsi
movslq 0x3c(%rsp), %rdx
callq 0x10b0
leaq 0x30(%rsp), %rdi
movslq 0x3c(%rsp), %rax
addq %rax, %rdi
addq $0x1, %rdi
movl $0x8, %eax
subl 0x3c(%rsp), %eax
subl $0x1, %eax
movslq %eax, %rdx
xorl %esi, %esi
callq 0x1040
cmpl $0x7, 0x3c(%rsp)
jge 0x56ac
movl 0x3c(%rsp), %eax
addl $0x1, %eax
cltq
movb $-0x80, 0x30(%rsp,%rax)
leaq 0x30(%rsp), %rax
movq %rax, 0x308(%rsp)
movq 0x308(%rsp), %rcx
vmovq (%rcx), %xmm0
vmovdqa %xmm0, 0x2f0(%rsp)
vmovdqa 0x2f0(%rsp), %xmm1
movb $0xf, 0x3c9(%rsp)
movb 0x3c9(%rsp), %cl
movb %cl, 0xe(%rsp)
movb %cl, 0x4af(%rsp)
movb %cl, 0x4ae(%rsp)
movb %cl, 0x4ad(%rsp)
movb %cl, 0x4ac(%rsp)
movb %cl, 0x4ab(%rsp)
movb %cl, 0x4aa(%rsp)
movb %cl, 0x4a9(%rsp)
movb %cl, 0x4a8(%rsp)
movb %cl, 0x4a7(%rsp)
movb %cl, 0x4a6(%rsp)
movb %cl, 0x4a5(%rsp)
movb %cl, 0x4a4(%rsp)
movb %cl, 0x4a3(%rsp)
movb %cl, 0x4a2(%rsp)
movb %cl, 0x4a1(%rsp)
movb %cl, 0x4a0(%rsp)
movzbl 0x4a0(%rsp), %ecx
vmovd %ecx, %xmm0
movzbl 0x4a1(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm0, %xmm0
movzbl 0x4a2(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm0, %xmm0
movzbl 0x4a3(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm0, %xmm0
movzbl 0x4a4(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm0, %xmm0
movzbl 0x4a5(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm0, %xmm0
movzbl 0x4a6(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm0, %xmm0
movzbl 0x4a7(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm0, %xmm0
movzbl 0x4a8(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm0, %xmm0
movzbl 0x4a9(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm0, %xmm0
movzbl 0x4aa(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm0, %xmm0
movzbl 0x4ab(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm0, %xmm0
movzbl 0x4ac(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm0, %xmm0
movzbl 0x4ad(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm0, %xmm0
movzbl 0x4ae(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm0, %xmm0
movzbl 0x4af(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm0, %xmm0
vmovdqa %xmm0, 0x490(%rsp)
vmovdqa 0x490(%rsp), %xmm0
vmovdqa %xmm1, 0x200(%rsp)
vmovdqa %xmm0, 0x1f0(%rsp)
vmovdqa 0x200(%rsp), %xmm0
vmovdqa 0x1f0(%rsp), %xmm1
vpand %xmm1, %xmm0, %xmm1
movb $0x7, 0x50f(%rsp)
movb $-0x1, 0x50e(%rsp)
movb $0x6, 0x50d(%rsp)
movb $-0x1, 0x50c(%rsp)
movb $0x5, 0x50b(%rsp)
movb $-0x1, 0x50a(%rsp)
movb $0x4, 0x509(%rsp)
movb $-0x1, 0x508(%rsp)
movb $0x3, 0x507(%rsp)
movb $-0x1, 0x506(%rsp)
movb $0x2, 0x505(%rsp)
movb $-0x1, 0x504(%rsp)
movb $0x1, 0x503(%rsp)
movb $-0x1, 0x502(%rsp)
movb $0x0, 0x501(%rsp)
movb $-0x1, 0x500(%rsp)
movzbl 0x500(%rsp), %ecx
vmovd %ecx, %xmm0
movzbl 0x501(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm0, %xmm0
movzbl 0x502(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm0, %xmm0
movzbl 0x503(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm0, %xmm0
movzbl 0x504(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm0, %xmm0
movzbl 0x505(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm0, %xmm0
movzbl 0x506(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm0, %xmm0
movzbl 0x507(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm0, %xmm0
movzbl 0x508(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm0, %xmm0
movzbl 0x509(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm0, %xmm0
movzbl 0x50a(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm0, %xmm0
movzbl 0x50b(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm0, %xmm0
movzbl 0x50c(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm0, %xmm0
movzbl 0x50d(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm0, %xmm0
movzbl 0x50e(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm0, %xmm0
movzbl 0x50f(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm0, %xmm0
vmovdqa %xmm0, 0x4f0(%rsp)
vmovdqa 0x4f0(%rsp), %xmm0
vmovdqa %xmm1, 0x100(%rsp)
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0x100(%rsp), %xmm0
vmovdqa 0xf0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm1
movq %rax, 0x2e8(%rsp)
movq 0x2e8(%rsp), %rax
vmovq (%rax), %xmm0
vmovdqa %xmm0, 0x2d0(%rsp)
vmovdqa 0x2d0(%rsp), %xmm2
movb $-0x10, 0x3c8(%rsp)
movb 0x3c8(%rsp), %al
movb %al, 0xf(%rsp)
movb %al, 0x4cf(%rsp)
movb %al, 0x4ce(%rsp)
movb %al, 0x4cd(%rsp)
movb %al, 0x4cc(%rsp)
movb %al, 0x4cb(%rsp)
movb %al, 0x4ca(%rsp)
movb %al, 0x4c9(%rsp)
movb %al, 0x4c8(%rsp)
movb %al, 0x4c7(%rsp)
movb %al, 0x4c6(%rsp)
movb %al, 0x4c5(%rsp)
movb %al, 0x4c4(%rsp)
movb %al, 0x4c3(%rsp)
movb %al, 0x4c2(%rsp)
movb %al, 0x4c1(%rsp)
movb %al, 0x4c0(%rsp)
movzbl 0x4c0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x4c1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x4c2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x4c3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x4c4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x4c5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x4c6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x4c7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x4c8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x4c9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x4ca(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x4cb(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x4cc(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x4cd(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x4ce(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x4cf(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x4b0(%rsp)
vmovdqa 0x4b0(%rsp), %xmm0
vmovdqa %xmm2, 0x1e0(%rsp)
vmovdqa %xmm0, 0x1d0(%rsp)
vmovdqa 0x1e0(%rsp), %xmm0
vmovdqa 0x1d0(%rsp), %xmm2
vpand %xmm2, %xmm0, %xmm0
vmovdqa %xmm0, 0x5e0(%rsp)
movl $0x4, 0x5dc(%rsp)
vmovdqa 0x5e0(%rsp), %xmm0
vmovd 0x5dc(%rsp), %xmm2
vpsrlw %xmm2, %xmm0, %xmm2
movb $-0x1, 0x4ef(%rsp)
movb $0x7, 0x4ee(%rsp)
movb $-0x1, 0x4ed(%rsp)
movb $0x6, 0x4ec(%rsp)
movb $-0x1, 0x4eb(%rsp)
movb $0x5, 0x4ea(%rsp)
movb $-0x1, 0x4e9(%rsp)
movb $0x4, 0x4e8(%rsp)
movb $-0x1, 0x4e7(%rsp)
movb $0x3, 0x4e6(%rsp)
movb $-0x1, 0x4e5(%rsp)
movb $0x2, 0x4e4(%rsp)
movb $-0x1, 0x4e3(%rsp)
movb $0x1, 0x4e2(%rsp)
movb $-0x1, 0x4e1(%rsp)
movb $0x0, 0x4e0(%rsp)
movzbl 0x4e0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x4e1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x4e2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x4e3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x4e4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x4e5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x4e6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x4e7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x4e8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x4e9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x4ea(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x4eb(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x4ec(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x4ed(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x4ee(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x4ef(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x4d0(%rsp)
vmovdqa 0x4d0(%rsp), %xmm0
vmovdqa %xmm2, 0xe0(%rsp)
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa 0xd0(%rsp), %xmm2
vpshufb %xmm2, %xmm0, %xmm0
vmovdqa %xmm1, 0x60(%rsp)
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x60(%rsp), %xmm0
vpxor 0x50(%rsp), %xmm0, %xmm0
movq 0x48(%rsp), %rax
vmovdqa %xmm0, (%rax)
jmp 0x5db4
jmp 0x5db4
jmp 0x5db6
jmp 0x5db8
jmp 0x5dba
addq $0x658, %rsp            # imm = 0x658
retq
nopw %cs:(%rax,%rax)