unsigned int fmt_ulong(char *dest, unsigned long i) {
  register unsigned long len, tmp, len2;
  for (len = 1, tmp = i; tmp > 9; ++len)
    tmp /= 10;
  if (dest)
    for (tmp = i, dest += len, len2 = len + 1; --len2; tmp /= 10)
      *--dest = (tmp % 10) + '0';
  return len;
}


x86 assembly (clang, -O0):
<fmt_ulong>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movq   $0x1,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
cmpq   $0x9,-0x20(%rbp)
jbe    114a <fmt_ulong+0x4a>
mov    -0x20(%rbp),%rax
mov    $0xa,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    111c <fmt_ulong+0x1c>
cmpq   $0x0,-0x8(%rbp)
je     11cd <fmt_ulong+0xcd>
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    -0x8(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
cmp    $0x0,%rax
je     11c8 <fmt_ulong+0xc8>
mov    -0x20(%rbp),%rax
mov    $0xa,%ecx
xor    %edx,%edx
div    %rcx
add    $0x30,%rdx
mov    %dl,%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,-0x1(%rax)
mov    -0x20(%rbp),%rax
mov    $0xa,%ecx
xor    %edx,%edx
div    %rcx
mov    %rax,-0x20(%rbp)
jmp    1175 <fmt_ulong+0x75>
jmp    11cd <fmt_ulong+0xcd>
mov    -0x18(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<fmt_ulong>:
mov    $0x1,%r8d
movabs $0xcccccccccccccccd,%r9
cc cc cc
cmp    $0xa,%rsi
jb     1137 <fmt_ulong+0x37>
mov    $0x1,%r8d
mov    %rsi,%rcx
nop
mov    %rcx,%rax
mul    %r9
shr    $0x3,%rdx
add    $0x1,%r8
cmp    $0x63,%rcx
mov    %rdx,%rcx
ja     1120 <fmt_ulong+0x20>
push   %rbx
test   %rdi,%rdi
je     11f2 <fmt_ulong+0xf2>
test   %r8,%r8
je     11f2 <fmt_ulong+0xf2>
add    %r8,%rdi
test   $0x1,%r8b
jne    1161 <fmt_ulong+0x61>
mov    %r8,%r10
cmp    $0x1,%r8
jne    118c <fmt_ulong+0x8c>
jmp    11f2 <fmt_ulong+0xf2>
mov    %rsi,%rax
mul    %r9
shr    $0x3,%rdx
lea    (%rdx,%rdx,1),%eax
lea    (%rax,%rax,4),%eax
sub    %eax,%esi
or     $0x30,%sil
mov    %sil,-0x1(%rdi)
add    $0xffffffffffffffff,%rdi
lea    -0x1(%r8),%r10
mov    %rdx,%rsi
cmp    $0x1,%r8
je     11f2 <fmt_ulong+0xf2>
neg    %r10
xor    %r11d,%r11d
movabs $0x28f5c28f5c28f5c3,%rbx
c2 f5 28
nopl   0x0(%rax)
mov    %rsi,%rax
mul    %r9
mov    %rdx,%rcx
shr    $0x3,%rcx
lea    (%rcx,%rcx,1),%eax
lea    (%rax,%rax,4),%eax
mov    %esi,%edx
sub    %eax,%edx
or     $0x30,%dl
mov    %dl,-0x1(%rdi,%r11,1)
mov    %rcx,%rax
mul    %r9
shr    $0x2,%edx
and    $0xfffffffe,%edx
lea    (%rdx,%rdx,4),%eax
sub    %eax,%ecx
or     $0x30,%cl
shr    $0x2,%rsi
mov    %rsi,%rax
mul    %rbx
mov    %cl,-0x2(%rdi,%r11,1)
mov    %rdx,%rsi
shr    $0x2,%rsi
add    $0xfffffffffffffffe,%r11
cmp    %r11,%r10
jne    11a0 <fmt_ulong+0xa0>
mov    %r8d,%eax
pop    %rbx
ret

LLVM IR (-O0):
define i32 @fmt_ulong(i8* %0, i64 %1) {
%3 = alloca i8*
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
store i8* %0, i8** %3
store i64 %1, i64* %4
store i64 1, i64* %5
%8 = load i64, i64* %4
store i64 %8, i64* %6
br label %9
9: ; preds = %15, %2
%10 = load i64, i64* %6
%11 = icmp ugt i64 %10, 9
br i1 %11, label %12, label %18
12: ; preds = %9
%13 = load i64, i64* %6
%14 = udiv i64 %13, 10
store i64 %14, i64* %6
br label %15
15: ; preds = %12
%16 = load i64, i64* %5
%17 = add i64 %16, 1
store i64 %17, i64* %5
br label %9
18: ; preds = %9
%19 = load i8*, i8** %3
%20 = icmp ne i8* %19, null
br i1 %20, label %21, label %43
21: ; preds = %18
%22 = load i64, i64* %4
store i64 %22, i64* %6
%23 = load i64, i64* %5
%24 = load i8*, i8** %3
%25 = getelementptr inbounds i8, i8* %24, i64 %23
store i8* %25, i8** %3
%26 = load i64, i64* %5
%27 = add i64 %26, 1
store i64 %27, i64* %7
br label %28
28: ; preds = %39, %21
%29 = load i64, i64* %7
%30 = add i64 %29, -1
store i64 %30, i64* %7
%31 = icmp ne i64 %30, 0
br i1 %31, label %32, label %42
32: ; preds = %28
%33 = load i64, i64* %6
%34 = urem i64 %33, 10
%35 = add i64 %34, 48
%36 = trunc i64 %35 to i8
%37 = load i8*, i8** %3
%38 = getelementptr inbounds i8, i8* %37, i32 -1
store i8* %38, i8** %3
store i8 %36, i8* %38
br label %39
39: ; preds = %32
%40 = load i64, i64* %6
%41 = udiv i64 %40, 10
store i64 %41, i64* %6
br label %28
42: ; preds = %28
br label %43
43: ; preds = %42, %18
%44 = load i64, i64* %5
%45 = trunc i64 %44 to i32
ret i32 %45
}

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