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

```asm
<_fnum>:
  endbr64
  push   %r15
  pxor   %xmm1,%xmm1
  push   %r14
  push   %r13
  mov    %edx,%r13d
  push   %r12
  mov    %esi,%r12d
  push   %rbp
  mov    %edi,%ebp
  push   %rbx
  mov    %rcx,%rbx
  sub    $0x88,%rsp
  mov    %dl,0x8(%rsp)
  mov    %fs:0x28,%rax
  mov    %rax,0x78(%rsp)
  xor    %eax,%eax
  test   %dil,%dil
  mov    $0x6,%eax
  cmovs  %eax,%ebp
  comisd %xmm0,%xmm1
  ja     L311
  movb   $0x0,0x13(%rsp)
L614:
  lea    0x32(%rsp),%r15
  lea    0x2c(%rsp),%rdi
  mov    $0x1,%eax
  movl   $0x0,0x2c(%rsp)
  mov    %r15,%rsi
  call   <_fbcd@plt>
  movzbl 0x32(%rsp),%eax
  cmp    $0x30,%al
  jne    L599
  nopw   0x0(%rax,%rax,1)
L641:
  movzbl 0x1(%r15),%eax
  add    $0x1,%r15
  cmp    $0x30,%al
  je     L641
L599:
  cmp    $0x1,%al
  sbb    $0x0,%r15
  mov    %r15,%rdi
  call   <strlen@plt>
  cmp    $0x1,%rax
  jbe    L616
  lea    -0x1(%r15,%rax,1),%rsi
  mov    0x2c(%rsp),%edi
  cmpb   $0x30,(%rsi)
  jne    L59
  mov    %rsi,%rax
  nopw   0x0(%rax,%rax,1)
L611:
  sub    $0x1,%rax
  mov    %edi,%ecx
  movb   $0x0,0x1(%rax)
  sub    %eax,%ecx
  cmpb   $0x30,(%rax)
  lea    (%rcx,%rsi,1),%r14d
  je     L611
  mov    %r14d,0x2c(%rsp)
L458:
  movb   $0x30,-0x1(%r15)
  mov    %r15,%rdi
  call   <strlen@plt>
  mov    %ebp,%edx
  or     %r13b,%dl
  movsbq %al,%rsi
  je     L495
  movsbl %bpl,%r8d
  cmp    $0x1,%r13b
  je     L705
L212:
  movsbl %sil,%eax
  add    %r14d,%eax
  cmp    $0xfffffffc,%eax
  jge    L518
L223:
  lea    0x1(%r13),%eax
  mov    %al,0x8(%rsp)
L518:
  cmpb   $0x1,0x8(%rsp)
  jg     L154
L524:
  mov    %r14d,%eax
  add    %r8d,%eax
  js     L609
L548:
  movzbl 0x13(%rsp),%eax
  add    %r14d,%ebp
  lea    0x1(%rax),%r13d
  movsbw %sil,%ax
  neg    %esi
  movzbl %r13b,%r13d
  add    %eax,%r13d
  movsbw %bpl,%ax
  lea    0x0(%r13,%rax,1),%edi
  movsbl %sil,%r13d
  mov    %di,0x8(%rsp)
  mov    %r13b,0x14(%rsp)
  cmp    %r14d,%r13d
  jge    L566
L729:
  sub    0x8(%rsp),%r12b
  test   %r12b,%r12b
  jle    L721
  nopl   0x0(%rax)
L374:
  xor    %eax,%eax
  mov    $0x20,%edi
  call   *%rbx
  sub    $0x1,%r12b
  jne    L374
L721:
  cmpb   $0x0,0x13(%rsp)
  je     L281
  mov    $0x2d,%edi
  xor    %eax,%eax
  call   *%rbx
L281:
  mov    0x2c(%rsp),%eax
  cmp    %eax,%r13d
  jge    L551
L190:
  movsbl (%r15),%edi
  test   %dil,%dil
  je     L755
  movzbl 0x14(%rsp),%r12d
  sub    %r15d,%r12d
  cs nopw 0x0(%rax,%rax,1)
L319:
  add    $0x1,%r15
  xor    %eax,%eax
  call   *%rbx
  lea    (%r12,%r15,1),%eax
  movsbl %al,%eax
  cmp    0x2c(%rsp),%eax
  je     L701
  movsbl (%r15),%edi
  test   %dil,%dil
  jne    L319
  mov    0x2c(%rsp),%eax
L755:
  test   %eax,%eax
  nopl   0x0(%rax,%rax,1)
L95:
  jle    L83
L575:
  xor    %eax,%eax
  mov    $0x30,%edi
  sub    $0x1,%ebp
  call   *%rbx
  mov    0x2c(%rsp),%eax
  sub    $0x1,%eax
  mov    %eax,0x2c(%rsp)
  test   %eax,%eax
  jne    L95
  mov    $0x2e,%edi
  call   *%rbx
  mov    0x2c(%rsp),%eax
  test   %eax,%eax
  jg     L575
L83:
  test   %bpl,%bpl
  jle    L94
  nopl   0x0(%rax)
L718:
  xor    %eax,%eax
  mov    $0x30,%edi
  call   *%rbx
  sub    $0x1,%bpl
  jne    L718
L94:
  movswl 0x8(%rsp),%eax
L460:
  mov    0x78(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L260
  add    $0x88,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
L701:
  mov    $0x2e,%edi
  xor    %eax,%eax
  call   *%rbx
  movsbl (%r15),%edi
  test   %dil,%dil
  jne    L319
  mov    0x2c(%rsp),%eax
  jmp    L755
  nopw   0x0(%rax,%rax,1)
L616:
  cmpb   $0x30,(%r15)
  je     L600
  mov    0x2c(%rsp),%r14d
  jmp    L458
  nopl   0x0(%rax)
L311:
  movb   $0x1,0x13(%rsp)
  xorpd  D8(%rip),%xmm0
  jmp    L614
  nopw   0x0(%rax,%rax,1)
L495:
  test   %r14d,%r14d
  jns    L572
  movslq %r14d,%rcx
  movsbq %al,%rax
  add    %rcx,%rax
  add    %r15,%rax
  movzbl (%rax),%ecx
  movb   $0x0,(%rax)
  cmp    $0x34,%cl
  jle    L742
  movzbl -0x1(%rax),%edx
  lea    -0x1(%rax),%rsi
  lea    0x1(%rdx),%ecx
  mov    %cl,-0x1(%rax)
  mov    %rsi,%rax
  cmp    $0x3a,%cl
  jne    L742
  nopl   0x0(%rax,%rax,1)
L455:
  movb   $0x30,(%rax)
  movzbl -0x1(%rax),%edx
  sub    $0x1,%rax
  lea    0x1(%rdx),%ecx
  mov    %cl,(%rax)
  cmp    $0x3a,%cl
  je     L455
L742:
  cmp    %rax,%r15
  cmova  %rax,%r15
  mov    %r15,%rdi
  call   <strlen@plt>
  movl   $0x0,0x2c(%rsp)
  xor    %ecx,%ecx
  movsbw %al,%si
  jmp    L103
L506:
  xor    %r14d,%r14d
L572:
  mov    %r14d,%ecx
L103:
  movzbl 0x13(%rsp),%eax
  add    %ecx,%eax
  lea    (%rax,%rsi,1),%r14d
  sub    %r14d,%r12d
  mov    %r14d,%r13d
  mov    %r12d,%ebp
  test   %r12b,%r12b
  jle    L36
  nopl   0x0(%rax,%rax,1)
L381:
  xor    %eax,%eax
  mov    $0x20,%edi
  call   *%rbx
  sub    $0x1,%bpl
  jne    L381
  sub    $0x1,%r12d
  movzbl %r12b,%r12d
  lea    0x1(%r14,%r12,1),%r13d
L36:
  cmpb   $0x0,0x13(%rsp)
  je     L77
  mov    $0x2d,%edi
  nopl   0x0(%rax,%rax,1)
L106:
  xor    %eax,%eax
  call   *%rbx
L77:
  movsbl (%r15),%edi
  add    $0x1,%r15
  test   %dil,%dil
  jne    L106
  mov    0x2c(%rsp),%edx
  test   %edx,%edx
  jle    L364
  nopl   0x0(%rax)
L114:
  xor    %eax,%eax
  mov    $0x30,%edi
  call   *%rbx
  mov    0x2c(%rsp),%eax
  sub    $0x1,%eax
  mov    %eax,0x2c(%rsp)
  test   %eax,%eax
  jg     L114
L364:
  movswl %r13w,%eax
  jmp    L460
  nopl   0x0(%rax)
L154:
  movzbl 0x13(%rsp),%edx
  movsbw %bpl,%ax
  movsbl %sil,%edi
  lea    0x1(%r8),%r13d
  lea    0x6(%rdx,%rax,1),%eax
  mov    %ax,0x16(%rsp)
  sub    %eax,%r12d
  mov    %ax,0x14(%rsp)
  mov    %edi,%eax
  cmp    %r13d,%edi
  jle    L44
  movsbq %bpl,%rax
  mov    %rax,0x18(%rsp)
  add    $0x1,%rax
  mov    %rax,0x8(%rsp)
  jmp    L625
  nopw   0x0(%rax,%rax,1)
L477:
  cmp    %rax,%r15
  cmova  %rax,%r15
  mov    %r15,%rdi
  call   <strlen@plt>
  mov    %eax,%esi
  movsbl %al,%eax
  cmp    %eax,%r13d
  jge    L44
  mov    %eax,%edi
L625:
  mov    0x8(%rsp),%rax
  sub    %r13d,%edi
  add    %edi,%r14d
  add    %r15,%rax
  mov    %r14d,0x2c(%rsp)
  movzbl (%rax),%esi
  movb   $0x0,(%rax)
  cmp    $0x34,%sil
  jle    L477
  mov    0x18(%rsp),%rdx
  lea    (%r15,%rdx,1),%rdi
  movzbl -0x1(%rax),%edx
  lea    0x1(%rdx),%esi
  mov    %sil,-0x1(%rax)
  mov    %rdi,%rax
  cmp    $0x3a,%sil
  jne    L477
  nopw   0x0(%rax,%rax,1)
L232:
  movb   $0x30,(%rax)
  movzbl -0x1(%rax),%edx
  sub    $0x1,%rax
  lea    0x1(%rdx),%esi
  mov    %sil,(%rax)
  cmp    $0x3a,%sil
  je     L232
  jmp    L477
  nopl   0x0(%rax)
L44:
  lea    -0x1(%r14,%rax,1),%eax
  mov    %eax,%ecx
  mov    %eax,0x2c(%rsp)
  neg    %ecx
  cmovns %ecx,%eax
  cmp    $0x63,%eax
  setg   %al
  add    $0x1,%ebp
  mov    %ebp,%r14d
  sub    %eax,%r12d
  sub    %esi,%r14d
  mov    %r12d,%r13d
  mov    %r14d,%ebp
  test   %r12b,%r12b
  jle    L473
  nopl   (%rax)
L439:
  xor    %eax,%eax
  mov    $0x20,%edi
  call   *%rbx
  sub    $0x1,%r13b
  jne    L439
  movzwl 0x16(%rsp),%eax
  sub    $0x1,%r12d
  movzbl %r12b,%r12d
  lea    0x1(%rax,%r12,1),%eax
  mov    %ax,0x14(%rsp)
L473:
  cmpb   $0x0,0x13(%rsp)
  jne    L183
L152:
  movsbl (%r15),%edi
  xor    %eax,%eax
  lea    0x1(%r15),%r12
  call   *%rbx
  mov    $0x2e,%edi
  xor    %eax,%eax
  call   *%rbx
  movsbl 0x1(%r15),%edi
  test   %dil,%dil
  je     L211
L509:
  add    $0x1,%r12
  xor    %eax,%eax
  call   *%rbx
  movsbl (%r12),%edi
  test   %dil,%dil
  jne    L509
L211:
  test   %r14b,%r14b
  jle    L540
  nopw   0x0(%rax,%rax,1)
L402:
  xor    %eax,%eax
  mov    $0x30,%edi
  call   *%rbx
  sub    $0x1,%bpl
  jne    L402
L540:
  xor    %eax,%eax
  mov    $0x65,%edi
  call   *%rbx
  mov    0x2c(%rsp),%eax
  test   %eax,%eax
  js     L608
  mov    $0x2b,%edi
  xor    %eax,%eax
  call   *%rbx
L306:
  mov    0x2c(%rsp),%eax
  cmp    $0x63,%eax
  jle    L594
  movslq %eax,%rdi
  sar    $0x1f,%eax
  imul   $0x51eb851f,%rdi,%rdi
  sar    $0x25,%rdi
  sub    %eax,%edi
  xor    %eax,%eax
  add    $0x30,%edi
  call   *%rbx
  movslq 0x2c(%rsp),%rax
  mov    %rax,%rdx
  imul   $0x51eb851f,%rax,%rax
  mov    %edx,%ecx
  sar    $0x1f,%ecx
  sar    $0x25,%rax
  sub    %ecx,%eax
  imul   $0x64,%eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,0x2c(%rsp)
L594:
  movslq %eax,%rdi
  sar    $0x1f,%eax
  imul   $0x66666667,%rdi,%rdi
  sar    $0x22,%rdi
  sub    %eax,%edi
  xor    %eax,%eax
  add    $0x30,%edi
  call   *%rbx
  movslq 0x2c(%rsp),%rax
  mov    %rax,%rdi
  imul   $0x66666667,%rax,%rax
  mov    %edi,%edx
  sar    $0x1f,%edx
  sar    $0x22,%rax
  sub    %edx,%eax
  lea    (%rax,%rax,4),%eax
  add    %eax,%eax
  sub    %eax,%edi
  xor    %eax,%eax
  add    $0x30,%edi
  call   *%rbx
  movswl 0x14(%rsp),%eax
  jmp    L460
  nopl   0x0(%rax)
L705:
  test   %r14d,%r14d
  js     L772
  lea    0x5(%r8),%eax
  cmp    %r14d,%eax
  jl     L223
  jmp    L572
  nopl   0x0(%rax,%rax,1)
L551:
  mov    $0x30,%edi
  xor    %eax,%eax
  call   *%rbx
  xor    %eax,%eax
  mov    $0x2e,%edi
  call   *%rbx
  mov    0x2c(%rsp),%eax
  cmp    %eax,%r13d
  jle    L190
  nopw   0x0(%rax,%rax,1)
L499:
  xor    %eax,%eax
  mov    $0x30,%edi
  call   *%rbx
  mov    0x2c(%rsp),%eax
  add    $0x1,%eax
  mov    %eax,0x2c(%rsp)
  cmp    %eax,%r13d
  jg     L499
  jmp    L190
  xchg   %ax,%ax
L566:
  mov    $0x1,%eax
  movsbw %r13b,%cx
  sub    %r14d,%eax
  add    %ecx,%eax
  add    %eax,%edi
  mov    %di,0x8(%rsp)
  jmp    L729
  nopl   0x0(%rax,%rax,1)
L183:
  mov    $0x2d,%edi
  xor    %eax,%eax
  call   *%rbx
  jmp    L152
  xchg   %ax,%ax
L608:
  neg    %eax
  mov    $0x2d,%edi
  mov    %eax,0x2c(%rsp)
  xor    %eax,%eax
  call   *%rbx
  jmp    L306
  nopl   0x0(%rax)
L609:
  movsbq %bpl,%rcx
  movslq %r14d,%rax
  add    %rcx,%rax
  add    %rsi,%rax
  add    %r15,%rax
  movzbl (%rax),%ecx
  movb   $0x0,(%rax)
  cmp    $0x34,%cl
  jle    L449
  movzbl -0x1(%rax),%edx
  lea    -0x1(%rax),%rsi
  lea    0x1(%rdx),%ecx
  mov    %cl,-0x1(%rax)
  mov    %rsi,%rax
  cmp    $0x3a,%cl
  jne    L449
  nopl   0x0(%rax)
L498:
  movb   $0x30,(%rax)
  movzbl -0x1(%rax),%edx
  sub    $0x1,%rax
  lea    0x1(%rdx),%ecx
  mov    %cl,(%rax)
  cmp    $0x3a,%cl
  je     L498
L449:
  cmp    %rax,%r15
  mov    %r8d,0x8(%rsp)
  cmova  %rax,%r15
  mov    %r15,%rdi
  call   <strlen@plt>
  mov    0x8(%rsp),%r8d
  mov    %eax,%esi
  neg    %r8d
  mov    %r8d,0x2c(%rsp)
  mov    %r8d,%r14d
  jmp    L548
L600:
  movsbq %al,%rsi
  mov    %ebp,%eax
  movb   $0x30,-0x1(%r15)
  or     %r13b,%al
  movl   $0x0,0x2c(%rsp)
  je     L506
  movsbl %bpl,%r8d
  xor    %r14d,%r14d
  cmp    $0x1,%r13b
  jne    L212
  jmp    L572
  nopw   0x0(%rax,%rax,1)
L772:
  movsbl %al,%eax
  add    %r14d,%eax
  cmp    $0xfffffffc,%eax
  jl     L223
  jmp    L524
L59:
  mov    %edi,%r14d
  jmp    L458
L260:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D8
data_type: f32[4]

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

assistant: ```c
_fnum(val, prec, width, efmt, pputc) double val;
char width, prec, efmt;
void (*pputc)();
{
  register char *cp, *xp;
  int exp;
  char digs;
  short twid;
  unsigned char sign;
  char xbuf[60];
  if (prec < 0)
    prec = 6;
  twid = 0;
  if (val < 0.0) {
    val = -val;
    sign = 1;
  } else
    sign = 0;
  exp = 0;
  _fbcd(val, &exp, (xbuf + 2));
  cp = (xbuf + 2);
  while (*cp == '0')
    cp++;
  if (*cp == 0)
    cp--;
  if (strlen(cp) > 1) {
    xp = cp + strlen(cp) - 1;
    while (*xp == '0') {
      *xp-- = 0;
      exp++;
    }
  } else if (*cp == '0')
    exp = 0;
  cp[-1] = '0';
  digs = strlen(cp);
  if (efmt == 0 && prec == 0 || efmt == 1 && exp >= 0 && exp <= 5 + prec) {
    if (exp < 0) {
      char c;
      xp = cp + digs + exp;
      c = *xp;
      *xp = 0;
      if (c >= '5')
        for (;;)
          if ((*--xp += 1) == '9' + 1)
            *xp = '0';
          else
            break;
      if (xp < cp)
        cp = xp;
      digs = strlen(cp);
      exp = 0;
    }
    width -= (twid = digs + exp + sign);
    while (width > 0) {
      (*pputc)(' ');
      width--;
      twid++;
    }
    if (sign)
      (*pputc)('-');
    while (*cp)
      (*pputc)(*cp++);
    while (exp > 0) {
      (*pputc)('0');
      exp--;
    }
    return twid;
  }
  if (efmt == 1 && exp >= 5 || exp + digs < -4)
    efmt++;
  if (efmt >= 2) {
    width -= (twid = sign + prec + 6);
    if (digs > prec + 1) {
      char c;
    loop:
      xp = cp + prec + 1;
      exp += digs - (prec + 1);
      c = *xp;
      *xp = 0;
      if (c >= '5')
        for (;;)
          if ((*--xp += 1) == '9' + 1)
            *xp = '0';
          else
            break;
      if (xp < cp)
        cp = xp;
      digs = strlen(cp);
      if (digs > prec + 1)
        goto loop;
    }
    exp += digs - 1;
    if (abs(exp) >= 100)
      width--;
    prec -= digs - 1;
    while (width > 0) {
      (*pputc)(' ');
      width--;
      twid++;
    }
    if (sign)
      (*pputc)('-');
    (*pputc)(*cp++);
    (*pputc)('.');
    while (*cp)
      (*pputc)(*cp++);
    while (prec > 0) {
      (*pputc)('0');
      prec--;
    }
    (*pputc)('e');
    if (exp < 0) {
      exp = -exp;
      (*pputc)('-');
    } else
      (*pputc)('+');
    if (exp >= 100) {
      (*pputc)(exp / 100 + '0');
      exp %= 100;
    }
    (*pputc)(exp / 10 + '0');
    (*pputc)(exp % 10 + '0');
    return twid;
  }
  if (exp + prec < 0) {
    char c;
    xp = cp + digs + exp + prec;
    c = *xp;
    *xp = 0;
    if (c >= '5')
      for (;;)
        if ((*--xp += 1) == '9' + 1)
          *xp = '0';
        else
          break;
    if (xp < cp)
      cp = xp;
    digs = strlen(cp);
    exp = -prec;
  }
  prec += exp;
  twid = 1 + prec + sign + digs;
  digs = -digs;
  if (exp <= digs)
    twid += digs - exp + 1;
  width -= twid;
  while (width > 0) {
    (*pputc)(' ');
    width--;
  }
  if (sign)
    (*pputc)('-');
  if (exp <= digs) {
    (*pputc)('0');
    (*pputc)('.');
    while (exp < digs) {
      (*pputc)('0');
      exp++;
    }
  }
  while (*cp) {
    (*pputc)(*cp++);
    if (++digs == exp)
      (*pputc)('.');
  }
  while (exp > 0) {
    (*pputc)('0');
    prec--;
    if (--exp == 0)
      (*pputc)('.');
  }
  while (prec > 0) {
    (*pputc)('0');
    prec--;
  }
  return twid;
}
```