int append_crc(char *in, int in_len) {
  int crc = 0;
  for (int i = 0; i < in_len; i++) {
    crc <<= 1;
    if (in[i] ^ ((crc >> 15) & 1)) {
      crc = crc ^ 0x4599;
    }
    crc &= 0x7fff;
  }
  for (int i = 14; i >= 0; i--) {
    in[in_len++] = (crc >> i) & 1;
  }
  return in_len;
}


x86 assembly (clang, -O0):
<append_crc>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1172 <append_crc+0x72>
mov    -0x10(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%ecx
sar    $0xf,%ecx
and    $0x1,%ecx
xor    %ecx,%eax
cmp    $0x0,%eax
je     1159 <append_crc+0x59>
mov    -0x10(%rbp),%eax
xor    $0x4599,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
and    $0x7fff,%eax
mov    %eax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1119 <append_crc+0x19>
movl   $0xe,-0x18(%rbp)
cmpl   $0x0,-0x18(%rbp)
jl     11b3 <append_crc+0xb3>
mov    -0x10(%rbp),%eax
mov    -0x18(%rbp),%ecx
sar    %cl,%eax
and    $0x1,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0xc(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    1179 <append_crc+0x79>
mov    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<append_crc>:
mov    %esi,%eax
test   %esi,%esi
jle    1114 <append_crc+0x14>
mov    %eax,%r8d
cmp    $0x1,%eax
jne    111b <append_crc+0x1b>
xor    %esi,%esi
xor    %ecx,%ecx
jmp    117e <append_crc+0x7e>
xor    %ecx,%ecx
jmp    11a6 <append_crc+0xa6>
mov    %r8d,%r9d
and    $0xfffffffe,%r9d
xor    %esi,%esi
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
lea    (%rcx,%rcx,1),%r11d
movsbl (%rdi,%rsi,1),%r10d
shr    $0xe,%ecx
mov    %r11d,%edx
xor    $0x4599,%edx
cmp    %r10d,%ecx
cmove  %r11d,%edx
and    $0x7fff,%edx
lea    (%rdx,%rdx,1),%r10d
movsbl 0x1(%rdi,%rsi,1),%r11d
shr    $0xe,%edx
mov    %r10d,%ecx
xor    $0x4599,%ecx
cmp    %r11d,%edx
cmove  %r10d,%ecx
and    $0x7fff,%ecx
add    $0x2,%rsi
cmp    %rsi,%r9
jne    1130 <append_crc+0x30>
test   $0x1,%r8b
je     11a6 <append_crc+0xa6>
lea    (%rcx,%rcx,1),%r8d
movsbl (%rdi,%rsi,1),%esi
shr    $0xe,%ecx
mov    %r8d,%edx
xor    $0x4599,%edx
cmp    %esi,%ecx
cmove  %r8d,%edx
and    $0x7fff,%edx
mov    %edx,%ecx
movslq %eax,%r8
mov    %ecx,%esi
shr    $0xe,%esi
mov    %sil,(%rdi,%r8,1)
mov    %ecx,%esi
shr    $0xd,%esi
and    $0x1,%sil
mov    %sil,0x1(%rdi,%r8,1)
mov    %ecx,%esi
shr    $0xc,%esi
and    $0x1,%sil
mov    %sil,0x2(%rdi,%r8,1)
mov    %ecx,%esi
shr    $0xb,%esi
and    $0x1,%sil
mov    %sil,0x3(%rdi,%r8,1)
mov    %ecx,%esi
shr    $0xa,%esi
and    $0x1,%sil
mov    %sil,0x4(%rdi,%r8,1)
mov    %ecx,%esi
shr    $0x9,%esi
and    $0x1,%sil
mov    %sil,0x5(%rdi,%r8,1)
mov    %ecx,%esi
shr    $0x8,%esi
and    $0x1,%sil
mov    %sil,0x6(%rdi,%r8,1)
mov    %ecx,%edx
shr    $0x7,%dl
mov    %dl,0x7(%rdi,%r8,1)
mov    %ecx,%edx
shr    $0x6,%dl
and    $0x1,%dl
mov    %dl,0x8(%rdi,%r8,1)
mov    %ecx,%edx
shr    $0x5,%dl
and    $0x1,%dl
mov    %dl,0x9(%rdi,%r8,1)
mov    %ecx,%edx
shr    $0x4,%dl
and    $0x1,%dl
mov    %dl,0xa(%rdi,%r8,1)
mov    %ecx,%edx
shr    $0x3,%dl
and    $0x1,%dl
mov    %dl,0xb(%rdi,%r8,1)
mov    %ecx,%edx
shr    $0x2,%dl
and    $0x1,%dl
mov    %dl,0xc(%rdi,%r8,1)
mov    %ecx,%edx
shr    %dl
and    $0x1,%dl
mov    %dl,0xd(%rdi,%r8,1)
and    $0x1,%cl
add    $0xf,%eax
mov    %cl,0xe(%rdi,%r8,1)
ret

LLVM IR (-O0):
define i32 @append_crc(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %3
store i32 %1, i32* %4
store i32 0, i32* %5
store i32 0, i32* %6
br label %8
8: ; preds = %32, %2
%9 = load i32, i32* %6
%10 = load i32, i32* %4
%11 = icmp slt i32 %9, %10
br i1 %11, label %12, label %35
12: ; preds = %8
%13 = load i32, i32* %5
%14 = shl i32 %13, 1
store i32 %14, i32* %5
%15 = load i8*, i8** %3
%16 = load i32, i32* %6
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i8, i8* %15, i64 %17
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = load i32, i32* %5
%22 = ashr i32 %21, 15
%23 = and i32 %22, 1
%24 = xor i32 %20, %23
%25 = icmp ne i32 %24, 0
br i1 %25, label %26, label %29
26: ; preds = %12
%27 = load i32, i32* %5
%28 = xor i32 %27, 17817
store i32 %28, i32* %5
br label %29
29: ; preds = %26, %12
%30 = load i32, i32* %5
%31 = and i32 %30, 32767
store i32 %31, i32* %5
br label %32
32: ; preds = %29
%33 = load i32, i32* %6
%34 = add nsw i32 %33, 1
store i32 %34, i32* %6
br label %8
35: ; preds = %8
store i32 14, i32* %7
br label %36
36: ; preds = %50, %35
%37 = load i32, i32* %7
%38 = icmp sge i32 %37, 0
br i1 %38, label %39, label %53
39: ; preds = %36
%40 = load i32, i32* %5
%41 = load i32, i32* %7
%42 = ashr i32 %40, %41
%43 = and i32 %42, 1
%44 = trunc i32 %43 to i8
%45 = load i8*, i8** %3
%46 = load i32, i32* %4
%47 = add nsw i32 %46, 1
store i32 %47, i32* %4
%48 = sext i32 %46 to i64
%49 = getelementptr inbounds i8, i8* %45, i64 %48
store i8 %44, i8* %49
br label %50
50: ; preds = %39
%51 = load i32, i32* %7
%52 = add nsw i32 %51, -1
store i32 %52, i32* %7
br label %36
53: ; preds = %36
%54 = load i32, i32* %4
ret i32 %54
}

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