int Checksum(short *data, int oldcksum, int numbytes) {
  numbytes >>= 1;
  while (numbytes-- > 0)
    oldcksum += *data++;
  return oldcksum & 0xffff;
}


x86 assembly (clang, -O0):
<Checksum>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x10(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x10(%rbp)
cmp    $0x0,%eax
jle    1148 <Checksum+0x48>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x8(%rbp)
movswl (%rax),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0xc(%rbp)
jmp    1117 <Checksum+0x17>
mov    -0xc(%rbp),%eax
and    $0xffff,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<Checksum>:
cmp    $0x2,%edx
jl     1201 <Checksum+0x101>
shr    %edx
lea    -0x1(%rdx),%r9d
cmp    $0x7,%r9d
jb     11ea <Checksum+0xea>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
movd   %esi,%xmm0
lea    -0x8(%r8),%rcx
mov    %rcx,%rax
shr    $0x3,%rax
add    $0x1,%rax
test   %rcx,%rcx
je     1205 <Checksum+0x105>
mov    %rax,%rsi
and    $0xfffffffffffffffe,%rsi
pxor   %xmm2,%xmm2
xor    %ecx,%ecx
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movq   (%rdi,%rcx,2),%xmm3
movq   0x8(%rdi,%rcx,2),%xmm4
punpcklwd %xmm2,%xmm3
paddd  %xmm0,%xmm3
punpcklwd %xmm2,%xmm4
paddd  %xmm1,%xmm4
movq   0x10(%rdi,%rcx,2),%xmm0
movq   0x18(%rdi,%rcx,2),%xmm1
punpcklwd %xmm2,%xmm0
paddd  %xmm3,%xmm0
punpcklwd %xmm2,%xmm1
paddd  %xmm4,%xmm1
add    $0x10,%rcx
add    $0xfffffffffffffffe,%rsi
jne    1160 <Checksum+0x60>
test   $0x1,%al
je     11c4 <Checksum+0xc4>
movq   (%rdi,%rcx,2),%xmm2
movq   0x8(%rdi,%rcx,2),%xmm3
pxor   %xmm4,%xmm4
punpcklwd %xmm4,%xmm2
paddd  %xmm2,%xmm0
punpcklwd %xmm4,%xmm3
paddd  %xmm3,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%esi
cmp    %r8,%r9
je     1201 <Checksum+0x101>
sub    %r8d,%edx
lea    (%rdi,%r8,2),%rdi
add    $0x1,%edx
nopl   (%rax)
movzwl (%rdi),%eax
add    $0x2,%rdi
add    %eax,%esi
add    $0xffffffff,%edx
cmp    $0x1,%edx
ja     11f0 <Checksum+0xf0>
movzwl %si,%eax
ret
pxor   %xmm1,%xmm1
xor    %ecx,%ecx
test   $0x1,%al
jne    11a5 <Checksum+0xa5>
jmp    11c4 <Checksum+0xc4>

LLVM IR (-O0):
define i32 @Checksum(i16* %0, i32 %1, i32 %2) {
%4 = alloca i16*
%5 = alloca i32
%6 = alloca i32
store i16* %0, i16** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%7 = load i32, i32* %6
%8 = ashr i32 %7, 1
store i32 %8, i32* %6
br label %9
9: ; preds = %13, %3
%10 = load i32, i32* %6
%11 = add nsw i32 %10, -1
store i32 %11, i32* %6
%12 = icmp sgt i32 %10, 0
br i1 %12, label %13, label %20
13: ; preds = %9
%14 = load i16*, i16** %4
%15 = getelementptr inbounds i16, i16* %14, i32 1
store i16* %15, i16** %4
%16 = load i16, i16* %14
%17 = sext i16 %16 to i32
%18 = load i32, i32* %5
%19 = add nsw i32 %18, %17
store i32 %19, i32* %5
br label %9
20: ; preds = %9
%21 = load i32, i32* %5
%22 = and i32 %21, 65535
ret i32 %22
}

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