int walk(char *a, int l) {
  int i;
  for (i = 0; i < l; i++) {
    a[i] = a[i] + 1;
  }
  return i;
}


x86 assembly (clang, -O0):
<walk>:
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    1148 <walk+0x48>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
add    $0x1,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1112 <walk+0x12>
mov    -0x10(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<walk>:
test   %esi,%esi
jle    1115 <walk+0x15>
mov    %esi,%eax
mov    %esi,%r9d
cmp    $0x8,%esi
jae    1118 <walk+0x18>
xor    %edx,%edx
jmp    1200 <walk+0x100>
xor    %eax,%eax
ret
cmp    $0x20,%eax
jae    1124 <walk+0x24>
xor    %edx,%edx
jmp    11cb <walk+0xcb>
mov    %r9d,%edx
and    $0xffffffe0,%edx
lea    -0x20(%rdx),%rcx
mov    %rcx,%r8
shr    $0x5,%r8
add    $0x1,%r8
test   %rcx,%rcx
je     120e <walk+0x10e>
mov    %r8,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %esi,%esi
pcmpeqd %xmm0,%xmm0
nop
movdqu (%rdi,%rsi,1),%xmm1
movdqu 0x10(%rdi,%rsi,1),%xmm2
movdqu 0x20(%rdi,%rsi,1),%xmm3
movdqu 0x30(%rdi,%rsi,1),%xmm4
psubb  %xmm0,%xmm1
psubb  %xmm0,%xmm2
movdqu %xmm1,(%rdi,%rsi,1)
movdqu %xmm2,0x10(%rdi,%rsi,1)
psubb  %xmm0,%xmm3
psubb  %xmm0,%xmm4
movdqu %xmm3,0x20(%rdi,%rsi,1)
movdqu %xmm4,0x30(%rdi,%rsi,1)
add    $0x40,%rsi
add    $0xfffffffffffffffe,%rcx
jne    1150 <walk+0x50>
test   $0x1,%r8b
je     11c0 <walk+0xc0>
movdqu (%rdi,%rsi,1),%xmm0
movdqu 0x10(%rdi,%rsi,1),%xmm1
pcmpeqd %xmm2,%xmm2
psubb  %xmm2,%xmm0
psubb  %xmm2,%xmm1
movdqu %xmm0,(%rdi,%rsi,1)
movdqu %xmm1,0x10(%rdi,%rsi,1)
cmp    %r9,%rdx
je     120d <walk+0x10d>
test   $0x18,%r9b
je     1200 <walk+0x100>
mov    %rdx,%rcx
mov    %r9d,%edx
and    $0xfffffff8,%edx
pcmpeqd %xmm0,%xmm0
nopl   0x0(%rax,%rax,1)
movq   (%rdi,%rcx,1),%xmm1
psubb  %xmm0,%xmm1
movq   %xmm1,(%rdi,%rcx,1)
add    $0x8,%rcx
cmp    %rcx,%rdx
jne    11e0 <walk+0xe0>
cmp    %r9,%rdx
je     120d <walk+0x10d>
nopl   0x0(%rax)
addb   $0x1,(%rdi,%rdx,1)
add    $0x1,%rdx
cmp    %rdx,%r9
jne    1200 <walk+0x100>
ret
xor    %esi,%esi
test   $0x1,%r8b
jne    119e <walk+0x9e>
jmp    11c0 <walk+0xc0>

LLVM IR (-O0):
define i32 @walk(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
store i8* %0, i8** %3
store i32 %1, i32* %4
store i32 0, i32* %5
br label %6
6: ; preds = %23, %2
%7 = load i32, i32* %5
%8 = load i32, i32* %4
%9 = icmp slt i32 %7, %8
br i1 %9, label %10, label %26
10: ; preds = %6
%11 = load i8*, i8** %3
%12 = load i32, i32* %5
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i8, i8* %11, i64 %13
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = add nsw i32 %16, 1
%18 = trunc i32 %17 to i8
%19 = load i8*, i8** %3
%20 = load i32, i32* %5
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %19, i64 %21
store i8 %18, i8* %22
br label %23
23: ; preds = %10
%24 = load i32, i32* %5
%25 = add nsw i32 %24, 1
store i32 %25, i32* %5
br label %6
26: ; preds = %6
%27 = load i32, i32* %5
ret i32 %27
}

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