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

```asm
<main>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0xc0,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0xb8(%rsp)
  xor    %eax,%eax
  movsd  D28(%rip),%xmm8
  movsd  %xmm8,(%rsp)
  movsd  D66(%rip),%xmm0
  movsd  %xmm0,0x8(%rsp)
  movsd  D109(%rip),%xmm5
  movsd  %xmm5,0x10(%rsp)
  movsd  D67(%rip),%xmm4
  movsd  %xmm4,0x18(%rsp)
  movsd  D12(%rip),%xmm2
  movsd  %xmm2,0x20(%rsp)
  movsd  D58(%rip),%xmm6
  movsd  %xmm6,0x28(%rsp)
  movsd  D87(%rip),%xmm7
  movsd  %xmm7,0x30(%rsp)
  movsd  D119(%rip),%xmm3
  movsd  %xmm3,0x38(%rsp)
  movsd  %xmm0,0x40(%rsp)
  movsd  D39(%rip),%xmm9
  movsd  %xmm9,0x48(%rsp)
  movsd  D5(%rip),%xmm1
  movsd  %xmm1,0x50(%rsp)
  movsd  %xmm9,0x60(%rsp)
  movsd  %xmm8,0x68(%rsp)
  movsd  %xmm0,0x70(%rsp)
  movsd  %xmm0,0x78(%rsp)
  movsd  %xmm7,0x80(%rsp)
  movsd  %xmm6,0x88(%rsp)
  movsd  %xmm5,0x90(%rsp)
  movsd  %xmm4,0x98(%rsp)
  movsd  %xmm3,0xa0(%rsp)
  movsd  %xmm2,0xa8(%rsp)
  movsd  %xmm1,0xb0(%rsp)
  mov    %rsp,%rdi
  mov    $0xb,%esi
  call   <CSPL_Sort_mergesort@plt>
  mov    $0x0,%ebx
  mov    %rsp,%rbp
  lea    D54(%rip),%r12
L35:
  movsd  0x0(%rbp,%rbx,8),%xmm0
  mov    %rbx,%rsi
  mov    %r12,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movsd  0x60(%rsp,%rbx,8),%xmm0
  subsd  0x0(%rbp,%rbx,8),%xmm0
  andpd  D118(%rip),%xmm0
  movsd  D103(%rip),%xmm1
  comisd %xmm0,%xmm1
  jbe    L39
  add    $0x1,%rbx
  cmp    $0xb,%rbx
  jne    L35
  mov    $0x0,%eax
L2:
  mov    0xb8(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L33
  add    $0xc0,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L39:
  mov    $0x1,%eax
  jmp    L2
L33:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D28
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D66
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D109
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D67
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D12
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D58
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D87
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D119
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D39
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D5
type_guessed: byte[8]
name: extract_symbolic_data
arguments: label: D54
type_guessed: string
name: extract_symbolic_data
arguments: label: D118
type_guessed: qword[2]
name: extract_symbolic_data
arguments: label: D103
type_guessed: byte[8]

tool: {"D28": [0x00,0x00,0x00,0x00,0x00,0x00,0x2e,0x40]}

tool: {"D66": [0x00,0x00,0x00,0x00,0x00,0x00,0x34,0x40]}

tool: {"D109": [0x00,0x00,0x00,0x00,0x00,0x80,0x41,0x40]}

tool: {"D67": [0x00,0x00,0x00,0x00,0x00,0x00,0x44,0x40]}

tool: {"D12": [0x00,0x00,0x00,0x00,0x00,0x00,0x49,0x40]}

tool: {"D58": [0x00,0x00,0x00,0x00,0x00,0x00,0x41,0x40]}

tool: {"D87": [0x00,0x00,0x00,0x00,0x00,0x00,0x40,0x40]}

tool: {"D119": [0x00,0x00,0x00,0x00,0x00,0x80,0x45,0x40]}

tool: {"D39": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

tool: {"D5": [0x00,0x00,0x00,0x00,0x00,0x00,0x4e,0x40]}

tool: D54: CSPL_Sort_mergesort[%ld]=%lf


tool: {"D118": [0x7fffffffffffffff,0x0000000000000000]}

tool: {"D103": [0x48,0xaf,0xbc,0x9a,0xf2,0xd7,0x7a,0x3e]}

assistant: ```c
int main(void) {
  {
    double data1[11] = {15, 20, 35, 40, 50, 34, 32, 43, 20, 1, 60};
    double ans[11] = {1, 15, 20, 20, 32, 34, 35, 40, 43, 50, 60};
    long i;
    CSPL_Sort_mergesort(data1, 11);
    for (i = 0; i < 11; i++) {
      printf("CSPL_Sort_mergesort[%ld]=%lf\n", i, data1[i]);
      {
        if ((fabs((ans[i]) - (data1[i])) < (1e-7)) == 0)
          return (1);
      };
    }
  }
  return (0);
}
```