#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 */
scalar_t__ PutSignedInt(char *, int /*<<< orphan*/, int, int);
scalar_t__ PutUnsignedInt(char *, char, int, int);
scalar_t__ append_char(char *, char);
signed int PutFloatEE(char *pStr, char fill, signed int width, double value) {
  int num = 0;
  int exponent = 0;
  int intpart;
  int fraction;
  if (value < 0.0f) {
    num += append_char(pStr + num, '-');
    value = -value;
  }
  while (value >= 1000.0f) {
    value /= 1000.0f;
    exponent += 3;
  }
  if (value != 0.0f) {
    while (value < 1.0f) {
      value *= 1000.0f;
      exponent -= 3;
    }
  }
  intpart = (int)value;
  fraction = (int)((value - intpart) * 1000.0f + 0.5f);
  num += PutUnsignedInt(pStr + num, fill, 1, (int)(intpart));
  num += append_char(pStr + num, '.');
  num += PutUnsignedInt(pStr + num, '0', 3, (int)(fraction));
  num += append_char(pStr + num, 'E');
  if (exponent >= 0) {
    num += append_char(pStr + num, '+');
  } else {
    num += append_char(pStr + num, '-');
    exponent = -exponent;
  }
  num += PutSignedInt(pStr + num, '0', 2, (int)(exponent));
  return num;
}


x86 assembly (clang, -O0):
<PutFloatEE>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %sil,%al
mov    %rdi,-0x8(%rbp)
mov    %al,-0x9(%rbp)
mov    %edx,-0x10(%rbp)
movsd  %xmm0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x18(%rbp),%xmm0
jbe    11a9 <PutFloatEE+0x79>
mov    -0x8(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
mov    $0x2d,%esi
call   1040 <append_char@plt>
mov    %rax,%rcx
movslq -0x1c(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x1c(%rbp)
movsd  -0x18(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x18(%rbp)
jmp    11ae <PutFloatEE+0x7e>
movsd  -0x18(%rbp),%xmm0
movsd  0xe45(%rip),%xmm1
ucomisd %xmm1,%xmm0
jb     11e9 <PutFloatEE+0xb9>
movsd  -0x18(%rbp),%xmm0
movsd  0xe2e(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0x20(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x20(%rbp)
jmp    11ae <PutFloatEE+0x7e>
movsd  -0x18(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1206 <PutFloatEE+0xd6>
jp     1206 <PutFloatEE+0xd6>
jmp    1243 <PutFloatEE+0x113>
jmp    120b <PutFloatEE+0xdb>
movsd  0xdf5(%rip),%xmm0
ucomisd -0x18(%rbp),%xmm0
jbe    123e <PutFloatEE+0x10e>
movsd  0xdda(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0x20(%rbp),%eax
sub    $0x3,%eax
mov    %eax,-0x20(%rbp)
jmp    120b <PutFloatEE+0xdb>
jmp    1243 <PutFloatEE+0x113>
cvttsd2si -0x18(%rbp),%eax
mov    %eax,-0x24(%rbp)
movsd  -0x18(%rbp),%xmm0
cvtsi2sdl -0x24(%rbp),%xmm1
subsd  %xmm1,%xmm0
movsd  0xd9f(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xda3(%rip),%xmm1
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
mov    -0x9(%rbp),%al
mov    -0x24(%rbp),%ecx
mov    $0x1,%edx
movsbl %al,%esi
call   1030 <PutUnsignedInt@plt>
mov    %rax,%rcx
movslq -0x1c(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
mov    $0x2e,%esi
call   1040 <append_char@plt>
mov    %rax,%rcx
movslq -0x1c(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
mov    -0x28(%rbp),%ecx
mov    $0x30,%esi
mov    $0x3,%edx
call   1030 <PutUnsignedInt@plt>
mov    %rax,%rcx
movslq -0x1c(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
mov    $0x45,%esi
call   1040 <append_char@plt>
mov    %rax,%rcx
movslq -0x1c(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x20(%rbp)
jl     1342 <PutFloatEE+0x212>
mov    -0x8(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
mov    $0x2b,%esi
call   1040 <append_char@plt>
mov    %rax,%rcx
movslq -0x1c(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x1c(%rbp)
jmp    136c <PutFloatEE+0x23c>
mov    -0x8(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
mov    $0x2d,%esi
call   1040 <append_char@plt>
mov    %rax,%rcx
movslq -0x1c(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x1c(%rbp)
xor    %eax,%eax
sub    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
mov    -0x20(%rbp),%ecx
mov    $0x30,%esi
mov    $0x2,%edx
call   1050 <PutSignedInt@plt>
mov    %rax,%rcx
movslq -0x1c(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<PutFloatEE>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %esi,%r15d
mov    %rdi,%r14
xor    %ebx,%ebx
xorpd  %xmm1,%xmm1
ucomisd %xmm0,%xmm1
jbe    117e <PutFloatEE+0x4e>
mov    %r14,%rdi
mov    $0x2d,%esi
movapd %xmm0,(%rsp)
call   1040 <append_char@plt>
movapd (%rsp),%xmm0
xorpd  0xe91(%rip),%xmm0
movslq %eax,%r13
ucomisd 0xe96(%rip),%xmm0
jae    118b <PutFloatEE+0x5b>
jmp    11ad <PutFloatEE+0x7d>
xor    %r13d,%r13d
ucomisd 0xe87(%rip),%xmm0
jb     11ad <PutFloatEE+0x7d>
xor    %ebx,%ebx
movsd  0xe7b(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
nop
divsd  %xmm1,%xmm0
add    $0x3,%ebx
ucomisd %xmm1,%xmm0
jae    11a0 <PutFloatEE+0x70>
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    11b9 <PutFloatEE+0x89>
jnp    11dd <PutFloatEE+0xad>
movsd  0xe57(%rip),%xmm2
ucomisd %xmm0,%xmm2
jbe    11dd <PutFloatEE+0xad>
movsd  0xe41(%rip),%xmm1
nop
mulsd  %xmm1,%xmm0
add    $0xfffffffd,%ebx
ucomisd %xmm0,%xmm2
ja     11d0 <PutFloatEE+0xa0>
cvttsd2si %xmm0,%ecx
cvttpd2dq %xmm0,%xmm1
cvtdq2pd %xmm1,%xmm1
subsd  %xmm1,%xmm0
mulsd  0xe1b(%rip),%xmm0
addsd  0xe23(%rip),%xmm0
cvttsd2si %xmm0,%r12d
lea    (%r14,%r13,1),%rdi
movsbl %r15b,%esi
mov    $0x1,%edx
call   1030 <PutUnsignedInt@plt>
mov    %rax,%rbp
add    %r13,%rbp
movslq %ebp,%rdi
add    %r14,%rdi
mov    $0x2e,%esi
call   1040 <append_char@plt>
mov    %rax,%r15
add    %rbp,%r15
movslq %r15d,%rdi
add    %r14,%rdi
mov    $0x30,%esi
mov    $0x3,%edx
mov    %r12d,%ecx
call   1030 <PutUnsignedInt@plt>
mov    %rax,%rbp
add    %r15,%rbp
movslq %ebp,%rdi
add    %r14,%rdi
mov    $0x45,%esi
call   1040 <append_char@plt>
mov    %rax,%r15
add    %rbp,%r15
movslq %r15d,%rbp
lea    (%r14,%rbp,1),%rdi
test   %ebx,%ebx
js     127e <PutFloatEE+0x14e>
mov    $0x2b,%esi
call   1040 <append_char@plt>
add    %rbp,%rax
jmp    128d <PutFloatEE+0x15d>
mov    $0x2d,%esi
call   1040 <append_char@plt>
add    %r15,%rax
neg    %ebx
movslq %eax,%rbp
add    %rbp,%r14
mov    %r14,%rdi
mov    $0x30,%esi
mov    $0x2,%edx
mov    %ebx,%ecx
call   1050 <PutSignedInt@plt>
add    %ebp,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @PutFloatEE(i8* %0, i8 signext %1, i32 %2, double %3) {
%5 = fcmp olt double %3, 0.000000e+00
br i1 %5, label %6, label %11
6: ; preds = %4
%7 = tail call i64 @append_char(i8* %0, i8 signext 45)
%8 = fneg double %3
%9 = shl i64 %7, 32
%10 = ashr exact i64 %9, 32
br label %11
11: ; preds = %6, %4
%12 = phi i64 [ %10, %6 ], [ 0, %4 ]
%13 = phi double [ %8, %6 ], [ %3, %4 ]
%14 = fcmp ult double %13, 1.000000e+03
br i1 %14, label %21, label %15
15: ; preds = %11, %15
%16 = phi double [ %18, %15 ], [ %13, %11 ]
%17 = phi i32 [ %19, %15 ], [ 0, %11 ]
%18 = fdiv double %16, 1.000000e+03
%19 = add nuw nsw i32 %17, 3
%20 = fcmp ult double %18, 1.000000e+03
br i1 %20, label %21, label %15
21: ; preds = %15, %11
%22 = phi i32 [ 0, %11 ], [ %19, %15 ]
%23 = phi double [ %13, %11 ], [ %18, %15 ]
%24 = fcmp une double %23, 0.000000e+00
%25 = fcmp olt double %23, 1.000000e+00
%26 = and i1 %24, %25
br i1 %26, label %27, label %33
27: ; preds = %21, %27
%28 = phi i32 [ %31, %27 ], [ %22, %21 ]
%29 = phi double [ %30, %27 ], [ %23, %21 ]
%30 = fmul double %29, 1.000000e+03
%31 = add nsw i32 %28, -3
%32 = fcmp olt double %30, 1.000000e+00
br i1 %32, label %27, label %33
33: ; preds = %27, %21
%34 = phi i32 [ %22, %21 ], [ %31, %27 ]
%35 = phi double [ %23, %21 ], [ %30, %27 ]
%36 = fptosi double %35 to i32
%37 = sitofp i32 %36 to double
%38 = fsub double %35, %37
%39 = tail call double @llvm.fmuladd.f64(double %38, double 1.000000e+03, double 5.000000e-01)
%40 = fptosi double %39 to i32
%41 = getelementptr inbounds i8, i8* %0, i64 %12
%42 = tail call i64 @PutUnsignedInt(i8* %41, i8 signext %1, i32 1, i32 %36)
%43 = add nsw i64 %42, %12
%44 = shl i64 %43, 32
%45 = ashr exact i64 %44, 32
%46 = getelementptr inbounds i8, i8* %0, i64 %45
%47 = tail call i64 @append_char(i8* %46, i8 signext 46)
%48 = add i64 %43, %47
%49 = shl i64 %48, 32
%50 = ashr exact i64 %49, 32
%51 = getelementptr inbounds i8, i8* %0, i64 %50
%52 = tail call i64 @PutUnsignedInt(i8* %51, i8 signext 48, i32 3, i32 %40)
%53 = add i64 %48, %52
%54 = shl i64 %53, 32
%55 = ashr exact i64 %54, 32
%56 = getelementptr inbounds i8, i8* %0, i64 %55
%57 = tail call i64 @append_char(i8* %56, i8 signext 69)
%58 = add i64 %53, %57
%59 = icmp sgt i32 %34, -1
%60 = shl i64 %58, 32
%61 = ashr exact i64 %60, 32
%62 = getelementptr inbounds i8, i8* %0, i64 %61
br i1 %59, label %63, label %66
63: ; preds = %33
%64 = tail call i64 @append_char(i8* %62, i8 signext 43)
%65 = add nsw i64 %64, %61
br label %70
66: ; preds = %33
%67 = tail call i64 @append_char(i8* %62, i8 signext 45)
%68 = add i64 %67, %58
%69 = sub nsw i32 0, %34
br label %70
70: ; preds = %66, %63
%71 = phi i32 [ %34, %63 ], [ %69, %66 ]
%72 = phi i64 [ %65, %63 ], [ %68, %66 ]
%73 = shl i64 %72, 32
%74 = ashr exact i64 %73, 32
%75 = getelementptr inbounds i8, i8* %0, i64 %74
%76 = tail call i64 @PutSignedInt(i8* %75, i32 48, i32 2, i32 %71)
%77 = add i64 %76, %72
%78 = trunc i64 %77 to i32
ret i32 %78
}