user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<sint1>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  mov    %edi,%r13d
  push   %r12
  mov    %r8,%r12
  push   %rbp
  mov    %rsi,%rbp
  push   %rbx
  mov    %rcx,%rbx
  sub    $0x18,%rsp
  test   %edi,%edi
  jle    L115
  movslq %edi,%r14
  xor    %eax,%eax
  nopl   0x0(%rax,%rax,1)
L63:
  movsd  0x0(%rbp,%rax,8),%xmm0
  movsd  %xmm0,(%rbx,%rax,8)
  movsd  (%r12,%rax,8),%xmm0
  movsd  %xmm0,0x0(%rbp,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%r14
  jne    L63
  cmp    $0x1,%r13d
  jle    L115
  cmp    $0x2,%r13d
  je     L17
  mov    %r13d,%esi
  movq   $0x0,(%r12)
  lea    0x0(,%r14,8),%r15
  xor    %eax,%eax
  sar    %esi
  lea    0x1(%r13),%edi
  mov    %r15,%rcx
  movslq %esi,%rsi
  nopl   (%rax)
L90:
  movsd  -0x8(%rbx,%rcx,1),%xmm2
  movsd  (%rbx,%rax,8),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm2,%xmm0
  mulsd  (%rdx,%rax,8),%xmm0
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  subsd  %xmm1,%xmm0
  movsd  %xmm2,0x8(%r12,%rax,8)
  add    $0x1,%rax
  movsd  %xmm0,(%r12,%rcx,1)
  sub    $0x8,%rcx
  cmp    %rax,%rsi
  jne    L90
  mov    %r13d,%eax
  and    $0x1,%eax
  mov    %eax,0xc(%rsp)
  jne    L118
L73:
  mov    %r9,%r8
  mov    %rbp,%rcx
  mov    %rbx,%rdx
  mov    %r12,%rsi
  call   <rfftf1@plt>
  movsd  D19(%rip),%xmm0
  mulsd  (%r12),%xmm0
  mov    $0x2,%eax
  movq   D26(%rip),%xmm1
  movsd  %xmm0,(%rbx)
  nopw   0x0(%rax,%rax,1)
L79:
  movsd  (%r12,%rax,8),%xmm0
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbx,%rax,8)
  movsd  -0x10(%rbx,%rax,8),%xmm0
  addsd  -0x8(%r12,%rax,8),%xmm0
  movsd  %xmm0,(%rbx,%rax,8)
  add    $0x2,%rax
  cmp    %eax,%r13d
  jg     L79
  mov    0xc(%rsp),%eax
  test   %eax,%eax
  je     L98
L20:
  xor    %eax,%eax
  nopl   0x0(%rax)
L106:
  movsd  0x0(%rbp,%rax,8),%xmm0
  movsd  %xmm0,(%r12,%rax,8)
  movsd  (%rbx,%rax,8),%xmm0
  movsd  %xmm0,0x0(%rbp,%rax,8)
  add    $0x1,%rax
  cmp    %eax,%r13d
  jg     L106
L65:
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nop
L17:
  movsd  (%rbx),%xmm0
  movsd  0x8(%rbx),%xmm3
  movsd  D18(%rip),%xmm2
  movapd %xmm0,%xmm1
  addsd  %xmm3,%xmm0
  subsd  %xmm3,%xmm1
  mulsd  %xmm2,%xmm0
  mulsd  %xmm2,%xmm1
  movsd  %xmm0,(%rbx)
  movsd  %xmm1,0x8(%rbx)
  jmp    L20
L115:
  movsd  (%rbx),%xmm0
  addsd  %xmm0,%xmm0
  movsd  %xmm0,(%rbx)
  cmp    $0x1,%r13d
  jne    L65
  movsd  0x0(%rbp),%xmm0
  movsd  %xmm0,(%r12)
  movsd  (%rbx),%xmm0
  movsd  %xmm0,0x0(%rbp)
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L98:
  movsd  (%r12,%r14,8),%xmm0
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbx,%r15,1)
  jmp    L20
  xchg   %ax,%ax
L118:
  movsd  D34(%rip),%xmm0
  mulsd  (%rbx,%rsi,8),%xmm0
  movsd  %xmm0,0x8(%r12,%rsi,8)
  jmp    L73
```

tool_calls: name: extract_symbolic_data
arguments: label: D19
type: f64
name: extract_symbolic_data
arguments: label: D26
type: byte[8]
name: extract_symbolic_data
arguments: label: D18
type: f64
name: extract_symbolic_data
arguments: label: D34
type: byte[8]

tool: D19: 0.5

tool: {"D26": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80]}

tool: D18: 1.73205080756888

tool: {"D34": [0x00,0x00,0x00,0x00,0x00,0x00,0x10,0x40]}

assistant: ```c
void sint1(int n, double war[], const double was[], double xh[], double x[], const int ifac[]) {
  static const double sqrt3 = 1.73205080756888;
  int modn, i, k;
  double xhold, t1, t2;
  int kc, np1, ns2;
  for (i = 0; i < n; i++) {
    xh[i] = war[i];
    war[i] = x[i];
  }
  if (n < 2) {
    xh[0] += xh[0];
  } else if (n == 2) {
    xhold = sqrt3 * (xh[0] + xh[1]);
    xh[1] = sqrt3 * (xh[0] - xh[1]);
    xh[0] = xhold;
  } else {
    np1 = n + 1;
    ns2 = n / 2;
    x[0] = 0;
    for (k = 0; k < ns2; k++) {
      kc = n - k - 1;
      t1 = xh[k] - xh[kc];
      t2 = was[k] * (xh[k] + xh[kc]);
      x[k + 1] = t1 + t2;
      x[kc + 1] = t2 - t1;
    }
    modn = n % 2;
    if (modn != 0)
      x[ns2 + 1] = 4 * xh[ns2];
    rfftf1(np1, x, xh, war, ifac);
    xh[0] = 0.5 * x[0];
    for (i = 2; i < n; i += 2) {
      xh[i - 1] = -x[i];
      xh[i] = xh[i - 2] + x[i - 1];
    }
    if (modn == 0)
      xh[n - 1] = -x[n];
  }
  for (i = 0; i < n; i++) {
    x[i] = war[i];
    war[i] = xh[i];
  }
}
```