unsigned short CALC_CRC1a(unsigned short crc, unsigned char byte) {
  int i = 8;
  unsigned short b = byte << 8;
  while (i--) {
    crc = (crc << 1) ^ (((crc ^ b) & 0x8000) ? 0x1021 : 0);
    b <<= 1;
  }
  return crc;
}


x86 assembly (clang, -O0):
<CALC_CRC1a>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %di,%cx
mov    %cx,-0x2(%rbp)
mov    %al,-0x3(%rbp)
movl   $0x8,-0x8(%rbp)
movzbl -0x3(%rbp),%eax
shl    $0x8,%eax
mov    %ax,-0xa(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x8(%rbp)
cmp    $0x0,%eax
je     1171 <CALC_CRC1a+0x71>
movzwl -0x2(%rbp),%eax
shl    $0x1,%eax
movzwl -0x2(%rbp),%esi
movzwl -0xa(%rbp),%ecx
xor    %ecx,%esi
and    $0x8000,%esi
xor    %ecx,%ecx
mov    $0x1021,%edx
cmp    $0x0,%esi
cmovne %edx,%ecx
xor    %ecx,%eax
mov    %ax,-0x2(%rbp)
movzwl -0xa(%rbp),%eax
shl    $0x1,%eax
mov    %ax,-0xa(%rbp)
jmp    1123 <CALC_CRC1a+0x23>
movzwl -0x2(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<CALC_CRC1a>:
mov    %esi,%eax
shl    $0x8,%eax
xor    %edi,%eax
and    $0x8000,%eax
mov    $0x1021,%r8d
cmovne %r8d,%eax
lea    (%rdi,%rdi,1),%edx
xor    %edx,%eax
mov    %esi,%edi
shl    $0x9,%edi
add    %eax,%eax
xor    %edx,%edi
and    $0x8000,%edi
cmovne %r8d,%edi
xor    %eax,%edi
mov    %esi,%edx
shl    $0xa,%edx
add    %edi,%edi
xor    %eax,%edx
and    $0x8000,%edx
cmovne %r8d,%edx
xor    %edi,%edx
mov    %esi,%ecx
shl    $0xb,%ecx
add    %edx,%edx
xor    %edi,%ecx
and    $0x8000,%ecx
cmovne %r8d,%ecx
xor    %edx,%ecx
mov    %esi,%edi
shl    $0xc,%edi
add    %ecx,%ecx
xor    %edx,%edi
and    $0x8000,%edi
cmovne %r8d,%edi
xor    %ecx,%edi
mov    %esi,%eax
shl    $0xd,%eax
add    %edi,%edi
xor    %ecx,%eax
and    $0x8000,%eax
cmovne %r8d,%eax
xor    %edi,%eax
mov    %esi,%ecx
shl    $0xe,%ecx
add    %eax,%eax
xor    %edi,%ecx
and    $0x8000,%ecx
cmovne %r8d,%ecx
xor    %eax,%ecx
shl    $0xf,%esi
add    %ecx,%ecx
xor    %esi,%eax
and    $0x8000,%eax
cmovne %r8d,%eax
xor    %ecx,%eax
ret

LLVM IR (-O0):
define zeroext i16 @CALC_CRC1a(i16 zeroext %0, i8 zeroext %1) {
%3 = alloca i16
%4 = alloca i8
%5 = alloca i32
%6 = alloca i16
store i16 %0, i16* %3
store i8 %1, i8* %4
store i32 8, i32* %5
%7 = load i8, i8* %4
%8 = zext i8 %7 to i32
%9 = shl i32 %8, 8
%10 = trunc i32 %9 to i16
store i16 %10, i16* %6
br label %11
11: ; preds = %15, %2
%12 = load i32, i32* %5
%13 = add nsw i32 %12, -1
store i32 %13, i32* %5
%14 = icmp ne i32 %12, 0
br i1 %14, label %15, label %34
15: ; preds = %11
%16 = load i16, i16* %3
%17 = zext i16 %16 to i32
%18 = shl i32 %17, 1
%19 = load i16, i16* %3
%20 = zext i16 %19 to i32
%21 = load i16, i16* %6
%22 = zext i16 %21 to i32
%23 = xor i32 %20, %22
%24 = and i32 %23, 32768
%25 = icmp ne i32 %24, 0
%26 = zext i1 %25 to i64
%27 = select i1 %25, i32 4129, i32 0
%28 = xor i32 %18, %27
%29 = trunc i32 %28 to i16
store i16 %29, i16* %3
%30 = load i16, i16* %6
%31 = zext i16 %30 to i32
%32 = shl i32 %31, 1
%33 = trunc i32 %32 to i16
store i16 %33, i16* %6
br label %11
34: ; preds = %11
%35 = load i16, i16* %3
ret i16 %35
}

LLVM IR (-O2):
define zeroext i16 @CALC_CRC1a(i16 zeroext %0, i8 zeroext %1) {
%3 = zext i8 %1 to i32
%4 = shl nuw nsw i32 %3, 8
%5 = zext i16 %0 to i32
%6 = shl i16 %0, 1
%7 = xor i32 %4, %5
%8 = and i32 %7, 32768
%9 = icmp eq i32 %8, 0
%10 = select i1 %9, i16 0, i16 4129
%11 = xor i16 %10, %6
%12 = shl nuw nsw i32 %3, 9
%13 = zext i16 %6 to i32
%14 = shl i16 %11, 1
%15 = xor i32 %12, %13
%16 = and i32 %15, 32768
%17 = icmp eq i32 %16, 0
%18 = select i1 %17, i16 0, i16 4129
%19 = xor i16 %18, %14
%20 = shl nuw nsw i32 %3, 10
%21 = zext i16 %14 to i32
%22 = shl i16 %19, 1
%23 = xor i32 %20, %21
%24 = and i32 %23, 32768
%25 = icmp eq i32 %24, 0
%26 = select i1 %25, i16 0, i16 4129
%27 = xor i16 %26, %22
%28 = shl nuw nsw i32 %3, 11
%29 = zext i16 %22 to i32
%30 = shl i16 %27, 1
%31 = xor i32 %28, %29
%32 = and i32 %31, 32768
%33 = icmp eq i32 %32, 0
%34 = select i1 %33, i16 0, i16 4129
%35 = xor i16 %34, %30
%36 = shl nuw nsw i32 %3, 12
%37 = zext i16 %30 to i32
%38 = shl i16 %35, 1
%39 = xor i32 %36, %37
%40 = and i32 %39, 32768
%41 = icmp eq i32 %40, 0
%42 = select i1 %41, i16 0, i16 4129
%43 = xor i16 %42, %38
%44 = shl nuw nsw i32 %3, 13
%45 = zext i16 %38 to i32
%46 = shl i16 %43, 1
%47 = xor i32 %44, %45
%48 = and i32 %47, 32768
%49 = icmp eq i32 %48, 0
%50 = select i1 %49, i16 0, i16 4129
%51 = xor i16 %50, %46
%52 = shl nuw nsw i32 %3, 14
%53 = zext i16 %46 to i32
%54 = shl i16 %51, 1
%55 = xor i32 %52, %53
%56 = and i32 %55, 32768
%57 = icmp eq i32 %56, 0
%58 = select i1 %57, i16 0, i16 4129
%59 = xor i16 %58, %54
%60 = shl nuw nsw i32 %3, 15
%61 = zext i16 %54 to i32
%62 = shl i16 %59, 1
%63 = xor i32 %60, %61
%64 = and i32 %63, 32768
%65 = icmp eq i32 %64, 0
%66 = select i1 %65, i16 0, i16 4129
%67 = xor i16 %66, %62
ret i16 %67
}