char *itoaBuffer(int value, char *buf) {
  char num[20];
  int pos;
  pos = 0;
  if (value < 0) {
    *buf++ = '-';
    value = -value;
  }
  while (value != 0) {
    char c = value % 10;
    value = value / 10;
    num[pos++] = c + '0';
  }
  if (pos == 0)
    num[pos++] = '0';
  while (--pos >= 0) {
    *buf = num[pos];
    buf++;
  }
  *buf = 0;
  return buf;
}


x86 assembly (clang, -O0):
<itoaBuffer>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x34(%rbp)
cmpl   $0x0,-0x4(%rbp)
jge    1136 <itoaBuffer+0x36>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x2d,(%rax)
xor    %eax,%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    113b <itoaBuffer+0x3b>
cmpl   $0x0,-0x4(%rbp)
je     1182 <itoaBuffer+0x82>
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %dl,%al
mov    %al,-0x35(%rbp)
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x4(%rbp)
movsbl -0x35(%rbp),%eax
add    $0x30,%eax
mov    %al,%cl
mov    -0x34(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x34(%rbp)
cltq
mov    %cl,-0x30(%rbp,%rax,1)
jmp    113b <itoaBuffer+0x3b>
cmpl   $0x0,-0x34(%rbp)
jne    119e <itoaBuffer+0x9e>
mov    -0x34(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x34(%rbp)
cltq
movb   $0x30,-0x30(%rbp,%rax,1)
jmp    11a3 <itoaBuffer+0xa3>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
cmp    $0x0,%eax
jl     11d4 <itoaBuffer+0xd4>
movslq -0x34(%rbp),%rax
mov    -0x30(%rbp,%rax,1),%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    11a3 <itoaBuffer+0xa3>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x10(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<itoaBuffer>:
mov    %rsi,%rax
test   %edi,%edi
js     110b <itoaBuffer+0xb>
jne    1114 <itoaBuffer+0x14>
jmp    1164 <itoaBuffer+0x64>
movb   $0x2d,(%rax)
add    $0x1,%rax
neg    %edi
xor    %r10d,%r10d
nopw   0x0(%rax,%rax,1)
movslq %edi,%rdx
imul   $0x66666667,%rdx,%rdi
mov    %rdi,%rsi
shr    $0x3f,%rsi
sar    $0x22,%rdi
add    %esi,%edi
lea    (%rdi,%rdi,1),%esi
lea    (%rsi,%rsi,4),%esi
mov    %edx,%ecx
sub    %esi,%ecx
add    $0x30,%cl
mov    %cl,-0x18(%rsp,%r10,1)
add    $0x1,%r10
add    $0x9,%edx
cmp    $0x12,%edx
ja     1120 <itoaBuffer+0x20>
test   %r10d,%r10d
je     1164 <itoaBuffer+0x64>
test   %r10d,%r10d
jg     116f <itoaBuffer+0x6f>
jmp    1208 <itoaBuffer+0x108>
movb   $0x30,-0x18(%rsp)
mov    $0x1,%r10d
mov    %r10d,%edx
cmp    $0x1,%rdx
mov    %rdx,%r9
adc    $0xffffffffffffffff,%r9
add    $0x1,%r9
cmp    $0x20,%r9
jb     11e1 <itoaBuffer+0xe1>
cmp    $0x1,%rdx
mov    %rdx,%rsi
adc    $0xffffffffffffffff,%rsi
lea    -0x1(%r10),%ecx
cmp    %esi,%ecx
jb     11e1 <itoaBuffer+0xe1>
shr    $0x20,%rsi
jne    11e1 <itoaBuffer+0xe1>
xor    %esi,%esi
test   %rdx,%rdx
setne  %r8b
lea    -0x1(%r10),%edi
lea    -0x18(%rsp),%rcx
add    %rdi,%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jae    120c <itoaBuffer+0x10c>
mov    %r8b,%sil
mov    %rdx,%rcx
sub    %rsi,%rcx
add    %rax,%rcx
add    $0x1,%rcx
add    %rsi,%rdi
sub    %rdx,%rdi
lea    (%rsp,%rdi,1),%rsi
add    $0xffffffffffffffe8,%rsi
cmp    %rcx,%rsi
jae    120c <itoaBuffer+0x10c>
mov    %rax,%r8
add    $0x1,%rdx
mov    %r8,%rax
nopl   0x0(%rax,%rax,1)
lea    -0x2(%rdx),%ecx
movzbl -0x18(%rsp,%rcx,1),%ecx
mov    %cl,(%rax)
add    $0x1,%rax
add    $0xffffffffffffffff,%rdx
cmp    $0x1,%rdx
ja     11f0 <itoaBuffer+0xf0>
movb   $0x0,(%rax)
ret
mov    %r9,%rsi
and    $0xffffffffffffffe0,%rsi
sub    %rsi,%rdx
lea    (%rax,%rsi,1),%r8
add    $0xffffffffffffffff,%r10
xor    %edi,%edi
pxor   %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r10d,%ecx
movdqu -0x37(%rsp,%rcx,1),%xmm1
movdqu -0x27(%rsp,%rcx,1),%xmm2
movdqa %xmm2,%xmm3
punpcklbw %xmm0,%xmm3
pshufd $0x4e,%xmm3,%xmm3
pshuflw $0x1b,%xmm3,%xmm3
pshufhw $0x1b,%xmm3,%xmm3
punpckhbw %xmm0,%xmm2
pshufd $0x4e,%xmm2,%xmm2
pshuflw $0x1b,%xmm2,%xmm2
pshufhw $0x1b,%xmm2,%xmm2
packuswb %xmm3,%xmm2
movdqa %xmm1,%xmm3
punpcklbw %xmm0,%xmm3
pshufd $0x4e,%xmm3,%xmm3
pshuflw $0x1b,%xmm3,%xmm3
pshufhw $0x1b,%xmm3,%xmm3
punpckhbw %xmm0,%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
pshufhw $0x1b,%xmm1,%xmm1
packuswb %xmm3,%xmm1
movdqu %xmm2,(%rax,%rdi,1)
movdqu %xmm1,0x10(%rax,%rdi,1)
add    $0x20,%rdi
add    $0xffffffffffffffe0,%r10
cmp    %rdi,%rsi
jne    1230 <itoaBuffer+0x130>
mov    %r8,%rax
cmp    %rsi,%r9
je     1208 <itoaBuffer+0x108>
jmp    11e4 <itoaBuffer+0xe4>

LLVM IR (-O0):
define i8* @itoaBuffer(i32 %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca [20 x i8]
%6 = alloca i32
%7 = alloca i8
store i32 %0, i32* %3
store i8* %1, i8** %4
store i32 0, i32* %6
%8 = load i32, i32* %3
%9 = icmp slt i32 %8, 0
br i1 %9, label %10, label %15
10: ; preds = %2
%11 = load i8*, i8** %4
%12 = getelementptr inbounds i8, i8* %11, i32 1
store i8* %12, i8** %4
store i8 45, i8* %11
%13 = load i32, i32* %3
%14 = sub nsw i32 0, %13
store i32 %14, i32* %3
br label %15
15: ; preds = %10, %2
br label %16
16: ; preds = %19, %15
%17 = load i32, i32* %3
%18 = icmp ne i32 %17, 0
br i1 %18, label %19, label %33
19: ; preds = %16
%20 = load i32, i32* %3
%21 = srem i32 %20, 10
%22 = trunc i32 %21 to i8
store i8 %22, i8* %7
%23 = load i32, i32* %3
%24 = sdiv i32 %23, 10
store i32 %24, i32* %3
%25 = load i8, i8* %7
%26 = sext i8 %25 to i32
%27 = add nsw i32 %26, 48
%28 = trunc i32 %27 to i8
%29 = load i32, i32* %6
%30 = add nsw i32 %29, 1
store i32 %30, i32* %6
%31 = sext i32 %29 to i64
%32 = getelementptr inbounds [20 x i8], [20 x i8]* %5, i64 0, i64 %31
store i8 %28, i8* %32
br label %16
33: ; preds = %16
%34 = load i32, i32* %6
%35 = icmp eq i32 %34, 0
br i1 %35, label %36, label %41
36: ; preds = %33
%37 = load i32, i32* %6
%38 = add nsw i32 %37, 1
store i32 %38, i32* %6
%39 = sext i32 %37 to i64
%40 = getelementptr inbounds [20 x i8], [20 x i8]* %5, i64 0, i64 %39
store i8 48, i8* %40
br label %41
41: ; preds = %36, %33
br label %42
42: ; preds = %46, %41
%43 = load i32, i32* %6
%44 = add nsw i32 %43, -1
store i32 %44, i32* %6
%45 = icmp sge i32 %44, 0
br i1 %45, label %46, label %54
46: ; preds = %42
%47 = load i32, i32* %6
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds [20 x i8], [20 x i8]* %5, i64 0, i64 %48
%50 = load i8, i8* %49
%51 = load i8*, i8** %4
store i8 %50, i8* %51
%52 = load i8*, i8** %4
%53 = getelementptr inbounds i8, i8* %52, i32 1
store i8* %53, i8** %4
br label %42
54: ; preds = %42
%55 = load i8*, i8** %4
store i8 0, i8* %55
%56 = load i8*, i8** %4
ret i8* %56
}

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