// File: /workspace/github_cpp_makefile_star2_O3/DoubleString[P]RtConverter/src/Rtklib/rtkcmn.cpp
// Function: bamboo::uniqnav(bamboo::nav_t*)
extern void uniqnav(nav_t *nav)
{
    int i,j;
    
    trace(3,"uniqnav: neph=%d ngeph=%d nseph=%d\n",nav->n,nav->ng,nav->ns);
    
    /* unique ephemeris */
    uniqeph (nav);
    uniqgeph(nav);
    uniqseph(nav);
    
    /* update carrier wave length */
    for (i=0;i<MAXRTKSAT;i++) for (j=0;j<NFREQ;j++) {
        nav->lam[i][j]=satwavelen(i+1,j,nav);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
movslq (%rdi), %rsi
testq %rsi, %rsi
jle 0x5248b
movq 0x40(%rbx), %rdi
leaq 0x3a65(%rip), %rcx      # 0x55e36
movl $0x120, %r14d           # imm = 0x120
movl $0x120, %edx            # imm = 0x120
callq 0x8c00
movl (%rbx), %eax
movl $0x1, %r15d
cmpl $0x2, %eax
jl 0x52452
xorl %r15d, %r15d
movl $0x1, %r12d
movq 0x40(%rbx), %rcx
movl (%rcx,%r14), %esi
movslq %r15d, %rdx
leaq (%rdx,%rdx,8), %rdx
shlq $0x5, %rdx
cmpl (%rcx,%rdx), %esi
jne 0x5241c
addq %rcx, %rdx
movl 0x4(%rcx,%r14), %esi
cmpl 0x4(%rdx), %esi
je 0x5243d
leaq (%rcx,%r14), %rsi
incl %r15d
movslq %r15d, %rax
leaq (%rax,%rax,8), %rdi
shlq $0x5, %rdi
addq %rcx, %rdi
movl $0x120, %edx            # imm = 0x120
callq 0x84f0
movl (%rbx), %eax
incq %r12
movslq %eax, %rcx
addq $0x120, %r14            # imm = 0x120
cmpq %rcx, %r12
jl 0x523f7
incl %r15d
movl %r15d, (%rbx)
movq 0x40(%rbx), %rdi
movslq %r15d, %rax
shlq $0x5, %rax
leaq (%rax,%rax,8), %rsi
callq 0x8a70
testq %rax, %rax
je 0x52479
movq %rax, 0x40(%rbx)
movl (%rbx), %eax
movl %eax, 0x4(%rbx)
jmp 0x5248b
movq 0x40(%rbx), %rdi
callq 0x87a0
xorl %eax, %eax
movq %rax, 0x40(%rbx)
movq %rax, (%rbx)
movslq 0x8(%rbx), %rsi
testq %rsi, %rsi
jle 0x52565
movq 0x48(%rbx), %rdi
leaq 0x39bb(%rip), %rcx      # 0x55e5e
movl $0x98, %edx
callq 0x8c00
movl 0x8(%rbx), %eax
testl %eax, %eax
jle 0x52524
xorl %r15d, %r15d
xorl %r12d, %r12d
xorl %r14d, %r14d
movq 0x48(%rbx), %rcx
movl (%rcx,%r15), %esi
movslq %r14d, %rdx
imulq $0x98, %rdx, %rdx
cmpl (%rcx,%rdx), %esi
jne 0x524ec
addq %rcx, %rdx
movq 0x18(%rcx,%r15), %rsi
cmpq 0x18(%rdx), %rsi
jne 0x524ec
movl 0xc(%rcx,%r15), %esi
cmpl 0xc(%rdx), %esi
je 0x5250d
leaq (%rcx,%r15), %rsi
incl %r14d
movslq %r14d, %rax
imulq $0x98, %rax, %rdi
addq %rcx, %rdi
movl $0x98, %edx
callq 0x84f0
movl 0x8(%rbx), %eax
incq %r12
movslq %eax, %rcx
addq $0x98, %r15
cmpq %rcx, %r12
jl 0x524bd
incl %r14d
jmp 0x5252a
movl $0x1, %r14d
movl %r14d, 0x8(%rbx)
movq 0x48(%rbx), %rdi
movslq %r14d, %rax
imulq $0x98, %rax, %rsi
callq 0x8a70
testq %rax, %rax
je 0x52552
movq %rax, 0x48(%rbx)
movl 0x8(%rbx), %eax
movl %eax, 0xc(%rbx)
jmp 0x52565
movq 0x48(%rbx), %rdi
callq 0x87a0
xorl %eax, %eax
movq %rax, 0x48(%rbx)
movq %rax, 0x8(%rbx)
movslq 0x10(%rbx), %rsi
testq %rsi, %rsi
jle 0x52641
movq 0x50(%rbx), %rdi
leaq 0x3909(%rip), %rcx      # 0x55e86
movl $0x88, %edx
callq 0x8c00
movl 0x10(%rbx), %eax
testl %eax, %eax
jle 0x525fc
xorl %r15d, %r15d
xorl %r12d, %r12d
xorl %r14d, %r14d
movq 0x50(%rbx), %rcx
movl (%rcx,%r15), %esi
movslq %r14d, %rdx
movq %rdx, %rdi
shlq $0x7, %rdi
leaq (%rdi,%rdx,8), %rdx
cmpl (%rcx,%rdx), %esi
jne 0x525c0
addq %rcx, %rdx
movq 0x8(%rcx,%r15), %rsi
cmpq 0x8(%rdx), %rsi
je 0x525e5
leaq (%rcx,%r15), %rsi
incl %r14d
movslq %r14d, %rax
movq %rax, %rdx
shlq $0x7, %rdx
leaq (%rdx,%rax,8), %rdi
addq %rcx, %rdi
movl $0x88, %edx
callq 0x84f0
movl 0x10(%rbx), %eax
incq %r12
movslq %eax, %rcx
addq $0x88, %r15
cmpq %rcx, %r12
jl 0x52597
incl %r14d
jmp 0x52602
movl $0x1, %r14d
movl %r14d, 0x10(%rbx)
movq 0x50(%rbx), %rdi
movslq %r14d, %rax
movq %rax, %rcx
shlq $0x7, %rcx
leaq (%rcx,%rax,8), %rsi
callq 0x8a70
testq %rax, %rax
je 0x5262e
movq %rax, 0x50(%rbx)
movl 0x10(%rbx), %eax
movl %eax, 0x14(%rbx)
jmp 0x52641
movq 0x50(%rbx), %rdi
callq 0x87a0
xorl %eax, %eax
movq %rax, 0x50(%rbx)
movq %rax, 0x10(%rbx)
leaq 0x298(%rbx), %r12
xorl %r14d, %r14d
incq %r14
xorl %r15d, %r15d
movl %r14d, %edi
movl %r15d, %esi
movq %rbx, %rdx
callq 0x52684
movsd %xmm0, (%r12,%r15,8)
incq %r15
cmpq $0x3, %r15
jne 0x52651
addq $0x18, %r12
cmpq $0x9b, %r14
jne 0x5264b
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq