// File: /workspace/github_cpp_makefile_star2_O1/DoubleString[P]RtConverter/src/Rtklib/rtcm3e.cpp
// Function: bamboo::encode_type1009(bamboo::rtcm_t*, int)
static int encode_type1009(rtcm_t *rtcm, int sync)
{
    int i,j,nsat=0,sat,prn,fcn;
    int code1,pr1,ppr1,lock1,amb;
    
    for (j=0;j<rtcm->obs.n&&nsat<MAXOBS;j++) {
        sat=rtcm->obs.data[j].sat;
        if (satsys(sat,&prn)!=SYS_GLO) continue;
        nsat++;
    }
    /* encode header */
    i=encode_head(1009,rtcm,SYS_GLO,sync,nsat);
    
    for (j=0;j<rtcm->obs.n&&nsat<MAXOBS;j++) {
        sat=rtcm->obs.data[j].sat;
        if (satsys(sat,&prn)!=SYS_GLO) continue;
        fcn=fcn_glo(sat,rtcm);
        
        /* generate obs field data glonass */
        gen_obs_glo(rtcm,rtcm->obs.data+j,fcn,&code1,&pr1,&ppr1,&lock1,&amb,
                    NULL,NULL,NULL,NULL,NULL,NULL);
        
        if (fcn<0) fcn=0;
        setbitu(rtcm->buff,i, 6,prn  ); i+= 6;
        setbitu(rtcm->buff,i, 1,code1); i+= 1;
        setbitu(rtcm->buff,i, 5,fcn  ); i+= 5;
        setbitu(rtcm->buff,i,25,pr1  ); i+=25;
        setbits(rtcm->buff,i,20,ppr1 ); i+=20;
        setbitu(rtcm->buff,i, 7,lock1); i+= 7;
    }
    rtcm->nbit=i;
    return 1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rdi, %rbx
cmpl $0x0, 0x30(%rdi)
movl %esi, -0x38(%rbp)
jle 0x458d7
xorl %r8d, %r8d
movl $0x10, %r13d
movl $0x1, %r14d
leaq -0x3c(%rbp), %r15
movl %r8d, %r12d
movq 0x38(%rbx), %rax
movzbl (%rax,%r13), %edi
movq %r15, %rsi
callq 0x4dc2a
xorl %r8d, %r8d
cmpl $0x4, %eax
sete %r8b
addl %r12d, %r8d
movslq 0x30(%rbx), %rax
cmpl $0x40, %r8d
setb %r12b
cmpq %rax, %r14
jge 0x458dd
addq $0x60, %r13
incq %r14
cmpl $0x40, %r8d
jb 0x45896
jmp 0x458dd
movb $0x1, %r12b
xorl %r8d, %r8d
movl $0x3f1, %edi            # imm = 0x3F1
movq %rbx, %rsi
movl $0x4, %edx
movl -0x38(%rbp), %ecx
callq 0x4b5ce
movq %rax, -0x38(%rbp)
cmpl $0x0, 0x30(%rbx)
jle 0x45a4d
testb %r12b, %r12b
je 0x45a4d
leaq 0x9f0c4(%rbx), %rax
movq %rax, -0x60(%rbp)
movl $0x1, %r15d
xorl %r14d, %r14d
movb %r12b, -0x29(%rbp)
movq %rbx, -0x58(%rbp)
movq 0x38(%rbx), %rax
movzbl 0x10(%rax,%r14), %r13d
movl %r13d, %edi
leaq -0x3c(%rbp), %rsi
callq 0x4dc2a
cmpl $0x4, %eax
jne 0x45a33
movl %r13d, %edi
movq %rbx, %rsi
callq 0x4bbd0
movl %eax, %r13d
movq 0x38(%rbx), %rsi
addq %r14, %rsi
xorps %xmm0, %xmm0
movups %xmm0, 0x30(%rsp)
movups %xmm0, 0x20(%rsp)
movups %xmm0, 0x10(%rsp)
leaq -0x64(%rbp), %rax
movq %rax, 0x8(%rsp)
leaq -0x40(%rbp), %rax
movq %rax, (%rsp)
movq %rbx, %rdi
movl %r13d, %edx
leaq -0x4c(%rbp), %rcx
leaq -0x48(%rbp), %r8
leaq -0x44(%rbp), %r9
callq 0x4bc25
testl %r13d, %r13d
movl $0x0, %eax
cmovlel %eax, %r13d
movl -0x3c(%rbp), %ecx
movq -0x60(%rbp), %rbx
movq %rbx, %rdi
movq -0x38(%rbp), %r12
movl %r12d, %esi
movl $0x6, %edx
callq 0x4e403
leal 0x6(%r12), %esi
movl -0x4c(%rbp), %ecx
movq %rbx, %rdi
movl $0x1, %edx
callq 0x4e403
leal 0x7(%r12), %esi
movq %rbx, %rdi
movl $0x5, %edx
movl %r13d, %ecx
callq 0x4e403
leal 0xc(%r12), %esi
movl -0x48(%rbp), %ecx
movq %rbx, %rdi
movl $0x19, %edx
callq 0x4e403
leal 0x25(%r12), %esi
movl -0x44(%rbp), %ecx
movq %rbx, %rdi
movl $0x14, %edx
callq 0x4e47b
leal 0x39(%r12), %esi
movl -0x40(%rbp), %ecx
movq %rbx, %rdi
movq -0x58(%rbp), %rbx
movl $0x7, %edx
callq 0x4e403
addl $0x40, %r12d
movq %r12, -0x38(%rbp)
movb -0x29(%rbp), %r12b
movslq 0x30(%rbx), %rax
cmpq %rax, %r15
setl %al
addq $0x60, %r14
incq %r15
testb %r12b, %al
jne 0x45925
movq -0x38(%rbp), %rax
movl %eax, 0x9f0bc(%rbx)
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq