unsigned int mc_adler32_rolling(unsigned int adler, unsigned char inbyte,
                                unsigned char outbyte, int window_size) {
  unsigned int sum1, sum2;
  sum1 = adler;
  sum2 = (sum1 >> 16) & 0xffff;
  sum1 &= 0xffff;
  sum1 = (sum1 - outbyte + inbyte) % 65521;
  sum2 = (sum2 - (window_size * outbyte) + sum1 - 1) % 65521;
  return (sum2 << 16) | sum1;
}


x86 assembly (clang, -O0):
<mc_adler32_rolling>:
push   %rbp
mov    %rsp,%rbp
mov    %dl,%al
mov    %sil,%dl
mov    %edi,-0x4(%rbp)
mov    %dl,-0x5(%rbp)
mov    %al,-0x6(%rbp)
mov    %ecx,-0xc(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
shr    $0x10,%eax
and    $0xffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
and    $0xffff,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
movzbl -0x6(%rbp),%ecx
sub    %ecx,%eax
movzbl -0x5(%rbp),%ecx
add    %ecx,%eax
mov    $0xfff1,%ecx
xor    %edx,%edx
div    %ecx
mov    %edx,-0x10(%rbp)
mov    -0x14(%rbp),%eax
mov    -0xc(%rbp),%ecx
movzbl -0x6(%rbp),%edx
imul   %edx,%ecx
sub    %ecx,%eax
add    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    $0xfff1,%ecx
xor    %edx,%edx
div    %ecx
mov    %edx,-0x14(%rbp)
mov    -0x14(%rbp),%eax
shl    $0x10,%eax
or     -0x10(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mc_adler32_rolling>:
movzwl %di,%r8d
mov    %edi,%eax
shr    $0x10,%eax
add    %esi,%r8d
sub    %edx,%r8d
mov    $0x80078071,%esi
mov    %r8,%rdi
imul   %rsi,%rdi
shr    $0x2f,%rdi
imul   $0xfff1,%edi,%edi
sub    %edi,%r8d
imul   %edx,%ecx
not    %ecx
add    %ecx,%eax
add    %r8d,%eax
imul   %rax,%rsi
shr    $0x2f,%rsi
imul   $0xfff1,%esi,%ecx
sub    %ecx,%eax
shl    $0x10,%eax
or     %r8d,%eax
ret

LLVM IR (-O0):
define i32 @mc_adler32_rolling(i32 %0, i8 zeroext %1, i8 zeroext %2, i32 %3) {
%5 = alloca i32
%6 = alloca i8
%7 = alloca i8
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32 %0, i32* %5
store i8 %1, i8* %6
store i8 %2, i8* %7
store i32 %3, i32* %8
%11 = load i32, i32* %5
store i32 %11, i32* %9
%12 = load i32, i32* %9
%13 = lshr i32 %12, 16
%14 = and i32 %13, 65535
store i32 %14, i32* %10
%15 = load i32, i32* %9
%16 = and i32 %15, 65535
store i32 %16, i32* %9
%17 = load i32, i32* %9
%18 = load i8, i8* %7
%19 = zext i8 %18 to i32
%20 = sub i32 %17, %19
%21 = load i8, i8* %6
%22 = zext i8 %21 to i32
%23 = add i32 %20, %22
%24 = urem i32 %23, 65521
store i32 %24, i32* %9
%25 = load i32, i32* %10
%26 = load i32, i32* %8
%27 = load i8, i8* %7
%28 = zext i8 %27 to i32
%29 = mul nsw i32 %26, %28
%30 = sub i32 %25, %29
%31 = load i32, i32* %9
%32 = add i32 %30, %31
%33 = sub i32 %32, 1
%34 = urem i32 %33, 65521
store i32 %34, i32* %10
%35 = load i32, i32* %10
%36 = shl i32 %35, 16
%37 = load i32, i32* %9
%38 = or i32 %36, %37
ret i32 %38
}

LLVM IR (-O2):
define i32 @mc_adler32_rolling(i32 %0, i8 zeroext %1, i8 zeroext %2, i32 %3) {
%5 = lshr i32 %0, 16
%6 = and i32 %0, 65535
%7 = zext i8 %2 to i32
%8 = zext i8 %1 to i32
%9 = add nuw nsw i32 %6, %8
%10 = sub nsw i32 %9, %7
%11 = urem i32 %10, 65521
%12 = mul nsw i32 %7, %3
%13 = xor i32 %12, -1
%14 = add i32 %5, %13
%15 = add i32 %14, %11
%16 = urem i32 %15, 65521
%17 = shl nuw i32 %16, 16
%18 = or i32 %17, %11
ret i32 %18
}