user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  movl   $0x0,-0x24(%rbp)
  movl   $0x1,-0x20(%rbp)
  movl   $0x2,-0x1c(%rbp)
  movl   $0x3,-0x18(%rbp)
  movl   $0x4,-0x14(%rbp)
  movsd  D7(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  D3(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x20(%rbp),%edx
  mov    -0x1c(%rbp),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x18(%rbp),%edx
  mov    -0x14(%rbp),%eax
  imul   %edx,%eax
  add    %ecx,%eax
  mov    -0x24(%rbp),%edx
  sub    %edx,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x1c(%rbp),%edx
  mov    -0x18(%rbp),%eax
  imul   %edx,%eax
  mov    -0x24(%rbp),%ecx
  mov    -0x20(%rbp),%edx
  add    %ecx,%edx
  mov    %eax,%esi
  mov    %edx,%edi
  call   <func1@plt>
  add    $0xa,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x1c(%rbp),%edx
  mov    -0x18(%rbp),%eax
  imul   %edx,%eax
  mov    -0x24(%rbp),%ecx
  mov    -0x20(%rbp),%edx
  add    %ecx,%edx
  mov    %eax,%esi
  mov    %edx,%edi
  call   <func1@plt>
  add    $0xa,%eax
  mov    %eax,-0x14(%rbp)
  movl   $0x0,-0x24(%rbp)
  movl   $0x0,-0x14(%rbp)
  jmp    L12
L20:
  mov    -0x24(%rbp),%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x24(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x24(%rbp)
L12:
  mov    -0x24(%rbp),%eax
  cmp    $0xe,%eax
  jle    L20
  movl   $0x0,-0x24(%rbp)
  movl   $0x0,-0x14(%rbp)
  jmp    L32
L74:
  mov    -0x24(%rbp),%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x24(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x24(%rbp)
L32:
  mov    -0x24(%rbp),%eax
  cmp    $0xe,%eax
  jle    L74
  movl   $0x1,-0x1c(%rbp)
  movl   $0x0,-0x24(%rbp)
  jmp    L1
L36:
  movl   $0x0,-0x20(%rbp)
  jmp    L88
L66:
  mov    -0x24(%rbp),%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  -0x8(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x20(%rbp),%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x24(%rbp),%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  -0x10(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x20(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x20(%rbp)
L88:
  mov    -0x20(%rbp),%eax
  cmp    $0xfffe,%eax
  jg     L18
  mov    -0x1c(%rbp),%eax
  test   %eax,%eax
  jne    L66
L18:
  mov    -0x24(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x24(%rbp)
L1:
  mov    -0x24(%rbp),%eax
  cmp    $0xfffe,%eax
  jg     L17
  mov    -0x1c(%rbp),%eax
  test   %eax,%eax
  jne    L36
L17:
  mov    -0x20(%rbp),%edx
  mov    -0x1c(%rbp),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x18(%rbp),%edx
  mov    -0x14(%rbp),%eax
  imul   %edx,%eax
  add    %ecx,%eax
  mov    -0x24(%rbp),%edx
  sub    %edx,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x20(%rbp),%edx
  mov    -0x1c(%rbp),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x18(%rbp),%edx
  mov    -0x14(%rbp),%eax
  imul   %edx,%eax
  add    %ecx,%eax
  mov    -0x24(%rbp),%edx
  sub    %edx,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x20(%rbp),%edx
  mov    -0x1c(%rbp),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x18(%rbp),%edx
  mov    -0x14(%rbp),%eax
  imul   %edx,%eax
  add    %ecx,%eax
  mov    -0x24(%rbp),%edx
  sub    %edx,%eax
  mov    %eax,-0x24(%rbp)
  mov    $0x0,%eax
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D7
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D3
type_guessed: f64

tool: D7: 1

tool: D3: 2

assistant: ```c
int main(void) {
  volatile int a = 0;
  volatile int b = 1;
  volatile int c = 2;
  volatile int d = 3;
  volatile int e = 4;
  volatile double d1 = 1.0;
  volatile double d2 = 2.0;
  do {
    a = b + c + d * e - a;
  } while (0);
  e = 10 + func1(a + b, c * d);
  e = 10 + func1(a + b, c * d);
  do {
    for (a = 0, e = 0; a < 15; a++)
      e += a;
  } while (0);
  do {
    for (a = 0, e = 0; a < 15; a++)
      e += a;
  } while (0);
  do {
    for (c = 1, a = 0; a < 65535 && c; a++)
      for (b = 0; b < 65535 && c; b++) {
        d1 = d2 * a / b;
        d2 = d1 * a;
      }
  } while (0);
  do {
    a = b + c + d * e - a;
  } while (0);
  do {
    a = b + c + d * e - a;
  } while (0);
  do {
    a = b + c + d * e - a;
  } while (0);
  return 0;
}
```