// File: /workspace/github_c_makefile_star2_O1/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 $0x40a8, %rsp           # imm = 0x40A8
movl %ecx, %ebp
movq %rdx, %r13
movq %rsi, %r12
movq %rdi, 0x30(%rsp)
leaq 0x88(%rsp), %rdi
xorl %ebx, %ebx
movl $0x4020, %edx           # imm = 0x4020
xorl %esi, %esi
callq 0x10c0
movslq (%r13), %rcx
cmpq $0x7e000000, %rcx       # imm = 0x7E000000
ja 0x910d
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 0x970e
cmpl $0x7e000001, %ecx       # imm = 0x7E000001
setae %sil
movl 0x4088(%rsp), %eax
movq 0x30(%rsp), %r14
subq %rax, %r14
movslq %ebp, %r11
addq %r12, %r11
testl %ebp, %ebp
setle %dl
orb %sil, %dl
cmpl $0x1000a, %ecx          # imm = 0x1000A
movq %r11, 0x28(%rsp)
jg 0x9731
testb %dl, %dl
jne 0x9ee8
addl %ecx, 0x40a0(%rsp)
movq 0x30(%rsp), %r9
leaq (%r9,%rcx), %rbp
leal (%rax,%rcx), %edx
movl %edx, 0x4088(%rsp)
movw $0x3, 0x408e(%rsp)
movq %r12, %r10
cmpl $0xd, %ecx
jl 0x9e3a
movq %r13, 0x78(%rsp)
movq 0x30(%rsp), %r9
leaq (%r9,%rcx), %rbx
addq $-0xb, %rbx
addq %r9, %rcx
addq $-0x5, %rcx
movq %rcx, 0x60(%rsp)
imull $0x9e3779b1, (%r9), %ecx # imm = 0x9E3779B1
shrl $0x13, %ecx
movw %ax, 0x88(%rsp,%rcx,2)
movq %rbp, %rax
leaq 0x1(%r9), %rbp
imull $0x9e3779b1, 0x1(%r9), %r15d # imm = 0x9E3779B1
shrl $0x13, %r15d
leaq -0xc(%rax), %rcx
movq %rcx, 0x48(%rsp)
leaq -0x8(%rax), %rcx
movq %rcx, 0x58(%rsp)
movq %rax, 0x68(%rsp)
addq $-0x6, %rax
movq %rax, 0x50(%rsp)
movq %r12, 0x80(%rsp)
movq %r12, %r10
movq %rbx, 0x20(%rsp)
movl $0x40, %ecx
movl $0x1, %edx
movq %r8, %rax
movq %rbp, %r13
movl %edx, %ebp
addq %r13, %rbp
cmpq %rbx, %rbp
ja 0x925b
movl %r15d, %edx
movzwl 0x88(%rsp,%rdx,2), %eax
movl %r13d, %esi
subl %r14d, %esi
imull $0x9e3779b1, (%rbp), %r15d # imm = 0x9E3779B1
movw %si, 0x88(%rsp,%rdx,2)
movl (%r14,%rax), %edx
movl $0x7, %r12d
cmpl (%r13), %edx
je 0x9246
xorl %r12d, %r12d
addq %r14, %rax
shrl $0x13, %r15d
movl %ecx, %edx
shrl $0x6, %edx
incl %ecx
testl %r12d, %r12d
je 0x9205
jmp 0x9263
movl $0x2, %r12d
jmp 0x924d
cmpl $0x7, %r12d
jne 0x926c
xorl %r12d, %r12d
testl %r12d, %r12d
je 0x9281
movq %rax, %r8
movq %r13, %rbp
movq 0x28(%rsp), %r11
jmp 0x96cb
movq %r10, 0x10(%rsp)
movl %r13d, %ecx
subl %r9d, %ecx
leal -0xf(%rcx), %edx
leal -0x10e(%rcx), %esi
movl %esi, 0x38(%rsp)
movl %r13d, %edi
shlb $0x4, %dil
movq %r9, 0x8(%rsp)
movl %r9d, %esi
shlb $0x4, %sil
subb %sil, %dil
xorl %r9d, %r9d
movl %edx, %r10d
movl %r10d, %esi
movq %r9, %r12
movl %edi, %r8d
leaq (%rax,%r9), %rdi
leaq (%r9,%r13), %rbp
movq %rdi, %rbx
cmpq 0x30(%rsp), %rdi
jbe 0x92f0
cmpq 0x8(%rsp), %rbp
jbe 0x92f0
movb -0x1(%r13,%r12), %r11b
leal -0x1(%rsi), %r10d
leaq -0x1(%r12), %r9
leal -0x10(%r8), %edi
cmpb -0x1(%rax,%r12), %r11b
je 0x92b5
movl %r13d, %eax
subl 0x8(%rsp), %eax
leal (%r12,%rax), %r11d
leaq (%rcx,%r12), %rax
leal 0xf0(%rax), %edi
movl $0x80808081, %r9d       # imm = 0x80808081
imulq %r9, %rdi
shrq $0x27, %rdi
movq 0x10(%rsp), %r10
addq %r10, %rdi
incq %rdi
movq %r11, 0x18(%rsp)
addq %r11, %rdi
addq $0xb, %rdi
movq 0x28(%rsp), %r11
cmpq %r11, %rdi
ja 0x96f3
movq %rdi, 0x40(%rsp)
leaq 0x1(%r10), %rdi
cmpl $0xf, %eax
jb 0x93c0
movl %edx, %eax
addq %r12, %rax
movb $-0x10, (%r10)
cmpl $0xfe, %eax
jle 0x93b1
movl $0x1fd, %eax            # imm = 0x1FD
cmpl %eax, %esi
cmovgel %eax, %esi
subl %esi, %ecx
addl %r12d, %ecx
addl $0xef, %ecx
movl $0x80808081, %eax       # imm = 0x80808081
imulq %rax, %rcx
shrq $0x27, %rcx
movq %rcx, 0x70(%rsp)
leal 0x1(%rcx), %edx
movl $0xff, %esi
callq 0x10c0
movq 0x28(%rsp), %r11
movq 0x10(%rsp), %r10
movq 0x70(%rsp), %rcx
leaq (%r10,%rcx), %rdi
addq $0x2, %rdi
movl %ecx, %eax
shll $0x8, %eax
subl %eax, %ecx
movl 0x38(%rsp), %eax
addl %r12d, %eax
addl %ecx, %eax
movq %rbx, %r8
movq 0x8(%rsp), %r9
movb %al, (%rdi)
incq %rdi
jmp 0x93cb
movb %r8b, (%r10)
movq %rbx, %r8
movq 0x8(%rsp), %r9
movq 0x18(%rsp), %rsi
movq 0x20(%rsp), %rbx
addq %rdi, %rsi
movq %r9, %rax
movq (%rax), %rcx
movq %rcx, (%rdi)
addq $0x8, %rdi
addq $0x8, %rax
cmpq %rsi, %rdi
jb 0x93db
xorl %r12d, %r12d
movq 0x40(%rsp), %rdi
cmpq %r11, %rdi
jbe 0x9403
movq %rsi, %r10
jmp 0x96cb
leaq 0xb(%rsi), %rax
movl $0x2, %r12d
cmpq %r11, %rax
ja 0x96cb
movq %r10, 0x10(%rsp)
movl %ebp, %eax
subl %r8d, %eax
movq %rsi, 0x18(%rsp)
movw %ax, (%rsi)
leaq 0x4(%rbp), %rax
leaq 0x4(%r8), %rdx
cmpq %rax, 0x48(%rsp)
jbe 0x965f
movq 0x4(%r8), %rsi
movq 0x4(%rbp), %rdi
movq %rdi, %rcx
xorq %rsi, %rcx
bsfq %rcx, %rbx
shrl $0x3, %ebx
leaq 0xc(%rbp), %rcx
movq %r8, %r10
addq $0xc, %r8
cmpq %rdi, %rsi
cmoveq %r8, %rdx
cmovneq %rax, %rcx
jne 0x94a5
cmpq 0x48(%rsp), %rcx
jae 0x9616
movq (%rdx), %rsi
movq (%rcx), %rdi
movq %rdi, %r8
xorq %rsi, %r8
bsfq %r8, %r8
shrl $0x3, %r8d
addq %rcx, %r8
movl %r8d, %r9d
subl %eax, %r9d
addq $0x8, %rcx
addq $0x8, %rdx
cmpq %rdi, %rsi
cmovneq %r8, %rcx
cmovnel %r9d, %ebx
je 0x9468
movq 0x18(%rsp), %rsi
leaq 0x2(%rsi), %rax
movl %ebx, %ecx
addq %rcx, %rbp
addq $0x4, %rbp
leal 0xf0(%rbx), %ecx
movl $0x80808081, %edx       # imm = 0x80808081
imulq %rdx, %rcx
shrq $0x27, %rcx
addq %rsi, %rcx
addq $0x8, %rcx
cmpq %r11, %rcx
ja 0x966a
movq %r10, %r8
movq 0x10(%rsp), %r10
movb (%r10), %cl
cmpl $0xf, %ebx
jb 0x9593
addb $0xf, %cl
movb %cl, (%r10)
leal -0xf(%rbx), %ecx
movl $0xffffffff, (%rax)     # imm = 0xFFFFFFFF
cmpl $0x3fc, %ecx            # imm = 0x3FC
jb 0x9577
movq 0x18(%rsp), %rax
leaq 0x6(%rax), %rdi
addl $0xfffffbf5, %ebx       # imm = 0xFFFFFBF5
movq %rbx, %rcx
movl $0x80808081, %eax       # imm = 0x80808081
imulq %rax, %rcx
shrq $0x29, %rcx
movq %rcx, 0x38(%rsp)
leal (,%rcx,4), %eax
movq %rax, 0x40(%rsp)
leal 0x4(,%rcx,4), %edx
movl $0xff, %esi
movq %r8, 0x8(%rsp)
callq 0x10c0
movq 0x8(%rsp), %r8
movq 0x28(%rsp), %r11
movq 0x10(%rsp), %r10
imull $0x3fc, 0x38(%rsp), %eax # imm = 0x3FC
subl %eax, %ebx
movq 0x18(%rsp), %rax
movq 0x40(%rsp), %rcx
addq %rcx, %rax
addq $0x6, %rax
movl %ebx, %ecx
movl %ecx, %edx
movl $0x80808081, %esi       # imm = 0x80808081
imulq %rsi, %rdx
shrq $0x27, %rdx
addl %edx, %ecx
addq %rdx, %rax
incq %rax
movb %cl, -0x1(%rax)
jmp 0x9598
addb %bl, %cl
movb %cl, (%r10)
movq 0x20(%rsp), %rbx
cmpq %rbx, %rbp
jae 0x96bf
leaq -0x2(%rbp), %rcx
imull $0x9e3779b1, -0x2(%rbp), %edx # imm = 0x9E3779B1
subl %r14d, %ecx
shrl $0x13, %edx
movw %cx, 0x88(%rsp,%rdx,2)
imull $0x9e3779b1, (%rbp), %ecx # imm = 0x9E3779B1
movl %ebp, %edx
subl %r14d, %edx
shrl $0x13, %ecx
movzwl 0x88(%rsp,%rcx,2), %r8d
movw %dx, 0x88(%rsp,%rcx,2)
movl (%r14,%r8), %ecx
movl (%rbp), %edx
cmpl %edx, %ecx
jne 0x95f6
leaq 0x1(%rax), %rsi
movb $0x0, (%rax)
movq %rax, %r10
jmp 0x95f9
movq %rax, %rsi
addq %r14, %r8
cmpl %edx, %ecx
jne 0x96d9
leaq 0xb(%rsi), %rax
cmpq %r11, %rax
jbe 0x9416
jmp 0x96c8
cmpq 0x58(%rsp), %rcx
jae 0x962b
movl (%rdx), %esi
cmpl (%rcx), %esi
jne 0x962b
addq $0x4, %rcx
addq $0x4, %rdx
cmpq 0x50(%rsp), %rcx
jae 0x9642
movzwl (%rdx), %esi
cmpw (%rcx), %si
jne 0x9642
addq $0x2, %rcx
addq $0x2, %rdx
cmpq 0x60(%rsp), %rcx
jae 0x9656
movb (%rdx), %dl
xorl %esi, %esi
cmpb (%rcx), %dl
sete %sil
addq %rsi, %rcx
subl %eax, %ecx
movl %ecx, %ebx
jmp 0x94a5
movq %r8, %r10
movq %rax, %rcx
jmp 0x9468
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
movq %r10, %r8
jbe 0x9690
movl %ecx, %ebx
jmp 0x94dd
movq 0x10(%rsp), %r10
movq %rbp, %rdx
imull $0x9e3779b1, (%rdx), %esi # imm = 0x9E3779B1
shrl $0x13, %esi
movw $0x0, 0x88(%rsp,%rsi,2)
incq %rdx
cmpq %r13, %rdx
jbe 0x9698
movl %ecx, %ebx
movq 0x28(%rsp), %r11
jmp 0x94e2
movl $0x3, %r12d
movq %rax, %r10
movq %rbp, %r9
testl %r12d, %r12d
je 0x91f8
jmp 0x9e1a
imull $0x9e3779b1, 0x1(%rbp), %r15d # imm = 0x9E3779B1
movq %rbp, %r9
incq %rbp
shrl $0x13, %r15d
xorl %r12d, %r12d
jmp 0x93fb
movl $0x2, %r12d
movq %rbx, %r8
movq %r10, %rsi
movq 0x8(%rsp), %r9
movq 0x20(%rsp), %rbx
jmp 0x93f6
leaq 0x88(%rsp), %rdi
movq 0x30(%rsp), %rsi
movq %r12, %rdx
movl %ebp, %r8d
movl $0x1, %r9d
callq 0x44fc
jmp 0x9f54
testb %dl, %dl
jne 0x9ee8
movq %r13, 0x78(%rsp)
movq 0x30(%rsp), %rdx
leaq (%rdx,%rcx), %rsi
leaq (%rdx,%rcx), %r9
addq $-0xb, %r9
addl %ecx, 0x40a0(%rsp)
leaq (%rdx,%rcx), %rdi
addq $-0x5, %rdi
movq %rdi, 0x60(%rsp)
movabsq $-0x30e4432345000000, %rdi # imm = 0xCF1BBCDCBB000000
addl %eax, %ecx
movl %ecx, 0x4088(%rsp)
movw $0x2, 0x408e(%rsp)
movq (%rdx), %rcx
imulq %rdi, %rcx
shrq $0x34, %rcx
movl %eax, 0x88(%rsp,%rcx,4)
leaq 0x1(%rdx), %r15
movq 0x1(%rdx), %rbx
imulq %rdi, %rbx
shrq $0x34, %rbx
leaq -0xc(%rsi), %rax
movq %rax, 0x48(%rsp)
leaq -0x8(%rsi), %rax
movq %rax, 0x58(%rsp)
movq %rsi, 0x68(%rsp)
leaq -0x6(%rsi), %rax
movq %rax, 0x50(%rsp)
movq %r12, 0x80(%rsp)
movq %r12, %r10
movq %rdx, 0x8(%rsp)
movq %r9, 0x20(%rsp)
movl $0x40, %ecx
movl $0x1, %esi
movq %r8, %rax
movq %r15, %rbp
movabsq $-0x30e4432345000000, %r11 # imm = 0xCF1BBCDCBB000000
movl %esi, %edx
addq %rbp, %rdx
cmpq %r9, %rdx
ja 0x9857
movl %ebx, %esi
movl 0x88(%rsp,%rsi,4), %eax
movl %ebp, %edi
subl %r14d, %edi
leal 0xffff(%rax), %r8d
addq %r14, %rax
movq (%rdx), %rbx
imulq %r11, %rbx
shrq $0x34, %rbx
movl %edi, 0x88(%rsp,%rsi,4)
movl $0x8, %r13d
cmpl %edi, %r8d
jb 0x9840
movl (%rax), %esi
movl $0x7, %r13d
cmpl (%rbp), %esi
je 0x9840
xorl %r13d, %r13d
testl %r13d, %r13d
je 0x984b
cmpl $0x8, %r13d
jne 0x985f
movl %ecx, %esi
shrl $0x6, %esi
incl %ecx
movq %rdx, %rbp
jmp 0x97f1
movl $0x2, %r13d
jmp 0x9840
cmpl $0x7, %r13d
jne 0x9868
xorl %r13d, %r13d
testl %r13d, %r13d
je 0x987d
movq %rax, %r8
movq %rbp, %r15
movq 0x28(%rsp), %r11
jmp 0x9d02
movq %r10, 0x10(%rsp)
movl %ebp, %ecx
movq 0x8(%rsp), %rsi
subl %esi, %ecx
leal -0xf(%rcx), %edx
leal -0x10e(%rcx), %edi
movl %edi, 0x38(%rsp)
movl %ebp, %edi
shlb $0x4, %dil
shlb $0x4, %sil
subb %sil, %dil
xorl %r9d, %r9d
movl %edx, %r10d
movl %r10d, %esi
movq %r9, %r13
movl %edi, %r8d
leaq (%rax,%r9), %rdi
leaq (%r9,%rbp), %r15
movq %rdi, %r12
cmpq 0x30(%rsp), %rdi
jbe 0x98e5
cmpq 0x8(%rsp), %r15
jbe 0x98e5
movb -0x1(%rbp,%r13), %r11b
leal -0x1(%rsi), %r10d
leaq -0x1(%r13), %r9
leal -0x10(%r8), %edi
cmpb -0x1(%rax,%r13), %r11b
je 0x98ab
movl %ebp, %eax
subl 0x8(%rsp), %eax
leal (%rax,%r13), %r11d
leaq (%rcx,%r13), %rax
leal 0xf0(%rax), %edi
movl $0x80808081, %r9d       # imm = 0x80808081
imulq %r9, %rdi
shrq $0x27, %rdi
movq 0x10(%rsp), %r10
addq %r10, %rdi
incq %rdi
movq %r11, 0x18(%rsp)
addq %r11, %rdi
addq $0xb, %rdi
movq 0x28(%rsp), %r11
cmpq %r11, %rdi
ja 0x9d33
movq %rdi, 0x40(%rsp)
leaq 0x1(%r10), %rdi
cmpl $0xf, %eax
movq 0x20(%rsp), %r9
jb 0x99b9
movl %edx, %eax
addq %r13, %rax
movb $-0x10, (%r10)
cmpl $0xfe, %eax
jle 0x99af
movl $0x1fd, %eax            # imm = 0x1FD
cmpl %eax, %esi
cmovgel %eax, %esi
subl %esi, %ecx
addl %r13d, %ecx
addl $0xef, %ecx
movl $0x80808081, %eax       # imm = 0x80808081
imulq %rax, %rcx
shrq $0x27, %rcx
movq %rcx, 0x70(%rsp)
leal 0x1(%rcx), %edx
movl $0xff, %esi
callq 0x10c0
movq 0x20(%rsp), %r9
movq 0x28(%rsp), %r11
movq 0x10(%rsp), %r10
movq 0x70(%rsp), %rcx
leaq (%r10,%rcx), %rdi
addq $0x2, %rdi
movl %ecx, %eax
shll $0x8, %eax
subl %eax, %ecx
movl 0x38(%rsp), %eax
addl %r13d, %eax
addl %ecx, %eax
movq %r12, %r8
movb %al, (%rdi)
incq %rdi
jmp 0x99bf
movb %r8b, (%r10)
movq %r12, %r8
movq 0x18(%rsp), %rdx
addq %rdi, %rdx
movq 0x8(%rsp), %rax
movq (%rax), %rcx
movq %rcx, (%rdi)
addq $0x8, %rdi
addq $0x8, %rax
cmpq %rdx, %rdi
jb 0x99cc
xorl %r13d, %r13d
movq 0x40(%rsp), %rdi
cmpq %r11, %rdi
jbe 0x99f4
movq %rdx, %r10
jmp 0x9d02
leaq 0xb(%rdx), %rax
movl $0x2, %r13d
cmpq %r11, %rax
ja 0x9d02
movq %r10, 0x10(%rsp)
movl %r15d, %eax
subl %r8d, %eax
movq %rdx, 0x18(%rsp)
movw %ax, (%rdx)
leaq 0x4(%r15), %rax
leaq 0x4(%r8), %rdx
cmpq %rax, 0x48(%rsp)
jbe 0x9c7a
movq 0x4(%r8), %rsi
movq 0x4(%r15), %rdi
movq %rdi, %rcx
xorq %rsi, %rcx
bsfq %rcx, %r12
shrl $0x3, %r12d
leaq 0xc(%r15), %rcx
movq %r8, %r10
addq $0xc, %r8
cmpq %rdi, %rsi
cmoveq %r8, %rdx
cmovneq %rax, %rcx
jne 0x9a98
cmpq 0x48(%rsp), %rcx
jae 0x9c30
movq (%rdx), %rsi
movq (%rcx), %rdi
movq %rdi, %r8
xorq %rsi, %r8
bsfq %r8, %r8
shrl $0x3, %r8d
addq %rcx, %r8
movl %r8d, %r9d
subl %eax, %r9d
addq $0x8, %rcx
addq $0x8, %rdx
cmpq %rdi, %rsi
cmovneq %r8, %rcx
cmovnel %r9d, %r12d
je 0x9a5b
movq 0x18(%rsp), %rsi
leaq 0x2(%rsi), %rax
movl %r12d, %ecx
addq %rcx, %r15
addq $0x4, %r15
leal 0xf0(%r12), %ecx
movl $0x80808081, %edx       # imm = 0x80808081
imulq %rdx, %rcx
shrq $0x27, %rcx
addq %rsi, %rcx
addq $0x8, %rcx
cmpq %r11, %rcx
ja 0x9c85
movq 0x20(%rsp), %r9
movq %r10, %r8
movq 0x10(%rsp), %r10
movb (%r10), %cl
cmpl $0xf, %r12d
jb 0x9b99
addb $0xf, %cl
movb %cl, (%r10)
leal -0xf(%r12), %ecx
movl $0xffffffff, (%rax)     # imm = 0xFFFFFFFF
cmpl $0x3fc, %ecx            # imm = 0x3FC
jb 0x9b7d
movq 0x18(%rsp), %rax
leaq 0x6(%rax), %rdi
addl $0xfffffbf5, %r12d      # imm = 0xFFFFFBF5
movq %r12, %rcx
movl $0x80808081, %eax       # imm = 0x80808081
imulq %rax, %rcx
shrq $0x29, %rcx
movq %rcx, 0x38(%rsp)
leal (,%rcx,4), %eax
movq %rax, 0x40(%rsp)
leal 0x4(,%rcx,4), %edx
movl $0xff, %esi
movq %r8, 0x8(%rsp)
callq 0x10c0
movq 0x8(%rsp), %r8
movq 0x20(%rsp), %r9
movq 0x28(%rsp), %r11
movq 0x10(%rsp), %r10
imull $0x3fc, 0x38(%rsp), %eax # imm = 0x3FC
subl %eax, %r12d
movq 0x18(%rsp), %rax
movq 0x40(%rsp), %rcx
addq %rcx, %rax
addq $0x6, %rax
movl %r12d, %ecx
movl %ecx, %edx
movl $0x80808081, %esi       # imm = 0x80808081
imulq %rsi, %rdx
shrq $0x27, %rdx
addl %edx, %ecx
addq %rdx, %rax
incq %rax
movb %cl, -0x1(%rax)
jmp 0x9b9f
addb %r12b, %cl
movb %cl, (%r10)
cmpq %r9, %r15
jae 0x9cf4
leaq -0x2(%r15), %rcx
movq -0x2(%r15), %rdx
movabsq $-0x30e4432345000000, %rsi # imm = 0xCF1BBCDCBB000000
imulq %rsi, %rdx
shrq $0x34, %rdx
subl %r14d, %ecx
movl %ecx, 0x88(%rsp,%rdx,4)
movq (%r15), %rcx
imulq %rsi, %rcx
shrq $0x34, %rcx
movl %r15d, %edx
subl %r14d, %edx
movl 0x88(%rsp,%rcx,4), %esi
leal 0xffff(%rsi), %edi
movq %rsi, %r8
addq %r14, %r8
movl %edx, 0x88(%rsp,%rcx,4)
movb $0x1, %cl
cmpl %edx, %edi
jb 0x9c13
movl (%r8), %edx
cmpl (%r15), %edx
jne 0x9c13
leaq 0x1(%rax), %rdx
movb $0x0, (%rax)
xorl %ecx, %ecx
movq %rax, %r10
jmp 0x9c16
movq %rax, %rdx
testb %cl, %cl
jne 0x9d0d
leaq 0xb(%rdx), %rax
cmpq %r11, %rax
jbe 0x9a07
jmp 0x9cfd
cmpq 0x58(%rsp), %rcx
jae 0x9c45
movl (%rdx), %esi
cmpl (%rcx), %esi
jne 0x9c45
addq $0x4, %rcx
addq $0x4, %rdx
cmpq 0x50(%rsp), %rcx
jae 0x9c5c
movzwl (%rdx), %esi
cmpw (%rcx), %si
jne 0x9c5c
addq $0x2, %rcx
addq $0x2, %rdx
cmpq 0x60(%rsp), %rcx
jae 0x9c70
movb (%rdx), %dl
xorl %esi, %esi
cmpb (%rcx), %dl
sete %sil
addq %rsi, %rcx
subl %eax, %ecx
movl %ecx, %r12d
jmp 0x9a98
movq %r8, %r10
movq %rax, %rcx
jmp 0x9a5b
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, %r15
cmpq %rbp, %r15
movq 0x20(%rsp), %r9
movq %r10, %r8
jbe 0x9cb2
movl %ecx, %r12d
jmp 0x9ad8
movq 0x10(%rsp), %r10
movq %r15, %rdx
movq (%rdx), %rsi
movabsq $-0x30e4432345000000, %rdi # imm = 0xCF1BBCDCBB000000
imulq %rdi, %rsi
shrq $0x34, %rsi
movl $0x0, 0x88(%rsp,%rsi,4)
incq %rdx
cmpq %rbp, %rdx
jbe 0x9cba
movl %ecx, %r12d
movq 0x28(%rsp), %r11
movq 0x20(%rsp), %r9
jmp 0x9add
movl $0x3, %r13d
movq %rax, %r10
movq %r15, 0x8(%rsp)
testl %r13d, %r13d
je 0x97d7
jmp 0x9d49
movq 0x1(%r15), %rbx
movq %r15, 0x8(%rsp)
incq %r15
movabsq $-0x30e4432345000000, %rax # imm = 0xCF1BBCDCBB000000
imulq %rax, %rbx
shrq $0x34, %rbx
xorl %r13d, %r13d
jmp 0x99ec
movl $0x2, %r13d
movq 0x20(%rsp), %r9
movq %r12, %r8
movq %r10, %rdx
jmp 0x99e7
addl $-0x2, %r13d
cmpl $0x1, %r13d
ja 0x9ee8
movq 0x68(%rsp), %rbp
subq 0x8(%rsp), %rbp
leaq (%r10,%rbp), %rsi
leaq 0xf0(%rbp), %rax
movabsq $-0x7f7f7f7f7f7f7f7f, %rcx # imm = 0x8080808080808081
mulq %rcx
shrq $0x7, %rdx
leaq (%rdx,%rsi), %rax
incq %rax
cmpq %r11, %rax
jbe 0x9da7
movq %r10, %rsi
notq %rsi
leaq (%rsi,%r11), %rax
addq $0xf0, %rax
mulq %rcx
leaq (%rsi,%r11), %rbp
shrq $0x7, %rdx
subq %rdx, %rbp
cmpq $0xf, %rbp
movq 0x80(%rsp), %rbx
movq 0x78(%rsp), %r14
jb 0x9f21
leaq -0xf(%rbp), %rax
movb $-0x10, (%r10)
leaq 0x1(%r10), %rdi
cmpq $0xff, %rax
jb 0x9e10
leaq -0x10e(%rbp), %rax
mulq %rcx
movq %rdx, %r15
shrq $0x7, %r15
leaq 0x1(%r15), %rdx
movl $0xff, %esi
movq %r10, %r13
callq 0x10c0
movq %r15, %rax
shlq $0x8, %rax
leaq (%r15,%r13), %rdi
addq $0x2, %rdi
subq %rax, %r15
leaq (%r15,%rbp), %rax
addq $-0x10e, %rax           # imm = 0xFEF2
movb %al, (%rdi)
movq %rdi, %r10
jmp 0x9f29
addl $-0x2, %r12d
cmpl $0x1, %r12d
ja 0x9ee8
movq 0x80(%rsp), %r12
movq 0x78(%rsp), %r13
movq 0x68(%rsp), %rbp
subq %r9, %rbp
leaq (%r10,%rbp), %rsi
leaq 0xf0(%rbp), %rax
movabsq $-0x7f7f7f7f7f7f7f7f, %rcx # imm = 0x8080808080808081
mulq %rcx
shrq $0x7, %rdx
leaq (%rdx,%rsi), %rax
incq %rax
cmpq %r11, %rax
jbe 0x9e83
movq %r10, %rsi
notq %rsi
leaq (%rsi,%r11), %rax
addq $0xf0, %rax
mulq %rcx
leaq (%rsi,%r11), %rbp
shrq $0x7, %rdx
subq %rdx, %rbp
cmpq $0xf, %rbp
jb 0x9eec
leaq -0xf(%rbp), %rax
movb $-0x10, (%r10)
leaq 0x1(%r10), %rdi
cmpq $0xff, %rax
jb 0x9ee1
leaq -0x10e(%rbp), %rax
mulq %rcx
movq %rdx, %r15
shrq $0x7, %r15
leaq 0x1(%r15), %rdx
movl $0xff, %esi
movq %r10, %rbx
movq %r9, %r14
callq 0x10c0
movq %r14, %r9
movq %r15, %rax
shlq $0x8, %rax
leaq (%r15,%rbx), %rdi
addq $0x2, %rdi
subq %rax, %r15
leaq (%r15,%rbp), %rax
addq $-0x10e, %rax           # imm = 0xFEF2
movb %al, (%rdi)
movq %rdi, %r10
jmp 0x9ef4
xorl %eax, %eax
jmp 0x9f54
movl %ebp, %eax
shlb $0x4, %al
movb %al, (%r10)
incq %r10
movq %r10, %rdi
movq %r9, %rsi
movq %rbp, %rdx
movq %r10, %rbx
movq %r9, %r14
callq 0x1140
movq %rbx, %rax
addl %ebp, %r14d
addl %ebp, %eax
subl 0x30(%rsp), %r14d
movl %r14d, (%r13)
subl %r12d, %eax
jmp 0x9f54
movl %ebp, %eax
shlb $0x4, %al
movb %al, (%r10)
incq %r10
movq %r10, %rdi
movq 0x8(%rsp), %r12
movq %r12, %rsi
movq %rbp, %rdx
movq %r10, %r15
callq 0x1140
movq %r15, %rax
addl %ebp, %r12d
addl %ebp, %eax
subl 0x30(%rsp), %r12d
movl %r12d, (%r14)
subl %ebx, %eax
addq $0x40a8, %rsp           # imm = 0x40A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq