// File: /workspace/github_c_makefile_star2_O1/ccxvii[P]mujs/./jsdate.c
// Function: fmttime
static char *fmttime(char *buf, double t, double tza)
{
	int H = HourFromTime(t);
	int M = MinFromTime(t);
	int S = SecFromTime(t);
	int ms = msFromTime(t);
	int tzh = HourFromTime(fabs(tza));
	int tzm = MinFromTime(fabs(tza));
	if (!isfinite(t))
		return "Invalid Date";
	if (tza == 0)
		sprintf(buf, "%02d:%02d:%02d.%03dZ", H, M, S, ms);
	else if (tza < 0)
		sprintf(buf, "%02d:%02d:%02d.%03d-%02d:%02d", H, M, S, ms, tzh, tzm);
	else
		sprintf(buf, "%02d:%02d:%02d.%03d+%02d:%02d", H, M, S, ms, tzh, tzm);
	return buf;
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x78, %rsp
movaps %xmm1, 0x10(%rsp)
movq %xmm0, (%rsp)
movq %rdi, %rbx
movq %xmm0, %r14
divsd 0xaf0b(%rip), %xmm0     # 0x2b4d8
callq 0x3370
movsd 0xaf06(%rip), %xmm1     # 0x2b4e0
callq 0x31b0
movapd %xmm0, 0x60(%rsp)
movsd (%rsp), %xmm0
divsd 0xaef6(%rip), %xmm0     # 0x2b4e8
callq 0x3370
movsd 0xaef1(%rip), %xmm1     # 0x2b4f0
callq 0x31b0
movapd %xmm0, 0x40(%rsp)
movsd 0xaee6(%rip), %xmm1     # 0x2b4f8
movsd (%rsp), %xmm0
divsd %xmm1, %xmm0
callq 0x3370
movsd 0xaec8(%rip), %xmm1     # 0x2b4f0
callq 0x31b0
movapd %xmm0, 0x30(%rsp)
movsd (%rsp), %xmm0
movsd 0xaeb8(%rip), %xmm1     # 0x2b4f8
callq 0x31b0
movaps %xmm0, 0x50(%rsp)
movapd 0xadbe(%rip), %xmm0     # 0x2b410
andpd 0x10(%rsp), %xmm0
movapd %xmm0, (%rsp)
divsd 0xae73(%rip), %xmm0     # 0x2b4d8
callq 0x3370
movsd 0xae6e(%rip), %xmm1     # 0x2b4e0
callq 0x31b0
movapd %xmm0, 0x20(%rsp)
movapd (%rsp), %xmm0
divsd 0xae5e(%rip), %xmm0     # 0x2b4e8
callq 0x3370
movsd 0xae59(%rip), %xmm1     # 0x2b4f0
callq 0x31b0
btrq $0x3f, %r14
movabsq $0x7fefffffffffffff, %rax # imm = 0x7FEFFFFFFFFFFFFF
cmpq %rax, %r14
jle 0x206bc
leaq 0x13b3c(%rip), %rbx     # 0x341f3
jmp 0x20801
movapd 0x60(%rsp), %xmm5
movapd %xmm5, %xmm2
movsd 0xae12(%rip), %xmm4     # 0x2b4e0
addsd %xmm4, %xmm2
xorpd %xmm1, %xmm1
movapd %xmm5, %xmm3
cmpltsd %xmm1, %xmm3
andpd %xmm3, %xmm2
andnpd %xmm5, %xmm3
orpd %xmm2, %xmm3
cvttsd2si %xmm3, %edx
movapd 0x40(%rsp), %xmm6
movapd %xmm6, %xmm2
movsd 0xadef(%rip), %xmm5     # 0x2b4f0
addsd %xmm5, %xmm2
movapd %xmm6, %xmm3
cmpltsd %xmm1, %xmm3
andpd %xmm3, %xmm2
andnpd %xmm6, %xmm3
orpd %xmm2, %xmm3
cvttsd2si %xmm3, %ecx
movapd 0x30(%rsp), %xmm6
movapd %xmm6, %xmm2
addsd %xmm5, %xmm2
movapd %xmm6, %xmm3
cmpltsd %xmm1, %xmm3
andpd %xmm3, %xmm2
andnpd %xmm6, %xmm3
orpd %xmm2, %xmm3
cvttsd2si %xmm3, %r8d
movsd 0xadaa(%rip), %xmm3     # 0x2b4f8
movapd 0x50(%rsp), %xmm6
addsd %xmm6, %xmm3
movapd %xmm6, %xmm2
cmpltsd %xmm1, %xmm2
andpd %xmm2, %xmm3
andnpd %xmm6, %xmm2
orpd %xmm3, %xmm2
cvttsd2si %xmm2, %r9d
movapd 0x10(%rsp), %xmm3
ucomisd %xmm1, %xmm3
jne 0x20793
jp 0x20793
leaq 0x13a8e(%rip), %rsi     # 0x34215
movq %rbx, %rdi
xorl %eax, %eax
callq 0x3220
jmp 0x20801
movapd 0x20(%rsp), %xmm6
addsd %xmm6, %xmm4
movapd %xmm6, %xmm2
cmpltsd %xmm1, %xmm2
andpd %xmm2, %xmm4
andnpd %xmm6, %xmm2
orpd %xmm4, %xmm2
cvttsd2si %xmm2, %r10d
addsd %xmm0, %xmm5
movapd %xmm0, %xmm2
cmpltsd %xmm1, %xmm2
andpd %xmm2, %xmm5
andnpd %xmm0, %xmm2
orpd %xmm5, %xmm2
cvttsd2si %xmm2, %r11d
xorpd %xmm0, %xmm0
ucomisd %xmm3, %xmm0
jbe 0x207e8
leaq 0x13a44(%rip), %rsi     # 0x3422a
jmp 0x207ef
leaq 0x13a59(%rip), %rsi     # 0x34248
movq %rbx, %rdi
xorl %eax, %eax
pushq %r11
pushq %r10
callq 0x3220
addq $0x10, %rsp
movq %rbx, %rax
addq $0x78, %rsp
popq %rbx
popq %r14
retq