#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 */
int /*<<< orphan*/ barrier();
unsigned long from32to16(unsigned long);
extern unsigned long do_csum(const unsigned char *buff, int len) {
  int odd, count;
  unsigned long result = 0;
  barrier();
  if (len <= 0)
    goto out;
  odd = 1 & (unsigned long)buff;
  if (odd) {
    result = *buff << 8;
    len--;
    buff++;
  }
  count = len >> 1;
  if (count) {
    if (2 & (unsigned long)buff) {
      result += *(unsigned short *)buff;
      count--;
      len -= 2;
      buff += 2;
    }
    count >>= 1;
    if (count) {
      unsigned long carry = 0;
      do {
        unsigned long w = *(unsigned long *)buff;
        count--;
        buff += 4;
        result += carry;
        result += w;
        carry = (w > result);
      } while (count);
      result += carry;
      result = (result & 0xffff) + (result >> 16);
    }
    if (len & 2) {
      result += *(unsigned short *)buff;
      buff += 2;
    }
  }
  if (len & 1)
    result += *buff;
  result = from32to16(result);
  if (odd)
    result = ((result >> 8) & 0xff) | ((result & 0xff) << 8);
out:
  return result;
  barrier();
}


x86 assembly (clang, -O0):
<do_csum>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movq   $0x0,-0x20(%rbp)
mov    $0x0,%al
call   1030 <barrier@plt>
cmpl   $0x0,-0xc(%rbp)
jg     114d <do_csum+0x2d>
jmp    12fe <do_csum+0x1de>
mov    -0x8(%rbp),%rax
and    $0x1,%rax
mov    %eax,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
je     1187 <do_csum+0x67>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
shl    $0x8,%eax
cltq
mov    %rax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0xc(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     12a0 <do_csum+0x180>
mov    -0x8(%rbp),%rax
and    $0x2,%rax
cmp    $0x0,%rax
je     11d9 <do_csum+0xb9>
mov    -0x8(%rbp),%rax
movzwl (%rax),%eax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
mov    -0x14(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     1271 <do_csum+0x151>
movq   $0x0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
mov    -0x28(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x20(%rbp),%rax
seta   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x28(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    11f4 <do_csum+0xd4>
mov    -0x28(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
and    $0xffff,%rax
mov    -0x20(%rbp),%rcx
shr    $0x10,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
and    $0x2,%eax
cmp    $0x0,%eax
je     129b <do_csum+0x17b>
mov    -0x8(%rbp),%rax
movzwl (%rax),%eax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
jmp    12a0 <do_csum+0x180>
mov    -0xc(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     12be <do_csum+0x19e>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rdi
call   1040 <from32to16@plt>
mov    %rax,-0x20(%rbp)
cmpl   $0x0,-0x10(%rbp)
je     12f9 <do_csum+0x1d9>
mov    -0x20(%rbp),%rax
shr    $0x8,%rax
and    $0xff,%rax
mov    -0x20(%rbp),%rcx
and    $0xff,%rcx
shl    $0x8,%rcx
or     %rcx,%rax
mov    %rax,-0x20(%rbp)
jmp    12fe <do_csum+0x1de>
mov    -0x20(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<do_csum>:
push   %rbp
push   %r14
push   %rbx
mov    %esi,%ebp
mov    %rdi,%r14
xor    %ebx,%ebx
xor    %eax,%eax
call   1030 <barrier@plt>
test   %ebp,%ebp
jle    119a <do_csum+0x7a>
test   $0x1,%r14b
jne    1148 <do_csum+0x28>
xor    %edi,%edi
mov    %r14,%rax
cmp    $0x2,%ebp
jae    115c <do_csum+0x3c>
jmp    1179 <do_csum+0x59>
movzbl (%r14),%edi
shl    $0x8,%rdi
add    $0xffffffff,%ebp
lea    0x1(%r14),%rax
cmp    $0x2,%ebp
jb     1179 <do_csum+0x59>
mov    %ebp,%esi
shr    %esi
test   $0x2,%al
jne    11a2 <do_csum+0x82>
cmp    $0x2,%esi
jae    11b7 <do_csum+0x97>
test   $0x2,%bpl
je     1179 <do_csum+0x59>
movzwl (%rax),%ecx
add    %rcx,%rdi
add    $0x2,%rax
test   $0x1,%bpl
je     1185 <do_csum+0x65>
movzbl (%rax),%eax
add    %rax,%rdi
call   1040 <from32to16@plt>
mov    %rax,%rbx
test   $0x1,%r14b
je     119a <do_csum+0x7a>
rol    $0x8,%bx
movzwl %bx,%ebx
mov    %rbx,%rax
pop    %rbx
pop    %r14
pop    %rbp
ret
movzwl (%rax),%ecx
add    %rcx,%rdi
add    $0xffffffff,%esi
add    $0xfffffffe,%ebp
add    $0x2,%rax
cmp    $0x2,%esi
jb     1169 <do_csum+0x49>
sar    %esi
lea    -0x1(%rsi),%edx
mov    %esi,%ecx
and    $0x3,%ecx
cmp    $0x3,%edx
jae    11ce <do_csum+0xae>
xor    %edx,%edx
test   %ecx,%ecx
jne    1220 <do_csum+0x100>
jmp    1237 <do_csum+0x117>
and    $0xfffffffc,%esi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    %rdx,%rdi
add    (%rax),%rdi
adc    $0x0,%rdi
add    0x4(%rax),%rdi
adc    $0x0,%rdi
add    0x8(%rax),%rdi
adc    $0x0,%rdi
xor    %edx,%edx
add    0xc(%rax),%rdi
lea    0x10(%rax),%rax
setb   %dl
add    $0xfffffffc,%esi
jne    11e0 <do_csum+0xc0>
mov    %rax,%rsi
test   %ecx,%ecx
je     1237 <do_csum+0x117>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    %rdx,%rdi
lea    0x4(%rax),%rsi
xor    %edx,%edx
add    (%rax),%rdi
setb   %dl
mov    %rsi,%rax
add    $0xffffffff,%ecx
jne    1220 <do_csum+0x100>
add    %rdx,%rdi
movzwl %di,%eax
shr    $0x10,%rdi
add    %rax,%rdi
mov    %rsi,%rax
test   $0x2,%bpl
jne    116f <do_csum+0x4f>
jmp    1179 <do_csum+0x59>

LLVM IR (-O0):
define i64 @do_csum(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
store i8* %0, i8** %3
store i32 %1, i32* %4
store i64 0, i64* %7
%10 = call i32 (...) @barrier()
%11 = load i32, i32* %4
%12 = icmp sle i32 %11, 0
br i1 %12, label %13, label %14
13: ; preds = %2
br label %129
14: ; preds = %2
%15 = load i8*, i8** %3
%16 = ptrtoint i8* %15 to i64
%17 = and i64 1, %16
%18 = trunc i64 %17 to i32
store i32 %18, i32* %5
%19 = load i32, i32* %5
%20 = icmp ne i32 %19, 0
br i1 %20, label %21, label %31
21: ; preds = %14
%22 = load i8*, i8** %3
%23 = load i8, i8* %22
%24 = zext i8 %23 to i32
%25 = shl i32 %24, 8
%26 = sext i32 %25 to i64
store i64 %26, i64* %7
%27 = load i32, i32* %4
%28 = add nsw i32 %27, -1
store i32 %28, i32* %4
%29 = load i8*, i8** %3
%30 = getelementptr inbounds i8, i8* %29, i32 1
store i8* %30, i8** %3
br label %31
31: ; preds = %21, %14
%32 = load i32, i32* %4
%33 = ashr i32 %32, 1
store i32 %33, i32* %6
%34 = load i32, i32* %6
%35 = icmp ne i32 %34, 0
br i1 %35, label %36, label %105
36: ; preds = %31
%37 = load i8*, i8** %3
%38 = ptrtoint i8* %37 to i64
%39 = and i64 2, %38
%40 = icmp ne i64 %39, 0
br i1 %40, label %41, label %54
41: ; preds = %36
%42 = load i8*, i8** %3
%43 = bitcast i8* %42 to i16*
%44 = load i16, i16* %43
%45 = zext i16 %44 to i64
%46 = load i64, i64* %7
%47 = add i64 %46, %45
store i64 %47, i64* %7
%48 = load i32, i32* %6
%49 = add nsw i32 %48, -1
store i32 %49, i32* %6
%50 = load i32, i32* %4
%51 = sub nsw i32 %50, 2
store i32 %51, i32* %4
%52 = load i8*, i8** %3
%53 = getelementptr inbounds i8, i8* %52, i64 2
store i8* %53, i8** %3
br label %54
54: ; preds = %41, %36
%55 = load i32, i32* %6
%56 = ashr i32 %55, 1
store i32 %56, i32* %6
%57 = load i32, i32* %6
%58 = icmp ne i32 %57, 0
br i1 %58, label %59, label %91
59: ; preds = %54
store i64 0, i64* %8
br label %60
60: ; preds = %79, %59
%61 = load i8*, i8** %3
%62 = bitcast i8* %61 to i64*
%63 = load i64, i64* %62
store i64 %63, i64* %9
%64 = load i32, i32* %6
%65 = add nsw i32 %64, -1
store i32 %65, i32* %6
%66 = load i8*, i8** %3
%67 = getelementptr inbounds i8, i8* %66, i64 4
store i8* %67, i8** %3
%68 = load i64, i64* %8
%69 = load i64, i64* %7
%70 = add i64 %69, %68
store i64 %70, i64* %7
%71 = load i64, i64* %9
%72 = load i64, i64* %7
%73 = add i64 %72, %71
store i64 %73, i64* %7
%74 = load i64, i64* %9
%75 = load i64, i64* %7
%76 = icmp ugt i64 %74, %75
%77 = zext i1 %76 to i32
%78 = sext i32 %77 to i64
store i64 %78, i64* %8
br label %79
79: ; preds = %60
%80 = load i32, i32* %6
%81 = icmp ne i32 %80, 0
br i1 %81, label %60, label %82
82: ; preds = %79
%83 = load i64, i64* %8
%84 = load i64, i64* %7
%85 = add i64 %84, %83
store i64 %85, i64* %7
%86 = load i64, i64* %7
%87 = and i64 %86, 65535
%88 = load i64, i64* %7
%89 = lshr i64 %88, 16
%90 = add i64 %87, %89
store i64 %90, i64* %7
br label %91
91: ; preds = %82, %54
%92 = load i32, i32* %4
%93 = and i32 %92, 2
%94 = icmp ne i32 %93, 0
br i1 %94, label %95, label %104
95: ; preds = %91
%96 = load i8*, i8** %3
%97 = bitcast i8* %96 to i16*
%98 = load i16, i16* %97
%99 = zext i16 %98 to i64
%100 = load i64, i64* %7
%101 = add i64 %100, %99
store i64 %101, i64* %7
%102 = load i8*, i8** %3
%103 = getelementptr inbounds i8, i8* %102, i64 2
store i8* %103, i8** %3
br label %104
104: ; preds = %95, %91
br label %105
105: ; preds = %104, %31
%106 = load i32, i32* %4
%107 = and i32 %106, 1
%108 = icmp ne i32 %107, 0
br i1 %108, label %109, label %115
109: ; preds = %105
%110 = load i8*, i8** %3
%111 = load i8, i8* %110
%112 = zext i8 %111 to i64
%113 = load i64, i64* %7
%114 = add i64 %113, %112
store i64 %114, i64* %7
br label %115
115: ; preds = %109, %105
%116 = load i64, i64* %7
%117 = call i64 @from32to16(i64 %116)
store i64 %117, i64* %7
%118 = load i32, i32* %5
%119 = icmp ne i32 %118, 0
br i1 %119, label %120, label %128
120: ; preds = %115
%121 = load i64, i64* %7
%122 = lshr i64 %121, 8
%123 = and i64 %122, 255
%124 = load i64, i64* %7
%125 = and i64 %124, 255
%126 = shl i64 %125, 8
%127 = or i64 %123, %126
store i64 %127, i64* %7
br label %128
128: ; preds = %120, %115
br label %129
129: ; preds = %128, %13
%130 = load i64, i64* %7
ret i64 %130
}

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