char *itoa(int value, char *str, int radix) {
  char sign = 0;
  char temp[17];
  int temp_loc = 0;
  int digit;
  int str_loc = 0;
  if (radix == 10 && value < 0) {
    sign = 1;
    value = -value;
  }
  do {
    digit = (unsigned int)value % radix;
    if (digit < 10)
      temp[temp_loc++] = digit + '0';
    else
      temp[temp_loc++] = digit - 10 + 'A';
    value = (((unsigned int)value) / radix);
  } while ((unsigned int)value > 0);
  if (radix == 10 && sign) {
    temp[temp_loc] = '-';
  } else {
    temp_loc--;
  }
  while (temp_loc >= 0) {
    str[str_loc++] = temp[temp_loc--];
  }
  str[str_loc] = 0;
  return str;
}


x86 assembly (clang, -O0):
<itoa>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movb   $0x0,-0x15(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x3c(%rbp)
cmpl   $0xa,-0x14(%rbp)
jne    1140 <itoa+0x40>
cmpl   $0x0,-0x4(%rbp)
jge    1140 <itoa+0x40>
movb   $0x1,-0x15(%rbp)
xor    %eax,%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1145 <itoa+0x45>
mov    -0x4(%rbp),%eax
xor    %edx,%edx
divl   -0x14(%rbp)
mov    %edx,-0x38(%rbp)
cmpl   $0xa,-0x38(%rbp)
jge    1178 <itoa+0x78>
mov    -0x38(%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    1194 <itoa+0x94>
mov    -0x38(%rbp),%eax
sub    $0xa,%eax
add    $0x41,%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)
mov    -0x4(%rbp),%eax
xor    %edx,%edx
divl   -0x14(%rbp)
mov    %eax,-0x4(%rbp)
cmpl   $0x0,-0x4(%rbp)
ja     1145 <itoa+0x45>
cmpl   $0xa,-0x14(%rbp)
jne    11ce <itoa+0xce>
movsbl -0x15(%rbp),%eax
cmp    $0x0,%eax
je     11ce <itoa+0xce>
movslq -0x34(%rbp),%rax
movb   $0x2d,-0x30(%rbp,%rax,1)
jmp    11d7 <itoa+0xd7>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
jmp    11dc <itoa+0xdc>
cmpl   $0x0,-0x34(%rbp)
jl     1211 <itoa+0x111>
mov    -0x34(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x34(%rbp)
cltq
mov    -0x30(%rbp,%rax,1),%dl
mov    -0x10(%rbp),%rax
mov    -0x3c(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x3c(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    11dc <itoa+0xdc>
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<itoa>:
mov    %edx,%r11d
mov    %rsi,%r8
cmp    $0xa,%edx
sete   %al
test   %edi,%edi
sets   %r9b
and    %al,%r9b
mov    %edi,%esi
neg    %esi
test   %r9b,%r9b
cmove  %edi,%esi
xor    %edi,%edi
mov    $0x30,%r10d
nopw   0x0(%rax,%rax,1)
mov    %esi,%eax
xor    %edx,%edx
div    %r11d
cmp    $0xa,%edx
mov    $0x37,%ecx
cmovl  %r10d,%ecx
add    %dl,%cl
mov    %cl,-0x18(%rsp,%rdi,1)
add    $0x1,%rdi
cmp    %r11d,%esi
mov    %eax,%esi
jae    1130 <itoa+0x30>
test   %r9b,%r9b
je     116c <itoa+0x6c>
mov    %edi,%eax
movb   $0x2d,-0x18(%rsp,%rax,1)
test   %edi,%edi
jns    1174 <itoa+0x74>
xor    %r11d,%r11d
jmp    12d4 <itoa+0x1d4>
add    $0xffffffffffffffff,%rdi
test   %edi,%edi
js     1164 <itoa+0x64>
mov    %edi,%r9d
lea    0x1(%rdi),%r11d
cmp    $0x7,%edi
jae    1187 <itoa+0x87>
xor    %ecx,%ecx
jmp    12b7 <itoa+0x1b7>
cmp    $0x1f,%edi
jae    1193 <itoa+0x93>
xor    %ecx,%ecx
jmp    124c <itoa+0x14c>
mov    %r11d,%ecx
and    $0xffffffe0,%ecx
lea    0x10(%r8),%rsi
mov    %rcx,%r10
neg    %r10
lea    -0x18(%rsp),%rax
lea    (%r9,%rax,1),%rdx
add    $0xfffffffffffffff1,%rdx
xor    %edi,%edi
pxor   %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
movdqu -0x10(%rdx,%rdi,1),%xmm1
movdqu (%rdx,%rdi,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(%rsi)
movdqu %xmm1,(%rsi)
add    $0x20,%rsi
add    $0xffffffffffffffe0,%rdi
cmp    %rdi,%r10
jne    11c0 <itoa+0xc0>
cmp    %r11,%rcx
je     12d4 <itoa+0x1d4>
test   $0x18,%r11b
je     12b4 <itoa+0x1b4>
mov    %rcx,%rdx
mov    %r11d,%ecx
and    $0xfffffff8,%ecx
lea    (%r8,%rdx,1),%rsi
mov    %rcx,%rdi
neg    %rdi
neg    %rdx
lea    -0x18(%rsp),%rax
add    %r9,%rax
add    $0xfffffffffffffff9,%rax
sub    %rcx,%r9
pxor   %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
nop
movq   (%rax,%rdx,1),%xmm1
punpcklbw %xmm0,%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
pshufhw $0x1b,%xmm1,%xmm1
packuswb %xmm1,%xmm1
movq   %xmm1,(%rsi)
add    $0x8,%rsi
add    $0xfffffffffffffff8,%rdx
cmp    %rdx,%rdi
jne    1280 <itoa+0x180>
cmp    %r11,%rcx
jne    12b7 <itoa+0x1b7>
jmp    12d4 <itoa+0x1d4>
sub    %rcx,%r9
lea    (%rsp,%r9,1),%rax
add    $0xffffffffffffffe8,%rax
nop
movzbl (%rax),%edx
mov    %dl,(%r8,%rcx,1)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rax
cmp    %rcx,%r11
jne    12c0 <itoa+0x1c0>
movb   $0x0,(%r8,%r11,1)
mov    %r8,%rax
ret

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

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