unsigned int adler32_combine(adler1, adler2, len2)
unsigned int adler1;
unsigned int adler2;
unsigned long len2;
{
  unsigned long sum1;
  unsigned long sum2;
  unsigned rem;
  rem = (unsigned)(len2 % 65521UL);
  sum1 = adler1 & 0xffff;
  sum2 = rem * sum1;
  sum2 %= 65521UL;
  sum1 += (adler2 & 0xffff) + 65521UL - 1;
  sum2 += ((adler1 >> 16) & 0xffff) + ((adler2 >> 16) & 0xffff) + 65521UL - rem;
  if (sum1 > 65521UL)
    sum1 -= 65521UL;
  if (sum1 > 65521UL)
    sum1 -= 65521UL;
  if (sum2 > (65521UL << 1))
    sum2 -= (65521UL << 1);
  if (sum2 > 65521UL)
    sum2 -= 65521UL;
  return sum1 | (sum2 << 16);
}


x86 assembly (clang, -O0):
<adler32_combine>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    $0xfff1,%ecx
xor    %edx,%edx
div    %rcx
mov    %edx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x4(%rbp),%eax
and    $0xffff,%eax
mov    %eax,%eax
mov    %rax,-0x18(%rbp)
mov    -0x24(%rbp),%eax
imul   -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    $0xfff1,%ecx
xor    %edx,%edx
div    %rcx
mov    %rdx,-0x20(%rbp)
mov    -0x8(%rbp),%eax
and    $0xffff,%eax
mov    %eax,%eax
add    $0xfff1,%rax
sub    $0x1,%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x4(%rbp),%eax
shr    $0x10,%eax
and    $0xffff,%eax
mov    -0x8(%rbp),%ecx
shr    $0x10,%ecx
and    $0xffff,%ecx
add    %ecx,%eax
mov    %eax,%eax
add    $0xfff1,%rax
mov    -0x24(%rbp),%ecx
sub    %rcx,%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
cmpq   $0xfff1,-0x18(%rbp)
jbe    11b4 <adler32_combine+0xb4>
mov    -0x18(%rbp),%rax
sub    $0xfff1,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0xfff1,-0x18(%rbp)
jbe    11d0 <adler32_combine+0xd0>
mov    -0x18(%rbp),%rax
sub    $0xfff1,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x1ffe2,-0x20(%rbp)
jbe    11ec <adler32_combine+0xec>
mov    -0x20(%rbp),%rax
sub    $0x1ffe2,%rax
mov    %rax,-0x20(%rbp)
cmpq   $0xfff1,-0x20(%rbp)
jbe    1208 <adler32_combine+0x108>
mov    -0x20(%rbp),%rax
sub    $0xfff1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
shl    $0x10,%rcx
or     %rcx,%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<adler32_combine>:
mov    %rdx,%rcx
movabs $0xf00e10d2fc5cd,%rdx
mov    %rcx,%rax
mul    %rdx
mov    %rcx,%rax
sub    %rdx,%rax
shr    %rax
add    %rdx,%rax
shr    $0xf,%rax
imul   $0xfff1,%rax,%rax
sub    %rax,%rcx
movzwl %di,%eax
movzwl %si,%edx
shr    $0x10,%edi
shr    $0x10,%esi
add    %edi,%esi
add    $0xfff1,%esi
sub    %rcx,%rsi
imul   %eax,%ecx
mov    $0x80078071,%edi
imul   %rcx,%rdi
shr    $0x2f,%rdi
imul   $0xfff1,%edi,%edi
sub    %edi,%ecx
add    %edx,%eax
add    $0xfff0,%eax
lea    (%rsi,%rcx,1),%rdx
lea    -0xfff1(%rax),%rdi
cmp    $0xfff2,%eax
cmovb  %rax,%rdi
lea    -0xfff1(%rdi),%eax
cmp    $0x1ffe3,%rdx
lea    -0x1ffe2(%rsi,%rcx,1),%rcx
ff
cmovb  %rdx,%rcx
mov    %ecx,%edx
shl    $0x10,%edx
lea    0xf0000(%rdx),%esi
cmp    $0xfff2,%rcx
cmovb  %edx,%esi
cmp    $0xfff2,%rdi
cmovb  %edi,%eax
or     %esi,%eax
ret

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

LLVM IR (-O2):
define i32 @adler32_combine(i32 %0, i32 %1, i64 %2) {
%4 = urem i64 %2, 65521
%5 = and i32 %0, 65535
%6 = trunc i64 %4 to i32
%7 = mul nuw i32 %5, %6
%8 = urem i32 %7, 65521
%9 = zext i32 %8 to i64
%10 = and i32 %1, 65535
%11 = add nuw nsw i32 %5, 65520
%12 = add nuw nsw i32 %11, %10
%13 = zext i32 %12 to i64
%14 = lshr i32 %0, 16
%15 = lshr i32 %1, 16
%16 = add nuw nsw i32 %14, 65521
%17 = add nuw nsw i32 %16, %15
%18 = zext i32 %17 to i64
%19 = sub nuw nsw i64 %18, %4
%20 = add nuw nsw i64 %19, %9
%21 = icmp ugt i32 %12, 65521
%22 = add nsw i64 %13, -65521
%23 = select i1 %21, i64 %22, i64 %13
%24 = icmp ugt i64 %23, 65521
%25 = add nsw i64 %23, 4294901775
%26 = select i1 %24, i64 %25, i64 %23
%27 = icmp ugt i64 %20, 131042
%28 = add nsw i64 %20, -131042
%29 = select i1 %27, i64 %28, i64 %20
%30 = icmp ugt i64 %29, 65521
%31 = shl nuw nsw i64 %29, 16
%32 = add nuw nsw i64 %31, 983040
%33 = select i1 %30, i64 %32, i64 %31
%34 = or i64 %33, %26
%35 = trunc i64 %34 to i32
ret i32 %35
}