// File: /workspace/github_cpp_makefile_star2_O1/DoubleString[P]RtConverter/src/Rtklib/rtcm3e.cpp
// Function: bamboo::encode_type1001(bamboo::rtcm_t*, int)
static int encode_type1001(rtcm_t *rtcm, int sync)
{
    int i,j,nsat=0,sys,prn;
    int code1,pr1,ppr1,lock1,amb;
    
    trace(3,"encode_type1001: sync=%d\n",sync);
    
    for (j=0;j<rtcm->obs.n&&nsat<MAXOBS;j++) {
        sys=satsys(rtcm->obs.data[j].sat,&prn);
        if (!(sys&(SYS_GPS|SYS_SBS))) continue;
        nsat++;
    }
    /* encode header */
    i=encode_head(1001,rtcm,SYS_GPS,sync,nsat);
    
    for (j=0;j<rtcm->obs.n&&nsat<MAXOBS;j++) {
        sys=satsys(rtcm->obs.data[j].sat,&prn);
        if (!(sys&(SYS_GPS|SYS_SBS))) continue;
        
        if (sys==SYS_SBS) prn-=80; /* 40-58: sbas 120-138 */
        
        /* generate obs field data gps */
        gen_obs_gps(rtcm,rtcm->obs.data+j,&code1,&pr1,&ppr1,&lock1,&amb,NULL,
                    NULL,NULL,NULL,NULL,NULL);
        
        setbitu(rtcm->buff,i, 6,prn  ); i+= 6;
        setbitu(rtcm->buff,i, 1,code1); i+= 1;
        setbitu(rtcm->buff,i,24,pr1  ); i+=24;
        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 $0x68, %rsp
movl %esi, %edx
movq %rdi, %rbx
leaq 0x2b809(%rip), %rsi     # 0x702bf
xorl %r15d, %r15d
movl $0x3, %edi
movl %edx, -0x38(%rbp)
xorl %eax, %eax
callq 0x4ded0
cmpl $0x0, 0x30(%rbx)
jle 0x44b19
xorl %r15d, %r15d
movl $0x10, %r14d
movl $0x1, %r12d
movq 0x38(%rbx), %rax
movzbl (%rax,%r14), %edi
leaq -0x30(%rbp), %rsi
callq 0x4dc2a
andl $0x3, %eax
cmpl $0x1, %eax
sbbl $-0x1, %r15d
movslq 0x30(%rbx), %rax
cmpl $0x40, %r15d
setb %r13b
cmpq %rax, %r12
jge 0x44b1c
addq $0x60, %r14
incq %r12
cmpl $0x40, %r15d
jb 0x44add
jmp 0x44b1c
movb $0x1, %r13b
movl $0x3e9, %edi            # imm = 0x3E9
movq %rbx, %rsi
movl $0x1, %edx
movl -0x38(%rbp), %ecx
movl %r15d, %r8d
callq 0x4b5ce
movl %eax, %r14d
cmpl $0x0, 0x30(%rbx)
jle 0x44c48
testb %r13b, %r13b
je 0x44c48
leaq 0x9f0c4(%rbx), %rax
movq %rax, -0x38(%rbp)
movl $0x1, %r12d
xorl %r15d, %r15d
movb %r13b, -0x29(%rbp)
movq 0x38(%rbx), %rax
movzbl 0x10(%rax,%r15), %edi
leaq -0x30(%rbp), %rsi
callq 0x4dc2a
testb $0x3, %al
je 0x44c2e
cmpl $0x2, %eax
jne 0x44b86
addl $-0x50, -0x30(%rbp)
movq 0x38(%rbx), %rsi
addq %r15, %rsi
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rsp)
movups %xmm0, 0x18(%rsp)
movups %xmm0, 0x8(%rsp)
leaq -0x4c(%rbp), %rax
movq %rax, (%rsp)
movq %rbx, %rdi
leaq -0x48(%rbp), %rdx
leaq -0x44(%rbp), %rcx
leaq -0x40(%rbp), %r8
leaq -0x3c(%rbp), %r9
callq 0x4b727
movl -0x30(%rbp), %ecx
movq -0x38(%rbp), %r13
movq %r13, %rdi
movl %r14d, %esi
movl $0x6, %edx
callq 0x4e403
leal 0x6(%r14), %esi
movl -0x48(%rbp), %ecx
movq %r13, %rdi
movl $0x1, %edx
callq 0x4e403
leal 0x7(%r14), %esi
movl -0x44(%rbp), %ecx
movq %r13, %rdi
movl $0x18, %edx
callq 0x4e403
leal 0x1f(%r14), %esi
movl -0x40(%rbp), %ecx
movq %r13, %rdi
movl $0x14, %edx
callq 0x4e47b
leal 0x33(%r14), %esi
movl -0x3c(%rbp), %ecx
movq %r13, %rdi
movl $0x7, %edx
callq 0x4e403
addl $0x3a, %r14d
movb -0x29(%rbp), %r13b
movslq 0x30(%rbx), %rax
cmpq %rax, %r12
setl %al
addq $0x60, %r15
incq %r12
testb %r13b, %al
jne 0x44b62
movl %r14d, 0x9f0bc(%rbx)
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq