#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 */

/* Variables and functions */
unsigned short compute_fletcher_checksum(const char *buffer, size_t size) {
  unsigned short sum1 = 0;
  unsigned short sum2 = 0;
  size_t index;
  for (index = 0; index < size; ++index) {
    sum1 = (sum1 + buffer[index]) % 255;
    sum2 = (sum2 + sum1) % 255;
  }
  return (sum2 << 8) | sum1;
}


x86 assembly (clang, -O0):
<compute_fletcher_checksum>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movw   $0x0,-0x12(%rbp)
movw   $0x0,-0x14(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1179 <compute_fletcher_checksum+0x79>
movzwl -0x12(%rbp),%eax
mov    -0x8(%rbp),%rcx
mov    -0x20(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
add    %ecx,%eax
mov    $0xff,%ecx
cltd
idiv   %ecx
mov    %dx,%ax
mov    %ax,-0x12(%rbp)
movzwl -0x14(%rbp),%eax
movzwl -0x12(%rbp),%ecx
add    %ecx,%eax
mov    $0xff,%ecx
cltd
idiv   %ecx
mov    %dx,%ax
mov    %ax,-0x14(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1120 <compute_fletcher_checksum+0x20>
movzwl -0x14(%rbp),%eax
shl    $0x8,%eax
movzwl -0x12(%rbp),%ecx
or     %ecx,%eax
movzwl %ax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<compute_fletcher_checksum>:
xor    %eax,%eax
test   %rsi,%rsi
je     1230 <compute_fletcher_checksum+0x130>
push   %rbx
cmp    $0x1,%rsi
jne    111d <compute_fletcher_checksum+0x1d>
xor    %r10d,%r10d
xor    %r11d,%r11d
jmp    11de <compute_fletcher_checksum+0xde>
mov    %rsi,%r8
and    $0xfffffffffffffffe,%r8
xor    %r10d,%r10d
mov    $0x80808081,%r9d
xor    %eax,%eax
xor    %r11d,%r11d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsbl (%rdi,%r10,1),%ecx
add    %r11d,%ecx
movslq %ecx,%r11
imul   $0xffffffff80808081,%r11,%rdx
shr    $0x20,%rdx
add    %r11d,%edx
mov    %edx,%ecx
shr    $0x1f,%ecx
sar    $0x7,%edx
add    %ecx,%edx
mov    %edx,%ecx
shl    $0x8,%ecx
sub    %ecx,%edx
add    %r11d,%edx
movzwl %dx,%r11d
add    %r11d,%eax
mov    %rax,%rcx
imul   %r9,%rcx
shr    $0x27,%rcx
mov    %ecx,%edx
shl    $0x8,%edx
sub    %edx,%ecx
add    %eax,%ecx
movsbl 0x1(%rdi,%r10,1),%eax
add    %r11d,%eax
movslq %eax,%r11
imul   $0xffffffff80808081,%r11,%rdx
shr    $0x20,%rdx
add    %r11d,%edx
mov    %edx,%eax
shr    $0x1f,%eax
sar    $0x7,%edx
add    %eax,%edx
mov    %edx,%eax
shl    $0x8,%eax
sub    %eax,%edx
add    %r11d,%edx
movzwl %dx,%r11d
add    %r11d,%ecx
mov    %rcx,%rax
imul   %r9,%rax
shr    $0x27,%rax
mov    %eax,%ebx
shl    $0x8,%ebx
sub    %ebx,%eax
add    %ecx,%eax
add    $0x2,%r10
cmp    %r10,%r8
jne    1140 <compute_fletcher_checksum+0x40>
test   $0x1,%sil
je     122a <compute_fletcher_checksum+0x12a>
movsbl (%rdi,%r10,1),%ecx
add    %ecx,%r11d
movslq %r11d,%rcx
imul   $0xffffffff80808081,%rcx,%rdx
shr    $0x20,%rdx
add    %ecx,%edx
mov    %edx,%esi
shr    $0x1f,%esi
sar    $0x7,%edx
add    %esi,%edx
mov    %edx,%esi
shl    $0x8,%esi
sub    %esi,%edx
add    %ecx,%edx
movzwl %dx,%ecx
add    %eax,%ecx
mov    $0x80808081,%eax
imul   %rcx,%rax
shr    $0x27,%rax
mov    %eax,%esi
shl    $0x8,%esi
sub    %esi,%eax
add    %ecx,%eax
shl    $0x8,%eax
or     %edx,%eax
pop    %rbx
ret

LLVM IR (-O0):
define zeroext i16 @compute_fletcher_checksum(i8* %0, i64 %1) {
%3 = alloca i8*
%4 = alloca i64
%5 = alloca i16
%6 = alloca i16
%7 = alloca i64
store i8* %0, i8** %3
store i64 %1, i64* %4
store i16 0, i16* %5
store i16 0, i16* %6
store i64 0, i64* %7
br label %8
8: ; preds = %30, %2
%9 = load i64, i64* %7
%10 = load i64, i64* %4
%11 = icmp ult i64 %9, %10
br i1 %11, label %12, label %33
12: ; preds = %8
%13 = load i16, i16* %5
%14 = zext i16 %13 to i32
%15 = load i8*, i8** %3
%16 = load i64, i64* %7
%17 = getelementptr inbounds i8, i8* %15, i64 %16
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = add nsw i32 %14, %19
%21 = srem i32 %20, 255
%22 = trunc i32 %21 to i16
store i16 %22, i16* %5
%23 = load i16, i16* %6
%24 = zext i16 %23 to i32
%25 = load i16, i16* %5
%26 = zext i16 %25 to i32
%27 = add nsw i32 %24, %26
%28 = srem i32 %27, 255
%29 = trunc i32 %28 to i16
store i16 %29, i16* %6
br label %30
30: ; preds = %12
%31 = load i64, i64* %7
%32 = add i64 %31, 1
store i64 %32, i64* %7
br label %8
33: ; preds = %8
%34 = load i16, i16* %6
%35 = zext i16 %34 to i32
%36 = shl i32 %35, 8
%37 = load i16, i16* %5
%38 = zext i16 %37 to i32
%39 = or i32 %36, %38
%40 = trunc i32 %39 to i16
ret i16 %40
}

LLVM IR (-O2):
define zeroext i16 @compute_fletcher_checksum(i8* nocapture %0, i64 %1) {
%3 = icmp eq i64 %1, 0
br i1 %3, label %56, label %4
4: ; preds = %2
%5 = and i64 %1, 1
%6 = icmp eq i64 %1, 1
br i1 %6, label %34, label %7
7: ; preds = %4
%8 = and i64 %1, -2
br label %9
9: ; preds = %9, %7
%10 = phi i64 [ 0, %7 ], [ %31, %9 ]
%11 = phi i32 [ 0, %7 ], [ %30, %9 ]
%12 = phi i32 [ 0, %7 ], [ %28, %9 ]
%13 = phi i64 [ 0, %7 ], [ %32, %9 ]
%14 = getelementptr inbounds i8, i8* %0, i64 %10
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = add nsw i32 %12, %16
%18 = srem i32 %17, 255
%19 = and i32 %18, 65535
%20 = add nuw nsw i32 %19, %11
%21 = urem i32 %20, 255
%22 = or i64 %10, 1
%23 = getelementptr inbounds i8, i8* %0, i64 %22
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = add nsw i32 %19, %25
%27 = srem i32 %26, 255
%28 = and i32 %27, 65535
%29 = add nuw nsw i32 %28, %21
%30 = urem i32 %29, 255
%31 = add nuw i64 %10, 2
%32 = add i64 %13, 2
%33 = icmp eq i64 %32, %8
br i1 %33, label %34, label %9
34: ; preds = %9, %4
%35 = phi i32 [ undef, %4 ], [ %27, %9 ]
%36 = phi i32 [ undef, %4 ], [ %30, %9 ]
%37 = phi i64 [ 0, %4 ], [ %31, %9 ]
%38 = phi i32 [ 0, %4 ], [ %30, %9 ]
%39 = phi i32 [ 0, %4 ], [ %28, %9 ]
%40 = icmp eq i64 %5, 0
br i1 %40, label %50, label %41
41: ; preds = %34
%42 = getelementptr inbounds i8, i8* %0, i64 %37
%43 = load i8, i8* %42
%44 = sext i8 %43 to i32
%45 = add nsw i32 %39, %44
%46 = srem i32 %45, 255
%47 = and i32 %46, 65535
%48 = add nuw nsw i32 %47, %38
%49 = urem i32 %48, 255
br label %50
50: ; preds = %34, %41
%51 = phi i32 [ %35, %34 ], [ %46, %41 ]
%52 = phi i32 [ %36, %34 ], [ %49, %41 ]
%53 = shl nuw nsw i32 %52, 8
%54 = or i32 %53, %51
%55 = trunc i32 %54 to i16
br label %56
56: ; preds = %50, %2
%57 = phi i16 [ %55, %50 ], [ 0, %2 ]
ret i16 %57
}