// File: /workspace/github_cpp_makefile_star2_O3/DoubleString[P]RtConverter/src/Rtklib/rtcm3e.cpp
// Function: bamboo::encode_type1012(bamboo::rtcm_t*, int)
static int encode_type1012(rtcm_t *rtcm, int sync)
{
    int i,j,nsat=0,sat,prn,fcn;
    int code1,pr1,ppr1,lock1,amb,cnr1,code2,pr21,ppr2,lock2,cnr2;
    
    trace(3,"encode_type1012: sync=%d\n",sync);
    
    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(1012,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,
                    &cnr1,&code2,&pr21,&ppr2,&lock2,&cnr2);
        
        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;
        setbitu(rtcm->buff,i, 7,amb  ); i+= 7;
        setbitu(rtcm->buff,i, 8,cnr1 ); i+= 8;
        setbitu(rtcm->buff,i, 2,code2); i+= 2;
        setbits(rtcm->buff,i,14,pr21 ); i+=14;
        setbits(rtcm->buff,i,20,ppr2 ); i+=20;
        setbitu(rtcm->buff,i, 7,lock2); i+= 7;
        setbitu(rtcm->buff,i, 8,cnr2 ); i+= 8;
    }
    rtcm->nbit=i;
    return 1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movl %esi, %edx
movq %rdi, %rbx
leaq 0x2ae6a(%rip), %rsi     # 0x7040e
xorl %r15d, %r15d
movl $0x3, %edi
movl %edx, -0x40(%rbp)
xorl %eax, %eax
callq 0x4d55d
movq %rbx, -0x38(%rbp)
cmpl $0x0, 0x30(%rbx)
jle 0x45613
xorl %r15d, %r15d
movl $0x10, %ebx
movl $0x1, %r13d
movq -0x38(%rbp), %r14
movl %r15d, %r12d
movq 0x38(%r14), %rax
movzbl (%rax,%rbx), %edi
leaq -0x2c(%rbp), %rsi
callq 0x4d2f2
xorl %r15d, %r15d
cmpl $0x4, %eax
sete %r15b
addl %r12d, %r15d
movslq 0x30(%r14), %rax
cmpl $0x40, %r15d
setb %r12b
cmpq %rax, %r13
jge 0x45616
addq $0x60, %rbx
incq %r13
cmpl $0x40, %r15d
jb 0x455d2
jmp 0x45616
movb $0x1, %r12b
movl $0x3f4, %edi            # imm = 0x3F4
movq -0x38(%rbp), %r13
movq %r13, %rsi
movl $0x4, %edx
movl -0x40(%rbp), %ecx
movl %r15d, %r8d
callq 0x4ac42
movl %eax, %r14d
cmpl $0x0, 0x30(%r13)
jle 0x45805
testb %r12b, %r12b
je 0x45805
leaq 0x9f0c4(%r13), %rax
movq %rax, -0x40(%rbp)
xorl %r12d, %r12d
xorl %ebx, %ebx
movq 0x38(%r13), %rax
movzbl 0x10(%rax,%r12), %r13d
movl %r13d, %edi
leaq -0x2c(%rbp), %rsi
callq 0x4d2f2
cmpl $0x4, %eax
jne 0x457ed
movl %r13d, %edi
movq -0x38(%rbp), %r15
movq %r15, %rsi
callq 0x4b23d
movl %eax, %r13d
movq 0x38(%r15), %rsi
addq %r12, %rsi
movq %r15, %rdi
movl %eax, %edx
leaq -0x6c(%rbp), %rcx
leaq -0x68(%rbp), %r8
leaq -0x64(%rbp), %r9
leaq -0x44(%rbp), %rax
pushq %rax
leaq -0x48(%rbp), %rax
pushq %rax
leaq -0x4c(%rbp), %rax
pushq %rax
leaq -0x50(%rbp), %rax
pushq %rax
leaq -0x54(%rbp), %rax
pushq %rax
leaq -0x58(%rbp), %rax
pushq %rax
leaq -0x5c(%rbp), %rax
pushq %rax
leaq -0x60(%rbp), %rax
pushq %rax
callq 0x4b292
addq $0x40, %rsp
testl %r13d, %r13d
movl $0x0, %eax
cmovlel %eax, %r13d
movl -0x2c(%rbp), %ecx
movq -0x40(%rbp), %r15
movq %r15, %rdi
movl %r14d, %esi
movl $0x6, %edx
callq 0x4da98
leal 0x6(%r14), %esi
movl -0x6c(%rbp), %ecx
movq %r15, %rdi
movl $0x1, %edx
callq 0x4da98
leal 0x7(%r14), %esi
movq %r15, %rdi
movl $0x5, %edx
movl %r13d, %ecx
callq 0x4da98
leal 0xc(%r14), %esi
movl -0x68(%rbp), %ecx
movq %r15, %rdi
movl $0x19, %edx
callq 0x4da98
leal 0x25(%r14), %esi
movl -0x64(%rbp), %ecx
movq %r15, %rdi
movl $0x14, %edx
callq 0x4db0c
leal 0x39(%r14), %esi
movl -0x60(%rbp), %ecx
movq %r15, %rdi
movl $0x7, %edx
callq 0x4da98
leal 0x40(%r14), %esi
movl -0x5c(%rbp), %ecx
movq %r15, %rdi
movl $0x7, %edx
callq 0x4da98
leal 0x47(%r14), %esi
movl -0x58(%rbp), %ecx
movq %r15, %rdi
movl $0x8, %edx
callq 0x4da98
leal 0x4f(%r14), %esi
movl -0x54(%rbp), %ecx
movq %r15, %rdi
movl $0x2, %edx
callq 0x4da98
leal 0x51(%r14), %esi
movl -0x50(%rbp), %ecx
movq %r15, %rdi
movl $0xe, %edx
callq 0x4db0c
leal 0x5f(%r14), %esi
movl -0x4c(%rbp), %ecx
movq %r15, %rdi
movl $0x14, %edx
callq 0x4db0c
leal 0x73(%r14), %esi
movl -0x48(%rbp), %ecx
movq %r15, %rdi
movl $0x7, %edx
callq 0x4da98
leal 0x7a(%r14), %esi
movl -0x44(%rbp), %ecx
movq %r15, %rdi
movl $0x8, %edx
callq 0x4da98
addl $0x82, %r14d
incq %rbx
movq -0x38(%rbp), %r13
movslq 0x30(%r13), %rax
addq $0x60, %r12
cmpq %rax, %rbx
jl 0x45659
movl %r14d, 0x9f0bc(%r13)
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq