#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 /*<<< orphan*/ CRCBuildTable16(int, unsigned short *);
unsigned short CRC_16(unsigned char *aData, unsigned long aSize) {
  unsigned long i;
  unsigned short nAccum = 0;
  unsigned short crcTable[256];
  CRCBuildTable16(0x1021, crcTable);
  for (i = 0; i < aSize; i++)
    nAccum = (nAccum << 8) ^ crcTable[(nAccum >> 8) ^ *aData++];
  return nAccum;
}


x86 assembly (clang, -O0):
<CRC_16>:
push   %rbp
mov    %rsp,%rbp
sub    $0x220,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movw   $0x0,-0x1a(%rbp)
lea    -0x220(%rbp),%rsi
mov    $0x1021,%edi
call   1030 <CRCBuildTable16@plt>
movq   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1194 <CRC_16+0x84>
movzwl -0x1a(%rbp),%eax
shl    $0x8,%eax
movzwl -0x1a(%rbp),%ecx
sar    $0x8,%ecx
mov    -0x8(%rbp),%rdx
mov    %rdx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x8(%rbp)
movzbl (%rdx),%edx
xor    %edx,%ecx
movslq %ecx,%rcx
movzwl -0x220(%rbp,%rcx,2),%ecx
ff
xor    %ecx,%eax
mov    %ax,-0x1a(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1142 <CRC_16+0x32>
movzwl -0x1a(%rbp),%eax
add    $0x220,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<CRC_16>:
push   %r14
push   %rbx
sub    $0x208,%rsp
mov    %rsi,%r14
mov    %rdi,%rbx
mov    %rsp,%rsi
mov    $0x1021,%edi
call   1030 <CRCBuildTable16@plt>
test   %r14,%r14
je     113c <CRC_16+0x2c>
cmp    $0x1,%r14
jne    1140 <CRC_16+0x30>
xor    %eax,%eax
jmp    1187 <CRC_16+0x77>
xor    %eax,%eax
jmp    11a3 <CRC_16+0x93>
mov    %r14,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %eax,%eax
nopl   0x0(%rax)
movzwl %ax,%eax
mov    %eax,%edx
shl    $0x8,%edx
shr    $0x8,%rax
movzbl (%rbx),%esi
xor    %rax,%rsi
movzwl (%rsp,%rsi,2),%eax
xor    %eax,%edx
shl    $0x8,%eax
movzwl %dx,%edx
shr    $0x8,%rdx
movzbl 0x1(%rbx),%esi
add    $0x2,%rbx
xor    %rdx,%rsi
xor    (%rsp,%rsi,2),%ax
add    $0xfffffffffffffffe,%rcx
jne    1150 <CRC_16+0x40>
test   $0x1,%r14b
je     11a3 <CRC_16+0x93>
movzwl %ax,%ecx
mov    %ecx,%eax
shl    $0x8,%eax
shr    $0x8,%rcx
movzbl (%rbx),%edx
xor    %rcx,%rdx
xor    (%rsp,%rdx,2),%ax
add    $0x208,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define zeroext i16 @CRC_16(i8* %0, i64 %1) {
%3 = alloca i8*
%4 = alloca i64
%5 = alloca i64
%6 = alloca i16
%7 = alloca [256 x i16]
store i8* %0, i8** %3
store i64 %1, i64* %4
store i16 0, i16* %6
%8 = getelementptr inbounds [256 x i16], [256 x i16]* %7, i64 0, i64 0
%9 = call i32 @CRCBuildTable16(i32 4129, i16* %8)
store i64 0, i64* %5
br label %10
10: ; preds = %32, %2
%11 = load i64, i64* %5
%12 = load i64, i64* %4
%13 = icmp ult i64 %11, %12
br i1 %13, label %14, label %35
14: ; preds = %10
%15 = load i16, i16* %6
%16 = zext i16 %15 to i32
%17 = shl i32 %16, 8
%18 = load i16, i16* %6
%19 = zext i16 %18 to i32
%20 = ashr i32 %19, 8
%21 = load i8*, i8** %3
%22 = getelementptr inbounds i8, i8* %21, i32 1
store i8* %22, i8** %3
%23 = load i8, i8* %21
%24 = zext i8 %23 to i32
%25 = xor i32 %20, %24
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds [256 x i16], [256 x i16]* %7, i64 0, i64 %26
%28 = load i16, i16* %27
%29 = zext i16 %28 to i32
%30 = xor i32 %17, %29
%31 = trunc i32 %30 to i16
store i16 %31, i16* %6
br label %32
32: ; preds = %14
%33 = load i64, i64* %5
%34 = add i64 %33, 1
store i64 %34, i64* %5
br label %10
35: ; preds = %10
%36 = load i16, i16* %6
ret i16 %36
}

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