#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int uint;

/* Variables and functions */
char *malloc(int);
scalar_t__ pow(int, int);
int /*<<< orphan*/ printf(char *, double, ...);
char *dtos(double d) {
  printf("--- invoking dtos(%f) ---\n", d);
  double u = (d < 0 ? d * -1 : d);
  uint size = 0, digits = 0;
  long int j = (int)u;
  while (j > 0) {
    j /= 10;
    size++;
  }
  if (size < 1)
    size = 1;
  double e = (u - (long int)u);
  while (e != 0 && digits < 6) {
    e *= 10;
    e = (e - (int)e);
    digits++;
  }
  printf("- size=%d, digits=%d ==> malloc(%d)\n", size, digits,
         (size + (d < 0 ? 1 : 0) + digits + (digits > 0 ? 1 : 0) + 1));
  char *s = malloc(size + (d < 0 ? 1 : 0) + digits + (digits > 0 ? 1 : 0) + 1);
  char *p = s;
  if (d < 0) {
    *p = '-';
    p++;
  }
  for (int k = size - 1; k >= 0; k--) {
    *p = "0123456789"[((long int)u / (long int)pow(10, k)) % 10];
    p++;
  }
  if (digits > 0) {
    *p = '.';
    p++;
    for (int k = 1; k <= digits; k++) {
      *p = "0123456789"[((long int)(u * (long int)pow(10, k))) % 10];
      p++;
    }
  }
  *p = 0;
  printf("--- finished dtos(%f): %s ---\n", d, s);
  return s;
}


x86 assembly (clang, -O0):
<dtos>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
lea    0xec7(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
xorps  %xmm0,%xmm0
ucomisd -0x8(%rbp),%xmm0
jbe    1175 <dtos+0x45>
movsd  0xe9a(%rip),%xmm0
mulsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
jmp    117f <dtos+0x4f>
movsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
cvttsd2si -0x10(%rbp),%eax
cltq
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jle    11cd <dtos+0x9d>
mov    -0x20(%rbp),%rax
mov    $0xa,%ecx
cqto
idiv   %rcx
mov    %rax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11a2 <dtos+0x72>
cmpl   $0x1,-0x14(%rbp)
jge    11de <dtos+0xae>
movl   $0x1,-0x14(%rbp)
movsd  -0x10(%rbp),%xmm0
cvttsd2si -0x10(%rbp),%rax
cvtsi2sd %rax,%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
xor    %eax,%eax
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x49(%rbp)
jne    1219 <dtos+0xe9>
jp     1219 <dtos+0xe9>
jmp    1223 <dtos+0xf3>
cmpl   $0x6,-0x18(%rbp)
setl   %al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    1233 <dtos+0x103>
jmp    126a <dtos+0x13a>
movsd  0xdcd(%rip),%xmm0
mulsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
cvttsd2si -0x28(%rbp),%eax
cvtsi2sd %eax,%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11f7 <dtos+0xc7>
cvtsi2sdl -0x14(%rbp),%xmm0
mov    -0x18(%rbp),%esi
mov    -0x14(%rbp),%edx
movsd  -0x8(%rbp),%xmm2
xorps  %xmm1,%xmm1
xor    %eax,%eax
mov    $0x1,%ecx
ucomisd %xmm2,%xmm1
cmova  %ecx,%eax
add    %eax,%edx
add    -0x18(%rbp),%edx
mov    -0x18(%rbp),%edi
xor    %eax,%eax
mov    $0x1,%ecx
cmp    $0x0,%edi
cmovg  %ecx,%eax
add    %eax,%edx
add    $0x1,%edx
lea    0xd7f(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x14(%rbp),%edi
movsd  -0x8(%rbp),%xmm1
xorps  %xmm0,%xmm0
xor    %eax,%eax
mov    $0x1,%ecx
ucomisd %xmm1,%xmm0
cmova  %ecx,%eax
add    %eax,%edi
add    -0x18(%rbp),%edi
mov    -0x18(%rbp),%edx
xor    %eax,%eax
mov    $0x1,%ecx
cmp    $0x0,%edx
cmovg  %ecx,%eax
add    %eax,%edi
add    $0x1,%edi
call   1040 <malloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x38(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x8(%rbp),%xmm0
jbe    1318 <dtos+0x1e8>
mov    -0x38(%rbp),%rax
movb   $0x2d,(%rax)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jl     1382 <dtos+0x252>
cvttsd2si -0x10(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x3c(%rbp),%esi
mov    $0xa,%edi
call   1050 <pow@plt>
mov    %rax,%rcx
mov    -0x58(%rbp),%rax
cqto
idiv   %rcx
mov    $0xa,%ecx
cqto
idiv   %rcx
lea    0xcf1(%rip),%rax
mov    (%rax,%rdx,1),%cl
mov    -0x38(%rbp),%rax
mov    %cl,(%rax)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x3c(%rbp)
jmp    1321 <dtos+0x1f1>
cmpl   $0x0,-0x18(%rbp)
jle    1415 <dtos+0x2e5>
mov    -0x38(%rbp),%rax
movb   $0x2e,(%rax)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
movl   $0x1,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     1410 <dtos+0x2e0>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
mov    -0x40(%rbp),%esi
mov    $0xa,%edi
call   1050 <pow@plt>
movsd  -0x60(%rbp),%xmm0
cvtsi2sd %rax,%xmm1
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%rax
mov    $0xa,%ecx
cqto
idiv   %rcx
lea    0xc63(%rip),%rax
mov    (%rax,%rdx,1),%cl
mov    -0x38(%rbp),%rax
mov    %cl,(%rax)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    13a6 <dtos+0x276>
jmp    1415 <dtos+0x2e5>
mov    -0x38(%rbp),%rax
movb   $0x0,(%rax)
movsd  -0x8(%rbp),%xmm0
mov    -0x30(%rbp),%rsi
lea    0xc2f(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x30(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dtos>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
movaps %xmm0,0x20(%rsp)
lea    0xed6(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
movapd 0xea7(%rip),%xmm0
movapd 0x20(%rsp),%xmm2
xorpd  %xmm2,%xmm0
xorpd  %xmm1,%xmm1
movapd %xmm2,%xmm3
cmpltsd %xmm1,%xmm3
andpd  %xmm3,%xmm0
andnpd %xmm2,%xmm3
orpd   %xmm0,%xmm3
cvttsd2si %xmm3,%eax
test   %eax,%eax
jle    11b9 <dtos+0x89>
mov    %eax,%ecx
xor    %r14d,%r14d
movabs $0xcccccccccccccccd,%rsi
cc cc cc
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rcx,%rax
mul    %rsi
shr    $0x3,%rdx
add    $0x1,%r14d
cmp    $0x9,%rcx
mov    %rdx,%rcx
ja     11a0 <dtos+0x70>
jmp    11bf <dtos+0x8f>
mov    $0x1,%r14d
cvttsd2si %xmm3,%r12
xorps  %xmm2,%xmm2
cvtsi2sd %r12,%xmm2
movapd %xmm3,%xmm0
subsd  %xmm2,%xmm0
ucomisd %xmm1,%xmm0
movapd %xmm3,0x10(%rsp)
jne    11e6 <dtos+0xb6>
jnp    1289 <dtos+0x159>
mulsd  0xe22(%rip),%xmm0
cvttpd2dq %xmm0,%xmm1
cvtdq2pd %xmm1,%xmm1
subsd  %xmm1,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    120a <dtos+0xda>
jnp    128d <dtos+0x15d>
mulsd  0xdfe(%rip),%xmm0
cvttpd2dq %xmm0,%xmm2
cvtdq2pd %xmm2,%xmm2
subsd  %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jne    1226 <dtos+0xf6>
jnp    1294 <dtos+0x164>
mulsd  0xde2(%rip),%xmm0
cvttpd2dq %xmm0,%xmm1
cvtdq2pd %xmm1,%xmm1
subsd  %xmm1,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1246 <dtos+0x116>
jnp    129b <dtos+0x16b>
mulsd  0xdc2(%rip),%xmm0
cvttpd2dq %xmm0,%xmm2
cvtdq2pd %xmm2,%xmm2
subsd  %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jne    1262 <dtos+0x132>
jnp    12a2 <dtos+0x172>
mulsd  0xda6(%rip),%xmm0
cvttpd2dq %xmm0,%xmm1
cvtdq2pd %xmm1,%xmm1
subsd  %xmm1,%xmm0
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1282 <dtos+0x152>
jnp    12a9 <dtos+0x179>
mov    $0x6,%esi
jmp    12ae <dtos+0x17e>
xor    %esi,%esi
jmp    12ae <dtos+0x17e>
mov    $0x1,%esi
jmp    12ae <dtos+0x17e>
mov    $0x2,%esi
jmp    12ae <dtos+0x17e>
mov    $0x3,%esi
jmp    12ae <dtos+0x17e>
mov    $0x4,%esi
jmp    12ae <dtos+0x17e>
mov    $0x5,%esi
xorpd  %xmm0,%xmm0
xor    %ebx,%ebx
ucomisd 0x20(%rsp),%xmm0
seta   %bl
xorps  %xmm0,%xmm0
cvtsi2sd %r14d,%xmm0
add    %esi,%ebx
add    %r14d,%ebx
cmp    $0x1,%esi
sbb    $0xffffffff,%ebx
add    $0x1,%ebx
lea    0xd61(%rip),%rdi
mov    %esi,0xc(%rsp)
mov    %ebx,%edx
mov    $0x1,%al
call   1030 <printf@plt>
mov    %ebx,%edi
call   1040 <malloc@plt>
xorpd  %xmm0,%xmm0
ucomisd 0x20(%rsp),%xmm0
mov    %rax,%r15
jbe    1307 <dtos+0x1d7>
movb   $0x2d,(%rax)
mov    %rax,%r15
add    $0x1,%r15
mov    %rax,0x30(%rsp)
movabs $0x6666666666666667,%r13
66 66 66
mov    %r14d,%ebp
mov    %r15,%rbx
test   $0x1,%r14b
je     1383 <dtos+0x253>
lea    -0x1(%r14),%ebp
mov    $0xa,%edi
mov    %ebp,%esi
call   1050 <pow@plt>
mov    %rax,%rcx
or     %r12,%rax
shr    $0x20,%rax
je     134b <dtos+0x21b>
mov    %r12,%rax
cqto
idiv   %rcx
mov    %rax,%rcx
jmp    1354 <dtos+0x224>
mov    %r12d,%eax
xor    %edx,%edx
div    %ecx
mov    %eax,%ecx
mov    %rcx,%rax
imul   %r13
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x2,%rdx
add    %rax,%rdx
add    %rdx,%rdx
lea    (%rdx,%rdx,4),%rax
sub    %rax,%rcx
lea    0xce7(%rip),%rax
mov    (%rax,%rcx,1),%al
mov    %al,(%r15)
lea    0x1(%r15),%rbx
cmp    $0x1,%r14d
je     146f <dtos+0x33f>
add    $0xfffffffe,%ebp
lea    0xcc9(%rip),%r15
jmp    13e2 <dtos+0x2b2>
nopl   0x0(%rax)
mov    %r12,%rax
cqto
idiv   %rcx
mov    %rax,%rcx
mov    %rcx,%rax
imul   %r13
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x2,%rdx
add    %rax,%rdx
add    %rdx,%rdx
lea    (%rdx,%rdx,4),%rax
sub    %rax,%rcx
movzbl (%r15,%rcx,1),%eax
mov    %al,0x1(%rbx)
add    $0x2,%rbx
add    $0xfffffffe,%ebp
cmp    $0x1,%r14d
jbe    1468 <dtos+0x338>
lea    0x1(%rbp),%r14d
mov    $0xa,%edi
mov    %r14d,%esi
call   1050 <pow@plt>
mov    %rax,%rcx
or     %r12,%rax
shr    $0x20,%rax
je     1410 <dtos+0x2e0>
mov    %r12,%rax
cqto
idiv   %rcx
mov    %rax,%rcx
jmp    1419 <dtos+0x2e9>
nopl   0x0(%rax)
mov    %r12d,%eax
xor    %edx,%edx
div    %ecx
mov    %eax,%ecx
mov    %rcx,%rax
imul   %r13
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x2,%rdx
add    %rax,%rdx
add    %rdx,%rdx
lea    (%rdx,%rdx,4),%rax
sub    %rax,%rcx
movzbl (%r15,%rcx,1),%eax
mov    %al,(%rbx)
mov    $0xa,%edi
mov    %ebp,%esi
call   1050 <pow@plt>
mov    %rax,%rcx
or     %r12,%rax
shr    $0x20,%rax
jne    13a0 <dtos+0x270>
mov    %r12d,%eax
xor    %edx,%edx
div    %ecx
mov    %eax,%ecx
jmp    13ab <dtos+0x27b>
mov    %rbx,%r15
add    $0xffffffffffffffff,%r15
mov    0xc(%rsp),%ebp
test   %ebp,%ebp
je     167d <dtos+0x54d>
movb   $0x2e,(%rbx)
mov    $0xa,%edi
mov    $0x1,%esi
call   1050 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
mulsd  0x10(%rsp),%xmm0
cvttsd2si %xmm0,%rcx
mov    %rcx,%rax
imul   %r13
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x2,%rdx
add    %rax,%rdx
add    %rdx,%rdx
lea    (%rdx,%rdx,4),%rax
sub    %rax,%rcx
lea    0xb9b(%rip),%rbx
mov    (%rbx,%rcx,1),%al
mov    %al,0x2(%r15)
cmp    $0x1,%ebp
jne    14da <dtos+0x3aa>
add    $0x3,%r15
jmp    167a <dtos+0x54a>
mov    $0xa,%edi
mov    $0x2,%esi
call   1050 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
mulsd  0x10(%rsp),%xmm0
cvttsd2si %xmm0,%rcx
mov    %rcx,%rax
imul   %r13
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x2,%rdx
add    %rax,%rdx
add    %rdx,%rdx
lea    (%rdx,%rdx,4),%rax
sub    %rax,%rcx
mov    (%rbx,%rcx,1),%al
mov    %al,0x3(%r15)
cmp    $0x2,%ebp
jne    152f <dtos+0x3ff>
add    $0x4,%r15
jmp    167a <dtos+0x54a>
mov    $0xa,%edi
mov    $0x3,%esi
call   1050 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
mulsd  0x10(%rsp),%xmm0
cvttsd2si %xmm0,%rcx
mov    %rcx,%rax
imul   %r13
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x2,%rdx
add    %rax,%rdx
add    %rdx,%rdx
lea    (%rdx,%rdx,4),%rax
sub    %rax,%rcx
mov    (%rbx,%rcx,1),%al
mov    %al,0x4(%r15)
cmp    $0x3,%ebp
jne    1584 <dtos+0x454>
add    $0x5,%r15
jmp    167a <dtos+0x54a>
mov    $0xa,%edi
mov    $0x4,%esi
call   1050 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
mulsd  0x10(%rsp),%xmm0
cvttsd2si %xmm0,%rcx
mov    %rcx,%rax
imul   %r13
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x2,%rdx
add    %rax,%rdx
add    %rdx,%rdx
lea    (%rdx,%rdx,4),%rax
sub    %rax,%rcx
mov    (%rbx,%rcx,1),%al
mov    %al,0x5(%r15)
cmp    $0x4,%ebp
jne    15d9 <dtos+0x4a9>
add    $0x6,%r15
jmp    167a <dtos+0x54a>
mov    $0xa,%edi
mov    $0x5,%esi
call   1050 <pow@plt>
movapd 0x10(%rsp),%xmm1
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
mulsd  %xmm1,%xmm0
cvttsd2si %xmm0,%rcx
mov    %rcx,%rax
imul   %r13
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x2,%rdx
add    %rax,%rdx
add    %rdx,%rdx
lea    (%rdx,%rdx,4),%rax
sub    %rax,%rcx
mov    (%rbx,%rcx,1),%al
mov    %al,0x6(%r15)
cmp    $0x5,%ebp
jne    162f <dtos+0x4ff>
add    $0x7,%r15
jmp    167a <dtos+0x54a>
mov    $0xa,%edi
mov    $0x6,%esi
call   1050 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
mulsd  0x10(%rsp),%xmm0
cvttsd2si %xmm0,%rcx
mov    %rcx,%rax
imul   %r13
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x2,%rdx
add    %rax,%rdx
add    %rdx,%rdx
lea    (%rdx,%rdx,4),%rax
sub    %rax,%rcx
mov    (%rbx,%rcx,1),%al
mov    %al,0x7(%r15)
add    $0x8,%r15
mov    %r15,%rbx
movb   $0x0,(%rbx)
lea    0x9e4(%rip),%rdi
movaps 0x20(%rsp),%xmm0
mov    0x30(%rsp),%rbx
mov    %rbx,%rsi
mov    $0x1,%al
call   1030 <printf@plt>
mov    %rbx,%rax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [27 x i8] c"--- invoking dtos(%f) ---\0A\00"
@.str.1 = [37 x i8] c"- size=%d, digits=%d ==> malloc(%d)\0A\00"
@.str.2 = [11 x i8] c"0123456789\00"
@.str.3 = [31 x i8] c"--- finished dtos(%f): %s ---\0A\00"
define i8* @dtos(double %0) {
%2 = alloca double
%3 = alloca double
%4 = alloca i32
%5 = alloca i32
%6 = alloca i64
%7 = alloca double
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i32
%11 = alloca i32
store double %0, double* %2
%12 = load double, double* %2
%13 = call i32 (i8*, double, ...) @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), double %12)
%14 = load double, double* %2
%15 = fcmp olt double %14, 0.000000e+00
br i1 %15, label %16, label %19
16: ; preds = %1
%17 = load double, double* %2
%18 = fmul double %17, -1.000000e+00
br label %21
19: ; preds = %1
%20 = load double, double* %2
br label %21
21: ; preds = %19, %16
%22 = phi double [ %18, %16 ], [ %20, %19 ]
store double %22, double* %3
store i32 0, i32* %4
store i32 0, i32* %5
%23 = load double, double* %3
%24 = fptosi double %23 to i32
%25 = sext i32 %24 to i64
store i64 %25, i64* %6
br label %26
26: ; preds = %29, %21
%27 = load i64, i64* %6
%28 = icmp sgt i64 %27, 0
br i1 %28, label %29, label %34
29: ; preds = %26
%30 = load i64, i64* %6
%31 = sdiv i64 %30, 10
store i64 %31, i64* %6
%32 = load i32, i32* %4
%33 = add nsw i32 %32, 1
store i32 %33, i32* %4
br label %26
34: ; preds = %26
%35 = load i32, i32* %4
%36 = icmp slt i32 %35, 1
br i1 %36, label %37, label %38
37: ; preds = %34
store i32 1, i32* %4
br label %38
38: ; preds = %37, %34
%39 = load double, double* %3
%40 = load double, double* %3
%41 = fptosi double %40 to i64
%42 = sitofp i64 %41 to double
%43 = fsub double %39, %42
store double %43, double* %7
br label %44
44: ; preds = %52, %38
%45 = load double, double* %7
%46 = fcmp une double %45, 0.000000e+00
br i1 %46, label %47, label %50
47: ; preds = %44
%48 = load i32, i32* %5
%49 = icmp slt i32 %48, 6
br label %50
50: ; preds = %47, %44
%51 = phi i1 [ false, %44 ], [ %49, %47 ]
br i1 %51, label %52, label %62
52: ; preds = %50
%53 = load double, double* %7
%54 = fmul double %53, 1.000000e+01
store double %54, double* %7
%55 = load double, double* %7
%56 = load double, double* %7
%57 = fptosi double %56 to i32
%58 = sitofp i32 %57 to double
%59 = fsub double %55, %58
store double %59, double* %7
%60 = load i32, i32* %5
%61 = add nsw i32 %60, 1
store i32 %61, i32* %5
br label %44
62: ; preds = %50
%63 = load i32, i32* %4
%64 = sitofp i32 %63 to double
%65 = load i32, i32* %5
%66 = load i32, i32* %4
%67 = load double, double* %2
%68 = fcmp olt double %67, 0.000000e+00
%69 = zext i1 %68 to i64
%70 = select i1 %68, i32 1, i32 0
%71 = add nsw i32 %66, %70
%72 = load i32, i32* %5
%73 = add nsw i32 %71, %72
%74 = load i32, i32* %5
%75 = icmp sgt i32 %74, 0
%76 = zext i1 %75 to i64
%77 = select i1 %75, i32 1, i32 0
%78 = add nsw i32 %73, %77
%79 = add nsw i32 %78, 1
%80 = call i32 (i8*, double, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.1, i64 0, i64 0), double %64, i32 %65, i32 %79)
%81 = load i32, i32* %4
%82 = load double, double* %2
%83 = fcmp olt double %82, 0.000000e+00
%84 = zext i1 %83 to i64
%85 = select i1 %83, i32 1, i32 0
%86 = add nsw i32 %81, %85
%87 = load i32, i32* %5
%88 = add nsw i32 %86, %87
%89 = load i32, i32* %5
%90 = icmp sgt i32 %89, 0
%91 = zext i1 %90 to i64
%92 = select i1 %90, i32 1, i32 0
%93 = add nsw i32 %88, %92
%94 = add nsw i32 %93, 1
%95 = call i8* @malloc(i32 %94)
store i8* %95, i8** %8
%96 = load i8*, i8** %8
store i8* %96, i8** %9
%97 = load double, double* %2
%98 = fcmp olt double %97, 0.000000e+00
br i1 %98, label %99, label %103
99: ; preds = %62
%100 = load i8*, i8** %9
store i8 45, i8* %100
%101 = load i8*, i8** %9
%102 = getelementptr inbounds i8, i8* %101, i32 1
store i8* %102, i8** %9
br label %103
103: ; preds = %99, %62
%104 = load i32, i32* %4
%105 = sub nsw i32 %104, 1
store i32 %105, i32* %10
br label %106
106: ; preds = %121, %103
%107 = load i32, i32* %10
%108 = icmp sge i32 %107, 0
br i1 %108, label %109, label %124
109: ; preds = %106
%110 = load double, double* %3
%111 = fptosi double %110 to i64
%112 = load i32, i32* %10
%113 = call i64 @pow(i32 10, i32 %112)
%114 = sdiv i64 %111, %113
%115 = srem i64 %114, 10
%116 = getelementptr inbounds [11 x i8], [11 x i8]* @.str.2, i64 0, i64 %115
%117 = load i8, i8* %116
%118 = load i8*, i8** %9
store i8 %117, i8* %118
%119 = load i8*, i8** %9
%120 = getelementptr inbounds i8, i8* %119, i32 1
store i8* %120, i8** %9
br label %121
121: ; preds = %109
%122 = load i32, i32* %10
%123 = add nsw i32 %122, -1
store i32 %123, i32* %10
br label %106
124: ; preds = %106
%125 = load i32, i32* %5
%126 = icmp sgt i32 %125, 0
br i1 %126, label %127, label %152
127: ; preds = %124
%128 = load i8*, i8** %9
store i8 46, i8* %128
%129 = load i8*, i8** %9
%130 = getelementptr inbounds i8, i8* %129, i32 1
store i8* %130, i8** %9
store i32 1, i32* %11
br label %131
131: ; preds = %148, %127
%132 = load i32, i32* %11
%133 = load i32, i32* %5
%134 = icmp sle i32 %132, %133
br i1 %134, label %135, label %151
135: ; preds = %131
%136 = load double, double* %3
%137 = load i32, i32* %11
%138 = call i64 @pow(i32 10, i32 %137)
%139 = sitofp i64 %138 to double
%140 = fmul double %136, %139
%141 = fptosi double %140 to i64
%142 = srem i64 %141, 10
%143 = getelementptr inbounds [11 x i8], [11 x i8]* @.str.2, i64 0, i64 %142
%144 = load i8, i8* %143
%145 = load i8*, i8** %9
store i8 %144, i8* %145
%146 = load i8*, i8** %9
%147 = getelementptr inbounds i8, i8* %146, i32 1
store i8* %147, i8** %9
br label %148
148: ; preds = %135
%149 = load i32, i32* %11
%150 = add nsw i32 %149, 1
store i32 %150, i32* %11
br label %131
151: ; preds = %131
br label %152
152: ; preds = %151, %124
%153 = load i8*, i8** %9
store i8 0, i8* %153
%154 = load double, double* %2
%155 = load i8*, i8** %8
%156 = call i32 (i8*, double, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.3, i64 0, i64 0), double %154, i8* %155)
%157 = load i8*, i8** %8
ret i8* %157
}

LLVM IR (-O2):
@.str = [27 x i8] c"--- invoking dtos(%f) ---\0A\00"
@.str.1 = [37 x i8] c"- size=%d, digits=%d ==> malloc(%d)\0A\00"
@.str.2 = [11 x i8] c"0123456789\00"
@.str.3 = [31 x i8] c"--- finished dtos(%f): %s ---\0A\00"
define i8* @dtos(double %0) {
%2 = tail call i32 (i8*, double, ...) @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str, i64 0, i64 0), double %0)
%3 = fcmp olt double %0, 0.000000e+00
%4 = fneg double %0
%5 = select i1 %3, double %4, double %0
%6 = fptosi double %5 to i32
%7 = icmp sgt i32 %6, 0
br i1 %7, label %8, label %16
8: ; preds = %1
%9 = zext i32 %6 to i64
br label %10
10: ; preds = %8, %10
%11 = phi i32 [ %14, %10 ], [ 0, %8 ]
%12 = phi i64 [ %13, %10 ], [ %9, %8 ]
%13 = udiv i64 %12, 10
%14 = add nuw nsw i32 %11, 1
%15 = icmp ult i64 %12, 10
br i1 %15, label %16, label %10
16: ; preds = %10, %1
%17 = phi i32 [ 1, %1 ], [ %14, %10 ]
%18 = fptosi double %5 to i64
%19 = sitofp i64 %18 to double
%20 = fsub double %5, %19
%21 = fcmp une double %20, 0.000000e+00
br i1 %21, label %22, label %53
22: ; preds = %16
%23 = fmul double %20, 1.000000e+01
%24 = fptosi double %23 to i32
%25 = sitofp i32 %24 to double
%26 = fsub double %23, %25
%27 = fcmp une double %26, 0.000000e+00
br i1 %27, label %28, label %53
28: ; preds = %22
%29 = fmul double %26, 1.000000e+01
%30 = fptosi double %29 to i32
%31 = sitofp i32 %30 to double
%32 = fsub double %29, %31
%33 = fcmp une double %32, 0.000000e+00
br i1 %33, label %34, label %53
34: ; preds = %28
%35 = fmul double %32, 1.000000e+01
%36 = fptosi double %35 to i32
%37 = sitofp i32 %36 to double
%38 = fsub double %35, %37
%39 = fcmp une double %38, 0.000000e+00
br i1 %39, label %40, label %53
40: ; preds = %34
%41 = fmul double %38, 1.000000e+01
%42 = fptosi double %41 to i32
%43 = sitofp i32 %42 to double
%44 = fsub double %41, %43
%45 = fcmp une double %44, 0.000000e+00
br i1 %45, label %46, label %53
46: ; preds = %40
%47 = fmul double %44, 1.000000e+01
%48 = fptosi double %47 to i32
%49 = sitofp i32 %48 to double
%50 = fsub double %47, %49
%51 = fcmp une double %50, 0.000000e+00
br i1 %51, label %52, label %53
52: ; preds = %46
br label %53
53: ; preds = %22, %28, %34, %40, %46, %52, %16
%54 = phi i32 [ 0, %16 ], [ 1, %22 ], [ 2, %28 ], [ 3, %34 ], [ 4, %40 ], [ 5, %46 ], [ 6, %52 ]
%55 = sitofp i32 %17 to double
%56 = zext i1 %3 to i32
%57 = icmp eq i32 %54, 0
%58 = xor i1 %57, true
%59 = zext i1 %58 to i32
%60 = add nuw nsw i32 %54, 1
%61 = add nuw nsw i32 %60, %56
%62 = add i32 %61, %17
%63 = add i32 %62, %59
%64 = tail call i32 (i8*, double, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.1, i64 0, i64 0), double %55, i32 %54, i32 %63)
%65 = tail call i8* @malloc(i32 %63)
br i1 %3, label %83, label %66
66: ; preds = %83, %53
%67 = phi i8* [ %65, %53 ], [ %84, %83 ]
%68 = and i32 %17, 1
%69 = icmp eq i32 %68, 0
br i1 %69, label %78, label %70
70: ; preds = %66
%71 = add nsw i32 %17, -1
%72 = tail call i64 @pow(i32 10, i32 %71)
%73 = sdiv i64 %18, %72
%74 = srem i64 %73, 10
%75 = getelementptr inbounds [11 x i8], [11 x i8]* @.str.2, i64 0, i64 %74
%76 = load i8, i8* %75
store i8 %76, i8* %67
%77 = getelementptr inbounds i8, i8* %67, i64 1
br label %78
78: ; preds = %70, %66
%79 = phi i32 [ %17, %66 ], [ %71, %70 ]
%80 = phi i8* [ %67, %66 ], [ %77, %70 ]
%81 = phi i8* [ undef, %66 ], [ %77, %70 ]
%82 = icmp eq i32 %17, 1
br i1 %82, label %87, label %90
83: ; preds = %53
store i8 45, i8* %65
%84 = getelementptr inbounds i8, i8* %65, i64 1
br label %66
85: ; preds = %90
%86 = getelementptr inbounds i8, i8* %92, i64 1
br label %87
87: ; preds = %78, %85
%88 = phi i8* [ %67, %78 ], [ %86, %85 ]
%89 = phi i8* [ %81, %78 ], [ %106, %85 ]
br i1 %57, label %168, label %108
90: ; preds = %78, %90
%91 = phi i32 [ %100, %90 ], [ %79, %78 ]
%92 = phi i8* [ %106, %90 ], [ %80, %78 ]
%93 = add nsw i32 %91, -1
%94 = tail call i64 @pow(i32 10, i32 %93)
%95 = sdiv i64 %18, %94
%96 = srem i64 %95, 10
%97 = getelementptr inbounds [11 x i8], [11 x i8]* @.str.2, i64 0, i64 %96
%98 = load i8, i8* %97
store i8 %98, i8* %92
%99 = getelementptr inbounds i8, i8* %92, i64 1
%100 = add nsw i32 %91, -2
%101 = tail call i64 @pow(i32 10, i32 %100)
%102 = sdiv i64 %18, %101
%103 = srem i64 %102, 10
%104 = getelementptr inbounds [11 x i8], [11 x i8]* @.str.2, i64 0, i64 %103
%105 = load i8, i8* %104
store i8 %105, i8* %99
%106 = getelementptr inbounds i8, i8* %92, i64 2
%107 = icmp ugt i32 %93, 1
br i1 %107, label %90, label %85
108: ; preds = %87
store i8 46, i8* %89
%109 = getelementptr inbounds i8, i8* %88, i64 2
%110 = tail call i64 @pow(i32 10, i32 1)
%111 = sitofp i64 %110 to double
%112 = fmul double %5, %111
%113 = fptosi double %112 to i64
%114 = srem i64 %113, 10
%115 = getelementptr inbounds [11 x i8], [11 x i8]* @.str.2, i64 0, i64 %114
%116 = load i8, i8* %115
store i8 %116, i8* %109
%117 = getelementptr inbounds i8, i8* %88, i64 3
%118 = icmp eq i32 %54, 1
br i1 %118, label %168, label %119
119: ; preds = %108
%120 = tail call i64 @pow(i32 10, i32 2)
%121 = sitofp i64 %120 to double
%122 = fmul double %5, %121
%123 = fptosi double %122 to i64
%124 = srem i64 %123, 10
%125 = getelementptr inbounds [11 x i8], [11 x i8]* @.str.2, i64 0, i64 %124
%126 = load i8, i8* %125
store i8 %126, i8* %117
%127 = getelementptr inbounds i8, i8* %88, i64 4
%128 = icmp eq i32 %54, 2
br i1 %128, label %168, label %129
129: ; preds = %119
%130 = tail call i64 @pow(i32 10, i32 3)
%131 = sitofp i64 %130 to double
%132 = fmul double %5, %131
%133 = fptosi double %132 to i64
%134 = srem i64 %133, 10
%135 = getelementptr inbounds [11 x i8], [11 x i8]* @.str.2, i64 0, i64 %134
%136 = load i8, i8* %135
store i8 %136, i8* %127
%137 = getelementptr inbounds i8, i8* %88, i64 5
%138 = icmp eq i32 %54, 3
br i1 %138, label %168, label %139
139: ; preds = %129
%140 = tail call i64 @pow(i32 10, i32 4)
%141 = sitofp i64 %140 to double
%142 = fmul double %5, %141
%143 = fptosi double %142 to i64
%144 = srem i64 %143, 10
%145 = getelementptr inbounds [11 x i8], [11 x i8]* @.str.2, i64 0, i64 %144
%146 = load i8, i8* %145
store i8 %146, i8* %137
%147 = getelementptr inbounds i8, i8* %88, i64 6
%148 = icmp eq i32 %54, 4
br i1 %148, label %168, label %149
149: ; preds = %139
%150 = tail call i64 @pow(i32 10, i32 5)
%151 = sitofp i64 %150 to double
%152 = fmul double %5, %151
%153 = fptosi double %152 to i64
%154 = srem i64 %153, 10
%155 = getelementptr inbounds [11 x i8], [11 x i8]* @.str.2, i64 0, i64 %154
%156 = load i8, i8* %155
store i8 %156, i8* %147
%157 = getelementptr inbounds i8, i8* %88, i64 7
%158 = icmp eq i32 %54, 5
br i1 %158, label %168, label %159
159: ; preds = %149
%160 = tail call i64 @pow(i32 10, i32 6)
%161 = sitofp i64 %160 to double
%162 = fmul double %5, %161
%163 = fptosi double %162 to i64
%164 = srem i64 %163, 10
%165 = getelementptr inbounds [11 x i8], [11 x i8]* @.str.2, i64 0, i64 %164
%166 = load i8, i8* %165
store i8 %166, i8* %157
%167 = getelementptr inbounds i8, i8* %88, i64 8
br label %168
168: ; preds = %108, %119, %129, %139, %149, %159, %87
%169 = phi i8* [ %89, %87 ], [ %117, %108 ], [ %127, %119 ], [ %137, %129 ], [ %147, %139 ], [ %157, %149 ], [ %167, %159 ]
store i8 0, i8* %169
%170 = tail call i32 (i8*, double, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.3, i64 0, i64 0), double %0, i8* %65)
ret i8* %65
}