#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 */
struct lconv {
  int /*<<< orphan*/ decimal_point;
};

/* Variables and functions */
char *__dtoa(double, int, int, int *, int *, int /*<<< orphan*/ *);
int /*<<< orphan*/ __freedtoa(char *);
struct lconv *localeconv();
int /*<<< orphan*/ snprintf(char *, int, char *, char *, char *);
char *stpcpy(char *, int /*<<< orphan*/);
char *gcvt(double value, int ndigit, char *buf) {
  char *digits, *dst, *src;
  int i, decpt, sign;
  struct lconv *lconv;
  lconv = localeconv();
  if (ndigit == 0) {
    buf[0] = '\0';
    return (buf);
  }
  digits = __dtoa(value, 2, ndigit, &decpt, &sign, NULL);
  if (digits == NULL)
    return (NULL);
  if (decpt == 9999) {
    snprintf(buf, ndigit + 1, "%s%s", sign ? "-" : "",
             *digits == 'I' ? "inf" : "nan");
    __freedtoa(digits);
    return (buf);
  }
  dst = buf;
  if (sign)
    *dst++ = '-';
  if (decpt < 0 || decpt > ndigit) {
    if (--decpt < 0) {
      sign = 1;
      decpt = -decpt;
    } else
      sign = 0;
    src = digits;
    *dst++ = *src++;
    dst = stpcpy(dst, lconv->decimal_point);
    while (*src != '\0')
      *dst++ = *src++;
    *dst++ = 'e';
    if (sign)
      *dst++ = '-';
    else
      *dst++ = '+';
    if (decpt < 10) {
      *dst++ = '0';
      *dst++ = '0' + decpt;
      *dst = '\0';
    } else {
      for (sign = decpt, i = 0; (sign /= 10) != 0; i++)
        continue;
      dst[i + 1] = '\0';
      while (decpt != 0) {
        dst[i--] = '0' + decpt % 10;
        decpt /= 10;
      }
    }
  } else {
    for (i = 0, src = digits; i < decpt; i++) {
      if (*src != '\0')
        *dst++ = *src++;
      else
        *dst++ = '0';
    }
    if (*src != '\0') {
      if (src == digits)
        *dst++ = '0';
      dst = stpcpy(dst, lconv->decimal_point);
      for (i = decpt; digits[i] != '\0'; i++) {
        *dst++ = digits[i];
      }
    }
    *dst = '\0';
  }
  __freedtoa(digits);
  return (buf);
}


x86 assembly (clang, -O0):
<gcvt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movsd  %xmm0,-0x10(%rbp)
mov    %edi,-0x14(%rbp)
mov    %rsi,-0x20(%rbp)
mov    $0x0,%al
call   1040 <localeconv@plt>
mov    %rax,-0x50(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    118d <gcvt+0x3d>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1544 <gcvt+0x3f4>
movsd  -0x10(%rbp),%xmm0
mov    -0x14(%rbp),%esi
mov    $0x2,%edi
lea    -0x40(%rbp),%rdx
lea    -0x44(%rbp),%rcx
xor    %eax,%eax
mov    %eax,%r8d
call   1070 <__dtoa@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    11c8 <gcvt+0x78>
movq   $0x0,-0x8(%rbp)
jmp    1544 <gcvt+0x3f4>
cmpl   $0x270f,-0x40(%rbp)
jne    1235 <gcvt+0xe5>
mov    -0x20(%rbp),%rdi
mov    -0x14(%rbp),%esi
add    $0x1,%esi
mov    -0x44(%rbp),%edx
lea    0xe1d(%rip),%rcx
lea    0xe15(%rip),%rax
cmp    $0x0,%edx
cmovne %rax,%rcx
mov    -0x28(%rbp),%rax
movsbl (%rax),%edx
lea    0xe06(%rip),%r8
lea    0xdfb(%rip),%rax
cmp    $0x49,%edx
cmove  %rax,%r8
lea    0xde6(%rip),%rdx
call   1060 <snprintf@plt>
mov    -0x28(%rbp),%rdi
call   1030 <__freedtoa@plt>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1544 <gcvt+0x3f4>
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
cmpl   $0x0,-0x44(%rbp)
je     1259 <gcvt+0x109>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movb   $0x2d,(%rax)
cmpl   $0x0,-0x40(%rbp)
jl     126f <gcvt+0x11f>
mov    -0x40(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    1428 <gcvt+0x2d8>
mov    -0x40(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x40(%rbp)
cmp    $0x0,%eax
jge    1295 <gcvt+0x145>
movl   $0x1,-0x44(%rbp)
xor    %eax,%eax
sub    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    129c <gcvt+0x14c>
movl   $0x0,-0x44(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
mov    (%rax),%cl
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cl,(%rax)
mov    -0x30(%rbp),%rdi
mov    -0x50(%rbp),%rax
mov    (%rax),%esi
call   1050 <stpcpy@plt>
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1310 <gcvt+0x1c0>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
mov    (%rax),%cl
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cl,(%rax)
jmp    12d9 <gcvt+0x189>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movb   $0x65,(%rax)
cmpl   $0x0,-0x44(%rbp)
je     1343 <gcvt+0x1f3>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movb   $0x2d,(%rax)
jmp    1355 <gcvt+0x205>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movb   $0x2b,(%rax)
cmpl   $0xa,-0x40(%rbp)
jge    1396 <gcvt+0x246>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movb   $0x30,(%rax)
mov    -0x40(%rbp),%eax
add    $0x30,%eax
mov    %al,%cl
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cl,(%rax)
mov    -0x30(%rbp),%rax
movb   $0x0,(%rax)
jmp    1423 <gcvt+0x2d3>
mov    -0x40(%rbp),%eax
mov    %eax,-0x44(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x44(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x44(%rbp)
cmp    $0x0,%eax
je     13cd <gcvt+0x27d>
jmp    13bf <gcvt+0x26f>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    13a3 <gcvt+0x253>
mov    -0x30(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
cmpl   $0x0,-0x40(%rbp)
je     141e <gcvt+0x2ce>
mov    -0x40(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
add    $0x30,%edx
mov    -0x30(%rbp),%rax
mov    -0x3c(%rbp),%ecx
mov    %ecx,%esi
add    $0xffffffff,%esi
mov    %esi,-0x3c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x40(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x40(%rbp)
jmp    13de <gcvt+0x28e>
jmp    1423 <gcvt+0x2d3>
jmp    1533 <gcvt+0x3e3>
movl   $0x0,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    149f <gcvt+0x34f>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     147a <gcvt+0x32a>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
mov    (%rax),%cl
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cl,(%rax)
jmp    148c <gcvt+0x33c>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movb   $0x30,(%rax)
jmp    1491 <gcvt+0x341>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1437 <gcvt+0x2e7>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     152c <gcvt+0x3dc>
mov    -0x38(%rbp),%rax
cmp    -0x28(%rbp),%rax
jne    14cf <gcvt+0x37f>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
movb   $0x30,(%rax)
mov    -0x30(%rbp),%rdi
mov    -0x50(%rbp),%rax
mov    (%rax),%esi
call   1050 <stpcpy@plt>
mov    %rax,-0x30(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1527 <gcvt+0x3d7>
mov    -0x28(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cl,(%rax)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    14e8 <gcvt+0x398>
jmp    152c <gcvt+0x3dc>
mov    -0x30(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x28(%rbp),%rdi
call   1030 <__freedtoa@plt>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gcvt>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x10,%rsp
mov    %rsi,%r12
mov    %edi,%ebp
movsd  %xmm0,0x8(%rsp)
xor    %eax,%eax
call   1040 <localeconv@plt>
test   %ebp,%ebp
je     11f7 <gcvt+0xa7>
mov    %rax,%r15
xor    %ebx,%ebx
mov    %rsp,%rdx
lea    0x4(%rsp),%rcx
movsd  0x8(%rsp),%xmm0
mov    $0x2,%edi
mov    %ebp,%esi
xor    %r8d,%r8d
call   1070 <__dtoa@plt>
test   %rax,%rax
je     142f <gcvt+0x2df>
mov    %rax,%r14
mov    (%rsp),%r8d
cmp    $0x270f,%r8d
jne    1201 <gcvt+0xb1>
add    $0x1,%ebp
cmpl   $0x0,0x4(%rsp)
lea    0xe46(%rip),%rax
lea    0xe3e(%rip),%rcx
cmove  %rax,%rcx
cmpb   $0x49,(%r14)
lea    0xe31(%rip),%rax
lea    0xe2e(%rip),%r8
cmove  %rax,%r8
lea    0xe18(%rip),%rdx
mov    %r12,%rdi
mov    %ebp,%esi
call   1060 <snprintf@plt>
jmp    1424 <gcvt+0x2d4>
movb   $0x0,(%r12)
jmp    142c <gcvt+0x2dc>
cmpl   $0x0,0x4(%rsp)
mov    %r12,%rax
je     1215 <gcvt+0xc5>
lea    0x1(%r12),%rax
movb   $0x2d,(%r12)
test   %r8d,%r8d
js     1236 <gcvt+0xe6>
cmp    %ebp,%r8d
jg     1236 <gcvt+0xe6>
test   %r8d,%r8d
je     124c <gcvt+0xfc>
cmp    $0x1,%r8d
jne    136f <gcvt+0x21f>
mov    %r14,%rdx
jmp    13b4 <gcvt+0x264>
lea    -0x1(%r8),%edx
mov    %edx,(%rsp)
test   %r8d,%r8d
jle    1254 <gcvt+0x104>
movl   $0x0,0x4(%rsp)
jmp    1267 <gcvt+0x117>
mov    %r14,%rdx
jmp    13d7 <gcvt+0x287>
movl   $0x1,0x4(%rsp)
mov    $0x1,%edx
sub    %r8d,%edx
mov    %edx,(%rsp)
mov    (%r14),%cl
mov    %cl,(%rax)
add    $0x1,%rax
mov    (%r15),%esi
mov    %rax,%rdi
call   1050 <stpcpy@plt>
mov    0x1(%r14),%cl
test   %cl,%cl
je     12a1 <gcvt+0x151>
mov    %r14,%rdx
add    $0x2,%rdx
nopw   0x0(%rax,%rax,1)
mov    %cl,(%rax)
add    $0x1,%rax
movzbl (%rdx),%ecx
add    $0x1,%rdx
test   %cl,%cl
jne    1290 <gcvt+0x140>
movb   $0x65,(%rax)
cmpl   $0x0,0x4(%rsp)
setne  %cl
add    %cl,%cl
add    $0x2b,%cl
mov    %cl,0x1(%rax)
mov    (%rsp),%ecx
cmp    $0xa,%ecx
jge    12d2 <gcvt+0x182>
movb   $0x30,0x2(%rax)
mov    (%rsp),%cl
add    $0x30,%cl
mov    %cl,0x3(%rax)
add    $0x4,%rax
jmp    1421 <gcvt+0x2d1>
add    $0x1,%rax
cs nopw 0x0(%rax,%rax,1)
movslq %ecx,%rdx
imul   $0x66666667,%rdx,%rcx
mov    %rcx,%rsi
shr    $0x3f,%rsi
sar    $0x22,%rcx
add    %esi,%ecx
add    $0x9,%edx
add    $0x1,%rax
cmp    $0x12,%edx
ja     12e0 <gcvt+0x190>
mov    %ecx,0x4(%rsp)
movb   $0x0,0x1(%rax)
mov    (%rsp),%ecx
test   %ecx,%ecx
je     1424 <gcvt+0x2d4>
cs nopw 0x0(%rax,%rax,1)
movslq %ecx,%rcx
imul   $0x66666667,%rcx,%rdx
mov    %rdx,%rsi
shr    $0x3f,%rsi
sar    $0x22,%rdx
add    %esi,%edx
add    %edx,%edx
lea    (%rdx,%rdx,4),%edx
sub    %edx,%ecx
add    $0x30,%cl
mov    %cl,(%rax)
movslq (%rsp),%rdx
imul   $0x66666667,%rdx,%rcx
mov    %rcx,%rsi
shr    $0x3f,%rsi
sar    $0x22,%rcx
add    %esi,%ecx
mov    %ecx,(%rsp)
add    $0x9,%edx
add    $0xffffffffffffffff,%rax
cmp    $0x13,%edx
jae    1320 <gcvt+0x1d0>
jmp    1424 <gcvt+0x2d4>
mov    %r8d,%esi
and    $0xfffffffe,%esi
mov    $0x30,%edi
mov    %r14,%rdx
nopl   (%rax)
movzbl (%rdx),%ebp
xor    %ebx,%ebx
test   %bpl,%bpl
setne  %bl
cmove  %edi,%ebp
lea    (%rdx,%rbx,1),%rcx
mov    %bpl,(%rax)
movzbl (%rdx,%rbx,1),%ebp
xor    %edx,%edx
test   %bpl,%bpl
setne  %dl
cmove  %edi,%ebp
add    %rcx,%rdx
mov    %bpl,0x1(%rax)
add    $0x2,%rax
add    $0xfffffffe,%esi
jne    1380 <gcvt+0x230>
test   $0x1,%r8b
je     13d7 <gcvt+0x287>
movzbl (%rdx),%ecx
xor    %esi,%esi
test   %cl,%cl
mov    $0x30,%edi
cmovne %ecx,%edi
setne  %sil
add    %rsi,%rdx
mov    %dil,(%rax)
add    $0x1,%rax
cmpb   $0x0,(%rdx)
je     1421 <gcvt+0x2d1>
cmp    %r14,%rdx
jne    13e8 <gcvt+0x298>
movb   $0x30,(%rax)
add    $0x1,%rax
mov    (%r15),%esi
mov    %rax,%rdi
call   1050 <stpcpy@plt>
movslq (%rsp),%rdx
mov    (%r14,%rdx,1),%cl
test   %cl,%cl
je     1421 <gcvt+0x2d1>
add    %r14,%rdx
add    $0x1,%rdx
cs nopw 0x0(%rax,%rax,1)
mov    %cl,(%rax)
add    $0x1,%rax
movzbl (%rdx),%ecx
add    $0x1,%rdx
test   %cl,%cl
jne    1410 <gcvt+0x2c0>
movb   $0x0,(%rax)
mov    %r14,%rdi
call   1030 <__freedtoa@plt>
mov    %r12,%rbx
mov    %rbx,%rax
add    $0x10,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

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