#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*/ itoa(unsigned int, char *, int);
void pftoa(float value, char *buffer) {
  union {
    float f;
    struct {
      unsigned int mantissa_lo : 16;
      unsigned int mantissa_hi : 7;
      unsigned int exponent : 8;
      unsigned int sign : 1;
    };
  } helper;
  unsigned long mantissa;
  signed char exponent;
  unsigned int int_part;
  char frac_part[3];
  int i, count = 0;
  helper.f = value;
  mantissa = helper.mantissa_lo;
  mantissa += ((unsigned long)helper.mantissa_hi << 16);
  mantissa += 0x00800000;
  exponent = (signed char)helper.exponent - 127;
  if (exponent > 18) {
    buffer[0] = 'I';
    buffer[1] = 'n';
    buffer[2] = 'f';
    buffer[3] = '\0';
    return;
  }
  if (exponent < -3) {
    buffer[0] = '0';
    buffer[1] = '\0';
    return;
  }
  count = 0;
  if (helper.sign) {
    buffer[0] = '-';
    count++;
  }
  int_part = mantissa >> (23 - exponent);
  itoa(int_part, &buffer[count], 10);
  for (i = 0; i < 8; i++)
    if (buffer[i] == '\0') {
      count = i;
      break;
    }
  if (count > 5)
    return;
  buffer[count++] = '.';
  switch (0x7 & (mantissa >> (20 - exponent))) {
  case 0:
    frac_part[0] = '0';
    frac_part[1] = '0';
    frac_part[2] = '0';
    break;
  case 1:
    frac_part[0] = '1';
    frac_part[1] = '2';
    frac_part[2] = '5';
    break;
  case 2:
    frac_part[0] = '2';
    frac_part[1] = '5';
    frac_part[2] = '0';
    break;
  case 3:
    frac_part[0] = '3';
    frac_part[1] = '7';
    frac_part[2] = '5';
    break;
  case 4:
    frac_part[0] = '5';
    frac_part[1] = '0';
    frac_part[2] = '0';
    break;
  case 5:
    frac_part[0] = '6';
    frac_part[1] = '2';
    frac_part[2] = '5';
    break;
  case 6:
    frac_part[0] = '7';
    frac_part[1] = '5';
    frac_part[2] = '0';
    break;
  case 7:
    frac_part[0] = '8';
    frac_part[1] = '7';
    frac_part[2] = '5';
    break;
  }
  for (i = 0; i < 3; i++)
    if (count < 7)
      buffer[count++] = frac_part[i];
  buffer[count] = '\0';
}


x86 assembly (clang, -O0):
<pftoa>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movss  %xmm0,-0x4(%rbp)
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x34(%rbp)
movss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
and    $0xffff,%eax
mov    %eax,%eax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
shr    $0x10,%eax
and    $0x7f,%eax
mov    %eax,%eax
shl    $0x10,%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
add    $0x800000,%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
shr    $0x17,%eax
and    $0xff,%eax
movsbl %al,%eax
sub    $0x7f,%eax
mov    %al,-0x21(%rbp)
movsbl -0x21(%rbp),%eax
cmp    $0x12,%eax
jle    11aa <pftoa+0x9a>
mov    -0x10(%rbp),%rax
movb   $0x49,(%rax)
mov    -0x10(%rbp),%rax
movb   $0x6e,0x1(%rax)
mov    -0x10(%rbp),%rax
movb   $0x66,0x2(%rax)
mov    -0x10(%rbp),%rax
movb   $0x0,0x3(%rax)
jmp    1394 <pftoa+0x284>
movsbl -0x21(%rbp),%eax
cmp    $0xfffffffd,%eax
jge    11cb <pftoa+0xbb>
mov    -0x10(%rbp),%rax
movb   $0x30,(%rax)
mov    -0x10(%rbp),%rax
movb   $0x0,0x1(%rax)
jmp    1394 <pftoa+0x284>
movl   $0x0,-0x34(%rbp)
mov    -0x18(%rbp),%eax
shr    $0x1f,%eax
cmp    $0x0,%eax
je     11f1 <pftoa+0xe1>
mov    -0x10(%rbp),%rax
movb   $0x2d,(%rax)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x20(%rbp),%rax
movsbl -0x21(%rbp),%edx
mov    $0x17,%ecx
sub    %edx,%ecx
mov    %ecx,%ecx
shr    %cl,%rax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%edi
mov    -0x10(%rbp),%rsi
movslq -0x34(%rbp),%rax
add    %rax,%rsi
mov    $0xa,%edx
call   1030 <itoa@plt>
movl   $0x0,-0x30(%rbp)
cmpl   $0x8,-0x30(%rbp)
jge    1264 <pftoa+0x154>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    1251 <pftoa+0x141>
mov    -0x30(%rbp),%eax
mov    %eax,-0x34(%rbp)
jmp    1264 <pftoa+0x154>
jmp    1256 <pftoa+0x146>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1227 <pftoa+0x117>
cmpl   $0x5,-0x34(%rbp)
jle    1273 <pftoa+0x163>
jmp    1394 <pftoa+0x284>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x34(%rbp)
movb   $0x2e,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
mov    -0x21(%rbp),%dl
mov    $0x14,%cl
sub    %dl,%cl
shr    %cl,%rax
and    $0x7,%eax
mov    %rax,-0x40(%rbp)
sub    $0x7,%rax
ja     133d <pftoa+0x22d>
mov    -0x40(%rbp),%rax
lea    0xd4f(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movb   $0x30,-0x2b(%rbp)
movb   $0x30,-0x2a(%rbp)
movb   $0x30,-0x29(%rbp)
jmp    133d <pftoa+0x22d>
movb   $0x31,-0x2b(%rbp)
movb   $0x32,-0x2a(%rbp)
movb   $0x35,-0x29(%rbp)
jmp    133d <pftoa+0x22d>
movb   $0x32,-0x2b(%rbp)
movb   $0x35,-0x2a(%rbp)
movb   $0x30,-0x29(%rbp)
jmp    133d <pftoa+0x22d>
movb   $0x33,-0x2b(%rbp)
movb   $0x37,-0x2a(%rbp)
movb   $0x35,-0x29(%rbp)
jmp    133d <pftoa+0x22d>
movb   $0x35,-0x2b(%rbp)
movb   $0x30,-0x2a(%rbp)
movb   $0x30,-0x29(%rbp)
jmp    133d <pftoa+0x22d>
movb   $0x36,-0x2b(%rbp)
movb   $0x32,-0x2a(%rbp)
movb   $0x35,-0x29(%rbp)
jmp    133d <pftoa+0x22d>
movb   $0x37,-0x2b(%rbp)
movb   $0x35,-0x2a(%rbp)
movb   $0x30,-0x29(%rbp)
jmp    133d <pftoa+0x22d>
movb   $0x38,-0x2b(%rbp)
movb   $0x37,-0x2a(%rbp)
movb   $0x35,-0x29(%rbp)
movl   $0x0,-0x30(%rbp)
cmpl   $0x3,-0x30(%rbp)
jge    1388 <pftoa+0x278>
cmpl   $0x7,-0x34(%rbp)
jge    1375 <pftoa+0x265>
movslq -0x30(%rbp),%rax
mov    -0x2b(%rbp,%rax,1),%dl
mov    -0x10(%rbp),%rax
mov    -0x34(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    137a <pftoa+0x26a>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1344 <pftoa+0x234>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pftoa>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdi,%rbx
movd   %xmm0,%eax
lea    (%rax,%rax,1),%ebp
add    $0x81000000,%ebp
cmp    $0x13000000,%ebp
jl     1143 <pftoa+0x33>
movw   $0x6e49,(%rbx)
movb   $0x66,0x2(%rbx)
mov    $0x3,%esi
jmp    126d <pftoa+0x15d>
cmp    $0xfcffffff,%ebp
jg     1158 <pftoa+0x48>
movb   $0x30,(%rbx)
mov    $0x1,%esi
jmp    126d <pftoa+0x15d>
mov    %eax,%r14d
and    $0x7fffff,%r14d
or     $0x800000,%r14d
sar    $0x18,%ebp
xor    %r15d,%r15d
mov    $0x0,%r12d
test   %eax,%eax
jns    1182 <pftoa+0x72>
movb   $0x2d,(%rbx)
mov    $0x1,%r12d
mov    $0x17,%cl
sub    %bpl,%cl
mov    %r14,%rdi
shr    %cl,%rdi
mov    %r12d,%esi
add    %rbx,%rsi
mov    $0xa,%edx
call   1030 <itoa@plt>
cmpb   $0x0,(%rbx)
je     11fe <pftoa+0xee>
cmpb   $0x0,0x1(%rbx)
je     11d8 <pftoa+0xc8>
cmpb   $0x0,0x2(%rbx)
je     11e0 <pftoa+0xd0>
cmpb   $0x0,0x3(%rbx)
je     11e8 <pftoa+0xd8>
cmpb   $0x0,0x4(%rbx)
je     11f0 <pftoa+0xe0>
cmpb   $0x0,0x5(%rbx)
je     11f8 <pftoa+0xe8>
cmpb   $0x0,0x6(%rbx)
je     1271 <pftoa+0x161>
cmpb   $0x0,0x7(%rbx)
mov    %r12d,%r15d
jne    11fe <pftoa+0xee>
jmp    1271 <pftoa+0x161>
mov    $0x1,%r15d
jmp    11fe <pftoa+0xee>
mov    $0x2,%r15d
jmp    11fe <pftoa+0xee>
mov    $0x3,%r15d
jmp    11fe <pftoa+0xee>
mov    $0x4,%r15d
jmp    11fe <pftoa+0xee>
mov    $0x5,%r15d
mov    $0x14,%cl
sub    %bpl,%cl
shr    %cl,%r14
mov    %r15d,%eax
and    $0x7,%r14d
lea    0x0(,%r14,8),%ecx
movabs $0x3530353035303530,%rdx
35 30 35
shr    %cl,%rdx
movabs $0x3837363533323130,%rsi
36 37 38
shr    %cl,%rsi
movb   $0x2e,(%rbx,%rax,1)
mov    %sil,0x1(%rbx,%rax,1)
mov    $0x7,%esi
cmp    $0x4,%r15d
ja     126d <pftoa+0x15d>
shl    $0x3,%r14d
movabs $0x3735323037353230,%rdi
32 35 37
mov    %r14d,%ecx
shr    %cl,%rdi
mov    %dil,0x2(%rax,%rbx,1)
cmp    $0x4,%r15d
je     126d <pftoa+0x15d>
add    $0x4,%r15d
mov    %dl,0x3(%rax,%rbx,1)
mov    %r15,%rsi
movb   $0x0,(%rbx,%rsi,1)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @pftoa(float %0, i8* %1) {
%3 = bitcast float %0 to i32
%4 = and i32 %3, 8388607
%5 = or i32 %4, 8388608
%6 = zext i32 %5 to i64
%7 = shl i32 %3, 1
%8 = add i32 %7, -2130706432
%9 = ashr i32 %8, 24
%10 = icmp sgt i32 %8, 318767103
br i1 %10, label %11, label %14
11: ; preds = %2
store i8 73, i8* %1
%12 = getelementptr inbounds i8, i8* %1, i64 1
store i8 110, i8* %12
%13 = getelementptr inbounds i8, i8* %1, i64 2
store i8 102, i8* %13
br label %91
14: ; preds = %2
%15 = icmp slt i32 %8, -50331648
br i1 %15, label %16, label %17
16: ; preds = %14
store i8 48, i8* %1
br label %91
17: ; preds = %14
%18 = icmp sgt i32 %3, -1
br i1 %18, label %20, label %19
19: ; preds = %17
store i8 45, i8* %1
br label %20
20: ; preds = %19, %17
%21 = phi i32 [ 1, %19 ], [ 0, %17 ]
%22 = sub nsw i32 23, %9
%23 = zext i32 %22 to i64
%24 = lshr i64 %6, %23
%25 = trunc i64 %24 to i32
%26 = zext i32 %21 to i64
%27 = getelementptr inbounds i8, i8* %1, i64 %26
%28 = tail call i32 @itoa(i32 %25, i8* %27, i32 10)
%29 = load i8, i8* %1
%30 = icmp eq i8 %29, 0
br i1 %30, label %59, label %31
31: ; preds = %20
%32 = getelementptr inbounds i8, i8* %1, i64 1
%33 = load i8, i8* %32
%34 = icmp eq i8 %33, 0
br i1 %34, label %59, label %35
35: ; preds = %31
%36 = getelementptr inbounds i8, i8* %1, i64 2
%37 = load i8, i8* %36
%38 = icmp eq i8 %37, 0
br i1 %38, label %59, label %39
39: ; preds = %35
%40 = getelementptr inbounds i8, i8* %1, i64 3
%41 = load i8, i8* %40
%42 = icmp eq i8 %41, 0
br i1 %42, label %59, label %43
43: ; preds = %39
%44 = getelementptr inbounds i8, i8* %1, i64 4
%45 = load i8, i8* %44
%46 = icmp eq i8 %45, 0
br i1 %46, label %59, label %47
47: ; preds = %43
%48 = getelementptr inbounds i8, i8* %1, i64 5
%49 = load i8, i8* %48
%50 = icmp eq i8 %49, 0
br i1 %50, label %59, label %51
51: ; preds = %47
%52 = getelementptr inbounds i8, i8* %1, i64 6
%53 = load i8, i8* %52
%54 = icmp eq i8 %53, 0
br i1 %54, label %94, label %55
55: ; preds = %51
%56 = getelementptr inbounds i8, i8* %1, i64 7
%57 = load i8, i8* %56
%58 = icmp eq i8 %57, 0
br i1 %58, label %94, label %59
59: ; preds = %20, %31, %35, %39, %43, %47, %55
%60 = phi i32 [ %21, %55 ], [ 0, %20 ], [ 1, %31 ], [ 2, %35 ], [ 3, %39 ], [ 4, %43 ], [ 5, %47 ]
%61 = add nuw nsw i32 %60, 1
%62 = zext i32 %60 to i64
%63 = getelementptr inbounds i8, i8* %1, i64 %62
store i8 46, i8* %63
%64 = sub nsw i32 20, %9
%65 = zext i32 %64 to i64
%66 = lshr i64 %6, %65
%67 = and i64 %66, 7
%68 = shl nuw nsw i64 %67, 3
%69 = lshr i64 3832621764059346224, %68
%70 = trunc i64 %69 to i8
%71 = shl nuw nsw i64 %67, 3
%72 = lshr i64 4050765991963144496, %71
%73 = trunc i64 %72 to i8
%74 = zext i32 %61 to i64
%75 = getelementptr inbounds i8, i8* %1, i64 %74
store i8 %73, i8* %75
%76 = icmp ult i32 %60, 5
br i1 %76, label %77, label %91
77: ; preds = %59
%78 = shl nuw nsw i64 %67, 3
%79 = lshr i64 3978141028517753392, %78
%80 = trunc i64 %79 to i8
%81 = add nuw nsw i32 %60, 2
%82 = zext i32 %81 to i64
%83 = getelementptr inbounds i8, i8* %1, i64 %82
store i8 %80, i8* %83
%84 = icmp eq i32 %60, 4
br i1 %84, label %91, label %85
85: ; preds = %77
%86 = add nuw nsw i32 %60, 3
%87 = add nuw nsw i32 %60, 4
%88 = zext i32 %86 to i64
%89 = getelementptr inbounds i8, i8* %1, i64 %88
store i8 %70, i8* %89
%90 = zext i32 %87 to i64
br label %91
91: ; preds = %77, %85, %59, %11, %16
%92 = phi i64 [ 1, %16 ], [ 3, %11 ], [ %90, %85 ], [ 7, %77 ], [ 7, %59 ]
%93 = getelementptr inbounds i8, i8* %1, i64 %92
store i8 0, i8* %93
br label %94
94: ; preds = %91, %51, %55
ret void
}