#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*/ dprintf(char *, int);
int libc_ulltoa(unsigned long long, char *, int, int);
int /*<<< orphan*/ putchar(char);
int /*<<< orphan*/ strncpy(char *, char *, int);
void libc_double_to_string(double fl, char *dst, int n, int prec) {
  unsigned long long *p = (unsigned long long *)&fl;
  unsigned long long i = 0;
  unsigned long long f = 0;
  unsigned long long m, s;
  long long e;
  int x;
  unsigned long long z;
  s = *p >> 63;
  e = (*p >> 52) & 0x7ff;
  m = *p & 0xfffffffffffff;
  for (x = 0; x < 52; x++)
    if (m & ((unsigned long long)1 << (52 - x)))
      putchar('1');
    else
      putchar('0');
  if (e == 255 && m == 0) {
    if (s)
      strncpy(dst, "-inf", n);
    else
      strncpy(dst, "inf", n);
  } else if (e == 255 && m != 0) {
    strncpy(dst, "nan", n);
  } else {
    e -= 1023;
    m |= (unsigned long long)1 << 52;
    for (x = 52; x >= 0; x--) {
      if (m & ((unsigned long long)1 << x)) {
        if (e >= 0) {
          z = (long long)1 << e;
          i += z;
        } else {
          z = 5000000000000000000;
          z >>= -(e + 1);
          f += z;
        }
      }
      e--;
    }
    if (s && (n > 0)) {
      *(dst++) = '-';
      n--;
    }
    x = libc_ulltoa(i, dst, n, 0);
    n -= x + 1;
    dst += x;
    dprintf("N = %d\n", n);
    if (n > 0) {
      *(dst++) = '.';
      if (n > 0)
        libc_ulltoa(f, dst, (n < (prec + 1)) ? n : (prec + 1), 1);
    }
  }
}


x86 assembly (clang, -O0):
<libc_double_to_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
movsd  %xmm0,-0x8(%rbp)
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
lea    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
shr    $0x3f,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%rax
shr    $0x34,%rax
and    $0x7ff,%rax
mov    %rax,-0x48(%rbp)
mov    -0x20(%rbp),%rcx
movabs $0xfffffffffffff,%rax
and    (%rcx),%rax
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x4c(%rbp)
cmpl   $0x34,-0x4c(%rbp)
jge    120b <libc_double_to_string+0xcb>
mov    -0x38(%rbp),%rax
mov    $0x34,%ecx
sub    -0x4c(%rbp),%ecx
mov    %ecx,%ecx
mov    $0x1,%edx
shl    %cl,%rdx
mov    %rdx,%rcx
and    %rcx,%rax
cmp    $0x0,%rax
je     11ee <libc_double_to_string+0xae>
mov    $0x31,%edi
call   1030 <putchar@plt>
jmp    11f8 <libc_double_to_string+0xb8>
mov    $0x30,%edi
call   1030 <putchar@plt>
jmp    11fd <libc_double_to_string+0xbd>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    11af <libc_double_to_string+0x6f>
cmpq   $0xff,-0x48(%rbp)
jne    125f <libc_double_to_string+0x11f>
cmpq   $0x0,-0x38(%rbp)
jne    125f <libc_double_to_string+0x11f>
cmpq   $0x0,-0x40(%rbp)
je     1247 <libc_double_to_string+0x107>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xdc3(%rip),%rsi
call   1040 <strncpy@plt>
jmp    125a <libc_double_to_string+0x11a>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xdac(%rip),%rsi
call   1040 <strncpy@plt>
jmp    144f <libc_double_to_string+0x30f>
cmpq   $0xff,-0x48(%rbp)
jne    1290 <libc_double_to_string+0x150>
cmpq   $0x0,-0x38(%rbp)
je     1290 <libc_double_to_string+0x150>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xd7f(%rip),%rsi
call   1040 <strncpy@plt>
jmp    144a <libc_double_to_string+0x30a>
mov    -0x48(%rbp),%rax
sub    $0x3ff,%rax
mov    %rax,-0x48(%rbp)
movabs $0x10000000000000,%rax
or     -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
movl   $0x34,-0x4c(%rbp)
cmpl   $0x0,-0x4c(%rbp)
jl     135d <libc_double_to_string+0x21d>
mov    -0x38(%rbp),%rax
mov    -0x4c(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%rdx
mov    %rdx,%rcx
and    %rcx,%rax
cmp    $0x0,%rax
je     1343 <libc_double_to_string+0x203>
cmpq   $0x0,-0x48(%rbp)
jl     130c <libc_double_to_string+0x1cc>
mov    -0x48(%rbp),%rcx
mov    $0x1,%eax
shl    %cl,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
jmp    133e <libc_double_to_string+0x1fe>
movabs $0x4563918244f40000,%rax
91 63 45
mov    %rax,-0x58(%rbp)
mov    -0x48(%rbp),%rax
add    $0x1,%rax
xor    %ecx,%ecx
sub    %rax,%rcx
mov    -0x58(%rbp),%rax
shr    %cl,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    1343 <libc_double_to_string+0x203>
mov    -0x48(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4c(%rbp)
jmp    12b7 <libc_double_to_string+0x177>
cmpq   $0x0,-0x40(%rbp)
je     138d <libc_double_to_string+0x24d>
cmpl   $0x0,-0x14(%rbp)
jle    138d <libc_double_to_string+0x24d>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x2d,(%rax)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x14(%rbp),%edx
xor    %ecx,%ecx
call   1060 <libc_ulltoa@plt>
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%ecx
add    $0x1,%ecx
mov    -0x14(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x4c(%rbp),%ecx
mov    -0x10(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%esi
lea    0xc3e(%rip),%rdi
call   1050 <dprintf@plt>
cmpl   $0x0,-0x14(%rbp)
jle    1445 <libc_double_to_string+0x305>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x2e,(%rax)
cmpl   $0x0,-0x14(%rbp)
jle    1440 <libc_double_to_string+0x300>
mov    -0x30(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jge    1422 <libc_double_to_string+0x2e2>
mov    -0x14(%rbp),%eax
mov    %eax,-0x6c(%rbp)
jmp    142b <libc_double_to_string+0x2eb>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x60(%rbp),%rsi
mov    -0x68(%rbp),%rdi
mov    -0x6c(%rbp),%edx
mov    $0x1,%ecx
call   1060 <libc_ulltoa@plt>
jmp    1445 <libc_double_to_string+0x305>
jmp    144a <libc_double_to_string+0x30a>
jmp    144f <libc_double_to_string+0x30f>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<libc_double_to_string>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %edx,0x4(%rsp)
mov    %esi,(%rsp)
mov    %rdi,%r12
movabs $0xfffffffffffff,%rbp
movq   %xmm0,%r14
mov    %r14,%rbx
shr    $0x34,%rbx
mov    %r14,%r13
and    %rbp,%r13
mov    $0x34,%r15d
nopw   0x0(%rax,%rax,1)
bt     %r15,%r13
mov    $0x31,%edi
adc    $0xffffffff,%edi
call   1030 <putchar@plt>
add    $0xffffffffffffffff,%r15
jne    1180 <libc_double_to_string+0x40>
and    $0x7ff,%ebx
test   %r13,%r13
jne    11bf <libc_double_to_string+0x7f>
cmp    $0xff,%ebx
jne    11bf <libc_double_to_string+0x7f>
test   %r14,%r14
js     1257 <libc_double_to_string+0x117>
lea    0xe47(%rip),%rsi
jmp    125e <libc_double_to_string+0x11e>
test   %r13,%r13
je     11d8 <libc_double_to_string+0x98>
cmp    $0xff,%ebx
jne    11d8 <libc_double_to_string+0x98>
lea    0xe32(%rip),%rsi
jmp    125e <libc_double_to_string+0x11e>
add    $0x1,%rbp
or     %rbp,%r13
mov    $0x3fe,%eax
sub    %rbx,%rax
add    $0xfffffffffffffc01,%rbx
xor    %edx,%edx
movabs $0x4563918244f40000,%r8
91 63 45
xor    %ebp,%ebp
xor    %edi,%edi
jmp    1219 <libc_double_to_string+0xd9>
mov    %r8,%rsi
mov    %eax,%ecx
shr    %cl,%rsi
add    %rsi,%rbp
add    $0xffffffffffffffff,%rdx
add    $0x1,%rax
cmp    $0xffffffffffffffcb,%rdx
je     123a <libc_double_to_string+0xfa>
lea    0x34(%rdx),%ecx
movzbl %cl,%ecx
bt     %rcx,%r13
jae    120b <libc_double_to_string+0xcb>
mov    %rbx,%rcx
add    %rdx,%rcx
js     1200 <libc_double_to_string+0xc0>
mov    $0x1,%esi
shl    %cl,%rsi
add    %rsi,%rdi
jmp    120b <libc_double_to_string+0xcb>
test   %r14,%r14
jns    1277 <libc_double_to_string+0x137>
mov    (%rsp),%r14d
test   %r14d,%r14d
jle    127b <libc_double_to_string+0x13b>
movb   $0x2d,(%r12)
add    $0x1,%r12
add    $0xffffffff,%r14d
jmp    127b <libc_double_to_string+0x13b>
lea    0xda2(%rip),%rsi
mov    %r12,%rdi
mov    (%rsp),%edx
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <strncpy@plt>
mov    (%rsp),%r14d
mov    %r12,%rsi
mov    %r14d,%edx
xor    %ecx,%ecx
call   1060 <libc_ulltoa@plt>
mov    %eax,%r13d
mov    %eax,%ebx
not    %ebx
add    %r14d,%ebx
lea    0xd70(%rip),%rdi
mov    %ebx,%esi
call   1050 <dprintf@plt>
test   %ebx,%ebx
jle    12dd <libc_double_to_string+0x19d>
movslq %r13d,%rax
add    %rax,%r12
movb   $0x2e,(%r12)
add    $0x1,%r12
mov    0x4(%rsp),%edx
add    $0x1,%edx
cmp    %edx,%ebx
cmovl  %ebx,%edx
mov    %rbp,%rdi
mov    %r12,%rsi
mov    $0x1,%ecx
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1060 <libc_ulltoa@plt>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [5 x i8] c"-inf\00"
@.str.1 = [4 x i8] c"inf\00"
@.str.2 = [4 x i8] c"nan\00"
@.str.3 = [8 x i8] c"N = %d\0A\00"
define void @libc_double_to_string(double %0, i8* %1, i32 %2, i32 %3) {
%5 = bitcast double %0 to i64
%6 = lshr i64 %5, 52
%7 = and i64 %5, 4503599627370495
br label %8
8: ; preds = %4, %8
%9 = phi i64 [ 0, %4 ], [ %16, %8 ]
%10 = sub nuw nsw i64 52, %9
%11 = shl nuw nsw i64 1, %10
%12 = and i64 %11, %7
%13 = icmp eq i64 %12, 0
%14 = select i1 %13, i8 48, i8 49
%15 = tail call i32 @putchar(i8 signext %14)
%16 = add nuw nsw i64 %9, 1
%17 = icmp eq i64 %16, 52
br i1 %17, label %18, label %8
18: ; preds = %8
%19 = and i64 %6, 2047
%20 = icmp eq i64 %19, 255
%21 = icmp eq i64 %7, 0
%22 = and i1 %21, %20
br i1 %22, label %23, label %29
23: ; preds = %18
%24 = icmp sgt i64 %5, -1
br i1 %24, label %27, label %25
25: ; preds = %23
%26 = tail call i32 @strncpy(i8* %1, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i32 %2)
br label %83
27: ; preds = %23
%28 = tail call i32 @strncpy(i8* %1, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0), i32 %2)
br label %83
29: ; preds = %18
%30 = icmp ne i64 %7, 0
%31 = and i1 %30, %20
br i1 %31, label %32, label %34
32: ; preds = %29
%33 = tail call i32 @strncpy(i8* %1, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i32 %2)
br label %83
34: ; preds = %29
%35 = add nsw i64 %19, -1023
%36 = or i64 %7, 4503599627370496
br label %37
37: ; preds = %34, %54
%38 = phi i64 [ 52, %34 ], [ %58, %54 ]
%39 = phi i64 [ %35, %34 ], [ %57, %54 ]
%40 = phi i64 [ 0, %34 ], [ %56, %54 ]
%41 = phi i64 [ 0, %34 ], [ %55, %54 ]
%42 = shl nuw i64 1, %38
%43 = and i64 %42, %36
%44 = icmp eq i64 %43, 0
br i1 %44, label %54, label %45
45: ; preds = %37
%46 = icmp sgt i64 %39, -1
br i1 %46, label %47, label %50
47: ; preds = %45
%48 = shl nuw i64 1, %39
%49 = add i64 %48, %41
br label %54
50: ; preds = %45
%51 = xor i64 %39, -1
%52 = lshr i64 5000000000000000000, %51
%53 = add i64 %52, %40
br label %54
54: ; preds = %47, %50, %37
%55 = phi i64 [ %49, %47 ], [ %41, %50 ], [ %41, %37 ]
%56 = phi i64 [ %40, %47 ], [ %53, %50 ], [ %40, %37 ]
%57 = add nsw i64 %39, -1
%58 = add nsw i64 %38, -1
%59 = icmp eq i64 %38, 0
br i1 %59, label %60, label %37
60: ; preds = %54
%61 = icmp slt i64 %5, 0
%62 = icmp sgt i32 %2, 0
%63 = and i1 %61, %62
br i1 %63, label %64, label %67
64: ; preds = %60
%65 = getelementptr inbounds i8, i8* %1, i64 1
store i8 45, i8* %1
%66 = add nsw i32 %2, -1
br label %67
67: ; preds = %64, %60
%68 = phi i32 [ %66, %64 ], [ %2, %60 ]
%69 = phi i8* [ %65, %64 ], [ %1, %60 ]
%70 = tail call i32 @libc_ulltoa(i64 %55, i8* %69, i32 %68, i32 0)
%71 = xor i32 %70, -1
%72 = add i32 %68, %71
%73 = sext i32 %70 to i64
%74 = getelementptr inbounds i8, i8* %69, i64 %73
%75 = tail call i32 @dprintf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.3, i64 0, i64 0), i32 %72)
%76 = icmp sgt i32 %72, 0
br i1 %76, label %77, label %83
77: ; preds = %67
store i8 46, i8* %74
%78 = getelementptr inbounds i8, i8* %74, i64 1
%79 = add nsw i32 %3, 1
%80 = icmp slt i32 %72, %79
%81 = select i1 %80, i32 %72, i32 %79
%82 = tail call i32 @libc_ulltoa(i64 %56, i8* %78, i32 %81, i32 1)
br label %83
83: ; preds = %32, %77, %67, %25, %27
ret void
}