int _itoa(int value, char *buffer) {
  int i, r;
  char c;
  if (!value) {
    buffer[0] = '0';
    r = 1;
  } else {
    if (value < 0) {
      value = -value;
      buffer[0] = '-';
      buffer[1] = '0' + (char)(((unsigned)value) % 10);
      value = (int)(((unsigned)value) / 10);
      i = 2;
    } else {
      i = 0;
    }
    while (value) {
      buffer[i++] = '0' + (char)(value % 10);
      value /= 10;
    }
    r = i;
    while (value < --i) {
      c = buffer[value];
      buffer[value++] = buffer[i];
      buffer[i] = c;
    }
  }
  return r;
}


x86 assembly (clang, -O0):
<_itoa>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
cmpl   $0x0,-0x4(%rbp)
jne    1128 <_itoa+0x28>
mov    -0x10(%rbp),%rax
movb   $0x30,(%rax)
movl   $0x1,-0x18(%rbp)
jmp    122c <_itoa+0x12c>
cmpl   $0x0,-0x4(%rbp)
jge    1179 <_itoa+0x79>
xor    %eax,%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x10(%rbp),%rax
movb   $0x2d,(%rax)
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
mov    %dl,%al
movsbl %al,%eax
add    $0x30,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
mov    %eax,-0x4(%rbp)
movl   $0x2,-0x14(%rbp)
jmp    1180 <_itoa+0x80>
movl   $0x0,-0x14(%rbp)
jmp    1185 <_itoa+0x85>
cmpl   $0x0,-0x4(%rbp)
je     11cc <_itoa+0xcc>
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %dl,%al
movsbl %al,%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x14(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x4(%rbp),%eax
mov    $0xa,%ecx
cltd
idiv   %ecx
mov    %eax,-0x4(%rbp)
jmp    1185 <_itoa+0x85>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x4(%rbp),%eax
mov    -0x14(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x14(%rbp)
cmp    %ecx,%eax
jge    1227 <_itoa+0x127>
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x19(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x4(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x19(%rbp),%dl
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    11d2 <_itoa+0xd2>
jmp    122c <_itoa+0x12c>
mov    -0x18(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<_itoa>:
test   %edi,%edi
je     110a <_itoa+0xa>
js     1113 <_itoa+0x13>
xor    %ecx,%ecx
jmp    1150 <_itoa+0x50>
movb   $0x30,(%rsi)
mov    $0x1,%eax
ret
neg    %edi
movb   $0x2d,(%rsi)
mov    $0xcccccccd,%edx
imul   %rdi,%rdx
shr    $0x23,%rdx
lea    (%rdx,%rdx,1),%eax
lea    (%rax,%rax,4),%eax
mov    %edi,%ecx
sub    %eax,%ecx
or     $0x30,%cl
mov    %cl,0x1(%rsi)
mov    $0x2,%ecx
mov    $0x2,%eax
cmp    $0xa,%edi
mov    %edx,%edi
jb     118c <_itoa+0x8c>
cs nopw 0x0(%rax,%rax,1)
movslq %edi,%rax
imul   $0x66666667,%rax,%rdi
mov    %rdi,%rdx
shr    $0x3f,%rdx
sar    $0x22,%rdi
add    %edx,%edi
lea    (%rdi,%rdi,1),%edx
lea    (%rdx,%rdx,4),%r8d
mov    %eax,%edx
sub    %r8d,%edx
add    $0x30,%dl
mov    %dl,(%rsi,%rcx,1)
add    $0x1,%rcx
add    $0x9,%eax
cmp    $0x13,%eax
jae    1150 <_itoa+0x50>
mov    %ecx,%eax
cmp    $0x1,%ecx
jle    11c2 <_itoa+0xc2>
mov    %eax,%edi
add    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rsi,%rdx,1),%r8d
movzbl 0x1(%rsi,%rdi,1),%ecx
mov    %cl,(%rsi,%rdx,1)
add    $0x1,%rdx
mov    %r8b,0x1(%rsi,%rdi,1)
lea    -0x1(%rdi),%rcx
cmp    %rdi,%rdx
mov    %rcx,%rdi
jl     11a0 <_itoa+0xa0>
ret

LLVM IR (-O0):
define i32 @_itoa(i32 %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i8
store i32 %0, i32* %3
store i8* %1, i8** %4
%8 = load i32, i32* %3
%9 = icmp ne i32 %8, 0
br i1 %9, label %13, label %10
10: ; preds = %2
%11 = load i8*, i8** %4
%12 = getelementptr inbounds i8, i8* %11, i64 0
store i8 48, i8* %12
store i32 1, i32* %6
br label %79
13: ; preds = %2
%14 = load i32, i32* %3
%15 = icmp slt i32 %14, 0
br i1 %15, label %16, label %31
16: ; preds = %13
%17 = load i32, i32* %3
%18 = sub nsw i32 0, %17
store i32 %18, i32* %3
%19 = load i8*, i8** %4
%20 = getelementptr inbounds i8, i8* %19, i64 0
store i8 45, i8* %20
%21 = load i32, i32* %3
%22 = urem i32 %21, 10
%23 = trunc i32 %22 to i8
%24 = sext i8 %23 to i32
%25 = add nsw i32 48, %24
%26 = trunc i32 %25 to i8
%27 = load i8*, i8** %4
%28 = getelementptr inbounds i8, i8* %27, i64 1
store i8 %26, i8* %28
%29 = load i32, i32* %3
%30 = udiv i32 %29, 10
store i32 %30, i32* %3
store i32 2, i32* %5
br label %32
31: ; preds = %13
store i32 0, i32* %5
br label %32
32: ; preds = %31, %16
br label %33
33: ; preds = %36, %32
%34 = load i32, i32* %3
%35 = icmp ne i32 %34, 0
br i1 %35, label %36, label %50
36: ; preds = %33
%37 = load i32, i32* %3
%38 = srem i32 %37, 10
%39 = trunc i32 %38 to i8
%40 = sext i8 %39 to i32
%41 = add nsw i32 48, %40
%42 = trunc i32 %41 to i8
%43 = load i8*, i8** %4
%44 = load i32, i32* %5
%45 = add nsw i32 %44, 1
store i32 %45, i32* %5
%46 = sext i32 %44 to i64
%47 = getelementptr inbounds i8, i8* %43, i64 %46
store i8 %42, i8* %47
%48 = load i32, i32* %3
%49 = sdiv i32 %48, 10
store i32 %49, i32* %3
br label %33
50: ; preds = %33
%51 = load i32, i32* %5
store i32 %51, i32* %6
br label %52
52: ; preds = %57, %50
%53 = load i32, i32* %3
%54 = load i32, i32* %5
%55 = add nsw i32 %54, -1
store i32 %55, i32* %5
%56 = icmp slt i32 %53, %55
br i1 %56, label %57, label %78
57: ; preds = %52
%58 = load i8*, i8** %4
%59 = load i32, i32* %3
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i8, i8* %58, i64 %60
%62 = load i8, i8* %61
store i8 %62, i8* %7
%63 = load i8*, i8** %4
%64 = load i32, i32* %5
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i8, i8* %63, i64 %65
%67 = load i8, i8* %66
%68 = load i8*, i8** %4
%69 = load i32, i32* %3
%70 = add nsw i32 %69, 1
store i32 %70, i32* %3
%71 = sext i32 %69 to i64
%72 = getelementptr inbounds i8, i8* %68, i64 %71
store i8 %67, i8* %72
%73 = load i8, i8* %7
%74 = load i8*, i8** %4
%75 = load i32, i32* %5
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8, i8* %74, i64 %76
store i8 %73, i8* %77
br label %52
78: ; preds = %52
br label %79
79: ; preds = %78, %10
%80 = load i32, i32* %6
ret i32 %80
}

LLVM IR (-O2):
define i32 @_itoa(i32 %0, i8* nocapture %1) {
%3 = icmp eq i32 %0, 0
br i1 %3, label %4, label %5
4: ; preds = %2
store i8 48, i8* %1
br label %46
5: ; preds = %2
%6 = icmp slt i32 %0, 0
br i1 %6, label %7, label %15
7: ; preds = %5
%8 = sub nsw i32 0, %0
store i8 45, i8* %1
%9 = urem i32 %8, 10
%10 = trunc i32 %9 to i8
%11 = or i8 %10, 48
%12 = getelementptr inbounds i8, i8* %1, i64 1
store i8 %11, i8* %12
%13 = udiv i32 %8, 10
%14 = icmp ult i32 %8, 10
br i1 %14, label %21, label %15
15: ; preds = %5, %7
%16 = phi i64 [ 0, %5 ], [ 2, %7 ]
%17 = phi i32 [ %0, %5 ], [ %13, %7 ]
br label %25
18: ; preds = %25
%19 = trunc i64 %31 to i32
%20 = icmp sgt i32 %19, 1
br i1 %20, label %21, label %46
21: ; preds = %7, %18
%22 = phi i32 [ %19, %18 ], [ 2, %7 ]
%23 = zext i32 %22 to i64
%24 = add nsw i64 %23, -1
br label %36
25: ; preds = %15, %25
%26 = phi i64 [ %31, %25 ], [ %16, %15 ]
%27 = phi i32 [ %33, %25 ], [ %17, %15 ]
%28 = srem i32 %27, 10
%29 = trunc i32 %28 to i8
%30 = add nsw i8 %29, 48
%31 = add nuw i64 %26, 1
%32 = getelementptr inbounds i8, i8* %1, i64 %26
store i8 %30, i8* %32
%33 = sdiv i32 %27, 10
%34 = add i32 %27, 9
%35 = icmp ult i32 %34, 19
br i1 %35, label %18, label %25
36: ; preds = %21, %36
%37 = phi i64 [ 0, %21 ], [ %43, %36 ]
%38 = phi i64 [ %24, %21 ], [ %44, %36 ]
%39 = getelementptr inbounds i8, i8* %1, i64 %37
%40 = load i8, i8* %39
%41 = getelementptr inbounds i8, i8* %1, i64 %38
%42 = load i8, i8* %41
%43 = add nuw nsw i64 %37, 1
store i8 %42, i8* %39
store i8 %40, i8* %41
%44 = add nsw i64 %38, -1
%45 = icmp slt i64 %43, %44
br i1 %45, label %36, label %46
46: ; preds = %36, %18, %4
%47 = phi i32 [ 1, %4 ], [ %19, %18 ], [ %22, %36 ]
ret i32 %47
}