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

```asm
<cdflib_cdfnor>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %rdx,-0x38(%rbp)
  mov    %rcx,-0x40(%rbp)
  mov    %r8,-0x48(%rbp)
  mov    %r9,-0x50(%rbp)
  mov    0x10(%rbp),%rax
  mov    %rax,-0x58(%rbp)
  mov    0x18(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x58(%rbp),%rax
  movl   $0x0,(%rax)
  mov    -0x60(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  movl   $0x0,(%rax)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  test   %eax,%eax
  jle    L134
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  cmp    $0x4,%eax
  jle    L72
L134:
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  test   %eax,%eax
  jg     L85
  mov    -0x60(%rbp),%rax
  movsd  D109(%rip),%xmm0
  movsd  %xmm0,(%rax)
  jmp    L57
L85:
  nop
  mov    -0x60(%rbp),%rax
  movsd  D106(%rip),%xmm0
  movsd  %xmm0,(%rax)
L57:
  mov    -0x58(%rbp),%rax
  movl   $0xffffffff,(%rax)
  jmp    L295
L72:
  nop
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  cmp    $0x1,%eax
  je     L283
  mov    -0x30(%rbp),%rax
  movsd  (%rax),%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm0
  setae  %al
  xor    $0x1,%eax
  test   %al,%al
  je     L166
  mov    -0x30(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  D109(%rip),%xmm1
  comisd %xmm1,%xmm0
  seta   %al
  xor    $0x1,%eax
  test   %al,%al
  jne    L186
L166:
  mov    -0x30(%rbp),%rax
  movsd  (%rax),%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm0
  setae  %al
  xor    $0x1,%eax
  test   %al,%al
  jne    L268
  mov    -0x60(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L275
L268:
  nop
  mov    -0x60(%rbp),%rax
  movsd  D109(%rip),%xmm0
  movsd  %xmm0,(%rax)
L275:
  mov    -0x58(%rbp),%rax
  movl   $0xfffffffe,(%rax)
  jmp    L295
L283:
  nop
  jmp    L192
L186:
  nop
L192:
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  cmp    $0x1,%eax
  je     L19
  mov    -0x38(%rbp),%rax
  movsd  (%rax),%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm0
  setae  %al
  xor    $0x1,%eax
  test   %al,%al
  je     L98
  mov    -0x38(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  D109(%rip),%xmm1
  comisd %xmm1,%xmm0
  seta   %al
  xor    $0x1,%eax
  test   %al,%al
  jne    L307
L98:
  mov    -0x38(%rbp),%rax
  movsd  (%rax),%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm0
  setae  %al
  xor    $0x1,%eax
  test   %al,%al
  jne    L129
  mov    -0x60(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L142
L129:
  nop
  mov    -0x60(%rbp),%rax
  movsd  D109(%rip),%xmm0
  movsd  %xmm0,(%rax)
L142:
  mov    -0x58(%rbp),%rax
  movl   $0xfffffffd,(%rax)
  jmp    L295
L19:
  nop
  jmp    L79
L307:
  nop
L79:
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  cmp    $0x1,%eax
  je     L172
  mov    -0x30(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0x38(%rbp),%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x10(%rbp),%xmm0
  movsd  D93(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  D93(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movq   D13(%rip),%xmm1
  andpd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  mov    D32(%rip),%eax
  mov    %eax,%edi
  call   <dpmpar@plt>
  movsd  D20(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  -0x68(%rbp),%xmm3
  comisd %xmm0,%xmm3
  seta   %al
  xor    $0x1,%eax
  test   %al,%al
  jne    L351
  pxor   %xmm0,%xmm0
  comisd -0x10(%rbp),%xmm0
  seta   %al
  xor    $0x1,%eax
  test   %al,%al
  jne    L73
  mov    -0x60(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L136
L73:
  nop
  mov    -0x60(%rbp),%rax
  movsd  D109(%rip),%xmm0
  movsd  %xmm0,(%rax)
L136:
  mov    -0x58(%rbp),%rax
  movl   $0x3,(%rax)
  jmp    L295
L172:
  nop
  jmp    L24
L351:
  nop
L24:
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  cmp    $0x4,%eax
  je     L87
  mov    -0x50(%rbp),%rax
  movsd  (%rax),%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm0
  setae  %al
  xor    $0x1,%eax
  test   %al,%al
  jne    L123
  mov    -0x60(%rbp),%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x58(%rbp),%rax
  movl   $0xfffffffa,(%rax)
  jmp    L295
L87:
  nop
  jmp    L119
L123:
  nop
L119:
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  cmp    $0x1,%eax
  jne    L35
  mov    -0x40(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x50(%rbp),%rax
  movsd  (%rax),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x38(%rbp),%rdx
  mov    -0x30(%rbp),%rcx
  lea    -0x18(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <cdflib_cumnor@plt>
  jmp    L358
L35:
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  cmp    $0x2,%eax
  jne    L303
  mov    -0x38(%rbp),%rdx
  mov    -0x30(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <cdflib_dinvnr@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x50(%rbp),%rax
  movsd  (%rax),%xmm1
  movsd  -0x18(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x48(%rbp),%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x40(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L358
L303:
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  cmp    $0x3,%eax
  jne    L330
  mov    -0x38(%rbp),%rdx
  mov    -0x30(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <cdflib_dinvnr@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x40(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x50(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  -0x18(%rbp),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x48(%rbp),%rax
  movsd  %xmm0,(%rax)
  jmp    L358
L330:
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  cmp    $0x4,%eax
  jne    L358
  mov    -0x38(%rbp),%rdx
  mov    -0x30(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <cdflib_dinvnr@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x40(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0x18(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  mov    -0x50(%rbp),%rax
  movsd  %xmm0,(%rax)
L358:
  nop
L295:
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L5
  call   <__stack_chk_fail@plt>
L5:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D109
type: f64
name: extract_symbolic_data
arguments: tag: D106
type: f64
name: extract_symbolic_data
arguments: tag: D93
type: f64
name: extract_symbolic_data
arguments: tag: D13
type: qword
name: extract_symbolic_data
arguments: tag: D32
type: byte[4]
name: extract_symbolic_data
arguments: tag: D20
type: f64

tool: D109: 1

tool: D106: 4

tool: D93: 0.5

tool: D13: 9223372036854775807

tool: {"D32": [0x01,0x00,0x00,0x00]}

tool: D20: 3

assistant: ```c
void cdflib_cdfnor(const int *which, double *p, double *q, double *x, double *mean, double *sd, int *status, double *bound) {
  static const int K1 = 1;
  double z, pq;
  *status = 0;
  *bound = 0.0;
  *status = 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 == 1) {
    goto S150;
  }
  pq = *p + *q;
  if (!(fabs(pq - 0.5e0 - 0.5e0) > 3.0e0 * dpmpar(K1))) {
    goto S140;
  }
  if (!(pq < 0.0e0)) {
    goto S120;
  }
  *bound = 0.0e0;
  goto S130;
S120:
  *bound = 1.0e0;
S130:
  *status = 3;
  return;
S150:
S140:
  if (*which == 4) {
    goto S170;
  }
  if (!(*sd <= 0.0e0)) {
    goto S160;
  }
  *bound = 0.0e0;
  *status = -6;
  return;
S170:
S160:
  if (1 == *which) {
    z = (*x - *mean) / *sd;
    cdflib_cumnor(&z, p, q);
  } else if (2 == *which) {
    z = cdflib_dinvnr(p, q);
    *x = *sd * z + *mean;
  } else if (3 == *which) {
    z = cdflib_dinvnr(p, q);
    *mean = *x - *sd * z;
  } else if (4 == *which) {
    z = cdflib_dinvnr(p, q);
    *sd = (*x - *mean) / z;
  }
  return;
}
```