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

```asm
<string_commas_double>:
  endbr64
  push   %rbp
  push   %rbx
  sub    $0x568,%rsp
  movq   %xmm0,%rbx
  mov    %fs:0x28,%rax
  mov    %rax,0x558(%rsp)
  xor    %eax,%eax
  pxor   %xmm1,%xmm1
  call   <double_virtually_same@plt>
  test   %rax,%rax
  je     L109
  mov    D22(%rip),%rbx
L109:
  lea    0xd0(%rsp),%rbp
  movq   %rbx,%xmm0
  lea    D28(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x1,%eax
  call   <sprintf@plt>
  lea    0x10(%rsp),%rbx
  mov    $0x0,%ecx
  mov    %rbp,%rdx
  mov    $0x2e,%esi
  mov    %rbx,%rdi
  call   <piece@plt>
  lea    0x8(%rsp),%rdi
  mov    $0x1,%ecx
  mov    %rbp,%rdx
  mov    $0x2e,%esi
  call   <piece@plt>
  mov    %rbx,%rdi
  call   <strlen@plt>
  cltq
  lea    -0x1(%rbx,%rax,1),%rax
  cmp    %rbx,%rax
  jb     L99
  mov    $0x0,%edi
  lea    0x90(%rsp),%rdx
  mov    %rbx,%r9
  lea    0xf(%rsp),%r8
  jmp    L104
L71:
  movb   $0x2c,0x1(%rdx)
  lea    0x2(%rdx),%rdx
  jmp    L63
L73:
  mov    %rsi,%rdx
L63:
  sub    $0x1,%rax
  cmp    %r8,%rax
  je     L5
L104:
  lea    0x1(%rdx),%rsi
  movzbl (%rax),%ecx
  mov    %cl,(%rdx)
  cmp    %r9,%rax
  jbe    L73
  cmpb   $0x2d,-0x1(%rax)
  je     L22
  add    $0x1,%edi
  movslq %edi,%rcx
  imul   $0x55555556,%rcx,%rcx
  shr    $0x20,%rcx
  mov    %edi,%r10d
  sar    $0x1f,%r10d
  sub    %r10d,%ecx
  lea    (%rcx,%rcx,2),%ecx
  cmp    %ecx,%edi
  je     L71
  mov    %rsi,%rdx
  jmp    L63
L22:
  mov    %rsi,%rdx
  jmp    L63
L99:
  lea    0x90(%rsp),%rdx
L5:
  movb   $0x0,(%rdx)
  lea    0x90(%rsp),%rsi
  lea    0x50(%rsp),%rbp
  mov    %rbp,%rdi
  call   <reverse_string@plt>
  lea    0x8(%rsp),%rcx
  lea    0x150(%rsp),%rbx
  mov    %rbp,%rdx
  lea    D21(%rip),%rsi
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  mov    %rbx,%rdi
  call   <strdup@plt>
  mov    0x558(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L65
  add    $0x568,%rsp
  pop    %rbx
  pop    %rbp
  ret
L65:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D22
datatype: f64
name: extract_symbolic_data
arguments: label: D28
datatype: string
name: extract_symbolic_data
arguments: label: D21
datatype: string

tool: D22: 0

tool: D28: %.3lf

tool: D21: %s.%s

assistant: ```c
char *string_commas_double(double d) {
  char integer_part[64];
  char buffer[64];
  char decimal_part[8];
  char d_string[128];
  char reversed_integer[64];
  char *reversed_integer_pointer = reversed_integer;
  char *integer_part_pointer;
  int counter = 0;
  char destination[1024];
  if (double_virtually_same(d, 0.0))
    d = 0.0;
  sprintf(d_string, "%.3lf", d);
  piece(integer_part, '.', d_string, 0);
  piece(decimal_part, '.', d_string, 1);
  integer_part_pointer = integer_part + strlen(integer_part) - 1;
  while (integer_part_pointer >= integer_part) {
    *reversed_integer_pointer++ = *integer_part_pointer;
    if (integer_part_pointer > integer_part && *(integer_part_pointer - 1) != '-') {
      if (!(++counter % 3)) {
        if (integer_part_pointer != integer_part) {
          *reversed_integer_pointer++ = ',';
        }
      }
    }
    integer_part_pointer--;
  }
  *reversed_integer_pointer = '\0';
  reverse_string(buffer, reversed_integer);
  sprintf(destination, "%s.%s", buffer, decimal_part);
  return strdup(destination);
}
```