#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 char cptp_check_sum(unsigned char *b, size_t s) {
  unsigned char sum = 0;
  while (s--) {
    sum = sum + (*b);
    b++;
  }
  return sum;
}


x86 assembly (clang, -O0):
<cptp_check_sum>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movb   $0x0,-0x11(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x10(%rbp)
cmp    $0x0,%rax
je     114a <cptp_check_sum+0x4a>
movzbl -0x11(%rbp),%eax
mov    -0x8(%rbp),%rcx
movzbl (%rcx),%ecx
add    %ecx,%eax
mov    %al,-0x11(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1110 <cptp_check_sum+0x10>
movzbl -0x11(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<cptp_check_sum>:
test   %rsi,%rsi
je     1118 <cptp_check_sum+0x18>
cmp    $0x8,%rsi
jae    111b <cptp_check_sum+0x1b>
xor    %eax,%eax
mov    %rsi,%r8
mov    %rdi,%rdx
jmp    1263 <cptp_check_sum+0x163>
xor    %eax,%eax
ret
cmp    $0x20,%rsi
jae    112a <cptp_check_sum+0x2a>
xor    %eax,%eax
xor    %ecx,%ecx
jmp    1220 <cptp_check_sum+0x120>
mov    %rsi,%rcx
and    $0xffffffffffffffe0,%rcx
lea    -0x20(%rcx),%rdx
mov    %rdx,%rax
shr    $0x5,%rax
add    $0x1,%rax
mov    %eax,%r8d
and    $0x3,%r8d
cmp    $0x60,%rdx
jae    1159 <cptp_check_sum+0x59>
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
jmp    11c9 <cptp_check_sum+0xc9>
and    $0xfffffffffffffffc,%rax
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
nopw   0x0(%rax,%rax,1)
movdqu (%rdi,%rdx,1),%xmm2
paddb  %xmm0,%xmm2
movdqu 0x10(%rdi,%rdx,1),%xmm0
paddb  %xmm1,%xmm0
movdqu 0x20(%rdi,%rdx,1),%xmm1
movdqu 0x30(%rdi,%rdx,1),%xmm3
movdqu 0x40(%rdi,%rdx,1),%xmm4
paddb  %xmm1,%xmm4
paddb  %xmm2,%xmm4
movdqu 0x50(%rdi,%rdx,1),%xmm2
paddb  %xmm3,%xmm2
paddb  %xmm0,%xmm2
movdqu 0x60(%rdi,%rdx,1),%xmm0
paddb  %xmm4,%xmm0
movdqu 0x70(%rdi,%rdx,1),%xmm1
paddb  %xmm2,%xmm1
sub    $0xffffffffffffff80,%rdx
add    $0xfffffffffffffffc,%rax
jne    1170 <cptp_check_sum+0x70>
test   %r8,%r8
je     11fc <cptp_check_sum+0xfc>
lea    (%rdx,%rdi,1),%rax
add    $0x10,%rax
shl    $0x5,%r8
xor    %edx,%edx
nopl   0x0(%rax)
movdqu -0x10(%rax,%rdx,1),%xmm2
paddb  %xmm2,%xmm0
movdqu (%rax,%rdx,1),%xmm2
paddb  %xmm2,%xmm1
add    $0x20,%rdx
cmp    %rdx,%r8
jne    11e0 <cptp_check_sum+0xe0>
paddb  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddb  %xmm0,%xmm1
pxor   %xmm0,%xmm0
psadbw %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %rsi,%rcx
je     127c <cptp_check_sum+0x17c>
test   $0x18,%sil
je     127d <cptp_check_sum+0x17d>
mov    %rsi,%r9
and    $0xfffffffffffffff8,%r9
mov    %esi,%r8d
and    $0x7,%r8d
lea    (%rdi,%r9,1),%rdx
movzbl %al,%eax
movd   %eax,%xmm0
nopl   0x0(%rax)
movq   (%rdi,%rcx,1),%xmm1
paddb  %xmm1,%xmm0
add    $0x8,%rcx
cmp    %rcx,%r9
jne    1240 <cptp_check_sum+0x140>
pxor   %xmm1,%xmm1
psadbw %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %rsi,%r9
je     127c <cptp_check_sum+0x17c>
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
add    (%rdx,%rcx,1),%al
add    $0x1,%rcx
cmp    %rcx,%r8
jne    1270 <cptp_check_sum+0x170>
ret
add    %rcx,%rdi
and    $0x1f,%esi
jmp    110d <cptp_check_sum+0xd>

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

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