// File: /workspace/github_c_makefile_star2_O0/icebert[P]pblat/htslib/cram/cram_codecs.c
// Function: cram_byte_array_len_encode_store
int cram_byte_array_len_encode_store(cram_codec *c, cram_block *b,
				     char *prefix, int version) {
    int len = 0, len2, len3;
    cram_codec *tc;
    cram_block *b_len, *b_val;

    if (prefix) {
	size_t l = strlen(prefix);
	BLOCK_APPEND(b, prefix, l);
	len += l;
    }

    tc = c->e_byte_array_len.len_codec; 
    b_len = cram_new_block(0, 0);
    len2 = tc->store(tc, b_len, NULL, version);

    tc = c->e_byte_array_len.val_codec;
    b_val = cram_new_block(0, 0);
    len3 = tc->store(tc, b_val, NULL, version);

    len += itf8_put_blk(b, c->codec);
    len += itf8_put_blk(b, len2+len3);
    BLOCK_APPEND(b, BLOCK_DATA(b_len), BLOCK_SIZE(b_len));
    BLOCK_APPEND(b, BLOCK_DATA(b_val), BLOCK_SIZE(b_val));

    cram_free_block(b_len);
    cram_free_block(b_val);

    return len + len2 + len3;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movl $0x0, -0x20(%rbp)
cmpq $0x0, -0x18(%rbp)
je 0xd25b4
movq -0x18(%rbp), %rdi
callq 0x62c0
movq %rax, -0x48(%rbp)
jmp 0xd24a8
jmp 0xd24aa
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x30(%rcx), %rcx
addq -0x48(%rbp), %rcx
cmpq %rcx, %rax
ja 0xd2577
movq -0x10(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0xd2510
movq -0x10(%rbp), %rax
movq 0x28(%rax), %xmm0
movaps 0x3b3e(%rip), %xmm1     # 0xd6020
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x3b42(%rip), %xmm1     # 0xd6030
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x816b(%rip), %xmm1     # 0xda670
mulsd %xmm1, %xmm0
movsd %xmm0, -0x50(%rbp)
jmp 0xd251f
movsd 0x106a0(%rip), %xmm0    # 0xe2bb8
movsd %xmm0, -0x50(%rbp)
jmp 0xd251f
movsd -0x50(%rbp), %xmm0
movsd 0xfb2c(%rip), %xmm2     # 0xe2058
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 -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rsi
callq 0x6c80
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x20(%rax)
jmp 0xd24aa
jmp 0xd2579
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
addq 0x30(%rax), %rdi
movq -0x18(%rbp), %rsi
movq -0x48(%rbp), %rdx
callq 0x6570
movq -0x48(%rbp), %rcx
movq -0x10(%rbp), %rax
addq 0x30(%rax), %rcx
movq %rcx, 0x30(%rax)
movq -0x48(%rbp), %rcx
movslq -0x20(%rbp), %rax
addq %rcx, %rax
movl %eax, -0x20(%rbp)
movq -0x8(%rbp), %rax
movq 0x48(%rax), %rax
movq %rax, -0x30(%rbp)
xorl %esi, %esi
movl %esi, %edi
callq 0x7e1a0
movq %rax, -0x38(%rbp)
movq -0x30(%rbp), %rax
movq 0x28(%rax), %rax
movq -0x30(%rbp), %rdi
movq -0x38(%rbp), %rsi
movl -0x1c(%rbp), %ecx
xorl %edx, %edx
callq *%rax
movl %eax, -0x24(%rbp)
movq -0x8(%rbp), %rax
movq 0x50(%rax), %rax
movq %rax, -0x30(%rbp)
xorl %esi, %esi
movl %esi, %edi
callq 0x7e1a0
movq %rax, -0x40(%rbp)
movq -0x30(%rbp), %rax
movq 0x28(%rax), %rax
movq -0x30(%rbp), %rdi
movq -0x40(%rbp), %rsi
movl -0x1c(%rbp), %ecx
xorl %edx, %edx
callq *%rax
movl %eax, -0x28(%rbp)
movq -0x10(%rbp), %rdi
movq -0x8(%rbp), %rax
movl (%rax), %esi
callq 0x7d910
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movq -0x10(%rbp), %rdi
movl -0x24(%rbp), %esi
addl -0x28(%rbp), %esi
callq 0x7d910
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
jmp 0xd2646
jmp 0xd2648
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x30(%rcx), %rcx
movq -0x38(%rbp), %rdx
addq 0x30(%rdx), %rcx
cmpq %rcx, %rax
ja 0xd2719
movq -0x10(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0xd26b2
movq -0x10(%rbp), %rax
movq 0x28(%rax), %xmm0
movaps 0x399c(%rip), %xmm1     # 0xd6020
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x39a0(%rip), %xmm1     # 0xd6030
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x7fc9(%rip), %xmm1     # 0xda670
mulsd %xmm1, %xmm0
movsd %xmm0, -0x58(%rbp)
jmp 0xd26c1
movsd 0x104fe(%rip), %xmm0    # 0xe2bb8
movsd %xmm0, -0x58(%rbp)
jmp 0xd26c1
movsd -0x58(%rbp), %xmm0
movsd 0xf98a(%rip), %xmm2     # 0xe2058
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 -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rsi
callq 0x6c80
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x20(%rax)
jmp 0xd2648
jmp 0xd271b
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
addq 0x30(%rax), %rdi
movq -0x38(%rbp), %rax
movq 0x20(%rax), %rsi
movq -0x38(%rbp), %rax
movq 0x30(%rax), %rdx
callq 0x6570
movq -0x38(%rbp), %rax
movq 0x30(%rax), %rcx
movq -0x10(%rbp), %rax
addq 0x30(%rax), %rcx
movq %rcx, 0x30(%rax)
jmp 0xd2756
jmp 0xd2758
jmp 0xd275a
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x30(%rcx), %rcx
movq -0x40(%rbp), %rdx
addq 0x30(%rdx), %rcx
cmpq %rcx, %rax
ja 0xd282b
movq -0x10(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0xd27c4
movq -0x10(%rbp), %rax
movq 0x28(%rax), %xmm0
movaps 0x388a(%rip), %xmm1     # 0xd6020
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x388e(%rip), %xmm1     # 0xd6030
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x7eb7(%rip), %xmm1     # 0xda670
mulsd %xmm1, %xmm0
movsd %xmm0, -0x60(%rbp)
jmp 0xd27d3
movsd 0x103ec(%rip), %xmm0    # 0xe2bb8
movsd %xmm0, -0x60(%rbp)
jmp 0xd27d3
movsd -0x60(%rbp), %xmm0
movsd 0xf878(%rip), %xmm2     # 0xe2058
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 -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rsi
callq 0x6c80
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x20(%rax)
jmp 0xd275a
jmp 0xd282d
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
addq 0x30(%rax), %rdi
movq -0x40(%rbp), %rax
movq 0x20(%rax), %rsi
movq -0x40(%rbp), %rax
movq 0x30(%rax), %rdx
callq 0x6570
movq -0x40(%rbp), %rax
movq 0x30(%rax), %rcx
movq -0x10(%rbp), %rax
addq 0x30(%rax), %rcx
movq %rcx, 0x30(%rax)
movq -0x38(%rbp), %rdi
callq 0x7f750
movq -0x40(%rbp), %rdi
callq 0x7f750
movl -0x20(%rbp), %eax
addl -0x24(%rbp), %eax
addl -0x28(%rbp), %eax
addq $0x60, %rsp
popq %rbp
retq
nopw (%rax,%rax)