int itoa(int value, char *sp, int radix) {
  char tmp[16];
  char *tp = tmp;
  int i;
  unsigned v;
  for (int i = 0; i < 16; i++) {
    sp[i] = '\0';
    tmp[i] = '\0';
  }
  int sign = (radix == 10 && value < 0);
  if (sign)
    v = -value;
  else
    v = (unsigned)value;
  while (v || tp == tmp) {
    i = v % radix;
    v /= radix;
    if (i < 10)
      *tp++ = i + '0';
    else
      *tp++ = i + 'a' - 10;
  }
  int len = tp - tmp;
  if (sign) {
    *sp++ = '-';
    len++;
  }
  while (tp > tmp)
    *sp++ = *--tp;
  return len;
}


x86 assembly (clang, -O0):
<itoa>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
lea    -0x30(%rbp),%rax
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x44(%rbp)
cmpl   $0x10,-0x44(%rbp)
jge    114a <itoa+0x4a>
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
movslq -0x44(%rbp),%rax
movb   $0x0,-0x30(%rbp,%rax,1)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    111d <itoa+0x1d>
xor    %eax,%eax
cmpl   $0xa,-0x14(%rbp)
mov    %al,-0x4d(%rbp)
jne    1163 <itoa+0x63>
cmpl   $0x0,-0x4(%rbp)
setl   %al
mov    %al,-0x4d(%rbp)
mov    -0x4d(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x0,-0x48(%rbp)
je     1185 <itoa+0x85>
xor    %eax,%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    118b <itoa+0x8b>
mov    -0x4(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    1190 <itoa+0x90>
mov    $0x1,%al
cmpl   $0x0,-0x40(%rbp)
mov    %al,-0x4e(%rbp)
jne    11b0 <itoa+0xb0>
mov    -0x38(%rbp),%rax
lea    -0x30(%rbp),%rcx
cmp    %rcx,%rax
sete   %al
mov    %al,-0x4e(%rbp)
mov    -0x4e(%rbp),%al
test   $0x1,%al
jne    11c0 <itoa+0xc0>
jmp    1221 <itoa+0x121>
mov    -0x40(%rbp),%eax
xor    %edx,%edx
divl   -0x14(%rbp)
mov    %edx,-0x3c(%rbp)
mov    -0x14(%rbp),%ecx
mov    -0x40(%rbp),%eax
xor    %edx,%edx
div    %ecx
mov    %eax,-0x40(%rbp)
cmpl   $0xa,-0x3c(%rbp)
jge    1200 <itoa+0x100>
mov    -0x3c(%rbp),%eax
add    $0x30,%eax
mov    %al,%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
jmp    121c <itoa+0x11c>
mov    -0x3c(%rbp),%eax
add    $0x61,%eax
sub    $0xa,%eax
mov    %al,%cl
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x38(%rbp)
mov    %cl,(%rax)
jmp    1190 <itoa+0x90>
mov    -0x38(%rbp),%rax
lea    -0x30(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0x4c(%rbp)
cmpl   $0x0,-0x48(%rbp)
je     1254 <itoa+0x154>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x2d,(%rax)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1259 <itoa+0x159>
mov    -0x38(%rbp),%rax
lea    -0x30(%rbp),%rcx
cmp    %rcx,%rax
jbe    1292 <itoa+0x192>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x38(%rbp)
mov    -0x1(%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    1259 <itoa+0x159>
mov    -0x4c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<itoa>:
push   %rbx
mov    %edx,%r11d
pxor   %xmm0,%xmm0
movdqu %xmm0,(%rsi)
movdqa %xmm0,-0x10(%rsp)
cmp    $0xa,%edx
sete   %al
test   %edi,%edi
sets   %r9b
and    %al,%r9b
mov    %edi,%ebx
neg    %ebx
test   %r9b,%r9b
cmove  %edi,%ebx
xor    %r8d,%r8d
mov    $0x30,%r10d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %ebx,%eax
xor    %edx,%edx
div    %r11d
mov    %r8,%rcx
cmp    $0xa,%edx
mov    $0x57,%edi
cmovl  %r10d,%edi
add    %dl,%dil
mov    %dil,-0x10(%rsp,%r8,1)
add    $0x1,%r8
cmp    %r11d,%ebx
mov    %eax,%ebx
jae    1140 <itoa+0x40>
cmp    $0xffffffffffffffff,%rcx
je     1140 <itoa+0x40>
lea    (%rsp,%r8,1),%rdi
add    $0xfffffffffffffff0,%rdi
test   %r9b,%r9b
je     1189 <itoa+0x89>
movb   $0x2d,(%rsi)
add    $0x1,%rsi
lea    0x1(%r8),%eax
jmp    118c <itoa+0x8c>
mov    %r8d,%eax
lea    -0x10(%rsp),%r9
cmp    %r9,%rdi
jbe    1313 <itoa+0x213>
cmp    $0x4,%r8
jae    11a8 <itoa+0xa8>
mov    %rsi,%rcx
jmp    1300 <itoa+0x200>
cmp    %rdi,%rsi
jae    11c4 <itoa+0xc4>
lea    (%rsi,%r8,1),%rcx
mov    %rdi,%rdx
sub    %r8,%rdx
cmp    %rcx,%rdx
jae    11c4 <itoa+0xc4>
mov    %rsi,%rcx
jmp    1300 <itoa+0x200>
cmp    $0x20,%r8
jae    11d1 <itoa+0xd1>
xor    %edx,%edx
jmp    128b <itoa+0x18b>
mov    %r8,%rdx
and    $0xffffffffffffffe0,%rdx
lea    0x10(%rsi),%rdi
mov    %rdx,%r10
neg    %r10
xor    %ecx,%ecx
pxor   %xmm0,%xmm0
nopl   0x0(%rax,%rax,1)
lea    (%rsp,%rcx,1),%rbx
add    $0xfffffffffffffff0,%rbx
movdqu -0x20(%r8,%rbx,1),%xmm1
movdqu -0x10(%r8,%rbx,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,-0x10(%rdi)
movdqu %xmm1,(%rdi)
add    $0xffffffffffffffe0,%rcx
add    $0x20,%rdi
cmp    %rcx,%r10
jne    11f0 <itoa+0xf0>
cmp    %rdx,%r8
je     1313 <itoa+0x213>
test   $0x1c,%r8b
je     12e4 <itoa+0x1e4>
mov    %r8,%r10
and    $0xfffffffffffffffc,%r10
lea    (%rsi,%r10,1),%rcx
mov    %r10,%r11
neg    %r11
mov    %r9,%rdi
sub    %r10,%rdi
add    %r8,%rdi
add    %rdx,%rsi
neg    %rdx
pxor   %xmm0,%xmm0
nop
lea    (%rsp,%rdx,1),%rbx
add    $0xfffffffffffffff0,%rbx
movd   -0x4(%r8,%rbx,1),%xmm1
punpcklbw %xmm0,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
packuswb %xmm1,%xmm1
movd   %xmm1,(%rsi)
add    $0xfffffffffffffffc,%rdx
add    $0x4,%rsi
cmp    %rdx,%r11
jne    12b0 <itoa+0x1b0>
cmp    %r10,%r8
jne    1300 <itoa+0x200>
jmp    1313 <itoa+0x213>
lea    (%rsp,%r10,1),%rcx
add    $0xfffffffffffffff0,%rcx
add    %rcx,%r8
add    %rdx,%rsi
mov    %rsi,%rcx
mov    %r8,%rdi
nopl   0x0(%rax,%rax,1)
movzbl -0x1(%rdi),%edx
add    $0xffffffffffffffff,%rdi
mov    %dl,(%rcx)
add    $0x1,%rcx
cmp    %r9,%rdi
ja     1300 <itoa+0x200>
pop    %rbx
ret

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

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