unsigned int crc32c(unsigned char *message) {
  int i, j;
  unsigned int byte, crc, mask;
  static unsigned int table[256];
  if (table[1] == 0) {
    for (byte = 0; byte <= 255; byte++) {
      crc = byte;
      for (j = 7; j >= 0; j--) {
        mask = -(crc & 1);
        crc = (crc >> 1) ^ (0xEDB88320 & mask);
      }
      table[byte] = crc;
    }
  }
  i = 0;
  crc = 0xFFFFFFFF;
  while ((byte = message[i]) != 0) {
    crc = (crc >> 8) ^ table[(crc ^ byte) & 0xFF];
    i = i + 1;
  }
  return ~crc;
}


x86 assembly (clang, -O0):
<crc32c>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
cmpl   $0x0,0x2f25(%rip)
jne    1194 <crc32c+0x94>
movl   $0x0,-0x14(%rbp)
cmpl   $0xff,-0x14(%rbp)
ja     118f <crc32c+0x8f>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x7,-0x10(%rbp)
cmpl   $0x0,-0x10(%rbp)
jl     116f <crc32c+0x6f>
mov    -0x18(%rbp),%ecx
and    $0x1,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
shr    $0x1,%eax
mov    -0x1c(%rbp),%ecx
and    $0xedb88320,%ecx
xor    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
jmp    1136 <crc32c+0x36>
mov    -0x18(%rbp),%edx
mov    -0x14(%rbp),%eax
mov    %eax,%ecx
lea    0x2eb2(%rip),%rax
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    111c <crc32c+0x1c>
jmp    1194 <crc32c+0x94>
movl   $0x0,-0xc(%rbp)
movl   $0xffffffff,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x14(%rbp)
cmp    $0x0,%eax
je     11eb <crc32c+0xeb>
mov    -0x18(%rbp),%eax
shr    $0x8,%eax
mov    -0x18(%rbp),%ecx
xor    -0x14(%rbp),%ecx
and    $0xff,%ecx
mov    %ecx,%ecx
mov    %ecx,%edx
lea    0x2e59(%rip),%rcx
xor    (%rcx,%rdx,4),%eax
mov    %eax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11a2 <crc32c+0xa2>
mov    -0x18(%rbp),%eax
xor    $0xffffffff,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<crc32c>:
cmpl   $0x0,0x2f2d(%rip)
jne    1229 <crc32c+0x129>
movdqa 0xeeb(%rip),%xmm0
xor    %eax,%eax
movdqa 0xef1(%rip),%xmm1
movdqa 0xef9(%rip),%xmm2
lea    0x2f02(%rip),%rcx
movdqa 0xefa(%rip),%xmm3
cs nopw 0x0(%rax,%rax,1)
movdqa %xmm0,%xmm4
pand   %xmm1,%xmm4
pxor   %xmm5,%xmm5
psubd  %xmm4,%xmm5
movdqa %xmm0,%xmm4
psrld  $0x1,%xmm4
pand   %xmm2,%xmm5
pxor   %xmm4,%xmm5
pand   %xmm1,%xmm4
pxor   %xmm6,%xmm6
psubd  %xmm4,%xmm6
psrld  $0x1,%xmm5
pand   %xmm2,%xmm6
pxor   %xmm5,%xmm6
pand   %xmm1,%xmm5
pxor   %xmm4,%xmm4
psubd  %xmm5,%xmm4
psrld  $0x1,%xmm6
pand   %xmm2,%xmm4
pxor   %xmm6,%xmm4
pand   %xmm1,%xmm6
pxor   %xmm5,%xmm5
psubd  %xmm6,%xmm5
psrld  $0x1,%xmm4
pand   %xmm2,%xmm5
pxor   %xmm4,%xmm5
pand   %xmm1,%xmm4
pxor   %xmm6,%xmm6
psubd  %xmm4,%xmm6
psrld  $0x1,%xmm5
pand   %xmm2,%xmm6
pxor   %xmm5,%xmm6
pand   %xmm1,%xmm5
pxor   %xmm4,%xmm4
psubd  %xmm5,%xmm4
psrld  $0x1,%xmm6
pand   %xmm2,%xmm4
pxor   %xmm6,%xmm4
pand   %xmm1,%xmm6
pxor   %xmm5,%xmm5
psubd  %xmm6,%xmm5
psrld  $0x1,%xmm4
pand   %xmm2,%xmm5
pxor   %xmm4,%xmm5
pand   %xmm1,%xmm4
pxor   %xmm6,%xmm6
psubd  %xmm4,%xmm6
psrld  $0x1,%xmm5
pand   %xmm2,%xmm6
pxor   %xmm5,%xmm6
movdqa %xmm6,(%rax,%rcx,1)
paddd  %xmm3,%xmm0
add    $0x10,%rax
cmp    $0x400,%rax
jne    1140 <crc32c+0x40>
mov    (%rdi),%dl
test   %dl,%dl
je     125c <crc32c+0x15c>
add    $0x1,%rdi
mov    $0xffffffff,%eax
lea    0x2df1(%rip),%rcx
nop
movzbl %dl,%edx
movzbl %al,%esi
shr    $0x8,%eax
xor    %edx,%esi
xor    (%rcx,%rsi,4),%eax
movzbl (%rdi),%edx
add    $0x1,%rdi
test   %dl,%dl
jne    1240 <crc32c+0x140>
not    %eax
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
@crc32c.table = internal global [256 x i32] zeroinitializer
define i32 @crc32c(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %2
%8 = load i32, i32* getelementptr inbounds ([256 x i32], [256 x i32]* @crc32c.table, i64 0, i64 1)
%9 = icmp eq i32 %8, 0
br i1 %9, label %10, label %40
10: ; preds = %1
store i32 0, i32* %5
br label %11
11: ; preds = %36, %10
%12 = load i32, i32* %5
%13 = icmp ule i32 %12, 255
br i1 %13, label %14, label %39
14: ; preds = %11
%15 = load i32, i32* %5
store i32 %15, i32* %6
store i32 7, i32* %4
br label %16
16: ; preds = %28, %14
%17 = load i32, i32* %4
%18 = icmp sge i32 %17, 0
br i1 %18, label %19, label %31
19: ; preds = %16
%20 = load i32, i32* %6
%21 = and i32 %20, 1
%22 = sub i32 0, %21
store i32 %22, i32* %7
%23 = load i32, i32* %6
%24 = lshr i32 %23, 1
%25 = load i32, i32* %7
%26 = and i32 -306674912, %25
%27 = xor i32 %24, %26
store i32 %27, i32* %6
br label %28
28: ; preds = %19
%29 = load i32, i32* %4
%30 = add nsw i32 %29, -1
store i32 %30, i32* %4
br label %16
31: ; preds = %16
%32 = load i32, i32* %6
%33 = load i32, i32* %5
%34 = zext i32 %33 to i64
%35 = getelementptr inbounds [256 x i32], [256 x i32]* @crc32c.table, i64 0, i64 %34
store i32 %32, i32* %35
br label %36
36: ; preds = %31
%37 = load i32, i32* %5
%38 = add i32 %37, 1
store i32 %38, i32* %5
br label %11
39: ; preds = %11
br label %40
40: ; preds = %39, %1
store i32 0, i32* %3
store i32 -1, i32* %6
br label %41
41: ; preds = %49, %40
%42 = load i8*, i8** %2
%43 = load i32, i32* %3
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i8, i8* %42, i64 %44
%46 = load i8, i8* %45
%47 = zext i8 %46 to i32
store i32 %47, i32* %5
%48 = icmp ne i32 %47, 0
br i1 %48, label %49, label %62
49: ; preds = %41
%50 = load i32, i32* %6
%51 = lshr i32 %50, 8
%52 = load i32, i32* %6
%53 = load i32, i32* %5
%54 = xor i32 %52, %53
%55 = and i32 %54, 255
%56 = zext i32 %55 to i64
%57 = getelementptr inbounds [256 x i32], [256 x i32]* @crc32c.table, i64 0, i64 %56
%58 = load i32, i32* %57
%59 = xor i32 %51, %58
store i32 %59, i32* %6
%60 = load i32, i32* %3
%61 = add nsw i32 %60, 1
store i32 %61, i32* %3
br label %41
62: ; preds = %41
%63 = load i32, i32* %6
%64 = xor i32 %63, -1
ret i32 %64
}

LLVM IR (-O2):
@crc32c.table = internal unnamed_addr global [256 x i32] zeroinitializer
define i32 @crc32c(i8* nocapture %0) {
%2 = load i32, i32* getelementptr inbounds ([256 x i32], [256 x i32]* @crc32c.table, i64 0, i64 1)
%3 = icmp eq i32 %2, 0
br i1 %3, label %4, label %52
4: ; preds = %1, %4
%5 = phi i64 [ %49, %4 ], [ 0, %1 ]
%6 = phi <4 x i32> [ %50, %4 ], [ <i32 0, i32 1, i32 2, i32 3>, %1 ]
%7 = and <4 x i32> %6, <i32 1, i32 1, i32 1, i32 1>
%8 = sub nsw <4 x i32> zeroinitializer, %7
%9 = lshr <4 x i32> %6, <i32 1, i32 1, i32 1, i32 1>
%10 = and <4 x i32> %8, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
%11 = xor <4 x i32> %10, %9
%12 = and <4 x i32> %9, <i32 1, i32 1, i32 1, i32 1>
%13 = sub nsw <4 x i32> zeroinitializer, %12
%14 = lshr <4 x i32> %11, <i32 1, i32 1, i32 1, i32 1>
%15 = and <4 x i32> %13, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
%16 = xor <4 x i32> %15, %14
%17 = and <4 x i32> %14, <i32 1, i32 1, i32 1, i32 1>
%18 = sub nsw <4 x i32> zeroinitializer, %17
%19 = lshr <4 x i32> %16, <i32 1, i32 1, i32 1, i32 1>
%20 = and <4 x i32> %18, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
%21 = xor <4 x i32> %20, %19
%22 = and <4 x i32> %19, <i32 1, i32 1, i32 1, i32 1>
%23 = sub nsw <4 x i32> zeroinitializer, %22
%24 = lshr <4 x i32> %21, <i32 1, i32 1, i32 1, i32 1>
%25 = and <4 x i32> %23, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
%26 = xor <4 x i32> %25, %24
%27 = and <4 x i32> %24, <i32 1, i32 1, i32 1, i32 1>
%28 = sub nsw <4 x i32> zeroinitializer, %27
%29 = lshr <4 x i32> %26, <i32 1, i32 1, i32 1, i32 1>
%30 = and <4 x i32> %28, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
%31 = xor <4 x i32> %30, %29
%32 = and <4 x i32> %29, <i32 1, i32 1, i32 1, i32 1>
%33 = sub nsw <4 x i32> zeroinitializer, %32
%34 = lshr <4 x i32> %31, <i32 1, i32 1, i32 1, i32 1>
%35 = and <4 x i32> %33, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
%36 = xor <4 x i32> %35, %34
%37 = and <4 x i32> %34, <i32 1, i32 1, i32 1, i32 1>
%38 = sub nsw <4 x i32> zeroinitializer, %37
%39 = lshr <4 x i32> %36, <i32 1, i32 1, i32 1, i32 1>
%40 = and <4 x i32> %38, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
%41 = xor <4 x i32> %40, %39
%42 = and <4 x i32> %39, <i32 1, i32 1, i32 1, i32 1>
%43 = sub nsw <4 x i32> zeroinitializer, %42
%44 = lshr <4 x i32> %41, <i32 1, i32 1, i32 1, i32 1>
%45 = and <4 x i32> %43, <i32 -306674912, i32 -306674912, i32 -306674912, i32 -306674912>
%46 = xor <4 x i32> %45, %44
%47 = getelementptr inbounds [256 x i32], [256 x i32]* @crc32c.table, i64 0, i64 %5
%48 = bitcast i32* %47 to <4 x i32>*
store <4 x i32> %46, <4 x i32>* %48
%49 = add nuw i64 %5, 4
%50 = add <4 x i32> %6, <i32 4, i32 4, i32 4, i32 4>
%51 = icmp eq i64 %49, 256
br i1 %51, label %52, label %4
52: ; preds = %4, %1
%53 = load i8, i8* %0
%54 = icmp eq i8 %53, 0
br i1 %54, label %73, label %55
55: ; preds = %52, %55
%56 = phi i64 [ %67, %55 ], [ 0, %52 ]
%57 = phi i8 [ %69, %55 ], [ %53, %52 ]
%58 = phi i32 [ %66, %55 ], [ -1, %52 ]
%59 = zext i8 %57 to i32
%60 = lshr i32 %58, 8
%61 = and i32 %58, 255
%62 = xor i32 %61, %59
%63 = zext i32 %62 to i64
%64 = getelementptr inbounds [256 x i32], [256 x i32]* @crc32c.table, i64 0, i64 %63
%65 = load i32, i32* %64
%66 = xor i32 %65, %60
%67 = add nuw nsw i64 %56, 1
%68 = getelementptr inbounds i8, i8* %0, i64 %67
%69 = load i8, i8* %68
%70 = icmp eq i8 %69, 0
br i1 %70, label %71, label %55
71: ; preds = %55
%72 = xor i32 %66, -1
br label %73
73: ; preds = %71, %52
%74 = phi i32 [ 0, %52 ], [ %72, %71 ]
ret i32 %74
}