// File: DoubleString[P]RtConverter/src/Rtklib/rtcm3e.cpp
// Function: bamboo::encode_type1044(bamboo::rtcm_t*, int)
static int encode_type1044(rtcm_t *rtcm, int sync)
{
    eph_t *eph;
    unsigned int sqrtA,e;
    int i=24,prn,week,toe,toc,i0,OMG0,omg,M0,deln,idot,OMGd,crs,crc;
    int cus,cuc,cis,cic,af0,af1,af2,tgd;
    
    trace(3,"encode_type1044: sync=%d\n",sync);
    
    if (satsys(rtcm->ephsat,&prn)!=SYS_QZS) return 0;
    eph=rtcm->nav.eph+rtcm->ephsat-1;
    if (eph->sat!=rtcm->ephsat) return 0;
    week=eph->week%1024;
    toe  =ROUND(eph->toes/16.0);
    toc  =ROUND(time2gpst(eph->toc,NULL)/16.0);
    sqrtA=ROUND_U(sqrt(eph->A)/P2_19);
    e    =ROUND_U(eph->e/P2_33);
    i0   =ROUND(eph->i0  /P2_31/SC2RAD);
    OMG0 =ROUND(eph->OMG0/P2_31/SC2RAD);
    omg  =ROUND(eph->omg /P2_31/SC2RAD);
    M0   =ROUND(eph->M0  /P2_31/SC2RAD);
    deln =ROUND(eph->deln/P2_43/SC2RAD);
    idot =ROUND(eph->idot/P2_43/SC2RAD);
    OMGd =ROUND(eph->OMGd/P2_43/SC2RAD);
    crs  =ROUND(eph->crs/P2_5 );
    crc  =ROUND(eph->crc/P2_5 );
    cus  =ROUND(eph->cus/P2_29);
    cuc  =ROUND(eph->cuc/P2_29);
    cis  =ROUND(eph->cis/P2_29);
    cic  =ROUND(eph->cic/P2_29);
    af0  =ROUND(eph->f0 /P2_31);
    af1  =ROUND(eph->f1 /P2_43);
    af2  =ROUND(eph->f2 /P2_55);
    tgd  =ROUND(eph->tgd[0]/P2_31);
    
    setbitu(rtcm->buff,i,12,1044     ); i+=12;
    setbitu(rtcm->buff,i, 4,prn-192  ); i+= 4;
    setbitu(rtcm->buff,i,16,toc      ); i+=16;
    setbits(rtcm->buff,i, 8,af2      ); i+= 8;
    setbits(rtcm->buff,i,16,af1      ); i+=16;
    setbits(rtcm->buff,i,22,af0      ); i+=22;
    setbitu(rtcm->buff,i, 8,eph->iode); i+= 8;
    setbits(rtcm->buff,i,16,crs      ); i+=16;
    setbits(rtcm->buff,i,16,deln     ); i+=16;
    setbits(rtcm->buff,i,32,M0       ); i+=32;
    setbits(rtcm->buff,i,16,cuc      ); i+=16;
    setbitu(rtcm->buff,i,32,e        ); i+=32;
    setbits(rtcm->buff,i,16,cus      ); i+=16;
    setbitu(rtcm->buff,i,32,sqrtA    ); i+=32;
    setbitu(rtcm->buff,i,16,toe      ); i+=16;
    setbits(rtcm->buff,i,16,cic      ); i+=16;
    setbits(rtcm->buff,i,32,OMG0     ); i+=32;
    setbits(rtcm->buff,i,16,cis      ); i+=16;
    setbits(rtcm->buff,i,32,i0       ); i+=32;
    setbits(rtcm->buff,i,16,crc      ); i+=16;
    setbits(rtcm->buff,i,32,omg      ); i+=32;
    setbits(rtcm->buff,i,24,OMGd     ); i+=24;
    setbits(rtcm->buff,i,14,idot     ); i+=14;
    setbitu(rtcm->buff,i, 2,eph->code); i+= 2;
    setbitu(rtcm->buff,i,10,week     ); i+=10;
    setbitu(rtcm->buff,i, 4,eph->sva ); i+= 4;
    setbitu(rtcm->buff,i, 6,eph->svh ); i+= 6;
    setbits(rtcm->buff,i, 8,tgd      ); i+= 8;
    setbitu(rtcm->buff,i,10,eph->iodc); i+=10;
    setbitu(rtcm->buff,i, 1,eph->fit==2.0?0:1); i+=1;
    rtcm->nbit=i;
    return 1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movq %rdi, -0x10(%rbp)
movl %esi, -0x14(%rbp)
movl $0x18, -0x2c(%rbp)
movl -0x14(%rbp), %edx
movl $0x3, %edi
leaq 0x40748(%rip), %rsi     # 0xc2780
movb $0x0, %al
callq 0x8b980
movq -0x10(%rbp), %rax
movl 0x9bdd4(%rax), %edi
leaq -0x30(%rbp), %rsi
callq 0x8b3b0
cmpl $0x10, %eax
je 0x82063
movl $0x0, -0x4(%rbp)
jmp 0x829c1
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq -0x10(%rbp), %rcx
movslq 0x9bdd4(%rcx), %rcx
imulq $0x120, %rcx, %rcx      # imm = 0x120
addq %rcx, %rax
addq $-0x120, %rax           # imm = 0xFEE0
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movl (%rax), %eax
movq -0x10(%rbp), %rcx
cmpl 0x9bdd4(%rcx), %eax
je 0x820ab
movl $0x0, -0x4(%rbp)
jmp 0x829c1
movq -0x20(%rbp), %rax
movl 0x14(%rax), %eax
movl %eax, %edx
addl $0x3ff, %edx            # imm = 0x3FF
testl %eax, %eax
movl %eax, %ecx
cmovsl %edx, %ecx
andl $0xfffffc00, %ecx       # imm = 0xFFFFFC00
subl %ecx, %eax
movl %eax, -0x34(%rbp)
movq -0x20(%rbp), %rax
movsd 0xc8(%rax), %xmm0
movsd 0x3e958(%rip), %xmm1    # 0xc0a38
movsd %xmm1, -0xa0(%rbp)
mulsd %xmm1, %xmm0
movsd 0x3ad8c(%rip), %xmm1    # 0xbce80
movsd %xmm1, -0x98(%rbp)
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x38(%rbp)
movq -0x20(%rbp), %rax
movups 0x30(%rax), %xmm0
movaps %xmm0, -0x90(%rbp)
movq -0x90(%rbp), %rdi
movsd -0x88(%rbp), %xmm0
xorl %eax, %eax
movl %eax, %esi
callq 0x8e540
movsd -0xa0(%rbp), %xmm2
movsd -0x98(%rbp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x3c(%rbp)
movq -0x20(%rbp), %rax
movsd 0x50(%rax), %xmm0
callq 0x95e0
movsd -0x98(%rbp), %xmm1
movsd 0x3fc33(%rip), %xmm2    # 0xc1da8
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
callq 0x9c90
movsd -0x98(%rbp), %xmm1
cvttsd2si %xmm0, %rax
movl %eax, -0x24(%rbp)
movq -0x20(%rbp), %rax
movsd 0x58(%rax), %xmm0
movsd 0x3ccbd(%rip), %xmm2    # 0xbee60
divsd %xmm2, %xmm0
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %rax
movl %eax, -0x28(%rbp)
movq -0x20(%rbp), %rax
movsd 0x60(%rax), %xmm0
movsd 0x3ae0f(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3bb83(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3ac9f(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x40(%rbp)
movq -0x20(%rbp), %rax
movsd 0x68(%rax), %xmm0
movsd 0x3add6(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3bb4a(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3ac66(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x44(%rbp)
movq -0x20(%rbp), %rax
movsd 0x70(%rax), %xmm0
movsd 0x3ad9d(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3bb11(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3ac2d(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x48(%rbp)
movq -0x20(%rbp), %rax
movsd 0x78(%rax), %xmm0
movsd 0x3ad64(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3bad8(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3abf4(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x4c(%rbp)
movq -0x20(%rbp), %rax
movsd 0x80(%rax), %xmm0
movsd 0x3cbb8(%rip), %xmm1    # 0xbee68
divsd %xmm1, %xmm0
movsd 0x3ba9c(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3abb8(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x50(%rbp)
movq -0x20(%rbp), %rax
movsd 0x90(%rax), %xmm0
movsd 0x3cb7c(%rip), %xmm1    # 0xbee68
divsd %xmm1, %xmm0
movsd 0x3ba60(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3ab7c(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x54(%rbp)
movq -0x20(%rbp), %rax
movsd 0x88(%rax), %xmm0
movsd 0x3cb40(%rip), %xmm1    # 0xbee68
divsd %xmm1, %xmm0
movsd 0x3ba24(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3ab40(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x58(%rbp)
movq -0x20(%rbp), %rax
movsd 0xa0(%rax), %xmm0
movsd 0x3cb14(%rip), %xmm1    # 0xbee78
divsd %xmm1, %xmm0
movsd 0x3ab10(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x5c(%rbp)
movq -0x20(%rbp), %rax
movsd 0x98(%rax), %xmm0
movsd 0x3cae4(%rip), %xmm1    # 0xbee78
divsd %xmm1, %xmm0
movsd 0x3aae0(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x60(%rbp)
movq -0x20(%rbp), %rax
movsd 0xb0(%rax), %xmm0
movsd 0x3caac(%rip), %xmm1    # 0xbee70
divsd %xmm1, %xmm0
movsd 0x3aab0(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x64(%rbp)
movq -0x20(%rbp), %rax
movsd 0xa8(%rax), %xmm0
movsd 0x3ca7c(%rip), %xmm1    # 0xbee70
divsd %xmm1, %xmm0
movsd 0x3aa80(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x68(%rbp)
movq -0x20(%rbp), %rax
movsd 0xc0(%rax), %xmm0
movsd 0x3ca4c(%rip), %xmm1    # 0xbee70
divsd %xmm1, %xmm0
movsd 0x3aa50(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x6c(%rbp)
movq -0x20(%rbp), %rax
movsd 0xb8(%rax), %xmm0
movsd 0x3ca1c(%rip), %xmm1    # 0xbee70
divsd %xmm1, %xmm0
movsd 0x3aa20(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x70(%rbp)
movq -0x20(%rbp), %rax
movsd 0xd8(%rax), %xmm0
movsd 0x3ab54(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3a9f0(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x74(%rbp)
movq -0x20(%rbp), %rax
movsd 0xe0(%rax), %xmm0
movsd 0x3c9b4(%rip), %xmm1    # 0xbee68
divsd %xmm1, %xmm0
movsd 0x3a9c0(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x78(%rbp)
movq -0x20(%rbp), %rax
movsd 0xe8(%rax), %xmm0
movsd 0x3c9d4(%rip), %xmm1    # 0xbeeb8
divsd %xmm1, %xmm0
movsd 0x3a990(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x7c(%rbp)
movq -0x20(%rbp), %rax
movsd 0xf0(%rax), %xmm0
movsd 0x3aac4(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3a960(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x80(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl $0xc, %edx
movl $0x414, %ecx            # imm = 0x414
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0xc, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x30(%rbp), %ecx
subl $0xc0, %ecx
movl $0x4, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x4, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x3c(%rbp), %ecx
movl $0x10, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x7c(%rbp), %ecx
movl $0x8, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x8, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x78(%rbp), %ecx
movl $0x10, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x74(%rbp), %ecx
movl $0x16, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x16, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movq -0x20(%rbp), %rax
movl 0x4(%rax), %ecx
movl $0x8, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x8, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x5c(%rbp), %ecx
movl $0x10, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x50(%rbp), %ecx
movl $0x10, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x4c(%rbp), %ecx
movl $0x20, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x68(%rbp), %ecx
movl $0x10, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x28(%rbp), %ecx
movl $0x20, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x64(%rbp), %ecx
movl $0x10, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x24(%rbp), %ecx
movl $0x20, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x38(%rbp), %ecx
movl $0x10, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x70(%rbp), %ecx
movl $0x10, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x44(%rbp), %ecx
movl $0x20, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x6c(%rbp), %ecx
movl $0x10, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x40(%rbp), %ecx
movl $0x20, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x60(%rbp), %ecx
movl $0x10, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x48(%rbp), %ecx
movl $0x20, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x58(%rbp), %ecx
movl $0x18, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x18, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x54(%rbp), %ecx
movl $0xe, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0xe, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movq -0x20(%rbp), %rax
movl 0x18(%rax), %ecx
movl $0x2, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x2, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x34(%rbp), %ecx
movl $0xa, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0xa, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movq -0x20(%rbp), %rax
movl 0xc(%rax), %ecx
movl $0x4, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x4, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movq -0x20(%rbp), %rax
movl 0x10(%rax), %ecx
movl $0x6, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x6, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x80(%rbp), %ecx
movl $0x8, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x8, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movq -0x20(%rbp), %rax
movl 0x8(%rax), %ecx
movl $0xa, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0xa, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movq -0x20(%rbp), %rax
movsd 0xd0(%rax), %xmm0
movsd 0x3adce(%rip), %xmm1    # 0xbd750
movl $0x1, %ecx
xorl %eax, %eax
ucomisd %xmm1, %xmm0
setnp %r8b
sete %dl
testb %r8b, %dl
cmovnel %eax, %ecx
movl $0x1, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %ecx
movq -0x10(%rbp), %rax
movl %ecx, 0x9f0bc(%rax)
movl $0x1, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0xa0, %rsp
popq %rbp
retq
nopl (%rax)