// File: /workspace/github_c_makefile_star2_O3/kieselsteini[P]PiXL-old/lz4.c
// Function: LZ4_compress_fast_force
int LZ4_compress_fast_force(const char* source, char* dest, int inputSize, int maxOutputSize, int acceleration)
{
    LZ4_stream_t ctx;
    LZ4_resetStream(&ctx);

    if (inputSize < LZ4_64Klimit)
        return LZ4_compress_generic(&ctx.internal_donotuse, source, dest, inputSize, maxOutputSize, limitedOutput, byU16,                        noDict, noDictIssue, acceleration);
    else
        return LZ4_compress_generic(&ctx.internal_donotuse, 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 $0x4088, %rsp           # imm = 0x4088
movl %r8d, %r12d
movl %ecx, %ebx
movl %edx, %r15d
movq %rsi, %r14
movq %rdi, 0x10(%rsp)
leaq 0x68(%rsp), %rdi
movl $0x4020, %edx           # imm = 0x4020
xorl %esi, %esi
callq 0x62d0
movq %r14, %rdx
movslq %ebx, %r13
addq %r14, %r13
cmpl $0x1000a, %r15d         # imm = 0x1000A
jg 0x8146
cmpl $0x7e000000, %r15d      # imm = 0x7E000000
movl $0x0, %esi
ja 0x86bc
movl %ebx, 0x38(%rsp)
movslq %r15d, %rcx
movq 0x10(%rsp), %r9
movq %r9, %r14
cmpl $0xd, %r15d
movq %rdx, %r15
jb 0x85fb
leaq (%r9,%rcx), %rbx
addq $-0xc, %rbx
movq %rcx, 0x58(%rsp)
leaq (%r9,%rcx), %rax
addq $-0x5, %rax
movq %rax, 0x50(%rsp)
shll $0x6, %r12d
pushq $0x1
popq %rsi
movq %rdx, 0x40(%rsp)
movq %rdx, (%rsp)
movq %r9, %r14
movl %r12d, 0x3c(%rsp)
movq %r13, 0x28(%rsp)
movq %rbx, 0x48(%rsp)
leaq 0x1(%r14), %rax
movl 0x1(%r14), %edx
movl %r12d, %ecx
movq %rax, %r15
movl %esi, %eax
addq %r15, %rax
cmpq %rbx, %rax
ja 0x85ed
movl %ecx, %esi
shrl $0x6, %esi
incl %ecx
imull $0x9e3779b1, %edx, %edi # imm = 0x9E3779B1
shrl $0x13, %edi
movzwl 0x68(%rsp,%rdi,2), %r12d
movl (%rax), %edx
movl %r15d, %r8d
subl %r9d, %r8d
movw %r8w, 0x68(%rsp,%rdi,2)
movl (%r9,%r12), %edi
cmpl (%r15), %edi
jne 0x7dff
leaq (%r9,%r12), %r10
movl %r15d, %eax
subl %r14d, %eax
leal -0xf(%rax), %edx
movq %rax, 0x8(%rsp)
addl $0xfffffef2, %eax       # imm = 0xFFFFFEF2
movl %eax, 0x34(%rsp)
movl %r15d, %eax
shlb $0x4, %al
movl %r14d, %ecx
shlb $0x4, %cl
subb %cl, %al
xorl %ecx, %ecx
movl %edx, 0x18(%rsp)
movl %edx, %r13d
movq %rcx, %rbx
movl %eax, %r8d
leaq (%r10,%rcx), %rax
leaq (%r15,%rcx), %rbp
cmpq %r9, %rax
jbe 0x7e9f
cmpq %r14, %rbp
jbe 0x7e9f
movb -0x1(%r15,%rbx), %dil
leal -0x1(%r13), %edx
leaq -0x1(%rbx), %rcx
leal -0x10(%r8), %eax
cmpb -0x1(%r10,%rbx), %dil
je 0x7e6c
movq %r10, 0x20(%rsp)
movl %r15d, %eax
subl %r14d, %eax
leal (%rbx,%rax), %r11d
movq 0x8(%rsp), %rax
leaq (%rax,%rbx), %rcx
movq (%rsp), %rax
movq %rax, %rsi
leaq (%rax,%r11), %rdi
incq %rdi
movl %ecx, %eax
xorl %edx, %edx
movl $0xff, %r10d
divl %r10d
addq %rdi, %rax
addq $0x8, %rax
cmpq 0x28(%rsp), %rax
ja 0x85e6
movq %rsi, %rdx
leaq 0x1(%rsi), %rdi
cmpl $0xf, %ecx
jb 0x7f9a
movl 0x18(%rsp), %eax
addq %rbx, %rax
movb $-0x10, (%rdx)
cmpl $0xfe, %eax
jle 0x7f89
movq 0x8(%rsp), %rsi
addl $0xef, %esi
movq %rsi, 0x8(%rsp)
movl $0x1fd, %eax            # imm = 0x1FD
cmpl %eax, %r13d
movl $0x1fd, %ecx            # imm = 0x1FD
cmovbl %r13d, %ecx
cmovgel %eax, %r13d
movl %esi, %eax
subl %ecx, %eax
addl %ebx, %eax
movq %rdx, (%rsp)
xorl %edx, %edx
movl $0xff, %ecx
divl %ecx
leal 0x1(%rax), %edx
movl $0xff, %esi
movq %r11, 0x18(%rsp)
callq 0x62d0
movq 0x18(%rsp), %r11
movq 0x10(%rsp), %r9
movq 0x8(%rsp), %rax
subl %r13d, %eax
addl %ebx, %eax
movq %rax, %rcx
xorl %edx, %edx
movl $0xff, %esi
divl %esi
subl %ecx, %edx
movq (%rsp), %rcx
leaq (%rcx,%rax), %rdi
addq $0x2, %rdi
movl 0x34(%rsp), %eax
addl %ebx, %eax
addl %edx, %eax
movq 0x28(%rsp), %r13
movq 0x20(%rsp), %rdx
movb %al, (%rdi)
incq %rdi
jmp 0x7fa7
movb %r8b, (%rdx)
movq 0x28(%rsp), %r13
movq 0x20(%rsp), %rdx
addq %rdi, %r11
movq (%r14), %rax
movq %rax, (%rdi)
addq $0x8, %rdi
addq $0x8, %r14
cmpq %r11, %rdi
jb 0x7faa
addl %r9d, %r12d
movl %ebp, %ecx
subl %ebx, %ecx
subl %r12d, %ecx
movw %cx, (%r11)
leaq (%r15,%rbx), %rdi
addq $0x4, %rdi
leaq (%rdx,%rbx), %rsi
addq $0x4, %rsi
movq 0x50(%rsp), %rdx
movq %r11, %rbx
callq 0x2e3a5
movl %eax, %ecx
shrl $0x8, %ecx
addq %rbx, %rcx
addq $0x8, %rcx
cmpq %r13, %rcx
ja 0x85e6
movq %rbx, %r8
movl %eax, %ecx
addl $0x4, %ecx
addq %rcx, %rbp
movq %rbp, %r14
movl 0x3c(%rsp), %r12d
movq (%rsp), %r15
movq 0x48(%rsp), %rbx
leaq 0x2(%r8), %rcx
movb (%r15), %dl
cmpl $0xf, %eax
jb 0x8092
addb $0xf, %dl
movb %dl, (%r15)
leal -0xf(%rax), %ebx
orl $-0x1, (%rcx)
cmpl $0x3fc, %ebx            # imm = 0x3FC
jb 0x806d
addl $0xfffffbf5, %eax       # imm = 0xFFFFFBF5
xorl %edx, %edx
movl $0x3fc, %ecx            # imm = 0x3FC
divl %ecx
movl %eax, %r15d
movl %edx, %ebx
leaq 0x6(%r8), %rdi
shll $0x2, %r15d
leaq 0x4(%r15), %rdx
movl $0xff, %esi
movq %r8, %rbp
callq 0x62d0
leaq (%r15,%rbp), %rcx
addq $0x6, %rcx
movl %ebx, %eax
xorl %edx, %edx
movw $0xff, %si
divw %si
movzwl %ax, %eax
leaq (%rcx,%rax), %r15
incq %r15
movb %dl, -0x1(%r15)
movq 0x10(%rsp), %r9
movq 0x48(%rsp), %rbx
jmp 0x809f
addb %al, %dl
movb %dl, (%r15)
movq %rcx, %r15
movq 0x10(%rsp), %r9
cmpq %rbx, %r14
ja 0x85f1
leaq -0x2(%r14), %rax
imull $0x9e3779b1, -0x2(%r14), %ecx # imm = 0x9E3779B1
subl %r9d, %eax
shrl $0x13, %ecx
movw %ax, 0x68(%rsp,%rcx,2)
imull $0x9e3779b1, (%r14), %eax # imm = 0x9E3779B1
shrl $0x13, %eax
movzwl 0x68(%rsp,%rax,2), %ecx
leaq (%r9,%rcx), %rsi
movl %r14d, %edx
subl %r9d, %edx
movw %dx, 0x68(%rsp,%rax,2)
leaq (%r9,%rcx), %rax
addq $0xffff, %rax           # imm = 0xFFFF
cmpq %r14, %rax
jb 0x813a
movl (%rsi), %eax
cmpl (%r14), %eax
jne 0x813a
leaq 0x1(%r15), %rbp
movb $0x0, (%r15)
movl %r14d, %eax
subl %esi, %eax
movw %ax, 0x1(%r15)
leaq 0x4(%r14), %rdi
addq $0x4, %rsi
movq 0x50(%rsp), %rdx
callq 0x2e3a5
movq %rbp, %r8
leal 0x4(%rax), %ecx
addq %rcx, %r14
movl %eax, %ecx
shrl $0x8, %ecx
addq %r15, %rcx
addq $0x9, %rcx
cmpq %r13, %rcx
jbe 0x8019
jmp 0x85e6
movq %r15, (%rsp)
pushq $0x1
popq %rsi
jmp 0x7df4
cmpl $0x7e000000, %r15d      # imm = 0x7E000000
movl $0x0, %esi
ja 0x86bc
movl %ebx, 0x38(%rsp)
movl %r15d, %eax
movq 0x10(%rsp), %r9
leaq (%r9,%rax), %rcx
movq %rcx, 0x60(%rsp)
leaq -0xc(%r9,%rax), %r10
leaq -0x5(%r9,%rax), %rax
movq %rax, 0x50(%rsp)
movabsq $-0x30e4432345000000, %r11 # imm = 0xCF1BBCDCBB000000
movl %r12d, %ecx
shll $0x6, %ecx
incl %ecx
andl $0x3ffffff, %r12d       # imm = 0x3FFFFFF
leaq 0x2(%r9), %rax
movq %r9, %r14
movq %rdx, 0x40(%rsp)
movq %rdx, %r15
movq %r10, 0x48(%rsp)
movl %r12d, 0x3c(%rsp)
movq %r13, 0x28(%rsp)
movl %ecx, 0x58(%rsp)
movq %r15, (%rsp)
leaq 0x1(%r14), %r15
movq 0x1(%r14), %rdx
movl %r12d, %esi
movq %rax, %rdi
imulq %r11, %rdx
movq %rdx, %rax
shrq $0x34, %rax
movl 0x68(%rsp,%rax,4), %r13d
movq (%rdi), %rdx
movl %r15d, %r8d
subl %r9d, %r8d
movl %r8d, 0x68(%rsp,%rax,4)
leaq (%r9,%r13), %rax
addq $0xffff, %rax           # imm = 0xFFFF
cmpq %r15, %rax
jb 0x8201
leaq (%r9,%r13), %rbx
movl (%rbx), %eax
cmpl (%r15), %eax
je 0x821f
movl %esi, %eax
addq %rdi, %rax
leal 0x1(%rcx), %r8d
shrl $0x6, %ecx
movl %ecx, %esi
movl %r8d, %ecx
movq %rdi, %r15
cmpq %r10, %rax
jbe 0x81c6
jmp 0x8525
movl %r15d, %eax
subl %r14d, %eax
leal -0xf(%rax), %edx
movq %rax, 0x8(%rsp)
addl $0xfffffef2, %eax       # imm = 0xFFFFFEF2
movl %eax, 0x34(%rsp)
movl %r15d, %eax
shlb $0x4, %al
movl %r14d, %ecx
shlb $0x4, %cl
subb %cl, %al
xorl %ecx, %ecx
movl %edx, 0x18(%rsp)
movl %edx, %ebp
movq %rcx, %r12
movl %eax, %r8d
leaq (%rbx,%rcx), %rax
leaq (%r15,%rcx), %r10
cmpq %r9, %rax
jbe 0x827c
cmpq %r14, %r10
jbe 0x827c
movb -0x1(%r15,%r12), %dil
leal -0x1(%rbp), %edx
leaq -0x1(%r12), %rcx
leal -0x10(%r8), %eax
cmpb -0x1(%rbx,%r12), %dil
je 0x824a
movq %r10, 0x20(%rsp)
movl %r15d, %eax
subl %r14d, %eax
leal (%r12,%rax), %r11d
movq 0x8(%rsp), %rax
leaq (%rax,%r12), %rcx
movq (%rsp), %rax
movq %rax, %rsi
leaq (%rax,%r11), %rdi
incq %rdi
movl %ecx, %eax
xorl %edx, %edx
movl $0xff, %r10d
divl %r10d
addq %rdi, %rax
addq $0x8, %rax
cmpq 0x28(%rsp), %rax
ja 0x85e6
movq %rsi, %rdx
leaq 0x1(%rsi), %rdi
cmpl $0xf, %ecx
jb 0x8369
movl 0x18(%rsp), %eax
addq %r12, %rax
movb $-0x10, (%rdx)
cmpl $0xfe, %eax
jle 0x835d
movq 0x8(%rsp), %rsi
addl $0xef, %esi
movq %rsi, 0x8(%rsp)
movl $0x1fd, %eax            # imm = 0x1FD
cmpl %eax, %ebp
movl $0x1fd, %ecx            # imm = 0x1FD
cmovbl %ebp, %ecx
cmovgel %eax, %ebp
movl %esi, %eax
subl %ecx, %eax
addl %r12d, %eax
xorl %edx, %edx
movl $0xff, %ecx
divl %ecx
leal 0x1(%rax), %edx
movl $0xff, %esi
movq %r11, 0x18(%rsp)
callq 0x62d0
movq 0x18(%rsp), %r11
movq 0x10(%rsp), %r9
movq 0x8(%rsp), %rax
subl %ebp, %eax
addl %r12d, %eax
movq %rax, %rcx
xorl %edx, %edx
movl $0xff, %esi
divl %esi
subl %ecx, %edx
movq (%rsp), %rcx
leaq (%rcx,%rax), %rdi
addq $0x2, %rdi
movl 0x34(%rsp), %eax
addl %r12d, %eax
addl %edx, %eax
movq 0x20(%rsp), %r8
movb %al, (%rdi)
incq %rdi
jmp 0x8371
movb %r8b, (%rdx)
movq 0x20(%rsp), %r8
addq %rdi, %r11
movq (%r14), %rax
movq %rax, (%rdi)
addq $0x8, %rdi
addq $0x8, %r14
cmpq %r11, %rdi
jb 0x8374
addl %r9d, %r13d
movl %r8d, %ecx
subl %r12d, %ecx
subl %r13d, %ecx
movw %cx, (%r11)
leaq (%r15,%r12), %rdi
addq $0x4, %rdi
leaq 0x4(%r12,%rbx), %rsi
movq 0x50(%rsp), %rdx
movq %r11, %rbx
movq %r8, %r14
callq 0x2e3a5
movl %eax, %ecx
shrl $0x8, %ecx
addq %rbx, %rcx
addq $0x8, %rcx
movq 0x28(%rsp), %r13
cmpq %r13, %rcx
ja 0x85e6
movq %rbx, %r8
movl %eax, %ecx
addl $0x4, %ecx
addq %rcx, %r14
movl 0x3c(%rsp), %r12d
movq (%rsp), %r15
leaq 0x2(%r8), %rcx
movb (%r15), %dl
cmpl $0xf, %eax
jb 0x845d
addb $0xf, %dl
movb %dl, (%r15)
leal -0xf(%rax), %ebx
orl $-0x1, (%rcx)
cmpl $0x3fc, %ebx            # imm = 0x3FC
jb 0x8442
addl $0xfffffbf5, %eax       # imm = 0xFFFFFBF5
xorl %edx, %edx
movl $0x3fc, %ecx            # imm = 0x3FC
divl %ecx
movl %eax, %r15d
movl %edx, %ebx
leaq 0x6(%r8), %rdi
shll $0x2, %r15d
leaq 0x4(%r15), %rdx
movl $0xff, %esi
movq %r13, %rbp
movl %r12d, %r13d
movq %r8, %r12
callq 0x62d0
leaq (%r12,%r15), %rcx
addq $0x6, %rcx
movl %r13d, %r12d
movq %rbp, %r13
movl %ebx, %eax
xorl %edx, %edx
movw $0xff, %si
divw %si
movzwl %ax, %eax
leaq (%rcx,%rax), %r15
incq %r15
movb %dl, -0x1(%r15)
jmp 0x8465
addb %al, %dl
movb %dl, (%r15)
movq %rcx, %r15
movq 0x10(%rsp), %r9
movq 0x48(%rsp), %r10
movabsq $-0x30e4432345000000, %r11 # imm = 0xCF1BBCDCBB000000
cmpq %r10, %r14
ja 0x8529
leaq -0x2(%r14), %rax
movq -0x2(%r14), %rcx
imulq %r11, %rcx
shrq $0x34, %rcx
subl %r9d, %eax
movl %eax, 0x68(%rsp,%rcx,4)
movq (%r14), %rax
imulq %r11, %rax
shrq $0x34, %rax
movl 0x68(%rsp,%rax,4), %esi
movl %r14d, %ecx
subl %r9d, %ecx
movl %ecx, 0x68(%rsp,%rax,4)
leaq (%r9,%rsi), %rax
addq $0xffff, %rax           # imm = 0xFFFF
cmpq %r14, %rax
jb 0x8512
addq %r9, %rsi
movl (%rsi), %eax
cmpl (%r14), %eax
jne 0x8512
leaq 0x1(%r15), %rbx
movb $0x0, (%r15)
movl %r14d, %eax
subl %esi, %eax
movw %ax, 0x1(%r15)
leaq 0x4(%r14), %rdi
addq $0x4, %rsi
movq 0x50(%rsp), %rdx
callq 0x2e3a5
movq %rbx, %r8
leal 0x4(%rax), %ecx
addq %rcx, %r14
movl %eax, %ecx
shrl $0x8, %ecx
addq %r15, %rcx
addq $0x9, %rcx
cmpq %r13, %rcx
jbe 0x83e2
jmp 0x85e6
leaq 0x2(%r14), %rax
cmpq %r10, %rax
movl 0x58(%rsp), %ecx
jbe 0x81b7
jmp 0x8529
movq (%rsp), %r15
movq 0x60(%rsp), %rbx
subq %r14, %rbx
leaq 0xf0(%rbx), %rax
xorl %esi, %esi
movl $0xff, %ecx
xorl %edx, %edx
divq %rcx
movq %r15, %rcx
subq 0x40(%rsp), %rcx
addq %rbx, %rcx
addq %rcx, %rax
incq %rax
movl 0x38(%rsp), %ecx
cmpq %rcx, %rax
ja 0x86bc
cmpq $0xf, %rbx
jb 0x85c0
leaq -0xf(%rbx), %rax
movb $-0x10, (%r15)
leaq 0x1(%r15), %rdi
cmpq $0xff, %rax
jb 0x85b9
leaq -0x10e(%rbx), %rax
movl $0xff, %ecx
xorl %edx, %edx
divq %rcx
movq %r15, %r12
movq %rax, %r15
leaq 0x1(%rax), %rdx
movl $0xff, %esi
callq 0x62d0
imulq $-0xff, %r15, %rax
addq %rbx, %rax
addq $-0x10e, %rax           # imm = 0xFEF2
leaq (%r15,%r12), %rdi
addq $0x2, %rdi
movb %al, (%rdi)
movq %rdi, %r15
jmp 0x85c8
movl %ebx, %eax
shlb $0x4, %al
movb %al, (%r15)
incq %r15
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x63f0
addl %ebx, %r15d
subl 0x40(%rsp), %r15d
jmp 0x86b9
xorl %esi, %esi
jmp 0x86bc
movq (%rsp), %r15
movq 0x58(%rsp), %rcx
movq 0x40(%rsp), %rdx
addq %rcx, %r9
subq %r14, %r9
leaq 0xf0(%r9), %rax
movl $0xff, %ecx
movq %rdx, %r13
xorl %edx, %edx
divq %rcx
movq %r15, %rcx
subq %r13, %rcx
addq %r9, %rcx
xorl %esi, %esi
addq %rcx, %rax
incq %rax
movl 0x38(%rsp), %ecx
cmpq %rcx, %rax
ja 0x86bc
movq %r9, %rbx
movq %r9, %rdx
cmpq $0xf, %rbx
jb 0x869a
leaq -0xf(%rdx), %rax
movb $-0x10, (%r15)
leaq 0x1(%r15), %rdi
cmpq $0xff, %rax
jb 0x8693
leaq -0x10e(%rdx), %rax
movl $0xff, %ecx
xorl %edx, %edx
divq %rcx
movq %r15, %r12
movq %rax, %r15
leaq 0x1(%rax), %rdx
movl $0xff, %esi
callq 0x62d0
movq %rbx, %rdx
imulq $-0xff, %r15, %rax
addq %rbx, %rax
addq $-0x10e, %rax           # imm = 0xFEF2
leaq (%r15,%r12), %rdi
addq $0x2, %rdi
movb %al, (%rdi)
movq %rdi, %r15
jmp 0x86a2
movl %edx, %eax
shlb $0x4, %al
movb %al, (%r15)
incq %r15
movq %r15, %rdi
movq %r14, %rsi
movq %rdx, %rbx
callq 0x63f0
addl %ebx, %r15d
subl %r13d, %r15d
movl %r15d, %esi
movl %esi, %eax
addq $0x4088, %rsp           # imm = 0x4088
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq