unsigned short crc16_inet(unsigned short sum, unsigned const char *buf,
                          unsigned short len) {
  unsigned long longsum;
  unsigned swap_flag;
  longsum = sum;
  swap_flag = (int)buf & 1;
  if (swap_flag) {
    longsum += *buf++ << 8;
    --len;
  }
  for (; len > 1; len -= 2, buf += 2)
    longsum += *(unsigned short *)buf;
  if (len & 1) {
    longsum += *buf;
  }
  longsum = (longsum >> 16) + (unsigned short)longsum;
  sum = longsum;
  if (longsum & 0x10000)
    ++sum;
  if (swap_flag) {
    sum = sum << 8 | sum >> 8;
  }
  return sum;
}


x86 assembly (clang, -O0):
<crc16_inet>:
push   %rbp
mov    %rsp,%rbp
mov    %dx,%ax
mov    %di,%cx
mov    %cx,-0x2(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %ax,-0x12(%rbp)
movzwl -0x2(%rbp),%eax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
and    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
je     115d <crc16_inet+0x5d>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movzbl (%rax),%eax
shl    $0x8,%eax
cltq
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x12(%rbp),%ax
add    $0xffff,%ax
mov    %ax,-0x12(%rbp)
jmp    1162 <crc16_inet+0x62>
movzwl -0x12(%rbp),%eax
cmp    $0x1,%eax
jle    119a <crc16_inet+0x9a>
mov    -0x10(%rbp),%rax
movzwl (%rax),%eax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
movzwl -0x12(%rbp),%eax
sub    $0x2,%eax
mov    %ax,-0x12(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x10(%rbp)
jmp    1162 <crc16_inet+0x62>
movzwl -0x12(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     11b9 <crc16_inet+0xb9>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
shr    $0x10,%rax
mov    -0x20(%rbp),%rcx
movzwl %cx,%ecx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    %ax,-0x2(%rbp)
mov    -0x20(%rbp),%rax
and    $0x10000,%rax
cmp    $0x0,%rax
je     11f7 <crc16_inet+0xf7>
mov    -0x2(%rbp),%ax
add    $0x1,%ax
mov    %ax,-0x2(%rbp)
cmpl   $0x0,-0x24(%rbp)
je     1215 <crc16_inet+0x115>
movzwl -0x2(%rbp),%eax
shl    $0x8,%eax
movzwl -0x2(%rbp),%ecx
sar    $0x8,%ecx
or     %ecx,%eax
mov    %ax,-0x2(%rbp)
movzwl -0x2(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<crc16_inet>:
mov    %edi,%ecx
test   $0x1,%sil
jne    1116 <crc16_inet+0x16>
mov    %rsi,%rax
cmp    $0x2,%dx
jae    1131 <crc16_inet+0x31>
jmp    1243 <crc16_inet+0x143>
lea    0x1(%rsi),%rax
movzbl (%rsi),%edi
shl    $0x8,%rdi
add    %rdi,%rcx
add    $0xffffffff,%edx
cmp    $0x2,%dx
jb     1243 <crc16_inet+0x143>
lea    -0x2(%rdx),%edi
cmp    $0x6,%di
jb     1230 <crc16_inet+0x130>
movzwl %di,%r8d
shr    %r8d
add    $0x1,%r8d
mov    %r8d,%r10d
and    $0xfffffffc,%r10d
lea    (%r10,%r10,1),%r9d
movd   %ecx,%xmm0
lea    -0x4(%r10),%rcx
mov    %rcx,%r11
shr    $0x2,%r11
add    $0x1,%r11
test   %rcx,%rcx
je     11d3 <crc16_inet+0xd3>
mov    %r11,%rcx
and    $0xfffffffffffffffe,%rcx
pxor   %xmm2,%xmm2
xor    %edi,%edi
pxor   %xmm1,%xmm1
nopl   (%rax)
movd   (%rax,%rdi,1),%xmm3
movd   0x4(%rax,%rdi,1),%xmm4
punpcklwd %xmm2,%xmm3
punpckldq %xmm2,%xmm3
paddq  %xmm0,%xmm3
punpcklwd %xmm2,%xmm4
punpckldq %xmm2,%xmm4
paddq  %xmm1,%xmm4
movd   0x8(%rax,%rdi,1),%xmm0
movd   0xc(%rax,%rdi,1),%xmm1
punpcklwd %xmm2,%xmm0
punpckldq %xmm2,%xmm0
paddq  %xmm3,%xmm0
punpcklwd %xmm2,%xmm1
punpckldq %xmm2,%xmm1
paddq  %xmm4,%xmm1
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rcx
jne    1180 <crc16_inet+0x80>
jmp    11d9 <crc16_inet+0xd9>
pxor   %xmm1,%xmm1
xor    %edi,%edi
sub    %r9d,%edx
test   $0x1,%r11b
je     1209 <crc16_inet+0x109>
movd   (%rax,%rdi,1),%xmm2
movd   0x4(%rax,%rdi,1),%xmm3
pxor   %xmm4,%xmm4
punpcklwd %xmm4,%xmm2
punpckldq %xmm4,%xmm2
paddq  %xmm2,%xmm0
punpcklwd %xmm4,%xmm3
punpckldq %xmm4,%xmm3
paddq  %xmm3,%xmm1
paddq  %xmm1,%xmm0
lea    (%rax,%r10,2),%rax
pshufd $0xee,%xmm0,%xmm1
paddq  %xmm0,%xmm1
movq   %xmm1,%rcx
cmp    %r8,%r10
je     1243 <crc16_inet+0x143>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzwl (%rax),%edi
add    %rdi,%rcx
add    $0xfffffffe,%edx
add    $0x2,%rax
cmp    $0x1,%dx
ja     1230 <crc16_inet+0x130>
test   %dx,%dx
je     124e <crc16_inet+0x14e>
movzbl (%rax),%eax
add    %rax,%rcx
mov    %rcx,%rax
shr    $0x10,%rax
movzwl %cx,%ecx
add    %rax,%rcx
mov    %ecx,%edx
shr    $0x10,%edx
and    $0x1,%edx
add    %ecx,%edx
mov    %edx,%eax
rol    $0x8,%ax
test   $0x1,%sil
cmove  %edx,%eax
ret

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

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