// File: /workspace/github_c_makefile_star2_O3/samtools[P]htslib/htscodecs/htscodecs/rANS_static4x16pr.c
// Function: rans_compress_O0_4x16
unsigned char *rans_compress_O0_4x16(unsigned char *in, unsigned int in_size,
                                     unsigned char *out, unsigned int *out_size) {
    unsigned char *cp, *out_end;
    RansEncSymbol syms[256];
    RansState rans0;
    RansState rans2;
    RansState rans1;
    RansState rans3;
    uint8_t* ptr;
    uint32_t F[256+MAGIC] = {0};
    int i, j, tab_size = 0, rle, x;
    // -20 for order/size/meta
    uint32_t bound = rans_compress_bound_4x16(in_size,0)-20;

    if (!out) {
        *out_size = bound;
        out = malloc(*out_size);
    }
    if (!out || bound > *out_size)
        return NULL;

    // If "out" isn't word aligned, tweak out_end/ptr to ensure it is.
    // We already added more round in bound to allow for this.
    if (((size_t)out)&1)
        bound--;
    ptr = out_end = out + bound;

    if (in_size == 0)
        goto empty;

    // Compute statistics
    if (hist8(in, in_size, F) < 0)
        return NULL;

    // Normalise so frequences sum to power of 2
    uint32_t fsum = in_size;
    uint32_t max_val = round2(fsum);
    if (max_val > TOTFREQ)
        max_val = TOTFREQ;

    if (normalise_freq(F, fsum, max_val) < 0)
        return NULL;
    fsum=max_val;

    cp = out;
    cp += encode_freq(cp, F);
    tab_size = cp-out;
    //write(2, out+4, cp-(out+4));

    if (normalise_freq(F, fsum, TOTFREQ) < 0)
        return NULL;

    // Encode statistics.
    for (x = rle = j = 0; j < 256; j++) {
        if (F[j]) {
            RansEncSymbolInit(&syms[j], x, F[j], TF_SHIFT);
            x += F[j];
        }
    }

    RansEncInit(&rans0);
    RansEncInit(&rans1);
    RansEncInit(&rans2);
    RansEncInit(&rans3);

    switch (i=(in_size&3)) {
    case 3: RansEncPutSymbol(&rans2, &ptr, &syms[in[in_size-(i-2)]]);
        // fall-through
    case 2: RansEncPutSymbol(&rans1, &ptr, &syms[in[in_size-(i-1)]]);
        // fall-through
    case 1: RansEncPutSymbol(&rans0, &ptr, &syms[in[in_size-(i-0)]]);
        // fall-through
    case 0:
        break;
    }
    for (i=(in_size &~3); i>0; i-=4) {
        RansEncSymbol *s3 = &syms[in[i-1]];
        RansEncSymbol *s2 = &syms[in[i-2]];
        RansEncSymbol *s1 = &syms[in[i-3]];
        RansEncSymbol *s0 = &syms[in[i-4]];

#if 1
        RansEncPutSymbol(&rans3, &ptr, s3);
        RansEncPutSymbol(&rans2, &ptr, s2);
        RansEncPutSymbol(&rans1, &ptr, s1);
        RansEncPutSymbol(&rans0, &ptr, s0);
#else
        // Slightly beter on gcc, much better on clang
        uint16_t *ptr16 = (uint16_t *)ptr;

        if (rans3 >= s3->x_max) *--ptr16 = (uint16_t)rans3, rans3 >>= 16;
        if (rans2 >= s2->x_max) *--ptr16 = (uint16_t)rans2, rans2 >>= 16;
        uint32_t q3 = (uint32_t) (((uint64_t)rans3 * s3->rcp_freq) >> s3->rcp_shift);
        uint32_t q2 = (uint32_t) (((uint64_t)rans2 * s2->rcp_freq) >> s2->rcp_shift);
        rans3 += s3->bias + q3 * s3->cmpl_freq;
        rans2 += s2->bias + q2 * s2->cmpl_freq;

        if (rans1 >= s1->x_max) *--ptr16 = (uint16_t)rans1, rans1 >>= 16;
        if (rans0 >= s0->x_max) *--ptr16 = (uint16_t)rans0, rans0 >>= 16;
        uint32_t q1 = (uint32_t) (((uint64_t)rans1 * s1->rcp_freq) >> s1->rcp_shift);
        uint32_t q0 = (uint32_t) (((uint64_t)rans0 * s0->rcp_freq) >> s0->rcp_shift);
        rans1 += s1->bias + q1 * s1->cmpl_freq;
        rans0 += s0->bias + q0 * s0->cmpl_freq;

        ptr = (uint8_t *)ptr16;
#endif
    }

    RansEncFlush(&rans3, &ptr);
    RansEncFlush(&rans2, &ptr);
    RansEncFlush(&rans1, &ptr);
    RansEncFlush(&rans0, &ptr);

 empty:
    // Finalise block size and return it
    *out_size = (out_end - ptr) + tab_size;

    memmove(out + tab_size, ptr, out_end-ptr);

    return out;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1c88, %rsp           # imm = 0x1C88
movq %rcx, %r14
movq %rdx, %rbx
movl %esi, %r15d
movq %rdi, %r12
leaq 0x20(%rsp), %rdi
movl $0x420, %edx            # imm = 0x420
xorl %esi, %esi
callq 0x4260
movq %rbx, %rax
movq %r15, 0x10(%rsp)
movl %r15d, %ebp
cvtsi2sd %rbp, %xmm0
mulsd 0x38e8d(%rip), %xmm0    # 0x9ada8
addsd 0x39af5(%rip), %xmm0    # 0x9ba18
addsd 0x39ae5(%rip), %xmm0    # 0x9ba10
addsd 0x39e85(%rip), %xmm0    # 0x9bdb8
cvttsd2si %xmm0, %r13
movl %r13d, %r15d
andl $0x1, %r15d
leal (%r15,%r13), %ebx
addl $-0x12, %ebx
testq %rax, %rax
je 0x61f55
cmpl (%r14), %ebx
jbe 0x61f68
jmp 0x62671
movl %ebx, (%r14)
movl %ebx, %edi
callq 0x4680
testq %rax, %rax
je 0x62671
addl %r13d, %r15d
addl $0x2, %r15d
addl $-0x15, %r15d
testb $0x1, %al
cmovel %ebx, %r15d
addq %rax, %r15
movq 0x10(%rsp), %rcx
testl %ecx, %ecx
je 0x62084
movq %rax, 0x8(%rsp)
movq %r14, 0x18(%rsp)
cmpl $0x7a121, %ecx          # imm = 0x7A121
movq %rcx, %r14
jb 0x6208e
movl $0x3006f, %edi          # imm = 0x3006F
movl $0x4, %esi
callq 0x7e245
xorl %ecx, %ecx
testq %rax, %rax
je 0x62671
movl %r14d, %edx
andl $-0x10, %edx
je 0x62030
movl %edx, %edx
xorl %ecx, %ecx
movzwl (%r12,%rcx), %esi
movzwl 0x2(%r12,%rcx), %edi
movzwl 0x4(%r12,%rcx), %r8d
movzwl 0x6(%r12,%rcx), %r9d
incl (%rax,%rsi,4)
incl 0x40094(%rax,%rdi,4)
incl 0x80128(%rax,%r8,4)
incl (%rax,%r9,4)
movzwl 0x8(%r12,%rcx), %esi
movzwl 0xa(%r12,%rcx), %edi
movzwl 0xc(%r12,%rcx), %r8d
movzwl 0xe(%r12,%rcx), %r9d
incl 0x40094(%rax,%rsi,4)
incl (%rax,%rdi,4)
incl 0x40094(%rax,%r8,4)
incl 0x80128(%rax,%r9,4)
addq $0x10, %rcx
cmpq %rdx, %rcx
jb 0x61fc8
cmpl %r14d, %ecx
jae 0x62048
movl %ecx, %ecx
movzbl (%r12,%rcx), %edx
incq %rcx
incl 0x20(%rsp,%rdx,4)
cmpq %rcx, %rbp
jne 0x62037
xorl %ecx, %ecx
movl 0x40094(%rax,%rcx,4), %edx
addl (%rax,%rcx,4), %edx
addl 0x80128(%rax,%rcx,4), %edx
movzbl %cl, %esi
addl %edx, 0x20(%rsp,%rsi,4)
movl %ecx, %esi
shrl $0x8, %esi
addl %edx, 0x20(%rsp,%rsi,4)
incq %rcx
cmpq $0x10000, %rcx          # imm = 0x10000
jne 0x6204a
movq %rax, %rdi
callq 0x7e26a
jmp 0x62191
xorl %edi, %edi
movq %r15, %rsi
jmp 0x6298e
leaq 0x440(%rsp), %rdi
xorl %ebx, %ebx
movl $0x420, %edx            # imm = 0x420
xorl %esi, %esi
callq 0x4260
leaq 0x1860(%rsp), %rdi
movl $0x420, %edx            # imm = 0x420
xorl %esi, %esi
callq 0x4260
leaq 0x1440(%rsp), %rdi
movl $0x420, %edx            # imm = 0x420
xorl %esi, %esi
callq 0x4260
movl %r14d, %eax
andl $0x7fff8, %eax          # imm = 0x7FFF8
je 0x62144
movl %eax, %eax
xorl %ebx, %ebx
movzbl (%r12,%rbx), %ecx
incl 0x20(%rsp,%rcx,4)
movzbl 0x1(%r12,%rbx), %ecx
incl 0x440(%rsp,%rcx,4)
movzbl 0x2(%r12,%rbx), %ecx
incl 0x1860(%rsp,%rcx,4)
movzbl 0x3(%r12,%rbx), %ecx
incl 0x1440(%rsp,%rcx,4)
movzbl 0x4(%r12,%rbx), %ecx
incl 0x20(%rsp,%rcx,4)
movzbl 0x5(%r12,%rbx), %ecx
incl 0x440(%rsp,%rcx,4)
movzbl 0x6(%r12,%rbx), %ecx
incl 0x1860(%rsp,%rcx,4)
movzbl 0x7(%r12,%rbx), %ecx
incl 0x1440(%rsp,%rcx,4)
addq $0x8, %rbx
cmpq %rax, %rbx
jb 0x620da
cmpl %r14d, %ebx
jae 0x6215c
movl %ebx, %eax
movzbl (%r12,%rax), %ecx
incq %rax
incl 0x20(%rsp,%rcx,4)
cmpq %rax, %rbp
jne 0x6214b
xorl %eax, %eax
movdqa 0x1860(%rsp,%rax,4), %xmm0
paddd 0x440(%rsp,%rax,4), %xmm0
paddd 0x1440(%rsp,%rax,4), %xmm0
paddd 0x20(%rsp,%rax,4), %xmm0
movdqa %xmm0, 0x20(%rsp,%rax,4)
addq $0x4, %rax
cmpq $0x100, %rax            # imm = 0x100
jne 0x6215e
leal -0x1(%r14), %r8d
movl %r8d, %eax
shrl %eax
orl %r8d, %eax
movl %eax, %ecx
shrl $0x2, %ecx
orl %eax, %ecx
movl %ecx, %eax
shrl $0x4, %eax
orl %ecx, %eax
movl %eax, %ecx
shrl $0x8, %ecx
orl %eax, %ecx
movl %ecx, %r10d
shrl $0x10, %r10d
orl %ecx, %r10d
incl %r10d
movl $0x1000, %r9d           # imm = 0x1000
cmpl %r9d, %r10d
cmovbl %r10d, %r9d
movq %r9, %rcx
shlq $0x1f, %rcx
movb $0x1, %dil
movl $0x1, %r11d
movl %r14d, %esi
movslq %esi, %r13
xorl %ebx, %ebx
movq %rcx, %rax
xorl %edx, %edx
divq %r13
movq %rax, %rsi
movl $0x40000000, %eax       # imm = 0x40000000
xorl %edx, %edx
idivl %r13d
movslq %eax, %rdx
addq %rsi, %rdx
xorl %esi, %esi
xorl %ebp, %ebp
xorl %eax, %eax
movl 0x20(%rsp,%rbx,4), %r13d
testq %r13, %r13
je 0x62234
cmpl %r13d, %ebp
cmovbl %ebx, %eax
cmovbel %r13d, %ebp
imulq %rdx, %r13
shrq $0x1f, %r13
cmpl $0x2, %r13d
cmovbl %r11d, %r13d
movl %r13d, 0x20(%rsp,%rbx,4)
addl %esi, %r13d
movl %r13d, %esi
incq %rbx
cmpq $0x100, %rbx            # imm = 0x100
jne 0x62205
movl %r9d, %edx
subl %esi, %edx
cltq
testl %edx, %edx
jg 0x622c2
jns 0x622cc
movl 0x20(%rsp,%rax,4), %ebx
movl %edx, %ebp
negl %ebp
cmpl %ebp, %ebx
jbe 0x6226b
movl %ebx, %r13d
shrl %r13d
cmpl %ebp, %r13d
setb %bpl
testb %bpl, %dil
je 0x622c6
testb $0x1, %dil
movl $0x0, %edi
jne 0x621df
addl %ebx, %edx
movl $0x1, 0x20(%rsp,%rax,4)
decl %edx
je 0x622cc
xorl %ecx, %ecx
movl 0x20(%rsp,%rcx,4), %esi
cmpl $0x2, %esi
jb 0x622b0
movl %edx, %edi
negl %edi
movl $0x1, %r11d
subl %esi, %r11d
cmpl %edi, %esi
cmoval %edx, %r11d
addl %r11d, %esi
movl %esi, 0x20(%rsp,%rcx,4)
subl %r11d, %edx
cmpq $0xfe, %rcx
ja 0x622cc
incq %rcx
testl %edx, %edx
jne 0x6228a
jmp 0x622cc
movl 0x20(%rsp,%rax,4), %ebx
addl %edx, %ebx
movl %ebx, 0x20(%rsp,%rax,4)
xorl %edx, %edx
cmpl $0x0, 0x20(%rsp,%rax,4)
je 0x62671
movl $0x1, %eax
xorl %ecx, %ecx
movq 0x8(%rsp), %rdi
movq %rdi, %rsi
cmpl $0x0, 0x20(%rsp,%rcx,4)
je 0x622f5
testl %edx, %edx
je 0x62309
decl %edx
movq %rsi, %rdi
incq %rcx
incq %rax
cmpq $0x100, %rcx            # imm = 0x100
jne 0x622e5
jmp 0x62351
leaq 0x1(%rsi), %rdi
movb %cl, (%rsi)
xorl %edx, %edx
testq %rcx, %rcx
je 0x622f8
cmpl $0x0, 0x1c(%rsp,%rcx,4)
je 0x622f8
leal 0x1(%rcx), %edi
movl %edi, %edx
cmpq $0xfe, %rcx
ja 0x62346
movq %rax, %rdx
cmpl $0x0, 0x20(%rsp,%rdx,4)
je 0x62346
incq %rdx
cmpq $0x100, %rdx            # imm = 0x100
jne 0x6232e
movl $0x100, %edx            # imm = 0x100
subl %edi, %edx
movb %dl, 0x1(%rsi)
addq $0x2, %rsi
jmp 0x622f5
movb $0x0, (%rdi)
movq 0x8(%rsp), %rax
subl %eax, %edi
incl %edi
movslq %edi, %rdi
addq %rax, %rdi
xorl %eax, %eax
movl 0x20(%rsp,%rax,4), %ecx
testl %ecx, %ecx
je 0x62436
cmpl $0x7f, %ecx
ja 0x62382
movb %cl, (%rdi)
movl $0x1, %ecx
jmp 0x62433
movl %ecx, %edx
cmpl $0x3fff, %ecx           # imm = 0x3FFF
ja 0x623a4
shrl $0x7, %edx
orb $-0x80, %dl
movb %dl, (%rdi)
andb $0x7f, %cl
movb %cl, 0x1(%rdi)
movl $0x2, %ecx
jmp 0x62433
cmpl $0x1fffff, %ecx         # imm = 0x1FFFFF
ja 0x623cc
shrl $0xe, %edx
orb $-0x80, %dl
movb %dl, (%rdi)
movl %ecx, %edx
shrl $0x7, %edx
orb $-0x80, %dl
movb %dl, 0x1(%rdi)
andb $0x7f, %cl
movb %cl, 0x2(%rdi)
movl $0x3, %ecx
jmp 0x62433
cmpl $0xfffffff, %ecx        # imm = 0xFFFFFFF
ja 0x623ff
shrl $0x15, %edx
orb $-0x80, %dl
movb %dl, (%rdi)
movl %ecx, %edx
shrl $0xe, %edx
orb $-0x80, %dl
movb %dl, 0x1(%rdi)
movl %ecx, %edx
shrl $0x7, %edx
orb $-0x80, %dl
movb %dl, 0x2(%rdi)
andb $0x7f, %cl
movb %cl, 0x3(%rdi)
movl $0x4, %ecx
jmp 0x62433
shrl $0x1c, %edx
orb $-0x80, %dl
movb %dl, (%rdi)
movl %ecx, %edx
shrl $0x15, %edx
orb $-0x80, %dl
movb %dl, 0x1(%rdi)
movl %ecx, %edx
shrl $0xe, %edx
orb $-0x80, %dl
movb %dl, 0x2(%rdi)
movl %ecx, %edx
shrl $0x7, %edx
orb $-0x80, %dl
movb %dl, 0x3(%rdi)
andb $0x7f, %cl
movb %cl, 0x4(%rdi)
movl $0x5, %ecx
addq %rcx, %rdi
incq %rax
cmpq $0x100, %rax            # imm = 0x100
jne 0x62365
testl %r10d, %r10d
je 0x62569
movb $0x1, %r10b
movabsq $0x80000000000, %rcx    # imm = 0x80000000000
movl $0x1, %r11d
movslq %r9d, %r9
xorl %ebx, %ebx
movq %rcx, %rax
xorl %edx, %edx
divq %r9
movq %rax, %rsi
movl $0x40000000, %eax       # imm = 0x40000000
xorl %edx, %edx
idivl %r9d
movslq %eax, %rdx
addq %rsi, %rdx
xorl %r9d, %r9d
xorl %esi, %esi
xorl %eax, %eax
movl 0x20(%rsp,%rbx,4), %r13d
testq %r13, %r13
je 0x624b7
cmpl %r13d, %esi
cmovbl %ebx, %eax
cmovbel %r13d, %esi
imulq %rdx, %r13
shrq $0x1f, %r13
cmpl $0x2, %r13d
cmovbl %r11d, %r13d
movl %r13d, 0x20(%rsp,%rbx,4)
addl %r9d, %r13d
movl %r13d, %r9d
incq %rbx
cmpq $0x100, %rbx            # imm = 0x100
jne 0x62488
leal -0x1000(%r9), %ebx
movl $0x1000, %esi           # imm = 0x1000
subl %r9d, %esi
cltq
testl %esi, %esi
jg 0x62554
jns 0x6255e
movl 0x20(%rsp,%rax,4), %edx
cmpl %ebx, %edx
jbe 0x624f4
movl %edx, %ebp
shrl %ebp
cmpl %ebx, %ebp
setb %bl
testb %bl, %r10b
je 0x62558
testb $0x1, %r10b
movl $0x0, %r10d
jne 0x62461
subl %r9d, %edx
movl $0x1, 0x20(%rsp,%rax,4)
addl $0xfff, %edx            # imm = 0xFFF
je 0x6255e
xorl %ecx, %ecx
movl 0x20(%rsp,%rcx,4), %esi
cmpl $0x2, %esi
jb 0x62542
movl %edx, %r9d
negl %r9d
movl $0x1, %r10d
subl %esi, %r10d
cmpl %r9d, %esi
cmoval %edx, %r10d
addl %r10d, %esi
movl %esi, 0x20(%rsp,%rcx,4)
subl %r10d, %edx
cmpq $0xfe, %rcx
ja 0x6255e
incq %rcx
testl %edx, %edx
jne 0x62519
jmp 0x6255e
movl 0x20(%rsp,%rax,4), %edx
addl %esi, %edx
movl %edx, 0x20(%rsp,%rax,4)
cmpl $0x0, 0x20(%rsp,%rax,4)
je 0x62671
subq 0x8(%rsp), %rdi
xorl %r9d, %r9d
xorl %r10d, %r10d
movl 0x20(%rsp,%r9,4), %r11d
testq %r11, %r11
je 0x62621
cmpl $0x1001, %r10d          # imm = 0x1001
jae 0x629bb
movl $0x1000, %eax           # imm = 0x1000
subl %r10d, %eax
cmpl %r11d, %eax
jb 0x629da
movq %r9, %rax
shlq $0x4, %rax
leaq (%rsp,%rax), %rbx
addq $0x440, %rbx            # imm = 0x440
movl $0x1000, %eax           # imm = 0x1000
subl %r11d, %eax
movl %r11d, %ecx
shll $0x13, %ecx
decl %ecx
movl %ecx, (%rbx)
movw %ax, 0xc(%rbx)
cmpq $0x1, %r11
jne 0x625e5
movl $0xffffffff, 0x4(%rbx)  # imm = 0xFFFFFFFF
leal 0xfff(%r10), %eax
movl %eax, 0x8(%rbx)
movw $0x20, %si
jmp 0x62617
movl $0x1e, %esi
leal -0x1e(%rsi), %ecx
movl $0x1, %eax
shll %cl, %eax
incl %esi
cmpl %r11d, %eax
jb 0x625ea
movl $0x1, %eax
movl %esi, %ecx
shlq %cl, %rax
addq %r11, %rax
decq %rax
xorl %edx, %edx
divq %r11
movl %eax, 0x4(%rbx)
movl %r10d, 0x8(%rbx)
movw %si, 0xe(%rbx)
addl %r10d, %r11d
movl %r11d, %r10d
incq %r9
cmpq $0x100, %r9             # imm = 0x100
jne 0x62574
movl %r14d, %r9d
andl $0x3, %r9d
movl $0x8000, %esi           # imm = 0x8000
leaq 0x39784(%rip), %rax     # 0x9bdc8
movslq (%rax,%r9,4), %rcx
addq %rax, %rcx
movl $0x8000, %r10d          # imm = 0x8000
movq %r15, %rax
movl $0x8000, %edx           # imm = 0x8000
movl $0x8000, %ebx           # imm = 0x8000
jmpq *%rcx
andl $-0x4, %r14d
movl $0x8000, %ecx           # imm = 0x8000
movq %r15, %rax
jmp 0x6279a
xorl %eax, %eax
jmp 0x629a9
movl %r8d, %eax
movzbl (%r12,%rax), %edx
shll $0x4, %edx
movl $0x8000, %r8d           # imm = 0x8000
xorl %ecx, %ecx
cmpl %r8d, 0x440(%rsp,%rdx)
setb %cl
leal (%rcx,%rcx), %r10d
shll $0x4, %ecx
shrl %cl, %r8d
movw $0x8000, -0x2(%r15)     # imm = 0x8000
movl 0x444(%rsp,%rdx), %r11d
imulq %r8, %r11
movb 0x44e(%rsp,%rdx), %cl
shrq %cl, %r11
movq %r15, %rax
addl 0x448(%rsp,%rdx), %r8d
subq %r10, %rax
movzwl 0x44c(%rsp,%rdx), %r10d
imull %r11d, %r10d
addl %r8d, %r10d
movl %r14d, %ecx
subl %r9d, %ecx
incl %ecx
movzbl (%r12,%rcx), %edx
shll $0x4, %edx
xorl %ecx, %ecx
cmpl %esi, 0x440(%rsp,%rdx)
setb %cl
leal (%rcx,%rcx), %r8d
shll $0x4, %ecx
movl $0x8000, %r9d           # imm = 0x8000
shrl %cl, %r9d
movw $0x8000, -0x2(%rax)     # imm = 0x8000
movl 0x444(%rsp,%rdx), %r11d
imulq %r9, %r11
movb 0x44e(%rsp,%rdx), %cl
shrq %cl, %r11
subq %r8, %rax
addl 0x448(%rsp,%rdx), %r9d
movzwl 0x44c(%rsp,%rdx), %ebx
imull %r11d, %ebx
addl %r9d, %ebx
movl %r10d, %edx
andl $-0x4, %r14d
movzbl (%r12,%r14), %r8d
shll $0x4, %r8d
xorl %ecx, %ecx
cmpl %esi, 0x440(%rsp,%r8)
setb %cl
leal (%rcx,%rcx), %r9d
shll $0x4, %ecx
shrl %cl, %esi
movw $0x8000, -0x2(%rax)     # imm = 0x8000
movl 0x444(%rsp,%r8), %r10d
imulq %rsi, %r10
movb 0x44e(%rsp,%r8), %cl
shrq %cl, %r10
addl 0x448(%rsp,%r8), %esi
subq %r9, %rax
movzwl 0x44c(%rsp,%r8), %ecx
imull %r10d, %ecx
addl %esi, %ecx
movq %r15, 0x10(%rsp)
testl %r14d, %r14d
jle 0x62931
movl %r14d, %esi
addq $0x4, %rsi
movl $0x8000, %ebp           # imm = 0x8000
movl %ebx, %r9d
movl %edx, %r13d
movl %ecx, %r8d
movzbl -0x5(%r12,%rsi), %r11d
shll $0x4, %r11d
movzbl -0x6(%r12,%rsi), %edx
shll $0x4, %edx
movzbl -0x7(%r12,%rsi), %ebx
shll $0x4, %ebx
movzbl -0x8(%r12,%rsi), %r10d
shll $0x4, %r10d
xorl %ecx, %ecx
cmpl 0x440(%rsp,%r11), %ebp
seta %cl
leal (%rcx,%rcx), %r15d
movw %bp, -0x2(%rax)
shll $0x4, %ecx
shrl %cl, %ebp
movl 0x444(%rsp,%r11), %r14d
imulq %rbp, %r14
movb 0x44e(%rsp,%r11), %cl
shrq %cl, %r14
subq %r15, %rax
addl 0x448(%rsp,%r11), %ebp
movzwl 0x44c(%rsp,%r11), %r11d
imull %r14d, %r11d
addl %ebp, %r11d
xorl %ecx, %ecx
cmpl 0x440(%rsp,%rdx), %r13d
seta %cl
leal (%rcx,%rcx), %r14d
movw %r13w, -0x2(%rax)
shll $0x4, %ecx
shrl %cl, %r13d
movl 0x444(%rsp,%rdx), %r15d
imulq %r13, %r15
movb 0x44e(%rsp,%rdx), %cl
shrq %cl, %r15
subq %r14, %rax
addl 0x448(%rsp,%rdx), %r13d
movzwl 0x44c(%rsp,%rdx), %edx
imull %r15d, %edx
addl %r13d, %edx
xorl %ecx, %ecx
cmpl 0x440(%rsp,%rbx), %r9d
seta %cl
leal (%rcx,%rcx), %r14d
movw %r9w, -0x2(%rax)
shll $0x4, %ecx
shrl %cl, %r9d
movl 0x444(%rsp,%rbx), %r15d
imulq %r9, %r15
movb 0x44e(%rsp,%rbx), %cl
shrq %cl, %r15
subq %r14, %rax
addl 0x448(%rsp,%rbx), %r9d
movzwl 0x44c(%rsp,%rbx), %ebx
imull %r15d, %ebx
addl %r9d, %ebx
xorl %ecx, %ecx
cmpl 0x440(%rsp,%r10), %r8d
seta %cl
leal (%rcx,%rcx), %r9d
movw %r8w, -0x2(%rax)
shll $0x4, %ecx
shrl %cl, %r8d
movl 0x444(%rsp,%r10), %r14d
imulq %r8, %r14
movb 0x44e(%rsp,%r10), %cl
shrq %cl, %r14
subq %r9, %rax
addl 0x448(%rsp,%r10), %r8d
movzwl 0x44c(%rsp,%r10), %ecx
imull %r14d, %ecx
addl %r8d, %ecx
addq $-0x4, %rsi
movl %r11d, %ebp
movl %ebx, %r9d
movl %edx, %r13d
movl %ecx, %r8d
cmpq $0x4, %rsi
ja 0x627bd
jmp 0x62937
movl $0x8000, %r11d          # imm = 0x8000
movl %r11d, -0x4(%rax)
movb %dl, -0x8(%rax)
movb %dh, -0x7(%rax)
movl %edx, %esi
shrl $0x10, %esi
movb %sil, -0x6(%rax)
shrl $0x18, %edx
movb %dl, -0x5(%rax)
movb %bl, -0xc(%rax)
movb %bh, -0xb(%rax)
movl %ebx, %edx
shrl $0x10, %edx
movb %dl, -0xa(%rax)
shrl $0x18, %ebx
movb %bl, -0x9(%rax)
leaq -0x10(%rax), %rsi
movb %cl, -0x10(%rax)
movb %ch, -0xf(%rax)
movl %ecx, %edx
shrl $0x10, %edx
movb %dl, -0xe(%rax)
shrl $0x18, %ecx
movb %cl, -0xd(%rax)
movslq %edi, %rdi
movq 0x8(%rsp), %rax
movq 0x18(%rsp), %r14
movq 0x10(%rsp), %r15
subq %rsi, %r15
leal (%rdi,%r15), %ecx
movl %ecx, (%r14)
addq %rax, %rdi
movq %r15, %rdx
movq %rax, %rbx
callq 0x4830
movq %rbx, %rax
addq $0x1c88, %rsp           # imm = 0x1C88
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x394f4(%rip), %rdi     # 0x9beb6
leaq 0x39487(%rip), %rsi     # 0x9be50
leaq 0x394a0(%rip), %rcx     # 0x9be70
movl $0xcc, %edx
callq 0x42f0
leaq 0x394f1(%rip), %rdi     # 0x9bed2
leaq 0x39468(%rip), %rsi     # 0x9be50
leaq 0x39481(%rip), %rcx     # 0x9be70
movl $0xcd, %edx
callq 0x42f0