// File: /workspace/github_cpp_makefile_star2_O2/halfflat[P]tinyopt/test/googletest/googletest/src/gtest.cc
// Function: testing::internal::FormatEpochTimeInMillisAsIso8601[abi:cxx11](long)
std::string FormatEpochTimeInMillisAsIso8601(TimeInMillis ms) {
  struct tm time_struct;
  if (!PortableLocaltime(static_cast<time_t>(ms / 1000), &time_struct))
    return "";
  // YYYY-MM-DDThh:mm:ss.sss
  return StreamableToString(time_struct.tm_year + 1900) + "-" +
         String::FormatIntWidth2(time_struct.tm_mon + 1) + "-" +
         String::FormatIntWidth2(time_struct.tm_mday) + "T" +
         String::FormatIntWidth2(time_struct.tm_hour) + ":" +
         String::FormatIntWidth2(time_struct.tm_min) + ":" +
         String::FormatIntWidth2(time_struct.tm_sec) + "." +
         String::FormatIntWidthN(static_cast<int>(ms % 1000), 3);
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x280, %rsp            # imm = 0x280
movq %rsi, %rax
movq %rdi, %rbx
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rdx, %r14
leaq 0x228(%rsp), %rsi
movq %rax, %rdi
callq 0x43e5c
testb %al, %al
je 0x43cd9
movl $0x76c, %eax            # imm = 0x76C
addl 0x23c(%rsp), %eax
leaq 0x4(%rsp), %rsi
movl %eax, (%rsi)
leaq 0x260(%rsp), %r15
movq %r15, %rdi
callq 0x4c0e2
leaq 0x19026(%rip), %rdx     # 0x5ca79
leaq 0xe8(%rsp), %rdi
movq %r15, %rsi
callq 0x4c05c
movl 0x238(%rsp), %esi
incl %esi
leaq 0xc8(%rsp), %rdi
callq 0x3f96a
leaq 0x108(%rsp), %rdi
leaq 0xe8(%rsp), %rsi
leaq 0xc8(%rsp), %rdx
callq 0x4c07b
leaq 0x18fdc(%rip), %rdx     # 0x5ca79
leaq 0x128(%rsp), %rdi
leaq 0x108(%rsp), %rsi
callq 0x4c05c
movl 0x234(%rsp), %esi
leaq 0xa8(%rsp), %rdi
callq 0x3f96a
leaq 0x148(%rsp), %rdi
leaq 0x128(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x4c07b
leaq 0x19405(%rip), %rdx     # 0x5ceef
leaq 0x168(%rsp), %rdi
leaq 0x148(%rsp), %rsi
callq 0x4c05c
movl 0x230(%rsp), %esi
leaq 0x88(%rsp), %rdi
callq 0x3f96a
leaq 0x188(%rsp), %rdi
leaq 0x168(%rsp), %rsi
leaq 0x88(%rsp), %rdx
callq 0x4c07b
leaq 0x141b9(%rip), %rdx     # 0x57cf0
leaq 0x1a8(%rsp), %rdi
leaq 0x188(%rsp), %rsi
callq 0x4c05c
movl 0x22c(%rsp), %esi
leaq 0x68(%rsp), %rdi
callq 0x3f96a
leaq 0x1c8(%rsp), %rdi
leaq 0x1a8(%rsp), %rsi
leaq 0x68(%rsp), %rdx
callq 0x4c07b
leaq 0x14172(%rip), %rdx     # 0x57cf0
leaq 0x1e8(%rsp), %rdi
leaq 0x1c8(%rsp), %rsi
callq 0x4c05c
movl 0x228(%rsp), %esi
leaq 0x48(%rsp), %rdi
callq 0x3f96a
leaq 0x208(%rsp), %rdi
leaq 0x1e8(%rsp), %rsi
leaq 0x48(%rsp), %rdx
callq 0x4c07b
leaq 0x13c27(%rip), %rdx     # 0x577ec
leaq 0x8(%rsp), %rdi
leaq 0x208(%rsp), %rsi
callq 0x4c05c
leaq 0x28(%rsp), %rdi
pushq $0x3
popq %rdx
movl %r14d, %esi
callq 0x3f97c
leaq 0x8(%rsp), %rsi
leaq 0x28(%rsp), %rdx
movq %rbx, %rdi
callq 0x4c07b
leaq 0x28(%rsp), %rdi
callq 0xdbe8
leaq 0x8(%rsp), %rdi
callq 0xdbe8
leaq 0x208(%rsp), %rdi
callq 0xdbe8
leaq 0x48(%rsp), %rdi
callq 0xdbe8
leaq 0x1e8(%rsp), %rdi
callq 0xdbe8
leaq 0x1c8(%rsp), %rdi
callq 0xdbe8
leaq 0x68(%rsp), %rdi
callq 0xdbe8
leaq 0x1a8(%rsp), %rdi
callq 0xdbe8
leaq 0x188(%rsp), %rdi
callq 0xdbe8
leaq 0x88(%rsp), %rdi
callq 0xdbe8
leaq 0x168(%rsp), %rdi
callq 0xdbe8
leaq 0x148(%rsp), %rdi
callq 0xdbe8
leaq 0xa8(%rsp), %rdi
callq 0xdbe8
leaq 0x128(%rsp), %rdi
callq 0xdbe8
leaq 0x108(%rsp), %rdi
callq 0xdbe8
leaq 0xc8(%rsp), %rdi
callq 0xdbe8
leaq 0xe8(%rsp), %rdi
callq 0xdbe8
leaq 0x260(%rsp), %rdi
callq 0xdbe8
jmp 0x43ced
leaq 0x1538a(%rip), %rsi     # 0x5906a
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x1337a
movq %rbx, %rax
addq $0x280, %rsp            # imm = 0x280
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0xdbe8
jmp 0x43d0f
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xdbe8
jmp 0x43d1e
movq %rax, %rbx
leaq 0x208(%rsp), %rdi
callq 0xdbe8
jmp 0x43d30
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xdbe8
jmp 0x43d3f
movq %rax, %rbx
leaq 0x1e8(%rsp), %rdi
callq 0xdbe8
leaq 0x1c8(%rsp), %rdi
callq 0xdbe8
leaq 0x68(%rsp), %rdi
callq 0xdbe8
leaq 0x1a8(%rsp), %rdi
callq 0xdbe8
leaq 0x188(%rsp), %rdi
callq 0xdbe8
leaq 0x88(%rsp), %rdi
callq 0xdbe8
leaq 0x168(%rsp), %rdi
callq 0xdbe8
leaq 0x148(%rsp), %rdi
callq 0xdbe8
leaq 0xa8(%rsp), %rdi
callq 0xdbe8
leaq 0x128(%rsp), %rdi
callq 0xdbe8
leaq 0x108(%rsp), %rdi
callq 0xdbe8
leaq 0xc8(%rsp), %rdi
callq 0xdbe8
leaq 0xe8(%rsp), %rdi
callq 0xdbe8
leaq 0x260(%rsp), %rdi
callq 0xdbe8
movq %rbx, %rdi
callq 0xdaa0
movq %rax, %rbx
jmp 0x43d4c
movq %rax, %rbx
jmp 0x43d59
movq %rax, %rbx
jmp 0x43d63
movq %rax, %rbx
jmp 0x43d70
movq %rax, %rbx
jmp 0x43d7d
movq %rax, %rbx
jmp 0x43d8a
movq %rax, %rbx
jmp 0x43d97
movq %rax, %rbx
jmp 0x43da4
movq %rax, %rbx
jmp 0x43db1
movq %rax, %rbx
jmp 0x43dbe
movq %rax, %rbx
jmp 0x43dcb
movq %rax, %rbx
jmp 0x43dd8
movq %rax, %rbx
jmp 0x43de5