int fletcher_checksum(const void *buf, unsigned int len, unsigned char *sum1,
                      unsigned char *sum2) {
  int i;
  unsigned char s1 = 0;
  unsigned char s2 = 0;
  const unsigned char *str = buf;
  if (!buf || !sum1 || !sum2)
    return -1;
  for (i = 0; i < len; i++) {
    if ((255 - s1) < str[i])
      s1++;
    s1 += str[i];
    if (s1 == 255)
      s1 = 0;
    if ((255 - s2) < s1)
      s2++;
    s2 += s1;
    if (s2 == 255)
      s2 = 0;
  }
  *sum1 = s1;
  *sum2 = s2;
  return 0;
}


x86 assembly (clang, -O0):
<fletcher_checksum>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
movb   $0x0,-0x2d(%rbp)
movb   $0x0,-0x2e(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1144 <fletcher_checksum+0x44>
cmpq   $0x0,-0x20(%rbp)
je     1144 <fletcher_checksum+0x44>
cmpq   $0x0,-0x28(%rbp)
jne    1150 <fletcher_checksum+0x50>
movl   $0xffffffff,-0x4(%rbp)
jmp    121d <fletcher_checksum+0x11d>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    1204 <fletcher_checksum+0x104>
movzbl -0x2d(%rbp),%ecx
mov    $0xff,%eax
sub    %ecx,%eax
mov    -0x38(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jge    118a <fletcher_checksum+0x8a>
mov    -0x2d(%rbp),%al
add    $0x1,%al
mov    %al,-0x2d(%rbp)
mov    -0x38(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
movzbl -0x2d(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x2d(%rbp)
movzbl -0x2d(%rbp),%eax
cmp    $0xff,%eax
jne    11b2 <fletcher_checksum+0xb2>
movb   $0x0,-0x2d(%rbp)
movzbl -0x2e(%rbp),%ecx
mov    $0xff,%eax
sub    %ecx,%eax
movzbl -0x2d(%rbp),%ecx
cmp    %ecx,%eax
jge    11d1 <fletcher_checksum+0xd1>
mov    -0x2e(%rbp),%al
add    $0x1,%al
mov    %al,-0x2e(%rbp)
movzbl -0x2d(%rbp),%ecx
movzbl -0x2e(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x2e(%rbp)
movzbl -0x2e(%rbp),%eax
cmp    $0xff,%eax
jne    11f1 <fletcher_checksum+0xf1>
movb   $0x0,-0x2e(%rbp)
jmp    11f6 <fletcher_checksum+0xf6>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1157 <fletcher_checksum+0x57>
mov    -0x2d(%rbp),%cl
mov    -0x20(%rbp),%rax
mov    %cl,(%rax)
mov    -0x2e(%rbp),%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<fletcher_checksum>:
mov    $0xffffffff,%eax
test   %rdi,%rdi
je     117a <fletcher_checksum+0x7a>
test   %rdx,%rdx
je     117a <fletcher_checksum+0x7a>
test   %rcx,%rcx
je     117a <fletcher_checksum+0x7a>
push   %rbp
push   %rbx
xor    %eax,%eax
test   %esi,%esi
je     116e <fletcher_checksum+0x6e>
mov    %esi,%r9d
xor    %r8d,%r8d
xor    %r11d,%r11d
xor    %esi,%esi
xor    %r10d,%r10d
jmp    113b <fletcher_checksum+0x3b>
nopl   0x0(%rax)
add    $0x1,%r11
mov    %ebx,%esi
cmp    %r11,%r9
je     1173 <fletcher_checksum+0x73>
movzbl (%rdi,%r11,1),%ebp
mov    %r10d,%ebx
add    %bpl,%bl
adc    %r10b,%bpl
cmp    $0xff,%bpl
movzbl %bpl,%r10d
cmove  %r8d,%r10d
mov    %esi,%ebx
add    %r10b,%bl
adc    %r10b,%sil
mov    $0x0,%ebx
cmp    $0xff,%sil
je     1130 <fletcher_checksum+0x30>
movzbl %sil,%ebx
jmp    1130 <fletcher_checksum+0x30>
xor    %r10d,%r10d
xor    %ebx,%ebx
mov    %r10b,(%rdx)
mov    %bl,(%rcx)
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i32 @fletcher_checksum(i8* %0, i32 %1, i8* %2, i8* %3) {
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i32
%11 = alloca i8
%12 = alloca i8
%13 = alloca i8*
store i8* %0, i8** %6
store i32 %1, i32* %7
store i8* %2, i8** %8
store i8* %3, i8** %9
store i8 0, i8* %11
store i8 0, i8* %12
%14 = load i8*, i8** %6
store i8* %14, i8** %13
%15 = load i8*, i8** %6
%16 = icmp ne i8* %15, null
br i1 %16, label %17, label %23
17: ; preds = %4
%18 = load i8*, i8** %8
%19 = icmp ne i8* %18, null
br i1 %19, label %20, label %23
20: ; preds = %17
%21 = load i8*, i8** %9
%22 = icmp ne i8* %21, null
br i1 %22, label %24, label %23
23: ; preds = %20, %17, %4
store i32 -1, i32* %5
br label %88
24: ; preds = %20
store i32 0, i32* %10
br label %25
25: ; preds = %80, %24
%26 = load i32, i32* %10
%27 = load i32, i32* %7
%28 = icmp ult i32 %26, %27
br i1 %28, label %29, label %83
29: ; preds = %25
%30 = load i8, i8* %11
%31 = zext i8 %30 to i32
%32 = sub nsw i32 255, %31
%33 = load i8*, i8** %13
%34 = load i32, i32* %10
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i8, i8* %33, i64 %35
%37 = load i8, i8* %36
%38 = zext i8 %37 to i32
%39 = icmp slt i32 %32, %38
br i1 %39, label %40, label %43
40: ; preds = %29
%41 = load i8, i8* %11
%42 = add i8 %41, 1
store i8 %42, i8* %11
br label %43
43: ; preds = %40, %29
%44 = load i8*, i8** %13
%45 = load i32, i32* %10
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i8, i8* %44, i64 %46
%48 = load i8, i8* %47
%49 = zext i8 %48 to i32
%50 = load i8, i8* %11
%51 = zext i8 %50 to i32
%52 = add nsw i32 %51, %49
%53 = trunc i32 %52 to i8
store i8 %53, i8* %11
%54 = load i8, i8* %11
%55 = zext i8 %54 to i32
%56 = icmp eq i32 %55, 255
br i1 %56, label %57, label %58
57: ; preds = %43
store i8 0, i8* %11
br label %58
58: ; preds = %57, %43
%59 = load i8, i8* %12
%60 = zext i8 %59 to i32
%61 = sub nsw i32 255, %60
%62 = load i8, i8* %11
%63 = zext i8 %62 to i32
%64 = icmp slt i32 %61, %63
br i1 %64, label %65, label %68
65: ; preds = %58
%66 = load i8, i8* %12
%67 = add i8 %66, 1
store i8 %67, i8* %12
br label %68
68: ; preds = %65, %58
%69 = load i8, i8* %11
%70 = zext i8 %69 to i32
%71 = load i8, i8* %12
%72 = zext i8 %71 to i32
%73 = add nsw i32 %72, %70
%74 = trunc i32 %73 to i8
store i8 %74, i8* %12
%75 = load i8, i8* %12
%76 = zext i8 %75 to i32
%77 = icmp eq i32 %76, 255
br i1 %77, label %78, label %79
78: ; preds = %68
store i8 0, i8* %12
br label %79
79: ; preds = %78, %68
br label %80
80: ; preds = %79
%81 = load i32, i32* %10
%82 = add nsw i32 %81, 1
store i32 %82, i32* %10
br label %25
83: ; preds = %25
%84 = load i8, i8* %11
%85 = load i8*, i8** %8
store i8 %84, i8* %85
%86 = load i8, i8* %12
%87 = load i8*, i8** %9
store i8 %86, i8* %87
store i32 0, i32* %5
br label %88
88: ; preds = %83, %23
%89 = load i32, i32* %5
ret i32 %89
}

LLVM IR (-O2):
define i32 @fletcher_checksum(i8* %0, i32 %1, i8* writeonly %2, i8* writeonly %3) {
%5 = icmp ne i8* %0, null
%6 = icmp ne i8* %2, null
%7 = and i1 %5, %6
%8 = icmp ne i8* %3, null
%9 = and i1 %7, %8
br i1 %9, label %10, label %39
10: ; preds = %4
%11 = icmp eq i32 %1, 0
br i1 %11, label %36, label %12
12: ; preds = %10
%13 = zext i32 %1 to i64
br label %14
14: ; preds = %12, %14
%15 = phi i64 [ 0, %12 ], [ %34, %14 ]
%16 = phi i8 [ 0, %12 ], [ %33, %14 ]
%17 = phi i8 [ 0, %12 ], [ %26, %14 ]
%18 = xor i8 %17, -1
%19 = getelementptr inbounds i8, i8* %0, i64 %15
%20 = load i8, i8* %19
%21 = icmp ugt i8 %20, %18
%22 = zext i1 %21 to i8
%23 = add i8 %20, %17
%24 = add i8 %23, %22
%25 = icmp eq i8 %24, -1
%26 = select i1 %25, i8 0, i8 %24
%27 = xor i8 %16, -1
%28 = icmp ugt i8 %26, %27
%29 = zext i1 %28 to i8
%30 = add i8 %26, %16
%31 = add i8 %30, %29
%32 = icmp eq i8 %31, -1
%33 = select i1 %32, i8 0, i8 %31
%34 = add nuw nsw i64 %15, 1
%35 = icmp eq i64 %34, %13
br i1 %35, label %36, label %14
36: ; preds = %14, %10
%37 = phi i8 [ 0, %10 ], [ %26, %14 ]
%38 = phi i8 [ 0, %10 ], [ %33, %14 ]
store i8 %37, i8* %2
store i8 %38, i8* %3
br label %39
39: ; preds = %4, %36
%40 = phi i32 [ 0, %36 ], [ -1, %4 ]
ret i32 %40
}