#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 */
unsigned long abs(long);
short proc_d_prefix(char *, char *);
int /*<<< orphan*/ putchar(char);
int /*<<< orphan*/ puts(char *);
int long_to_dec(long lval, char *buf, char *bufend, char *hdr) {
  unsigned long value;
  short size, i, minsize;
  char lbuf[18], *lbp;
  lbp = lbuf;
  minsize = proc_d_prefix(hdr, lbuf);
  value = abs(lval);
  size = 0;
  while (value > 0) {
    size++;
    value /= 10;
  }
  if (lval < 0) {
    size++;
  }
  if (minsize > size) {
    size = minsize;
  }
  lbp += size;
  value = abs(lval);
  if (value == 0) {
    if (minsize == 0) {
      lbuf[0] = '0';
      size = 1;
    } else {
      *--lbp = '0';
    }
  } else {
    while (value > 0) {
      *--lbp = (char)((value % 10) + '0');
      value /= 10;
    }
  }
  if (lval < 0) {
    *--lbp = '-';
  }
  lbuf[size] = 0;
  for (i = 0; i < size; i++) {
    if (buf) {
      if (bufend && (buf >= bufend)) {
        puts("s_printf buffer overflow");
        return (-1);
      }
      *buf++ = lbuf[i];
    } else {
      if (lbuf[i])
        putchar(lbuf[i]);
    };
  }
  return ((int)size);
}


x86 assembly (clang, -O0):
<long_to_dec>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
lea    -0x50(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x28(%rbp),%rdi
lea    -0x50(%rbp),%rsi
call   1060 <proc_d_prefix@plt>
mov    %ax,-0x36(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <abs@plt>
mov    %rax,-0x30(%rbp)
movw   $0x0,-0x32(%rbp)
cmpq   $0x0,-0x30(%rbp)
jbe    11b2 <long_to_dec+0x72>
mov    -0x32(%rbp),%ax
add    $0x1,%ax
mov    %ax,-0x32(%rbp)
mov    -0x30(%rbp),%rax
mov    $0xa,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,-0x30(%rbp)
jmp    1184 <long_to_dec+0x44>
cmpq   $0x0,-0x10(%rbp)
jge    11c9 <long_to_dec+0x89>
mov    -0x32(%rbp),%ax
add    $0x1,%ax
mov    %ax,-0x32(%rbp)
movswl -0x36(%rbp),%eax
movswl -0x32(%rbp),%ecx
cmp    %ecx,%eax
jle    11e1 <long_to_dec+0xa1>
mov    -0x36(%rbp),%ax
mov    %ax,-0x32(%rbp)
movswl -0x32(%rbp),%ecx
mov    -0x58(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <abs@plt>
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
jne    123f <long_to_dec+0xff>
movswl -0x36(%rbp),%eax
cmp    $0x0,%eax
jne    1227 <long_to_dec+0xe7>
movb   $0x30,-0x50(%rbp)
movw   $0x1,-0x32(%rbp)
jmp    123a <long_to_dec+0xfa>
mov    -0x58(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x58(%rbp)
movb   $0x30,-0x1(%rax)
jmp    1291 <long_to_dec+0x151>
jmp    1244 <long_to_dec+0x104>
cmpq   $0x0,-0x30(%rbp)
jbe    128c <long_to_dec+0x14c>
mov    -0x30(%rbp),%rax
mov    $0xa,%ecx
xor    %edx,%edx
div    %rcx
add    $0x30,%rdx
mov    %dl,%cl
mov    -0x58(%rbp),%rax
mov    %rax,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x58(%rbp)
mov    %cl,-0x1(%rax)
mov    -0x30(%rbp),%rax
mov    $0xa,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,-0x30(%rbp)
jmp    1244 <long_to_dec+0x104>
jmp    1291 <long_to_dec+0x151>
cmpq   $0x0,-0x10(%rbp)
jge    12af <long_to_dec+0x16f>
mov    -0x58(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x58(%rbp)
movb   $0x2d,-0x1(%rax)
movswq -0x32(%rbp),%rax
movb   $0x0,-0x50(%rbp,%rax,1)
movw   $0x0,-0x34(%rbp)
movswl -0x34(%rbp),%eax
movswl -0x32(%rbp),%ecx
cmp    %ecx,%eax
jge    1364 <long_to_dec+0x224>
cmpq   $0x0,-0x18(%rbp)
je     132a <long_to_dec+0x1ea>
cmpq   $0x0,-0x20(%rbp)
je     130b <long_to_dec+0x1cb>
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jb     130b <long_to_dec+0x1cb>
lea    0xd06(%rip),%rdi
call   1040 <puts@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    136b <long_to_dec+0x22b>
movswq -0x34(%rbp),%rax
mov    -0x50(%rbp,%rax,1),%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
jmp    134e <long_to_dec+0x20e>
movswq -0x34(%rbp),%rax
cmpb   $0x0,-0x50(%rbp,%rax,1)
je     1349 <long_to_dec+0x209>
movswq -0x34(%rbp),%rax
movsbl -0x50(%rbp,%rax,1),%edi
call   1030 <putchar@plt>
jmp    134e <long_to_dec+0x20e>
jmp    1353 <long_to_dec+0x213>
mov    -0x34(%rbp),%ax
add    $0x1,%ax
mov    %ax,-0x34(%rbp)
jmp    12bf <long_to_dec+0x17f>
movswl -0x32(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<long_to_dec>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x20,%rsp
mov    %rdx,%r14
mov    %rsi,%r12
mov    %rdi,%r15
mov    %rsp,%rsi
mov    %rcx,%rdi
call   1050 <proc_d_prefix@plt>
mov    %eax,%r8d
mov    %r15,%rsi
neg    %rsi
cmovs  %r15,%rsi
jae    11de <long_to_dec+0xae>
mov    %r15,%r9
shr    $0x3f,%r9
movabs $0xcccccccccccccccd,%rcx
cc cc cc
mov    %r9d,%r13d
mov    %rsi,%rdi
nopw   0x0(%rax,%rax,1)
mov    %rdi,%rax
mul    %rcx
shr    $0x3,%rdx
add    $0x1,%r13d
cmp    $0x9,%rdi
mov    %rdx,%rdi
ja     1180 <long_to_dec+0x50>
cmp    %r13w,%r8w
cmovg  %r8d,%r13d
movswq %r13w,%rax
lea    (%rsp,%rax,1),%rdi
test   %r15,%r15
je     11f8 <long_to_dec+0xc8>
nopl   0x0(%rax)
mov    %rsi,%rax
mul    %rcx
shr    $0x3,%rdx
lea    (%rdx,%rdx,1),%eax
lea    (%rax,%rax,4),%eax
mov    %esi,%ebx
sub    %eax,%ebx
or     $0x30,%bl
mov    %bl,-0x1(%rdi)
add    $0xffffffffffffffff,%rdi
cmp    $0x9,%rsi
mov    %rdx,%rsi
ja     11b0 <long_to_dec+0x80>
test   %r15,%r15
jns    1223 <long_to_dec+0xf3>
jmp    121f <long_to_dec+0xef>
shr    $0x3f,%r15
cmp    %r15w,%r8w
cmovg  %r8d,%r15d
movzwl %r15w,%eax
lea    (%rsp,%rax,1),%rdi
xor    %r9d,%r9d
mov    %r15d,%r13d
test   %r8w,%r8w
je     120d <long_to_dec+0xdd>
movb   $0x30,-0x1(%rdi)
test   %r9b,%r9b
je     1223 <long_to_dec+0xf3>
add    $0xffffffffffffffff,%rdi
jmp    121f <long_to_dec+0xef>
movb   $0x30,(%rsp)
mov    $0x1,%r13w
test   %r9b,%r9b
je     12aa <long_to_dec+0x17a>
movb   $0x2d,-0x1(%rdi)
movswq %r13w,%rax
movb   $0x0,(%rsp,%rax,1)
test   %ax,%ax
jle    1285 <long_to_dec+0x155>
movzwl %r13w,%r15d
xor    %ebx,%ebx
jmp    1255 <long_to_dec+0x125>
nopl   0x0(%rax,%rax,1)
movzbl (%rsp,%rbx,1),%eax
mov    %al,(%r12)
add    $0x1,%r12
add    $0x1,%rbx
cmp    %rbx,%r15
je     1285 <long_to_dec+0x155>
test   %r12,%r12
je     1270 <long_to_dec+0x140>
test   %r14,%r14
je     1240 <long_to_dec+0x110>
cmp    %r14,%r12
jb     1240 <long_to_dec+0x110>
jmp    128b <long_to_dec+0x15b>
cs nopw 0x0(%rax,%rax,1)
movzbl (%rsp,%rbx,1),%eax
test   %al,%al
je     1280 <long_to_dec+0x150>
movsbl %al,%edi
call   1030 <putchar@plt>
xor    %r12d,%r12d
jmp    124c <long_to_dec+0x11c>
movswl %r13w,%eax
jmp    129c <long_to_dec+0x16c>
lea    0xd6e(%rip),%rdi
call   1040 <puts@plt>
mov    $0xffffffff,%eax
add    $0x20,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret
movb   $0x0,0x1(%rsp)
mov    $0x1,%r13w
jmp    1230 <long_to_dec+0x100>

LLVM IR (-O0):
@.str = [25 x i8] c"s_printf buffer overflow\00"
define i32 @long_to_dec(i64 %0, i8* %1, i8* %2, i8* %3) {
%5 = alloca i32
%6 = alloca i64
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i64
%11 = alloca i16
%12 = alloca i16
%13 = alloca i16
%14 = alloca [18 x i8]
%15 = alloca i8*
store i64 %0, i64* %6
store i8* %1, i8** %7
store i8* %2, i8** %8
store i8* %3, i8** %9
%16 = getelementptr inbounds [18 x i8], [18 x i8]* %14, i64 0, i64 0
store i8* %16, i8** %15
%17 = load i8*, i8** %9
%18 = getelementptr inbounds [18 x i8], [18 x i8]* %14, i64 0, i64 0
%19 = call signext i16 @proc_d_prefix(i8* %17, i8* %18)
store i16 %19, i16* %13
%20 = load i64, i64* %6
%21 = call i64 @abs(i64 %20)
store i64 %21, i64* %10
store i16 0, i16* %11
br label %22
22: ; preds = %25, %4
%23 = load i64, i64* %10
%24 = icmp ugt i64 %23, 0
br i1 %24, label %25, label %30
25: ; preds = %22
%26 = load i16, i16* %11
%27 = add i16 %26, 1
store i16 %27, i16* %11
%28 = load i64, i64* %10
%29 = udiv i64 %28, 10
store i64 %29, i64* %10
br label %22
30: ; preds = %22
%31 = load i64, i64* %6
%32 = icmp slt i64 %31, 0
br i1 %32, label %33, label %36
33: ; preds = %30
%34 = load i16, i16* %11
%35 = add i16 %34, 1
store i16 %35, i16* %11
br label %36
36: ; preds = %33, %30
%37 = load i16, i16* %13
%38 = sext i16 %37 to i32
%39 = load i16, i16* %11
%40 = sext i16 %39 to i32
%41 = icmp sgt i32 %38, %40
br i1 %41, label %42, label %44
42: ; preds = %36
%43 = load i16, i16* %13
store i16 %43, i16* %11
br label %44
44: ; preds = %42, %36
%45 = load i16, i16* %11
%46 = sext i16 %45 to i32
%47 = load i8*, i8** %15
%48 = sext i32 %46 to i64
%49 = getelementptr inbounds i8, i8* %47, i64 %48
store i8* %49, i8** %15
%50 = load i64, i64* %6
%51 = call i64 @abs(i64 %50)
store i64 %51, i64* %10
%52 = load i64, i64* %10
%53 = icmp eq i64 %52, 0
br i1 %53, label %54, label %64
54: ; preds = %44
%55 = load i16, i16* %13
%56 = sext i16 %55 to i32
%57 = icmp eq i32 %56, 0
br i1 %57, label %58, label %60
58: ; preds = %54
%59 = getelementptr inbounds [18 x i8], [18 x i8]* %14, i64 0, i64 0
store i8 48, i8* %59
store i16 1, i16* %11
br label %63
60: ; preds = %54
%61 = load i8*, i8** %15
%62 = getelementptr inbounds i8, i8* %61, i32 -1
store i8* %62, i8** %15
store i8 48, i8* %62
br label %63
63: ; preds = %60, %58
br label %78
64: ; preds = %44
br label %65
65: ; preds = %68, %64
%66 = load i64, i64* %10
%67 = icmp ugt i64 %66, 0
br i1 %67, label %68, label %77
68: ; preds = %65
%69 = load i64, i64* %10
%70 = urem i64 %69, 10
%71 = add i64 %70, 48
%72 = trunc i64 %71 to i8
%73 = load i8*, i8** %15
%74 = getelementptr inbounds i8, i8* %73, i32 -1
store i8* %74, i8** %15
store i8 %72, i8* %74
%75 = load i64, i64* %10
%76 = udiv i64 %75, 10
store i64 %76, i64* %10
br label %65
77: ; preds = %65
br label %78
78: ; preds = %77, %63
%79 = load i64, i64* %6
%80 = icmp slt i64 %79, 0
br i1 %80, label %81, label %84
81: ; preds = %78
%82 = load i8*, i8** %15
%83 = getelementptr inbounds i8, i8* %82, i32 -1
store i8* %83, i8** %15
store i8 45, i8* %83
br label %84
84: ; preds = %81, %78
%85 = load i16, i16* %11
%86 = sext i16 %85 to i64
%87 = getelementptr inbounds [18 x i8], [18 x i8]* %14, i64 0, i64 %86
store i8 0, i8* %87
store i16 0, i16* %12
br label %88
88: ; preds = %127, %84
%89 = load i16, i16* %12
%90 = sext i16 %89 to i32
%91 = load i16, i16* %11
%92 = sext i16 %91 to i32
%93 = icmp slt i32 %90, %92
br i1 %93, label %94, label %130
94: ; preds = %88
%95 = load i8*, i8** %7
%96 = icmp ne i8* %95, null
br i1 %96, label %97, label %113
97: ; preds = %94
%98 = load i8*, i8** %8
%99 = icmp ne i8* %98, null
br i1 %99, label %100, label %106
100: ; preds = %97
%101 = load i8*, i8** %7
%102 = load i8*, i8** %8
%103 = icmp uge i8* %101, %102
br i1 %103, label %104, label %106
104: ; preds = %100
%105 = call i32 @puts(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0))
store i32 -1, i32* %5
br label %133
106: ; preds = %100, %97
%107 = load i16, i16* %12
%108 = sext i16 %107 to i64
%109 = getelementptr inbounds [18 x i8], [18 x i8]* %14, i64 0, i64 %108
%110 = load i8, i8* %109
%111 = load i8*, i8** %7
%112 = getelementptr inbounds i8, i8* %111, i32 1
store i8* %112, i8** %7
store i8 %110, i8* %111
br label %126
113: ; preds = %94
%114 = load i16, i16* %12
%115 = sext i16 %114 to i64
%116 = getelementptr inbounds [18 x i8], [18 x i8]* %14, i64 0, i64 %115
%117 = load i8, i8* %116
%118 = icmp ne i8 %117, 0
br i1 %118, label %119, label %125
119: ; preds = %113
%120 = load i16, i16* %12
%121 = sext i16 %120 to i64
%122 = getelementptr inbounds [18 x i8], [18 x i8]* %14, i64 0, i64 %121
%123 = load i8, i8* %122
%124 = call i32 @putchar(i8 signext %123)
br label %125
125: ; preds = %119, %113
br label %126
126: ; preds = %125, %106
br label %127
127: ; preds = %126
%128 = load i16, i16* %12
%129 = add i16 %128, 1
store i16 %129, i16* %12
br label %88
130: ; preds = %88
%131 = load i16, i16* %11
%132 = sext i16 %131 to i32
store i32 %132, i32* %5
br label %133
133: ; preds = %130, %104
%134 = load i32, i32* %5
ret i32 %134
}

LLVM IR (-O2):
@.str = [25 x i8] c"s_printf buffer overflow\00"
define i32 @long_to_dec(i64 %0, i8* writeonly %1, i8* readnone %2, i8* %3) {
%5 = alloca [18 x i8]
%6 = getelementptr inbounds [18 x i8], [18 x i8]* %5, i64 0, i64 0
%7 = call signext i16 @proc_d_prefix(i8* %3, i8* %6)
%8 = call i64 @llvm.abs.i64(i64 %0, i1 true)
%9 = icmp eq i64 %0, 0
br i1 %9, label %10, label %17
10: ; preds = %4
%11 = lshr i64 %0, 63
%12 = trunc i64 %11 to i16
%13 = icmp sgt i16 %7, %12
%14 = select i1 %13, i16 %7, i16 %12
%15 = zext i16 %14 to i64
%16 = getelementptr inbounds [18 x i8], [18 x i8]* %5, i64 0, i64 %15
br label %32
17: ; preds = %4, %17
%18 = phi i16 [ %20, %17 ], [ 0, %4 ]
%19 = phi i64 [ %21, %17 ], [ %8, %4 ]
%20 = add i16 %18, 1
%21 = udiv i64 %19, 10
%22 = icmp ult i64 %19, 10
br i1 %22, label %23, label %17
23: ; preds = %17
%24 = icmp slt i64 %0, 0
%25 = lshr i64 %0, 63
%26 = trunc i64 %25 to i16
%27 = add i16 %20, %26
%28 = icmp sgt i16 %7, %27
%29 = select i1 %28, i16 %7, i16 %27
%30 = sext i16 %29 to i64
%31 = getelementptr inbounds [18 x i8], [18 x i8]* %5, i64 0, i64 %30
br i1 %9, label %32, label %42
32: ; preds = %10, %23
%33 = phi i8* [ %16, %10 ], [ %31, %23 ]
%34 = phi i16 [ %14, %10 ], [ %29, %23 ]
%35 = phi i1 [ false, %10 ], [ %24, %23 ]
%36 = icmp eq i16 %7, 0
br i1 %36, label %37, label %40
37: ; preds = %32
store i8 48, i8* %6
br i1 %35, label %52, label %38
38: ; preds = %37
%39 = getelementptr inbounds [18 x i8], [18 x i8]* %5, i64 0, i64 1
store i8 0, i8* %39
br label %61
40: ; preds = %32
%41 = getelementptr inbounds i8, i8* %33, i64 -1
store i8 48, i8* %41
br i1 %35, label %52, label %56
42: ; preds = %23, %42
%43 = phi i8* [ %48, %42 ], [ %31, %23 ]
%44 = phi i64 [ %49, %42 ], [ %8, %23 ]
%45 = urem i64 %44, 10
%46 = trunc i64 %45 to i8
%47 = or i8 %46, 48
%48 = getelementptr inbounds i8, i8* %43, i64 -1
store i8 %47, i8* %48
%49 = udiv i64 %44, 10
%50 = icmp ult i64 %44, 10
br i1 %50, label %51, label %42
51: ; preds = %42
br i1 %24, label %52, label %56
52: ; preds = %40, %37, %51
%53 = phi i8* [ %33, %37 ], [ %48, %51 ], [ %41, %40 ]
%54 = phi i16 [ 1, %37 ], [ %29, %51 ], [ %34, %40 ]
%55 = getelementptr inbounds i8, i8* %53, i64 -1
store i8 45, i8* %55
br label %56
56: ; preds = %40, %52, %51
%57 = phi i16 [ %54, %52 ], [ %29, %51 ], [ %34, %40 ]
%58 = sext i16 %57 to i64
%59 = getelementptr inbounds [18 x i8], [18 x i8]* %5, i64 0, i64 %58
store i8 0, i8* %59
%60 = icmp sgt i16 %57, 0
br i1 %60, label %61, label %88
61: ; preds = %38, %56
%62 = phi i16 [ 1, %38 ], [ %57, %56 ]
%63 = icmp eq i8* %2, null
%64 = zext i16 %62 to i64
br label %65
65: ; preds = %61, %84
%66 = phi i64 [ 0, %61 ], [ %86, %84 ]
%67 = phi i8* [ %1, %61 ], [ %85, %84 ]
%68 = icmp eq i8* %67, null
br i1 %68, label %78, label %69
69: ; preds = %65
%70 = icmp ult i8* %67, %2
%71 = select i1 %63, i1 true, i1 %70
br i1 %71, label %74, label %72
72: ; preds = %69
%73 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0))
br label %91
74: ; preds = %69
%75 = getelementptr inbounds [18 x i8], [18 x i8]* %5, i64 0, i64 %66
%76 = load i8, i8* %75
%77 = getelementptr inbounds i8, i8* %67, i64 1
store i8 %76, i8* %67
br label %84
78: ; preds = %65
%79 = getelementptr inbounds [18 x i8], [18 x i8]* %5, i64 0, i64 %66
%80 = load i8, i8* %79
%81 = icmp eq i8 %80, 0
br i1 %81, label %84, label %82
82: ; preds = %78
%83 = call i32 @putchar(i8 signext %80)
br label %84
84: ; preds = %74, %82, %78
%85 = phi i8* [ %77, %74 ], [ null, %82 ], [ null, %78 ]
%86 = add nuw nsw i64 %66, 1
%87 = icmp eq i64 %86, %64
br i1 %87, label %88, label %65
88: ; preds = %84, %56
%89 = phi i16 [ %57, %56 ], [ %62, %84 ]
%90 = sext i16 %89 to i32
br label %91
91: ; preds = %88, %72
%92 = phi i32 [ -1, %72 ], [ %90, %88 ]
ret i32 %92
}