void addOne(int *digits, int n) {
  int loop;
  for (loop = 0; loop < n; loop++) {
    digits[loop] = digits[loop] + 1;
    if (digits[loop] > 9)
      digits[loop] = digits[loop] - 10;
  }
}


x86 assembly (clang, -O0):
<addOne>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1175 <addOne+0x75>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
cmpl   $0x9,(%rax,%rcx,4)
jle    1162 <addOne+0x62>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    $0xa,%edx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1167 <addOne+0x67>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1112 <addOne+0x12>
pop    %rbp
ret

x86 assembly (clang, -O2):
<addOne>:
test   %esi,%esi
jle    129b <addOne+0x19b>
mov    %esi,%r9d
cmp    $0x8,%esi
jae    1117 <addOne+0x17>
xor    %ecx,%ecx
jmp    1280 <addOne+0x180>
mov    %r9d,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdx
mov    %rdx,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rdx,%rdx
je     129c <addOne+0x19c>
mov    %r8,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %edx,%edx
movdqa 0xeb9(%rip),%xmm8
movdqa 0xec0(%rip),%xmm9
pcmpeqd %xmm2,%xmm2
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movdqu (%rdi,%rdx,4),%xmm4
movdqu 0x10(%rdi,%rdx,4),%xmm0
movdqu 0x20(%rdi,%rdx,4),%xmm6
movdqu 0x30(%rdi,%rdx,4),%xmm3
movdqa %xmm4,%xmm7
pcmpgtd %xmm8,%xmm7
movdqa %xmm0,%xmm5
pcmpgtd %xmm8,%xmm5
movdqa %xmm7,%xmm1
pand   %xmm9,%xmm1
paddd  %xmm4,%xmm7
paddd  %xmm1,%xmm7
movdqa %xmm5,%xmm1
pand   %xmm9,%xmm1
paddd  %xmm0,%xmm5
paddd  %xmm1,%xmm5
psubd  %xmm2,%xmm7
psubd  %xmm2,%xmm5
movdqu %xmm7,(%rdi,%rdx,4)
movdqu %xmm5,0x10(%rdi,%rdx,4)
movdqa %xmm6,%xmm0
pcmpgtd %xmm8,%xmm0
movdqa %xmm3,%xmm1
pcmpgtd %xmm8,%xmm1
movdqa %xmm0,%xmm4
pand   %xmm9,%xmm4
paddd  %xmm6,%xmm0
paddd  %xmm4,%xmm0
movdqa %xmm1,%xmm4
pand   %xmm9,%xmm4
paddd  %xmm3,%xmm1
paddd  %xmm4,%xmm1
psubd  %xmm2,%xmm0
psubd  %xmm2,%xmm1
movdqu %xmm0,0x20(%rdi,%rdx,4)
movdqu %xmm1,0x30(%rdi,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rsi
jne    1160 <addOne+0x60>
test   $0x1,%r8b
je     1278 <addOne+0x178>
movdqu (%rdi,%rdx,4),%xmm0
movdqu 0x10(%rdi,%rdx,4),%xmm1
movdqa 0xdd3(%rip),%xmm2
movdqa %xmm0,%xmm3
pcmpgtd %xmm2,%xmm3
movdqa %xmm1,%xmm4
pcmpgtd %xmm2,%xmm4
movdqa 0xdcb(%rip),%xmm2
movdqa %xmm3,%xmm5
pand   %xmm2,%xmm5
paddd  %xmm0,%xmm3
paddd  %xmm5,%xmm3
pand   %xmm4,%xmm2
paddd  %xmm1,%xmm4
paddd  %xmm2,%xmm4
pcmpeqd %xmm0,%xmm0
psubd  %xmm0,%xmm3
psubd  %xmm0,%xmm4
movdqu %xmm3,(%rdi,%rdx,4)
movdqu %xmm4,0x10(%rdi,%rdx,4)
cmp    %r9,%rcx
je     129b <addOne+0x19b>
nopl   (%rax)
mov    (%rdi,%rcx,4),%edx
lea    0x1(%rdx),%esi
lea    -0x9(%rdx),%eax
cmp    $0x9,%edx
cmovl  %esi,%eax
mov    %eax,(%rdi,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%r9
jne    1280 <addOne+0x180>
ret
xor    %edx,%edx
test   $0x1,%r8b
jne    121a <addOne+0x11a>
jmp    1278 <addOne+0x178>

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

LLVM IR (-O2):
define void @addOne(i32* nocapture %0, i32 %1) {
%3 = icmp sgt i32 %1, 0
br i1 %3, label %4, label %82
4: ; preds = %2
%5 = zext i32 %1 to i64
%6 = icmp ult i32 %1, 8
br i1 %6, label %71, label %7
7: ; preds = %4
%8 = and i64 %5, 4294967288
%9 = add nsw i64 %8, -8
%10 = lshr exact i64 %9, 3
%11 = add nuw nsw i64 %10, 1
%12 = and i64 %11, 1
%13 = icmp eq i64 %9, 0
br i1 %13, label %51, label %14
14: ; preds = %7
%15 = and i64 %11, 4611686018427387902
br label %16
16: ; preds = %16, %14
%17 = phi i64 [ 0, %14 ], [ %48, %16 ]
%18 = phi i64 [ 0, %14 ], [ %49, %16 ]
%19 = getelementptr inbounds i32, i32* %0, i64 %17
%20 = bitcast i32* %19 to <4 x i32>*
%21 = load <4 x i32>, <4 x i32>* %20
%22 = getelementptr inbounds i32, i32* %19, i64 4
%23 = bitcast i32* %22 to <4 x i32>*
%24 = load <4 x i32>, <4 x i32>* %23
%25 = icmp sgt <4 x i32> %21, <i32 8, i32 8, i32 8, i32 8>
%26 = icmp sgt <4 x i32> %24, <i32 8, i32 8, i32 8, i32 8>
%27 = select <4 x i1> %25, <4 x i32> <i32 -9, i32 -9, i32 -9, i32 -9>, <4 x i32> <i32 1, i32 1, i32 1, i32 1>
%28 = select <4 x i1> %26, <4 x i32> <i32 -9, i32 -9, i32 -9, i32 -9>, <4 x i32> <i32 1, i32 1, i32 1, i32 1>
%29 = add nsw <4 x i32> %27, %21
%30 = add nsw <4 x i32> %28, %24
%31 = bitcast i32* %19 to <4 x i32>*
store <4 x i32> %29, <4 x i32>* %31
%32 = bitcast i32* %22 to <4 x i32>*
store <4 x i32> %30, <4 x i32>* %32
%33 = or i64 %17, 8
%34 = getelementptr inbounds i32, i32* %0, i64 %33
%35 = bitcast i32* %34 to <4 x i32>*
%36 = load <4 x i32>, <4 x i32>* %35
%37 = getelementptr inbounds i32, i32* %34, i64 4
%38 = bitcast i32* %37 to <4 x i32>*
%39 = load <4 x i32>, <4 x i32>* %38
%40 = icmp sgt <4 x i32> %36, <i32 8, i32 8, i32 8, i32 8>
%41 = icmp sgt <4 x i32> %39, <i32 8, i32 8, i32 8, i32 8>
%42 = select <4 x i1> %40, <4 x i32> <i32 -9, i32 -9, i32 -9, i32 -9>, <4 x i32> <i32 1, i32 1, i32 1, i32 1>
%43 = select <4 x i1> %41, <4 x i32> <i32 -9, i32 -9, i32 -9, i32 -9>, <4 x i32> <i32 1, i32 1, i32 1, i32 1>
%44 = add nsw <4 x i32> %42, %36
%45 = add nsw <4 x i32> %43, %39
%46 = bitcast i32* %34 to <4 x i32>*
store <4 x i32> %44, <4 x i32>* %46
%47 = bitcast i32* %37 to <4 x i32>*
store <4 x i32> %45, <4 x i32>* %47
%48 = add nuw i64 %17, 16
%49 = add i64 %18, 2
%50 = icmp eq i64 %49, %15
br i1 %50, label %51, label %16
51: ; preds = %16, %7
%52 = phi i64 [ 0, %7 ], [ %48, %16 ]
%53 = icmp eq i64 %12, 0
br i1 %53, label %69, label %54
54: ; preds = %51
%55 = getelementptr inbounds i32, i32* %0, i64 %52
%56 = bitcast i32* %55 to <4 x i32>*
%57 = load <4 x i32>, <4 x i32>* %56
%58 = getelementptr inbounds i32, i32* %55, i64 4
%59 = bitcast i32* %58 to <4 x i32>*
%60 = load <4 x i32>, <4 x i32>* %59
%61 = icmp sgt <4 x i32> %57, <i32 8, i32 8, i32 8, i32 8>
%62 = icmp sgt <4 x i32> %60, <i32 8, i32 8, i32 8, i32 8>
%63 = select <4 x i1> %61, <4 x i32> <i32 -9, i32 -9, i32 -9, i32 -9>, <4 x i32> <i32 1, i32 1, i32 1, i32 1>
%64 = select <4 x i1> %62, <4 x i32> <i32 -9, i32 -9, i32 -9, i32 -9>, <4 x i32> <i32 1, i32 1, i32 1, i32 1>
%65 = add nsw <4 x i32> %63, %57
%66 = add nsw <4 x i32> %64, %60
%67 = bitcast i32* %55 to <4 x i32>*
store <4 x i32> %65, <4 x i32>* %67
%68 = bitcast i32* %58 to <4 x i32>*
store <4 x i32> %66, <4 x i32>* %68
br label %69
69: ; preds = %51, %54
%70 = icmp eq i64 %8, %5
br i1 %70, label %82, label %71
71: ; preds = %4, %69
%72 = phi i64 [ 0, %4 ], [ %8, %69 ]
br label %73
73: ; preds = %71, %73
%74 = phi i64 [ %80, %73 ], [ %72, %71 ]
%75 = getelementptr inbounds i32, i32* %0, i64 %74
%76 = load i32, i32* %75
%77 = icmp sgt i32 %76, 8
%78 = select i1 %77, i32 -9, i32 1
%79 = add nsw i32 %78, %76
store i32 %79, i32* %75
%80 = add nuw nsw i64 %74, 1
%81 = icmp eq i64 %80, %5
br i1 %81, label %82, label %73
82: ; preds = %73, %69, %2
ret void
}