user: Converte this assembly snippet into its equivalent C code:

```asm
<show_float>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %edi,%ebx
  call   <u2f@plt>
  movss  %xmm0,0xc(%rsp)
  mov    %ebx,%edi
  call   <get_exp@plt>
  mov    %eax,%ebp
  mov    %ebx,%edi
  call   <get_frac@plt>
  mov    %eax,%r12d
  mov    %ebx,%edi
  call   <get_sign@plt>
  mov    %eax,%r13d
  pxor   %xmm0,%xmm0
  cvtss2sd 0xc(%rsp),%xmm0
  lea    D22(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    %r12d,%r8d
  mov    %ebp,%ecx
  mov    %r13d,%edx
  mov    %ebx,%esi
  lea    D68(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  cmp    $0xff,%ebp
  je     L42
  test   %ebp,%ebp
  je     L22
  lea    -0x7f(%rbp),%ecx
  add    $0x800000,%r12d
  pxor   %xmm0,%xmm0
  cvtsi2ss %r12d,%xmm0
  mulss  D59(%rip),%xmm0
  cvtss2sd %xmm0,%xmm0
  cmp    $0x1,%r13d
  sbb    %edx,%edx
  and    $0xfffffffe,%edx
  add    $0x2d,%edx
  lea    D0(%rip),%rsi
  jmp    L30
L42:
  test   %r12d,%r12d
  jne    L7
  cmp    $0x1,%r13d
  sbb    %esi,%esi
  and    $0xfffffffe,%esi
  add    $0x2d,%esi
  lea    D12(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L21
L7:
  lea    D2(%rip),%rdi
  call   <puts@plt>
  jmp    L21
L22:
  pxor   %xmm0,%xmm0
  cvtsi2ss %r12d,%xmm0
  mulss  D59(%rip),%xmm0
  cvtss2sd %xmm0,%xmm0
  cmp    $0x1,%r13d
  sbb    %edx,%edx
  and    $0xfffffffe,%edx
  add    $0x2d,%edx
  mov    $0xffffff82,%ecx
  lea    D87(%rip),%rsi
L30:
  lea    D78(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
L21:
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
```

tool_calls: name: read_data
arguments: label: D22
data_type: string
name: read_data
arguments: label: D68
data_type: string
name: read_data
arguments: label: D59
data_type: byte[4]
name: read_data
arguments: label: D0
data_type: string
name: read_data
arguments: label: D12
data_type: string
name: read_data
arguments: label: D2
data_type: string
name: read_data
arguments: label: D87
data_type: string
name: read_data
arguments: label: D78
data_type: string

tool: D22: 
Floating point value %.10g


tool: D68: Bit Representation 0x%.8x, sign = %x, exponent = 0x%.2x, fraction = 0x%.6x


tool: {"D59": [0x00,0x00,0x00,0x34]}

tool: D0: Normalized

tool: D12: %cInfinity


tool: D2: Not-A-Number

tool: D87: Denormalized

tool: D78: %s.  %c%.10f X 2^(%d)


assistant: ```c
void show_float(unsigned uf) {
  float f = u2f(uf);
  unsigned exp = get_exp(uf);
  unsigned frac = get_frac(uf);
  unsigned sign = get_sign(uf);
  printf("\nFloating point value %.10g\n", f);
  printf("Bit Representation 0x%.8x, sign = %x, exponent = 0x%.2x, fraction = 0x%.6x\n", uf, sign, exp, frac);
  if (exp == ((1 << 8) - 1)) {
    if (frac == 0) {
      printf("%cInfinity\n", sign ? '-' : '+');
    } else
      printf("Not-A-Number\n");
  } else {
    int denorm = (exp == 0);
    int uexp = denorm ? 1 - ((1 << (8 - 1)) - 1) : exp - ((1 << (8 - 1)) - 1);
    int mantissa = denorm ? frac : frac + (1 << 23);
    float fman = (float)mantissa / (float)(1 << 23);
    printf("%s.  %c%.10f X 2^(%d)\n", denorm ? "Denormalized" : "Normalized", sign ? '-' : '+', fman, uexp);
  }
}
```