user: 下面的汇编指令对应的C源代码是什么:

```asm
<file_name>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r12
  push   %rbx
  sub    $0x30,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %edx,-0x34(%rbp)
  cmpq   $0x0,-0x30(%rbp)
  je     L10
  mov    -0x28(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,-0x14(%rbp)
  jmp    L3
L44:
  mov    -0x14(%rbp),%eax
  cltq
  lea    -0x1(%rax),%rdx
  mov    -0x28(%rbp),%rax
  lea    (%rdx,%rax,1),%rbx
  mov    -0x14(%rbp),%eax
  movslq %eax,%r12
  mov    -0x30(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  lea    (%r12,%rax,1),%rdx
  mov    -0x28(%rbp),%rax
  add    %rax,%rdx
  movzbl (%rbx),%eax
  mov    %al,(%rdx)
  subl   $0x1,-0x14(%rbp)
L3:
  cmpl   $0x0,-0x14(%rbp)
  jg     L44
  mov    -0x30(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    -0x28(%rbp),%rdx
  add    %rdx,%rax
  movb   $0x2f,(%rax)
  movl   $0x0,-0x14(%rbp)
  jmp    L42
L26:
  mov    -0x14(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  mov    -0x14(%rbp),%edx
  movslq %edx,%rcx
  mov    -0x28(%rbp),%rdx
  add    %rcx,%rdx
  movzbl (%rax),%eax
  mov    %al,(%rdx)
  addl   $0x1,-0x14(%rbp)
L42:
  mov    -0x14(%rbp),%eax
  movslq %eax,%rbx
  mov    -0x30(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  cmp    %rax,%rbx
  jb     L26
L10:
  mov    -0x28(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,-0x14(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x5,%edx
  sar    $0x1f,%eax
  mov    %edx,%ecx
  sub    %eax,%ecx
  mov    -0x14(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x28(%rbp),%rax
  add    %rax,%rdx
  movslq %ecx,%rax
  lea    D10(%rip),%rcx
  movzbl (%rax,%rcx,1),%eax
  mov    %al,(%rdx)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x51eb851f,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x5,%edx
  mov    %eax,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%edx
  imul   $0x64,%edx,%edx
  sub    %edx,%eax
  mov    %eax,-0x34(%rbp)
  mov    -0x34(%rbp),%eax
  movslq %eax,%rdx
  imul   $0x66666667,%rdx,%rdx
  shr    $0x20,%rdx
  sar    $0x2,%edx
  sar    $0x1f,%eax
  mov    %edx,%ecx
  sub    %eax,%ecx
  mov    -0x14(%rbp),%eax
  cltq
  lea    0x1(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rax,%rdx
  movslq %ecx,%rax
  lea    D10(%rip),%rcx
  movzbl (%rax,%rcx,1),%eax
  mov    %al,(%rdx)
  mov    -0x34(%rbp),%edx
  movslq %edx,%rax
  imul   $0x66666667,%rax,%rax
  shr    $0x20,%rax
  sar    $0x2,%eax
  mov    %edx,%esi
  sar    $0x1f,%esi
  sub    %esi,%eax
  mov    %eax,%ecx
  mov    %ecx,%eax
  shl    $0x2,%eax
  add    %ecx,%eax
  add    %eax,%eax
  sub    %eax,%edx
  mov    %edx,-0x34(%rbp)
  mov    -0x14(%rbp),%eax
  cltq
  lea    0x2(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rax,%rdx
  mov    -0x34(%rbp),%eax
  cltq
  lea    D10(%rip),%rcx
  movzbl (%rax,%rcx,1),%eax
  mov    %al,(%rdx)
  mov    -0x14(%rbp),%eax
  cltq
  lea    0x3(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movb   $0x2e,(%rax)
  mov    -0x14(%rbp),%eax
  cltq
  lea    0x4(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movb   $0x6f,(%rax)
  mov    -0x14(%rbp),%eax
  cltq
  lea    0x5(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movb   $0x64,(%rax)
  mov    -0x14(%rbp),%eax
  cltq
  lea    0x6(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movb   $0x73,(%rax)
  mov    -0x14(%rbp),%eax
  cltq
  lea    0x7(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movb   $0x0,(%rax)
  nop
  add    $0x30,%rsp
  pop    %rbx
  pop    %r12
  pop    %rbp
  ret
```

assistant: ```c
void file_name(char *name, char *work_dir, int task_number) {
  static char name0[] = {'0', '1', '2', '3', '4', '5', '6', '7', '8', '9'};
  int index;
  if (work_dir != '\0') {
    for (index = strlen(name); index > 0; index--)
      name[index + strlen(work_dir)] = name[index - 1];
    name[strlen(work_dir)] = '/';
    for (index = 0; index < strlen(work_dir); index++)
      name[index] = work_dir[index];
  }
  index = strlen(name);
  name[index] = name0[task_number / 100];
  task_number %= 100;
  name[index + 1] = name0[task_number / 10];
  task_number %= 10;
  name[index + 2] = name0[task_number];
  name[index + 3] = '.';
  name[index + 4] = 'o';
  name[index + 5] = 'd';
  name[index + 6] = 's';
  name[index + 7] = '\0';
}
```