// File: /workspace/github_c_makefile_star2_O3/ArtifexSoftware[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 0xb17a(%rip), %xmm0     # 0x2b4d8
callq 0x3370
movsd 0xb175(%rip), %xmm1     # 0x2b4e0
callq 0x31b0
movapd %xmm0, 0x60(%rsp)
movsd (%rsp), %xmm0
divsd 0xb165(%rip), %xmm0     # 0x2b4e8
callq 0x3370
movsd 0xb160(%rip), %xmm1     # 0x2b4f0
callq 0x31b0
movapd %xmm0, 0x40(%rsp)
movsd 0xb155(%rip), %xmm1     # 0x2b4f8
movsd (%rsp), %xmm0
divsd %xmm1, %xmm0
callq 0x3370
movsd 0xb137(%rip), %xmm1     # 0x2b4f0
callq 0x31b0
movapd %xmm0, 0x30(%rsp)
movsd (%rsp), %xmm0
movsd 0xb127(%rip), %xmm1     # 0x2b4f8
callq 0x31b0
movaps %xmm0, 0x50(%rsp)
movapd 0xb02d(%rip), %xmm0     # 0x2b410
andpd 0x10(%rsp), %xmm0
movapd %xmm0, (%rsp)
divsd 0xb0e2(%rip), %xmm0     # 0x2b4d8
callq 0x3370
movsd 0xb0dd(%rip), %xmm1     # 0x2b4e0
callq 0x31b0
movapd %xmm0, 0x20(%rsp)
movapd (%rsp), %xmm0
divsd 0xb0cd(%rip), %xmm0     # 0x2b4e8
callq 0x3370
movsd 0xb0c8(%rip), %xmm1     # 0x2b4f0
callq 0x31b0
btrq $0x3f, %r14
movabsq $0x7fefffffffffffff, %rax # imm = 0x7FEFFFFFFFFFFFFF
cmpq %rax, %r14
jle 0x2044d
leaq 0x13ddb(%rip), %rbx     # 0x34223
jmp 0x20592
movapd 0x60(%rsp), %xmm5
movapd %xmm5, %xmm2
movsd 0xb081(%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 0xb05e(%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 0xb019(%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 0x20524
jp 0x20524
leaq 0x13d2d(%rip), %rsi     # 0x34245
movq %rbx, %rdi
xorl %eax, %eax
callq 0x3220
jmp 0x20592
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 0x20579
leaq 0x13ce3(%rip), %rsi     # 0x3425a
jmp 0x20580
leaq 0x13cf8(%rip), %rsi     # 0x34278
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