#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 scalar_t__ uint8_t;
typedef int uint64_t;
typedef int uint32_t;

/* Variables and functions */
uint32_t adler32_base(uint32_t adler32, uint8_t *start, uint32_t length) {
  uint8_t *end, *next = start;
  uint64_t A, B;
  A = adler32 & 0xffff;
  B = adler32 >> 16;
  while (length > (1 << 28)) {
    end = next + (1 << 28);
    for (; next < end; next++) {
      A += *next;
      B += A;
    }
    A = A % 65521;
    B = B % 65521;
    length -= (1 << 28);
  }
  end = next + length;
  for (; next < end; next++) {
    A += *next;
    B += A;
  }
  A = A % 65521;
  B = B % 65521;
  return B << 16 | A;
}


x86 assembly (clang, -O0):
<adler32_base>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x4(%rbp),%eax
and    $0xffff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x4(%rbp),%eax
sar    $0x10,%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x10000000,-0x14(%rbp)
jle    11ae <adler32_base+0xae>
movabs $0x80000000,%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1182 <adler32_base+0x82>
mov    -0x28(%rbp),%rax
mov    (%rax),%rcx
movslq -0x2c(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x28(%rbp)
jmp    1149 <adler32_base+0x49>
mov    -0x2c(%rbp),%eax
mov    $0xfff1,%ecx
cltd
idiv   %ecx
mov    %edx,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
mov    $0xfff1,%ecx
cltd
idiv   %ecx
mov    %edx,-0x30(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x10000000,%eax
mov    %eax,-0x14(%rbp)
jmp    112a <adler32_base+0x2a>
mov    -0x28(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    11fa <adler32_base+0xfa>
mov    -0x28(%rbp),%rax
mov    (%rax),%rcx
movslq -0x2c(%rbp),%rax
add    %rcx,%rax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x28(%rbp)
jmp    11c1 <adler32_base+0xc1>
mov    -0x2c(%rbp),%eax
mov    $0xfff1,%ecx
cltd
idiv   %ecx
mov    %edx,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
mov    $0xfff1,%ecx
cltd
idiv   %ecx
mov    %edx,-0x30(%rbp)
mov    -0x30(%rbp),%eax
shl    $0x10,%eax
or     -0x2c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<adler32_base>:
movzwl %di,%ecx
sar    $0x10,%edi
cmp    $0x10000001,%edx
jl     11bf <adler32_base+0xbf>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    (%rsi,%rax,8),%ecx
add    %ecx,%edi
add    0x8(%rsi,%rax,8),%ecx
add    %ecx,%edi
add    0x10(%rsi,%rax,8),%ecx
add    %ecx,%edi
add    0x18(%rsi,%rax,8),%ecx
add    %ecx,%edi
add    $0x4,%rax
cmp    $0x10000000,%rax
jne    1130 <adler32_base+0x30>
sub    $0xffffffff80000000,%rsi
movslq %ecx,%r9
imul   $0xffffffff80078071,%r9,%rax
shr    $0x20,%rax
add    %ecx,%eax
mov    %eax,%ecx
shr    $0x1f,%ecx
sar    $0xf,%eax
add    %ecx,%eax
imul   $0xfff1,%eax,%eax
sub    %eax,%r9d
movslq %edi,%rdi
imul   $0xffffffff80078071,%rdi,%rax
shr    $0x20,%rax
add    %edi,%eax
mov    %eax,%ecx
shr    $0x1f,%ecx
sar    $0xf,%eax
add    %ecx,%eax
imul   $0xfff1,%eax,%eax
sub    %eax,%edi
lea    -0x10000000(%rdx),%r8d
mov    %r9d,%ecx
cmp    $0x20000000,%edx
mov    %r8d,%edx
jg     1120 <adler32_base+0x20>
test   %r8d,%r8d
jg     11ca <adler32_base+0xca>
jmp    11ef <adler32_base+0xef>
mov    %edx,%r8d
mov    %ecx,%r9d
test   %r8d,%r8d
jle    11ef <adler32_base+0xef>
movslq %r8d,%rax
lea    (%rsi,%rax,8),%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    (%rsi),%r9d
add    %r9d,%edi
add    $0x8,%rsi
cmp    %rcx,%rsi
jb     11e0 <adler32_base+0xe0>
movslq %r9d,%rcx
imul   $0xffffffff80078071,%rcx,%rax
shr    $0x20,%rax
add    %ecx,%eax
mov    %eax,%edx
shr    $0x1f,%edx
sar    $0xf,%eax
add    %edx,%eax
imul   $0xfff1,%eax,%eax
sub    %eax,%ecx
movslq %edi,%rax
imul   $0xffffffff80078071,%rax,%rdx
shr    $0x20,%rdx
add    %eax,%edx
mov    %edx,%esi
shr    $0x1f,%esi
shr    $0xf,%edx
add    %esi,%edx
imul   $0xfff1,%edx,%edx
sub    %edx,%eax
shl    $0x10,%eax
or     %ecx,%eax
ret

LLVM IR (-O0):
define i32 @adler32_base(i32 %0, i64* %1, i32 %2) {
%4 = alloca i32
%5 = alloca i64*
%6 = alloca i32
%7 = alloca i64*
%8 = alloca i64*
%9 = alloca i32
%10 = alloca i32
store i32 %0, i32* %4
store i64* %1, i64** %5
store i32 %2, i32* %6
%11 = load i64*, i64** %5
store i64* %11, i64** %8
%12 = load i32, i32* %4
%13 = and i32 %12, 65535
store i32 %13, i32* %9
%14 = load i32, i32* %4
%15 = ashr i32 %14, 16
store i32 %15, i32* %10
br label %16
16: ; preds = %39, %3
%17 = load i32, i32* %6
%18 = icmp sgt i32 %17, 268435456
br i1 %18, label %19, label %46
19: ; preds = %16
%20 = load i64*, i64** %8
%21 = getelementptr inbounds i64, i64* %20, i64 268435456
store i64* %21, i64** %7
br label %22
22: ; preds = %36, %19
%23 = load i64*, i64** %8
%24 = load i64*, i64** %7
%25 = icmp ult i64* %23, %24
br i1 %25, label %26, label %39
26: ; preds = %22
%27 = load i64*, i64** %8
%28 = load i64, i64* %27
%29 = load i32, i32* %9
%30 = sext i32 %29 to i64
%31 = add nsw i64 %30, %28
%32 = trunc i64 %31 to i32
store i32 %32, i32* %9
%33 = load i32, i32* %9
%34 = load i32, i32* %10
%35 = add nsw i32 %34, %33
store i32 %35, i32* %10
br label %36
36: ; preds = %26
%37 = load i64*, i64** %8
%38 = getelementptr inbounds i64, i64* %37, i32 1
store i64* %38, i64** %8
br label %22
39: ; preds = %22
%40 = load i32, i32* %9
%41 = srem i32 %40, 65521
store i32 %41, i32* %9
%42 = load i32, i32* %10
%43 = srem i32 %42, 65521
store i32 %43, i32* %10
%44 = load i32, i32* %6
%45 = sub nsw i32 %44, 268435456
store i32 %45, i32* %6
br label %16
46: ; preds = %16
%47 = load i64*, i64** %8
%48 = load i32, i32* %6
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i64, i64* %47, i64 %49
store i64* %50, i64** %7
br label %51
51: ; preds = %65, %46
%52 = load i64*, i64** %8
%53 = load i64*, i64** %7
%54 = icmp ult i64* %52, %53
br i1 %54, label %55, label %68
55: ; preds = %51
%56 = load i64*, i64** %8
%57 = load i64, i64* %56
%58 = load i32, i32* %9
%59 = sext i32 %58 to i64
%60 = add nsw i64 %59, %57
%61 = trunc i64 %60 to i32
store i32 %61, i32* %9
%62 = load i32, i32* %9
%63 = load i32, i32* %10
%64 = add nsw i32 %63, %62
store i32 %64, i32* %10
br label %65
65: ; preds = %55
%66 = load i64*, i64** %8
%67 = getelementptr inbounds i64, i64* %66, i32 1
store i64* %67, i64** %8
br label %51
68: ; preds = %51
%69 = load i32, i32* %9
%70 = srem i32 %69, 65521
store i32 %70, i32* %9
%71 = load i32, i32* %10
%72 = srem i32 %71, 65521
store i32 %72, i32* %10
%73 = load i32, i32* %10
%74 = shl i32 %73, 16
%75 = load i32, i32* %9
%76 = or i32 %74, %75
ret i32 %76
}

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