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;
}


x86 assembly (clang, -O0):
<__decompose_fixp>:
push   %rbp
mov    %rsp,%rbp
fldt   0x10(%rbp)
fstpt  -0x10(%rbp)
mov    %rdi,-0x18(%rbp)
mov    %esi,-0x1c(%rbp)
mov    %rdx,-0x28(%rbp)
mov    %ecx,-0x2c(%rbp)
movsd  0xee0(%rip),%xmm0
movsd  %xmm0,-0x40(%rbp)
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jae    1158 <__decompose_fixp+0x58>
movsd  0xec8(%rip),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    112c <__decompose_fixp+0x2c>
fldl   -0x40(%rbp)
fldt   -0x10(%rbp)
faddp  %st,%st(1)
fstpt  -0x10(%rbp)
fldt   -0x10(%rbp)
fnstcw -0x62(%rbp)
movzwl -0x62(%rbp),%eax
or     $0xc00,%eax
mov    %ax,-0x64(%rbp)
fldcw  -0x64(%rbp)
fistpll -0x58(%rbp)
fldcw  -0x62(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x50(%rbp)
fildll -0x50(%rbp)
fldt   -0x10(%rbp)
fsubp  %st,%st(1)
fstpt  -0x10(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x2c(%rbp)
cmp    $0x0,%eax
je     120d <__decompose_fixp+0x10d>
fldt   -0x10(%rbp)
flds   0xe59(%rip)
fmulp  %st,%st(1)
fstpt  -0x10(%rbp)
fldt   -0x10(%rbp)
fnstcw -0x66(%rbp)
movzwl -0x66(%rbp),%eax
or     $0xc00,%eax
mov    %ax,-0x68(%rbp)
fldcw  -0x68(%rbp)
fistpl -0x60(%rbp)
fldcw  -0x66(%rbp)
mov    -0x60(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x5c(%rbp)
fildl  -0x5c(%rbp)
fldt   -0x10(%rbp)
fsubp  %st,%st(1)
fstpt  -0x10(%rbp)
mov    -0x44(%rbp),%eax
add    $0x30,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
mov    %cl,(%rax)
jmp    119a <__decompose_fixp+0x9a>
jmp    1212 <__decompose_fixp+0x112>
cmpl   $0x0,-0x1c(%rbp)
je     1270 <__decompose_fixp+0x170>
mov    -0x38(%rbp),%rax
mov    $0xa,%ecx
cqto
idiv   %rcx
mov    %edx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%rax
mov    $0xa,%ecx
cqto
idiv   %rcx
mov    %rax,-0x38(%rbp)
mov    -0x44(%rbp),%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x1c(%rbp)
mov    %ecx,%ecx
mov    %dl,(%rax,%rcx,1)
cmpq   $0x0,-0x38(%rbp)
jne    126b <__decompose_fixp+0x16b>
jmp    1270 <__decompose_fixp+0x170>
jmp    1212 <__decompose_fixp+0x112>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    %rcx,%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<__decompose_fixp>:
mov    %rdi,%r9
fldt   0x8(%rsp)
test   %ecx,%ecx
je     1127 <__decompose_fixp+0x27>
lea    -0x1(%rcx),%r8d
mov    %ecx,%eax
and    $0x7,%eax
cmp    $0x7,%r8d
jae    1160 <__decompose_fixp+0x60>
movsd  0xede(%rip),%xmm0
jmp    11a5 <__decompose_fixp+0xa5>
fadds  0xee7(%rip)
fnstcw -0x44(%rsp)
movzwl -0x44(%rsp),%eax
or     $0xc00,%eax
mov    %ax,-0x3a(%rsp)
fldcw  -0x3a(%rsp)
fistpll -0x20(%rsp)
fldcw  -0x44(%rsp)
mov    -0x20(%rsp),%r10
test   %esi,%esi
jne    12e4 <__decompose_fixp+0x1e4>
xor    %esi,%esi
jmp    1344 <__decompose_fixp+0x244>
mov    %ecx,%edi
and    $0xfffffff8,%edi
movsd  0xe93(%rip),%xmm0
movsd  0xe93(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
nop
mulsd  %xmm1,%xmm0
mulsd  %xmm1,%xmm0
mulsd  %xmm1,%xmm0
mulsd  %xmm1,%xmm0
mulsd  %xmm1,%xmm0
mulsd  %xmm1,%xmm0
mulsd  %xmm1,%xmm0
mulsd  %xmm1,%xmm0
add    $0xfffffff8,%edi
jne    1180 <__decompose_fixp+0x80>
test   %eax,%eax
je     11c9 <__decompose_fixp+0xc9>
movsd  0xe57(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mulsd  %xmm1,%xmm0
add    $0xffffffff,%eax
jne    11c0 <__decompose_fixp+0xc0>
movsd  %xmm0,-0x10(%rsp)
faddl  -0x10(%rsp)
fnstcw -0x46(%rsp)
movzwl -0x46(%rsp),%eax
or     $0xc00,%eax
mov    %ax,-0x3c(%rsp)
fldcw  -0x3c(%rsp)
fld    %st(0)
fistpll -0x8(%rsp)
fldcw  -0x46(%rsp)
mov    -0x8(%rsp),%r10
test   %ecx,%ecx
je     12da <__decompose_fixp+0x1da>
mov    %r10,-0x18(%rsp)
fildll -0x18(%rsp)
fsubrp %st,%st(1)
test   $0x1,%cl
je     124f <__decompose_fixp+0x14f>
fmuls  0xdf9(%rip)
fnstcw -0x48(%rsp)
movzwl -0x48(%rsp),%ecx
or     $0xc00,%ecx
mov    %cx,-0x3e(%rsp)
fldcw  -0x3e(%rsp)
fistl  -0x28(%rsp)
fldcw  -0x48(%rsp)
mov    -0x28(%rsp),%ecx
mov    %ecx,-0x24(%rsp)
fisubl -0x24(%rsp)
add    $0x30,%cl
mov    %cl,(%rdx)
add    $0x1,%rdx
mov    %r8d,%ecx
test   %r8d,%r8d
je     12da <__decompose_fixp+0x1da>
mov    %ecx,%r8d
xor    %edi,%edi
nopl   (%rax)
flds   0xdaa(%rip)
fmul   %st,%st(1)
fnstcw -0x4a(%rsp)
movzwl -0x4a(%rsp),%ecx
or     $0xc00,%ecx
mov    %cx,-0x40(%rsp)
fldcw  -0x40(%rsp)
fxch   %st(1)
fistl  -0x38(%rsp)
fldcw  -0x4a(%rsp)
mov    -0x38(%rsp),%ecx
mov    %ecx,-0x34(%rsp)
fisubl -0x34(%rsp)
add    $0x30,%cl
mov    %cl,(%rdx,%rdi,1)
fmulp  %st,%st(1)
fnstcw -0x4c(%rsp)
movzwl -0x4c(%rsp),%ecx
or     $0xc00,%ecx
mov    %cx,-0x42(%rsp)
fldcw  -0x42(%rsp)
fistl  -0x30(%rsp)
fldcw  -0x4c(%rsp)
mov    -0x30(%rsp),%ecx
mov    %ecx,-0x2c(%rsp)
fisubl -0x2c(%rsp)
add    $0x30,%cl
mov    %cl,0x1(%rdx,%rdi,1)
add    $0x2,%rdi
cmp    %edi,%r8d
jne    1260 <__decompose_fixp+0x160>
fstp   %st(0)
test   %esi,%esi
je     1159 <__decompose_fixp+0x59>
add    $0xffffffff,%esi
movabs $0x6666666666666667,%r8
66 66 66
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r10,%rcx
mov    %r10,%rax
imul   %r8
mov    %rdx,%r10
shr    $0x3f,%rdx
sar    $0x2,%r10
add    %rdx,%r10
lea    (%r10,%r10,1),%edx
lea    (%rdx,%rdx,4),%edx
mov    %ecx,%edi
sub    %edx,%edi
add    $0x30,%dil
mov    %esi,%edx
mov    %esi,%eax
mov    %dil,(%r9,%rax,1)
add    $0xfffffffffffffff6,%rcx
add    $0xffffffffffffffff,%rsi
cmp    $0xffffffffffffffec,%rcx
ja     1340 <__decompose_fixp+0x240>
test   %edx,%edx
jne    1300 <__decompose_fixp+0x200>
add    $0x1,%rsi
add    %rsi,%r9
mov    %r9,%rax
ret

LLVM IR (-O0):
define i8* @__decompose_fixp(x86_fp80 %0, i8* %1, i32 %2, i8* %3, i32 %4) {
%6 = alloca x86_fp80
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i8*
%10 = alloca i32
%11 = alloca i64
%12 = alloca double
%13 = alloca i32
%14 = alloca i32
store x86_fp80 %0, x86_fp80* %6
store i8* %1, i8** %7
store i32 %2, i32* %8
store i8* %3, i8** %9
store i32 %4, i32* %10
store double 5.000000e-01, double* %12
store i32 0, i32* %14
br label %15
15: ; preds = %22, %5
%16 = load i32, i32* %14
%17 = load i32, i32* %10
%18 = icmp ult i32 %16, %17
br i1 %18, label %19, label %25
19: ; preds = %15
%20 = load double, double* %12
%21 = fmul double %20, 1.000000e-01
store double %21, double* %12
br label %22
22: ; preds = %19
%23 = load i32, i32* %14
%24 = add i32 %23, 1
store i32 %24, i32* %14
br label %15
25: ; preds = %15
%26 = load double, double* %12
%27 = fpext double %26 to x86_fp80
%28 = load x86_fp80, x86_fp80* %6
%29 = fadd x86_fp80 %28, %27
store x86_fp80 %29, x86_fp80* %6
%30 = load x86_fp80, x86_fp80* %6
%31 = fptosi x86_fp80 %30 to i64
store i64 %31, i64* %11
%32 = load i64, i64* %11
%33 = sitofp i64 %32 to x86_fp80
%34 = load x86_fp80, x86_fp80* %6
%35 = fsub x86_fp80 %34, %33
store x86_fp80 %35, x86_fp80* %6
br label %36
36: ; preds = %40, %25
%37 = load i32, i32* %10
%38 = add i32 %37, -1
store i32 %38, i32* %10
%39 = icmp ne i32 %37, 0
br i1 %39, label %40, label %54
40: ; preds = %36
%41 = load x86_fp80, x86_fp80* %6
%42 = fmul x86_fp80 %41, 0xK4002A000000000000000
store x86_fp80 %42, x86_fp80* %6
%43 = load x86_fp80, x86_fp80* %6
%44 = fptosi x86_fp80 %43 to i32
store i32 %44, i32* %13
%45 = load i32, i32* %13
%46 = sitofp i32 %45 to x86_fp80
%47 = load x86_fp80, x86_fp80* %6
%48 = fsub x86_fp80 %47, %46
store x86_fp80 %48, x86_fp80* %6
%49 = load i32, i32* %13
%50 = add nsw i32 48, %49
%51 = trunc i32 %50 to i8
%52 = load i8*, i8** %9
%53 = getelementptr inbounds i8, i8* %52, i32 1
store i8* %53, i8** %9
store i8 %51, i8* %52
br label %36
54: ; preds = %36
br label %55
55: ; preds = %75, %54
%56 = load i32, i32* %8
%57 = icmp ne i32 %56, 0
br i1 %57, label %58, label %76
58: ; preds = %55
%59 = load i64, i64* %11
%60 = srem i64 %59, 10
%61 = trunc i64 %60 to i32
store i32 %61, i32* %13
%62 = load i64, i64* %11
%63 = sdiv i64 %62, 10
store i64 %63, i64* %11
%64 = load i32, i32* %13
%65 = add nsw i32 48, %64
%66 = trunc i32 %65 to i8
%67 = load i8*, i8** %7
%68 = load i32, i32* %8
%69 = add i32 %68, -1
store i32 %69, i32* %8
%70 = zext i32 %69 to i64
%71 = getelementptr inbounds i8, i8* %67, i64 %70
store i8 %66, i8* %71
%72 = load i64, i64* %11
%73 = icmp eq i64 %72, 0
br i1 %73, label %74, label %75
74: ; preds = %58
br label %76
75: ; preds = %58
br label %55
76: ; preds = %74, %55
%77 = load i8*, i8** %7
%78 = load i32, i32* %8
%79 = zext i32 %78 to i64
%80 = getelementptr inbounds i8, i8* %77, i64 %79
ret i8* %80
}

LLVM IR (-O2):
define i8* @__decompose_fixp(x86_fp80 %0, i8* writeonly %1, i32 %2, i8* nocapture writeonly %3, i32 %4) {
%6 = icmp eq i32 %4, 0
br i1 %6, label %13, label %7
7: ; preds = %5
%8 = add i32 %4, -1
%9 = and i32 %4, 7
%10 = icmp ult i32 %8, 7
br i1 %10, label %29, label %11
11: ; preds = %7
%12 = and i32 %4, -8
br label %16
13: ; preds = %5
%14 = fadd x86_fp80 %0, 0xK3FFE8000000000000000
%15 = fptosi x86_fp80 %14 to i64
br label %83
16: ; preds = %16, %11
%17 = phi double [ 5.000000e-01, %11 ], [ %26, %16 ]
%18 = phi i32 [ 0, %11 ], [ %27, %16 ]
%19 = fmul double %17, 1.000000e-01
%20 = fmul double %19, 1.000000e-01
%21 = fmul double %20, 1.000000e-01
%22 = fmul double %21, 1.000000e-01
%23 = fmul double %22, 1.000000e-01
%24 = fmul double %23, 1.000000e-01
%25 = fmul double %24, 1.000000e-01
%26 = fmul double %25, 1.000000e-01
%27 = add i32 %18, 8
%28 = icmp eq i32 %27, %12
br i1 %28, label %29, label %16
29: ; preds = %16, %7
%30 = phi double [ undef, %7 ], [ %26, %16 ]
%31 = phi double [ 5.000000e-01, %7 ], [ %26, %16 ]
%32 = icmp eq i32 %9, 0
br i1 %32, label %39, label %33
33: ; preds = %29, %33
%34 = phi double [ %36, %33 ], [ %31, %29 ]
%35 = phi i32 [ %37, %33 ], [ 0, %29 ]
%36 = fmul double %34, 1.000000e-01
%37 = add i32 %35, 1
%38 = icmp eq i32 %37, %9
br i1 %38, label %39, label %33
39: ; preds = %33, %29
%40 = phi double [ %30, %29 ], [ %36, %33 ]
%41 = fpext double %40 to x86_fp80
%42 = fadd x86_fp80 %41, %0
%43 = fptosi x86_fp80 %42 to i64
br i1 %6, label %83, label %44
44: ; preds = %39
%45 = sitofp i64 %43 to x86_fp80
%46 = fsub x86_fp80 %42, %45
%47 = and i32 %4, 1
%48 = icmp eq i32 %47, 0
br i1 %48, label %58, label %49
49: ; preds = %44
%50 = add i32 %4, -1
%51 = fmul x86_fp80 %46, 0xK4002A000000000000000
%52 = fptosi x86_fp80 %51 to i32
%53 = sitofp i32 %52 to x86_fp80
%54 = fsub x86_fp80 %51, %53
%55 = trunc i32 %52 to i8
%56 = add i8 %55, 48
%57 = getelementptr inbounds i8, i8* %3, i64 1
store i8 %56, i8* %3
br label %58
58: ; preds = %49, %44
%59 = phi i32 [ %4, %44 ], [ %50, %49 ]
%60 = phi i8* [ %3, %44 ], [ %57, %49 ]
%61 = phi x86_fp80 [ %46, %44 ], [ %54, %49 ]
%62 = icmp eq i32 %8, 0
br i1 %62, label %83, label %63
63: ; preds = %58, %63
%64 = phi i32 [ %74, %63 ], [ %59, %58 ]
%65 = phi i8* [ %81, %63 ], [ %60, %58 ]
%66 = phi x86_fp80 [ %78, %63 ], [ %61, %58 ]
%67 = fmul x86_fp80 %66, 0xK4002A000000000000000
%68 = fptosi x86_fp80 %67 to i32
%69 = sitofp i32 %68 to x86_fp80
%70 = fsub x86_fp80 %67, %69
%71 = trunc i32 %68 to i8
%72 = add i8 %71, 48
%73 = getelementptr inbounds i8, i8* %65, i64 1
store i8 %72, i8* %65
%74 = add i32 %64, -2
%75 = fmul x86_fp80 %70, 0xK4002A000000000000000
%76 = fptosi x86_fp80 %75 to i32
%77 = sitofp i32 %76 to x86_fp80
%78 = fsub x86_fp80 %75, %77
%79 = trunc i32 %76 to i8
%80 = add i8 %79, 48
%81 = getelementptr inbounds i8, i8* %65, i64 2
store i8 %80, i8* %73
%82 = icmp eq i32 %74, 0
br i1 %82, label %83, label %63
83: ; preds = %58, %63, %13, %39
%84 = phi i64 [ %15, %13 ], [ %43, %39 ], [ %43, %63 ], [ %43, %58 ]
%85 = icmp eq i32 %2, 0
br i1 %85, label %102, label %86
86: ; preds = %83, %86
%87 = phi i32 [ %93, %86 ], [ %2, %83 ]
%88 = phi i64 [ %91, %86 ], [ %84, %83 ]
%89 = srem i64 %88, 10
%90 = trunc i64 %89 to i8
%91 = sdiv i64 %88, 10
%92 = add nsw i8 %90, 48
%93 = add i32 %87, -1
%94 = zext i32 %93 to i64
%95 = getelementptr inbounds i8, i8* %1, i64 %94
store i8 %92, i8* %95
%96 = add i64 %88, -10
%97 = icmp ult i64 %96, -19
%98 = icmp ne i32 %93, 0
%99 = select i1 %97, i1 %98, i1 false
br i1 %99, label %86, label %100
100: ; preds = %86
%101 = zext i32 %93 to i64
br label %102
102: ; preds = %83, %100
%103 = phi i64 [ %101, %100 ], [ 0, %83 ]
%104 = getelementptr inbounds i8, i8* %1, i64 %103
ret i8* %104
}