#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 */
double fabs(double);
int pow(int, double);
int /*<<< orphan*/ sprintf(char *, char *, double, ...);
void decimal_string(char *s, double x, int ndigits, int signspace) {
  int is;
  double round;
  if (fabs(x) >= 1.0) {
    char fmt[16];
    sprintf(fmt, "%%%d.%df", signspace ? ndigits + 3 : ndigits + 2, ndigits);
    sprintf(s, fmt, x);
    return;
  }
  is = 0;
  if (x >= 0. && signspace)
    s[is++] = ' ';
  else if (x < 0) {
    s[is++] = '-';
    x = -x;
  }
  round = 5. * pow(10., (double)-ndigits - 1);
  x += round;
  s[is++] = '.';
  for (; ndigits > 0; ndigits--) {
    int ix;
    x *= 10.;
    ix = (int)(x);
    s[is++] = (ix < 0 || ix > 9) ? '#' : ix + '0';
    x -= (double)ix;
  }
  s[is] = '\0';
}


x86 assembly (clang, -O0):
<decimal_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movsd  -0x10(%rbp),%xmm0
movaps 0xedd(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xeb1(%rip),%xmm1
ucomisd %xmm1,%xmm0
jb     11b7 <decimal_string+0x97>
lea    -0x40(%rbp),%rax
mov    %rax,-0x50(%rbp)
cmpl   $0x0,-0x18(%rbp)
je     1179 <decimal_string+0x59>
mov    -0x14(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x54(%rbp)
jmp    1182 <decimal_string+0x62>
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x54(%rbp)
mov    -0x50(%rbp),%rdi
mov    -0x54(%rbp),%eax
cvtsi2sd %eax,%xmm0
mov    -0x14(%rbp),%edx
lea    0xe99(%rip),%rsi
mov    $0x1,%al
call   1040 <sprintf@plt>
mov    -0x8(%rbp),%rdi
lea    -0x40(%rbp),%rsi
movsd  -0x10(%rbp),%xmm0
mov    $0x1,%al
call   1040 <sprintf@plt>
jmp    132d <decimal_string+0x20d>
movl   $0x0,-0x1c(%rbp)
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     11f5 <decimal_string+0xd5>
cmpl   $0x0,-0x18(%rbp)
je     11f5 <decimal_string+0xd5>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x1c(%rbp)
movslq %ecx,%rcx
movb   $0x20,(%rax,%rcx,1)
jmp    123f <decimal_string+0x11f>
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    123a <decimal_string+0x11a>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x1c(%rbp)
movslq %ecx,%rcx
movb   $0x2d,(%rax,%rcx,1)
movsd  -0x10(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    123f <decimal_string+0x11f>
xor    %eax,%eax
sub    -0x14(%rbp),%eax
cvtsi2sd %eax,%xmm0
movsd  0xdb0(%rip),%xmm1
subsd  %xmm1,%xmm0
mov    $0xa,%edi
call   1030 <pow@plt>
cvtsi2sd %eax,%xmm1
movsd  0xd9e(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x1c(%rbp)
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
cmpl   $0x0,-0x14(%rbp)
jle    1321 <decimal_string+0x201>
movsd  0xd66(%rip),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
cvttsd2si -0x10(%rbp),%eax
mov    %eax,-0x44(%rbp)
cmpl   $0x0,-0x44(%rbp)
jl     12d0 <decimal_string+0x1b0>
cmpl   $0x9,-0x44(%rbp)
jle    12dd <decimal_string+0x1bd>
mov    $0x23,%eax
mov    %eax,-0x58(%rbp)
jmp    12e6 <decimal_string+0x1c6>
mov    -0x44(%rbp),%eax
add    $0x30,%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x1c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
cvtsi2sdl -0x44(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x10(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1298 <decimal_string+0x178>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<decimal_string>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x28,%rsp
mov    %esi,%r14d
movapd %xmm0,%xmm1
mov    %rdi,%rbx
movapd 0xec4(%rip),%xmm0
andpd  %xmm1,%xmm0
ucomisd 0xed8(%rip),%xmm0
jae    1162 <decimal_string+0x42>
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm1
jb     11aa <decimal_string+0x8a>
test   %edx,%edx
je     11aa <decimal_string+0x8a>
movapd %xmm1,(%rsp)
movb   $0x20,(%rbx)
jmp    11c2 <decimal_string+0xa2>
cmp    $0x1,%edx
mov    %r14d,%eax
sbb    $0x0,%eax
add    $0x3,%eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
lea    0xec4(%rip),%rsi
lea    0x10(%rsp),%r15
mov    %r15,%rdi
mov    %r14d,%edx
mov    $0x1,%al
movapd %xmm1,(%rsp)
call   1040 <sprintf@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
movapd (%rsp),%xmm0
mov    $0x1,%al
call   1040 <sprintf@plt>
jmp    12d8 <decimal_string+0x1b8>
xor    %ebp,%ebp
ucomisd %xmm1,%xmm0
jbe    11c9 <decimal_string+0xa9>
movb   $0x2d,(%rbx)
xorpd  0xe53(%rip),%xmm1
movapd %xmm1,(%rsp)
mov    $0x1,%ebp
jmp    11ce <decimal_string+0xae>
movapd %xmm1,(%rsp)
mov    %r14d,%eax
neg    %eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
addsd  0xe46(%rip),%xmm0
mov    $0xa,%edi
call   1030 <pow@plt>
mov    %ebp,%edx
movb   $0x2e,(%rbx,%rdx,1)
test   %r14d,%r14d
jle    1223 <decimal_string+0x103>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
mulsd  0xe2a(%rip),%xmm0
movapd (%rsp),%xmm2
addsd  %xmm0,%xmm2
lea    (%rdx,%r14,1),%eax
lea    -0x1(%rax),%rsi
test   $0x1,%r14b
jne    122e <decimal_string+0x10e>
lea    0x1(%rdx),%rcx
jmp    1261 <decimal_string+0x141>
add    $0x1,%edx
mov    %rdx,%rax
jmp    12d4 <decimal_string+0x1b4>
mulsd  0xe02(%rip),%xmm2
cvttsd2si %xmm2,%ecx
lea    0x30(%rcx),%edi
cmp    $0xa,%ecx
movzbl %dil,%ecx
mov    $0x23,%edi
cmovb  %ecx,%edi
mov    %dil,0x1(%rbx,%rdx,1)
cvttpd2dq %xmm2,%xmm0
cvtdq2pd %xmm0,%xmm0
subsd  %xmm0,%xmm2
lea    0x2(%rdx),%rcx
add    $0x1,%rax
cmp    %rdx,%rsi
je     12d4 <decimal_string+0x1b4>
movsd  0xdc6(%rip),%xmm0
mov    $0x23,%edx
nopw   0x0(%rax,%rax,1)
mulsd  %xmm0,%xmm2
cvttsd2si %xmm2,%esi
lea    0x30(%rsi),%edi
cmp    $0xa,%esi
movzbl %dil,%esi
cmovae %edx,%esi
cvttpd2dq %xmm2,%xmm1
mov    %sil,(%rbx,%rcx,1)
cvtdq2pd %xmm1,%xmm1
subsd  %xmm1,%xmm2
mulsd  %xmm0,%xmm2
cvttsd2si %xmm2,%esi
lea    0x30(%rsi),%edi
cmp    $0xa,%esi
movzbl %dil,%esi
cmovae %edx,%esi
cvttpd2dq %xmm2,%xmm1
cvtdq2pd %xmm1,%xmm1
mov    %sil,0x1(%rbx,%rcx,1)
subsd  %xmm1,%xmm2
add    $0x2,%rcx
cmp    %rcx,%rax
jne    1280 <decimal_string+0x160>
movb   $0x0,(%rbx,%rax,1)
add    $0x28,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [9 x i8] c"%%%d.%df\00"
define void @decimal_string(i8* %0, double %1, i32 %2, i32 %3) {
%5 = alloca i8*
%6 = alloca double
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca double
%11 = alloca [16 x i8]
%12 = alloca i32
store i8* %0, i8** %5
store double %1, double* %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%13 = load double, double* %6
%14 = call double @llvm.fabs.f64(double %13)
%15 = fcmp oge double %14, 1.000000e+00
br i1 %15, label %16, label %35
16: ; preds = %4
%17 = getelementptr inbounds [16 x i8], [16 x i8]* %11, i64 0, i64 0
%18 = load i32, i32* %8
%19 = icmp ne i32 %18, 0
br i1 %19, label %20, label %23
20: ; preds = %16
%21 = load i32, i32* %7
%22 = add nsw i32 %21, 3
br label %26
23: ; preds = %16
%24 = load i32, i32* %7
%25 = add nsw i32 %24, 2
br label %26
26: ; preds = %23, %20
%27 = phi i32 [ %22, %20 ], [ %25, %23 ]
%28 = sitofp i32 %27 to double
%29 = load i32, i32* %7
%30 = call i32 (i8*, i8*, double, ...) @sprintf(i8* %17, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), double %28, i32 %29)
%31 = load i8*, i8** %5
%32 = getelementptr inbounds [16 x i8], [16 x i8]* %11, i64 0, i64 0
%33 = load double, double* %6
%34 = call i32 (i8*, i8*, double, ...) @sprintf(i8* %31, i8* %32, double %33)
br label %112
35: ; preds = %4
store i32 0, i32* %9
%36 = load double, double* %6
%37 = fcmp oge double %36, 0.000000e+00
br i1 %37, label %38, label %47
38: ; preds = %35
%39 = load i32, i32* %8
%40 = icmp ne i32 %39, 0
br i1 %40, label %41, label %47
41: ; preds = %38
%42 = load i8*, i8** %5
%43 = load i32, i32* %9
%44 = add nsw i32 %43, 1
store i32 %44, i32* %9
%45 = sext i32 %43 to i64
%46 = getelementptr inbounds i8, i8* %42, i64 %45
store i8 32, i8* %46
br label %59
47: ; preds = %38, %35
%48 = load double, double* %6
%49 = fcmp olt double %48, 0.000000e+00
br i1 %49, label %50, label %58
50: ; preds = %47
%51 = load i8*, i8** %5
%52 = load i32, i32* %9
%53 = add nsw i32 %52, 1
store i32 %53, i32* %9
%54 = sext i32 %52 to i64
%55 = getelementptr inbounds i8, i8* %51, i64 %54
store i8 45, i8* %55
%56 = load double, double* %6
%57 = fneg double %56
store double %57, double* %6
br label %58
58: ; preds = %50, %47
br label %59
59: ; preds = %58, %41
%60 = load i32, i32* %7
%61 = sub nsw i32 0, %60
%62 = sitofp i32 %61 to double
%63 = fsub double %62, 1.000000e+00
%64 = call i32 @pow(i32 10, double %63)
%65 = sitofp i32 %64 to double
%66 = fmul double 5.000000e+00, %65
store double %66, double* %10
%67 = load double, double* %10
%68 = load double, double* %6
%69 = fadd double %68, %67
store double %69, double* %6
%70 = load i8*, i8** %5
%71 = load i32, i32* %9
%72 = add nsw i32 %71, 1
store i32 %72, i32* %9
%73 = sext i32 %71 to i64
%74 = getelementptr inbounds i8, i8* %70, i64 %73
store i8 46, i8* %74
br label %75
75: ; preds = %104, %59
%76 = load i32, i32* %7
%77 = icmp sgt i32 %76, 0
br i1 %77, label %78, label %107
78: ; preds = %75
%79 = load double, double* %6
%80 = fmul double %79, 1.000000e+01
store double %80, double* %6
%81 = load double, double* %6
%82 = fptosi double %81 to i32
store i32 %82, i32* %12
%83 = load i32, i32* %12
%84 = icmp slt i32 %83, 0
br i1 %84, label %88, label %85
85: ; preds = %78
%86 = load i32, i32* %12
%87 = icmp sgt i32 %86, 9
br i1 %87, label %88, label %89
88: ; preds = %85, %78
br label %92
89: ; preds = %85
%90 = load i32, i32* %12
%91 = add nsw i32 %90, 48
br label %92
92: ; preds = %89, %88
%93 = phi i32 [ 35, %88 ], [ %91, %89 ]
%94 = trunc i32 %93 to i8
%95 = load i8*, i8** %5
%96 = load i32, i32* %9
%97 = add nsw i32 %96, 1
store i32 %97, i32* %9
%98 = sext i32 %96 to i64
%99 = getelementptr inbounds i8, i8* %95, i64 %98
store i8 %94, i8* %99
%100 = load i32, i32* %12
%101 = sitofp i32 %100 to double
%102 = load double, double* %6
%103 = fsub double %102, %101
store double %103, double* %6
br label %104
104: ; preds = %92
%105 = load i32, i32* %7
%106 = add nsw i32 %105, -1
store i32 %106, i32* %7
br label %75
107: ; preds = %75
%108 = load i8*, i8** %5
%109 = load i32, i32* %9
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i8, i8* %108, i64 %110
store i8 0, i8* %111
br label %112
112: ; preds = %107, %26
ret void
}

LLVM IR (-O2):
@.str = [9 x i8] c"%%%d.%df\00"
define void @decimal_string(i8* nocapture writeonly %0, double %1, i32 %2, i32 %3) {
%5 = alloca [16 x i8]
%6 = tail call double @llvm.fabs.f64(double %1)
%7 = fcmp ult double %6, 1.000000e+00
br i1 %7, label %16, label %8
8: ; preds = %4
%9 = getelementptr inbounds [16 x i8], [16 x i8]* %5, i64 0, i64 0
%10 = icmp eq i32 %3, 0
%11 = select i1 %10, i32 2, i32 3
%12 = add nsw i32 %11, %2
%13 = sitofp i32 %12 to double
%14 = call i32 (i8*, i8*, double, ...) @sprintf(i8* %9, i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), double %13, i32 %2)
%15 = call i32 (i8*, i8*, double, ...) @sprintf(i8* dereferenceable(1) %0, i8* %9, double %1)
br label %93
16: ; preds = %4
%17 = fcmp oge double %1, 0.000000e+00
%18 = icmp ne i32 %3, 0
%19 = and i1 %17, %18
br i1 %19, label %20, label %21
20: ; preds = %16
store i8 32, i8* %0
br label %25
21: ; preds = %16
%22 = fcmp olt double %1, 0.000000e+00
br i1 %22, label %23, label %25
23: ; preds = %21
store i8 45, i8* %0
%24 = fneg double %1
br label %25
25: ; preds = %21, %23, %20
%26 = phi i32 [ 1, %20 ], [ 1, %23 ], [ 0, %21 ]
%27 = phi double [ %1, %20 ], [ %24, %23 ], [ %1, %21 ]
%28 = sub nsw i32 0, %2
%29 = sitofp i32 %28 to double
%30 = fadd double %29, -1.000000e+00
%31 = tail call i32 @pow(i32 10, double %30)
%32 = zext i32 %26 to i64
%33 = getelementptr inbounds i8, i8* %0, i64 %32
store i8 46, i8* %33
%34 = icmp sgt i32 %2, 0
br i1 %34, label %38, label %35
35: ; preds = %25
%36 = add nuw nsw i32 %26, 1
%37 = zext i32 %36 to i64
br label %90
38: ; preds = %25
%39 = sitofp i32 %31 to double
%40 = fmul double %39, 5.000000e+00
%41 = fadd double %27, %40
%42 = add nuw nsw i64 %32, 1
%43 = add nuw i32 %26, %2
%44 = add nuw i32 %43, 1
%45 = zext i32 %44 to i64
%46 = xor i64 %32, -1
%47 = add nsw i64 %46, %45
%48 = add nsw i64 %45, -2
%49 = and i64 %47, 1
%50 = icmp eq i64 %49, 0
br i1 %50, label %62, label %51
51: ; preds = %38
%52 = fmul double %41, 1.000000e+01
%53 = fptosi double %52 to i32
%54 = icmp ugt i32 %53, 9
%55 = trunc i32 %53 to i8
%56 = add i8 %55, 48
%57 = select i1 %54, i8 35, i8 %56
%58 = getelementptr inbounds i8, i8* %0, i64 %42
store i8 %57, i8* %58
%59 = sitofp i32 %53 to double
%60 = fsub double %52, %59
%61 = or i64 %32, 2
br label %62
62: ; preds = %51, %38
%63 = phi i64 [ %42, %38 ], [ %61, %51 ]
%64 = phi double [ %41, %38 ], [ %60, %51 ]
%65 = icmp eq i64 %48, %32
br i1 %65, label %90, label %66
66: ; preds = %62, %66
%67 = phi i64 [ %88, %66 ], [ %63, %62 ]
%68 = phi double [ %87, %66 ], [ %64, %62 ]
%69 = fmul double %68, 1.000000e+01
%70 = fptosi double %69 to i32
%71 = icmp ugt i32 %70, 9
%72 = trunc i32 %70 to i8
%73 = add i8 %72, 48
%74 = select i1 %71, i8 35, i8 %73
%75 = getelementptr inbounds i8, i8* %0, i64 %67
store i8 %74, i8* %75
%76 = sitofp i32 %70 to double
%77 = fsub double %69, %76
%78 = add nuw nsw i64 %67, 1
%79 = fmul double %77, 1.000000e+01
%80 = fptosi double %79 to i32
%81 = icmp ugt i32 %80, 9
%82 = trunc i32 %80 to i8
%83 = add i8 %82, 48
%84 = select i1 %81, i8 35, i8 %83
%85 = getelementptr inbounds i8, i8* %0, i64 %78
store i8 %84, i8* %85
%86 = sitofp i32 %80 to double
%87 = fsub double %79, %86
%88 = add nuw nsw i64 %67, 2
%89 = icmp eq i64 %88, %45
br i1 %89, label %90, label %66
90: ; preds = %62, %66, %35
%91 = phi i64 [ %37, %35 ], [ %45, %66 ], [ %45, %62 ]
%92 = getelementptr inbounds i8, i8* %0, i64 %91
store i8 0, i8* %92
br label %93
93: ; preds = %90, %8
ret void
}