#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 */
int /*<<< orphan*/ WriteExponent(int const, char *);
int /*<<< orphan*/ memmove(char *, char *, int);
void Prettify(char *buffer, int length, int k) {
  const int kk = length + k;
  if (length <= kk && kk <= 21) {
    int i;
    for (i = length; i < kk; i++)
      buffer[i] = '0';
    buffer[kk] = '.';
    buffer[kk + 1] = '0';
    buffer[kk + 2] = '\0';
  } else if (0 < kk && kk <= 21) {
    memmove(&buffer[kk + 1], &buffer[kk], length - kk);
    buffer[kk] = '.';
    buffer[length + 1] = '\0';
  } else if (-6 < kk && kk <= 0) {
    int i;
    const int offset = 2 - kk;
    memmove(&buffer[offset], &buffer[0], length);
    buffer[0] = '0';
    buffer[1] = '.';
    for (i = 2; i < offset; i++)
      buffer[i] = '0';
    buffer[length + offset] = '\0';
  } else if (length == 1) {
    buffer[1] = 'e';
    WriteExponent(kk - 1, &buffer[2]);
  } else {
    memmove(&buffer[2], &buffer[1], length - 1);
    buffer[1] = '.';
    buffer[length + 1] = 'e';
    WriteExponent(kk - 1, &buffer[0 + length + 2]);
  }
}


x86 assembly (clang, -O0):
<Prettify>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     11b0 <Prettify+0x90>
cmpl   $0x15,-0x14(%rbp)
jg     11b0 <Prettify+0x90>
mov    -0xc(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    117d <Prettify+0x5d>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1157 <Prettify+0x37>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1322 <Prettify+0x202>
xor    %eax,%eax
cmp    -0x14(%rbp),%eax
jge    120c <Prettify+0xec>
cmpl   $0x15,-0x14(%rbp)
jg     120c <Prettify+0xec>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%eax
add    $0x1,%eax
cltq
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0x14(%rbp),%rax
add    %rax,%rsi
mov    -0xc(%rbp),%edx
sub    -0x14(%rbp),%edx
call   1030 <memmove@plt>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    131d <Prettify+0x1fd>
mov    $0xfffffffa,%eax
cmp    -0x14(%rbp),%eax
jge    1298 <Prettify+0x178>
cmpl   $0x0,-0x14(%rbp)
jg     1298 <Prettify+0x178>
mov    $0x2,%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0x20(%rbp),%rax
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
mov    -0xc(%rbp),%edx
call   1030 <memmove@plt>
mov    -0x8(%rbp),%rax
movb   $0x30,(%rax)
mov    -0x8(%rbp),%rax
movb   $0x2e,0x1(%rax)
movl   $0x2,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1282 <Prettify+0x162>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    125c <Prettify+0x13c>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1318 <Prettify+0x1f8>
cmpl   $0x1,-0xc(%rbp)
jne    12c2 <Prettify+0x1a2>
mov    -0x8(%rbp),%rax
movb   $0x65,0x1(%rax)
mov    -0x14(%rbp),%edi
sub    $0x1,%edi
mov    -0x8(%rbp),%rsi
add    $0x2,%rsi
call   1040 <WriteExponent@plt>
jmp    1313 <Prettify+0x1f3>
mov    -0x8(%rbp),%rdi
add    $0x2,%rdi
mov    -0x8(%rbp),%rsi
add    $0x1,%rsi
mov    -0xc(%rbp),%edx
sub    $0x1,%edx
call   1030 <memmove@plt>
mov    -0x8(%rbp),%rax
movb   $0x2e,0x1(%rax)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x65,(%rax,%rcx,1)
mov    -0x14(%rbp),%edi
sub    $0x1,%edi
mov    -0x8(%rbp),%rsi
mov    -0xc(%rbp),%eax
add    $0x0,%eax
add    $0x2,%eax
cltq
add    %rax,%rsi
call   1040 <WriteExponent@plt>
jmp    1318 <Prettify+0x1f8>
jmp    131d <Prettify+0x1fd>
jmp    1322 <Prettify+0x202>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Prettify>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %esi,%ebx
mov    %rdi,%r14
lea    (%rdx,%rbx,1),%ebp
test   %edx,%edx
js     1184 <Prettify+0x54>
cmp    $0x15,%ebp
jg     1184 <Prettify+0x54>
test   %edx,%edx
je     116f <Prettify+0x3f>
movslq %ebx,%rdi
add    %r14,%rdi
lea    0x1(%rbx),%eax
cmp    %eax,%ebp
cmovg  %ebp,%eax
not    %ebx
add    %eax,%ebx
add    $0x1,%rbx
mov    $0x30,%esi
mov    %rbx,%rdx
call   1030 <memset@plt>
movslq %ebp,%rax
movw   $0x302e,(%r14,%rax,1)
movb   $0x0,0x2(%r14,%rax,1)
jmp    1205 <Prettify+0xd5>
lea    -0x1(%rbp),%r15d
cmp    $0x14,%r15d
ja     11b3 <Prettify+0x83>
mov    %ebp,%ebp
lea    (%r14,%rbp,1),%rdi
add    $0x1,%rdi
lea    (%r14,%rbp,1),%rsi
neg    %edx
call   1040 <memmove@plt>
movb   $0x2e,(%r14,%rbp,1)
movslq %ebx,%rax
movb   $0x0,0x1(%rax,%r14,1)
jmp    1205 <Prettify+0xd5>
lea    0x5(%rbp),%eax
cmp    $0x5,%eax
ja     1210 <Prettify+0xe0>
mov    $0x2,%r15d
sub    %ebp,%r15d
lea    (%r14,%r15,1),%rdi
mov    %r14,%rsi
mov    %ebx,%edx
call   1040 <memmove@plt>
movw   $0x2e30,(%r14)
test   %ebp,%ebp
jns    11fa <Prettify+0xca>
lea    0x2(%r14),%rdi
cmp    $0x4,%r15d
mov    $0x3,%edx
cmovge %r15d,%edx
add    $0xfffffffe,%edx
mov    $0x30,%esi
call   1030 <memset@plt>
add    %ebx,%r15d
movslq %r15d,%rax
movb   $0x0,(%r14,%rax,1)
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x1,%ebx
jne    1226 <Prettify+0xf6>
movb   $0x65,0x1(%r14)
add    $0x2,%r14
mov    %r15d,%edi
mov    %r14,%rsi
jmp    124f <Prettify+0x11f>
lea    0x2(%r14),%rdi
lea    0x1(%r14),%rsi
lea    -0x1(%rbx),%edx
call   1040 <memmove@plt>
movb   $0x2e,0x1(%r14)
movslq %ebx,%rax
movb   $0x65,0x1(%rax,%r14,1)
lea    (%rax,%r14,1),%rsi
add    $0x2,%rsi
mov    %r15d,%edi
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <WriteExponent@plt>

LLVM IR (-O0):
define void @Prettify(i8* %0, i32 %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%11 = load i32, i32* %5
%12 = load i32, i32* %6
%13 = add nsw i32 %11, %12
store i32 %13, i32* %7
%14 = load i32, i32* %5
%15 = load i32, i32* %7
%16 = icmp sle i32 %14, %15
br i1 %16, label %17, label %49
17: ; preds = %3
%18 = load i32, i32* %7
%19 = icmp sle i32 %18, 21
br i1 %19, label %20, label %49
20: ; preds = %17
%21 = load i32, i32* %5
store i32 %21, i32* %8
br label %22
22: ; preds = %31, %20
%23 = load i32, i32* %8
%24 = load i32, i32* %7
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %34
26: ; preds = %22
%27 = load i8*, i8** %4
%28 = load i32, i32* %8
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i8, i8* %27, i64 %29
store i8 48, i8* %30
br label %31
31: ; preds = %26
%32 = load i32, i32* %8
%33 = add nsw i32 %32, 1
store i32 %33, i32* %8
br label %22
34: ; preds = %22
%35 = load i8*, i8** %4
%36 = load i32, i32* %7
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i8, i8* %35, i64 %37
store i8 46, i8* %38
%39 = load i8*, i8** %4
%40 = load i32, i32* %7
%41 = add nsw i32 %40, 1
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i8, i8* %39, i64 %42
store i8 48, i8* %43
%44 = load i8*, i8** %4
%45 = load i32, i32* %7
%46 = add nsw i32 %45, 2
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i8, i8* %44, i64 %47
store i8 0, i8* %48
br label %156
49: ; preds = %17, %3
%50 = load i32, i32* %7
%51 = icmp slt i32 0, %50
br i1 %51, label %52, label %78
52: ; preds = %49
%53 = load i32, i32* %7
%54 = icmp sle i32 %53, 21
br i1 %54, label %55, label %78
55: ; preds = %52
%56 = load i8*, i8** %4
%57 = load i32, i32* %7
%58 = add nsw i32 %57, 1
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i8, i8* %56, i64 %59
%61 = load i8*, i8** %4
%62 = load i32, i32* %7
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i8, i8* %61, i64 %63
%65 = load i32, i32* %5
%66 = load i32, i32* %7
%67 = sub nsw i32 %65, %66
%68 = call i32 @memmove(i8* %60, i8* %64, i32 %67)
%69 = load i8*, i8** %4
%70 = load i32, i32* %7
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i8, i8* %69, i64 %71
store i8 46, i8* %72
%73 = load i8*, i8** %4
%74 = load i32, i32* %5
%75 = add nsw i32 %74, 1
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8, i8* %73, i64 %76
store i8 0, i8* %77
br label %155
78: ; preds = %52, %49
%79 = load i32, i32* %7
%80 = icmp slt i32 -6, %79
br i1 %80, label %81, label %118
81: ; preds = %78
%82 = load i32, i32* %7
%83 = icmp sle i32 %82, 0
br i1 %83, label %84, label %118
84: ; preds = %81
%85 = load i32, i32* %7
%86 = sub nsw i32 2, %85
store i32 %86, i32* %10
%87 = load i8*, i8** %4
%88 = load i32, i32* %10
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i8, i8* %87, i64 %89
%91 = load i8*, i8** %4
%92 = getelementptr inbounds i8, i8* %91, i64 0
%93 = load i32, i32* %5
%94 = call i32 @memmove(i8* %90, i8* %92, i32 %93)
%95 = load i8*, i8** %4
%96 = getelementptr inbounds i8, i8* %95, i64 0
store i8 48, i8* %96
%97 = load i8*, i8** %4
%98 = getelementptr inbounds i8, i8* %97, i64 1
store i8 46, i8* %98
store i32 2, i32* %9
br label %99
99: ; preds = %108, %84
%100 = load i32, i32* %9
%101 = load i32, i32* %10
%102 = icmp slt i32 %100, %101
br i1 %102, label %103, label %111
103: ; preds = %99
%104 = load i8*, i8** %4
%105 = load i32, i32* %9
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i8, i8* %104, i64 %106
store i8 48, i8* %107
br label %108
108: ; preds = %103
%109 = load i32, i32* %9
%110 = add nsw i32 %109, 1
store i32 %110, i32* %9
br label %99
111: ; preds = %99
%112 = load i8*, i8** %4
%113 = load i32, i32* %5
%114 = load i32, i32* %10
%115 = add nsw i32 %113, %114
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds i8, i8* %112, i64 %116
store i8 0, i8* %117
br label %154
118: ; preds = %81, %78
%119 = load i32, i32* %5
%120 = icmp eq i32 %119, 1
br i1 %120, label %121, label %129
121: ; preds = %118
%122 = load i8*, i8** %4
%123 = getelementptr inbounds i8, i8* %122, i64 1
store i8 101, i8* %123
%124 = load i32, i32* %7
%125 = sub nsw i32 %124, 1
%126 = load i8*, i8** %4
%127 = getelementptr inbounds i8, i8* %126, i64 2
%128 = call i32 @WriteExponent(i32 %125, i8* %127)
br label %153
129: ; preds = %118
%130 = load i8*, i8** %4
%131 = getelementptr inbounds i8, i8* %130, i64 2
%132 = load i8*, i8** %4
%133 = getelementptr inbounds i8, i8* %132, i64 1
%134 = load i32, i32* %5
%135 = sub nsw i32 %134, 1
%136 = call i32 @memmove(i8* %131, i8* %133, i32 %135)
%137 = load i8*, i8** %4
%138 = getelementptr inbounds i8, i8* %137, i64 1
store i8 46, i8* %138
%139 = load i8*, i8** %4
%140 = load i32, i32* %5
%141 = add nsw i32 %140, 1
%142 = sext i32 %141 to i64
%143 = getelementptr inbounds i8, i8* %139, i64 %142
store i8 101, i8* %143
%144 = load i32, i32* %7
%145 = sub nsw i32 %144, 1
%146 = load i8*, i8** %4
%147 = load i32, i32* %5
%148 = add nsw i32 0, %147
%149 = add nsw i32 %148, 2
%150 = sext i32 %149 to i64
%151 = getelementptr inbounds i8, i8* %146, i64 %150
%152 = call i32 @WriteExponent(i32 %145, i8* %151)
br label %153
153: ; preds = %129, %121
br label %154
154: ; preds = %153, %111
br label %155
155: ; preds = %154, %55
br label %156
156: ; preds = %155, %34
ret void
}

LLVM IR (-O2):
define void @Prettify(i8* %0, i32 %1, i32 %2) {
%4 = add i32 %2, %1
%5 = icmp sgt i32 %2, -1
%6 = icmp slt i32 %4, 22
%7 = and i1 %5, %6
br i1 %7, label %8, label %28
8: ; preds = %3
%9 = icmp eq i32 %2, 0
br i1 %9, label %19, label %10
10: ; preds = %8
%11 = sext i32 %1 to i64
%12 = getelementptr i8, i8* %0, i64 %11
%13 = add i32 %1, 1
%14 = call i32 @llvm.smax.i32(i32 %4, i32 %13)
%15 = xor i32 %1, -1
%16 = add i32 %14, %15
%17 = zext i32 %16 to i64
%18 = add nuw nsw i64 %17, 1
br label %19
19: ; preds = %10, %8
%20 = sext i32 %4 to i64
%21 = getelementptr inbounds i8, i8* %0, i64 %20
store i8 46, i8* %21
%22 = add nsw i32 %4, 1
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i8, i8* %0, i64 %23
store i8 48, i8* %24
%25 = add nsw i32 %4, 2
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %0, i64 %26
store i8 0, i8* %27
br label %79
28: ; preds = %3
%29 = add i32 %4, -1
%30 = icmp ult i32 %29, 21
br i1 %30, label %31, label %42
31: ; preds = %28
%32 = add nuw nsw i32 %4, 1
%33 = zext i32 %32 to i64
%34 = getelementptr inbounds i8, i8* %0, i64 %33
%35 = zext i32 %4 to i64
%36 = getelementptr inbounds i8, i8* %0, i64 %35
%37 = sub i32 0, %2
%38 = tail call i32 @memmove(i8* %34, i8* %36, i32 %37)
store i8 46, i8* %36
%39 = add nsw i32 %1, 1
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds i8, i8* %0, i64 %40
store i8 0, i8* %41
br label %79
42: ; preds = %28
%43 = add i32 %4, 5
%44 = icmp ult i32 %43, 6
br i1 %44, label %45, label %61
45: ; preds = %42
%46 = sub nsw i32 2, %4
%47 = zext i32 %46 to i64
%48 = getelementptr inbounds i8, i8* %0, i64 %47
%49 = tail call i32 @memmove(i8* %48, i8* %0, i32 %1)
store i8 48, i8* %0
%50 = getelementptr inbounds i8, i8* %0, i64 1
store i8 46, i8* %50
%51 = icmp slt i32 %4, 0
br i1 %51, label %52, label %57
52: ; preds = %45
%53 = getelementptr i8, i8* %0, i64 2
%54 = call i32 @llvm.smax.i32(i32 %46, i32 3)
%55 = add nsw i32 %54, -2
%56 = zext i32 %55 to i64
br label %57
57: ; preds = %52, %45
%58 = add nsw i32 %46, %1
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i8, i8* %0, i64 %59
store i8 0, i8* %60
br label %79
61: ; preds = %42
%62 = icmp eq i32 %1, 1
br i1 %62, label %63, label %67
63: ; preds = %61
%64 = getelementptr inbounds i8, i8* %0, i64 1
store i8 101, i8* %64
%65 = getelementptr inbounds i8, i8* %0, i64 2
%66 = tail call i32 @WriteExponent(i32 %29, i8* %65)
br label %79
67: ; preds = %61
%68 = getelementptr inbounds i8, i8* %0, i64 2
%69 = getelementptr inbounds i8, i8* %0, i64 1
%70 = add nsw i32 %1, -1
%71 = tail call i32 @memmove(i8* %68, i8* %69, i32 %70)
store i8 46, i8* %69
%72 = add nsw i32 %1, 1
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i8, i8* %0, i64 %73
store i8 101, i8* %74
%75 = add nsw i32 %1, 2
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8, i8* %0, i64 %76
%78 = tail call i32 @WriteExponent(i32 %29, i8* %77)
br label %79
79: ; preds = %31, %63, %67, %57, %19
ret void
}