// File: /workspace/github_c_makefile_star2_O3/Aethlas[P]fflz4/./lib/lz4/lz4.c
// Function: LZ4_compress_destSize
int LZ4_compress_destSize(const char* src, char* dst, int* srcSizePtr, int targetDstSize)
{
#if (LZ4_HEAPMODE)
    LZ4_stream_t* ctx = (LZ4_stream_t*)ALLOC(sizeof(LZ4_stream_t));   /* malloc-calloc always properly aligned */
    if (ctx == NULL) return 0;
#else
    LZ4_stream_t ctxBody;
    LZ4_stream_t* ctx = &ctxBody;
#endif

    int result = LZ4_compress_destSize_extState(ctx, src, dst, srcSizePtr, targetDstSize);

#if (LZ4_HEAPMODE)
    FREEMEM(ctx);
#endif
    return result;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x4098, %rsp           # imm = 0x4098
movl %ecx, %ebp
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, 0x20(%rsp)
leaq 0x78(%rsp), %rdi
xorl %ebx, %ebx
movl $0x4020, %edx           # imm = 0x4020
xorl %esi, %esi
callq 0x10c0
movslq (%r15), %rcx
cmpq $0x7e000000, %rcx       # imm = 0x7E000000
ja 0xbb26
movl %ecx, %eax
movl $0x80808081, %edx       # imm = 0x80808081
imulq %rax, %rdx
shrq $0x27, %rdx
leal (%rcx,%rdx), %ebx
addl $0x10, %ebx
cmpl %ebp, %ebx
jle 0xc5d1
cmpl $0x7e000001, %ecx       # imm = 0x7E000001
setae %dl
movslq %ebp, %r11
addq %r14, %r11
testl %ebp, %ebp
setle %al
orb %dl, %al
cmpl $0x1000a, %ecx          # imm = 0x1000A
movq 0x20(%rsp), %r10
movq %r11, 0x48(%rsp)
jg 0xbb9e
testb %al, %al
jne 0xbba2
movq %r15, 0x70(%rsp)
leaq (%r10,%rcx), %rax
movq %rax, 0x28(%rsp)
movl %ecx, 0x4090(%rsp)
movl %ecx, 0x4078(%rsp)
movw $0x3, 0x407e(%rsp)
movq %r14, 0x40(%rsp)
movq %r14, %rdi
movq %r10, %rbp
cmpl $0xd, %ecx
jae 0xc0f9
movq 0x28(%rsp), %r13
jmp 0xc5fe
testb %al, %al
je 0xbbaa
xorl %r15d, %r15d
jmp 0xc6d9
movq %r15, 0x70(%rsp)
leaq (%r10,%rcx), %rdx
leaq (%r10,%rcx), %r12
addq $-0xb, %r12
leaq -0x5(%r10,%rcx), %rax
movq %rax, 0x60(%rsp)
movabsq $-0x30e4432345000000, %rbx # imm = 0xCF1BBCDCBB000000
movl %ecx, 0x4090(%rsp)
movl %ecx, 0x4078(%rsp)
movw $0x2, 0x407e(%rsp)
movq (%r10), %rax
imulq %rbx, %rax
shrq $0x34, %rax
movl $0x0, 0x78(%rsp,%rax,4)
leaq 0x2(%r10), %rax
leaq -0xc(%rdx), %r15
leaq -0x8(%rdx), %rcx
movq %rcx, 0x58(%rsp)
movq %rdx, 0x68(%rsp)
leaq -0x6(%rdx), %rcx
movq %rcx, 0x50(%rsp)
movq %r10, %rbp
movq %r14, 0x40(%rsp)
movq %r14, %rdi
movq %r12, 0x18(%rsp)
movq %rdi, 0x8(%rsp)
leaq 0x1(%rbp), %r13
movq 0x1(%rbp), %rsi
movl $0x41, %edx
movl $0x1, %edi
movq %rax, %r8
imulq %rbx, %rsi
movq %rsi, %rax
shrq $0x34, %rax
movl 0x78(%rsp,%rax,4), %ecx
movl %r13d, %r9d
subl %r10d, %r9d
movq (%r8), %rsi
movl %r9d, 0x78(%rsp,%rax,4)
leal 0xffff(%rcx), %eax
cmpl %r9d, %eax
jb 0xbc75
movl (%r10,%rcx), %eax
cmpl (%r13), %eax
je 0xbc91
movl %edi, %eax
addq %r8, %rax
leal 0x1(%rdx), %ecx
shrl $0x6, %edx
movl %edx, %edi
movl %ecx, %edx
movq %r8, %r13
cmpq %r12, %rax
jbe 0xbc40
jmp 0xc5f4
addq %r10, %rcx
movl %r13d, %edx
subl %ebp, %edx
leal -0xf(%rdx), %eax
movq %rdx, 0x28(%rsp)
addl $0xfffffef2, %edx       # imm = 0xFFFFFEF2
movl %edx, 0x38(%rsp)
movl %r13d, %esi
shlb $0x4, %sil
movq %rbp, 0x10(%rsp)
movl %ebp, %edx
shlb $0x4, %dl
subb %dl, %sil
xorl %edi, %edi
movl %eax, %r8d
movl %r8d, %r12d
movq %rdi, %rbp
movl %esi, %edx
leaq (%rcx,%rdi), %r14
leaq (%rdi,%r13), %rbx
cmpq %r10, %r14
jbe 0xbcf8
cmpq 0x10(%rsp), %rbx
jbe 0xbcf8
movb -0x1(%r13,%rbp), %r9b
leal -0x1(%r12), %r8d
leaq -0x1(%rbp), %rdi
leal -0x10(%rdx), %esi
cmpb -0x1(%rcx,%rbp), %r9b
je 0xbcc4
movl %r13d, %ecx
subl 0x10(%rsp), %ecx
leal (%rcx,%rbp), %r8d
movq 0x28(%rsp), %rcx
addq %rbp, %rcx
leal 0xf0(%rcx), %esi
movl $0x80808081, %r9d       # imm = 0x80808081
imulq %r9, %rsi
shrq $0x27, %rsi
movq 0x8(%rsp), %rdi
addq %rdi, %rsi
incq %rsi
addq %r8, %rsi
addq $0xb, %rsi
cmpq %r11, %rsi
ja 0xc6fb
movq %rdi, %rsi
incq %rdi
cmpl $0xf, %ecx
jb 0xbdf2
movl %eax, %eax
addq %rbp, %rax
movb $-0x10, (%rsi)
cmpl $0xfe, %eax
jle 0xbde1
movq 0x28(%rsp), %rdx
addl $0xef, %edx
movq %rdx, 0x28(%rsp)
movl $0x1fd, %ecx            # imm = 0x1FD
cmpl %ecx, %r12d
movl $0x1fd, %eax            # imm = 0x1FD
cmovbl %r12d, %eax
cmovgel %ecx, %r12d
subl %eax, %edx
addl %ebp, %edx
imulq %r9, %rdx
shrq $0x27, %rdx
incl %edx
movl $0xff, %esi
movq %r8, 0x30(%rsp)
callq 0x10c0
movq 0x30(%rsp), %r8
movl $0x80808081, %r9d       # imm = 0x80808081
movq 0x48(%rsp), %r11
movq 0x20(%rsp), %r10
movq 0x28(%rsp), %rcx
subl %r12d, %ecx
addl %ebp, %ecx
imulq %r9, %rcx
shrq $0x27, %rcx
movq 0x8(%rsp), %rax
leaq (%rax,%rcx), %rdi
addq $0x2, %rdi
movl %ecx, %eax
shll $0x8, %eax
subl %eax, %ecx
movl 0x38(%rsp), %eax
addl %ebp, %eax
addl %ecx, %eax
movq 0x10(%rsp), %rbp
movq 0x18(%rsp), %r12
movb %al, (%rdi)
incq %rdi
jmp 0xbdfe
movb %dl, (%rsi)
movq 0x10(%rsp), %rbp
movq 0x18(%rsp), %r12
addq %rdi, %r8
xorl %eax, %eax
movq (%rbp,%rax), %rcx
leaq (%rdi,%rax), %rdx
addq $0x8, %rdx
movq %rcx, -0x8(%rdx)
addq $0x8, %rax
cmpq %r8, %rdx
jb 0xbe03
leaq 0xb(%r8), %rax
cmpq %r11, %rax
ja 0xc5f4
movq %rbx, %rbp
movq 0x8(%rsp), %rdi
movl %ebp, %eax
subl %r14d, %eax
movw %ax, (%r8)
leaq 0x4(%rbp), %rax
leaq 0x4(%r14), %rcx
cmpq %rax, %r15
jbe 0xc065
movq (%rcx), %rcx
movq (%rax), %rdx
cmpq %rdx, %rcx
jne 0xbece
movq %r11, %r9
movq %r8, %r11
leaq 0xc(%rbp), %rbx
addq $0xc, %r14
movq %r14, %rcx
movq %rdi, %r8
cmpq %r15, %rbx
jae 0xbe92
movl %ebx, %edx
subl %ebp, %edx
addl $-0x4, %edx
movq (%rcx), %rsi
movq (%rbx), %rdi
cmpq %rdi, %rsi
jne 0xbeda
addq $0x8, %rbx
addq $0x8, %rcx
addl $0x8, %edx
cmpq %r15, %rbx
jb 0xbe77
cmpq 0x58(%rsp), %rbx
jae 0xbea7
movl (%rcx), %edx
cmpl (%rbx), %edx
jne 0xbea7
addq $0x4, %rbx
addq $0x4, %rcx
cmpq 0x50(%rsp), %rbx
jae 0xc03c
movzwl (%rcx), %edx
cmpw (%rbx), %dx
movq %r8, %rdi
jne 0xc03f
addq $0x2, %rbx
addq $0x2, %rcx
jmp 0xc03f
xorq %rcx, %rdx
bsfq %rdx, %rbx
shrl $0x3, %ebx
jmp 0xbef5
xorq %rsi, %rdi
bsfq %rdi, %rbx
shrl $0x3, %ebx
addl %edx, %ebx
movq %r8, %rdi
movq %r11, %r8
movq %r9, %r11
movl $0x80808081, %r9d       # imm = 0x80808081
leaq 0x2(%r8), %rax
movl %ebx, %ecx
addq %rcx, %rbp
addq $0x4, %rbp
leal 0xf0(%rbx), %ecx
imulq %r9, %rcx
shrq $0x27, %rcx
addq %r8, %rcx
addq $0x8, %rcx
cmpq %r11, %rcx
ja 0xc073
movb (%rdi), %cl
cmpl $0xf, %ebx
jb 0xbfba
addb $0xf, %cl
movb %cl, (%rdi)
leal -0xf(%rbx), %ecx
movl $0xffffffff, (%rax)     # imm = 0xFFFFFFFF
cmpl $0x3fc, %ecx            # imm = 0x3FC
jb 0xbf9e
leaq 0x6(%r8), %rdi
addl $0xfffffbf5, %ebx       # imm = 0xFFFFFBF5
movq %rbx, %r14
imulq %r9, %r14
shrq $0x29, %r14
leal (,%r14,4), %r12d
leaq 0x4(%r12), %rdx
movl $0xff, %esi
movq %r8, 0x30(%rsp)
callq 0x10c0
movl $0x80808081, %r9d       # imm = 0x80808081
movq 0x48(%rsp), %r11
movq 0x20(%rsp), %r10
imull $0x3fc, %r14d, %eax     # imm = 0x3FC
subl %eax, %ebx
movq 0x30(%rsp), %rax
addq %r12, %rax
addq $0x6, %rax
movq 0x18(%rsp), %r12
movl %ebx, %ecx
movzwl %cx, %edx
imull $0x8081, %edx, %edx     # imm = 0x8081
shrl $0x17, %edx
leaq (%rax,%rdx), %rdi
incq %rdi
movl %edx, %eax
addl %ecx, %eax
movb %al, -0x1(%rdi)
jmp 0xbfc1
addb %bl, %cl
movb %cl, (%rdi)
movq %rax, %rdi
cmpq %r12, %rbp
movabsq $-0x30e4432345000000, %rbx # imm = 0xCF1BBCDCBB000000
jae 0xc5f9
leaq -0x2(%rbp), %rax
movq -0x2(%rbp), %rcx
imulq %rbx, %rcx
shrq $0x34, %rcx
subl %r10d, %eax
movl %eax, 0x78(%rsp,%rcx,4)
movq (%rbp), %rax
imulq %rbx, %rax
shrq $0x34, %rax
movl %ebp, %ecx
subl %r10d, %ecx
movl 0x78(%rsp,%rax,4), %r14d
movl %ecx, 0x78(%rsp,%rax,4)
leal 0xffff(%r14), %eax
cmpl %ecx, %eax
jb 0xc0e7
addq %r10, %r14
movl (%r14), %eax
cmpl (%rbp), %eax
jne 0xc0e7
leaq 0x1(%rdi), %r8
movb $0x0, (%rdi)
leaq 0xc(%rdi), %rax
cmpq %r11, %rax
jbe 0xbe32
jmp 0xc5f9
movq %r8, %rdi
movq %r11, %r8
cmpq 0x60(%rsp), %rbx
movq %r9, %r11
jae 0xc058
movb (%rcx), %cl
xorl %edx, %edx
cmpb (%rbx), %cl
sete %dl
addq %rdx, %rbx
movl $0x80808081, %r9d       # imm = 0x80808081
subl %eax, %ebx
jmp 0xbef5
movq %r11, %r9
movq %r8, %r11
movq %rax, %rbx
jmp 0xbe68
movl %r11d, %edx
subl %eax, %edx
movl %edx, %ecx
shll $0x8, %ecx
subl %edx, %ecx
addl $0xfffffa14, %ecx       # imm = 0xFFFFFA14
subl %ecx, %ebx
subq %rbx, %rbp
cmpq %r13, %rbp
jbe 0xc096
movl %ecx, %ebx
jmp 0xbf20
movq %r8, %r11
movq %rbp, %r8
movq (%rbp), %rsi
movabsq $-0x30e4432345000000, %r9 # imm = 0xCF1BBCDCBB000000
imulq %r9, %rsi
shrq $0x34, %rsi
movl $0x0, 0x78(%rsp,%rsi,4)
incq %rbp
cmpq %r13, %rbp
jbe 0xc09c
movl %ecx, %ebx
movq 0x20(%rsp), %r10
movq 0x48(%rsp), %rcx
movq %r8, %rbp
movq 0x18(%rsp), %r12
movl $0x80808081, %r9d       # imm = 0x80808081
movq %r11, %r8
movq %rcx, %r11
jmp 0xbf20
leaq 0x2(%rbp), %rax
cmpq %r12, %rax
jbe 0xbc29
jmp 0xc5f9
leaq (%r10,%rcx), %rbx
addq $-0xb, %rbx
leaq (%r10,%rcx), %rax
addq $-0x5, %rax
movq %rax, 0x60(%rsp)
imull $0x9e3779b1, (%r10), %eax # imm = 0x9E3779B1
shrl $0x13, %eax
movw $0x0, 0x78(%rsp,%rax,2)
movq 0x28(%rsp), %rax
leaq -0xc(%rax), %r15
leaq -0x8(%rax), %rcx
movq %rcx, 0x58(%rsp)
addq $-0x6, %rax
movq %rax, 0x50(%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0x8(%rsp)
movq %r10, %rbp
movq %rbx, 0x18(%rsp)
leaq 0x1(%rbp), %rax
movl 0x1(%rbp), %edi
movl $0x40, %edx
movl $0x1, %esi
movq %rax, %r13
movl %esi, %eax
addq %r13, %rax
cmpq %rbx, %rax
ja 0xc6f1
movl %edx, %esi
shrl $0x6, %esi
incl %edx
imull $0x9e3779b1, %edi, %r8d # imm = 0x9E3779B1
shrl $0x13, %r8d
movzwl 0x78(%rsp,%r8,2), %ecx
movl %r13d, %r9d
subl %r10d, %r9d
movl (%rax), %edi
movw %r9w, 0x78(%rsp,%r8,2)
movl (%r10,%rcx), %r8d
cmpl (%r13), %r8d
jne 0xc15d
addq %r10, %rcx
movl %r13d, %edx
subl %ebp, %edx
leal -0xf(%rdx), %eax
movq %rdx, 0x38(%rsp)
addl $0xfffffef2, %edx       # imm = 0xFFFFFEF2
movl %edx, 0x68(%rsp)
movl %r13d, %esi
shlb $0x4, %sil
movq %rbp, 0x10(%rsp)
movl %ebp, %edx
shlb $0x4, %dl
subb %dl, %sil
xorl %edi, %edi
movl %eax, %r8d
movl %r8d, %ebx
movq %rdi, %r12
movl %esi, %edx
leaq (%rcx,%rdi), %r14
leaq (%rdi,%r13), %rbp
cmpq %r10, %r14
jbe 0xc205
cmpq 0x10(%rsp), %rbp
jbe 0xc205
movb -0x1(%r13,%r12), %r9b
leal -0x1(%rbx), %r8d
leaq -0x1(%r12), %rdi
leal -0x10(%rdx), %esi
cmpb -0x1(%rcx,%r12), %r9b
je 0xc1d1
movl %r13d, %ecx
subl 0x10(%rsp), %ecx
leal (%r12,%rcx), %r8d
movq 0x38(%rsp), %rcx
addq %r12, %rcx
leal 0xf0(%rcx), %esi
movl $0x80808081, %r9d       # imm = 0x80808081
imulq %r9, %rsi
shrq $0x27, %rsi
movq 0x8(%rsp), %rdi
addq %rdi, %rsi
incq %rsi
addq %r8, %rsi
addq $0xb, %rsi
cmpq %r11, %rsi
ja 0xc705
movq %rdi, %rsi
incq %rdi
cmpl $0xf, %ecx
jb 0xc303
movl %eax, %eax
addq %r12, %rax
movb $-0x10, (%rsi)
cmpl $0xfe, %eax
jle 0xc2f2
movq 0x38(%rsp), %rdx
addl $0xef, %edx
movq %rdx, 0x38(%rsp)
movl $0x1fd, %ecx            # imm = 0x1FD
cmpl %ecx, %ebx
movl $0x1fd, %eax            # imm = 0x1FD
cmovbl %ebx, %eax
cmovgel %ecx, %ebx
subl %eax, %edx
addl %r12d, %edx
imulq %r9, %rdx
shrq $0x27, %rdx
incl %edx
movq %rsi, 0x8(%rsp)
movl $0xff, %esi
movq %r8, 0x30(%rsp)
callq 0x10c0
movq 0x30(%rsp), %r8
movl $0x80808081, %r9d       # imm = 0x80808081
movq 0x48(%rsp), %r11
movq 0x20(%rsp), %r10
movq 0x38(%rsp), %rcx
subl %ebx, %ecx
addl %r12d, %ecx
imulq %r9, %rcx
shrq $0x27, %rcx
movq 0x8(%rsp), %rax
leaq (%rax,%rcx), %rdi
addq $0x2, %rdi
movl %ecx, %eax
shll $0x8, %eax
subl %eax, %ecx
movl 0x68(%rsp), %eax
addl %r12d, %eax
addl %ecx, %eax
movq 0x18(%rsp), %rbx
movq 0x10(%rsp), %rdx
movb %al, (%rdi)
incq %rdi
jmp 0xc30f
movb %dl, (%rsi)
movq 0x18(%rsp), %rbx
movq 0x10(%rsp), %rdx
addq %rdi, %r8
movq %rdx, %rax
movq (%rax), %rcx
movq %rcx, (%rdi)
addq $0x8, %rdi
addq $0x8, %rax
cmpq %r8, %rdi
jb 0xc315
leaq 0xb(%r8), %rax
cmpq %r11, %rax
ja 0xc6ee
movq 0x8(%rsp), %rdi
movl %ebp, %eax
subl %r14d, %eax
movw %ax, (%r8)
leaq 0x4(%rbp), %rax
leaq 0x4(%r14), %rcx
cmpq %rax, %r15
jbe 0xc55f
movq (%rcx), %rcx
movq (%rax), %rdx
cmpq %rdx, %rcx
jne 0xc3d9
movq %r8, %r9
leaq 0xc(%rbp), %r12
addq $0xc, %r14
movq %r14, %rcx
movq %rdi, %r8
cmpq %r15, %r12
jae 0xc399
movl %r12d, %edx
subl %ebp, %edx
addl $-0x4, %edx
movq (%rcx), %rsi
movq (%r12), %rdi
cmpq %rdi, %rsi
jne 0xc3e6
addq $0x8, %r12
addq $0x8, %rcx
addl $0x8, %edx
cmpq %r15, %r12
jb 0xc37d
cmpq 0x58(%rsp), %r12
jae 0xc3b0
movl (%rcx), %edx
cmpl (%r12), %edx
jne 0xc3b0
addq $0x4, %r12
addq $0x4, %rcx
cmpq 0x50(%rsp), %r12
jae 0xc536
movzwl (%rcx), %edx
cmpw (%r12), %dx
movq %r8, %rdi
jne 0xc539
addq $0x2, %r12
addq $0x2, %rcx
jmp 0xc539
xorq %rcx, %rdx
bsfq %rdx, %r12
shrl $0x3, %r12d
jmp 0xc400
xorq %rsi, %rdi
bsfq %rdi, %r12
shrl $0x3, %r12d
addl %edx, %r12d
movq %r8, %rdi
movq %r9, %r8
movl $0x80808081, %r9d       # imm = 0x80808081
leaq 0x2(%r8), %rax
movl %r12d, %ecx
addq %rcx, %rbp
addq $0x4, %rbp
leal 0xf0(%r12), %ecx
imulq %r9, %rcx
shrq $0x27, %rcx
addq %r8, %rcx
addq $0x8, %rcx
cmpq %r11, %rcx
ja 0xc56a
movb (%rdi), %cl
cmpl $0xf, %r12d
jb 0xc4cc
addb $0xf, %cl
movb %cl, (%rdi)
leal -0xf(%r12), %ecx
movl $0xffffffff, (%rax)     # imm = 0xFFFFFFFF
cmpl $0x3fc, %ecx            # imm = 0x3FC
jb 0xc4b0
leaq 0x6(%r8), %rdi
addl $0xfffffbf5, %r12d      # imm = 0xFFFFFBF5
movq %r12, %rbx
imulq %r9, %rbx
shrq $0x29, %rbx
leal (,%rbx,4), %r14d
leaq 0x4(%r14), %rdx
movl $0xff, %esi
movq %r8, 0x30(%rsp)
callq 0x10c0
movl $0x80808081, %r9d       # imm = 0x80808081
movq 0x48(%rsp), %r11
movq 0x20(%rsp), %r10
imull $0x3fc, %ebx, %eax      # imm = 0x3FC
movq 0x18(%rsp), %rbx
subl %eax, %r12d
movq 0x30(%rsp), %rax
addq %r14, %rax
addq $0x6, %rax
movl %r12d, %ecx
movzwl %cx, %edx
imull $0x8081, %edx, %edx     # imm = 0x8081
shrl $0x17, %edx
leaq (%rax,%rdx), %rdi
incq %rdi
movl %edx, %eax
addl %ecx, %eax
movb %al, -0x1(%rdi)
jmp 0xc4d4
addb %r12b, %cl
movb %cl, (%rdi)
movq %rax, %rdi
cmpq %rbx, %rbp
jae 0xbb94
leaq -0x2(%rbp), %rax
imull $0x9e3779b1, -0x2(%rbp), %ecx # imm = 0x9E3779B1
subl %r10d, %eax
shrl $0x13, %ecx
movw %ax, 0x78(%rsp,%rcx,2)
imull $0x9e3779b1, (%rbp), %eax # imm = 0x9E3779B1
movl %ebp, %ecx
subl %r10d, %ecx
shrl $0x13, %eax
movzwl 0x78(%rsp,%rax,2), %edx
leaq (%r10,%rdx), %r14
movw %cx, 0x78(%rsp,%rax,2)
movl (%r10,%rdx), %eax
cmpl (%rbp), %eax
jne 0xc5c7
leaq 0x1(%rdi), %r8
movb $0x0, (%rdi)
leaq 0xc(%rdi), %rax
cmpq %r11, %rax
jbe 0xc33a
jmp 0xbb94
movq %r8, %rdi
movq %r9, %r8
cmpq 0x60(%rsp), %r12
movl $0x80808081, %r9d       # imm = 0x80808081
jae 0xc557
movb (%rcx), %cl
xorl %edx, %edx
cmpb (%r12), %cl
sete %dl
addq %rdx, %r12
subl %eax, %r12d
jmp 0xc400
movq %r8, %r9
movq %rax, %r12
jmp 0xc36d
movl %r11d, %edx
subl %eax, %edx
movl %edx, %ecx
shll $0x8, %ecx
subl %edx, %ecx
addl $0xfffffa14, %ecx       # imm = 0xFFFFFA14
subl %ecx, %r12d
subq %r12, %rbp
cmpq %r13, %rbp
jbe 0xc58f
movl %ecx, %r12d
jmp 0xc42e
movq %rbp, %rdx
imull $0x9e3779b1, (%rdx), %esi # imm = 0x9E3779B1
shrl $0x13, %esi
movw $0x0, 0x78(%rsp,%rsi,2)
incq %rdx
cmpq %r13, %rdx
jbe 0xc592
movl %ecx, %r12d
movq 0x20(%rsp), %r10
movq 0x48(%rsp), %r11
movq 0x18(%rsp), %rbx
movl $0x80808081, %r9d       # imm = 0x80808081
jmp 0xc42e
movq %rdi, 0x8(%rsp)
jmp 0xc14c
leaq 0x78(%rsp), %rdi
movq 0x20(%rsp), %rsi
movq %r14, %rdx
movl %ebp, %r8d
movl $0x1, %r9d
callq 0x1430
movl %eax, %r15d
jmp 0xc6d9
movq 0x8(%rsp), %rdi
movq 0x68(%rsp), %r13
subq %rbp, %r13
leaq (%rdi,%r13), %rsi
leaq 0xf0(%r13), %rax
movabsq $-0x7f7f7f7f7f7f7f7f, %rcx # imm = 0x8080808080808081
mulq %rcx
shrq $0x7, %rdx
leaq (%rdx,%rsi), %rax
incq %rax
cmpq %r11, %rax
jbe 0xc647
movq %rdi, %rsi
notq %rsi
leaq (%rsi,%r11), %rax
addq $0xf0, %rax
mulq %rcx
leaq (%rsi,%r11), %r13
shrq $0x7, %rdx
subq %rdx, %r13
cmpq $0xf, %r13
movq 0x70(%rsp), %r14
jb 0xc6ab
leaq -0xf(%r13), %rax
movb $-0x10, (%rdi)
movq %rdi, %r12
incq %rdi
cmpq $0xff, %rax
movq 0x40(%rsp), %rbx
jb 0xc6a7
leaq -0x10e(%r13), %rax
mulq %rcx
movq %rdx, %r15
shrq $0x7, %r15
leaq 0x1(%r15), %rdx
movl $0xff, %esi
callq 0x10c0
movq %r15, %rax
shlq $0x8, %rax
leaq (%r15,%r12), %rdi
addq $0x2, %rdi
subq %rax, %r15
leaq (%r15,%r13), %rax
addq $-0x10e, %rax           # imm = 0xFEF2
movb %al, (%rdi)
jmp 0xc6b8
movl %r13d, %eax
shlb $0x4, %al
movb %al, (%rdi)
movq 0x40(%rsp), %rbx
incq %rdi
movq %rdi, %r15
movq %rbp, %rsi
movq %r13, %rdx
callq 0x1140
addl %r13d, %ebp
addl %r13d, %r15d
subl 0x20(%rsp), %ebp
movl %ebp, (%r14)
subl %ebx, %r15d
movl %r15d, %eax
addq $0x4098, %rsp           # imm = 0x4098
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rdx, %rbp
movq 0x8(%rsp), %rdi
jmp 0xbb94
movq 0x10(%rsp), %rbp
jmp 0xc5f9
movq 0x10(%rsp), %rbp
jmp 0xbb94