void longToString(unsigned long value, char *stringStart) {
  int iter1, iter2;
  unsigned long denominator;
  for (iter1 = 0; iter1 < 10; iter1++) {
    denominator = 1;
    for (iter2 = 1; iter2 < (10 - iter1); iter2++) {
      denominator = 10 * denominator;
    }
    *(stringStart + iter1) = ((char)(value / denominator)) + '0';
    value -= (value / denominator) * denominator;
  }
}


x86 assembly (clang, -O0):
<longToString>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0xa,-0x14(%rbp)
jge    11a2 <longToString+0xa2>
movq   $0x1,-0x20(%rbp)
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    $0xa,%ecx
sub    -0x14(%rbp),%ecx
cmp    %ecx,%eax
jge    1156 <longToString+0x56>
imul   $0xa,-0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    112c <longToString+0x2c>
mov    -0x8(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x20(%rbp)
movsbl %al,%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x20(%rbp)
mov    %rax,%rcx
imul   -0x20(%rbp),%rcx
mov    -0x8(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1113 <longToString+0x13>
pop    %rbp
ret

x86 assembly (clang, -O2):
<longToString>:
mov    %rdi,%rax
mov    $0xa,%r8d
xor    %edi,%edi
mov    $0x2,%r9d
jmp    1153 <longToString+0x53>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rax,%rdx
or     %rcx,%rdx
shr    $0x20,%rdx
je     11f0 <longToString+0xf0>
xor    %edx,%edx
div    %rcx
mov    %rax,%rcx
mov    %rdx,%rax
add    $0x30,%cl
mov    %cl,(%rsi,%rdi,1)
add    $0x1,%rdi
add    $0xffffffff,%r8d
cmp    $0xa,%rdi
je     11fd <longToString+0xfd>
cmp    $0x3,%r8d
mov    $0x2,%r11d
cmovge %r8d,%r11d
mov    $0xa,%edx
sub    %edi,%edx
cmp    $0x3,%edx
cmovl  %r9d,%edx
mov    $0x1,%ecx
cmp    $0x8,%rdi
ja     1120 <longToString+0x20>
lea    -0x1(%rdx),%r10d
add    $0xfffffffe,%edx
mov    $0x1,%ecx
cmp    $0x7,%edx
jb     11ac <longToString+0xac>
lea    -0x1(%r11),%edx
and    $0xfffffff8,%edx
mov    $0x1,%ecx
nopw   0x0(%rax,%rax,1)
imul   $0x5f5e100,%rcx,%rcx
add    $0xfffffff8,%edx
jne    11a0 <longToString+0xa0>
test   $0x7,%r10b
je     1120 <longToString+0x20>
add    $0xff,%r11b
movzbl %r11b,%edx
and    $0x7,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    %rcx,%rcx
lea    (%rcx,%rcx,4),%rcx
add    $0xffffffff,%edx
jne    11d0 <longToString+0xd0>
jmp    1120 <longToString+0x20>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %edx,%edx
div    %ecx
mov    %eax,%ecx
mov    %edx,%eax
jmp    113b <longToString+0x3b>
ret

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

LLVM IR (-O2):
define void @longToString(i64 %0, i8* nocapture writeonly %1) {
br label %3
3: ; preds = %2, %33
%4 = phi i64 [ 0, %2 ], [ %41, %33 ]
%5 = phi i64 [ %0, %2 ], [ %40, %33 ]
%6 = trunc i64 %4 to i32
%7 = sub i32 10, %6
%8 = call i32 @llvm.smax.i32(i32 %7, i32 2)
%9 = add nsw i32 %8, -1
%10 = icmp ult i64 %4, 9
br i1 %10, label %11, label %33
11: ; preds = %3
%12 = add nsw i32 %8, -2
%13 = and i32 %9, 7
%14 = icmp ult i32 %12, 7
br i1 %14, label %23, label %15
15: ; preds = %11
%16 = and i32 %9, -8
br label %17
17: ; preds = %17, %15
%18 = phi i64 [ 1, %15 ], [ %20, %17 ]
%19 = phi i32 [ 0, %15 ], [ %21, %17 ]
%20 = mul i64 %18, 100000000
%21 = add i32 %19, 8
%22 = icmp eq i32 %21, %16
br i1 %22, label %23, label %17
23: ; preds = %17, %11
%24 = phi i64 [ undef, %11 ], [ %20, %17 ]
%25 = phi i64 [ 1, %11 ], [ %20, %17 ]
%26 = icmp eq i32 %13, 0
br i1 %26, label %33, label %27
27: ; preds = %23, %27
%28 = phi i64 [ %30, %27 ], [ %25, %23 ]
%29 = phi i32 [ %31, %27 ], [ 0, %23 ]
%30 = mul i64 %28, 10
%31 = add i32 %29, 1
%32 = icmp eq i32 %31, %13
br i1 %32, label %33, label %27
33: ; preds = %23, %27, %3
%34 = phi i64 [ 1, %3 ], [ %24, %23 ], [ %30, %27 ]
%35 = udiv i64 %5, %34
%36 = trunc i64 %35 to i8
%37 = add i8 %36, 48
%38 = getelementptr inbounds i8, i8* %1, i64 %4
store i8 %37, i8* %38
%39 = mul i64 %35, %34
%40 = urem i64 %5, %34
%41 = add nuw nsw i64 %4, 1
%42 = icmp eq i64 %41, 10
br i1 %42, label %43, label %3
43: ; preds = %33
ret void
}