#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 unsigned short uint32_t;

/* Variables and functions */
uint32_t checksumm_update(uint32_t cs, char *buf, int len) {
  int i;
  for (i = 0; i < len / 2; i++)
    cs += ((unsigned short *)buf)[i];
  if (len & 1)
    cs += buf[len - 1];
  return cs;
}


x86 assembly (clang, -O0):
<checksumm_update>:
push   %rbp
mov    %rsp,%rbp
mov    %di,%ax
mov    %ax,-0x2(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x1c(%rbp),%eax
cmp    %ecx,%eax
jge    115b <checksumm_update+0x5b>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movzwl (%rax,%rcx,2),%ecx
movzwl -0x2(%rbp),%eax
add    %ecx,%eax
mov    %ax,-0x2(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1119 <checksumm_update+0x19>
mov    -0x14(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1185 <checksumm_update+0x85>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%ecx
movzwl -0x2(%rbp),%eax
add    %ecx,%eax
mov    %ax,-0x2(%rbp)
movzwl -0x2(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<checksumm_update>:
mov    %edi,%eax
cmp    $0x2,%edx
jl     122d <checksumm_update+0x12d>
mov    %edx,%r9d
shr    %r9d
cmp    $0x20,%edx
jae    111d <checksumm_update+0x1d>
xor    %edi,%edi
jmp    1220 <checksumm_update+0x120>
mov    %r9d,%edi
and    $0xfffffff0,%edi
movzwl %ax,%eax
movd   %eax,%xmm0
lea    -0x10(%rdi),%rax
mov    %rax,%rcx
shr    $0x4,%rcx
add    $0x1,%rcx
mov    %ecx,%r8d
and    $0x3,%r8d
cmp    $0x30,%rax
jae    114e <checksumm_update+0x4e>
pxor   %xmm1,%xmm1
xor    %eax,%eax
jmp    11b9 <checksumm_update+0xb9>
and    $0xfffffffffffffffc,%rcx
pxor   %xmm1,%xmm1
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movdqu (%rsi,%rax,2),%xmm2
paddw  %xmm0,%xmm2
movdqu 0x10(%rsi,%rax,2),%xmm0
paddw  %xmm1,%xmm0
movdqu 0x20(%rsi,%rax,2),%xmm1
movdqu 0x30(%rsi,%rax,2),%xmm3
movdqu 0x40(%rsi,%rax,2),%xmm4
paddw  %xmm1,%xmm4
paddw  %xmm2,%xmm4
movdqu 0x50(%rsi,%rax,2),%xmm2
paddw  %xmm3,%xmm2
paddw  %xmm0,%xmm2
movdqu 0x60(%rsi,%rax,2),%xmm0
paddw  %xmm4,%xmm0
movdqu 0x70(%rsi,%rax,2),%xmm1
paddw  %xmm2,%xmm1
add    $0x40,%rax
add    $0xfffffffffffffffc,%rcx
jne    1160 <checksumm_update+0x60>
test   %r8,%r8
je     11ec <checksumm_update+0xec>
lea    (%rsi,%rax,2),%rax
add    $0x10,%rax
shl    $0x5,%r8
xor    %ecx,%ecx
nopl   0x0(%rax)
movdqu -0x10(%rax,%rcx,1),%xmm2
paddw  %xmm2,%xmm0
movdqu (%rax,%rcx,1),%xmm2
paddw  %xmm2,%xmm1
add    $0x20,%rcx
cmp    %rcx,%r8
jne    11d0 <checksumm_update+0xd0>
paddw  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddw  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddw  %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrld  $0x10,%xmm1
paddw  %xmm0,%xmm1
movd   %xmm1,%eax
cmp    %r9,%rdi
je     122d <checksumm_update+0x12d>
nopl   0x0(%rax,%rax,1)
add    (%rsi,%rdi,2),%ax
add    $0x1,%rdi
cmp    %rdi,%r9
jne    1220 <checksumm_update+0x120>
test   $0x1,%dl
je     123c <checksumm_update+0x13c>
movslq %edx,%rcx
movsbl -0x1(%rcx,%rsi,1),%ecx
add    %ecx,%eax
ret

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

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