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

```asm
<v_infnanzero>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  movsd  %xmm0,-0x18(%rbp)
  mov    %rdi,-0x20(%rbp)
  movl   $0x0,-0x8(%rbp)
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <is_zero@plt>
  test   %rax,%rax
  je     L157
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  mov    -0x20(%rbp),%rdx
  add    $0x4,%rdx
  mov    $0x0,%ecx
  test   %eax,%eax
  cmovs  %ecx,%eax
  mov    %eax,(%rdx)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  lea    0x6(%rax),%ecx
  mov    -0x20(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  mov    %ecx,%esi
  mov    %rdx,%rdi
  movq   %rax,%xmm0
  call   <v_preformat@plt>
  mov    %eax,%edx
  mov    -0x8(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x8(%rbp)
  mov    $0x30,%edi
  call   <ft_putchar@plt>
  add    %eax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  test   %eax,%eax
  jne    L127
  mov    -0x20(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  test   %eax,%eax
  je     L99
L127:
  mov    $0x2e,%edi
  call   <ft_putchar@plt>
  jmp    L66
L99:
  mov    $0x0,%eax
L66:
  add    %eax,-0x8(%rbp)
  movl   $0xffffffff,-0x4(%rbp)
  jmp    L143
L167:
  mov    $0x30,%edi
  call   <ft_putchar@plt>
  add    %eax,-0x8(%rbp)
L143:
  addl   $0x1,-0x4(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  cmp    %eax,-0x4(%rbp)
  jl     L167
  lea    D29(%rip),%rax
  mov    %rax,%rdi
  call   <ft_putstr@plt>
  mov    %eax,%edx
  mov    -0x8(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  lea    0x6(%rax),%ecx
  mov    -0x20(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  mov    %ecx,%esi
  mov    %rdx,%rdi
  movq   %rax,%xmm0
  call   <v_postformat@plt>
  mov    %eax,%edx
  mov    -0x8(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x8(%rbp)
L157:
  movsd  -0x18(%rbp),%xmm0
  ucomisd -0x18(%rbp),%xmm0
  jp     L53
  movsd  D7(%rip),%xmm0
  pxor   %xmm1,%xmm1
  divsd  %xmm1,%xmm0
  ucomisd -0x18(%rbp),%xmm0
  jp     L173
  ucomisd -0x18(%rbp),%xmm0
  je     L53
L173:
  movsd  D30(%rip),%xmm0
  pxor   %xmm1,%xmm1
  divsd  %xmm1,%xmm0
  ucomisd -0x18(%rbp),%xmm0
  jp     L137
  ucomisd -0x18(%rbp),%xmm0
  jne    L137
L53:
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  movl   $0x0,(%rax)
  mov    (%rax),%eax
  test   %eax,%eax
  jne    L137
  mov    -0x20(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  mov    $0x3,%esi
  mov    %rdx,%rdi
  movq   %rax,%xmm0
  call   <v_preformat@plt>
  mov    %eax,%edx
  mov    -0x8(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x8(%rbp)
  movsd  -0x18(%rbp),%xmm0
  ucomisd -0x18(%rbp),%xmm0
  jnp    L140
  lea    D2(%rip),%rax
  mov    %rax,%rdi
  call   <ft_putstr@plt>
  mov    %eax,%edx
  mov    -0x8(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x8(%rbp)
  jmp    L144
L140:
  movsd  D7(%rip),%xmm0
  pxor   %xmm1,%xmm1
  divsd  %xmm1,%xmm0
  ucomisd -0x18(%rbp),%xmm0
  jp     L150
  ucomisd -0x18(%rbp),%xmm0
  je     L166
L150:
  movsd  D30(%rip),%xmm0
  pxor   %xmm1,%xmm1
  divsd  %xmm1,%xmm0
  ucomisd -0x18(%rbp),%xmm0
  jp     L144
  ucomisd -0x18(%rbp),%xmm0
  jne    L144
L166:
  lea    D10(%rip),%rax
  mov    %rax,%rdi
  call   <ft_putstr@plt>
  mov    %eax,%edx
  mov    -0x8(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x8(%rbp)
L144:
  mov    -0x20(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  mov    $0x3,%esi
  mov    %rdx,%rdi
  movq   %rax,%xmm0
  call   <v_postformat@plt>
  mov    %eax,%edx
  mov    -0x8(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x8(%rbp)
L137:
  mov    -0x8(%rbp),%eax
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D29
type_guessed: string
name: extract_symbolic_data
arguments: label: D7
type_guessed: f64
name: extract_symbolic_data
arguments: label: D30
type_guessed: f32[2]
name: extract_symbolic_data
arguments: label: D2
type_guessed: string
name: extract_symbolic_data
arguments: label: D10
type_guessed: string

tool: D29: p+0

tool: D7: 1

tool: {"D30": [0.0,-1.875]}

tool: D2: nan

tool: D10: inf

assistant: ```c
int v_infnanzero(double n, int fl[8]) {
  int ret;
  int index;
  ret = 0;
  if (is_zero(n) && (fl[1] = (fl[1] < 0) ? 0 : fl[1]) >= 0) {
    ret += v_preformat(n, fl, 6 + fl[1]);
    ret += ft_putchar('0');
    ret += (fl[1] || fl[2]) ? ft_putchar('.') : 0;
    index = -1;
    while (++index < fl[1])
      ret += ft_putchar('0');
    ret += ft_putstr("p+0");
    ret += v_postformat(n, fl, 6 + fl[1]);
  }
  if ((n != n || (n == 1.0 / 0.0) || (n == -1.0 / 0.0)) && !(fl[1] = 0)) {
    ret += v_preformat(n, fl, 3);
    if (n != n)
      ret += ft_putstr("nan");
    else if (n == 1.0 / 0.0 || n == -1.0 / 0.0)
      ret += ft_putstr("inf");
    ret += v_postformat(n, fl, 3);
  }
  return (ret);
}
```