user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<process_float>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %rdi,%rbp
  call   <reverse@plt>
  mov    $0x9,%edi
  call   <malloc@plt>
  mov    %rax,%r13
  mov    $0x8,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  movb   $0x0,0x8(%r13)
  mov    $0x18,%edi
  call   <malloc@plt>
  mov    %rax,%r12
  mov    $0x17,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  movb   $0x0,0x17(%r12)
  mov    $0x0,%ebx
  jmp    L41
L37:
  movzbl 0x0(%rbp,%rbx,1),%eax
  mov    %al,-0x9(%r12,%rbx,1)
L85:
  add    $0x1,%rbx
L41:
  mov    %rbp,%rdi
  call   <strlen@plt>
  cmp    %eax,%ebx
  jge    L18
  test   %ebx,%ebx
  je     L85
  lea    -0x1(%rbx),%eax
  cmp    $0x7,%eax
  ja     L37
  movzbl 0x0(%rbp,%rbx,1),%eax
  mov    %al,-0x1(%r13,%rbx,1)
  jmp    L85
L18:
  cmpb   $0x30,0x0(%rbp)
  sete   %bpl
  movzbl %bpl,%ebp
  lea    -0x1(%rbp,%rbp,1),%ebp
  mov    $0x0,%esi
  mov    %r13,%rdi
  call   <bin_to_dec@plt>
  sub    $0x7f,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  movq   %xmm0,%rbx
  mov    %r12,%rdi
  call   <process_mantissa@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebp,%xmm0
  movq   %rbx,%xmm3
  mulsd  %xmm3,%xmm0
  add    $0x1,%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  mulsd  %xmm1,%xmm0
  movsd  D49(%rip),%xmm1
  comisd %xmm0,%xmm1
  ja     L51
  mov    $0x0,%esi
  comisd D38(%rip),%xmm0
  jbe    L86
  mov    $0x0,%esi
  movsd  D46(%rip),%xmm2
  movsd  D38(%rip),%xmm1
L15:
  divsd  %xmm2,%xmm0
  add    $0x1,%esi
  comisd %xmm1,%xmm0
  ja     L15
  jmp    L86
L51:
  mov    $0x0,%esi
  movsd  D46(%rip),%xmm2
L5:
  mulsd  %xmm2,%xmm0
  sub    $0x1,%esi
  comisd %xmm0,%xmm1
  ja     L5
L86:
  lea    D14(%rip),%rdi
  call   <printf@plt>
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
```

tool_calls: name: parse_data
arguments: data_tag: D49
type_guessed: f64
name: parse_data
arguments: data_tag: D38
type_guessed: f32
name: parse_data
arguments: data_tag: D46
type_guessed: f32[2]
name: parse_data
arguments: data_tag: D14
type_guessed: string

tool: D49: 1

tool: D38: 0

tool: {"D46": [0.0,2.5625]}

tool: D14: %fe%i

assistant: ```c
void process_float(char *floatstr) {
  int i = 0;
  int flipped = 0;
  reverse(floatstr);
  char *exponent_str = malloc(8 + 1);
  memset(exponent_str, 0, 8);
  exponent_str[8] = '\0';
  char *fraction = malloc(23 + 1);
  memset(fraction, 0, 23);
  fraction[23] = '\0';
  for (; i < (int)strlen(floatstr); i++) {
    if (i == 0) {
      if (floatstr[i] == '1')
        flipped = 1;
    } else if (i >= 1 && i <= 8) {
      exponent_str[i - 1] = floatstr[i];
    } else {
      fraction[i - 9] = floatstr[i];
    }
  }
  int sign_int = floatstr[0] == '0' ? 1 : -1;
  double exponent_int = bin_to_dec(exponent_str, 0) - 127;
  exponent_int = pow(2, exponent_int);
  double fraction_double = 1 + process_mantissa(fraction);
  double value = sign_int * exponent_int * fraction_double;
  int power = 0;
  if (value < 1) {
    while (value < 1) {
      value *= 10;
      power--;
    }
  } else if (value > 9) {
    while (value > 9) {
      value /= 10;
      power++;
    }
  }
  printf("%fe%i", value, power);
}
```