unsigned Walk1Add(const unsigned *p, unsigned num, unsigned a0) {
  unsigned i;
  num >>= 4;
  for (i = 0; i < num; i++) {
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
    a0 += p[a0];
  }
  return a0;
}


x86 assembly (clang, -O0):
<Walk1Add>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
shr    $0x4,%eax
mov    %eax,-0xc(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    1238 <Walk1Add+0x138>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    111e <Walk1Add+0x1e>
mov    -0x10(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<Walk1Add>:
mov    %edx,%eax
cmp    $0x10,%esi
jb     1147 <Walk1Add+0x47>
shr    $0x4,%esi
nopw   0x0(%rax,%rax,1)
mov    %eax,%ecx
add    (%rdi,%rcx,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    (%rdi,%rax,4),%eax
add    $0xffffffff,%esi
jne    1110 <Walk1Add+0x10>
ret

LLVM IR (-O0):
define i32 @Walk1Add(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%8 = load i32, i32* %5
%9 = lshr i32 %8, 4
store i32 %9, i32* %5
store i32 0, i32* %7
br label %10
10: ; preds = %127, %3
%11 = load i32, i32* %7
%12 = load i32, i32* %5
%13 = icmp ult i32 %11, %12
br i1 %13, label %14, label %130
14: ; preds = %10
%15 = load i32*, i32** %4
%16 = load i32, i32* %6
%17 = zext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %15, i64 %17
%19 = load i32, i32* %18
%20 = load i32, i32* %6
%21 = add i32 %20, %19
store i32 %21, i32* %6
%22 = load i32*, i32** %4
%23 = load i32, i32* %6
%24 = zext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %22, i64 %24
%26 = load i32, i32* %25
%27 = load i32, i32* %6
%28 = add i32 %27, %26
store i32 %28, i32* %6
%29 = load i32*, i32** %4
%30 = load i32, i32* %6
%31 = zext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %29, i64 %31
%33 = load i32, i32* %32
%34 = load i32, i32* %6
%35 = add i32 %34, %33
store i32 %35, i32* %6
%36 = load i32*, i32** %4
%37 = load i32, i32* %6
%38 = zext i32 %37 to i64
%39 = getelementptr inbounds i32, i32* %36, i64 %38
%40 = load i32, i32* %39
%41 = load i32, i32* %6
%42 = add i32 %41, %40
store i32 %42, i32* %6
%43 = load i32*, i32** %4
%44 = load i32, i32* %6
%45 = zext i32 %44 to i64
%46 = getelementptr inbounds i32, i32* %43, i64 %45
%47 = load i32, i32* %46
%48 = load i32, i32* %6
%49 = add i32 %48, %47
store i32 %49, i32* %6
%50 = load i32*, i32** %4
%51 = load i32, i32* %6
%52 = zext i32 %51 to i64
%53 = getelementptr inbounds i32, i32* %50, i64 %52
%54 = load i32, i32* %53
%55 = load i32, i32* %6
%56 = add i32 %55, %54
store i32 %56, i32* %6
%57 = load i32*, i32** %4
%58 = load i32, i32* %6
%59 = zext i32 %58 to i64
%60 = getelementptr inbounds i32, i32* %57, i64 %59
%61 = load i32, i32* %60
%62 = load i32, i32* %6
%63 = add i32 %62, %61
store i32 %63, i32* %6
%64 = load i32*, i32** %4
%65 = load i32, i32* %6
%66 = zext i32 %65 to i64
%67 = getelementptr inbounds i32, i32* %64, i64 %66
%68 = load i32, i32* %67
%69 = load i32, i32* %6
%70 = add i32 %69, %68
store i32 %70, i32* %6
%71 = load i32*, i32** %4
%72 = load i32, i32* %6
%73 = zext i32 %72 to i64
%74 = getelementptr inbounds i32, i32* %71, i64 %73
%75 = load i32, i32* %74
%76 = load i32, i32* %6
%77 = add i32 %76, %75
store i32 %77, i32* %6
%78 = load i32*, i32** %4
%79 = load i32, i32* %6
%80 = zext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %78, i64 %80
%82 = load i32, i32* %81
%83 = load i32, i32* %6
%84 = add i32 %83, %82
store i32 %84, i32* %6
%85 = load i32*, i32** %4
%86 = load i32, i32* %6
%87 = zext i32 %86 to i64
%88 = getelementptr inbounds i32, i32* %85, i64 %87
%89 = load i32, i32* %88
%90 = load i32, i32* %6
%91 = add i32 %90, %89
store i32 %91, i32* %6
%92 = load i32*, i32** %4
%93 = load i32, i32* %6
%94 = zext i32 %93 to i64
%95 = getelementptr inbounds i32, i32* %92, i64 %94
%96 = load i32, i32* %95
%97 = load i32, i32* %6
%98 = add i32 %97, %96
store i32 %98, i32* %6
%99 = load i32*, i32** %4
%100 = load i32, i32* %6
%101 = zext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %99, i64 %101
%103 = load i32, i32* %102
%104 = load i32, i32* %6
%105 = add i32 %104, %103
store i32 %105, i32* %6
%106 = load i32*, i32** %4
%107 = load i32, i32* %6
%108 = zext i32 %107 to i64
%109 = getelementptr inbounds i32, i32* %106, i64 %108
%110 = load i32, i32* %109
%111 = load i32, i32* %6
%112 = add i32 %111, %110
store i32 %112, i32* %6
%113 = load i32*, i32** %4
%114 = load i32, i32* %6
%115 = zext i32 %114 to i64
%116 = getelementptr inbounds i32, i32* %113, i64 %115
%117 = load i32, i32* %116
%118 = load i32, i32* %6
%119 = add i32 %118, %117
store i32 %119, i32* %6
%120 = load i32*, i32** %4
%121 = load i32, i32* %6
%122 = zext i32 %121 to i64
%123 = getelementptr inbounds i32, i32* %120, i64 %122
%124 = load i32, i32* %123
%125 = load i32, i32* %6
%126 = add i32 %125, %124
store i32 %126, i32* %6
br label %127
127: ; preds = %14
%128 = load i32, i32* %7
%129 = add i32 %128, 1
store i32 %129, i32* %7
br label %10
130: ; preds = %10
%131 = load i32, i32* %6
ret i32 %131
}

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