#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 scalar_t__ uint32_t;

/* Variables and functions */
uint8_t image_checksum8(void *start, uint32_t len) {
  uint8_t csum = 0;
  uint8_t *p = start;
  if (!len)
    return 0;
  do {
    csum += *p;
    p++;
  } while (--len);
  return csum;
}


x86 assembly (clang, -O0):
<image_checksum8>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x18(%rbp)
jne    1134 <image_checksum8+0x34>
movq   $0x0,-0x8(%rbp)
jmp    1172 <image_checksum8+0x72>
jmp    1139 <image_checksum8+0x39>
mov    -0x28(%rbp),%rax
mov    (%rax),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
cmp    $0x0,%rax
jne    1139 <image_checksum8+0x39>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<image_checksum8>:
test   %rsi,%rsi
je     1112 <image_checksum8+0x12>
cmp    $0x4,%rsi
jae    1115 <image_checksum8+0x15>
xor    %eax,%eax
jmp    11fa <image_checksum8+0xfa>
xor    %eax,%eax
ret
mov    %rsi,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rdx
mov    %rdx,%rax
shr    $0x2,%rax
add    $0x1,%rax
mov    %eax,%ecx
and    $0x3,%ecx
cmp    $0xc,%rdx
jae    1142 <image_checksum8+0x42>
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
jmp    11a9 <image_checksum8+0xa9>
and    $0xfffffffffffffffc,%rax
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
movdqu (%rdi,%rdx,8),%xmm2
paddq  %xmm0,%xmm2
movdqu 0x10(%rdi,%rdx,8),%xmm0
paddq  %xmm1,%xmm0
movdqu 0x20(%rdi,%rdx,8),%xmm1
movdqu 0x30(%rdi,%rdx,8),%xmm3
movdqu 0x40(%rdi,%rdx,8),%xmm4
paddq  %xmm1,%xmm4
paddq  %xmm2,%xmm4
movdqu 0x50(%rdi,%rdx,8),%xmm2
paddq  %xmm3,%xmm2
paddq  %xmm0,%xmm2
movdqu 0x60(%rdi,%rdx,8),%xmm0
paddq  %xmm4,%xmm0
movdqu 0x70(%rdi,%rdx,8),%xmm1
paddq  %xmm2,%xmm1
add    $0x10,%rdx
add    $0xfffffffffffffffc,%rax
jne    1150 <image_checksum8+0x50>
test   %rcx,%rcx
je     11dc <image_checksum8+0xdc>
lea    (%rdi,%rdx,8),%rax
add    $0x10,%rax
shl    $0x5,%rcx
xor    %edx,%edx
nopl   0x0(%rax)
movdqu -0x10(%rax,%rdx,1),%xmm2
paddq  %xmm2,%xmm0
movdqu (%rax,%rdx,1),%xmm2
paddq  %xmm2,%xmm1
add    $0x20,%rdx
cmp    %rdx,%rcx
jne    11c0 <image_checksum8+0xc0>
paddq  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddq  %xmm0,%xmm1
movq   %xmm1,%rax
cmp    %rsi,%r8
je     120d <image_checksum8+0x10d>
and    $0x3,%esi
lea    (%rdi,%r8,8),%rdi
xor    %ecx,%ecx
nopl   0x0(%rax)
add    (%rdi,%rcx,8),%rax
add    $0x1,%rcx
cmp    %rcx,%rsi
jne    1200 <image_checksum8+0x100>
ret

LLVM IR (-O0):
define i64 @image_checksum8(i8* %0, i64 %1) {
%3 = alloca i64
%4 = alloca i8*
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64*
store i8* %0, i8** %4
store i64 %1, i64* %5
store i64 0, i64* %6
%8 = load i8*, i8** %4
%9 = bitcast i8* %8 to i64*
store i64* %9, i64** %7
%10 = load i64, i64* %5
%11 = icmp ne i64 %10, 0
br i1 %11, label %13, label %12
12: ; preds = %2
store i64 0, i64* %3
br label %27
13: ; preds = %2
br label %14
14: ; preds = %21, %13
%15 = load i64*, i64** %7
%16 = load i64, i64* %15
%17 = load i64, i64* %6
%18 = add nsw i64 %17, %16
store i64 %18, i64* %6
%19 = load i64*, i64** %7
%20 = getelementptr inbounds i64, i64* %19, i32 1
store i64* %20, i64** %7
br label %21
21: ; preds = %14
%22 = load i64, i64* %5
%23 = add nsw i64 %22, -1
store i64 %23, i64* %5
%24 = icmp ne i64 %23, 0
br i1 %24, label %14, label %25
25: ; preds = %21
%26 = load i64, i64* %6
store i64 %26, i64* %3
br label %27
27: ; preds = %25, %12
%28 = load i64, i64* %3
ret i64 %28
}

LLVM IR (-O2):
define i64 @image_checksum8(i8* nocapture %0, i64 %1) {
%3 = icmp eq i64 %1, 0
br i1 %3, label %103, label %4
4: ; preds = %2
%5 = bitcast i8* %0 to i64*
%6 = icmp ult i64 %1, 4
br i1 %6, label %90, label %7
7: ; preds = %4
%8 = and i64 %1, -4
%9 = and i64 %1, 3
%10 = getelementptr i64, i64* %5, i64 %8
%11 = add i64 %8, -4
%12 = lshr exact i64 %11, 2
%13 = add nuw nsw i64 %12, 1
%14 = and i64 %13, 3
%15 = icmp ult i64 %11, 12
br i1 %15, label %61, label %16
16: ; preds = %7
%17 = and i64 %13, 9223372036854775804
br label %18
18: ; preds = %18, %16
%19 = phi i64 [ 0, %16 ], [ %58, %18 ]
%20 = phi <2 x i64> [ zeroinitializer, %16 ], [ %56, %18 ]
%21 = phi <2 x i64> [ zeroinitializer, %16 ], [ %57, %18 ]
%22 = phi i64 [ 0, %16 ], [ %59, %18 ]
%23 = getelementptr i64, i64* %5, i64 %19
%24 = bitcast i64* %23 to <2 x i64>*
%25 = load <2 x i64>, <2 x i64>* %24
%26 = getelementptr i64, i64* %23, i64 2
%27 = bitcast i64* %26 to <2 x i64>*
%28 = load <2 x i64>, <2 x i64>* %27
%29 = add <2 x i64> %25, %20
%30 = add <2 x i64> %28, %21
%31 = or i64 %19, 4
%32 = getelementptr i64, i64* %5, i64 %31
%33 = bitcast i64* %32 to <2 x i64>*
%34 = load <2 x i64>, <2 x i64>* %33
%35 = getelementptr i64, i64* %32, i64 2
%36 = bitcast i64* %35 to <2 x i64>*
%37 = load <2 x i64>, <2 x i64>* %36
%38 = add <2 x i64> %34, %29
%39 = add <2 x i64> %37, %30
%40 = or i64 %19, 8
%41 = getelementptr i64, i64* %5, i64 %40
%42 = bitcast i64* %41 to <2 x i64>*
%43 = load <2 x i64>, <2 x i64>* %42
%44 = getelementptr i64, i64* %41, i64 2
%45 = bitcast i64* %44 to <2 x i64>*
%46 = load <2 x i64>, <2 x i64>* %45
%47 = add <2 x i64> %43, %38
%48 = add <2 x i64> %46, %39
%49 = or i64 %19, 12
%50 = getelementptr i64, i64* %5, i64 %49
%51 = bitcast i64* %50 to <2 x i64>*
%52 = load <2 x i64>, <2 x i64>* %51
%53 = getelementptr i64, i64* %50, i64 2
%54 = bitcast i64* %53 to <2 x i64>*
%55 = load <2 x i64>, <2 x i64>* %54
%56 = add <2 x i64> %52, %47
%57 = add <2 x i64> %55, %48
%58 = add nuw i64 %19, 16
%59 = add nuw i64 %22, 4
%60 = icmp eq i64 %59, %17
br i1 %60, label %61, label %18
61: ; preds = %18, %7
%62 = phi <2 x i64> [ undef, %7 ], [ %56, %18 ]
%63 = phi <2 x i64> [ undef, %7 ], [ %57, %18 ]
%64 = phi i64 [ 0, %7 ], [ %58, %18 ]
%65 = phi <2 x i64> [ zeroinitializer, %7 ], [ %56, %18 ]
%66 = phi <2 x i64> [ zeroinitializer, %7 ], [ %57, %18 ]
%67 = icmp eq i64 %14, 0
br i1 %67, label %84, label %68
68: ; preds = %61, %68
%69 = phi i64 [ %81, %68 ], [ %64, %61 ]
%70 = phi <2 x i64> [ %79, %68 ], [ %65, %61 ]
%71 = phi <2 x i64> [ %80, %68 ], [ %66, %61 ]
%72 = phi i64 [ %82, %68 ], [ 0, %61 ]
%73 = getelementptr i64, i64* %5, i64 %69
%74 = bitcast i64* %73 to <2 x i64>*
%75 = load <2 x i64>, <2 x i64>* %74
%76 = getelementptr i64, i64* %73, i64 2
%77 = bitcast i64* %76 to <2 x i64>*
%78 = load <2 x i64>, <2 x i64>* %77
%79 = add <2 x i64> %75, %70
%80 = add <2 x i64> %78, %71
%81 = add nuw i64 %69, 4
%82 = add i64 %72, 1
%83 = icmp eq i64 %82, %14
br i1 %83, label %84, label %68
84: ; preds = %68, %61
%85 = phi <2 x i64> [ %62, %61 ], [ %79, %68 ]
%86 = phi <2 x i64> [ %63, %61 ], [ %80, %68 ]
%87 = add <2 x i64> %86, %85
%88 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %87)
%89 = icmp eq i64 %8, %1
br i1 %89, label %103, label %90
90: ; preds = %4, %84
%91 = phi i64 [ %1, %4 ], [ %9, %84 ]
%92 = phi i64 [ 0, %4 ], [ %88, %84 ]
%93 = phi i64* [ %5, %4 ], [ %10, %84 ]
br label %94
94: ; preds = %90, %94
%95 = phi i64 [ %101, %94 ], [ %91, %90 ]
%96 = phi i64 [ %99, %94 ], [ %92, %90 ]
%97 = phi i64* [ %100, %94 ], [ %93, %90 ]
%98 = load i64, i64* %97
%99 = add nsw i64 %98, %96
%100 = getelementptr inbounds i64, i64* %97, i64 1
%101 = add nsw i64 %95, -1
%102 = icmp eq i64 %101, 0
br i1 %102, label %103, label %94
103: ; preds = %94, %84, %2
%104 = phi i64 [ 0, %2 ], [ %88, %84 ], [ %99, %94 ]
ret i64 %104
}