unsigned char checksum(unsigned char *buff, int len) {
  unsigned char cs = 0;
  int i;
  for (i = 4; i < len - 3; i++) {
    cs ^= buff[i];
  }
  return cs;
}


x86 assembly (clang, -O0):
<checksum>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movb   $0x0,-0xd(%rbp)
movl   $0x4,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x3,%ecx
cmp    %ecx,%eax
jge    114a <checksum+0x4a>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
movzbl -0xd(%rbp),%eax
xor    %ecx,%eax
mov    %al,-0xd(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1116 <checksum+0x16>
movzbl -0xd(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<checksum>:
cmp    $0x8,%esi
jl     111e <checksum+0x1e>
add    $0xfffffffd,%esi
lea    -0x4(%rsi),%r8
cmp    $0x8,%r8
jae    1121 <checksum+0x21>
mov    $0x4,%ecx
xor    %eax,%eax
jmp    12a0 <checksum+0x1a0>
xor    %eax,%eax
ret
cmp    $0x20,%r8
jae    1130 <checksum+0x30>
xor    %eax,%eax
xor    %edx,%edx
jmp    1233 <checksum+0x133>
mov    %r8,%rdx
and    $0xffffffffffffffe0,%rdx
lea    -0x20(%rdx),%rcx
mov    %rcx,%rax
shr    $0x5,%rax
add    $0x1,%rax
mov    %eax,%r9d
and    $0x3,%r9d
cmp    $0x60,%rcx
jae    115f <checksum+0x5f>
pxor   %xmm0,%xmm0
xor    %ecx,%ecx
pxor   %xmm1,%xmm1
jmp    11ca <checksum+0xca>
and    $0xfffffffffffffffc,%rax
pxor   %xmm0,%xmm0
xor    %ecx,%ecx
pxor   %xmm1,%xmm1
nopl   (%rax)
movdqu 0x4(%rdi,%rcx,1),%xmm2
pxor   %xmm0,%xmm2
movdqu 0x14(%rdi,%rcx,1),%xmm0
pxor   %xmm1,%xmm0
movdqu 0x24(%rdi,%rcx,1),%xmm1
movdqu 0x34(%rdi,%rcx,1),%xmm3
movdqu 0x44(%rdi,%rcx,1),%xmm4
pxor   %xmm1,%xmm4
pxor   %xmm2,%xmm4
movdqu 0x54(%rdi,%rcx,1),%xmm2
pxor   %xmm3,%xmm2
pxor   %xmm0,%xmm2
movdqu 0x64(%rdi,%rcx,1),%xmm0
pxor   %xmm4,%xmm0
movdqu 0x74(%rdi,%rcx,1),%xmm1
pxor   %xmm2,%xmm1
sub    $0xffffffffffffff80,%rcx
add    $0xfffffffffffffffc,%rax
jne    1170 <checksum+0x70>
test   %r9,%r9
je     11f4 <checksum+0xf4>
nop
mov    %rcx,%rax
or     $0x4,%rax
movdqu (%rdi,%rax,1),%xmm2
pxor   %xmm2,%xmm0
movdqu 0x10(%rdi,%rax,1),%xmm2
pxor   %xmm2,%xmm1
add    $0x20,%rcx
add    $0xffffffffffffffff,%r9
jne    11d0 <checksum+0xd0>
pxor   %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
pxor   %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
pxor   %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrld  $0x10,%xmm1
pxor   %xmm0,%xmm1
movdqa %xmm1,%xmm0
psrlw  $0x8,%xmm0
pxor   %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %rdx,%r8
je     12ac <checksum+0x1ac>
test   $0x18,%r8b
je     1291 <checksum+0x191>
mov    %r8,%r9
and    $0xfffffffffffffff8,%r9
lea    0x4(%r9),%rcx
movzbl %al,%eax
movd   %eax,%xmm0
cs nopw 0x0(%rax,%rax,1)
nop
movq   0x4(%rdi,%rdx,1),%xmm1
pxor   %xmm1,%xmm0
add    $0x8,%rdx
cmp    %rdx,%r9
jne    1250 <checksum+0x150>
pshufd $0x55,%xmm0,%xmm1
pxor   %xmm0,%xmm1
movdqa %xmm1,%xmm0
psrld  $0x10,%xmm0
pxor   %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrlw  $0x8,%xmm1
pxor   %xmm0,%xmm1
movd   %xmm1,%eax
cmp    %r9,%r8
jne    12a0 <checksum+0x1a0>
jmp    12ac <checksum+0x1ac>
or     $0x4,%rdx
mov    %rdx,%rcx
nopl   0x0(%rax,%rax,1)
xor    (%rdi,%rcx,1),%al
add    $0x1,%rcx
cmp    %rcx,%rsi
jne    12a0 <checksum+0x1a0>
ret

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

LLVM IR (-O2):
define zeroext i8 @checksum(i8* nocapture %0, i32 %1) {
%3 = icmp sgt i32 %1, 7
br i1 %3, label %4, label %129
4: ; preds = %2
%5 = add nsw i32 %1, -3
%6 = zext i32 %5 to i64
%7 = add nsw i64 %6, -4
%8 = icmp ult i64 %7, 8
br i1 %8, label %118, label %9
9: ; preds = %4
%10 = icmp ult i64 %7, 32
br i1 %10, label %98, label %11
11: ; preds = %9
%12 = and i64 %7, -32
%13 = add nsw i64 %12, -32
%14 = lshr exact i64 %13, 5
%15 = add nuw nsw i64 %14, 1
%16 = and i64 %15, 3
%17 = icmp ult i64 %13, 96
br i1 %17, label %64, label %18
18: ; preds = %11
%19 = and i64 %15, 1152921504606846972
br label %20
20: ; preds = %20, %18
%21 = phi i64 [ 0, %18 ], [ %61, %20 ]
%22 = phi <16 x i8> [ zeroinitializer, %18 ], [ %59, %20 ]
%23 = phi <16 x i8> [ zeroinitializer, %18 ], [ %60, %20 ]
%24 = phi i64 [ 0, %18 ], [ %62, %20 ]
%25 = or i64 %21, 4
%26 = getelementptr inbounds i8, i8* %0, i64 %25
%27 = bitcast i8* %26 to <16 x i8>*
%28 = load <16 x i8>, <16 x i8>* %27
%29 = getelementptr inbounds i8, i8* %26, i64 16
%30 = bitcast i8* %29 to <16 x i8>*
%31 = load <16 x i8>, <16 x i8>* %30
%32 = xor <16 x i8> %28, %22
%33 = xor <16 x i8> %31, %23
%34 = or i64 %21, 36
%35 = getelementptr inbounds i8, i8* %0, i64 %34
%36 = bitcast i8* %35 to <16 x i8>*
%37 = load <16 x i8>, <16 x i8>* %36
%38 = getelementptr inbounds i8, i8* %35, i64 16
%39 = bitcast i8* %38 to <16 x i8>*
%40 = load <16 x i8>, <16 x i8>* %39
%41 = xor <16 x i8> %37, %32
%42 = xor <16 x i8> %40, %33
%43 = or i64 %21, 68
%44 = getelementptr inbounds i8, i8* %0, i64 %43
%45 = bitcast i8* %44 to <16 x i8>*
%46 = load <16 x i8>, <16 x i8>* %45
%47 = getelementptr inbounds i8, i8* %44, i64 16
%48 = bitcast i8* %47 to <16 x i8>*
%49 = load <16 x i8>, <16 x i8>* %48
%50 = xor <16 x i8> %46, %41
%51 = xor <16 x i8> %49, %42
%52 = or i64 %21, 100
%53 = getelementptr inbounds i8, i8* %0, i64 %52
%54 = bitcast i8* %53 to <16 x i8>*
%55 = load <16 x i8>, <16 x i8>* %54
%56 = getelementptr inbounds i8, i8* %53, i64 16
%57 = bitcast i8* %56 to <16 x i8>*
%58 = load <16 x i8>, <16 x i8>* %57
%59 = xor <16 x i8> %55, %50
%60 = xor <16 x i8> %58, %51
%61 = add nuw i64 %21, 128
%62 = add i64 %24, 4
%63 = icmp eq i64 %62, %19
br i1 %63, label %64, label %20
64: ; preds = %20, %11
%65 = phi <16 x i8> [ undef, %11 ], [ %59, %20 ]
%66 = phi <16 x i8> [ undef, %11 ], [ %60, %20 ]
%67 = phi i64 [ 0, %11 ], [ %61, %20 ]
%68 = phi <16 x i8> [ zeroinitializer, %11 ], [ %59, %20 ]
%69 = phi <16 x i8> [ zeroinitializer, %11 ], [ %60, %20 ]
%70 = icmp eq i64 %16, 0
br i1 %70, label %88, label %71
71: ; preds = %64, %71
%72 = phi i64 [ %85, %71 ], [ %67, %64 ]
%73 = phi <16 x i8> [ %83, %71 ], [ %68, %64 ]
%74 = phi <16 x i8> [ %84, %71 ], [ %69, %64 ]
%75 = phi i64 [ %86, %71 ], [ 0, %64 ]
%76 = or i64 %72, 4
%77 = getelementptr inbounds i8, i8* %0, i64 %76
%78 = bitcast i8* %77 to <16 x i8>*
%79 = load <16 x i8>, <16 x i8>* %78
%80 = getelementptr inbounds i8, i8* %77, i64 16
%81 = bitcast i8* %80 to <16 x i8>*
%82 = load <16 x i8>, <16 x i8>* %81
%83 = xor <16 x i8> %79, %73
%84 = xor <16 x i8> %82, %74
%85 = add nuw i64 %72, 32
%86 = add i64 %75, 1
%87 = icmp eq i64 %86, %16
br i1 %87, label %88, label %71
88: ; preds = %71, %64
%89 = phi <16 x i8> [ %65, %64 ], [ %83, %71 ]
%90 = phi <16 x i8> [ %66, %64 ], [ %84, %71 ]
%91 = xor <16 x i8> %90, %89
%92 = call i8 @llvm.vector.reduce.xor.v16i8(<16 x i8> %91)
%93 = icmp eq i64 %7, %12
br i1 %93, label %129, label %94
94: ; preds = %88
%95 = or i64 %12, 4
%96 = and i64 %7, 24
%97 = icmp eq i64 %96, 0
br i1 %97, label %118, label %98
98: ; preds = %9, %94
%99 = phi i8 [ 0, %9 ], [ %92, %94 ]
%100 = phi i64 [ 0, %9 ], [ %12, %94 ]
%101 = add nsw i64 %6, -4
%102 = and i64 %101, -8
%103 = or i64 %102, 4
%104 = insertelement <8 x i8> <i8 poison, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0>, i8 %99, i64 0
br label %105
105: ; preds = %105, %98
%106 = phi i64 [ %100, %98 ], [ %113, %105 ]
%107 = phi <8 x i8> [ %104, %98 ], [ %112, %105 ]
%108 = or i64 %106, 4
%109 = getelementptr inbounds i8, i8* %0, i64 %108
%110 = bitcast i8* %109 to <8 x i8>*
%111 = load <8 x i8>, <8 x i8>* %110
%112 = xor <8 x i8> %111, %107
%113 = add nuw i64 %106, 8
%114 = icmp eq i64 %113, %102
br i1 %114, label %115, label %105
115: ; preds = %105
%116 = call i8 @llvm.vector.reduce.xor.v8i8(<8 x i8> %112)
%117 = icmp eq i64 %101, %102
br i1 %117, label %129, label %118
118: ; preds = %4, %94, %115
%119 = phi i64 [ 4, %4 ], [ %95, %94 ], [ %103, %115 ]
%120 = phi i8 [ 0, %4 ], [ %92, %94 ], [ %116, %115 ]
br label %121
121: ; preds = %118, %121
%122 = phi i64 [ %127, %121 ], [ %119, %118 ]
%123 = phi i8 [ %126, %121 ], [ %120, %118 ]
%124 = getelementptr inbounds i8, i8* %0, i64 %122
%125 = load i8, i8* %124
%126 = xor i8 %125, %123
%127 = add nuw nsw i64 %122, 1
%128 = icmp eq i64 %127, %6
br i1 %128, label %129, label %121
129: ; preds = %121, %88, %115, %2
%130 = phi i8 [ 0, %2 ], [ %92, %88 ], [ %116, %115 ], [ %126, %121 ]
ret i8 %130
}