extern unsigned short ComputeChecksum16(void *p, int lg) {
  unsigned short *ptr = (unsigned short *)p;
  unsigned short chksum = 0;
  unsigned short *end = ptr + lg / 2;
  while (ptr < end) {
    chksum ^= *ptr++;
  }
  return chksum;
}


x86 assembly (clang, -O0):
<ComputeChecksum16>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
movw   $0x0,-0x1a(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
shl    $0x1,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    116f <ComputeChecksum16+0x6f>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x2,%rcx
mov    %rcx,-0x18(%rbp)
movzwl (%rax),%ecx
movzwl -0x1a(%rbp),%eax
xor    %ecx,%eax
mov    %ax,-0x1a(%rbp)
jmp    1140 <ComputeChecksum16+0x40>
movzwl -0x1a(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ComputeChecksum16>:
mov    %esi,%eax
shr    $0x1f,%eax
add    %esi,%eax
sar    %eax
cltq
lea    (%rdi,%rax,2),%rcx
cmp    %rdi,%rcx
jbe    1135 <ComputeChecksum16+0x35>
lea    0x2(%rdi),%rax
cmp    %rax,%rcx
cmova  %rcx,%rax
mov    %rdi,%r9
not    %r9
add    %rax,%r9
cmp    $0x1e,%r9
jae    1138 <ComputeChecksum16+0x38>
xor    %eax,%eax
jmp    1240 <ComputeChecksum16+0x140>
xor    %eax,%eax
ret
shr    %r9
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff0,%r8
lea    -0x10(%r8),%rsi
mov    %rsi,%rax
shr    $0x4,%rax
add    $0x1,%rax
mov    %eax,%edx
and    $0x3,%edx
cmp    $0x30,%rsi
jae    116c <ComputeChecksum16+0x6c>
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
jmp    11d9 <ComputeChecksum16+0xd9>
and    $0xfffffffffffffffc,%rax
pxor   %xmm0,%xmm0
xor    %esi,%esi
pxor   %xmm1,%xmm1
nopw   0x0(%rax,%rax,1)
movdqu (%rdi,%rsi,2),%xmm2
pxor   %xmm0,%xmm2
movdqu 0x10(%rdi,%rsi,2),%xmm0
pxor   %xmm1,%xmm0
movdqu 0x20(%rdi,%rsi,2),%xmm1
movdqu 0x30(%rdi,%rsi,2),%xmm3
movdqu 0x40(%rdi,%rsi,2),%xmm4
pxor   %xmm1,%xmm4
pxor   %xmm2,%xmm4
movdqu 0x50(%rdi,%rsi,2),%xmm2
pxor   %xmm3,%xmm2
pxor   %xmm0,%xmm2
movdqu 0x60(%rdi,%rsi,2),%xmm0
pxor   %xmm4,%xmm0
movdqu 0x70(%rdi,%rsi,2),%xmm1
pxor   %xmm2,%xmm1
add    $0x40,%rsi
add    $0xfffffffffffffffc,%rax
jne    1180 <ComputeChecksum16+0x80>
test   %rdx,%rdx
je     120c <ComputeChecksum16+0x10c>
lea    (%rdi,%rsi,2),%rax
add    $0x10,%rax
shl    $0x5,%rdx
xor    %esi,%esi
nopl   0x0(%rax)
movdqu -0x10(%rax,%rsi,1),%xmm2
pxor   %xmm2,%xmm0
movdqu (%rax,%rsi,1),%xmm2
pxor   %xmm2,%xmm1
add    $0x20,%rsi
cmp    %rsi,%rdx
jne    11f0 <ComputeChecksum16+0xf0>
pxor   %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
pxor   %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
pxor   %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrld  $0x10,%xmm1
pxor   %xmm0,%xmm1
movd   %xmm1,%eax
cmp    %r8,%r9
je     124c <ComputeChecksum16+0x14c>
lea    (%rdi,%r8,2),%rdi
nopl   0x0(%rax)
xor    (%rdi),%ax
add    $0x2,%rdi
cmp    %rcx,%rdi
jb     1240 <ComputeChecksum16+0x140>
ret

LLVM IR (-O0):
define zeroext i16 @ComputeChecksum16(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i16*
%6 = alloca i16
%7 = alloca i16*
store i8* %0, i8** %3
store i32 %1, i32* %4
%8 = load i8*, i8** %3
%9 = bitcast i8* %8 to i16*
store i16* %9, i16** %5
store i16 0, i16* %6
%10 = load i16*, i16** %5
%11 = load i32, i32* %4
%12 = sdiv i32 %11, 2
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i16, i16* %10, i64 %13
store i16* %14, i16** %7
br label %15
15: ; preds = %19, %2
%16 = load i16*, i16** %5
%17 = load i16*, i16** %7
%18 = icmp ult i16* %16, %17
br i1 %18, label %19, label %28
19: ; preds = %15
%20 = load i16*, i16** %5
%21 = getelementptr inbounds i16, i16* %20, i32 1
store i16* %21, i16** %5
%22 = load i16, i16* %20
%23 = zext i16 %22 to i32
%24 = load i16, i16* %6
%25 = zext i16 %24 to i32
%26 = xor i32 %25, %23
%27 = trunc i32 %26 to i16
store i16 %27, i16* %6
br label %15
28: ; preds = %15
%29 = load i16, i16* %6
ret i16 %29
}

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