#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef char uint32_t;
typedef int int32_t;

/* Variables and functions */
uint32_t adler32(char *buf, int32_t len) {
  int32_t i;
  uint32_t s1, s2;
  s1 = s2 = 0;
  for (i = 0; i < (len - 4); i += 4) {
    s2 += 4 * (s1 + buf[i]) + 3 * buf[i + 1] + 2 * buf[i + 2] + buf[i + 3] +
          10 * 31;
    s1 += (buf[i + 0] + buf[i + 1] + buf[i + 2] + buf[i + 3] + 4 * 31);
  }
  for (; i < len; i++) {
    s1 += (buf[i] + 31);
    s2 += s1;
  }
  return (s1 & 0xffff) + (s2 << 16);
}


x86 assembly (clang, -O0):
<adler32>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movb   $0x0,-0x12(%rbp)
movb   $0x0,-0x11(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x4,%ecx
cmp    %ecx,%eax
jge    11f2 <adler32+0xf2>
movsbl -0x11(%rbp),%ecx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rdx
movsbl (%rax,%rdx,1),%eax
add    %eax,%ecx
shl    $0x2,%ecx
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
movsbl (%rax,%rdx,1),%eax
imul   $0x3,%eax,%eax
add    %eax,%ecx
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
movsbl (%rax,%rdx,1),%eax
shl    $0x1,%eax
add    %eax,%ecx
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
movsbl (%rax,%rdx,1),%eax
add    %eax,%ecx
add    $0x136,%ecx
movsbl -0x12(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x12(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%ecx
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
movsbl (%rax,%rdx,1),%eax
add    %eax,%ecx
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%edx
add    $0x2,%edx
movslq %edx,%rdx
movsbl (%rax,%rdx,1),%eax
add    %eax,%ecx
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%edx
add    $0x3,%edx
movslq %edx,%rdx
movsbl (%rax,%rdx,1),%eax
add    %eax,%ecx
add    $0x7c,%ecx
movsbl -0x11(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x11(%rbp)
mov    -0x10(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x10(%rbp)
jmp    111a <adler32+0x1a>
jmp    11f7 <adler32+0xf7>
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1236 <adler32+0x136>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
add    $0x1f,%ecx
movsbl -0x11(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x11(%rbp)
movsbl -0x11(%rbp),%ecx
movsbl -0x12(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x12(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11f7 <adler32+0xf7>
movsbl -0x11(%rbp),%eax
and    $0xffff,%eax
movsbl -0x12(%rbp),%ecx
shl    $0x10,%ecx
add    %ecx,%eax
movsbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<adler32>:
xor    %ecx,%ecx
mov    $0x0,%eax
cmp    $0x5,%esi
jl     113c <adler32+0x3c>
lea    -0x4(%rsi),%r8d
xor    %ecx,%ecx
pxor   %xmm0,%xmm0
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movd   (%rdi,%rcx,1),%xmm1
psadbw %xmm0,%xmm1
movd   %xmm1,%edx
add    %al,%dl
mov    %edx,%eax
add    $0x7c,%al
add    $0x4,%rcx
cmp    %r8,%rcx
jb     1120 <adler32+0x20>
cmp    %esi,%ecx
jge    12ce <adler32+0x1ce>
mov    %ecx,%r10d
mov    %esi,%r11d
mov    %r11,%r8
sub    %r10,%r8
cmp    $0x8,%r8
jae    115e <adler32+0x5e>
mov    %r10,%rdx
jmp    12c0 <adler32+0x1c0>
cmp    $0x20,%r8
jae    116b <adler32+0x6b>
xor    %esi,%esi
jmp    1245 <adler32+0x145>
mov    %r8,%rsi
and    $0xffffffffffffffe0,%rsi
movzbl %al,%eax
movd   %eax,%xmm0
lea    -0x20(%rsi),%rax
mov    %rax,%r9
shr    $0x5,%r9
add    $0x1,%r9
test   %rax,%rax
je     129a <adler32+0x19a>
mov    %r9,%rdx
and    $0xfffffffffffffffe,%rdx
lea    (%r10,%rdi,1),%rcx
add    $0x30,%rcx
pxor   %xmm1,%xmm1
xor    %eax,%eax
movdqa 0xe62(%rip),%xmm2
xchg   %ax,%ax
movdqu -0x30(%rcx,%rax,1),%xmm3
paddb  %xmm0,%xmm3
movdqu -0x20(%rcx,%rax,1),%xmm4
paddb  %xmm1,%xmm4
movdqu -0x10(%rcx,%rax,1),%xmm0
movdqu (%rcx,%rax,1),%xmm1
paddb  %xmm2,%xmm0
paddb  %xmm3,%xmm0
paddb  %xmm2,%xmm1
paddb  %xmm4,%xmm1
add    $0x40,%rax
add    $0xfffffffffffffffe,%rdx
jne    11b0 <adler32+0xb0>
movdqa 0xe0f(%rip),%xmm2
paddb  %xmm1,%xmm2
test   $0x1,%r9b
je     121d <adler32+0x11d>
add    %r10,%rax
movdqu (%rdi,%rax,1),%xmm1
paddb  %xmm1,%xmm0
movdqu 0x10(%rdi,%rax,1),%xmm1
paddb  %xmm1,%xmm2
paddb  0xde7(%rip),%xmm0
movdqa %xmm2,%xmm1
paddb  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddb  %xmm0,%xmm1
pxor   %xmm0,%xmm0
psadbw %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %rsi,%r8
je     12ce <adler32+0x1ce>
test   $0x18,%r8b
je     12b3 <adler32+0x1b3>
mov    %r8,%rcx
and    $0xfffffffffffffff8,%rcx
lea    (%rcx,%r10,1),%rdx
movzbl %al,%eax
movd   %eax,%xmm0
add    %rdi,%r10
movdqa 0xdbe(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movq   (%r10,%rsi,1),%xmm2
paddb  %xmm2,%xmm0
paddb  %xmm1,%xmm0
add    $0x8,%rsi
cmp    %rsi,%rcx
jne    1270 <adler32+0x170>
pxor   %xmm1,%xmm1
psadbw %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %rcx,%r8
jne    12c0 <adler32+0x1c0>
jmp    12ce <adler32+0x1ce>
movdqa 0xd5e(%rip),%xmm2
xor    %eax,%eax
test   $0x1,%r9b
jne    11fb <adler32+0xfb>
jmp    121d <adler32+0x11d>
add    %r10,%rsi
mov    %rsi,%rdx
nopl   0x0(%rax)
add    (%rdi,%rdx,1),%al
add    $0x1f,%al
add    $0x1,%rdx
cmp    %rdx,%r11
jne    12c0 <adler32+0x1c0>
ret

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

LLVM IR (-O2):
define signext i8 @adler32(i8* nocapture %0, i32 %1) {
%3 = icmp sgt i32 %1, 4
br i1 %3, label %4, label %9
4: ; preds = %2
%5 = add nsw i32 %1, -4
%6 = zext i32 %5 to i64
br label %115
7: ; preds = %115
%8 = trunc i64 %124 to i32
br label %9
9: ; preds = %7, %2
%10 = phi i32 [ 0, %2 ], [ %8, %7 ]
%11 = phi i8 [ 0, %2 ], [ %123, %7 ]
%12 = icmp slt i32 %10, %1
br i1 %12, label %13, label %135
13: ; preds = %9
%14 = zext i32 %10 to i64
%15 = zext i32 %1 to i64
%16 = sub nsw i64 %15, %14
%17 = icmp ult i64 %16, 8
br i1 %17, label %112, label %18
18: ; preds = %13
%19 = icmp ult i64 %16, 32
br i1 %19, label %91, label %20
20: ; preds = %18
%21 = and i64 %16, -32
%22 = insertelement <16 x i8> <i8 poison, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0>, i8 %11, i64 0
%23 = add nsw i64 %21, -32
%24 = lshr exact i64 %23, 5
%25 = add nuw nsw i64 %24, 1
%26 = and i64 %25, 1
%27 = icmp eq i64 %23, 0
br i1 %27, label %63, label %28
28: ; preds = %20
%29 = and i64 %25, 1152921504606846974
br label %30
30: ; preds = %30, %28
%31 = phi i64 [ 0, %28 ], [ %58, %30 ]
%32 = phi <16 x i8> [ %22, %28 ], [ %56, %30 ]
%33 = phi <16 x i8> [ zeroinitializer, %28 ], [ %57, %30 ]
%34 = phi i64 [ 0, %28 ], [ %59, %30 ]
%35 = add i64 %31, %14
%36 = getelementptr inbounds i8, i8* %0, i64 %35
%37 = bitcast i8* %36 to <16 x i8>*
%38 = load <16 x i8>, <16 x i8>* %37
%39 = getelementptr inbounds i8, i8* %36, i64 16
%40 = bitcast i8* %39 to <16 x i8>*
%41 = load <16 x i8>, <16 x i8>* %40
%42 = add <16 x i8> %32, <i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31>
%43 = add <16 x i8> %33, <i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31>
%44 = add <16 x i8> %42, %38
%45 = add <16 x i8> %43, %41
%46 = or i64 %31, 32
%47 = add i64 %46, %14
%48 = getelementptr inbounds i8, i8* %0, i64 %47
%49 = bitcast i8* %48 to <16 x i8>*
%50 = load <16 x i8>, <16 x i8>* %49
%51 = getelementptr inbounds i8, i8* %48, i64 16
%52 = bitcast i8* %51 to <16 x i8>*
%53 = load <16 x i8>, <16 x i8>* %52
%54 = add <16 x i8> %44, <i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31>
%55 = add <16 x i8> %45, <i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31>
%56 = add <16 x i8> %54, %50
%57 = add <16 x i8> %55, %53
%58 = add nuw i64 %31, 64
%59 = add i64 %34, 2
%60 = icmp eq i64 %59, %29
br i1 %60, label %61, label %30
61: ; preds = %30
%62 = add <16 x i8> %57, <i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31>
br label %63
63: ; preds = %61, %20
%64 = phi <16 x i8> [ undef, %20 ], [ %56, %61 ]
%65 = phi <16 x i8> [ undef, %20 ], [ %57, %61 ]
%66 = phi i64 [ 0, %20 ], [ %58, %61 ]
%67 = phi <16 x i8> [ %22, %20 ], [ %56, %61 ]
%68 = phi <16 x i8> [ <i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31>, %20 ], [ %62, %61 ]
%69 = icmp eq i64 %26, 0
br i1 %69, label %81, label %70
70: ; preds = %63
%71 = add i64 %66, %14
%72 = getelementptr inbounds i8, i8* %0, i64 %71
%73 = bitcast i8* %72 to <16 x i8>*
%74 = load <16 x i8>, <16 x i8>* %73
%75 = getelementptr inbounds i8, i8* %72, i64 16
%76 = bitcast i8* %75 to <16 x i8>*
%77 = load <16 x i8>, <16 x i8>* %76
%78 = add <16 x i8> %67, <i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31>
%79 = add <16 x i8> %78, %74
%80 = add <16 x i8> %68, %77
br label %81
81: ; preds = %63, %70
%82 = phi <16 x i8> [ %64, %63 ], [ %79, %70 ]
%83 = phi <16 x i8> [ %65, %63 ], [ %80, %70 ]
%84 = add <16 x i8> %83, %82
%85 = call i8 @llvm.vector.reduce.add.v16i8(<16 x i8> %84)
%86 = icmp eq i64 %16, %21
br i1 %86, label %135, label %87
87: ; preds = %81
%88 = add nsw i64 %21, %14
%89 = and i64 %16, 24
%90 = icmp eq i64 %89, 0
br i1 %90, label %112, label %91
91: ; preds = %18, %87
%92 = phi i8 [ %11, %18 ], [ %85, %87 ]
%93 = phi i64 [ 0, %18 ], [ %21, %87 ]
%94 = sub nsw i64 %15, %14
%95 = and i64 %94, -8
%96 = add nsw i64 %95, %14
%97 = insertelement <8 x i8> <i8 poison, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0>, i8 %92, i64 0
br label %98
98: ; preds = %98, %91
%99 = phi i64 [ %93, %91 ], [ %107, %98 ]
%100 = phi <8 x i8> [ %97, %91 ], [ %106, %98 ]
%101 = add i64 %99, %14
%102 = getelementptr inbounds i8, i8* %0, i64 %101
%103 = bitcast i8* %102 to <8 x i8>*
%104 = load <8 x i8>, <8 x i8>* %103
%105 = add <8 x i8> %100, <i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31, i8 31>
%106 = add <8 x i8> %105, %104
%107 = add nuw i64 %99, 8
%108 = icmp eq i64 %107, %95
br i1 %108, label %109, label %98
109: ; preds = %98
%110 = call i8 @llvm.vector.reduce.add.v8i8(<8 x i8> %106)
%111 = icmp eq i64 %94, %95
br i1 %111, label %135, label %112
112: ; preds = %13, %87, %109
%113 = phi i64 [ %14, %13 ], [ %88, %87 ], [ %96, %109 ]
%114 = phi i8 [ %11, %13 ], [ %85, %87 ], [ %110, %109 ]
br label %126
115: ; preds = %4, %115
%116 = phi i64 [ 0, %4 ], [ %124, %115 ]
%117 = phi i8 [ 0, %4 ], [ %123, %115 ]
%118 = getelementptr inbounds i8, i8* %0, i64 %116
%119 = bitcast i8* %118 to <4 x i8>*
%120 = load <4 x i8>, <4 x i8>* %119
%121 = add i8 %117, 124
%122 = call i8 @llvm.vector.reduce.add.v4i8(<4 x i8> %120)
%123 = add i8 %122, %121
%124 = add nuw nsw i64 %116, 4
%125 = icmp ult i64 %124, %6
br i1 %125, label %115, label %7
126: ; preds = %112, %126
%127 = phi i64 [ %133, %126 ], [ %113, %112 ]
%128 = phi i8 [ %132, %126 ], [ %114, %112 ]
%129 = getelementptr inbounds i8, i8* %0, i64 %127
%130 = load i8, i8* %129
%131 = add i8 %128, 31
%132 = add i8 %131, %130
%133 = add nuw nsw i64 %127, 1
%134 = icmp eq i64 %133, %15
br i1 %134, label %135, label %126
135: ; preds = %126, %81, %109, %9
%136 = phi i8 [ %11, %9 ], [ %85, %81 ], [ %110, %109 ], [ %132, %126 ]
ret i8 %136
}