user: 下面的汇编指令对应的C源代码是什么：

```asm
<cdflib_beta_rcomp1>:
  endbr64
  push   %r14
  mov    %rcx,%r14
  push   %r13
  mov    %rdi,%r13
  push   %r12
  mov    %rsi,%r12
  push   %rbp
  mov    %rdx,%rbp
  push   %rbx
  mov    %r8,%rbx
  sub    $0x70,%rsp
  movsd  (%rdx),%xmm1
  movsd  (%rsi),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  mov    $0x2,%eax
  call   <cdflib_fifdmin1@plt>
  pxor   %xmm3,%xmm3
  cvtsi2sd %eax,%xmm3
  movsd  %xmm3,0x30(%rsp)
  cmp    $0x7,%eax
  jg     L7
  movsd  (%r14),%xmm1
  movsd  D162(%rip),%xmm0
  comisd %xmm0,%xmm1
  jbe    L213
  movsd  (%rbx),%xmm4
  comisd %xmm0,%xmm4
  jbe    L64
  movapd %xmm1,%xmm0
  movsd  %xmm3,0x18(%rsp)
  movsd  %xmm4,0x10(%rsp)
  call   <log@plt>
  movsd  0x10(%rsp),%xmm4
  movsd  %xmm0,0x8(%rsp)
  movapd %xmm4,%xmm0
  call   <log@plt>
  movsd  0x8(%rsp),%xmm2
  movsd  0x18(%rsp),%xmm3
L70:
  movsd  (%r12),%xmm4
  movsd  0x0(%rbp),%xmm1
  movsd  D219(%rip),%xmm6
  mulsd  %xmm4,%xmm2
  mulsd  %xmm1,%xmm0
  comisd %xmm3,%xmm6
  addsd  %xmm0,%xmm2
  movsd  %xmm2,0x48(%rsp)
  ja     L225
  mov    %rbp,%rsi
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <cdflib_beta_log@plt>
  pxor   %xmm1,%xmm1
  lea    0x48(%rsp),%rsi
  mov    %r13,%rdi
  cvtsi2sd %eax,%xmm1
  movsd  0x48(%rsp),%xmm0
  xor    %eax,%eax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x48(%rsp)
  call   <cdflib_esum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
L25:
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L177
  add    $0x70,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
  nop
L213:
  movapd %xmm1,%xmm0
  movsd  %xmm1,0x10(%rsp)
  call   <log@plt>
  movsd  0x10(%rsp),%xmm1
  lea    0x50(%rsp),%rdi
  xor    %eax,%eax
  xorpd  D264(%rip),%xmm1
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,0x50(%rsp)
  call   <cdflib_alnrel@plt>
  pxor   %xmm0,%xmm0
  movsd  0x30(%rsp),%xmm3
  movsd  0x8(%rsp),%xmm2
  cvtsi2sd %eax,%xmm0
  jmp    L70
  xchg   %ax,%ax
L7:
  movsd  (%r12),%xmm0
  movsd  0x0(%rbp),%xmm2
  comisd %xmm2,%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm2,%xmm1
  ja     L47
  movapd %xmm0,%xmm3
  movsd  D219(%rip),%xmm5
  divsd  %xmm2,%xmm3
  movapd %xmm3,%xmm4
  addsd  %xmm5,%xmm4
  divsd  %xmm4,%xmm3
  divsd  %xmm4,%xmm5
  movsd  %xmm3,0x8(%rsp)
  movsd  (%r14),%xmm3
  mulsd  %xmm1,%xmm3
  movapd %xmm0,%xmm1
  subsd  %xmm3,%xmm1
  movsd  %xmm5,0x10(%rsp)
L13:
  movapd %xmm1,%xmm4
  movq   D197(%rip),%xmm3
  movsd  %xmm2,0x20(%rsp)
  divsd  %xmm0,%xmm4
  movapd %xmm4,%xmm5
  andpd  %xmm3,%xmm4
  xorpd  D264(%rip),%xmm5
  comisd D220(%rip),%xmm4
  movsd  %xmm5,0x58(%rsp)
  movsd  %xmm5,0x18(%rsp)
  jbe    L2
  movsd  (%r14),%xmm0
  movsd  %xmm1,0x28(%rsp)
  divsd  0x8(%rsp),%xmm0
  call   <log@plt>
  movsd  0x18(%rsp),%xmm5
  movsd  0x28(%rsp),%xmm1
  movq   D197(%rip),%xmm3
  movsd  0x20(%rsp),%xmm2
  subsd  %xmm0,%xmm5
  movsd  %xmm5,0x40(%rsp)
L79:
  divsd  %xmm2,%xmm1
  movsd  %xmm2,0x20(%rsp)
  andpd  %xmm1,%xmm3
  comisd D220(%rip),%xmm3
  movsd  %xmm1,0x58(%rsp)
  movsd  %xmm1,0x18(%rsp)
  jbe    L10
  movsd  (%rbx),%xmm0
  divsd  0x10(%rsp),%xmm0
  call   <log@plt>
  movsd  0x18(%rsp),%xmm1
  movsd  0x20(%rsp),%xmm2
  subsd  %xmm0,%xmm1
L135:
  mulsd  %xmm2,%xmm1
  movsd  (%r12),%xmm0
  xor    %eax,%eax
  mov    %r13,%rdi
  mulsd  0x40(%rsp),%xmm0
  lea    0x60(%rsp),%rsi
  addsd  %xmm1,%xmm0
  xorpd  D264(%rip),%xmm0
  movsd  %xmm0,0x60(%rsp)
  call   <cdflib_esum@plt>
  movsd  0x8(%rsp),%xmm0
  mulsd  0x0(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  pxor   %xmm2,%xmm2
  ucomisd %xmm0,%xmm2
  movsd  %xmm1,0x48(%rsp)
  ja     L1
  sqrtsd %xmm0,%xmm0
L58:
  mulsd  D212(%rip),%xmm0
  mov    %rbp,%rsi
  mov    %r12,%rdi
  xor    %eax,%eax
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rsp)
  call   <cdflib_bcorr@plt>
  pxor   %xmm0,%xmm0
  neg    %eax
  cvtsi2sd %eax,%xmm0
  call   <exp@plt>
  mulsd  0x8(%rsp),%xmm0
  jmp    L25
L64:
  xorpd  D264(%rip),%xmm4
  lea    0x58(%rsp),%rdi
  xor    %eax,%eax
  movsd  %xmm4,0x58(%rsp)
  call   <cdflib_alnrel@plt>
  pxor   %xmm2,%xmm2
  movsd  (%rbx),%xmm0
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x8(%rsp)
  call   <log@plt>
  movsd  0x30(%rsp),%xmm3
  movsd  0x8(%rsp),%xmm2
  jmp    L70
  nopw   0x0(%rax,%rax,1)
L47:
  movsd  D219(%rip),%xmm5
  mulsd  (%rbx),%xmm1
  movapd %xmm2,%xmm3
  divsd  %xmm0,%xmm3
  subsd  %xmm2,%xmm1
  movapd %xmm3,%xmm4
  addsd  %xmm5,%xmm4
  divsd  %xmm4,%xmm5
  divsd  %xmm4,%xmm3
  movsd  %xmm5,0x8(%rsp)
  movsd  %xmm3,0x10(%rsp)
  jmp    L13
  nopl   0x0(%rax)
L225:
  movapd %xmm4,%xmm0
  mov    $0x2,%eax
  call   <cdflib_fifdmax1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,0x38(%rsp)
  cmp    $0x7,%eax
  jg     L240
  cmp    $0x1,%eax
  jg     L228
  lea    0x48(%rsp),%rsi
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <cdflib_esum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  test   %eax,%eax
  je     L25
  movsd  (%r12),%xmm1
  addsd  0x0(%rbp),%xmm1
  movsd  %xmm0,0x8(%rsp)
  comisd D219(%rip),%xmm1
  movsd  %xmm1,0x60(%rsp)
  jbe    L277
  subsd  D219(%rip),%xmm1
  lea    0x40(%rsp),%rdi
  xor    %eax,%eax
  movsd  %xmm1,0x40(%rsp)
  call   <cdflib_gam1@plt>
  movsd  0x8(%rsp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  addsd  D219(%rip),%xmm1
  divsd  0x60(%rsp),%xmm1
L206:
  mov    %r12,%rdi
  xor    %eax,%eax
  movsd  %xmm0,0x8(%rsp)
  movsd  %xmm1,0x48(%rsp)
  call   <cdflib_gam1@plt>
  mov    %rbp,%rdi
  mov    %eax,%ebx
  xor    %eax,%eax
  call   <cdflib_gam1@plt>
  pxor   %xmm1,%xmm1
  pxor   %xmm3,%xmm3
  movsd  0x30(%rsp),%xmm2
  cvtsi2sd %ebx,%xmm1
  addsd  D219(%rip),%xmm1
  movsd  0x8(%rsp),%xmm0
  cvtsi2sd %eax,%xmm3
  addsd  D219(%rip),%xmm3
  mulsd  %xmm3,%xmm1
  divsd  0x48(%rsp),%xmm1
  mulsd  %xmm2,%xmm1
  divsd  0x38(%rsp),%xmm2
  addsd  D219(%rip),%xmm2
  mulsd  %xmm1,%xmm0
  divsd  %xmm2,%xmm0
  jmp    L25
  nopw   0x0(%rax,%rax,1)
L10:
  lea    0x58(%rsp),%rdi
  xor    %eax,%eax
  call   <cdflib_rlog1@plt>
  pxor   %xmm1,%xmm1
  movsd  0x0(%rbp),%xmm2
  cvtsi2sd %eax,%xmm1
  jmp    L135
  xchg   %ax,%ax
L2:
  lea    0x58(%rsp),%rdi
  xor    %eax,%eax
  movsd  %xmm1,0x18(%rsp)
  call   <cdflib_rlog1@plt>
  pxor   %xmm0,%xmm0
  movsd  0x0(%rbp),%xmm2
  movq   D197(%rip),%xmm3
  cvtsi2sd %eax,%xmm0
  movsd  0x18(%rsp),%xmm1
  movsd  %xmm0,0x40(%rsp)
  jmp    L79
  nopl   0x0(%rax,%rax,1)
L228:
  lea    0x30(%rsp),%rdi
  xor    %eax,%eax
  call   <cdflib_gamma_ln1@plt>
  movsd  0x38(%rsp),%xmm1
  pxor   %xmm5,%xmm5
  movsd  0x30(%rsp),%xmm2
  cvtsi2sd %eax,%xmm5
  movapd %xmm1,%xmm0
  subsd  D219(%rip),%xmm0
  cvttsd2si %xmm0,%edx
  movsd  %xmm5,0x40(%rsp)
  test   %edx,%edx
  jle    L226
  mov    D219(%rip),%rbx
  add    $0x1,%edx
  mov    $0x1,%eax
  movq   %rbx,%xmm0
  xchg   %ax,%ax
L209:
  subsd  D219(%rip),%xmm1
  add    $0x1,%eax
  movapd %xmm1,%xmm4
  movapd %xmm1,%xmm3
  addsd  %xmm2,%xmm4
  divsd  %xmm4,%xmm3
  mulsd  %xmm3,%xmm0
  cmp    %edx,%eax
  jne    L209
  movsd  %xmm5,0x18(%rsp)
  movsd  %xmm2,0x10(%rsp)
  movsd  %xmm1,0x8(%rsp)
  call   <log@plt>
  movsd  0x18(%rsp),%xmm5
  movsd  0x8(%rsp),%xmm1
  subsd  D219(%rip),%xmm1
  movsd  0x10(%rsp),%xmm2
  addsd  %xmm0,%xmm5
  movapd %xmm1,%xmm0
  movsd  %xmm5,0x40(%rsp)
L226:
  movsd  0x48(%rsp),%xmm1
  addsd  %xmm0,%xmm2
  movsd  %xmm0,0x38(%rsp)
  comisd D219(%rip),%xmm2
  subsd  %xmm5,%xmm1
  movsd  %xmm2,0x60(%rsp)
  movsd  %xmm1,0x48(%rsp)
  jbe    L235
  subsd  D219(%rip),%xmm2
  lea    0x40(%rsp),%rdi
  xor    %eax,%eax
  movsd  %xmm2,0x40(%rsp)
  call   <cdflib_gam1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  D219(%rip),%xmm0
  divsd  0x60(%rsp),%xmm0
  movsd  %xmm0,0x10(%rsp)
L146:
  lea    0x48(%rsp),%rsi
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <cdflib_esum@plt>
  pxor   %xmm0,%xmm0
  lea    0x38(%rsp),%rdi
  cvtsi2sd %eax,%xmm0
  mulsd  0x30(%rsp),%xmm0
  xor    %eax,%eax
  movsd  %xmm0,0x8(%rsp)
  call   <cdflib_gam1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  D219(%rip),%xmm0
  mulsd  0x8(%rsp),%xmm0
  divsd  0x10(%rsp),%xmm0
  jmp    L25
  cs nopw 0x0(%rax,%rax,1)
L235:
  lea    0x60(%rsp),%rdi
  xor    %eax,%eax
  call   <cdflib_gam1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  D219(%rip),%xmm0
  movsd  %xmm0,0x10(%rsp)
  jmp    L146
  nopl   0x0(%rax)
L277:
  lea    0x60(%rsp),%rdi
  xor    %eax,%eax
  call   <cdflib_gam1@plt>
  pxor   %xmm1,%xmm1
  movsd  0x8(%rsp),%xmm0
  cvtsi2sd %eax,%xmm1
  addsd  D219(%rip),%xmm1
  jmp    L206
  nop
L240:
  lea    0x30(%rsp),%rbp
  xor    %eax,%eax
  mov    %rbp,%rdi
  call   <cdflib_gamma_ln1@plt>
  lea    0x38(%rsp),%rsi
  mov    %rbp,%rdi
  mov    %eax,%ebx
  xor    %eax,%eax
  call   <cdflib_algdiv@plt>
  pxor   %xmm1,%xmm1
  lea    0x60(%rsp),%rsi
  mov    %r13,%rdi
  add    %eax,%ebx
  movsd  0x48(%rsp),%xmm0
  xor    %eax,%eax
  cvtsi2sd %ebx,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm1,0x40(%rsp)
  movsd  %xmm0,0x60(%rsp)
  call   <cdflib_esum@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  0x30(%rsp),%xmm0
  jmp    L25
L177:
  call   <__stack_chk_fail@plt>
L1:
  movsd  %xmm1,0x8(%rsp)
  call   <sqrt@plt>
  movsd  0x8(%rsp),%xmm1
  jmp    L58
```

tool_calls: name: disassemble_data
arguments: label: D162
type_infered: f64
name: disassemble_data
arguments: label: D219
type_infered: f64[2]
name: disassemble_data
arguments: label: D264
type_infered: f32[4]
name: disassemble_data
arguments: label: D197
type_infered: qword
name: disassemble_data
arguments: label: D220
type_infered: f64[2]
name: disassemble_data
arguments: label: D212
type_infered: byte[8]

tool: D162: 0.375

tool: {"D219": [1.0,0.375]}

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

tool: D197: 9223372036854775807

tool: {"D220": [0.6,0.398942280401433]}

tool: {"D212": [0x56,0x36,0xd4,0x33,0x45,0x88,0xd9,0x3f]}

assistant: ```c
double cdflib_beta_rcomp1(const int *mu, const double *a, const double *b, const double *x, const double *y) {
  static const double Const = .398942280401433e0;
  double brcmp1, a0, apb, b0, c, e, h, lambda, lnx, lny, t, u, v, x0, y0, z;
  int i, n;
  double T1, T2, T3, T4;
  a0 = cdflib_fifdmin1(*a, *b);
  if (a0 >= 8.0e0) {
    goto S130;
  }
  if (*x > 0.375e0) {
    goto S10;
  }
  lnx = log(*x);
  T1 = -*x;
  lny = cdflib_alnrel(&T1);
  goto S30;
S10:
  if (*y > 0.375e0) {
    goto S20;
  }
  T2 = -*y;
  lnx = cdflib_alnrel(&T2);
  lny = log(*y);
  goto S30;
S20:
  lnx = log(*x);
  lny = log(*y);
S30:
  z = *a * lnx + *b * lny;
  if (a0 < 1.0e0) {
    goto S40;
  }
  z -= cdflib_beta_log(a, b);
  brcmp1 = cdflib_esum(mu, &z);
  return brcmp1;
S40:
  b0 = cdflib_fifdmax1(*a, *b);
  if (b0 >= 8.0e0) {
    goto S120;
  }
  if (b0 > 1.0e0) {
    goto S70;
  }
  brcmp1 = cdflib_esum(mu, &z);
  if (brcmp1 == 0.0e0) {
    return brcmp1;
  }
  apb = *a + *b;
  if (apb > 1.0e0) {
    goto S50;
  }
  z = 1.0e0 + cdflib_gam1(&apb);
  goto S60;
S50:
  u = *a + *b - 1.e0;
  z = (1.0e0 + cdflib_gam1(&u)) / apb;
S60:
  c = (1.0e0 + cdflib_gam1(a)) * (1.0e0 + cdflib_gam1(b)) / z;
  brcmp1 = brcmp1 * (a0 * c) / (1.0e0 + a0 / b0);
  return brcmp1;
S70:
  u = cdflib_gamma_ln1(&a0);
  n = (int)(b0 - 1.0e0);
  if (n < 1) {
    goto S90;
  }
  c = 1.0e0;
  for (i = 1; i <= n; i++) {
    b0 -= 1.0e0;
    c *= (b0 / (a0 + b0));
  }
  u = log(c) + u;
S90:
  z -= u;
  b0 -= 1.0e0;
  apb = a0 + b0;
  if (apb > 1.0e0) {
    goto S100;
  }
  t = 1.0e0 + cdflib_gam1(&apb);
  goto S110;
S100:
  u = a0 + b0 - 1.e0;
  t = (1.0e0 + cdflib_gam1(&u)) / apb;
S110:
  brcmp1 = a0 * cdflib_esum(mu, &z) * (1.0e0 + cdflib_gam1(&b0)) / t;
  return brcmp1;
S120:
  u = cdflib_gamma_ln1(&a0) + cdflib_algdiv(&a0, &b0);
  T3 = z - u;
  brcmp1 = a0 * cdflib_esum(mu, &T3);
  return brcmp1;
S130:
  if (*a > *b) {
    goto S140;
  }
  h = *a / *b;
  x0 = h / (1.0e0 + h);
  y0 = 1.0e0 / (1.0e0 + h);
  lambda = *a - (*a + *b) * *x;
  goto S150;
S140:
  h = *b / *a;
  x0 = 1.0e0 / (1.0e0 + h);
  y0 = h / (1.0e0 + h);
  lambda = (*a + *b) * *y - *b;
S150:
  e = -(lambda / *a);
  if (fabs(e) > 0.6e0) {
    goto S160;
  }
  u = cdflib_rlog1(&e);
  goto S170;
S160:
  u = e - log(*x / x0);
S170:
  e = lambda / *b;
  if (fabs(e) > 0.6e0) {
    goto S180;
  }
  v = cdflib_rlog1(&e);
  goto S190;
S180:
  v = e - log(*y / y0);
S190:
  T4 = -(*a * u + *b * v);
  z = cdflib_esum(mu, &T4);
  brcmp1 = Const * sqrt(*b * x0) * z * exp(-cdflib_bcorr(a, b));
  return brcmp1;
}
```