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


x86 assembly (clang, -O0):
<prettify_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    -0x10(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
cmp    -0x24(%rbp),%eax
jg     11cd <prettify_string+0xad>
cmpl   $0x15,-0x24(%rbp)
jg     11cd <prettify_string+0xad>
mov    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    119a <prettify_string+0x7a>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    116f <prettify_string+0x4f>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    139b <prettify_string+0x27b>
xor    %eax,%eax
cmp    -0x24(%rbp),%eax
jge    1238 <prettify_string+0x118>
cmpl   $0x15,-0x24(%rbp)
jg     1238 <prettify_string+0x118>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%eax
add    -0x24(%rbp),%eax
add    $0x1,%eax
cltq
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
mov    -0xc(%rbp),%eax
add    -0x24(%rbp),%eax
cltq
add    %rax,%rsi
mov    -0x18(%rbp),%edx
sub    -0x24(%rbp),%edx
call   1030 <memmove@plt>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1396 <prettify_string+0x276>
mov    $0xfffffffa,%eax
cmp    -0x24(%rbp),%eax
jge    12e7 <prettify_string+0x1c7>
cmpl   $0x0,-0x24(%rbp)
jg     12e7 <prettify_string+0x1c7>
mov    $0x2,%eax
sub    -0x24(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%eax
add    -0x20(%rbp),%eax
cltq
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0xc(%rbp),%rax
add    %rax,%rsi
mov    -0x18(%rbp),%edx
call   1030 <memmove@plt>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    -0x20(%rbp),%ecx
cmp    %ecx,%eax
jge    12ce <prettify_string+0x1ae>
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    12a3 <prettify_string+0x183>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    -0x18(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1391 <prettify_string+0x271>
cmpl   $0x1,-0x18(%rbp)
jne    1321 <prettify_string+0x201>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x65,(%rax,%rcx,1)
mov    -0x24(%rbp),%edi
sub    $0x1,%edi
mov    -0x8(%rbp),%rsi
mov    -0xc(%rbp),%eax
add    $0x2,%eax
cltq
add    %rax,%rsi
call   1040 <fill_exponent@plt>
jmp    138c <prettify_string+0x26c>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%eax
add    $0x2,%eax
cltq
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
mov    -0xc(%rbp),%eax
add    $0x1,%eax
cltq
add    %rax,%rsi
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
call   1030 <memmove@plt>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x65,(%rax,%rcx,1)
mov    -0x24(%rbp),%edi
sub    $0x1,%edi
mov    -0x8(%rbp),%rsi
mov    -0xc(%rbp),%eax
add    -0x18(%rbp),%eax
add    $0x2,%eax
cltq
add    %rax,%rsi
call   1040 <fill_exponent@plt>
jmp    1391 <prettify_string+0x271>
jmp    1396 <prettify_string+0x276>
jmp    139b <prettify_string+0x27b>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<prettify_string>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %edx,%r13d
mov    %esi,%r14d
mov    %rdi,%r15
sub    %esi,%edx
lea    (%rdx,%rcx,1),%ebp
movslq %r13d,%rbx
movb   $0x0,(%rdi,%rbx,1)
test   %ecx,%ecx
js     1196 <prettify_string+0x66>
cmp    $0x15,%ebp
jg     1196 <prettify_string+0x66>
test   %ecx,%ecx
je     1181 <prettify_string+0x51>
lea    (%r15,%rbx,1),%rdi
add    $0x1,%edx
cmp    %edx,%ebp
cmovg  %ebp,%edx
add    %r14d,%edx
not    %ebx
add    %edx,%ebx
add    $0x1,%rbx
mov    $0x30,%esi
mov    %rbx,%rdx
call   1030 <memset@plt>
movslq %ebp,%rax
movw   $0x302e,(%r15,%rax,1)
movb   $0x0,0x2(%r15,%rax,1)
jmp    1232 <prettify_string+0x102>
lea    -0x1(%rbp),%r12d
cmp    $0x14,%r12d
ja     11c8 <prettify_string+0x98>
add    %ecx,%r13d
movslq %r13d,%rbp
lea    (%r15,%rbp,1),%rdi
add    $0x1,%rdi
lea    (%r15,%rbp,1),%rsi
neg    %ecx
mov    %ecx,%edx
call   1040 <memmove@plt>
movb   $0x2e,(%r15,%rbp,1)
movb   $0x0,0x1(%rbx,%r15,1)
jmp    1232 <prettify_string+0x102>
lea    0x5(%rbp),%eax
cmp    $0x5,%eax
ja     1241 <prettify_string+0x111>
mov    $0x2,%ebx
sub    %ebp,%ebx
lea    (%rbx,%r14,1),%eax
mov    %eax,0x4(%rsp)
movslq %eax,%rdi
add    %r15,%rdi
movslq %r14d,%r12
lea    (%r15,%r12,1),%rsi
call   1040 <memmove@plt>
movw   $0x2e30,(%r15,%r12,1)
test   %ebp,%ebp
jns    1227 <prettify_string+0xf7>
lea    0x2(%r14),%eax
movslq %eax,%rdi
add    %r15,%rdi
lea    0x3(%r14),%edx
mov    0x4(%rsp),%eax
cmp    %edx,%eax
cmovg  %eax,%edx
sub    %r14d,%edx
add    $0xfffffffd,%edx
add    $0x1,%rdx
mov    $0x30,%esi
call   1030 <memset@plt>
add    %r13d,%ebx
movslq %ebx,%rax
movb   $0x0,(%r15,%rax,1)
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x1,%edx
jne    1259 <prettify_string+0x129>
movslq %r14d,%rax
movb   $0x65,0x1(%rax,%r15,1)
lea    (%rax,%r15,1),%rsi
add    $0x2,%rsi
jmp    1288 <prettify_string+0x158>
movslq %r14d,%rbp
lea    (%r15,%rbp,1),%rdi
add    $0x2,%rdi
lea    (%r15,%rbp,1),%rsi
add    $0x1,%rsi
add    $0xffffffff,%edx
call   1040 <memmove@plt>
movb   $0x2e,0x1(%rbp,%r15,1)
movb   $0x65,0x1(%rbx,%r15,1)
lea    (%rbx,%r15,1),%rsi
add    $0x2,%rsi
mov    %r12d,%edi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <fill_exponent@plt>

LLVM IR (-O0):
define void @prettify_string(i8* %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i8* %0, i8** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%13 = load i32, i32* %7
%14 = load i32, i32* %6
%15 = sub nsw i32 %13, %14
store i32 %15, i32* %9
%16 = load i32, i32* %9
%17 = load i32, i32* %8
%18 = add nsw i32 %16, %17
store i32 %18, i32* %12
%19 = load i8*, i8** %5
%20 = load i32, i32* %7
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %19, i64 %21
store i8 0, i8* %22
%23 = load i32, i32* %9
%24 = load i32, i32* %12
%25 = icmp sle i32 %23, %24
br i1 %25, label %26, label %60
26: ; preds = %4
%27 = load i32, i32* %12
%28 = icmp sle i32 %27, 21
br i1 %28, label %29, label %60
29: ; preds = %26
%30 = load i32, i32* %9
store i32 %30, i32* %10
br label %31
31: ; preds = %42, %29
%32 = load i32, i32* %10
%33 = load i32, i32* %12
%34 = icmp slt i32 %32, %33
br i1 %34, label %35, label %45
35: ; preds = %31
%36 = load i8*, i8** %5
%37 = load i32, i32* %6
%38 = load i32, i32* %10
%39 = add nsw i32 %37, %38
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds i8, i8* %36, i64 %40
store i8 48, i8* %41
br label %42
42: ; preds = %35
%43 = load i32, i32* %10
%44 = add nsw i32 %43, 1
store i32 %44, i32* %10
br label %31
45: ; preds = %31
%46 = load i8*, i8** %5
%47 = load i32, i32* %12
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i8, i8* %46, i64 %48
store i8 46, i8* %49
%50 = load i8*, i8** %5
%51 = load i32, i32* %12
%52 = add nsw i32 %51, 1
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i8, i8* %50, i64 %53
store i8 48, i8* %54
%55 = load i8*, i8** %5
%56 = load i32, i32* %12
%57 = add nsw i32 %56, 2
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i8, i8* %55, i64 %58
store i8 0, i8* %59
br label %208
60: ; preds = %26, %4
%61 = load i32, i32* %12
%62 = icmp slt i32 0, %61
br i1 %62, label %63, label %97
63: ; preds = %60
%64 = load i32, i32* %12
%65 = icmp sle i32 %64, 21
br i1 %65, label %66, label %97
66: ; preds = %63
%67 = load i8*, i8** %5
%68 = load i32, i32* %6
%69 = load i32, i32* %12
%70 = add nsw i32 %68, %69
%71 = add nsw i32 %70, 1
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %67, i64 %72
%74 = load i8*, i8** %5
%75 = load i32, i32* %6
%76 = load i32, i32* %12
%77 = add nsw i32 %75, %76
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i8, i8* %74, i64 %78
%80 = load i32, i32* %9
%81 = load i32, i32* %12
%82 = sub nsw i32 %80, %81
%83 = call i32 @memmove(i8* %73, i8* %79, i32 %82)
%84 = load i8*, i8** %5
%85 = load i32, i32* %6
%86 = load i32, i32* %12
%87 = add nsw i32 %85, %86
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i8, i8* %84, i64 %88
store i8 46, i8* %89
%90 = load i8*, i8** %5
%91 = load i32, i32* %6
%92 = load i32, i32* %9
%93 = add nsw i32 %91, %92
%94 = add nsw i32 %93, 1
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i8, i8* %90, i64 %95
store i8 0, i8* %96
br label %207
97: ; preds = %63, %60
%98 = load i32, i32* %12
%99 = icmp slt i32 -6, %98
br i1 %99, label %100, label %152
100: ; preds = %97
%101 = load i32, i32* %12
%102 = icmp sle i32 %101, 0
br i1 %102, label %103, label %152
103: ; preds = %100
%104 = load i32, i32* %12
%105 = sub nsw i32 2, %104
store i32 %105, i32* %11
%106 = load i8*, i8** %5
%107 = load i32, i32* %6
%108 = load i32, i32* %11
%109 = add nsw i32 %107, %108
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i8, i8* %106, i64 %110
%112 = load i8*, i8** %5
%113 = load i32, i32* %6
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds i8, i8* %112, i64 %114
%116 = load i32, i32* %9
%117 = call i32 @memmove(i8* %111, i8* %115, i32 %116)
%118 = load i8*, i8** %5
%119 = load i32, i32* %6
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds i8, i8* %118, i64 %120
store i8 48, i8* %121
%122 = load i8*, i8** %5
%123 = load i32, i32* %6
%124 = add nsw i32 %123, 1
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i8, i8* %122, i64 %125
store i8 46, i8* %126
%127 = load i32, i32* %6
%128 = add nsw i32 %127, 2
store i32 %128, i32* %10
br label %129
129: ; preds = %140, %103
%130 = load i32, i32* %10
%131 = load i32, i32* %6
%132 = load i32, i32* %11
%133 = add nsw i32 %131, %132
%134 = icmp slt i32 %130, %133
br i1 %134, label %135, label %143
135: ; preds = %129
%136 = load i8*, i8** %5
%137 = load i32, i32* %10
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds i8, i8* %136, i64 %138
store i8 48, i8* %139
br label %140
140: ; preds = %135
%141 = load i32, i32* %10
%142 = add nsw i32 %141, 1
store i32 %142, i32* %10
br label %129
143: ; preds = %129
%144 = load i8*, i8** %5
%145 = load i32, i32* %6
%146 = load i32, i32* %9
%147 = add nsw i32 %145, %146
%148 = load i32, i32* %11
%149 = add nsw i32 %147, %148
%150 = sext i32 %149 to i64
%151 = getelementptr inbounds i8, i8* %144, i64 %150
store i8 0, i8* %151
br label %206
152: ; preds = %100, %97
%153 = load i32, i32* %9
%154 = icmp eq i32 %153, 1
br i1 %154, label %155, label %169
155: ; preds = %152
%156 = load i8*, i8** %5
%157 = load i32, i32* %6
%158 = add nsw i32 %157, 1
%159 = sext i32 %158 to i64
%160 = getelementptr inbounds i8, i8* %156, i64 %159
store i8 101, i8* %160
%161 = load i32, i32* %12
%162 = sub nsw i32 %161, 1
%163 = load i8*, i8** %5
%164 = load i32, i32* %6
%165 = add nsw i32 %164, 2
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds i8, i8* %163, i64 %166
%168 = call i32 @fill_exponent(i32 %162, i8* %167)
br label %205
169: ; preds = %152
%170 = load i8*, i8** %5
%171 = load i32, i32* %6
%172 = add nsw i32 %171, 2
%173 = sext i32 %172 to i64
%174 = getelementptr inbounds i8, i8* %170, i64 %173
%175 = load i8*, i8** %5
%176 = load i32, i32* %6
%177 = add nsw i32 %176, 1
%178 = sext i32 %177 to i64
%179 = getelementptr inbounds i8, i8* %175, i64 %178
%180 = load i32, i32* %9
%181 = sub nsw i32 %180, 1
%182 = call i32 @memmove(i8* %174, i8* %179, i32 %181)
%183 = load i8*, i8** %5
%184 = load i32, i32* %6
%185 = add nsw i32 %184, 1
%186 = sext i32 %185 to i64
%187 = getelementptr inbounds i8, i8* %183, i64 %186
store i8 46, i8* %187
%188 = load i8*, i8** %5
%189 = load i32, i32* %6
%190 = load i32, i32* %9
%191 = add nsw i32 %189, %190
%192 = add nsw i32 %191, 1
%193 = sext i32 %192 to i64
%194 = getelementptr inbounds i8, i8* %188, i64 %193
store i8 101, i8* %194
%195 = load i32, i32* %12
%196 = sub nsw i32 %195, 1
%197 = load i8*, i8** %5
%198 = load i32, i32* %6
%199 = load i32, i32* %9
%200 = add nsw i32 %198, %199
%201 = add nsw i32 %200, 2
%202 = sext i32 %201 to i64
%203 = getelementptr inbounds i8, i8* %197, i64 %202
%204 = call i32 @fill_exponent(i32 %196, i8* %203)
br label %205
205: ; preds = %169, %155
br label %206
206: ; preds = %205, %143
br label %207
207: ; preds = %206, %66
br label %208
208: ; preds = %207, %45
ret void
}

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