// File: /workspace/github_c_makefile_star2_O1/kieselsteini[P]PiXL-old/lz4.c
// Function: LZ4_compress_fast_extState
int LZ4_compress_fast_extState(void* state, const char* source, char* dest, int inputSize, int maxOutputSize, int acceleration)
{
    LZ4_stream_t_internal* ctx = &((LZ4_stream_t*)state)->internal_donotuse;
    LZ4_resetStream((LZ4_stream_t*)state);
    if (acceleration < 1) acceleration = ACCELERATION_DEFAULT;

    if (maxOutputSize >= LZ4_compressBound(inputSize)) {
        if (inputSize < LZ4_64Klimit)
            return LZ4_compress_generic(ctx, source, dest, inputSize,             0,    notLimited,                        byU16, noDict, noDictIssue, acceleration);
        else
            return LZ4_compress_generic(ctx, source, dest, inputSize,             0,    notLimited, (sizeof(void*)==8) ? byU32 : byPtr, noDict, noDictIssue, acceleration);
    } else {
        if (inputSize < LZ4_64Klimit)
            return LZ4_compress_generic(ctx, source, dest, inputSize, maxOutputSize, limitedOutput,                        byU16, noDict, noDictIssue, acceleration);
        else
            return LZ4_compress_generic(ctx, source, dest, inputSize, maxOutputSize, limitedOutput, (sizeof(void*)==8) ? byU32 : byPtr, noDict, noDictIssue, acceleration);
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movl %r9d, %ebx
movl %r8d, %r14d
movl %ecx, %r15d
movq %rdx, %r13
movq %rsi, 0x30(%rsp)
movq %rdi, %r12
xorl %ebp, %ebp
movl $0x4020, %edx           # imm = 0x4020
xorl %esi, %esi
callq 0x62e0
cmpl $0x2, %ebx
movl $0x1, %eax
cmovgel %ebx, %eax
movl %eax, 0x2c(%rsp)
cmpl $0x7e000000, %r15d      # imm = 0x7E000000
ja 0x24baf
movl %r15d, %eax
movl $0x80808081, %ecx       # imm = 0x80808081
imulq %rax, %rcx
shrq $0x27, %rcx
leal (%r15,%rcx), %ebp
addl $0x10, %ebp
cmpl %r14d, %ebp
movq %r13, 0x60(%rsp)
movq 0x30(%rsp), %r11
movq %r12, 0x48(%rsp)
jle 0x2502a
movslq %r14d, %rax
addq %r13, %rax
movq %rax, 0x20(%rsp)
cmpl $0x1000a, %r15d         # imm = 0x1000A
jg 0x25406
xorl %r10d, %r10d
cmpl $0x7e000000, %r15d      # imm = 0x7E000000
ja 0x25e30
movl %r14d, 0x54(%rsp)
movslq %r15d, %rcx
movq %r13, %r8
cmpl $0xd, %r15d
movq %r11, %r15
jl 0x25cd9
leaq (%r11,%rcx), %r9
addq $-0xc, %r9
imull $0x9e3779b1, (%r11), %eax # imm = 0x9E3779B1
movq %rcx, 0x68(%rsp)
addq %r11, %rcx
addq $-0x5, %rcx
movq %rcx, 0x58(%rsp)
shrl $0x13, %eax
movw $0x0, (%r12,%rax,2)
movq %r13, %rax
leaq 0x1(%r11), %r13
imull $0x9e3779b1, 0x1(%r11), %ebp # imm = 0x9E3779B1
shrl $0x13, %ebp
shll $0x6, 0x2c(%rsp)
movq %rax, %r8
movq %r11, %r15
movq %r9, 0x38(%rsp)
movl $0x1, %esi
movq %r14, %rcx
movl 0x2c(%rsp), %edx
movq %r13, %rax
movl %esi, %r13d
addq %rax, %r13
cmpq %r9, %r13
ja 0x24ca2
movl %ebp, %esi
movzwl (%r12,%rsi,2), %ecx
addq %r11, %rcx
imull $0x9e3779b1, (%r13), %ebp # imm = 0x9E3779B1
shrl $0x13, %ebp
movl %eax, %edi
subl %r11d, %edi
movw %di, (%r12,%rsi,2)
xorl %edi, %edi
cmpq %r9, %r13
ja 0x24cab
movl %edx, %esi
shrl $0x6, %esi
movl (%rcx), %edi
incl %edx
cmpl (%rax), %edi
jne 0x24c5f
jmp 0x24ca9
movl $0x3, %edi
jmp 0x24c8e
xorl %edi, %edi
testl %edi, %edi
je 0x24cba
movq %rcx, %r14
movq %rax, %r13
jmp 0x2500b
movq %r8, 0x8(%rsp)
movq %r11, %r12
movl %eax, %edx
subl %r15d, %edx
leal -0xf(%rdx), %esi
leal -0x10e(%rdx), %edi
movl %edi, 0x18(%rsp)
movl %eax, %r9d
shlb $0x4, %r9b
movq %r15, 0x10(%rsp)
movl %r15d, %edi
shlb $0x4, %dil
subb %dil, %r9b
xorl %r10d, %r10d
movl %esi, %r11d
movl %r11d, %edi
movq %r10, %r15
movl %r9d, %r8d
leaq (%rcx,%r10), %r14
leaq (%rax,%r10), %r13
cmpq %r12, %r14
jbe 0x24d25
cmpq 0x10(%rsp), %r13
jbe 0x24d25
movb -0x1(%rax,%r15), %bl
leal -0x1(%rdi), %r11d
leaq -0x1(%r15), %r10
leal -0x10(%r8), %r9d
cmpb -0x1(%rcx,%r15), %bl
je 0x24cf0
subl 0x10(%rsp), %eax
leal (%r15,%rax), %r12d
leaq (%rdx,%r15), %rax
movq 0x8(%rsp), %rcx
leaq 0x1(%rcx), %rbx
addq %r12, %rcx
incq %rcx
movl %eax, %r9d
movl $0x80808081, %r10d      # imm = 0x80808081
imulq %r10, %r9
shrq $0x27, %r9
addq %rcx, %r9
addq $0x8, %r9
cmpq 0x20(%rsp), %r9
ja 0x25018
cmpl $0xf, %eax
movl $0x0, %r10d
jb 0x24df7
movl %esi, %eax
addq %r15, %rax
movq 0x8(%rsp), %rsi
movb $-0x10, (%rsi)
cmpl $0xfe, %eax
jle 0x24deb
movl $0x1fd, %eax            # imm = 0x1FD
cmpl %eax, %edi
cmovgel %eax, %edi
subl %edi, %edx
leal (%rdx,%r15), %ecx
addl $0xef, %ecx
movl $0x80808081, %eax       # imm = 0x80808081
imulq %rax, %rcx
shrq $0x27, %rcx
movq %rcx, 0x40(%rsp)
leal 0x1(%rcx), %edx
movq %rbx, %rdi
movl $0xff, %esi
movq %r9, %rbx
callq 0x62e0
movq %rbx, %r9
movq 0x8(%rsp), %rsi
xorl %r10d, %r10d
movq 0x40(%rsp), %rdx
movl %edx, %eax
shll $0x8, %eax
movl %edx, %ecx
subl %eax, %ecx
leaq (%rsi,%rdx), %rbx
addq $0x2, %rbx
movl 0x18(%rsp), %eax
addl %r15d, %eax
addl %ecx, %eax
movq 0x10(%rsp), %r15
movb %al, (%rbx)
incq %rbx
jmp 0x24e04
movq 0x8(%rsp), %rsi
movb %r8b, (%rsi)
movq 0x10(%rsp), %r15
addq %rbx, %r12
movq %r15, %rax
movq (%rax), %rcx
movq %rcx, (%rbx)
addq $0x8, %rbx
addq $0x8, %rax
cmpq %r12, %rbx
jb 0x24e0a
movq %r12, %rbx
movl $0x1, %edi
cmpq 0x20(%rsp), %r9
movq 0x30(%rsp), %r11
movq 0x48(%rsp), %r12
jbe 0x24e43
movq %rbx, %r8
movq 0x38(%rsp), %r9
jmp 0x2500b
movq %rsi, 0x18(%rsp)
movl %r13d, %eax
subl %r14d, %eax
movw %ax, (%rbx)
leaq 0x2(%rbx), %rax
movq %rax, 0x8(%rsp)
leaq 0x4(%r13), %rdi
leaq 0x4(%r14), %rsi
movq 0x58(%rsp), %rdx
callq 0x2c1ce
movl %eax, %r15d
shrl $0x8, %eax
leaq (%rbx,%rax), %rdx
addq $0x8, %rdx
cmpq 0x20(%rsp), %rdx
ja 0x24fda
movq 0x18(%rsp), %rcx
movb (%rcx), %al
cmpl $0xf, %r15d
movq 0x30(%rsp), %r11
jb 0x24f43
addb $0xf, %al
movb %al, (%rcx)
leal -0xf(%r15), %esi
movq 0x8(%rsp), %r8
movl $0xffffffff, (%r8)      # imm = 0xFFFFFFFF
cmpl $0x3fc, %esi            # imm = 0x3FC
jb 0x24f22
leaq 0x6(%rbx), %rdi
leal -0x40b(%r15), %r12d
movq %r12, 0x40(%rsp)
movl $0x80808081, %eax       # imm = 0x80808081
imulq %rax, %r12
shrq $0x29, %r12
leal (,%r12,4), %eax
movq %rax, 0x18(%rsp)
movq %rdx, 0x8(%rsp)
leal 0x4(,%r12,4), %edx
movl $0xff, %esi
callq 0x62e0
movq 0x40(%rsp), %rsi
movq 0x8(%rsp), %rdx
imull $0x3fc, %r12d, %eax     # imm = 0x3FC
movq 0x48(%rsp), %r12
movq 0x30(%rsp), %r11
subl %eax, %esi
movq 0x18(%rsp), %rax
leaq (%rbx,%rax), %r8
addq $0x6, %r8
movl %esi, %eax
movl $0x80808081, %ecx       # imm = 0x80808081
imulq %rcx, %rax
shrq $0x27, %rax
leal (%rax,%rsi), %ecx
addq %rax, %r8
incq %r8
movb %cl, -0x1(%r8)
xorl %r10d, %r10d
jmp 0x24f50
addb %r15b, %al
movb %al, (%rcx)
xorl %r10d, %r10d
movq 0x8(%rsp), %r8
movl $0x1, %edi
addl $0x4, %r15d
addq %r15, %r13
cmpq 0x20(%rsp), %rdx
movq 0x38(%rsp), %r9
ja 0x24ffc
cmpq %r9, %r13
ja 0x25003
leaq -0x2(%r13), %rax
imull $0x9e3779b1, -0x2(%r13), %ecx # imm = 0x9E3779B1
subl %r11d, %eax
shrl $0x13, %ecx
movw %ax, (%r12,%rcx,2)
imull $0x9e3779b1, (%r13), %eax # imm = 0x9E3779B1
shrl $0x13, %eax
movzwl (%r12,%rax,2), %ecx
leaq (%r11,%rcx), %r14
movl %r13d, %edx
subl %r11d, %edx
movw %dx, (%r12,%rax,2)
leaq (%r11,%rcx), %rax
addq $0xffff, %rax           # imm = 0xFFFF
cmpq %r13, %rax
jb 0x24fe7
movl (%r14), %eax
cmpl (%r13), %eax
jne 0x24fe7
leaq 0x1(%r8), %rbx
movb $0x0, (%r8)
movq %r13, 0x10(%rsp)
movq %r8, 0x18(%rsp)
jmp 0x24e48
xorl %r10d, %r10d
movq 0x30(%rsp), %r11
jmp 0x24f4b
imull $0x9e3779b1, 0x1(%r13), %ebp # imm = 0x9E3779B1
movq %r13, %r15
incq %r13
shrl $0x13, %ebp
xorl %edi, %edi
jmp 0x2500b
movq 0x10(%rsp), %r15
jmp 0x2500b
movl $0x4, %edi
movq %r13, %r15
testl %edi, %edi
je 0x24c53
jmp 0x25cc3
xorl %r10d, %r10d
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %r15
jmp 0x24e20
cmpl $0x1000a, %r15d         # imm = 0x1000A
jg 0x258d9
cmpl $0x7e000000, %r15d      # imm = 0x7E000000
ja 0x25e2d
movslq %r15d, %rcx
movq %r13, %r14
movq %r11, %rbx
cmpl $0xd, %r15d
jl 0x2538a
leaq (%r11,%rcx), %r9
addq $-0xc, %r9
imull $0x9e3779b1, (%r11), %eax # imm = 0x9E3779B1
movq %rcx, 0x58(%rsp)
addq %r11, %rcx
addq $-0x5, %rcx
movq %rcx, 0x18(%rsp)
shrl $0x13, %eax
movw $0x0, (%r12,%rax,2)
leaq 0x1(%r11), %rax
imull $0x9e3779b1, 0x1(%r11), %r10d # imm = 0x9E3779B1
shrl $0x13, %r10d
shll $0x6, 0x2c(%rsp)
movq %r13, %r14
movq %r11, %rbx
movq %r9, 0x8(%rsp)
movl $0x1, %edx
movq %rsi, %rcx
movq %rax, %rdi
movl 0x2c(%rsp), %esi
movq %rdi, %rax
movl %edx, %edi
addq %rax, %rdi
cmpq %r9, %rdi
ja 0x250f6
movl %r10d, %edx
movzwl (%r12,%rdx,2), %ecx
addq %r11, %rcx
imull $0x9e3779b1, (%rdi), %r10d # imm = 0x9E3779B1
shrl $0x13, %r10d
movl %eax, %r8d
subl %r11d, %r8d
movw %r8w, (%r12,%rdx,2)
xorl %edx, %edx
cmpq %r9, %rdi
ja 0x250ff
movl %esi, %edx
shrl $0x6, %edx
movl (%rcx), %r8d
incl %esi
cmpl (%rax), %r8d
jne 0x250b0
jmp 0x250fd
movl $0x3, %edx
jmp 0x250e0
xorl %edx, %edx
testl %edx, %edx
je 0x2510b
movq %rcx, %rsi
jmp 0x25371
movl %r10d, 0x38(%rsp)
movq %r14, 0x10(%rsp)
movl %eax, %edx
subl %ebx, %edx
leal -0xf(%rdx), %esi
leal -0x10e(%rdx), %edi
movl %edi, 0x20(%rsp)
movl %eax, %edi
shlb $0x4, %dil
movl %ebx, %r8d
shlb $0x4, %r8b
subb %r8b, %dil
xorl %r10d, %r10d
movl %esi, %r11d
movl %r11d, %r8d
movq %r10, %r12
movl %edi, %r9d
leaq (%rcx,%r10), %rdi
leaq (%rax,%r10), %r15
movq %rdi, %r14
cmpq 0x30(%rsp), %rdi
jbe 0x25175
cmpq %rbx, %r15
jbe 0x25175
movb -0x1(%rax,%r12), %bpl
leal -0x1(%r8), %r11d
leaq -0x1(%r12), %r10
leal -0x10(%r9), %edi
cmpb -0x1(%rcx,%r12), %bpl
je 0x2513c
leal (%rdx,%r12), %eax
movq 0x10(%rsp), %r10
leaq 0x1(%r10), %rdi
cmpl $0xf, %eax
jb 0x251f0
movl %esi, %eax
addq %r12, %rax
movb $-0x10, (%r10)
cmpl $0xfe, %eax
jle 0x251e9
movl $0x1fd, %eax            # imm = 0x1FD
cmpl %eax, %r8d
cmovgel %eax, %r8d
subl %r8d, %edx
leal (%rdx,%r12), %ebp
addl $0xef, %ebp
movl $0x80808081, %eax       # imm = 0x80808081
imulq %rax, %rbp
shrq $0x27, %rbp
leal 0x1(%rbp), %edx
movl $0xff, %esi
callq 0x62e0
movq 0x10(%rsp), %r10
movl %ebp, %eax
shll $0x8, %eax
movl %ebp, %ecx
subl %eax, %ecx
leaq (%r10,%rbp), %rdi
addq $0x2, %rdi
movl 0x20(%rsp), %eax
addl %r12d, %eax
addl %ecx, %eax
movb %al, (%rdi)
incq %rdi
jmp 0x251f3
movb %r9b, (%r10)
movq %r15, %rax
subq %rbx, %rax
movl %eax, %r12d
addq %rdi, %r12
movq (%rbx), %rax
movq %rax, (%rdi)
addq $0x8, %rdi
addq $0x8, %rbx
cmpq %r12, %rdi
jb 0x251ff
movq %r10, %rbp
movq %r15, %rbx
movq %r14, %rsi
movl %ebx, %eax
subl %esi, %eax
movw %ax, (%r12)
leaq 0x2(%r12), %r14
leaq 0x4(%rbx), %rdi
movq %rsi, 0x20(%rsp)
addq $0x4, %rsi
movq 0x18(%rsp), %rdx
callq 0x2c1ce
movl %eax, %r15d
movb (%rbp), %al
cmpl $0xf, %r15d
jb 0x252d3
addb $0xf, %al
movb %al, (%rbp)
leal -0xf(%r15), %r13d
movl $0xffffffff, (%r14)     # imm = 0xFFFFFFFF
cmpl $0x3fc, %r13d           # imm = 0x3FC
jb 0x252ae
leaq 0x6(%r12), %rdi
leal -0x40b(%r15), %r13d
movq %r13, %rbp
movl $0x80808081, %eax       # imm = 0x80808081
imulq %rax, %rbp
shrq $0x29, %rbp
leal (,%rbp,4), %r14d
leal 0x4(,%rbp,4), %edx
movl $0xff, %esi
callq 0x62e0
imull $0x3fc, %ebp, %eax      # imm = 0x3FC
subl %eax, %r13d
addq %r12, %r14
addq $0x6, %r14
movl %r13d, %eax
movl $0x80808081, %ecx       # imm = 0x80808081
imulq %rcx, %rax
shrq $0x27, %rax
leal (%rax,%r13), %ecx
addq %rax, %r14
incq %r14
movb %cl, -0x1(%r14)
movq 0x60(%rsp), %r13
jmp 0x252d9
addb %r15b, %al
movb %al, (%rbp)
movq 0x8(%rsp), %r9
addl $0x4, %r15d
addq %r15, %rbx
cmpq %r9, %rbx
movq 0x30(%rsp), %r11
movq 0x48(%rsp), %r12
ja 0x2535f
leaq -0x2(%rbx), %rax
imull $0x9e3779b1, -0x2(%rbx), %ecx # imm = 0x9E3779B1
subl %r11d, %eax
shrl $0x13, %ecx
movw %ax, (%r12,%rcx,2)
imull $0x9e3779b1, (%rbx), %eax # imm = 0x9E3779B1
shrl $0x13, %eax
movzwl (%r12,%rax,2), %ecx
leaq (%r11,%rcx), %rsi
movl %ebx, %edx
subl %r11d, %edx
movw %dx, (%r12,%rax,2)
leaq (%r11,%rcx), %rax
addq $0xffff, %rax           # imm = 0xFFFF
cmpq %rbx, %rax
jb 0x2534b
movl (%rsi), %eax
cmpl (%rbx), %eax
jne 0x2534b
leaq 0x1(%r14), %r12
movb $0x0, (%r14)
movq %r14, %rbp
jmp 0x2521b
leaq 0x1(%rbx), %rax
imull $0x9e3779b1, 0x1(%rbx), %r10d # imm = 0x9E3779B1
shrl $0x13, %r10d
xorl %edx, %edx
jmp 0x25371
movl $0x4, %edx
movq %rbx, %rax
movl 0x38(%rsp), %r10d
movq 0x20(%rsp), %rsi
testl %edx, %edx
je 0x250a1
addl $-0x3, %edx
cmpl $0x1, %edx
ja 0x25e2d
movq 0x58(%rsp), %rcx
addq %rcx, %r11
subq %rbx, %r11
cmpq $0xf, %r11
jb 0x25d88
leaq -0xf(%r11), %rax
movb $-0x10, (%r14)
leaq 0x1(%r14), %rdi
cmpq $0xff, %rax
jb 0x253fc
leaq -0x10e(%r11), %rax
movabsq $-0x7f7f7f7f7f7f7f7f, %rcx # imm = 0x8080808080808081
mulq %rcx
movq %rdx, %r15
shrq $0x7, %r15
leaq 0x1(%r15), %rdx
movl $0xff, %esi
movq %r14, %rbp
movq %r11, %r14
callq 0x62e0
movq %r14, %r11
movq %r15, %rax
shlq $0x8, %rax
leaq (%r15,%rbp), %rdi
addq $0x2, %rdi
subq %rax, %r15
leaq (%r14,%r15), %rax
addq $-0x10e, %rax           # imm = 0xFEF2
movb %al, (%rdi)
movq %rdi, %r14
jmp 0x25d91
cmpl $0x7e000000, %r15d      # imm = 0x7E000000
ja 0x25e2d
movl %r14d, 0x54(%rsp)
movl %r15d, %eax
leaq (%r11,%rax), %rcx
movq %rcx, 0x70(%rsp)
leaq (%r11,%rax), %rbx
addq $-0xc, %rbx
leaq -0x5(%r11,%rax), %rax
movq %rax, 0x58(%rsp)
movabsq $-0x30e4432345000000, %r15 # imm = 0xCF1BBCDCBB000000
movq (%r11), %rax
imulq %r15, %rax
shrq $0x34, %rax
movl $0x0, (%r12,%rax,4)
leaq 0x1(%r11), %r12
movq 0x1(%r11), %rbp
imulq %r15, %rbp
shrq $0x34, %rbp
shll $0x6, 0x2c(%rsp)
movq %r13, %r10
movq %r11, 0x18(%rsp)
movq %rbx, 0x38(%rsp)
movl $0x1, %edi
movq %r14, %rcx
movq %r12, %rax
movl 0x2c(%rsp), %edx
movq 0x30(%rsp), %r9
movq 0x48(%rsp), %r11
movl %edi, %esi
addq %rax, %rsi
cmpq %rbx, %rsi
ja 0x254dc
movl %ebp, %edi
movl (%r11,%rdi,4), %ecx
addq %r9, %rcx
movq (%rsi), %rbp
imulq %r15, %rbp
shrq $0x34, %rbp
movl %eax, %r8d
subl %r9d, %r8d
movl %r8d, (%r11,%rdi,4)
xorl %r13d, %r13d
cmpq %rbx, %rsi
ja 0x254e7
leaq 0xffff(%rcx), %rdi
cmpq %rax, %rdi
jb 0x254d0
movl (%rcx), %edi
cmpl (%rax), %edi
je 0x254e4
movl %edx, %edi
shrl $0x6, %edi
incl %edx
movq %rsi, %rax
jmp 0x2548e
movl $0x3, %r13d
jmp 0x254b9
xorl %r13d, %r13d
testl %r13d, %r13d
je 0x254f7
movq %rcx, %r14
movq %rax, %r12
jmp 0x2580f
movq %r10, 0x10(%rsp)
movl %eax, %edx
movq 0x18(%rsp), %r13
subl %r13d, %edx
leal -0xf(%rdx), %esi
leal -0x10e(%rdx), %edi
movl %edi, 0x8(%rsp)
movl %eax, %r9d
shlb $0x4, %r9b
movl %r13d, %edi
shlb $0x4, %dil
subb %dil, %r9b
xorl %r10d, %r10d
movl %esi, %r11d
movl %r11d, %edi
movq %r10, %rbx
movl %r9d, %r8d
leaq (%rcx,%r10), %r14
leaq (%rax,%r10), %r12
cmpq 0x30(%rsp), %r14
jbe 0x2555f
cmpq %r13, %r12
jbe 0x2555f
movb -0x1(%rax,%rbx), %r15b
leal -0x1(%rdi), %r11d
leaq -0x1(%rbx), %r10
leal -0x10(%r8), %r9d
cmpb -0x1(%rcx,%rbx), %r15b
je 0x2552a
subl %r13d, %eax
leal (%rbx,%rax), %r13d
leaq (%rdx,%rbx), %rax
movq 0x10(%rsp), %r10
leaq 0x1(%r10), %r15
leaq (%r10,%r13), %rcx
incq %rcx
movl %eax, %r9d
movl $0x80808081, %r11d      # imm = 0x80808081
imulq %r11, %r9
shrq $0x27, %r9
addq %rcx, %r9
addq $0x8, %r9
cmpq 0x20(%rsp), %r9
ja 0x2563b
cmpl $0xf, %eax
jb 0x2561a
movl %esi, %eax
addq %rbx, %rax
movb $-0x10, (%r10)
cmpl $0xfe, %eax
jle 0x25612
movl $0x1fd, %eax            # imm = 0x1FD
cmpl %eax, %edi
cmovgel %eax, %edi
subl %edi, %edx
leal (%rdx,%rbx), %ecx
addl $0xef, %ecx
movl $0x80808081, %eax       # imm = 0x80808081
imulq %rax, %rcx
shrq $0x27, %rcx
movq %rcx, 0x40(%rsp)
leal 0x1(%rcx), %edx
movq %r15, %rdi
movl $0xff, %esi
movq %r9, %r15
callq 0x62e0
movq %r15, %r9
movq 0x10(%rsp), %r10
movq 0x40(%rsp), %rdx
movl %edx, %eax
shll $0x8, %eax
movl %edx, %ecx
subl %eax, %ecx
leaq (%r10,%rdx), %r15
addq $0x2, %r15
movl 0x8(%rsp), %eax
addl %ebx, %eax
addl %ecx, %eax
movb %al, (%r15)
incq %r15
jmp 0x2561d
movb %r8b, (%r10)
addq %r15, %r13
movq 0x18(%rsp), %rax
movq (%rax), %rcx
movq %rcx, (%r15)
addq $0x8, %r15
addq $0x8, %rax
cmpq %r13, %r15
jb 0x25625
movq %r13, %r15
movl $0x1, %r13d
cmpq 0x20(%rsp), %r9
jbe 0x2565f
movq %r15, %r10
movq 0x38(%rsp), %rbx
movabsq $-0x30e4432345000000, %r15 # imm = 0xCF1BBCDCBB000000
jmp 0x2580f
movq %r10, 0x8(%rsp)
movl %r12d, %eax
subl %r14d, %eax
movw %ax, (%r15)
leaq 0x2(%r15), %rax
movq %rax, 0x10(%rsp)
leaq 0x4(%r12), %rdi
leaq 0x4(%r14), %rsi
movq 0x58(%rsp), %rdx
callq 0x2c1ce
movl %eax, %ebx
shrl $0x8, %eax
leaq (%r15,%rax), %rdx
addq $0x8, %rdx
cmpq 0x20(%rsp), %rdx
ja 0x25756
movq 0x8(%rsp), %rcx
movb (%rcx), %al
cmpl $0xf, %ebx
jb 0x25752
addb $0xf, %al
movb %al, (%rcx)
leal -0xf(%rbx), %esi
movq 0x10(%rsp), %r10
movl $0xffffffff, (%r10)     # imm = 0xFFFFFFFF
cmpl $0x3fc, %esi            # imm = 0x3FC
jb 0x25734
leaq 0x6(%r15), %rdi
leal -0x40b(%rbx), %eax
movq %rax, 0x40(%rsp)
movq %rax, %rcx
movl $0x80808081, %eax       # imm = 0x80808081
imulq %rax, %rcx
shrq $0x29, %rcx
movq %rcx, 0x68(%rsp)
leal (,%rcx,4), %eax
movq %rax, 0x8(%rsp)
movq %rdx, 0x10(%rsp)
leal 0x4(,%rcx,4), %edx
movl $0xff, %esi
callq 0x62e0
movq 0x40(%rsp), %rsi
movq 0x10(%rsp), %rdx
imull $0x3fc, 0x68(%rsp), %eax # imm = 0x3FC
subl %eax, %esi
movq 0x8(%rsp), %rax
leaq (%r15,%rax), %r10
addq $0x6, %r10
movl %esi, %eax
movl $0x80808081, %ecx       # imm = 0x80808081
imulq %rcx, %rax
shrq $0x27, %rax
leal (%rax,%rsi), %ecx
addq %rax, %r10
incq %r10
movb %cl, -0x1(%r10)
jmp 0x2575b
addb %bl, %al
movb %al, (%rcx)
movq 0x10(%rsp), %r10
addl $0x4, %ebx
addq %rbx, %r12
cmpq 0x20(%rsp), %rdx
movq 0x38(%rsp), %rbx
movabsq $-0x30e4432345000000, %r15 # imm = 0xCF1BBCDCBB000000
ja 0x2580f
cmpq %rbx, %r12
ja 0x25804
leaq -0x2(%r12), %rax
movq -0x2(%r12), %rcx
imulq %r15, %rcx
shrq $0x34, %rcx
movq 0x30(%rsp), %rsi
subl %esi, %eax
movq 0x48(%rsp), %rdi
movl %eax, (%rdi,%rcx,4)
movq (%r12), %rax
imulq %r15, %rax
shrq $0x34, %rax
movl (%rdi,%rax,4), %ecx
leaq (%rsi,%rcx), %r14
movl %r12d, %edx
subl %esi, %edx
movl %edx, (%rdi,%rax,4)
leaq (%rsi,%rcx), %rax
addq $0xffff, %rax           # imm = 0xFFFF
cmpq %r12, %rax
jb 0x257ea
movl (%r14), %eax
cmpl (%r12), %eax
jne 0x257ea
leaq 0x1(%r10), %r15
movb $0x0, (%r10)
movq %r12, 0x18(%rsp)
jmp 0x2565f
movq 0x1(%r12), %rbp
movq %r12, 0x18(%rsp)
incq %r12
imulq %r15, %rbp
shrq $0x34, %rbp
xorl %r13d, %r13d
jmp 0x2580f
movl $0x4, %r13d
movq %r12, 0x18(%rsp)
testl %r13d, %r13d
je 0x25475
addl $-0x3, %r13d
cmpl $0x1, %r13d
ja 0x25e2d
movq 0x70(%rsp), %rbp
movq 0x18(%rsp), %rsi
subq %rsi, %rbp
leaq 0xf0(%rbp), %rax
movabsq $-0x7f7f7f7f7f7f7f7f, %rcx # imm = 0x8080808080808081
mulq %rcx
shrq $0x7, %rdx
movq %r10, %rax
movq 0x60(%rsp), %r12
subq %r12, %rax
addq %rbp, %rax
leaq (%rdx,%rax), %r14
incq %r14
movl 0x54(%rsp), %r15d
cmpq %r15, %r14
ja 0x25e28
cmpq $0xf, %rbp
jb 0x25e0a
leaq -0xf(%rbp), %rax
movb $-0x10, (%r10)
leaq 0x1(%r10), %rdi
cmpq $0xff, %rax
jb 0x258cf
leaq -0x10e(%rbp), %rax
mulq %rcx
movq %rdx, %rbx
shrq $0x7, %rbx
leaq 0x1(%rbx), %rdx
movl $0xff, %esi
movq %r10, %r13
callq 0x62e0
movq %rbx, %rax
shlq $0x8, %rax
leaq (%rbx,%r13), %rdi
addq $0x2, %rdi
movq 0x18(%rsp), %rsi
subq %rax, %rbx
leaq (%rbx,%rbp), %rax
addq $-0x10e, %rax           # imm = 0xFEF2
movb %al, (%rdi)
movq %rdi, %r10
jmp 0x25e12
cmpl $0x7e000000, %r15d      # imm = 0x7E000000
ja 0x25e2d
movl %r15d, %eax
leaq (%r11,%rax), %rcx
movq %rcx, 0x38(%rsp)
leaq (%r11,%rax), %r10
addq $-0xc, %r10
leaq -0x5(%r11,%rax), %rax
movq %rax, 0x18(%rsp)
movabsq $-0x30e4432345000000, %r14 # imm = 0xCF1BBCDCBB000000
movq (%r11), %rax
imulq %r14, %rax
shrq $0x34, %rax
movl $0x0, (%r12,%rax,4)
leaq 0x1(%r11), %rax
movq 0x1(%r11), %r15
imulq %r14, %r15
shrq $0x34, %r15
shll $0x6, 0x2c(%rsp)
movq %r13, %r9
movq %r11, %rbx
movq %r10, 0x8(%rsp)
movl $0x1, %esi
movq 0x20(%rsp), %rcx
movl 0x2c(%rsp), %edx
movl %esi, %edi
addq %rax, %rdi
cmpq %r10, %rdi
ja 0x2599d
movl %r15d, %esi
movl (%r12,%rsi,4), %ecx
addq %r11, %rcx
movq (%rdi), %r15
imulq %r14, %r15
shrq $0x34, %r15
movl %eax, %r8d
subl %r11d, %r8d
movl %r8d, (%r12,%rsi,4)
xorl %esi, %esi
cmpq %r10, %rdi
ja 0x259a6
leaq 0xffff(%rcx), %rsi
cmpq %rax, %rsi
jb 0x25991
movl (%rcx), %esi
cmpl (%rax), %esi
je 0x259a4
movl %edx, %esi
shrl $0x6, %esi
incl %edx
movq %rdi, %rax
jmp 0x2594f
movl $0x3, %esi
jmp 0x2597a
xorl %esi, %esi
testl %esi, %esi
je 0x259b4
movq %rcx, 0x20(%rsp)
jmp 0x25c35
movq %r9, 0x10(%rsp)
movl %eax, %edx
subl %ebx, %edx
leal -0xf(%rdx), %esi
leal -0x10e(%rdx), %edi
movl %edi, 0x20(%rsp)
movl %eax, %edi
shlb $0x4, %dil
movl %ebx, %r8d
shlb $0x4, %r8b
subb %r8b, %dil
xorl %r10d, %r10d
movl %esi, %r11d
movl %r11d, %r8d
movq %r10, %rbp
movl %edi, %r9d
leaq (%rcx,%r10), %rdi
leaq (%rax,%r10), %r12
movq %rdi, %r13
cmpq 0x30(%rsp), %rdi
jbe 0x25a18
cmpq %rbx, %r12
jbe 0x25a18
movb -0x1(%rax,%rbp), %r14b
leal -0x1(%r8), %r11d
leaq -0x1(%rbp), %r10
leal -0x10(%r9), %edi
cmpb -0x1(%rcx,%rbp), %r14b
je 0x259e0
leal (%rdx,%rbp), %eax
movq 0x10(%rsp), %r10
leaq 0x1(%r10), %rdi
cmpl $0xf, %eax
jb 0x25a95
movl %esi, %eax
addq %rbp, %rax
movb $-0x10, (%r10)
cmpl $0xfe, %eax
jle 0x25a8e
movl $0x1fd, %eax            # imm = 0x1FD
cmpl %eax, %r8d
cmovgel %eax, %r8d
subl %r8d, %edx
leal (%rdx,%rbp), %r14d
addl $0xef, %r14d
movl $0x80808081, %eax       # imm = 0x80808081
imulq %rax, %r14
shrq $0x27, %r14
leal 0x1(%r14), %edx
movl $0xff, %esi
callq 0x62e0
movq 0x10(%rsp), %r10
movl %r14d, %eax
shll $0x8, %eax
movl %r14d, %ecx
subl %eax, %ecx
leaq (%r10,%r14), %rdi
addq $0x2, %rdi
movl 0x20(%rsp), %eax
addl %ebp, %eax
addl %ecx, %eax
movb %al, (%rdi)
incq %rdi
jmp 0x25a98
movb %r9b, (%r10)
movq %r12, %rax
subq %rbx, %rax
movl %eax, %ebp
addq %rdi, %rbp
movq (%rbx), %rax
movq %rax, (%rdi)
addq $0x8, %rdi
addq $0x8, %rbx
cmpq %rbp, %rdi
jb 0x25aa3
movq %r10, %r14
movq %r12, %rbx
movl %ebx, %eax
subl %r13d, %eax
movw %ax, (%rbp)
leaq 0x2(%rbp), %r12
leaq 0x4(%rbx), %rdi
movq %r13, 0x20(%rsp)
leaq 0x4(%r13), %rsi
movq 0x18(%rsp), %rdx
callq 0x2c1ce
movl %eax, %r13d
movb (%r14), %al
cmpl $0xf, %r13d
jb 0x25b87
addb $0xf, %al
movb %al, (%r14)
leal -0xf(%r13), %edx
movl $0xffffffff, (%r12)     # imm = 0xFFFFFFFF
cmpl $0x3fc, %edx            # imm = 0x3FC
movq %r12, %r9
jb 0x25b5f
leaq 0x6(%rbp), %rdi
leal -0x40b(%r13), %r12d
movq %r12, %r14
movl $0x80808081, %eax       # imm = 0x80808081
imulq %rax, %r14
shrq $0x29, %r14
leal (,%r14,4), %eax
movq %rax, 0x10(%rsp)
leal 0x4(,%r14,4), %edx
movl $0xff, %esi
callq 0x62e0
imull $0x3fc, %r14d, %eax     # imm = 0x3FC
movq %r12, %rdx
subl %eax, %edx
movq 0x10(%rsp), %rax
leaq (%rax,%rbp), %r9
addq $0x6, %r9
movl %edx, %eax
movl $0x80808081, %ecx       # imm = 0x80808081
imulq %rcx, %rax
shrq $0x27, %rax
leal (%rax,%rdx), %ecx
addq %rax, %r9
incq %r9
movb %cl, -0x1(%r9)
movq 0x30(%rsp), %r11
movq 0x48(%rsp), %r12
jmp 0x25b9a
addb %r13b, %al
movb %al, (%r14)
movq %r12, %r9
movq 0x48(%rsp), %r12
movq 0x30(%rsp), %r11
movq 0x8(%rsp), %r10
addl $0x4, %r13d
addq %r13, %rbx
cmpq %r10, %rbx
movabsq $-0x30e4432345000000, %r14 # imm = 0xCF1BBCDCBB000000
ja 0x25c28
leaq -0x2(%rbx), %rax
movq -0x2(%rbx), %rcx
imulq %r14, %rcx
shrq $0x34, %rcx
subl %r11d, %eax
movl %eax, (%r12,%rcx,4)
movq (%rbx), %rax
imulq %r14, %rax
shrq $0x34, %rax
movl (%r12,%rax,4), %ecx
leaq (%r11,%rcx), %r13
movl %ebx, %edx
subl %r11d, %edx
movl %edx, (%r12,%rax,4)
leaq (%r11,%rcx), %rax
addq $0xffff, %rax           # imm = 0xFFFF
cmpq %rbx, %rax
jb 0x25c0f
movl (%r13), %eax
cmpl (%rbx), %eax
jne 0x25c0f
leaq 0x1(%r9), %rbp
movb $0x0, (%r9)
movq %r9, %r14
jmp 0x25abc
movq %r13, 0x20(%rsp)
leaq 0x1(%rbx), %rax
movq 0x1(%rbx), %r15
imulq %r14, %r15
shrq $0x34, %r15
xorl %esi, %esi
jmp 0x25c30
movl $0x4, %esi
movq %rbx, %rax
movq 0x60(%rsp), %r13
testl %esi, %esi
je 0x25941
addl $-0x3, %esi
cmpl $0x1, %esi
ja 0x25e2d
movq 0x38(%rsp), %r12
subq %rbx, %r12
cmpq $0xf, %r12
jb 0x25dad
leaq -0xf(%r12), %rax
movb $-0x10, (%r9)
leaq 0x1(%r9), %rdi
cmpq $0xff, %rax
jb 0x25cb9
leaq -0x10e(%r12), %rax
movabsq $-0x7f7f7f7f7f7f7f7f, %rcx # imm = 0x8080808080808081
mulq %rcx
movq %rdx, %r14
shrq $0x7, %r14
leaq 0x1(%r14), %rdx
movl $0xff, %esi
movq %r9, %r15
callq 0x62e0
movq %r14, %rax
shlq $0x8, %rax
leaq (%r15,%r14), %rdi
addq $0x2, %rdi
subq %rax, %r14
leaq (%r12,%r14), %rax
addq $-0x10e, %rax           # imm = 0xFEF2
movb %al, (%rdi)
movq %rdi, %r9
jmp 0x25db6
addl $-0x3, %edi
cmpl $0x1, %edi
ja 0x25e2d
movq 0x60(%rsp), %r13
movq 0x68(%rsp), %rcx
addq %rcx, %r11
movq %r15, %rbp
subq %r15, %r11
leaq 0xf0(%r11), %rax
movabsq $-0x7f7f7f7f7f7f7f7f, %rcx # imm = 0x8080808080808081
mulq %rcx
shrq $0x7, %rdx
movq %r8, %rax
subq %r13, %rax
addq %r11, %rax
leaq (%rdx,%rax), %r14
incq %r14
movl 0x54(%rsp), %r15d
cmpq %r15, %r14
ja 0x25dfd
cmpq $0xf, %r11
jb 0x25dd5
leaq -0xf(%r11), %rax
movb $-0x10, (%r8)
leaq 0x1(%r8), %rdi
cmpq $0xff, %rax
jb 0x25d81
leaq -0x10e(%r11), %rax
mulq %rcx
movq %rdx, %rbx
shrq $0x7, %rbx
leaq 0x1(%rbx), %rdx
movl $0xff, %esi
movq %r11, %r12
movq %r8, 0x8(%rsp)
callq 0x62e0
movq %r12, %r11
movq %rbx, %rax
shlq $0x8, %rax
movq 0x8(%rsp), %rcx
leaq (%rbx,%rcx), %rdi
addq $0x2, %rdi
subq %rax, %rbx
leaq (%r12,%rbx), %rax
addq $-0x10e, %rax           # imm = 0xFEF2
movb %al, (%rdi)
movq %rdi, %r8
jmp 0x25dde
movl %r11d, %eax
shlb $0x4, %al
movb %al, (%r14)
incq %r14
movq %r14, %rdi
movq %rbx, %rsi
movq %r11, %rdx
movq %r11, %rbx
callq 0x6400
movq %r14, %r10
addl %ebx, %r10d
jmp 0x25dd0
movl %r12d, %eax
shlb $0x4, %al
movb %al, (%r9)
incq %r9
movq %r9, %rdi
movq %rbx, %rsi
movq %r12, %rdx
movq %r9, %rbx
callq 0x6400
movq %rbx, %r10
addl %r12d, %r10d
subl %r13d, %r10d
jmp 0x25e30
movl %r11d, %eax
shlb $0x4, %al
movb %al, (%r8)
leaq 0x1(%r8), %rdi
movq %rbp, %rsi
movq %r11, %rdx
movq %r11, %rbx
movq %r8, %r12
callq 0x6400
leaq (%r12,%rbx), %r8
incq %r8
xorl %r10d, %r10d
cmpq %r15, %r14
ja 0x25e30
subl %r13d, %r8d
movl %r8d, %r10d
jmp 0x25e30
movl %ebp, %eax
shlb $0x4, %al
movb %al, (%r10)
leaq 0x1(%r10), %rdi
movq %rbp, %rdx
movq %r10, %rbx
callq 0x6400
leaq (%rbx,%rbp), %r10
incq %r10
cmpq %r15, %r14
jbe 0x25e42
xorl %r10d, %r10d
movl %r10d, %eax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
subl %r12d, %r10d
jmp 0x25e30