#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 */

/* Variables and functions */
float n_tu(double, long long);
void float_to_string(float f, char r[]) {
  long long int length, length2, i, number, position, sign;
  float number2;
  sign = -1;
  if (f < 0) {
    sign = '-';
    f *= -1;
  }
  number2 = f;
  number = f;
  length = 0;
  length2 = 0;
  while ((number2 - (float)number) != 0.0 &&
         !((number2 - (float)number) < 0.0)) {
    number2 = f * (n_tu(10.0, length2 + 1));
    number = number2;
    length2++;
  }
  for (length = (f > 1) ? 0 : 1; f > 1; length++)
    f /= 10;
  position = length;
  length = length + 1 + length2;
  number = number2;
  if (sign == '-') {
    length++;
    position++;
  }
  for (i = length; i >= 0; i--) {
    if (i == (length))
      r[i] = '\0';
    else if (i == (position))
      r[i] = '.';
    else if (sign == '-' && i == 0)
      r[i] = '-';
    else {
      r[i] = (number % 10) + '0';
      number /= 10;
    }
  }
}


x86 assembly (clang, -O0):
<float_to_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movss  %xmm0,-0x4(%rbp)
mov    %rdi,-0x10(%rbp)
movq   $0xffffffffffffffff,-0x40(%rbp)
ff
xorps  %xmm0,%xmm0
ucomiss -0x4(%rbp),%xmm0
jbe    1150 <float_to_string+0x40>
movq   $0x2d,-0x40(%rbp)
movss  0xeba(%rip),%xmm0
mulss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x44(%rbp)
cvttss2si -0x4(%rbp),%rax
mov    %rax,-0x30(%rbp)
movq   $0x0,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movss  -0x44(%rbp),%xmm0
cvtsi2ssq -0x30(%rbp),%xmm1
subss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
xor    %eax,%eax
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x45(%rbp)
jne    11a4 <float_to_string+0x94>
jp     11a4 <float_to_string+0x94>
jmp    11c6 <float_to_string+0xb6>
movss  -0x44(%rbp),%xmm0
cvtsi2ssq -0x30(%rbp),%xmm1
subss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm1
xorps  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
seta   %al
xor    $0xff,%al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
test   $0x1,%al
jne    11d6 <float_to_string+0xc6>
jmp    1221 <float_to_string+0x111>
movss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x20(%rbp),%rdi
add    $0x1,%rdi
movsd  0xe20(%rip),%xmm0
call   1030 <n_tu@plt>
movaps %xmm0,%xmm1
movss  -0x4c(%rbp),%xmm0
mulss  %xmm1,%xmm0
movss  %xmm0,-0x44(%rbp)
cvttss2si -0x44(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1174 <float_to_string+0x64>
movss  -0x4(%rbp),%xmm0
movss  0xdd6(%rip),%xmm1
mov    $0x1,%eax
xor    %ecx,%ecx
ucomiss %xmm1,%xmm0
cmova  %ecx,%eax
cltq
mov    %rax,-0x18(%rbp)
movss  -0x4(%rbp),%xmm0
movss  0xdb6(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    127e <float_to_string+0x16e>
movss  -0x4(%rbp),%xmm0
movss  0xda4(%rip),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1241 <float_to_string+0x131>
mov    -0x18(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x18(%rbp)
cvttss2si -0x44(%rbp),%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x2d,-0x40(%rbp)
jne    12c3 <float_to_string+0x1b3>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
jl     138a <float_to_string+0x27a>
mov    -0x28(%rbp),%rax
cmp    -0x18(%rbp),%rax
jne    12f5 <float_to_string+0x1e5>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1374 <float_to_string+0x264>
mov    -0x28(%rbp),%rax
cmp    -0x38(%rbp),%rax
jne    1314 <float_to_string+0x204>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movb   $0x2e,(%rax,%rcx,1)
jmp    136f <float_to_string+0x25f>
cmpq   $0x2d,-0x40(%rbp)
jne    133b <float_to_string+0x22b>
cmpq   $0x0,-0x28(%rbp)
jne    133b <float_to_string+0x22b>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movb   $0x2d,(%rax,%rcx,1)
jmp    136a <float_to_string+0x25a>
mov    -0x30(%rbp),%rax
mov    $0xa,%ecx
cqto
idiv   %rcx
add    $0x30,%rdx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x30(%rbp),%rax
mov    $0xa,%ecx
cqto
idiv   %rcx
mov    %rax,-0x30(%rbp)
jmp    136f <float_to_string+0x25f>
jmp    1374 <float_to_string+0x264>
jmp    1379 <float_to_string+0x269>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
jmp    12cb <float_to_string+0x1bb>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<float_to_string>:
push   %r14
push   %rbx
sub    $0x28,%rsp
movaps 0xee2(%rip),%xmm1
xorps  %xmm0,%xmm1
xorps  %xmm3,%xmm3
movaps %xmm0,%xmm2
cmpltss %xmm3,%xmm2
andps  %xmm2,%xmm1
movaps %xmm0,(%rsp)
andnps %xmm0,%xmm2
orps   %xmm1,%xmm2
cvttss2si %xmm2,%rcx
xorps  %xmm0,%xmm0
cvtsi2ss %rcx,%xmm0
mov    %rdi,%r14
movaps %xmm2,%xmm1
subss  %xmm0,%xmm1
xor    %ebx,%ebx
ucomiss %xmm1,%xmm3
jae    1196 <float_to_string+0x86>
movaps %xmm2,0x10(%rsp)
nopl   0x0(%rax)
add    $0x1,%rbx
movsd  0xea4(%rip),%xmm0
mov    %rbx,%rdi
call   1030 <n_tu@plt>
xorps  %xmm3,%xmm3
movaps 0x10(%rsp),%xmm2
mulss  %xmm2,%xmm0
cvttss2si %xmm0,%rcx
xorps  %xmm1,%xmm1
cvtsi2ss %rcx,%xmm1
subss  %xmm1,%xmm0
ucomiss %xmm0,%xmm3
jb     1160 <float_to_string+0x50>
xor    %esi,%esi
ucomiss 0xe79(%rip),%xmm2
setbe  %sil
jbe    11cd <float_to_string+0xbd>
movss  0xe6f(%rip),%xmm0
movss  0xe63(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
nop
divss  %xmm0,%xmm2
add    $0x1,%rsi
ucomiss %xmm1,%xmm2
ja     11c0 <float_to_string+0xb0>
xorps  %xmm0,%xmm0
xor    %eax,%eax
movaps (%rsp),%xmm1
ucomiss %xmm1,%xmm0
lea    0x1(%rsi),%rdx
cmova  %rdx,%rsi
seta   %al
add    %rax,%rbx
add    %rdx,%rbx
js     1260 <float_to_string+0x150>
movb   $0x0,(%r14,%rbx,1)
je     1260 <float_to_string+0x150>
mov    %rsi,%rdi
neg    %rdi
xorps  %xmm0,%xmm0
movabs $0x6666666666666667,%r8
66 66 66
jmp    121e <float_to_string+0x10e>
nopl   0x0(%rax,%rax,1)
movb   $0x2e,(%r14,%rsi,1)
add    $0xffffffffffffffff,%rbx
test   %rbx,%rbx
jle    1260 <float_to_string+0x150>
lea    (%rdi,%rbx,1),%rax
cmp    $0x1,%rax
je     1210 <float_to_string+0x100>
ucomiss %xmm1,%xmm0
jbe    1233 <float_to_string+0x123>
cmp    $0x1,%rbx
je     125c <float_to_string+0x14c>
mov    %rcx,%rax
imul   %r8
mov    %rdx,%rax
shr    $0x3f,%rax
sar    $0x2,%rdx
add    %rax,%rdx
lea    (%rdx,%rdx,1),%eax
lea    (%rax,%rax,4),%eax
sub    %eax,%ecx
add    $0x30,%cl
mov    %cl,-0x1(%r14,%rbx,1)
mov    %rdx,%rcx
jmp    1215 <float_to_string+0x105>
movb   $0x2d,(%r14)
add    $0x28,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define void @float_to_string(float %0, i8* %1) {
%3 = alloca float
%4 = alloca i8*
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca float
store float %0, float* %3
store i8* %1, i8** %4
store i64 -1, i64* %10
%12 = load float, float* %3
%13 = fcmp olt float %12, 0.000000e+00
br i1 %13, label %14, label %17
14: ; preds = %2
store i64 45, i64* %10
%15 = load float, float* %3
%16 = fmul float %15, -1.000000e+00
store float %16, float* %3
br label %17
17: ; preds = %14, %2
%18 = load float, float* %3
store float %18, float* %11
%19 = load float, float* %3
%20 = fptosi float %19 to i64
store i64 %20, i64* %8
store i64 0, i64* %5
store i64 0, i64* %6
br label %21
21: ; preds = %38, %17
%22 = load float, float* %11
%23 = load i64, i64* %8
%24 = sitofp i64 %23 to float
%25 = fsub float %22, %24
%26 = fpext float %25 to double
%27 = fcmp une double %26, 0.000000e+00
br i1 %27, label %28, label %36
28: ; preds = %21
%29 = load float, float* %11
%30 = load i64, i64* %8
%31 = sitofp i64 %30 to float
%32 = fsub float %29, %31
%33 = fpext float %32 to double
%34 = fcmp olt double %33, 0.000000e+00
%35 = xor i1 %34, true
br label %36
36: ; preds = %28, %21
%37 = phi i1 [ false, %21 ], [ %35, %28 ]
br i1 %37, label %38, label %48
38: ; preds = %36
%39 = load float, float* %3
%40 = load i64, i64* %6
%41 = add nsw i64 %40, 1
%42 = call float @n_tu(double 1.000000e+01, i64 %41)
%43 = fmul float %39, %42
store float %43, float* %11
%44 = load float, float* %11
%45 = fptosi float %44 to i64
store i64 %45, i64* %8
%46 = load i64, i64* %6
%47 = add nsw i64 %46, 1
store i64 %47, i64* %6
br label %21
48: ; preds = %36
%49 = load float, float* %3
%50 = fcmp ogt float %49, 1.000000e+00
%51 = zext i1 %50 to i64
%52 = select i1 %50, i32 0, i32 1
%53 = sext i32 %52 to i64
store i64 %53, i64* %5
br label %54
54: ; preds = %60, %48
%55 = load float, float* %3
%56 = fcmp ogt float %55, 1.000000e+00
br i1 %56, label %57, label %63
57: ; preds = %54
%58 = load float, float* %3
%59 = fdiv float %58, 1.000000e+01
store float %59, float* %3
br label %60
60: ; preds = %57
%61 = load i64, i64* %5
%62 = add nsw i64 %61, 1
store i64 %62, i64* %5
br label %54
63: ; preds = %54
%64 = load i64, i64* %5
store i64 %64, i64* %9
%65 = load i64, i64* %5
%66 = add nsw i64 %65, 1
%67 = load i64, i64* %6
%68 = add nsw i64 %66, %67
store i64 %68, i64* %5
%69 = load float, float* %11
%70 = fptosi float %69 to i64
store i64 %70, i64* %8
%71 = load i64, i64* %10
%72 = icmp eq i64 %71, 45
br i1 %72, label %73, label %78
73: ; preds = %63
%74 = load i64, i64* %5
%75 = add nsw i64 %74, 1
store i64 %75, i64* %5
%76 = load i64, i64* %9
%77 = add nsw i64 %76, 1
store i64 %77, i64* %9
br label %78
78: ; preds = %73, %63
%79 = load i64, i64* %5
store i64 %79, i64* %7
br label %80
80: ; preds = %122, %78
%81 = load i64, i64* %7
%82 = icmp sge i64 %81, 0
br i1 %82, label %83, label %125
83: ; preds = %80
%84 = load i64, i64* %7
%85 = load i64, i64* %5
%86 = icmp eq i64 %84, %85
br i1 %86, label %87, label %91
87: ; preds = %83
%88 = load i8*, i8** %4
%89 = load i64, i64* %7
%90 = getelementptr inbounds i8, i8* %88, i64 %89
store i8 0, i8* %90
br label %121
91: ; preds = %83
%92 = load i64, i64* %7
%93 = load i64, i64* %9
%94 = icmp eq i64 %92, %93
br i1 %94, label %95, label %99
95: ; preds = %91
%96 = load i8*, i8** %4
%97 = load i64, i64* %7
%98 = getelementptr inbounds i8, i8* %96, i64 %97
store i8 46, i8* %98
br label %120
99: ; preds = %91
%100 = load i64, i64* %10
%101 = icmp eq i64 %100, 45
br i1 %101, label %102, label %109
102: ; preds = %99
%103 = load i64, i64* %7
%104 = icmp eq i64 %103, 0
br i1 %104, label %105, label %109
105: ; preds = %102
%106 = load i8*, i8** %4
%107 = load i64, i64* %7
%108 = getelementptr inbounds i8, i8* %106, i64 %107
store i8 45, i8* %108
br label %119
109: ; preds = %102, %99
%110 = load i64, i64* %8
%111 = srem i64 %110, 10
%112 = add nsw i64 %111, 48
%113 = trunc i64 %112 to i8
%114 = load i8*, i8** %4
%115 = load i64, i64* %7
%116 = getelementptr inbounds i8, i8* %114, i64 %115
store i8 %113, i8* %116
%117 = load i64, i64* %8
%118 = sdiv i64 %117, 10
store i64 %118, i64* %8
br label %119
119: ; preds = %109, %105
br label %120
120: ; preds = %119, %95
br label %121
121: ; preds = %120, %87
br label %122
122: ; preds = %121
%123 = load i64, i64* %7
%124 = add nsw i64 %123, -1
store i64 %124, i64* %7
br label %80
125: ; preds = %80
ret void
}

LLVM IR (-O2):
define void @float_to_string(float %0, i8* nocapture writeonly %1) {
%3 = fcmp olt float %0, 0.000000e+00
%4 = fneg float %0
%5 = select i1 %3, float %4, float %0
%6 = fptosi float %5 to i64
%7 = sitofp i64 %6 to float
%8 = fsub float %5, %7
%9 = fcmp ugt float %8, 0.000000e+00
br i1 %9, label %10, label %19
10: ; preds = %2, %10
%11 = phi i64 [ %12, %10 ], [ 0, %2 ]
%12 = add nuw nsw i64 %11, 1
%13 = tail call float @n_tu(double 1.000000e+01, i64 %12)
%14 = fmul float %5, %13
%15 = fptosi float %14 to i64
%16 = sitofp i64 %15 to float
%17 = fsub float %14, %16
%18 = fcmp ugt float %17, 0.000000e+00
br i1 %18, label %10, label %19
19: ; preds = %10, %2
%20 = phi i64 [ 0, %2 ], [ %12, %10 ]
%21 = phi i64 [ %6, %2 ], [ %15, %10 ]
%22 = fcmp ule float %5, 1.000000e+00
%23 = zext i1 %22 to i64
%24 = fcmp ogt float %5, 1.000000e+00
br i1 %24, label %25, label %31
25: ; preds = %19, %25
%26 = phi i64 [ %29, %25 ], [ %23, %19 ]
%27 = phi float [ %28, %25 ], [ %5, %19 ]
%28 = fdiv float %27, 1.000000e+01
%29 = add nuw nsw i64 %26, 1
%30 = fcmp ogt float %28, 1.000000e+00
br i1 %30, label %25, label %31
31: ; preds = %25, %19
%32 = phi i64 [ %23, %19 ], [ %29, %25 ]
%33 = add nuw nsw i64 %32, 1
%34 = zext i1 %3 to i64
%35 = add i64 %20, %34
%36 = add i64 %35, %33
%37 = select i1 %3, i64 %33, i64 %32
%38 = icmp sgt i64 %36, -1
br i1 %38, label %39, label %64
39: ; preds = %31
%40 = getelementptr inbounds i8, i8* %1, i64 %36
store i8 0, i8* %40
%41 = icmp eq i64 %36, 0
br i1 %41, label %64, label %42
42: ; preds = %39
%43 = add i64 %35, %32
%44 = getelementptr inbounds i8, i8* %1, i64 %37
br label %45
45: ; preds = %60, %42
%46 = phi i64 [ %61, %60 ], [ %21, %42 ]
%47 = phi i64 [ %62, %60 ], [ %43, %42 ]
%48 = icmp eq i64 %47, %37
br i1 %48, label %49, label %50
49: ; preds = %45
store i8 46, i8* %44
br label %60
50: ; preds = %45
%51 = icmp eq i64 %47, 0
%52 = select i1 %3, i1 %51, i1 false
br i1 %52, label %53, label %54
53: ; preds = %50
store i8 45, i8* %1
br label %64
54: ; preds = %50
%55 = srem i64 %46, 10
%56 = trunc i64 %55 to i8
%57 = add nsw i8 %56, 48
%58 = getelementptr inbounds i8, i8* %1, i64 %47
store i8 %57, i8* %58
%59 = sdiv i64 %46, 10
br label %60
60: ; preds = %54, %49
%61 = phi i64 [ %46, %49 ], [ %59, %54 ]
%62 = add nsw i64 %47, -1
%63 = icmp sgt i64 %47, 0
br i1 %63, label %45, label %64
64: ; preds = %60, %39, %53, %31
ret void
}