// File: karel-brinda[P]ococo/ext/htslib/cram/cram_codecs.c
// Function: cram_byte_array_stop_decode_block
int cram_byte_array_stop_decode_block(cram_slice *slice, cram_codec *c,
				      cram_block *in, char *out_,
				      int *out_size) {
    cram_block *b;
    cram_block *out = (cram_block *)out_;
    char *cp, *out_cp, *cp_end;
    char stop;

    b = cram_get_block_by_id(slice, c->byte_array_stop.content_id);
    if (!b)
        return *out_size?-1:0;

    if (b->idx >= b->uncomp_size)
	return -1;
    cp = (char *)b->data + b->idx;
    cp_end = (char *)b->data + b->uncomp_size;
    out_cp = (char *)BLOCK_END(out);

    stop = c->byte_array_stop.stop;
    if (cp_end - cp < out->alloc - out->byte) {
	while (cp != cp_end && *cp != stop)
	    *out_cp++ = *cp++;
	BLOCK_SIZE(out) = out_cp - (char *)BLOCK_DATA(out);
    } else {
	char *cp_start;
	for (cp_start = cp; cp != cp_end && *cp != stop; cp++)
	    ;
	BLOCK_APPEND(out, cp_start, cp - cp_start);
	BLOCK_GROW(out, cp - cp_start);
    }

    *out_size = cp - (char *)(b->data + b->idx);
    b->idx = cp - (char *)b->data + 1;

    return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq %rcx, -0x28(%rbp)
movq %r8, -0x30(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rax
movl 0x34(%rax), %esi
callq 0x6de20
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
jne 0x7374d
movq -0x30(%rbp), %rax
movl (%rax), %edx
xorl %eax, %eax
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
cmpl $0x0, %edx
cmovnel %ecx, %eax
movl %eax, -0x4(%rbp)
jmp 0x73ac3
movq -0x38(%rbp), %rax
movl 0x1c(%rax), %eax
movq -0x38(%rbp), %rcx
cmpl 0x14(%rcx), %eax
jl 0x73769
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x73ac3
movq -0x38(%rbp), %rax
movq 0x20(%rax), %rax
movq -0x38(%rbp), %rcx
movslq 0x1c(%rcx), %rcx
addq %rcx, %rax
movq %rax, -0x48(%rbp)
movq -0x38(%rbp), %rax
movq 0x20(%rax), %rax
movq -0x38(%rbp), %rcx
movslq 0x14(%rcx), %rcx
addq %rcx, %rax
movq %rax, -0x58(%rbp)
movq -0x40(%rbp), %rax
movq 0x20(%rax), %rax
movq -0x40(%rbp), %rcx
addq 0x30(%rcx), %rax
movq %rax, -0x50(%rbp)
movq -0x18(%rbp), %rax
movb 0x30(%rax), %al
movb %al, -0x59(%rbp)
movq -0x58(%rbp), %rax
movq -0x48(%rbp), %rcx
subq %rcx, %rax
movq -0x40(%rbp), %rcx
movq 0x28(%rcx), %rcx
movq -0x40(%rbp), %rdx
subq 0x30(%rdx), %rcx
cmpq %rcx, %rax
jae 0x73842
jmp 0x737d7
movq -0x48(%rbp), %rcx
xorl %eax, %eax
cmpq -0x58(%rbp), %rcx
movb %al, -0x69(%rbp)
je 0x737f9
movq -0x48(%rbp), %rax
movsbl (%rax), %eax
movsbl -0x59(%rbp), %ecx
cmpl %ecx, %eax
setne %al
movb %al, -0x69(%rbp)
movb -0x69(%rbp), %al
testb $0x1, %al
jne 0x73802
jmp 0x73826
movq -0x48(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x48(%rbp)
movb (%rax), %cl
movq -0x50(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x50(%rbp)
movb %cl, (%rax)
jmp 0x737d7
movq -0x50(%rbp), %rcx
movq -0x40(%rbp), %rax
movq 0x20(%rax), %rax
subq %rax, %rcx
movq -0x40(%rbp), %rax
movq %rcx, 0x30(%rax)
jmp 0x73a7e
movq -0x48(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x48(%rbp), %rcx
xorl %eax, %eax
cmpq -0x58(%rbp), %rcx
movb %al, -0x6a(%rbp)
je 0x7386c
movq -0x48(%rbp), %rax
movsbl (%rax), %eax
movsbl -0x59(%rbp), %ecx
cmpl %ecx, %eax
setne %al
movb %al, -0x6a(%rbp)
movb -0x6a(%rbp), %al
testb $0x1, %al
jne 0x73875
jmp 0x73885
jmp 0x73877
movq -0x48(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x48(%rbp)
jmp 0x7384a
jmp 0x73887
jmp 0x73889
jmp 0x7388b
movq -0x40(%rbp), %rax
movq 0x28(%rax), %rax
movq -0x40(%rbp), %rcx
movq 0x30(%rcx), %rcx
movq -0x48(%rbp), %rdx
movq -0x68(%rbp), %rsi
subq %rsi, %rdx
addq %rdx, %rcx
cmpq %rcx, %rax
ja 0x73962
movq -0x40(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0x738fb
movq -0x40(%rbp), %rax
movq 0x28(%rax), %xmm0
movaps 0x7213(%rip), %xmm1     # 0x7aae0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x7217(%rip), %xmm1     # 0x7aaf0
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x81e8(%rip), %xmm1     # 0x7bad8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x78(%rbp)
jmp 0x7390a
movsd 0x81cd(%rip), %xmm0     # 0x7bad0
movsd %xmm0, -0x78(%rbp)
jmp 0x7390a
movsd -0x78(%rbp), %xmm0
movsd 0x71a9(%rip), %xmm2     # 0x7aac0
movaps %xmm0, %xmm1
subsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
cvttsd2si %xmm0, %rcx
movq %rcx, %rdx
sarq $0x3f, %rdx
andq %rdx, %rax
orq %rax, %rcx
movq -0x40(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x40(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x40(%rbp), %rax
movq 0x28(%rax), %rsi
callq 0x4990
movq %rax, %rcx
movq -0x40(%rbp), %rax
movq %rcx, 0x20(%rax)
jmp 0x7388b
jmp 0x73964
movq -0x40(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x40(%rbp), %rax
addq 0x30(%rax), %rdi
movq -0x68(%rbp), %rsi
movq -0x48(%rbp), %rdx
movq -0x68(%rbp), %rax
subq %rax, %rdx
callq 0x4460
movq -0x48(%rbp), %rcx
movq -0x68(%rbp), %rax
subq %rax, %rcx
movq -0x40(%rbp), %rax
addq 0x30(%rax), %rcx
movq %rcx, 0x30(%rax)
jmp 0x739a1
jmp 0x739a3
movq -0x40(%rbp), %rax
movq 0x28(%rax), %rax
movq -0x40(%rbp), %rcx
movq 0x30(%rcx), %rcx
movq -0x48(%rbp), %rdx
movq -0x68(%rbp), %rsi
subq %rsi, %rdx
addq %rdx, %rcx
cmpq %rcx, %rax
ja 0x73a7a
movq -0x40(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0x73a13
movq -0x40(%rbp), %rax
movq 0x28(%rax), %xmm0
movaps 0x70fb(%rip), %xmm1     # 0x7aae0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x70ff(%rip), %xmm1     # 0x7aaf0
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x80d0(%rip), %xmm1     # 0x7bad8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x80(%rbp)
jmp 0x73a22
movsd 0x80b5(%rip), %xmm0     # 0x7bad0
movsd %xmm0, -0x80(%rbp)
jmp 0x73a22
movsd -0x80(%rbp), %xmm0
movsd 0x7091(%rip), %xmm2     # 0x7aac0
movaps %xmm0, %xmm1
subsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
cvttsd2si %xmm0, %rcx
movq %rcx, %rdx
sarq $0x3f, %rdx
andq %rdx, %rax
orq %rax, %rcx
movq -0x40(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x40(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x40(%rbp), %rax
movq 0x28(%rax), %rsi
callq 0x4990
movq %rax, %rcx
movq -0x40(%rbp), %rax
movq %rcx, 0x20(%rax)
jmp 0x739a3
jmp 0x73a7c
jmp 0x73a7e
movq -0x48(%rbp), %rax
movq -0x38(%rbp), %rcx
movq 0x20(%rcx), %rcx
movq -0x38(%rbp), %rdx
movslq 0x1c(%rdx), %rdx
addq %rdx, %rcx
subq %rcx, %rax
movl %eax, %ecx
movq -0x30(%rbp), %rax
movl %ecx, (%rax)
movq -0x48(%rbp), %rax
movq -0x38(%rbp), %rcx
movq 0x20(%rcx), %rcx
subq %rcx, %rax
addq $0x1, %rax
movl %eax, %ecx
movq -0x38(%rbp), %rax
movl %ecx, 0x1c(%rax)
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x80, %rsp
popq %rbp
retq
nop