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

```asm
<cdflib_beta_cdflib_rcomp>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x58,%rsp
  mov    %rdi,%r14
  mov    %rsi,%r13
  mov    %rdx,%rbx
  mov    %rcx,%rbp
  mov    %fs:0x28,%rax
  mov    %rax,0x48(%rsp)
  xor    %eax,%eax
  pxor   %xmm0,%xmm0
  ucomisd (%rdx),%xmm0
  jp     L27
  movq   %xmm0,%r12
  je     L9
L27:
  pxor   %xmm0,%xmm0
  ucomisd 0x0(%rbp),%xmm0
  jp     L272
  movq   %xmm0,%r12
  jne    L272
L9:
  mov    0x48(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L144
  movq   %r12,%xmm0
  add    $0x58,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L272:
  movsd  0x0(%r13),%xmm1
  movsd  (%r14),%xmm0
  mov    $0x2,%eax
  call   <cdflib_fifdmin1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,0x18(%rsp)
  cmp    $0x7,%eax
  jg     L216
  mov    (%rbx),%r12
  movq   %r12,%xmm6
  comisd D109(%rip),%xmm6
  jbe    L109
  mov    0x0(%rbp),%r15
  movq   %r15,%xmm6
  comisd D109(%rip),%xmm6
  ja     L83
  movq   %r15,%xmm0
  xorpd  D177(%rip),%xmm0
  movsd  %xmm0,0x40(%rsp)
  lea    0x40(%rsp),%rdi
  mov    $0x0,%eax
  call   <cdflib_alnrel@plt>
  pxor   %xmm6,%xmm6
  cvtsi2sd %eax,%xmm6
  movq   %xmm6,%rbx
  movsd  0x0(%rbp),%xmm0
  call   <log@plt>
  jmp    L332
L216:
  movsd  (%r14),%xmm1
  movsd  0x0(%r13),%xmm0
  comisd %xmm0,%xmm1
  ja     L339
  movapd %xmm1,%xmm4
  divsd  %xmm0,%xmm4
  movsd  D149(%rip),%xmm3
  movapd %xmm4,%xmm2
  addsd  %xmm3,%xmm2
  divsd  %xmm2,%xmm4
  movsd  %xmm4,(%rsp)
  divsd  %xmm2,%xmm3
  movsd  %xmm3,0x8(%rsp)
  addsd  %xmm1,%xmm0
  mulsd  (%rbx),%xmm0
  movapd %xmm1,%xmm5
  subsd  %xmm0,%xmm5
  movq   %xmm5,%r12
  jmp    L129
L109:
  movq   %r12,%xmm0
  call   <log@plt>
  movq   %xmm0,%rbx
  movq   %r12,%xmm0
  xorpd  D177(%rip),%xmm0
  movsd  %xmm0,0x38(%rsp)
  lea    0x38(%rsp),%rdi
  mov    $0x0,%eax
  call   <cdflib_alnrel@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  jmp    L332
L83:
  movq   %r12,%xmm0
  call   <log@plt>
  movq   %xmm0,%rbx
  movq   %r15,%xmm0
  call   <log@plt>
L332:
  movsd  (%r14),%xmm3
  movsd  0x0(%r13),%xmm1
  movq   %rbx,%xmm2
  mulsd  %xmm3,%xmm2
  mulsd  %xmm1,%xmm0
  addsd  %xmm0,%xmm2
  movq   %xmm2,%rbx
  movsd  D149(%rip),%xmm0
  comisd 0x18(%rsp),%xmm0
  ja     L302
  mov    %r13,%rsi
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <cdflib_beta_log@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movq   %rbx,%xmm2
  subsd  %xmm0,%xmm2
  movapd %xmm2,%xmm0
  call   <exp@plt>
  movq   %xmm0,%r12
  jmp    L9
L302:
  movapd %xmm3,%xmm0
  mov    $0x2,%eax
  call   <cdflib_fifdmax1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,0x28(%rsp)
  cmp    $0x7,%eax
  jg     L52
  cmp    $0x1,%eax
  jg     L178
  movq   %rbx,%xmm0
  call   <exp@plt>
  movq   %xmm0,%r12
  ucomisd D3(%rip),%xmm0
  jp     L175
  je     L9
L175:
  movsd  (%r14),%xmm0
  addsd  0x0(%r13),%xmm0
  movsd  %xmm0,0x20(%rsp)
  comisd D149(%rip),%xmm0
  jbe    L201
  subsd  D149(%rip),%xmm0
  movsd  %xmm0,0x30(%rsp)
  lea    0x30(%rsp),%rdi
  mov    $0x0,%eax
  call   <cdflib_gam1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  D149(%rip),%xmm0
  divsd  0x20(%rsp),%xmm0
  movsd  %xmm0,(%rsp)
L252:
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <cdflib_gam1@plt>
  mov    %eax,%ebx
  mov    %r13,%rdi
  mov    $0x0,%eax
  call   <cdflib_gam1@plt>
  movsd  0x18(%rsp),%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebx,%xmm0
  movsd  D149(%rip),%xmm2
  addsd  %xmm2,%xmm0
  pxor   %xmm3,%xmm3
  cvtsi2sd %eax,%xmm3
  addsd  %xmm2,%xmm3
  mulsd  %xmm3,%xmm0
  divsd  (%rsp),%xmm0
  mulsd  %xmm1,%xmm0
  movq   %r12,%xmm5
  mulsd  %xmm5,%xmm0
  divsd  0x28(%rsp),%xmm1
  addsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm0
  movq   %xmm0,%r12
  jmp    L9
L52:
  lea    0x18(%rsp),%r12
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_ln1@plt>
  mov    %eax,%ebp
  lea    0x28(%rsp),%rsi
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <cdflib_algdiv@plt>
  add    %eax,%ebp
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebp,%xmm0
  movq   %rbx,%xmm2
  subsd  %xmm0,%xmm2
  movapd %xmm2,%xmm0
  call   <exp@plt>
  mulsd  0x18(%rsp),%xmm0
  movq   %xmm0,%r12
  jmp    L9
L178:
  lea    0x18(%rsp),%rdi
  mov    $0x0,%eax
  call   <cdflib_gamma_ln1@plt>
  pxor   %xmm5,%xmm5
  cvtsi2sd %eax,%xmm5
  movq   %xmm5,%rbp
  movsd  %xmm5,0x30(%rsp)
  movsd  0x28(%rsp),%xmm0
  movapd %xmm0,%xmm1
  subsd  D149(%rip),%xmm1
  cvttsd2si %xmm1,%edx
  test   %edx,%edx
  jle    L176
  movsd  0x18(%rsp),%xmm5
  add    $0x1,%edx
  mov    $0x1,%eax
  movsd  D149(%rip),%xmm1
  movapd %xmm1,%xmm4
L79:
  subsd  %xmm4,%xmm0
  movapd %xmm0,%xmm3
  addsd  %xmm5,%xmm3
  movapd %xmm0,%xmm2
  divsd  %xmm3,%xmm2
  mulsd  %xmm2,%xmm1
  add    $0x1,%eax
  cmp    %edx,%eax
  jne    L79
  movsd  %xmm0,0x28(%rsp)
  movapd %xmm1,%xmm0
  call   <log@plt>
  movq   %rbp,%xmm7
  addsd  %xmm0,%xmm7
  movsd  %xmm7,0x30(%rsp)
L176:
  movq   %rbx,%xmm7
  subsd  0x30(%rsp),%xmm7
  movq   %xmm7,%rbx
  movsd  D149(%rip),%xmm1
  movsd  0x28(%rsp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x28(%rsp)
  addsd  0x18(%rsp),%xmm0
  movsd  %xmm0,0x20(%rsp)
  comisd %xmm1,%xmm0
  jbe    L34
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x30(%rsp)
  lea    0x30(%rsp),%rdi
  mov    $0x0,%eax
  call   <cdflib_gam1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  D149(%rip),%xmm0
  divsd  0x20(%rsp),%xmm0
  movsd  %xmm0,0x8(%rsp)
L76:
  movq   %rbx,%xmm0
  call   <exp@plt>
  mulsd  0x18(%rsp),%xmm0
  movsd  %xmm0,(%rsp)
  lea    0x28(%rsp),%rdi
  mov    $0x0,%eax
  call   <cdflib_gam1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  D149(%rip),%xmm0
  mulsd  (%rsp),%xmm0
  divsd  0x8(%rsp),%xmm0
  movq   %xmm0,%r12
  jmp    L9
L201:
  lea    0x20(%rsp),%rdi
  mov    $0x0,%eax
  call   <cdflib_gam1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  D149(%rip),%xmm0
  movsd  %xmm0,(%rsp)
  jmp    L252
L34:
  lea    0x20(%rsp),%rdi
  mov    $0x0,%eax
  call   <cdflib_gam1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  addsd  D149(%rip),%xmm0
  movsd  %xmm0,0x8(%rsp)
  jmp    L76
L339:
  movapd %xmm0,%xmm3
  divsd  %xmm1,%xmm3
  movsd  D149(%rip),%xmm4
  movapd %xmm3,%xmm2
  addsd  %xmm4,%xmm2
  divsd  %xmm2,%xmm4
  movsd  %xmm4,(%rsp)
  divsd  %xmm2,%xmm3
  movsd  %xmm3,0x8(%rsp)
  movapd %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  mulsd  0x0(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movq   %xmm2,%r12
L129:
  movq   %r12,%xmm0
  divsd  %xmm1,%xmm0
  movapd %xmm0,%xmm7
  xorpd  D177(%rip),%xmm7
  movq   %xmm7,%r15
  movsd  %xmm7,0x40(%rsp)
  andpd  D245(%rip),%xmm0
  comisd D63(%rip),%xmm0
  jbe    L91
  movsd  (%rbx),%xmm0
  divsd  (%rsp),%xmm0
  call   <log@plt>
  movapd %xmm0,%xmm1
  movq   %r15,%xmm0
  subsd  %xmm1,%xmm0
L173:
  movsd  %xmm0,0x30(%rsp)
  movq   %r12,%xmm5
  divsd  0x0(%r13),%xmm5
  movq   %xmm5,%r12
  movsd  %xmm5,0x40(%rsp)
  movapd %xmm5,%xmm0
  andpd  D245(%rip),%xmm0
  comisd D63(%rip),%xmm0
  jbe    L90
  movsd  0x0(%rbp),%xmm0
  divsd  0x8(%rsp),%xmm0
  call   <log@plt>
  movq   %r12,%xmm1
  subsd  %xmm0,%xmm1
L24:
  mov    0x0(%r13),%rbx
  movsd  (%r14),%xmm0
  mulsd  0x30(%rsp),%xmm0
  movq   %rbx,%xmm4
  mulsd  %xmm4,%xmm1
  addsd  %xmm1,%xmm0
  xorpd  D177(%rip),%xmm0
  call   <exp@plt>
  movq   %xmm0,%rbp
  movq   %rbx,%xmm0
  mulsd  (%rsp),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm0,%xmm1
  ja     L174
  sqrtsd %xmm0,%xmm0
L247:
  mulsd  D134(%rip),%xmm0
  movq   %rbp,%xmm7
  mulsd  %xmm0,%xmm7
  movsd  %xmm7,(%rsp)
  mov    %r13,%rsi
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <cdflib_bcorr@plt>
  neg    %eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  call   <exp@plt>
  mulsd  (%rsp),%xmm0
  movq   %xmm0,%r12
  jmp    L9
L91:
  lea    0x40(%rsp),%rdi
  mov    $0x0,%eax
  call   <cdflib_rlog1@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  jmp    L173
L90:
  lea    0x40(%rsp),%rdi
  mov    $0x0,%eax
  call   <cdflib_rlog1@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  jmp    L24
L174:
  call   <sqrt@plt>
  jmp    L247
L144:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: label: D109
type_infered: f64[2]
name: unpack_data
arguments: label: D177
type_infered: f32[4]
name: unpack_data
arguments: label: D149
type_infered: f64[2]
name: unpack_data
arguments: label: D3
type_infered: f32[2]
name: unpack_data
arguments: label: D245
type_infered: qword[2]
name: unpack_data
arguments: label: D63
type_infered: f64[2]
name: unpack_data
arguments: label: D134
type_infered: byte[8]

tool: {"D109": [0.375,0.6]}

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

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

tool: {"D3": [0.0,0.0]}

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

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

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

assistant: ```c
double cdflib_beta_cdflib_rcomp(const double *a, const double *b, const double *x, const double *y) {
  static const double Const = .398942280401433e0;
  double brcomp, a0, apb, b0, c, e, h, lambda, lnx, lny, t, u, v, x0, y0, z;
  int i, n;
  double T1, T2;
  brcomp = 0.0e0;
  if (*x == 0.0e0 || *y == 0.0e0) {
    return brcomp;
  }
  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);
  brcomp = exp(z);
  return brcomp;
S40:
  b0 = cdflib_fifdmax1(*a, *b);
  if (b0 >= 8.0e0) {
    goto S120;
  }
  if (b0 > 1.0e0) {
    goto S70;
  }
  brcomp = exp(z);
  if (brcomp == 0.0e0) {
    return brcomp;
  }
  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;
  brcomp = brcomp * (a0 * c) / (1.0e0 + a0 / b0);
  return brcomp;
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:
  brcomp = a0 * exp(z) * (1.0e0 + cdflib_gam1(&b0)) / t;
  return brcomp;
S120:
  u = cdflib_gamma_ln1(&a0) + cdflib_algdiv(&a0, &b0);
  brcomp = a0 * exp(z - u);
  return brcomp;
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:
  z = exp(-(*a * u + *b * v));
  brcomp = Const * sqrt(*b * x0) * z * exp(-cdflib_bcorr(a, b));
  return brcomp;
}
```