user: What would the C source look like for the assembly code provided here:

```asm
<cdflib_cdff>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rdx,%rbx
  sub    $0xe8,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0xd8(%rsp)
  xor    %eax,%eax
  mov    D62(%rip),%rax
  mov    0x120(%rsp),%r14
  movq   $0x0,0x40(%rsp)
  mov    0x128(%rsp),%r11
  mov    %rax,0x48(%rsp)
  mov    D25(%rip),%rax
  movl   $0x0,(%r14)
  mov    %rax,0x50(%rsp)
  mov    (%rdi),%eax
  movq   $0x0,(%r11)
  lea    -0x1(%rax),%edx
  cmp    $0x3,%edx
  jbe    L473
  movsd  D184(%rip),%xmm0
  test   %eax,%eax
  jle    L307
L539:
  movsd  %xmm0,(%r11)
  movl   $0xffffffff,(%r14)
L20:
  mov    0xd8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L318
  add    $0xe8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L307:
  movsd  D65(%rip),%xmm0
  jmp    L539
  nopw   0x0(%rax,%rax,1)
L473:
  mov    %rdi,%r15
  mov    %rsi,%r12
  mov    %rcx,%rbp
  mov    %r8,%r13
  mov    %r9,%r10
  cmp    $0x1,%eax
  je     L513
  movsd  (%rsi),%xmm1
  pxor   %xmm3,%xmm3
  comisd %xmm1,%xmm3
  ja     L226
  movsd  D65(%rip),%xmm0
  comisd %xmm0,%xmm1
  movapd %xmm0,%xmm2
  jbe    L135
L363:
  movsd  %xmm2,(%r11)
  movl   $0xfffffffe,(%r14)
  jmp    L20
  nopl   0x0(%rax)
L226:
  pxor   %xmm2,%xmm2
  jmp    L363
  xchg   %ax,%ax
L135:
  movsd  (%rbx),%xmm2
  comisd %xmm2,%xmm3
  jae    L531
  comisd %xmm0,%xmm2
  jbe    L96
L494:
  movsd  %xmm0,(%r11)
  movl   $0xfffffffd,(%r14)
  jmp    L20
  nopl   0x0(%rax)
L96:
  cmp    $0x2,%eax
  jne    L514
  comisd (%r8),%xmm3
  jb     L406
L257:
  movl   $0xfffffffb,(%r14)
  jmp    L20
  nopl   0x0(%rax,%rax,1)
L531:
  pxor   %xmm0,%xmm0
  jmp    L494
  cs nopw 0x0(%rax,%rax,1)
L513:
  pxor   %xmm5,%xmm5
  comisd (%rcx),%xmm5
  movapd %xmm5,%xmm6
  jbe    L251
L508:
  movl   $0xfffffffc,(%r14)
  jmp    L20
L251:
  comisd 0x0(%r13),%xmm6
  jae    L257
  cmp    $0x4,%eax
  jne    L406
L31:
  movsd  (%r12),%xmm1
L219:
  addsd  (%rbx),%xmm1
  xor    %eax,%eax
  mov    $0x1,%edi
  mov    %r11,0x10(%rsp)
  mov    %r10,0x8(%rsp)
  movsd  %xmm1,(%rsp)
  call   <dpmpar@plt>
  pxor   %xmm2,%xmm2
  movsd  (%rsp),%xmm1
  mov    0x8(%rsp),%r10
  cvtsi2sd %eax,%xmm2
  mulsd  D157(%rip),%xmm2
  mov    0x10(%rsp),%r11
  movapd %xmm1,%xmm0
  subsd  D62(%rip),%xmm0
  subsd  D62(%rip),%xmm0
  andpd  D68(%rip),%xmm0
  comisd %xmm2,%xmm0
  jbe    L181
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm0
  ja     L12
  movsd  D65(%rip),%xmm0
L12:
  movsd  %xmm0,(%r11)
  movl   $0x3,(%r14)
  jmp    L20
L406:
  pxor   %xmm7,%xmm7
  comisd (%r10),%xmm7
  jb     L349
L154:
  movl   $0xfffffffa,(%r14)
  jmp    L20
L181:
  mov    (%r15),%eax
  cmp    $0x1,%eax
  je     L371
  movsd  (%r12),%xmm0
  movsd  (%rbx),%xmm1
  cmp    $0x2,%eax
  je     L375
  cmp    $0x3,%eax
  je     L55
  cmp    $0x4,%eax
  jne    L20
  mov    D199(%rip),%rax
  mov    %r11,0x8(%rsp)
  lea    0x48(%rsp),%rdx
  lea    0xc0(%rsp),%rsi
  movsd  D65(%rip),%xmm6
  mov    %r10,(%rsp)
  mov    %rdx,%rcx
  lea    0xb8(%rsp),%rdi
  mov    %rax,0xc8(%rsp)
  movsd  D90(%rip),%xmm7
  mov    D61(%rip),%rax
  movsd  %xmm6,0x30(%rsp)
  movsd  %xmm6,0xb8(%rsp)
  mov    %rax,0xd0(%rsp)
  movsd  %xmm7,0x28(%rsp)
  movsd  %xmm7,0xc0(%rsp)
  push   %rax
  lea    0xd8(%rsp),%rax
  push   %rax
  xor    %eax,%eax
  lea    0xd8(%rsp),%r9
  lea    0x60(%rsp),%r8
  call   <cdflib_dstinv@plt>
  mov    0x10(%rsp),%r10
  mov    %r14,%rdi
  mov    D25(%rip),%rax
  movl   $0x0,(%r14)
  lea    0x88(%rsp),%r15
  lea    0x80(%rsp),%r8
  mov    %rax,(%r10)
  mov    %r15,%rcx
  mov    %r10,%rsi
  lea    0x68(%rsp),%rax
  mov    %rax,0x20(%rsp)
  mov    %rax,%rdx
  xor    %eax,%eax
  movq   $0x0,0x68(%rsp)
  mov    %r8,0x28(%rsp)
  mov    %r10,0x48(%rsp)
  call   <cdflib_dinvr@plt>
  mov    (%r14),%eax
  pop    %rdx
  pop    %rcx
  mov    0x8(%rsp),%r11
  cmp    $0x1,%eax
  jne    L487
  lea    0x68(%rsp),%rax
  mov    %rbx,0x20(%rsp)
  mov    0x38(%rsp),%rbx
  mov    %rax,0x8(%rsp)
  lea    0x60(%rsp),%rax
  mov    %rax,(%rsp)
  mov    %r11,0x38(%rsp)
  jmp    L114
L130:
  movsd  0x60(%rsp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x58(%rsp)
L173:
  mov    0x18(%rsp),%r8
  mov    0x10(%rsp),%rdx
  mov    %r15,%rcx
  mov    %rbx,%rsi
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <cdflib_dinvr@plt>
  mov    (%r14),%eax
  cmp    $0x1,%eax
  jne    L119
L114:
  mov    0x8(%rsp),%r8
  mov    (%rsp),%rcx
  xor    %eax,%eax
  mov    %rbx,%rdx
  mov    %r13,%rsi
  mov    %rbp,%rdi
  call   <cdflib_cumf@plt>
  mov    0x20(%rsp),%rax
  movsd  (%r12),%xmm1
  movsd  (%rax),%xmm0
  comisd %xmm1,%xmm0
  jae    L130
  movsd  0x68(%rsp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  %xmm1,0x58(%rsp)
  jmp    L173
L349:
  cmp    $0x1,%eax
  jne    L31
L371:
  mov    %rbx,%r8
  mov    %r12,%rcx
  mov    %r10,%rdx
  mov    %r13,%rsi
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <cdflib_cumf@plt>
  movl   $0x0,(%r14)
  jmp    L20
L119:
  mov    0x38(%rsp),%r11
L487:
  add    $0x1,%eax
  jne    L20
  cmpq   $0x0,0x78(%rsp)
  je     L297
  movsd  0x30(%rsp),%xmm6
  movl   $0x1,(%r14)
  movsd  %xmm6,(%r11)
  jmp    L20
L55:
  mov    D199(%rip),%rax
  movsd  D65(%rip),%xmm6
  mov    %r11,(%rsp)
  lea    0x48(%rsp),%rdx
  movsd  D90(%rip),%xmm7
  mov    %r10,0x38(%rsp)
  mov    %rdx,%rcx
  lea    0xa0(%rsp),%rsi
  mov    %rax,0xa8(%rsp)
  mov    D61(%rip),%rax
  lea    0x98(%rsp),%rdi
  movsd  %xmm6,0x30(%rsp)
  mov    %rax,0xb0(%rsp)
  movsd  %xmm6,0x98(%rsp)
  movsd  %xmm7,0x28(%rsp)
  movsd  %xmm7,0xa0(%rsp)
  push   %r8
  lea    0xb8(%rsp),%rax
  push   %rax
  xor    %eax,%eax
  lea    0xb8(%rsp),%r9
  lea    0x60(%rsp),%r8
  call   <cdflib_dstinv@plt>
  mov    D25(%rip),%rax
  mov    %r13,%rsi
  movl   $0x0,(%r14)
  lea    0x88(%rsp),%r15
  mov    %r14,%rdi
  lea    0x80(%rsp),%r8
  movq   $0x0,0x68(%rsp)
  mov    %rax,0x0(%r13)
  lea    0x68(%rsp),%rax
  mov    %r15,%rcx
  mov    %rax,0x20(%rsp)
  mov    %rax,%rdx
  xor    %eax,%eax
  mov    %r8,0x28(%rsp)
  call   <cdflib_dinvr@plt>
  mov    (%r14),%eax
  pop    %r9
  pop    %r10
  mov    (%rsp),%r11
  cmp    $0x1,%eax
  jne    L487
  lea    0x68(%rsp),%rax
  mov    %rbx,0x20(%rsp)
  mov    %r13,%rbx
  mov    0x38(%rsp),%r13
  mov    %rax,0x8(%rsp)
  lea    0x60(%rsp),%rax
  mov    %rax,(%rsp)
  mov    %r11,0x38(%rsp)
  jmp    L50
L358:
  movsd  0x60(%rsp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x58(%rsp)
L428:
  mov    0x18(%rsp),%r8
  mov    0x10(%rsp),%rdx
  mov    %r15,%rcx
  mov    %rbx,%rsi
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <cdflib_dinvr@plt>
  mov    (%r14),%eax
  cmp    $0x1,%eax
  jne    L119
L50:
  mov    0x8(%rsp),%r8
  mov    (%rsp),%rcx
  xor    %eax,%eax
  mov    %r13,%rdx
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <cdflib_cumf@plt>
  mov    0x20(%rsp),%rax
  movsd  (%r12),%xmm1
  movsd  (%rax),%xmm0
  comisd %xmm1,%xmm0
  jae    L358
  movsd  0x68(%rsp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  %xmm1,0x58(%rsp)
  jmp    L428
L318:
  call   <__stack_chk_fail@plt>
L375:
  mov    %r11,0x30(%rsp)
  lea    0x48(%rsp),%rdx
  mov    D25(%rip),%rax
  lea    0x80(%rsp),%rsi
  movsd  D90(%rip),%xmm7
  mov    %r10,0x20(%rsp)
  lea    0x40(%rsp),%rdi
  mov    %rdx,%rcx
  mov    %rax,0x0(%rbp)
  mov    D199(%rip),%rax
  movsd  %xmm1,0x8(%rsp)
  mov    %rax,0x88(%rsp)
  mov    D61(%rip),%rax
  movsd  %xmm0,(%rsp)
  mov    %rax,0x90(%rsp)
  movsd  %xmm7,0x28(%rsp)
  movsd  %xmm7,0x80(%rsp)
  push   %r11
  lea    0x98(%rsp),%rax
  push   %rax
  xor    %eax,%eax
  lea    0x98(%rsp),%r9
  lea    0x60(%rsp),%r8
  call   <cdflib_dstinv@plt>
  lea    0x68(%rsp),%rax
  mov    %rbp,%rsi
  mov    %r14,%rdi
  lea    0x88(%rsp),%r15
  mov    %rax,0x20(%rsp)
  mov    %rax,%rdx
  xor    %eax,%eax
  movl   $0x0,(%r14)
  lea    0x80(%rsp),%r8
  mov    %r15,%rcx
  mov    %r8,0x28(%rsp)
  call   <cdflib_dinvr@plt>
  mov    (%r14),%eax
  pop    %rdx
  pop    %rcx
  movsd  (%rsp),%xmm0
  cmp    $0x1,%eax
  movsd  0x8(%rsp),%xmm1
  mov    0x20(%rsp),%r10
  mov    0x30(%rsp),%r11
  jne    L66
  comisd %xmm0,%xmm1
  lea    0x68(%rsp),%rax
  mov    %rax,0x8(%rsp)
  lea    0x60(%rsp),%rax
  mov    %rax,(%rsp)
  jb     L353
  mov    %r10,%rbx
L106:
  mov    0x8(%rsp),%r8
  mov    (%rsp),%rcx
  mov    %rbx,%rdx
  mov    %r13,%rsi
  mov    %rbp,%rdi
  xor    %eax,%eax
  mov    %r11,0x20(%rsp)
  call   <cdflib_cumf@plt>
  movsd  0x60(%rsp),%xmm0
  xor    %eax,%eax
  mov    %r15,%rcx
  mov    0x18(%rsp),%r8
  mov    0x10(%rsp),%rdx
  mov    %rbp,%rsi
  mov    %r14,%rdi
  subsd  (%r12),%xmm0
  movsd  %xmm0,0x58(%rsp)
  call   <cdflib_dinvr@plt>
  mov    (%r14),%eax
  mov    0x20(%rsp),%r11
  cmp    $0x1,%eax
  je     L106
L66:
  add    $0x1,%eax
  jne    L20
  cmpq   $0x0,0x78(%rsp)
  je     L297
  movl   $0x1,(%r14)
  movq   $0x0,(%r11)
  jmp    L20
L297:
  movsd  0x28(%rsp),%xmm6
  movl   $0x2,(%r14)
  movsd  %xmm6,(%r11)
  jmp    L20
L353:
  mov    %r10,%r12
L526:
  mov    0x8(%rsp),%r8
  mov    (%rsp),%rcx
  mov    %r12,%rdx
  mov    %r13,%rsi
  mov    %rbp,%rdi
  xor    %eax,%eax
  mov    %r11,0x20(%rsp)
  call   <cdflib_cumf@plt>
  movsd  0x68(%rsp),%xmm0
  xor    %eax,%eax
  mov    %r15,%rcx
  subsd  (%rbx),%xmm0
  mov    0x18(%rsp),%r8
  mov    %rbp,%rsi
  mov    %r14,%rdi
  mov    0x10(%rsp),%rdx
  movsd  %xmm0,0x58(%rsp)
  call   <cdflib_dinvr@plt>
  mov    (%r14),%eax
  mov    0x20(%rsp),%r11
  cmp    $0x1,%eax
  je     L526
  jmp    L66
L514:
  pxor   %xmm6,%xmm6
  comisd (%rcx),%xmm6
  ja     L508
  cmp    $0x3,%eax
  jne    L251
  comisd (%r9),%xmm6
  jae    L154
  jmp    L219
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D62
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D25
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D184
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D65
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D157
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D68
type_infered: qword[2]
name: extract_symbolic_data
arguments: data_tag: D199
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D90
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D61
type_infered: byte[8]

tool: D62: 0.5

tool: D25: 5

tool: D184: 4

tool: D65: 1

tool: D157: 3

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

tool: {"D199": [0x1f,0xb8,0xd4,0x4a,0x7a,0xee,0x8d,0x35]}

tool: D90: 1e+300

tool: {"D61": [0x3a,0x8c,0x30,0xe2,0x8e,0x79,0x45,0x3e]}

assistant: ```c
void cdflib_cdff(const int *which, double *p, double *q, double *f, double *dfn, double *dfd, int *status, double *bound) {
  static const double tol = 1.0e-8;
  static const double atol = 1.0e-50;
  static const double inf = 1.0e300;
  static const int K1 = 1;
  double K2 = 0.0e0;
  double K4 = 0.5e0;
  double K5 = 5.0e0;
  double pq, fx, cum, ccum;
  unsigned long qhi, qleft, qporq;
  double T3, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15;
  *status = 0;
  *bound = 0.0;
  if (!(*which < 1 || *which > 4)) {
    goto S30;
  }
  if (!(*which < 1)) {
    goto S10;
  }
  *bound = 1.0e0;
  goto S20;
S10:
  *bound = 4.0e0;
S20:
  *status = -1;
  return;
S30:
  if (*which == 1) {
    goto S70;
  }
  if (!(*p < 0.0e0 || *p > 1.0e0)) {
    goto S60;
  }
  if (!(*p < 0.0e0)) {
    goto S40;
  }
  *bound = 0.0e0;
  goto S50;
S40:
  *bound = 1.0e0;
S50:
  *status = -2;
  return;
S70:
S60:
  if (*which == 1) {
    goto S110;
  }
  if (!(*q <= 0.0e0 || *q > 1.0e0)) {
    goto S100;
  }
  if (!(*q <= 0.0e0)) {
    goto S80;
  }
  *bound = 0.0e0;
  goto S90;
S80:
  *bound = 1.0e0;
S90:
  *status = -3;
  return;
S110:
S100:
  if (*which == 2) {
    goto S130;
  }
  if (!(*f < 0.0e0)) {
    goto S120;
  }
  *bound = 0.0e0;
  *status = -4;
  return;
S130:
S120:
  if (*which == 3) {
    goto S150;
  }
  if (!(*dfn <= 0.0e0)) {
    goto S140;
  }
  *bound = 0.0e0;
  *status = -5;
  return;
S150:
S140:
  if (*which == 4) {
    goto S170;
  }
  if (!(*dfd <= 0.0e0)) {
    goto S160;
  }
  *bound = 0.0e0;
  *status = -6;
  return;
S170:
S160:
  if (*which == 1) {
    goto S210;
  }
  pq = *p + *q;
  if (!(fabs(pq - 0.5e0 - 0.5e0) > 3.0e0 * dpmpar(K1))) {
    goto S200;
  }
  if (!(pq < 0.0e0)) {
    goto S180;
  }
  *bound = 0.0e0;
  goto S190;
S180:
  *bound = 1.0e0;
S190:
  *status = 3;
  return;
S210:
S200:
  if (!(*which == 1)) {
    qporq = *p <= *q;
  }
  if (1 == *which) {
    cdflib_cumf(f, dfn, dfd, p, q);
    *status = 0;
  } else if (2 == *which) {
    *f = 5.0e0;
    T3 = inf;
    T6 = atol;
    T7 = tol;
    cdflib_dstinv(&K2, &T3, &K4, &K4, &K5, &T6, &T7);
    *status = 0;
    cdflib_dinvr(status, f, &fx, &qleft, &qhi);
  S220:
    if (!(*status == 1)) {
      goto S250;
    }
    cdflib_cumf(f, dfn, dfd, &cum, &ccum);
    if (!qporq) {
      goto S230;
    }
    fx = cum - *p;
    goto S240;
  S230:
    fx = ccum - *q;
  S240:
    cdflib_dinvr(status, f, &fx, &qleft, &qhi);
    goto S220;
  S250:
    if (!(*status == -1)) {
      goto S280;
    }
    if (!qleft) {
      goto S260;
    }
    *status = 1;
    *bound = 0.0e0;
    goto S270;
  S260:
    *status = 2;
    *bound = inf;
  S280:
  S270:;
  } else if (3 == *which) {
    T8 = 1.0;
    T9 = inf;
    T10 = atol;
    T11 = tol;
    cdflib_dstinv(&T8, &T9, &K4, &K4, &K5, &T10, &T11);
    *status = 0;
    *dfn = 5.0;
    fx = 0.0;
    cdflib_dinvr(status, dfn, &fx, &qleft, &qhi);
    while (*status == 1) {
      cdflib_cumf(f, dfn, dfd, &cum, &ccum);
      if (*p <= *q) {
        fx = cum - *p;
      } else {
        fx = ccum - *q;
      }
      cdflib_dinvr(status, dfn, &fx, &qleft, &qhi);
    }
    if (*status == -1) {
      if (qleft) {
        *status = 1;
        *bound = 1.0;
      } else {
        *status = 2;
        *bound = inf;
      }
    }
  } else if (4 == *which) {
    T12 = 1.0;
    T13 = inf;
    T14 = atol;
    T15 = tol;
    cdflib_dstinv(&T12, &T13, &K4, &K4, &K5, &T14, &T15);
    *status = 0;
    *dfd = 5.0;
    fx = 0.0;
    cdflib_dinvr(status, dfd, &fx, &qleft, &qhi);
    while (*status == 1) {
      cdflib_cumf(f, dfn, dfd, &cum, &ccum);
      if (*p <= *q) {
        fx = cum - *p;
      } else {
        fx = ccum - *q;
      }
      cdflib_dinvr(status, dfd, &fx, &qleft, &qhi);
    }
    if (*status == -1) {
      if (qleft) {
        *status = 1;
        *bound = 1.0;
      } else {
        *status = 2;
        *bound = inf;
      }
    }
  }
  return;
}
```