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

```asm
<intersection_circle_segment>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xa0,%rsp
  movsd  %xmm0,-0x78(%rbp)
  mov    %rdi,-0x80(%rbp)
  mov    %rsi,-0x88(%rbp)
  mov    %rdx,-0x90(%rbp)
  mov    %rcx,-0x98(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x88(%rbp),%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mov    -0x80(%rbp),%rax
  mov    (%rax),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pythag2@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  divsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x38(%rbp),%xmm0
  mov    -0x40(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pythag2@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  divsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mov    -0x88(%rbp),%rax
  mov    (%rax),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pythag2@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  divsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0x30(%rbp),%xmm1
  movsd  D15(%rip),%xmm0
  comisd %xmm1,%xmm0
  jbe    L73
  movsd  -0x28(%rbp),%xmm1
  movsd  D15(%rip),%xmm0
  comisd %xmm1,%xmm0
  jbe    L73
  mov    $0x0,%eax
  jmp    L87
L73:
  movsd  -0x68(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D15(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x88(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x78(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  %xmm0,%xmm2
  divsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x58(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  -0x60(%rbp),%xmm0
  movsd  -0x30(%rbp),%xmm2
  movsd  -0x30(%rbp),%xmm1
  mulsd  %xmm2,%xmm1
  movsd  D15(%rip),%xmm2
  subsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x58(%rbp),%xmm0
  movq   D20(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  -0x60(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  pxor   %xmm0,%xmm0
  comisd -0x50(%rbp),%xmm0
  jbe    L96
  mov    $0x0,%eax
  jmp    L87
L96:
  movl   $0x0,-0x6c(%rbp)
  mov    -0x50(%rbp),%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x50(%rbp)
  movsd  -0x48(%rbp),%xmm0
  subsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x48(%rbp),%xmm0
  addsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movl   $0x0,-0x70(%rbp)
  jmp    L45
L26:
  mov    -0x70(%rbp),%eax
  cltq
  movsd  -0x20(%rbp,%rax,8),%xmm0
  pxor   %xmm1,%xmm1
  comisd %xmm1,%xmm0
  jbe    L36
  mov    -0x70(%rbp),%eax
  cltq
  movsd  -0x20(%rbp,%rax,8),%xmm1
  movsd  D15(%rip),%xmm0
  comisd %xmm1,%xmm0
  jbe    L36
  mov    -0x80(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x70(%rbp),%eax
  cltq
  movsd  -0x20(%rbp,%rax,8),%xmm2
  mov    -0x88(%rbp),%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x6c(%rbp),%eax
  add    %eax,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x90(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x80(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  mov    -0x70(%rbp),%eax
  cltq
  movsd  -0x20(%rbp,%rax,8),%xmm2
  mov    -0x88(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x6c(%rbp),%eax
  add    %eax,%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x90(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  cmpq   $0x0,-0x98(%rbp)
  je     L61
  mov    -0x6c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rax,%rdx
  mov    -0x70(%rbp),%eax
  cltq
  movsd  -0x20(%rbp,%rax,8),%xmm0
  movsd  %xmm0,(%rdx)
  mov    -0x6c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rax,%rdx
  mov    -0x70(%rbp),%eax
  cltq
  movsd  -0x20(%rbp,%rax,8),%xmm0
  movsd  %xmm0,(%rdx)
L61:
  addl   $0x1,-0x6c(%rbp)
L36:
  addl   $0x1,-0x70(%rbp)
L45:
  cmpl   $0x1,-0x70(%rbp)
  jle    L26
  mov    -0x6c(%rbp),%eax
L87:
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L85
  call   <__stack_chk_fail@plt>
L85:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D15
type_guessed: f64
name: extract_symbolic_data
arguments: label: D20
type_guessed: f32[2]

tool: D15: 1

tool: {"D20": [0.0,-0.0]}

assistant: ```c
int intersection_circle_segment(double radius, const double seg0[2], const double segd[2], double isect[4], double t_[2]) {
  int i;
  double seg1[2] = {seg0[0] + segd[0], seg0[1] + segd[1]};
  double r[2] = {pythag2(seg0[0], seg0[1]) / radius, pythag2(seg1[0], seg1[1]) / radius};
  double s = pythag2(segd[0], segd[1]) / radius;
  if (r[0] < 1 && r[1] < 1) {
    return 0;
  }
  double isl2 = 1. / (s * s);
  double seg_dot = (seg0[0] * segd[0] + seg0[1] * segd[1]) / (radius * radius);
  double disc = (seg_dot * seg_dot * isl2 - (r[0] * r[0] - 1)) * isl2;
  double t0 = -seg_dot * isl2;
  double t[2];
  if (disc < 0) {
    return 0;
  } else {
    int c = 0;
    disc = sqrt(disc);
    t[0] = t0 - disc;
    t[1] = t0 + disc;
    for (i = 0; i < 2; ++i) {
      if (0 < t[i] && t[i] < 1) {
        isect[2 * c + 0] = seg0[0] + t[i] * segd[0];
        isect[2 * c + 1] = seg0[1] + t[i] * segd[1];
        if (NULL != t_) {
          t_[c] = t[i];
          t_[c] = t[i];
        }
        ++c;
      }
    }
    return c;
  }
}
```