#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int append_crc(char *in, int in_len) {
  unsigned int crc = 0;
  for (int i = 0; i < in_len; i++) {
    crc <<= 1;
    if (((unsigned int)(in[i]) ^ ((crc >> 15) & 1U)) != 0U) {
      crc = crc ^ 0x4599U;
    }
    crc &= 0x7fffU;
  }
  int in_len_copy = in_len;
  for (int i = 14; i >= 0; i--) {
    in[in_len_copy] = (crc >> (unsigned int)(i)) & 1U;
    in_len_copy++;
  }
  return in_len_copy;
}


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
shr    $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>
mov    -0xc(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0xe,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jl     11b8 <append_crc+0xb8>
mov    -0x10(%rbp),%eax
mov    -0x1c(%rbp),%ecx
shr    %cl,%eax
and    $0x1,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    117f <append_crc+0x7f>
mov    -0x18(%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
mov    %cl,0xe(%rdi,%r8,1)
add    $0xf,%eax
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
%8 = alloca i32
store i8* %0, i8** %3
store i32 %1, i32* %4
store i32 0, i32* %5
store i32 0, i32* %6
br label %9
9: ; preds = %33, %2
%10 = load i32, i32* %6
%11 = load i32, i32* %4
%12 = icmp slt i32 %10, %11
br i1 %12, label %13, label %36
13: ; preds = %9
%14 = load i32, i32* %5
%15 = shl i32 %14, 1
store i32 %15, i32* %5
%16 = load i8*, i8** %3
%17 = load i32, i32* %6
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i8, i8* %16, i64 %18
%20 = load i8, i8* %19
%21 = sext i8 %20 to i32
%22 = load i32, i32* %5
%23 = lshr i32 %22, 15
%24 = and i32 %23, 1
%25 = xor i32 %21, %24
%26 = icmp ne i32 %25, 0
br i1 %26, label %27, label %30
27: ; preds = %13
%28 = load i32, i32* %5
%29 = xor i32 %28, 17817
store i32 %29, i32* %5
br label %30
30: ; preds = %27, %13
%31 = load i32, i32* %5
%32 = and i32 %31, 32767
store i32 %32, i32* %5
br label %33
33: ; preds = %30
%34 = load i32, i32* %6
%35 = add nsw i32 %34, 1
store i32 %35, i32* %6
br label %9
36: ; preds = %9
%37 = load i32, i32* %4
store i32 %37, i32* %7
store i32 14, i32* %8
br label %38
38: ; preds = %53, %36
%39 = load i32, i32* %8
%40 = icmp sge i32 %39, 0
br i1 %40, label %41, label %56
41: ; preds = %38
%42 = load i32, i32* %5
%43 = load i32, i32* %8
%44 = lshr i32 %42, %43
%45 = and i32 %44, 1
%46 = trunc i32 %45 to i8
%47 = load i8*, i8** %3
%48 = load i32, i32* %7
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i8, i8* %47, i64 %49
store i8 %46, i8* %50
%51 = load i32, i32* %7
%52 = add nsw i32 %51, 1
store i32 %52, i32* %7
br label %53
53: ; preds = %41
%54 = load i32, i32* %8
%55 = add nsw i32 %54, -1
store i32 %55, i32* %8
br label %38
56: ; preds = %38
%57 = load i32, i32* %7
ret i32 %57
}

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 = getelementptr inbounds i8, i8* %0, i64 %27
store i8 %29, i8* %30
%31 = add nsw i64 %27, 1
%32 = lshr i32 %26, 13
%33 = trunc i32 %32 to i8
%34 = and i8 %33, 1
%35 = getelementptr inbounds i8, i8* %0, i64 %31
store i8 %34, i8* %35
%36 = add nsw i64 %27, 2
%37 = lshr i32 %26, 12
%38 = trunc i32 %37 to i8
%39 = and i8 %38, 1
%40 = getelementptr inbounds i8, i8* %0, i64 %36
store i8 %39, i8* %40
%41 = add nsw i64 %27, 3
%42 = lshr i32 %26, 11
%43 = trunc i32 %42 to i8
%44 = and i8 %43, 1
%45 = getelementptr inbounds i8, i8* %0, i64 %41
store i8 %44, i8* %45
%46 = add nsw i64 %27, 4
%47 = lshr i32 %26, 10
%48 = trunc i32 %47 to i8
%49 = and i8 %48, 1
%50 = getelementptr inbounds i8, i8* %0, i64 %46
store i8 %49, i8* %50
%51 = add nsw i64 %27, 5
%52 = lshr i32 %26, 9
%53 = trunc i32 %52 to i8
%54 = and i8 %53, 1
%55 = getelementptr inbounds i8, i8* %0, i64 %51
store i8 %54, i8* %55
%56 = add nsw i64 %27, 6
%57 = lshr i32 %26, 8
%58 = trunc i32 %57 to i8
%59 = and i8 %58, 1
%60 = getelementptr inbounds i8, i8* %0, i64 %56
store i8 %59, i8* %60
%61 = add nsw i64 %27, 7
%62 = trunc i32 %26 to i8
%63 = lshr i8 %62, 7
%64 = getelementptr inbounds i8, i8* %0, i64 %61
store i8 %63, i8* %64
%65 = add nsw i64 %27, 8
%66 = trunc i32 %26 to i8
%67 = lshr i8 %66, 6
%68 = and i8 %67, 1
%69 = getelementptr inbounds i8, i8* %0, i64 %65
store i8 %68, i8* %69
%70 = add nsw i64 %27, 9
%71 = trunc i32 %26 to i8
%72 = lshr i8 %71, 5
%73 = and i8 %72, 1
%74 = getelementptr inbounds i8, i8* %0, i64 %70
store i8 %73, i8* %74
%75 = add nsw i64 %27, 10
%76 = trunc i32 %26 to i8
%77 = lshr i8 %76, 4
%78 = and i8 %77, 1
%79 = getelementptr inbounds i8, i8* %0, i64 %75
store i8 %78, i8* %79
%80 = add nsw i64 %27, 11
%81 = trunc i32 %26 to i8
%82 = lshr i8 %81, 3
%83 = and i8 %82, 1
%84 = getelementptr inbounds i8, i8* %0, i64 %80
store i8 %83, i8* %84
%85 = add nsw i64 %27, 12
%86 = trunc i32 %26 to i8
%87 = lshr i8 %86, 2
%88 = and i8 %87, 1
%89 = getelementptr inbounds i8, i8* %0, i64 %85
store i8 %88, i8* %89
%90 = add nsw i64 %27, 13
%91 = trunc i32 %26 to i8
%92 = lshr i8 %91, 1
%93 = and i8 %92, 1
%94 = getelementptr inbounds i8, i8* %0, i64 %90
store i8 %93, i8* %94
%95 = add nsw i64 %27, 14
%96 = trunc i32 %26 to i8
%97 = and i8 %96, 1
%98 = getelementptr inbounds i8, i8* %0, i64 %95
store i8 %97, i8* %98
%99 = add i32 %1, 15
ret i32 %99
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
}