unsigned int adlersum(const unsigned char *p, int l, unsigned int adler) {
  unsigned int s1 = (adler & 65535), s2 = (adler >> 16);
  while (l--) {
    s1 += *p++;
    s2 += s1;
  }
  s1 %= 65521;
  s2 %= 65521;
  return (s2 << 16) + s1;
}


x86 assembly (clang, -O0):
<adlersum>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x10(%rbp),%eax
and    $0xffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
shr    $0x10,%eax
mov    %eax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0xc(%rbp)
cmp    $0x0,%eax
je     115c <adlersum+0x5c>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
movzbl (%rax),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    1122 <adlersum+0x22>
mov    -0x14(%rbp),%eax
mov    $0xfff1,%ecx
xor    %edx,%edx
div    %ecx
mov    %edx,-0x14(%rbp)
mov    -0x18(%rbp),%eax
mov    $0xfff1,%ecx
xor    %edx,%edx
div    %ecx
mov    %edx,-0x18(%rbp)
mov    -0x18(%rbp),%eax
shl    $0x10,%eax
add    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<adlersum>:
mov    %edx,%eax
movzwl %ax,%r10d
shr    $0x10,%eax
test   %esi,%esi
je     1180 <adlersum+0x80>
lea    -0x1(%rsi),%r8d
test   $0x3,%sil
je     1138 <adlersum+0x38>
mov    %esi,%r9d
and    $0x3,%r9d
xor    %edx,%edx
movzbl (%rdi,%rdx,1),%ecx
add    %ecx,%r10d
add    %r10d,%eax
add    $0x1,%rdx
cmp    %edx,%r9d
jne    1120 <adlersum+0x20>
add    %rdx,%rdi
sub    %edx,%esi
cmp    $0x3,%r8d
jb     1180 <adlersum+0x80>
mov    %esi,%r8d
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%rdi,%rsi,1),%ecx
add    %r10d,%ecx
add    %ecx,%eax
movzbl 0x1(%rdi,%rsi,1),%edx
add    %ecx,%edx
add    %edx,%eax
movzbl 0x2(%rdi,%rsi,1),%ecx
add    %edx,%ecx
add    %ecx,%eax
movzbl 0x3(%rdi,%rsi,1),%r10d
add    %ecx,%r10d
add    %r10d,%eax
add    $0x4,%rsi
cmp    %esi,%r8d
jne    1150 <adlersum+0x50>
mov    %r10d,%ecx
mov    $0x80078071,%edx
imul   %rdx,%rcx
shr    $0x2f,%rcx
imul   $0xfff1,%ecx,%ecx
sub    %ecx,%r10d
mov    %eax,%ecx
imul   %rdx,%rcx
shr    $0x2f,%rcx
imul   $0xfff1,%ecx,%ecx
sub    %ecx,%eax
shl    $0x10,%eax
or     %r10d,%eax
ret

LLVM IR (-O0):
define i32 @adlersum(i8* %0, i32 %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%9 = load i32, i32* %6
%10 = and i32 %9, 65535
store i32 %10, i32* %7
%11 = load i32, i32* %6
%12 = lshr i32 %11, 16
store i32 %12, i32* %8
br label %13
13: ; preds = %17, %3
%14 = load i32, i32* %5
%15 = add nsw i32 %14, -1
store i32 %15, i32* %5
%16 = icmp ne i32 %14, 0
br i1 %16, label %17, label %27
17: ; preds = %13
%18 = load i8*, i8** %4
%19 = getelementptr inbounds i8, i8* %18, i32 1
store i8* %19, i8** %4
%20 = load i8, i8* %18
%21 = zext i8 %20 to i32
%22 = load i32, i32* %7
%23 = add i32 %22, %21
store i32 %23, i32* %7
%24 = load i32, i32* %7
%25 = load i32, i32* %8
%26 = add i32 %25, %24
store i32 %26, i32* %8
br label %13
27: ; preds = %13
%28 = load i32, i32* %7
%29 = urem i32 %28, 65521
store i32 %29, i32* %7
%30 = load i32, i32* %8
%31 = urem i32 %30, 65521
store i32 %31, i32* %8
%32 = load i32, i32* %8
%33 = shl i32 %32, 16
%34 = load i32, i32* %7
%35 = add i32 %33, %34
ret i32 %35
}

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