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

```asm
<__decompose_fixp>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x28(%rbp)
  mov    %esi,-0x2c(%rbp)
  mov    %rdx,-0x38(%rbp)
  mov    %ecx,-0x30(%rbp)
  movsd  D6(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movl   $0x0,-0x18(%rbp)
  jmp    L55
L41:
  movsd  -0x8(%rbp),%xmm1
  movsd  D3(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  addl   $0x1,-0x18(%rbp)
L55:
  mov    -0x18(%rbp),%eax
  cmp    -0x30(%rbp),%eax
  jb     L41
  fldl   -0x8(%rbp)
  fldt   0x10(%rbp)
  faddp  %st,%st(1)
  fstpt  0x10(%rbp)
  fldt   0x10(%rbp)
  fnstcw -0x3a(%rbp)
  movzwl -0x3a(%rbp),%eax
  or     $0xc,%ah
  mov    %ax,-0x3c(%rbp)
  fldcw  -0x3c(%rbp)
  fistpll -0x10(%rbp)
  fldcw  -0x3a(%rbp)
  fildll -0x10(%rbp)
  fldt   0x10(%rbp)
  fsubp  %st,%st(1)
  fstpt  0x10(%rbp)
  jmp    L4
L29:
  fldt   0x10(%rbp)
  fldt   0xe8e(%rip)        # 2010 <_fini+0xda8>
  fmulp  %st,%st(1)
  fstpt  0x10(%rbp)
  fldt   0x10(%rbp)
  fldcw  -0x3c(%rbp)
  fistpl -0x14(%rbp)
  fldcw  -0x3a(%rbp)
  fildl  -0x14(%rbp)
  fldt   0x10(%rbp)
  fsubp  %st,%st(1)
  fstpt  0x10(%rbp)
  mov    -0x14(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x38(%rbp),%rax
  lea    0x1(%rax),%rdx
  mov    %rdx,-0x38(%rbp)
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
L4:
  mov    -0x30(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    %edx,-0x30(%rbp)
  test   %eax,%eax
  jne    L29
  jmp    L46
L31:
  mov    -0x10(%rbp),%rcx
  movabs $0x6666666666666667,%rdx
  mov    %rcx,%rax
  imul   %rdx
  mov    %rdx,%rax
  sar    $0x2,%rax
  mov    %rcx,%rsi
  sar    $0x3f,%rsi
  sub    %rsi,%rax
  mov    %rax,%rdx
  mov    %rdx,%rax
  shl    $0x2,%rax
  add    %rdx,%rax
  add    %rax,%rax
  sub    %rax,%rcx
  mov    %rcx,%rdx
  mov    %edx,-0x14(%rbp)
  mov    -0x10(%rbp),%rcx
  movabs $0x6666666666666667,%rdx
  mov    %rcx,%rax
  imul   %rdx
  mov    %rdx,%rax
  sar    $0x2,%rax
  sar    $0x3f,%rcx
  mov    %rcx,%rdx
  sub    %rdx,%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x14(%rbp),%eax
  mov    %eax,%ecx
  subl   $0x1,-0x2c(%rbp)
  mov    -0x2c(%rbp),%edx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  lea    0x30(%rcx),%edx
  mov    %dl,(%rax)
  cmpq   $0x0,-0x10(%rbp)
  je     L30
L46:
  cmpl   $0x0,-0x2c(%rbp)
  jne    L31
  jmp    L22
L30:
  nop
L22:
  mov    -0x2c(%rbp),%edx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  pop    %rbp
  ret
```

tool_calls: name: disassemble_data
arguments: label: D6
data_type: f64
name: disassemble_data
arguments: label: D3
data_type: f64

tool: D6: 0.5

tool: D3: 0.1

assistant: ```c
char *__decompose_fixp(long double number, unsigned char *digits_int, unsigned int precision_int, unsigned char *digits_frac, unsigned int precision_frac) {
  long long int integer;
  double tmp;
  int i;
  tmp = 0.5;
  {
    unsigned int j;
    for (j = 0; j < precision_frac; j++)
      tmp *= 0.1;
  }
  number += tmp;
  integer = number;
  number -= integer;
  while (precision_frac--) {
    number *= 10.L;
    i = (int)number;
    number -= i;
    *digits_frac++ = '0' + i;
  }
  while (precision_int) {
    i = (int)(integer % 10);
    integer /= 10;
    digits_int[--precision_int] = '0' + i;
    if (integer == 0)
      break;
  }
  return digits_int + precision_int;
}
```