unsigned int crcbit(unsigned char *inputptr, int octetlen, unsigned int poly) {
  unsigned int i, crc = 0, c;
  while (octetlen-- > 0) {
    c = (*inputptr++) << 24;
    for (i = 8; i != 0; i--) {
      if ((1 << 31) & (c ^ crc))
        crc = (crc << 1) ^ poly;
      else
        crc <<= 1;
      c <<= 1;
    }
  }
  return crc;
}


x86 assembly (clang, -O0):
<crcbit>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0xc(%rbp)
cmp    $0x0,%eax
jle    119c <crcbit+0x9c>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
movzbl (%rax),%eax
shl    $0x18,%eax
mov    %eax,-0x1c(%rbp)
movl   $0x8,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     1197 <crcbit+0x97>
mov    -0x1c(%rbp),%eax
xor    -0x18(%rbp),%eax
and    $0x80000000,%eax
cmp    $0x0,%eax
je     1177 <crcbit+0x77>
mov    -0x18(%rbp),%eax
shl    $0x1,%eax
xor    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    1180 <crcbit+0x80>
mov    -0x18(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1148 <crcbit+0x48>
jmp    1115 <crcbit+0x15>
mov    -0x18(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<crcbit>:
test   %esi,%esi
jle    11c3 <crcbit+0xc3>
add    $0x1,%esi
xor    %r8d,%r8d
xchg   %ax,%ax
movzbl (%rdi),%eax
mov    %eax,%ecx
shl    $0x18,%ecx
xor    %r8d,%ecx
add    %r8d,%r8d
sar    $0x1f,%ecx
and    %edx,%ecx
xor    %r8d,%ecx
mov    %eax,%r8d
shl    $0x19,%r8d
xor    %ecx,%r8d
add    %ecx,%ecx
sar    $0x1f,%r8d
and    %edx,%r8d
xor    %ecx,%r8d
mov    %eax,%ecx
shl    $0x1a,%ecx
xor    %r8d,%ecx
add    %r8d,%r8d
sar    $0x1f,%ecx
and    %edx,%ecx
xor    %r8d,%ecx
mov    %eax,%r8d
shl    $0x1b,%r8d
xor    %ecx,%r8d
add    %ecx,%ecx
sar    $0x1f,%r8d
and    %edx,%r8d
xor    %ecx,%r8d
mov    %eax,%ecx
shl    $0x1c,%ecx
xor    %r8d,%ecx
add    %r8d,%r8d
sar    $0x1f,%ecx
and    %edx,%ecx
xor    %r8d,%ecx
mov    %eax,%r8d
shl    $0x1d,%r8d
xor    %ecx,%r8d
add    %ecx,%ecx
sar    $0x1f,%r8d
and    %edx,%r8d
xor    %ecx,%r8d
mov    %eax,%ecx
shl    $0x1e,%ecx
xor    %r8d,%ecx
add    %r8d,%r8d
sar    $0x1f,%ecx
and    %edx,%ecx
xor    %r8d,%ecx
shl    $0x1f,%eax
xor    %ecx,%eax
add    %ecx,%ecx
sar    $0x1f,%eax
and    %edx,%eax
xor    %ecx,%eax
add    $0x1,%rdi
add    $0xffffffff,%esi
mov    %eax,%r8d
cmp    $0x1,%esi
ja     1110 <crcbit+0x10>
ret
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define i32 @crcbit(i8* nocapture %0, i32 %1, i32 %2) {
%4 = icmp sgt i32 %1, 0
br i1 %4, label %5, label %62
5: ; preds = %3, %5
%6 = phi i32 [ %9, %5 ], [ %1, %3 ]
%7 = phi i32 [ %59, %5 ], [ 0, %3 ]
%8 = phi i8* [ %60, %5 ], [ %0, %3 ]
%9 = add nsw i32 %6, -1
%10 = load i8, i8* %8
%11 = zext i8 %10 to i32
%12 = shl nuw i32 %11, 24
%13 = xor i32 %12, %7
%14 = shl i32 %7, 1
%15 = icmp slt i32 %13, 0
%16 = select i1 %15, i32 %2, i32 0
%17 = xor i32 %16, %14
%18 = shl i32 %11, 25
%19 = xor i32 %18, %17
%20 = shl i32 %17, 1
%21 = icmp slt i32 %19, 0
%22 = select i1 %21, i32 %2, i32 0
%23 = xor i32 %22, %20
%24 = shl i32 %11, 26
%25 = xor i32 %24, %23
%26 = shl i32 %23, 1
%27 = icmp slt i32 %25, 0
%28 = select i1 %27, i32 %2, i32 0
%29 = xor i32 %28, %26
%30 = shl i32 %11, 27
%31 = xor i32 %30, %29
%32 = shl i32 %29, 1
%33 = icmp slt i32 %31, 0
%34 = select i1 %33, i32 %2, i32 0
%35 = xor i32 %34, %32
%36 = shl i32 %11, 28
%37 = xor i32 %36, %35
%38 = shl i32 %35, 1
%39 = icmp slt i32 %37, 0
%40 = select i1 %39, i32 %2, i32 0
%41 = xor i32 %40, %38
%42 = shl i32 %11, 29
%43 = xor i32 %42, %41
%44 = shl i32 %41, 1
%45 = icmp slt i32 %43, 0
%46 = select i1 %45, i32 %2, i32 0
%47 = xor i32 %46, %44
%48 = shl i32 %11, 30
%49 = xor i32 %48, %47
%50 = shl i32 %47, 1
%51 = icmp slt i32 %49, 0
%52 = select i1 %51, i32 %2, i32 0
%53 = xor i32 %52, %50
%54 = shl i32 %11, 31
%55 = xor i32 %54, %53
%56 = shl i32 %53, 1
%57 = icmp slt i32 %55, 0
%58 = select i1 %57, i32 %2, i32 0
%59 = xor i32 %58, %56
%60 = getelementptr inbounds i8, i8* %8, i64 1
%61 = icmp ugt i32 %6, 1
br i1 %61, label %5, label %62
62: ; preds = %5, %3
%63 = phi i32 [ 0, %3 ], [ %59, %5 ]
ret i32 %63
}