// File: DoubleString[P]eph_converter/src/B2bDecoder.cpp
// Function: B2b::m_geneph()
void B2b::m_geneph(){
	FILE* fp = NULL;
	char filename[256] = {0};
	int mjd,iyear,imon,iday,ih,im,gweek,gd;
	double dx[6],length,A[3],Cr[3],R[3],dxx[6],sec;
	double sod,dintv = 900,dt,dtmin,dtlimit =120,xsat_out[6],xsat[6];
	/******** generate the ephemeris here *****************/
	cout << "begin to recover ephemeris ..." << endl;
	mjd = mjd0;
	sod = sod0;
	sod = ((int)(sod / dintv)) * dintv; /**force it to the epoch**/
	mjd2date(mjd,sod,&iyear,&imon,&iday,&ih,&im,&sec);
	gpsweek(iyear,imon,iday,&gweek,&gd);
	sprintf(filename,"cov%04d%d.sp3",gweek,gd);
	if(!(fp = fopen(filename,"w"))){cout << "can't open file " << filename << " to write!" << endl;exit(1);}
	m_wtephheader(fp);
	while(true){
		mjd2date(mjd,sod,&iyear,&imon,&iday,&ih,&im,&sec);
		fprintf(fp,"*   %4d%3d%3d%3d%3d%12.8lf\n",iyear,imon,iday,ih,im,sec);
		for(auto& cprn : cprn_list){
			/*************get the minus ssr*****************/
			dtmin = 9e9;
			orbit* ssr_selected = nullptr;
			for(auto& ssr : ORB_ALL){
				dt = (ssr.mjd - mjd) * 86400.0 + ssr.sod - sod;
				if(dtmin > fabs(dt)){
					dtmin = fabs(dt);
					ssr_selected = &ssr;
				}
			}
			if(dtmin > dtlimit || ssr_selected == nullptr) continue;
			/*************request for the brdm *****************/
			if(ssr_selected->ORB.find(cprn) == ssr_selected->ORB.end()) continue;
			if(!(nav.v_readOrbit(cprn.c_str(),mjd,sod,xsat_out,&ssr_selected->ORB[cprn].iode))){
//				cout << "ssr do not match ephemeris for " << cprn << " " << mjd << " " << sod << endl;
				continue;
			}
			/*************update the eph here *****************/
			memcpy(dx,ssr_selected->ORB[cprn].orb,sizeof(double) * 6);
			unit_vector(3,xsat_out,R,&length);
			cross(xsat_out,xsat_out + 3,Cr);
			unit_vector(3, Cr, Cr, &length);
			cross(Cr, R, A);
			unit_vector(3, A, A, &length);

//			unit_vector(3, xsat_out + 3, A, &length);
//			cross(xsat_out, xsat_out + 3, Cr);
//			unit_vector(3, Cr, Cr, &length);
//			cross(A, Cr, R);
//			unit_vector(3, R, R, &length);

			memset(dxx, 0, sizeof(dxx));
			dxx[0] = R[0] * dx[0] + A[0] * dx[1] + Cr[0] * dx[2];
			dxx[1] = R[1] * dx[0] + A[1] * dx[1] + Cr[1] * dx[2];
			dxx[2] = R[2] * dx[0] + A[2] * dx[1] + Cr[2] * dx[2];

			// velocity
			dxx[3] = R[0] * dx[3] + A[0] * dx[4] + Cr[0] * dx[5];
			dxx[4] = R[1] * dx[3] + A[1] * dx[4] + Cr[1] * dx[5];
			dxx[5] = R[2] * dx[3] + A[2] * dx[4] + Cr[2] * dx[5];

			for (int i = 0; i < 6; i++) {
				xsat[i] = xsat_out[i] - dxx[i];
			}
			double clock_sp3 = 999.0;
			/**** clock part *****/
			{
				double xclk_out,c[3],dclk;
				dtmin = 9e9;
				clk *ssr_selected = nullptr;
				for (auto &ssr : CLK_ALL) {
					dt = (ssr.mjd - mjd) * 86400.0 + ssr.sod - sod;
					if (dtmin > fabs(dt)) {
						dtmin = fabs(dt);
						ssr_selected = &ssr;
					}
				}
				if (dtmin < dtlimit && ssr_selected != nullptr){
					/*************request for the brdm *****************/
					if (ssr_selected->CLK.find(cprn) != ssr_selected->CLK.end()){
						if ((nav.v_readClk(cprn.c_str(), mjd, sod, &xclk_out, &ssr_selected->CLK[cprn].iode))) {
							/*************update the eph here *****************/
							memcpy(c, ssr_selected->CLK[cprn].clk, sizeof(double) * 3);
							dclk = c[0] + dtmin * (c[1] + dtmin * c[2]);
							clock_sp3 = xclk_out - dclk / VEL_LIGHT;
						}
					}
				}
			}
			/**************write it into orbit file *********/
			fprintf(fp,"P%s%14.6lf%14.6lf%14.6lf%14.6lf\n",cprn.c_str(), xsat[0] / 1000.0 , xsat[1] / 1000.0,xsat[2] / 1000.0,clock_sp3 != 999.0 ? clock_sp3 * 1E6 : 999.0);
		}
		timinc(mjd,sod,dintv,&mjd,&sod);
		if( (mjd - mjd1) * 86400.0 + sod - sod1 >= 0.0)
			break;
	}
	fclose(fp);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x3e0, %rsp            # imm = 0x3E0
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x358(%rbp)
movq $0x0, -0x10(%rbp)
leaq -0x110(%rbp), %rdi
xorl %esi, %esi
movl $0x100, %edx            # imm = 0x100
callq 0x31a0
movsd 0x1262b(%rip), %xmm0    # 0x17048
movsd %xmm0, -0x208(%rbp)
movsd 0x125f3(%rip), %xmm0    # 0x17020
movsd %xmm0, -0x220(%rbp)
movq 0x1b59c(%rip), %rdi     # 0x1ffd8
leaq 0x126d4(%rip), %rsi     # 0x17117
callq 0x32a0
movq %rax, %rdi
movq 0x1b576(%rip), %rsi     # 0x1ffc8
callq 0x3300
movq -0x358(%rbp), %rax
movl (%rax), %ecx
movl %ecx, -0x114(%rbp)
movsd 0x10(%rax), %xmm0
movsd %xmm0, -0x200(%rbp)
movsd -0x200(%rbp), %xmm0
divsd -0x208(%rbp), %xmm0
cvttsd2si %xmm0, %eax
cvtsi2sd %eax, %xmm0
mulsd -0x208(%rbp), %xmm0
movsd %xmm0, -0x200(%rbp)
movl -0x114(%rbp), %edi
movsd -0x200(%rbp), %xmm0
leaq -0x118(%rbp), %rsi
leaq -0x11c(%rbp), %rdx
leaq -0x120(%rbp), %rcx
leaq -0x124(%rbp), %r8
leaq -0x128(%rbp), %r9
leaq -0x1f8(%rbp), %rax
movq %rax, (%rsp)
callq 0x162e0
movl -0x118(%rbp), %edi
movl -0x11c(%rbp), %esi
movl -0x120(%rbp), %edx
leaq -0x12c(%rbp), %rcx
leaq -0x130(%rbp), %r8
callq 0x145a0
leaq -0x110(%rbp), %rdi
movl -0x12c(%rbp), %edx
movl -0x130(%rbp), %ecx
leaq 0x1261b(%rip), %rsi     # 0x17136
movb $0x0, %al
callq 0x3080
leaq -0x110(%rbp), %rdi
leaq 0x12614(%rip), %rsi     # 0x17144
callq 0x3340
movq %rax, -0x10(%rbp)
cmpq $0x0, %rax
jne 0x4b89
movq 0x1b492(%rip), %rdi     # 0x1ffd8
leaq 0x12556(%rip), %rsi     # 0x170a3
callq 0x32a0
movq %rax, %rdi
leaq -0x110(%rbp), %rsi
callq 0x32a0
movq %rax, %rdi
leaq 0x125db(%rip), %rsi     # 0x17146
callq 0x32a0
movq %rax, %rdi
movq 0x1b44e(%rip), %rsi     # 0x1ffc8
callq 0x3300
movl $0x1, %edi
callq 0x3360
movq -0x358(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x5600
movl -0x114(%rbp), %edi
movsd -0x200(%rbp), %xmm0
leaq -0x118(%rbp), %rsi
leaq -0x11c(%rbp), %rdx
leaq -0x120(%rbp), %rcx
leaq -0x124(%rbp), %r8
leaq -0x128(%rbp), %r9
leaq -0x1f8(%rbp), %rax
movq %rax, (%rsp)
callq 0x162e0
movq -0x10(%rbp), %rdi
movl -0x118(%rbp), %edx
movl -0x11c(%rbp), %ecx
movl -0x120(%rbp), %r8d
movl -0x124(%rbp), %r9d
movl -0x128(%rbp), %eax
movsd -0x1f8(%rbp), %xmm0
leaq 0x12544(%rip), %rsi     # 0x17151
movl %eax, (%rsp)
movb $0x1, %al
callq 0x3400
movq -0x358(%rbp), %rax
addq $0xd78, %rax            # imm = 0xD78
movq %rax, -0x288(%rbp)
movq -0x288(%rbp), %rdi
callq 0x68a0
movq %rax, -0x290(%rbp)
movq -0x288(%rbp), %rdi
callq 0x68d0
movq %rax, -0x298(%rbp)
leaq -0x290(%rbp), %rdi
leaq -0x298(%rbp), %rsi
callq 0x6900
testb $0x1, %al
jne 0x4c6d
jmp 0x5581
leaq -0x290(%rbp), %rdi
callq 0x6940
movq %rax, %rcx
movq -0x358(%rbp), %rax
movq %rcx, -0x2a0(%rbp)
movsd 0x123a6(%rip), %xmm0    # 0x17038
movsd %xmm0, -0x218(%rbp)
movq $0x0, -0x2a8(%rbp)
addq $0xd48, %rax            # imm = 0xD48
movq %rax, -0x2b0(%rbp)
movq -0x2b0(%rbp), %rdi
callq 0x6960
movq %rax, -0x2b8(%rbp)
movq -0x2b0(%rbp), %rdi
callq 0x6990
movq %rax, -0x2c0(%rbp)
leaq -0x2b8(%rbp), %rdi
leaq -0x2c0(%rbp), %rsi
callq 0x69c0
testb $0x1, %al
jne 0x4cf4
jmp 0x4da3
leaq -0x2b8(%rbp), %rdi
callq 0x6a00
movq %rax, -0x2c8(%rbp)
movq -0x2c8(%rbp), %rax
movl (%rax), %eax
subl -0x114(%rbp), %eax
cvtsi2sd %eax, %xmm0
movq -0x2c8(%rbp), %rax
movsd 0x8(%rax), %xmm1
movsd 0x12302(%rip), %xmm2    # 0x17030
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
subsd -0x200(%rbp), %xmm0
movsd %xmm0, -0x210(%rbp)
movsd -0x218(%rbp), %xmm0
movsd -0x210(%rbp), %xmm1
movaps 0x12313(%rip), %xmm2    # 0x17070
pand %xmm2, %xmm1
ucomisd %xmm1, %xmm0
jbe 0x4d90
movsd -0x210(%rbp), %xmm0
movaps 0x122fa(%rip), %xmm1    # 0x17070
pand %xmm1, %xmm0
movsd %xmm0, -0x218(%rbp)
movq -0x2c8(%rbp), %rax
movq %rax, -0x2a8(%rbp)
jmp 0x4d92
leaq -0x2b8(%rbp), %rdi
callq 0x6a20
jmp 0x4cd8
movsd -0x218(%rbp), %xmm0
ucomisd -0x220(%rbp), %xmm0
ja 0x4dbf
cmpq $0x0, -0x2a8(%rbp)
jne 0x4dc4
jmp 0x5570
movq -0x2a8(%rbp), %rdi
addq $0x10, %rdi
movq -0x2a0(%rbp), %rsi
callq 0x6a70
movq %rax, -0x2d0(%rbp)
movq -0x2a8(%rbp), %rdi
addq $0x10, %rdi
callq 0x6aa0
movq %rax, -0x2d8(%rbp)
leaq -0x2d0(%rbp), %rdi
leaq -0x2d8(%rbp), %rsi
callq 0x6a40
testb $0x1, %al
jne 0x4e12
jmp 0x4e17
jmp 0x5570
movq -0x358(%rbp), %rax
addq $0x20, %rax
movq %rax, -0x380(%rbp)
movq -0x2a0(%rbp), %rdi
callq 0x3130
movq %rax, -0x378(%rbp)
movl -0x114(%rbp), %eax
movl %eax, -0x36c(%rbp)
movsd -0x200(%rbp), %xmm0
movsd %xmm0, -0x368(%rbp)
leaq -0x250(%rbp), %rax
movq %rax, -0x360(%rbp)
movq -0x2a8(%rbp), %rdi
addq $0x10, %rdi
movq -0x2a0(%rbp), %rsi
callq 0x6ad0
movq -0x380(%rbp), %rdi
movq -0x378(%rbp), %rsi
movl -0x36c(%rbp), %edx
movsd -0x368(%rbp), %xmm0
movq -0x360(%rbp), %rcx
movq %rax, %r8
addq $0x4, %r8
callq 0x136e0
cmpl $0x0, %eax
jne 0x4eb6
jmp 0x5570
leaq -0x160(%rbp), %rax
movq %rax, -0x388(%rbp)
movq -0x2a8(%rbp), %rdi
addq $0x10, %rdi
movq -0x2a0(%rbp), %rsi
callq 0x6ad0
movq -0x388(%rbp), %rdi
movq %rax, %rsi
addq $0x8, %rsi
movl $0x30, %edx
callq 0x3230
leaq -0x250(%rbp), %rsi
leaq -0x1c0(%rbp), %rdx
movl $0x3, %edi
leaq -0x168(%rbp), %rcx
callq 0x164d0
leaq -0x250(%rbp), %rdi
leaq -0x250(%rbp), %rsi
addq $0x18, %rsi
leaq -0x1a0(%rbp), %rdx
callq 0x165a0
leaq -0x1a0(%rbp), %rsi
leaq -0x1a0(%rbp), %rdx
movl $0x3, %edi
leaq -0x168(%rbp), %rcx
callq 0x164d0
leaq -0x1a0(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
leaq -0x180(%rbp), %rdx
callq 0x165a0
leaq -0x180(%rbp), %rsi
leaq -0x180(%rbp), %rdx
movl $0x3, %edi
leaq -0x168(%rbp), %rcx
callq 0x164d0
leaq -0x1f0(%rbp), %rdi
xorl %esi, %esi
movl $0x30, %edx
callq 0x31a0
movsd -0x1c0(%rbp), %xmm1
movsd -0x160(%rbp), %xmm2
movsd -0x180(%rbp), %xmm0
mulsd -0x158(%rbp), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd -0x1a0(%rbp), %xmm0
movsd -0x150(%rbp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x1f0(%rbp)
movsd -0x1b8(%rbp), %xmm1
movsd -0x160(%rbp), %xmm2
movsd -0x178(%rbp), %xmm0
mulsd -0x158(%rbp), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd -0x198(%rbp), %xmm0
movsd -0x150(%rbp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x1e8(%rbp)
movsd -0x1b0(%rbp), %xmm1
movsd -0x160(%rbp), %xmm2
movsd -0x170(%rbp), %xmm0
mulsd -0x158(%rbp), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd -0x190(%rbp), %xmm0
movsd -0x150(%rbp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x1e0(%rbp)
movsd -0x1c0(%rbp), %xmm1
movsd -0x148(%rbp), %xmm2
movsd -0x180(%rbp), %xmm0
mulsd -0x140(%rbp), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd -0x1a0(%rbp), %xmm0
movsd -0x138(%rbp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x1d8(%rbp)
movsd -0x1b8(%rbp), %xmm1
movsd -0x148(%rbp), %xmm2
movsd -0x178(%rbp), %xmm0
mulsd -0x140(%rbp), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd -0x198(%rbp), %xmm0
movsd -0x138(%rbp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x1d0(%rbp)
movsd -0x1b0(%rbp), %xmm1
movsd -0x148(%rbp), %xmm2
movsd -0x170(%rbp), %xmm0
mulsd -0x140(%rbp), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd -0x190(%rbp), %xmm0
movsd -0x138(%rbp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x1c8(%rbp)
movl $0x0, -0x2dc(%rbp)
cmpl $0x6, -0x2dc(%rbp)
jge 0x519f
movslq -0x2dc(%rbp), %rax
movsd -0x250(%rbp,%rax,8), %xmm0
movslq -0x2dc(%rbp), %rax
subsd -0x1f0(%rbp,%rax,8), %xmm0
movslq -0x2dc(%rbp), %rax
movsd %xmm0, -0x280(%rbp,%rax,8)
movl -0x2dc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x2dc(%rbp)
jmp 0x5155
movq -0x358(%rbp), %rax
movsd 0x11ea2(%rip), %xmm0    # 0x17050
movsd %xmm0, -0x2e8(%rbp)
movsd 0x11e7a(%rip), %xmm0    # 0x17038
movsd %xmm0, -0x218(%rbp)
movq $0x0, -0x320(%rbp)
addq $0xd60, %rax            # imm = 0xD60
movq %rax, -0x328(%rbp)
movq -0x328(%rbp), %rdi
callq 0x6bb0
movq %rax, -0x330(%rbp)
movq -0x328(%rbp), %rdi
callq 0x6be0
movq %rax, -0x338(%rbp)
leaq -0x330(%rbp), %rdi
leaq -0x338(%rbp), %rsi
callq 0x6c10
testb $0x1, %al
jne 0x5220
jmp 0x52cf
leaq -0x330(%rbp), %rdi
callq 0x6c50
movq %rax, -0x340(%rbp)
movq -0x340(%rbp), %rax
movl (%rax), %eax
subl -0x114(%rbp), %eax
cvtsi2sd %eax, %xmm0
movq -0x340(%rbp), %rax
movsd 0x8(%rax), %xmm1
movsd 0x11dd6(%rip), %xmm2    # 0x17030
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
subsd -0x200(%rbp), %xmm0
movsd %xmm0, -0x210(%rbp)
movsd -0x218(%rbp), %xmm0
movsd -0x210(%rbp), %xmm1
movaps 0x11de7(%rip), %xmm2    # 0x17070
pand %xmm2, %xmm1
ucomisd %xmm1, %xmm0
jbe 0x52bc
movsd -0x210(%rbp), %xmm0
movaps 0x11dce(%rip), %xmm1    # 0x17070
pand %xmm1, %xmm0
movsd %xmm0, -0x218(%rbp)
movq -0x340(%rbp), %rax
movq %rax, -0x320(%rbp)
jmp 0x52be
leaq -0x330(%rbp), %rdi
callq 0x6c70
jmp 0x5204
movsd -0x218(%rbp), %xmm1
movsd -0x220(%rbp), %xmm0
ucomisd %xmm1, %xmm0
jbe 0x547c
cmpq $0x0, -0x320(%rbp)
je 0x547c
movq -0x320(%rbp), %rdi
addq $0x10, %rdi
movq -0x2a0(%rbp), %rsi
callq 0x6cc0
movq %rax, -0x348(%rbp)
movq -0x320(%rbp), %rdi
addq $0x10, %rdi
callq 0x6cf0
movq %rax, -0x350(%rbp)
leaq -0x348(%rbp), %rdi
leaq -0x350(%rbp), %rsi
callq 0x6c90
testb $0x1, %al
jne 0x5348
jmp 0x547a
movq -0x358(%rbp), %rax
addq $0x20, %rax
movq %rax, -0x3a8(%rbp)
movq -0x2a0(%rbp), %rdi
callq 0x3130
movq %rax, -0x3a0(%rbp)
movl -0x114(%rbp), %eax
movl %eax, -0x394(%rbp)
movsd -0x200(%rbp), %xmm0
movsd %xmm0, -0x390(%rbp)
movq -0x320(%rbp), %rdi
addq $0x10, %rdi
movq -0x2a0(%rbp), %rsi
callq 0x6d20
movq -0x3a8(%rbp), %rdi
movq -0x3a0(%rbp), %rsi
movl -0x394(%rbp), %edx
movsd -0x390(%rbp), %xmm0
movq %rax, %r8
addq $0x4, %r8
leaq -0x2f0(%rbp), %rcx
callq 0x13820
cmpl $0x0, %eax
je 0x5478
movq -0x320(%rbp), %rdi
addq $0x10, %rdi
movq -0x2a0(%rbp), %rsi
callq 0x6d20
movq 0x8(%rax), %rcx
movq %rcx, -0x310(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x308(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x300(%rbp)
movsd -0x310(%rbp), %xmm1
movsd -0x218(%rbp), %xmm0
movsd -0x308(%rbp), %xmm3
movsd -0x218(%rbp), %xmm2
movsd -0x300(%rbp), %xmm4
mulsd %xmm4, %xmm2
addsd %xmm3, %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x318(%rbp)
movsd -0x2f0(%rbp), %xmm0
movsd -0x318(%rbp), %xmm1
movsd 0x11bd8(%rip), %xmm2    # 0x17040
divsd %xmm2, %xmm1
subsd %xmm1, %xmm0
movsd %xmm0, -0x2e8(%rbp)
jmp 0x547a
jmp 0x547c
movq -0x10(%rbp), %rax
movq %rax, -0x3d0(%rbp)
movq -0x2a0(%rbp), %rdi
callq 0x3130
movq %rax, -0x3c8(%rbp)
movsd -0x280(%rbp), %xmm0
movsd 0x11bae(%rip), %xmm1    # 0x17058
divsd %xmm1, %xmm0
movsd %xmm0, -0x3c0(%rbp)
movsd -0x278(%rbp), %xmm0
movsd 0x11b92(%rip), %xmm1    # 0x17058
divsd %xmm1, %xmm0
movsd %xmm0, -0x3b8(%rbp)
movsd -0x270(%rbp), %xmm0
movsd 0x11b76(%rip), %xmm1    # 0x17058
divsd %xmm1, %xmm0
movsd %xmm0, -0x3b0(%rbp)
movsd -0x2e8(%rbp), %xmm0
movsd 0x11b52(%rip), %xmm1    # 0x17050
ucomisd %xmm1, %xmm0
jne 0x5508
jp 0x5508
jmp 0x5522
movsd 0x11b50(%rip), %xmm0    # 0x17060
mulsd -0x2e8(%rbp), %xmm0
movsd %xmm0, -0x3d8(%rbp)
jmp 0x5534
movsd 0x11b26(%rip), %xmm0    # 0x17050
movsd %xmm0, -0x3d8(%rbp)
jmp 0x5534
movsd -0x3b0(%rbp), %xmm2
movsd -0x3b8(%rbp), %xmm1
movsd -0x3c0(%rbp), %xmm0
movq -0x3c8(%rbp), %rdx
movq -0x3d0(%rbp), %rdi
movsd -0x3d8(%rbp), %xmm3
leaq 0x11c04(%rip), %rsi     # 0x1716d
movb $0x4, %al
callq 0x3400
leaq -0x290(%rbp), %rdi
callq 0x6e00
jmp 0x4c51
movl -0x114(%rbp), %edi
movsd -0x200(%rbp), %xmm0
movsd -0x208(%rbp), %xmm1
leaq -0x114(%rbp), %rsi
leaq -0x200(%rbp), %rdx
callq 0x15590
movq -0x358(%rbp), %rax
movl -0x114(%rbp), %ecx
subl 0x4(%rax), %ecx
cvtsi2sd %ecx, %xmm0
movsd -0x200(%rbp), %xmm1
movsd 0x11a62(%rip), %xmm2    # 0x17030
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
subsd 0x18(%rax), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x55e6
jmp 0x55eb
jmp 0x4b99
movq -0x10(%rbp), %rdi
callq 0x32b0
addq $0x3e0, %rsp            # imm = 0x3E0
popq %rbp
retq
nopl (%rax)