#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 int uint8_t;

/* Variables and functions */
uint8_t checksum1(uint8_t *buffer) {
  uint8_t i, chksum = 0;
  uint8_t n = buffer[2] - 2 + 2;
  for (i = 2; i < n; i++) {
    chksum = chksum ^ buffer[i];
  }
  return chksum & 0xFE;
}


x86 assembly (clang, -O0):
<checksum1>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%eax
sub    $0x2,%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
movl   $0x2,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1151 <checksum1+0x51>
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
xor    (%rcx,%rdx,4),%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1126 <checksum1+0x26>
mov    -0x10(%rbp),%eax
and    $0xfe,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<checksum1>:
mov    0x8(%rdi),%r9d
xor    %eax,%eax
cmp    $0x3,%r9d
jl     1231 <checksum1+0x131>
jne    111a <checksum1+0x1a>
mov    %r9d,%eax
jmp    122c <checksum1+0x12c>
lea    -0x3(%r9),%r8
mov    $0x3,%edx
cmp    $0x8,%r8
jae    1131 <checksum1+0x31>
mov    %r9d,%eax
jmp    1220 <checksum1+0x120>
mov    %r8,%rdx
and    $0xfffffffffffffff8,%rdx
movd   %r9d,%xmm0
lea    -0x8(%rdx),%rsi
mov    %rsi,%rax
shr    $0x3,%rax
add    $0x1,%rax
mov    %eax,%ecx
and    $0x3,%ecx
cmp    $0x18,%rsi
jae    115f <checksum1+0x5f>
pxor   %xmm1,%xmm1
xor    %esi,%esi
jmp    11ca <checksum1+0xca>
and    $0xfffffffffffffffc,%rax
pxor   %xmm1,%xmm1
xor    %esi,%esi
nopl   0x0(%rax)
movdqu 0xc(%rdi,%rsi,4),%xmm2
pxor   %xmm0,%xmm2
movdqu 0x1c(%rdi,%rsi,4),%xmm0
pxor   %xmm1,%xmm0
movdqu 0x2c(%rdi,%rsi,4),%xmm1
movdqu 0x3c(%rdi,%rsi,4),%xmm3
movdqu 0x4c(%rdi,%rsi,4),%xmm4
pxor   %xmm1,%xmm4
pxor   %xmm2,%xmm4
movdqu 0x5c(%rdi,%rsi,4),%xmm2
pxor   %xmm3,%xmm2
pxor   %xmm0,%xmm2
movdqu 0x6c(%rdi,%rsi,4),%xmm0
pxor   %xmm4,%xmm0
movdqu 0x7c(%rdi,%rsi,4),%xmm1
pxor   %xmm2,%xmm1
add    $0x20,%rsi
add    $0xfffffffffffffffc,%rax
jne    1170 <checksum1+0x70>
test   %rcx,%rcx
je     11f9 <checksum1+0xf9>
nop
lea    0x0(,%rsi,4),%rax
or     $0xc,%rax
movdqu (%rdi,%rax,1),%xmm2
pxor   %xmm2,%xmm0
movdqu 0x10(%rdi,%rax,1),%xmm2
pxor   %xmm2,%xmm1
add    $0x8,%rsi
add    $0xffffffffffffffff,%rcx
jne    11d0 <checksum1+0xd0>
pxor   %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
pxor   %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
pxor   %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %rdx,%r8
je     122c <checksum1+0x12c>
or     $0x3,%rdx
nopl   0x0(%rax)
xor    (%rdi,%rdx,4),%eax
add    $0x1,%rdx
cmp    %rdx,%r9
jne    1220 <checksum1+0x120>
and    $0xfe,%eax
ret

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

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