int libc_ulltoa(unsigned long long i, char *dst, int n, int nopad) {
  int x, y;
  unsigned long long a, b;
  int empty_digit = 1;
  int sp = 0;
  int n2 = 0;
  if (n <= 0)
    return 0;
  for (x = 18; x >= 0; x--) {
    a = 1;
    for (y = 0; y < x; y++)
      a *= 10;
    b = (i / a);
    if (b >= 1)
      empty_digit = 0;
    if (empty_digit == 0 || x == 0 || nopad == 1) {
      i -= b * a;
      if (n2 != (n - 1)) {
        dst[sp++] = b + '0';
        n2++;
      }
    }
  }
  dst[sp] = 0;
  return n2;
}


x86 assembly (clang, -O0):
<libc_ulltoa>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %ecx,-0x20(%rbp)
movl   $0x1,-0x3c(%rbp)
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jg     113d <libc_ulltoa+0x3d>
movl   $0x0,-0x4(%rbp)
jmp    1237 <libc_ulltoa+0x137>
movl   $0x12,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jl     1225 <libc_ulltoa+0x125>
movq   $0x1,-0x30(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1180 <libc_ulltoa+0x80>
imul   $0xa,-0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    115d <libc_ulltoa+0x5d>
mov    -0x10(%rbp),%rax
xor    %ecx,%ecx
mov    %ecx,%edx
divq   -0x30(%rbp)
mov    %rax,-0x38(%rbp)
cmpq   $0x1,-0x38(%rbp)
jb     11a2 <libc_ulltoa+0xa2>
movl   $0x0,-0x3c(%rbp)
cmpl   $0x0,-0x3c(%rbp)
je     11c0 <libc_ulltoa+0xc0>
cmpl   $0x0,-0x24(%rbp)
je     11c0 <libc_ulltoa+0xc0>
cmpl   $0x1,-0x20(%rbp)
jne    1212 <libc_ulltoa+0x112>
mov    -0x38(%rbp),%rcx
imul   -0x30(%rbp),%rcx
mov    -0x10(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x44(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
je     120d <libc_ulltoa+0x10d>
mov    -0x38(%rbp),%rax
add    $0x30,%rax
mov    %al,%dl
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x40(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1212 <libc_ulltoa+0x112>
jmp    1217 <libc_ulltoa+0x117>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    1144 <libc_ulltoa+0x44>
mov    -0x18(%rbp),%rax
movslq -0x40(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<libc_ulltoa>:
test   %edx,%edx
jle    1224 <libc_ulltoa+0x124>
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %edx,%r8d
add    $0xffffffff,%r8d
mov    $0x12,%r10d
mov    $0x1,%r11d
xor    %r14d,%r14d
xor    %ebx,%ebx
xor    %r9d,%r9d
xor    %r15d,%r15d
jmp    114f <libc_ulltoa+0x4f>
add    $0x30,%al
movslq %r15d,%rdi
add    $0x1,%r15d
mov    %al,(%rsi,%rdi,1)
add    $0x1,%r9d
add    $0x1,%ebx
mov    %rdx,%rdi
test   %r12d,%r12d
je     1211 <libc_ulltoa+0x111>
mov    %r10d,%r12d
mov    $0x1,%ebp
sub    $0x1,%r10d
jb     11ad <libc_ulltoa+0xad>
lea    -0xb(%rbx),%eax
mov    $0x1,%ebp
cmp    $0x7,%eax
jb     118c <libc_ulltoa+0x8c>
mov    %r12d,%eax
and    $0xfffffff8,%eax
mov    $0x1,%ebp
cs nopw 0x0(%rax,%rax,1)
nop
imul   $0x5f5e100,%rbp,%rbp
add    $0xfffffff8,%eax
jne    1180 <libc_ulltoa+0x80>
test   $0x7,%r12b
je     11ad <libc_ulltoa+0xad>
mov    %r12d,%eax
and    $0x7,%eax
nopl   0x0(%rax,%rax,1)
add    %rbp,%rbp
lea    0x0(%rbp,%rbp,4),%rbp
add    $0xffffffff,%eax
jne    11a0 <libc_ulltoa+0xa0>
mov    %rdi,%rax
or     %rbp,%rax
shr    $0x20,%rax
je     11d0 <libc_ulltoa+0xd0>
mov    %rdi,%rax
xor    %edx,%edx
div    %rbp
jmp    11d6 <libc_ulltoa+0xd6>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %edi,%eax
xor    %edx,%edx
div    %ebp
cmp    %rdi,%rbp
cmovbe %r14d,%r11d
cmp    $0x1,%ecx
je     1200 <libc_ulltoa+0x100>
test   %r11d,%r11d
je     1200 <libc_ulltoa+0x100>
test   %r12d,%r12d
je     1200 <libc_ulltoa+0x100>
mov    %rdi,%rdx
jmp    1140 <libc_ulltoa+0x40>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    %r8d,%r9d
jne    1130 <libc_ulltoa+0x30>
mov    %r8d,%r9d
jmp    1140 <libc_ulltoa+0x40>
movslq %r15d,%rax
movb   $0x0,(%rsi,%rax,1)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
mov    %r9d,%eax
ret
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define i32 @libc_ulltoa(i64 %0, i8* nocapture writeonly %1, i32 %2, i32 %3) {
%5 = icmp slt i32 %2, 1
br i1 %5, label %68, label %6
6: ; preds = %4
%7 = icmp eq i32 %3, 1
%8 = add nsw i32 %2, -1
br label %9
9: ; preds = %6, %59
%10 = phi i32 [ 0, %6 ], [ %64, %59 ]
%11 = phi i32 [ 0, %6 ], [ %62, %59 ]
%12 = phi i32 [ 0, %6 ], [ %61, %59 ]
%13 = phi i32 [ 1, %6 ], [ %44, %59 ]
%14 = phi i32 [ 18, %6 ], [ %63, %59 ]
%15 = phi i64 [ %0, %6 ], [ %60, %59 ]
%16 = icmp eq i32 %14, 0
br i1 %16, label %39, label %17
17: ; preds = %9
%18 = and i32 %14, 7
%19 = add i32 %10, -11
%20 = icmp ult i32 %19, 7
br i1 %20, label %29, label %21
21: ; preds = %17
%22 = and i32 %14, -8
br label %23
23: ; preds = %23, %21
%24 = phi i64 [ 1, %21 ], [ %26, %23 ]
%25 = phi i32 [ 0, %21 ], [ %27, %23 ]
%26 = mul i64 %24, 100000000
%27 = add i32 %25, 8
%28 = icmp eq i32 %27, %22
br i1 %28, label %29, label %23
29: ; preds = %23, %17
%30 = phi i64 [ undef, %17 ], [ %26, %23 ]
%31 = phi i64 [ 1, %17 ], [ %26, %23 ]
%32 = icmp eq i32 %18, 0
br i1 %32, label %39, label %33
33: ; preds = %29, %33
%34 = phi i64 [ %36, %33 ], [ %31, %29 ]
%35 = phi i32 [ %37, %33 ], [ 0, %29 ]
%36 = mul i64 %34, 10
%37 = add i32 %35, 1
%38 = icmp eq i32 %37, %18
br i1 %38, label %39, label %33
39: ; preds = %29, %33, %9
%40 = phi i64 [ 1, %9 ], [ %30, %29 ], [ %36, %33 ]
%41 = udiv i64 %15, %40
%42 = urem i64 %15, %40
%43 = icmp ugt i64 %40, %15
%44 = select i1 %43, i32 %13, i32 0
%45 = icmp eq i32 %44, 0
%46 = icmp eq i32 %14, 0
%47 = select i1 %45, i1 true, i1 %46
%48 = or i1 %7, %47
br i1 %48, label %49, label %59
49: ; preds = %39
%50 = mul i64 %41, %40
%51 = icmp eq i32 %11, %8
br i1 %51, label %59, label %52
52: ; preds = %49
%53 = trunc i64 %41 to i8
%54 = add i8 %53, 48
%55 = add nsw i32 %12, 1
%56 = sext i32 %12 to i64
%57 = getelementptr inbounds i8, i8* %1, i64 %56
store i8 %54, i8* %57
%58 = add nsw i32 %11, 1
br label %59
59: ; preds = %39, %52, %49
%60 = phi i64 [ %42, %52 ], [ %42, %49 ], [ %15, %39 ]
%61 = phi i32 [ %55, %52 ], [ %12, %49 ], [ %12, %39 ]
%62 = phi i32 [ %58, %52 ], [ %8, %49 ], [ %11, %39 ]
%63 = add nsw i32 %14, -1
%64 = add i32 %10, 1
br i1 %16, label %65, label %9
65: ; preds = %59
%66 = sext i32 %61 to i64
%67 = getelementptr inbounds i8, i8* %1, i64 %66
store i8 0, i8* %67
br label %68
68: ; preds = %4, %65
%69 = phi i32 [ %62, %65 ], [ 0, %4 ]
ret i32 %69
}