#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 */
typedef unsigned short uint16_t;

/* Variables and functions */
uint16_t crc16(unsigned char *pcBlock, uint16_t len) {
  unsigned short crc = 0xFFFF;
  unsigned char i;
  while (len--) {
    crc ^= *pcBlock++ << 8;
    for (i = 0; i < 8; i++)
      crc = crc & 0x8000 ? (crc << 1) ^ 0x1021 : crc << 1;
  }
  return crc;
}


x86 assembly (clang, -O0):
<crc16>:
push   %rbp
mov    %rsp,%rbp
mov    %si,%ax
mov    %rdi,-0x8(%rbp)
mov    %ax,-0xa(%rbp)
movw   $0xffff,-0xc(%rbp)
mov    -0xa(%rbp),%ax
mov    %ax,%cx
add    $0xffff,%cx
mov    %cx,-0xa(%rbp)
cmp    $0x0,%ax
je     11a7 <crc16+0xa7>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
movzbl (%rax),%ecx
shl    $0x8,%ecx
movzwl -0xc(%rbp),%eax
xor    %ecx,%eax
mov    %ax,-0xc(%rbp)
movb   $0x0,-0xd(%rbp)
movzbl -0xd(%rbp),%eax
cmp    $0x8,%eax
jge    11a2 <crc16+0xa2>
movzwl -0xc(%rbp),%eax
and    $0x8000,%eax
cmp    $0x0,%eax
je     1184 <crc16+0x84>
movzwl -0xc(%rbp),%eax
shl    $0x1,%eax
xor    $0x1021,%eax
mov    %eax,-0x14(%rbp)
jmp    118e <crc16+0x8e>
movzwl -0xc(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %ax,-0xc(%rbp)
mov    -0xd(%rbp),%al
add    $0x1,%al
mov    %al,-0xd(%rbp)
jmp    1151 <crc16+0x51>
jmp    1115 <crc16+0x15>
movzwl -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<crc16>:
test   %esi,%esi
je     11c7 <crc16+0xc7>
movzwl %si,%r8d
mov    $0xffff,%ax
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rdi,%rdx,1),%esi
shl    $0x8,%esi
xor    %esi,%eax
mov    %eax,%ecx
add    %eax,%ecx
mov    %ecx,%esi
xor    $0x1021,%esi
test   %ax,%ax
cmovns %ecx,%esi
mov    %esi,%eax
add    %esi,%eax
mov    %eax,%ecx
xor    $0x1021,%ecx
test   %si,%si
cmovns %eax,%ecx
mov    %ecx,%eax
add    %ecx,%eax
mov    %eax,%esi
xor    $0x1021,%esi
test   %cx,%cx
cmovns %eax,%esi
mov    %esi,%eax
add    %esi,%eax
mov    %eax,%ecx
xor    $0x1021,%ecx
test   %si,%si
cmovns %eax,%ecx
mov    %ecx,%eax
add    %ecx,%eax
mov    %eax,%esi
xor    $0x1021,%esi
test   %cx,%cx
cmovns %eax,%esi
mov    %esi,%eax
add    %esi,%eax
mov    %eax,%ecx
xor    $0x1021,%ecx
test   %si,%si
cmovns %eax,%ecx
mov    %ecx,%eax
add    %ecx,%eax
mov    %eax,%esi
xor    $0x1021,%esi
test   %cx,%cx
cmovns %eax,%esi
mov    %esi,%ecx
add    %esi,%ecx
mov    %ecx,%eax
xor    $0x1021,%eax
test   %si,%si
cmovns %ecx,%eax
add    $0x1,%rdx
cmp    %dx,%r8w
jne    1120 <crc16+0x20>
ret
mov    $0xffff,%ax
ret

LLVM IR (-O0):
define zeroext i16 @crc16(i8* %0, i16 zeroext %1) {
%3 = alloca i8*
%4 = alloca i16
%5 = alloca i16
%6 = alloca i8
store i8* %0, i8** %3
store i16 %1, i16* %4
store i16 -1, i16* %5
br label %7
7: ; preds = %45, %2
%8 = load i16, i16* %4
%9 = add i16 %8, -1
store i16 %9, i16* %4
%10 = icmp ne i16 %8, 0
br i1 %10, label %11, label %46
11: ; preds = %7
%12 = load i8*, i8** %3
%13 = getelementptr inbounds i8, i8* %12, i32 1
store i8* %13, i8** %3
%14 = load i8, i8* %12
%15 = zext i8 %14 to i32
%16 = shl i32 %15, 8
%17 = load i16, i16* %5
%18 = zext i16 %17 to i32
%19 = xor i32 %18, %16
%20 = trunc i32 %19 to i16
store i16 %20, i16* %5
store i8 0, i8* %6
br label %21
21: ; preds = %42, %11
%22 = load i8, i8* %6
%23 = zext i8 %22 to i32
%24 = icmp slt i32 %23, 8
br i1 %24, label %25, label %45
25: ; preds = %21
%26 = load i16, i16* %5
%27 = zext i16 %26 to i32
%28 = and i32 %27, 32768
%29 = icmp ne i32 %28, 0
br i1 %29, label %30, label %35
30: ; preds = %25
%31 = load i16, i16* %5
%32 = zext i16 %31 to i32
%33 = shl i32 %32, 1
%34 = xor i32 %33, 4129
br label %39
35: ; preds = %25
%36 = load i16, i16* %5
%37 = zext i16 %36 to i32
%38 = shl i32 %37, 1
br label %39
39: ; preds = %35, %30
%40 = phi i32 [ %34, %30 ], [ %38, %35 ]
%41 = trunc i32 %40 to i16
store i16 %41, i16* %5
br label %42
42: ; preds = %39
%43 = load i8, i8* %6
%44 = add i8 %43, 1
store i8 %44, i8* %6
br label %21
45: ; preds = %21
br label %7
46: ; preds = %7
%47 = load i16, i16* %5
ret i16 %47
}

LLVM IR (-O2):
define zeroext i16 @crc16(i8* nocapture %0, i16 zeroext %1) {
%3 = icmp eq i16 %1, 0
br i1 %3, label %47, label %4
4: ; preds = %2, %4
%5 = phi i16 [ %8, %4 ], [ %1, %2 ]
%6 = phi i16 [ %44, %4 ], [ -1, %2 ]
%7 = phi i8* [ %45, %4 ], [ %0, %2 ]
%8 = add i16 %5, -1
%9 = load i8, i8* %7
%10 = zext i8 %9 to i16
%11 = shl nuw i16 %10, 8
%12 = xor i16 %11, %6
%13 = icmp sgt i16 %12, -1
%14 = shl i16 %12, 1
%15 = xor i16 %14, 4129
%16 = select i1 %13, i16 %14, i16 %15
%17 = icmp sgt i16 %16, -1
%18 = shl i16 %16, 1
%19 = xor i16 %18, 4129
%20 = select i1 %17, i16 %18, i16 %19
%21 = icmp sgt i16 %20, -1
%22 = shl i16 %20, 1
%23 = xor i16 %22, 4129
%24 = select i1 %21, i16 %22, i16 %23
%25 = icmp sgt i16 %24, -1
%26 = shl i16 %24, 1
%27 = xor i16 %26, 4129
%28 = select i1 %25, i16 %26, i16 %27
%29 = icmp sgt i16 %28, -1
%30 = shl i16 %28, 1
%31 = xor i16 %30, 4129
%32 = select i1 %29, i16 %30, i16 %31
%33 = icmp sgt i16 %32, -1
%34 = shl i16 %32, 1
%35 = xor i16 %34, 4129
%36 = select i1 %33, i16 %34, i16 %35
%37 = icmp sgt i16 %36, -1
%38 = shl i16 %36, 1
%39 = xor i16 %38, 4129
%40 = select i1 %37, i16 %38, i16 %39
%41 = icmp sgt i16 %40, -1
%42 = shl i16 %40, 1
%43 = xor i16 %42, 4129
%44 = select i1 %41, i16 %42, i16 %43
%45 = getelementptr inbounds i8, i8* %7, i64 1
%46 = icmp eq i16 %8, 0
br i1 %46, label %47, label %4
47: ; preds = %4, %2
%48 = phi i16 [ -1, %2 ], [ %44, %4 ]
ret i16 %48
}