user: 请从给定的汇编指令推导出C源代码：

```asm
<int64tostrtime>:
  endbr64
  push   %rbx
  mov    %rsi,%rbx
  sub    $0x30,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x28(%rsp)
  xor    %eax,%eax
  lea    0x10(%rsp),%rsi
  mov    %edi,0xc(%rsp)
  lea    0xc(%rsp),%rdi
  call   <gmtime_r@plt>
  mov    0x10(%rsp),%eax
  movb   $0x2d,0x4(%rbx)
  movb   $0x2d,0x7(%rbx)
  lea    0x76c(%rax),%edx
  movb   $0x54,0xa(%rbx)
  movslq %edx,%rax
  mov    %edx,%ecx
  movb   $0x3a,0xd(%rbx)
  imul   $0x66666667,%rax,%rax
  sar    $0x1f,%ecx
  movb   $0x3a,0x10(%rbx)
  sar    $0x22,%rax
  sub    %ecx,%eax
  lea    (%rax,%rax,4),%ecx
  add    %ecx,%ecx
  sub    %ecx,%edx
  mov    %eax,%ecx
  add    $0x30,%edx
  sar    $0x1f,%ecx
  mov    %dl,0x3(%rbx)
  movslq %eax,%rdx
  imul   $0x66666667,%rdx,%rdx
  sar    $0x22,%rdx
  sub    %ecx,%edx
  lea    (%rdx,%rdx,4),%ecx
  add    %ecx,%ecx
  sub    %ecx,%eax
  mov    %edx,%ecx
  add    $0x30,%eax
  sar    $0x1f,%ecx
  mov    %al,0x2(%rbx)
  movslq %edx,%rax
  imul   $0x66666667,%rax,%rax
  sar    $0x22,%rax
  sub    %ecx,%eax
  lea    (%rax,%rax,4),%ecx
  add    %ecx,%ecx
  sub    %ecx,%edx
  mov    %eax,%ecx
  add    $0x30,%edx
  sar    $0x1f,%ecx
  mov    %dl,0x1(%rbx)
  movslq %eax,%rdx
  imul   $0x66666667,%rdx,%rdx
  sar    $0x22,%rdx
  sub    %ecx,%edx
  lea    (%rdx,%rdx,4),%edx
  add    %edx,%edx
  sub    %edx,%eax
  add    $0x30,%eax
  mov    %al,(%rbx)
  mov    0x14(%rsp),%eax
  add    $0x1,%eax
  movslq %eax,%rdx
  mov    %eax,%ecx
  imul   $0x66666667,%rdx,%rdx
  sar    $0x1f,%ecx
  sar    $0x22,%rdx
  sub    %ecx,%edx
  lea    0x30(%rdx),%ecx
  lea    (%rdx,%rdx,4),%edx
  add    %edx,%edx
  mov    %cl,0x5(%rbx)
  sub    %edx,%eax
  add    $0x30,%eax
  mov    %al,0x6(%rbx)
  movslq 0x18(%rsp),%rax
  mov    %rax,%rdx
  imul   $0x66666667,%rax,%rax
  mov    %edx,%ecx
  sar    $0x1f,%ecx
  sar    $0x22,%rax
  sub    %ecx,%eax
  lea    0x30(%rax),%ecx
  lea    (%rax,%rax,4),%eax
  add    %eax,%eax
  mov    %cl,0x8(%rbx)
  sub    %eax,%edx
  movslq 0x1c(%rsp),%rax
  add    $0x30,%edx
  mov    %dl,0x9(%rbx)
  mov    %rax,%rdx
  imul   $0x66666667,%rax,%rax
  mov    %edx,%ecx
  sar    $0x1f,%ecx
  sar    $0x22,%rax
  sub    %ecx,%eax
  lea    0x30(%rax),%ecx
  lea    (%rax,%rax,4),%eax
  add    %eax,%eax
  mov    %cl,0xb(%rbx)
  sub    %eax,%edx
  movslq 0x20(%rsp),%rax
  add    $0x30,%edx
  mov    %dl,0xc(%rbx)
  mov    %rax,%rdx
  imul   $0x66666667,%rax,%rax
  mov    %edx,%ecx
  sar    $0x1f,%ecx
  sar    $0x22,%rax
  sub    %ecx,%eax
  lea    0x30(%rax),%ecx
  lea    (%rax,%rax,4),%eax
  add    %eax,%eax
  mov    %cl,0xe(%rbx)
  sub    %eax,%edx
  movslq 0x24(%rsp),%rax
  add    $0x30,%edx
  mov    %dl,0xf(%rbx)
  mov    %rax,%rdx
  imul   $0xffffffff88888889,%rax,%rax
  mov    %edx,%ecx
  shr    $0x20,%rax
  add    %edx,%eax
  sar    $0x5,%eax
  sar    $0x1f,%ecx
  sub    %ecx,%eax
  imul   $0x3c,%eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  movslq %eax,%rdx
  mov    %eax,%ecx
  imul   $0x66666667,%rdx,%rdx
  sar    $0x1f,%ecx
  sar    $0x22,%rdx
  sub    %ecx,%edx
  lea    0x30(%rdx),%ecx
  lea    (%rdx,%rdx,4),%edx
  add    %edx,%edx
  mov    %cl,0x11(%rbx)
  sub    %edx,%eax
  add    $0x30,%eax
  mov    %al,0x12(%rbx)
  mov    $0x5a,%eax
  mov    %ax,0x13(%rbx)
  mov    0x28(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L7
  add    $0x30,%rsp
  pop    %rbx
  ret
L7:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void int64tostrtime(uint64_t v, char *sp) {
  time_t vtime;
  struct tm tm;
  int i;
  vtime = v;
  gmtime_r(&vtime, &tm);
  i = tm.tm_year + 1900;
  sp += 3;
  *sp-- = i % 10 + '0';
  i /= 10;
  *sp-- = i % 10 + '0';
  i /= 10;
  *sp-- = i % 10 + '0';
  i /= 10;
  *sp = i % 10 + '0';
  sp += 4;
  *sp++ = '-';
  i = tm.tm_mon + 1;
  *sp++ = i / 10 + '0';
  *sp++ = i % 10 + '0';
  *sp++ = '-';
  i = tm.tm_mday;
  *sp++ = i / 10 + '0';
  *sp++ = i % 10 + '0';
  *sp++ = 'T';
  i = tm.tm_hour;
  *sp++ = i / 10 + '0';
  *sp++ = i % 10 + '0';
  *sp++ = ':';
  i = tm.tm_min;
  *sp++ = i / 10 + '0';
  *sp++ = i % 10 + '0';
  *sp++ = ':';
  i = tm.tm_sec % 60;
  *sp++ = i / 10 + '0';
  *sp++ = i % 10 + '0';
  *sp++ = 'Z';
  *sp = 0;
}
```