int netChk(char *src, int indexsrc, int lentosend, int lensrc,
           unsigned int val) {
  unsigned short *p;
  if (indexsrc < 0)
    return val;
  if (indexsrc + lentosend > lensrc)
    lentosend = lensrc - indexsrc;
  if (lentosend <= 0)
    return val;
  src += indexsrc;
  p = (unsigned short *)src;
  val = ((val << 8) & 0xff00) + ((val >> 8) & 0xff);
  while (lentosend > 1) {
    val += *(p++);
    lentosend -= 2;
  }
  if (lentosend)
    val += *(unsigned char *)p;
  val = (val >> 16) + (val & 0xffff);
  val = (val >> 16) + (val & 0xffff);
  val = ((val << 8) & 0xff00) + ((val >> 8) & 0xff);
  return val;
}


x86 assembly (clang, -O0):
<netChk>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
cmpl   $0x0,-0x14(%rbp)
jge    112a <netChk+0x2a>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    121d <netChk+0x11d>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jle    1142 <netChk+0x42>
mov    -0x1c(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
jg     1157 <netChk+0x57>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    121d <netChk+0x11d>
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
shl    $0x8,%eax
and    $0xff00,%eax
mov    -0x20(%rbp),%ecx
shr    $0x8,%ecx
and    $0xff,%ecx
add    %ecx,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x1,-0x18(%rbp)
jle    11bc <netChk+0xbc>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x28(%rbp)
movzwl (%rax),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x18(%rbp)
jmp    118c <netChk+0x8c>
cmpl   $0x0,-0x18(%rbp)
je     11d3 <netChk+0xd3>
mov    -0x28(%rbp),%rax
movzbl (%rax),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
shr    $0x10,%eax
mov    -0x20(%rbp),%ecx
and    $0xffff,%ecx
add    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
shr    $0x10,%eax
mov    -0x20(%rbp),%ecx
and    $0xffff,%ecx
add    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
shl    $0x8,%eax
and    $0xff00,%eax
mov    -0x20(%rbp),%ecx
shr    $0x8,%ecx
and    $0xff,%ecx
add    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<netChk>:
mov    %r8d,%eax
test   %esi,%esi
js     1276 <netChk+0x176>
lea    (%rdx,%rsi,1),%r10d
mov    %ecx,%r8d
sub    %esi,%r8d
cmp    %ecx,%r10d
cmovle %edx,%r8d
test   %r8d,%r8d
jle    1276 <netChk+0x176>
push   %rbx
mov    %esi,%r9d
lea    (%rdi,%r9,1),%rdx
rol    $0x8,%ax
movzwl %ax,%eax
cmp    $0x1,%r8d
je     1258 <netChk+0x158>
cmp    %r10d,%ecx
cmovl  %ecx,%r10d
mov    %esi,%ebx
not    %ebx
add    %r10d,%ebx
add    $0xfffffffe,%r10d
xor    %ecx,%ecx
cmp    %esi,%r10d
setne  %cl
sub    %ecx,%ebx
cmp    $0xe,%ebx
jb     1240 <netChk+0x140>
shr    %ebx
add    $0x1,%ebx
mov    %ebx,%r10d
and    $0xfffffff8,%r10d
movd   %eax,%xmm0
lea    -0x8(%r10),%rax
mov    %rax,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rax,%rax
je     11e3 <netChk+0xe3>
mov    %r11,%rax
and    $0xfffffffffffffffe,%rax
lea    (%r9,%rdi,1),%rsi
add    $0x18,%rsi
pxor   %xmm2,%xmm2
xor    %edi,%edi
pxor   %xmm1,%xmm1
movq   -0x18(%rsi,%rdi,2),%xmm3
movq   -0x10(%rsi,%rdi,2),%xmm4
punpcklwd %xmm2,%xmm3
paddd  %xmm0,%xmm3
punpcklwd %xmm2,%xmm4
paddd  %xmm1,%xmm4
movq   -0x8(%rsi,%rdi,2),%xmm0
movq   (%rsi,%rdi,2),%xmm1
punpcklwd %xmm2,%xmm0
paddd  %xmm3,%xmm0
punpcklwd %xmm2,%xmm1
paddd  %xmm4,%xmm1
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rax
jne    11a0 <netChk+0xa0>
jmp    11e9 <netChk+0xe9>
pxor   %xmm1,%xmm1
xor    %edi,%edi
lea    (%r10,%r10,1),%eax
test   $0x1,%r11b
je     1212 <netChk+0x112>
movq   (%rdx,%rdi,2),%xmm2
movq   0x8(%rdx,%rdi,2),%xmm3
pxor   %xmm4,%xmm4
punpcklwd %xmm4,%xmm2
paddd  %xmm2,%xmm0
punpcklwd %xmm4,%xmm3
paddd  %xmm3,%xmm1
paddd  %xmm1,%xmm0
lea    (%rdx,%r10,2),%rdx
sub    %eax,%r8d
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %rbx,%r10
je     1253 <netChk+0x153>
nopl   0x0(%rax,%rax,1)
movzwl (%rdx),%ecx
add    $0x2,%rdx
add    %ecx,%eax
add    $0xfffffffe,%r8d
cmp    $0x1,%r8d
ja     1240 <netChk+0x140>
test   %r8d,%r8d
je     125d <netChk+0x15d>
movzbl (%rdx),%ecx
add    %ecx,%eax
mov    %eax,%ecx
shr    $0x10,%ecx
movzwl %ax,%eax
add    %ecx,%eax
mov    %eax,%ecx
shr    $0x10,%ecx
add    %eax,%ecx
rol    $0x8,%cx
movzwl %cx,%eax
pop    %rbx
ret

LLVM IR (-O0):
define i32 @netChk(i8* %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i16*
store i8* %0, i8** %7
store i32 %1, i32* %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store i32 %4, i32* %11
%13 = load i32, i32* %8
%14 = icmp slt i32 %13, 0
br i1 %14, label %15, label %17
15: ; preds = %5
%16 = load i32, i32* %11
store i32 %16, i32* %6
br label %87
17: ; preds = %5
%18 = load i32, i32* %8
%19 = load i32, i32* %9
%20 = add nsw i32 %18, %19
%21 = load i32, i32* %10
%22 = icmp sgt i32 %20, %21
br i1 %22, label %23, label %27
23: ; preds = %17
%24 = load i32, i32* %10
%25 = load i32, i32* %8
%26 = sub nsw i32 %24, %25
store i32 %26, i32* %9
br label %27
27: ; preds = %23, %17
%28 = load i32, i32* %9
%29 = icmp sle i32 %28, 0
br i1 %29, label %30, label %32
30: ; preds = %27
%31 = load i32, i32* %11
store i32 %31, i32* %6
br label %87
32: ; preds = %27
%33 = load i32, i32* %8
%34 = load i8*, i8** %7
%35 = sext i32 %33 to i64
%36 = getelementptr inbounds i8, i8* %34, i64 %35
store i8* %36, i8** %7
%37 = load i8*, i8** %7
%38 = bitcast i8* %37 to i16*
store i16* %38, i16** %12
%39 = load i32, i32* %11
%40 = shl i32 %39, 8
%41 = and i32 %40, 65280
%42 = load i32, i32* %11
%43 = lshr i32 %42, 8
%44 = and i32 %43, 255
%45 = add i32 %41, %44
store i32 %45, i32* %11
br label %46
46: ; preds = %49, %32
%47 = load i32, i32* %9
%48 = icmp sgt i32 %47, 1
br i1 %48, label %49, label %58
49: ; preds = %46
%50 = load i16*, i16** %12
%51 = getelementptr inbounds i16, i16* %50, i32 1
store i16* %51, i16** %12
%52 = load i16, i16* %50
%53 = zext i16 %52 to i32
%54 = load i32, i32* %11
%55 = add i32 %54, %53
store i32 %55, i32* %11
%56 = load i32, i32* %9
%57 = sub nsw i32 %56, 2
store i32 %57, i32* %9
br label %46
58: ; preds = %46
%59 = load i32, i32* %9
%60 = icmp ne i32 %59, 0
br i1 %60, label %61, label %68
61: ; preds = %58
%62 = load i16*, i16** %12
%63 = bitcast i16* %62 to i8*
%64 = load i8, i8* %63
%65 = zext i8 %64 to i32
%66 = load i32, i32* %11
%67 = add i32 %66, %65
store i32 %67, i32* %11
br label %68
68: ; preds = %61, %58
%69 = load i32, i32* %11
%70 = lshr i32 %69, 16
%71 = load i32, i32* %11
%72 = and i32 %71, 65535
%73 = add i32 %70, %72
store i32 %73, i32* %11
%74 = load i32, i32* %11
%75 = lshr i32 %74, 16
%76 = load i32, i32* %11
%77 = and i32 %76, 65535
%78 = add i32 %75, %77
store i32 %78, i32* %11
%79 = load i32, i32* %11
%80 = shl i32 %79, 8
%81 = and i32 %80, 65280
%82 = load i32, i32* %11
%83 = lshr i32 %82, 8
%84 = and i32 %83, 255
%85 = add i32 %81, %84
store i32 %85, i32* %11
%86 = load i32, i32* %11
store i32 %86, i32* %6
br label %87
87: ; preds = %68, %30, %15
%88 = load i32, i32* %6
ret i32 %88
}

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