int head_check(unsigned long head, int check_layer) {
  int nLayer = 4 - ((head >> 17) & 3);
  if ((head & 0xffe00000) != 0xffe00000) {
    return 0;
  }
  if (nLayer == 4)
    return 0;
  if (check_layer > 0 && nLayer != check_layer)
    return 0;
  if (((head >> 12) & 0xf) == 0xf) {
    return 0;
  }
  if (((head >> 10) & 0x3) == 0x3) {
    return 0;
  }
  if ((head & 0x3) == 0x2)
    return 0;
  return 1;
}


x86 assembly (clang, -O0):
<head_check>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x10(%rbp),%rcx
shr    $0x11,%rcx
and    $0x3,%rcx
mov    $0x4,%eax
sub    %rcx,%rax
mov    %eax,-0x18(%rbp)
movabs $0xffe00000,%rax
and    -0x10(%rbp),%rax
mov    $0xffe00000,%ecx
cmp    %rcx,%rax
je     114a <head_check+0x4a>
movl   $0x0,-0x4(%rbp)
jmp    11eb <head_check+0xeb>
cmpl   $0x4,-0x18(%rbp)
jne    1160 <head_check+0x60>
movl   $0x0,-0x4(%rbp)
jmp    11eb <head_check+0xeb>
cmpl   $0x0,-0x14(%rbp)
jle    1182 <head_check+0x82>
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
je     1182 <head_check+0x82>
movl   $0x0,-0x4(%rbp)
jmp    11eb <head_check+0xeb>
mov    -0x10(%rbp),%rax
shr    $0xc,%rax
and    $0xf,%rax
cmp    $0xf,%rax
jne    11a4 <head_check+0xa4>
movl   $0x0,-0x4(%rbp)
jmp    11eb <head_check+0xeb>
mov    -0x10(%rbp),%rax
shr    $0xa,%rax
and    $0x3,%rax
cmp    $0x3,%rax
jne    11c6 <head_check+0xc6>
movl   $0x0,-0x4(%rbp)
jmp    11eb <head_check+0xeb>
mov    -0x10(%rbp),%rax
and    $0x3,%rax
cmp    $0x2,%rax
jne    11e4 <head_check+0xe4>
movl   $0x0,-0x4(%rbp)
jmp    11eb <head_check+0xeb>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<head_check>:
mov    %edi,%ecx
not    %ecx
xor    %eax,%eax
test   $0xffe00000,%ecx
jne    1154 <head_check+0x54>
mov    %edi,%ecx
shr    $0x11,%ecx
and    $0x3,%ecx
je     1154 <head_check+0x54>
mov    $0x4,%edx
sub    %ecx,%edx
test   %esi,%esi
setg   %cl
cmp    %esi,%edx
setne  %dl
mov    %edi,%esi
not    %esi
test   $0xc00,%esi
je     1154 <head_check+0x54>
mov    %edi,%esi
and    $0xf000,%esi
cmp    $0xf000,%esi
je     1154 <head_check+0x54>
and    %dl,%cl
jne    1154 <head_check+0x54>
and    $0x3,%edi
xor    %eax,%eax
cmp    $0x2,%edi
setne  %al
ret

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

LLVM IR (-O2):
define i32 @head_check(i64 %0, i32 %1) {
%3 = trunc i64 %0 to i32
%4 = lshr i32 %3, 17
%5 = and i32 %4, 3
%6 = and i64 %0, 4292870144
%7 = icmp ne i64 %6, 4292870144
%8 = icmp eq i32 %5, 0
%9 = or i1 %7, %8
br i1 %9, label %25, label %10
10: ; preds = %2
%11 = sub nuw nsw i32 4, %5
%12 = icmp sgt i32 %1, 0
%13 = icmp ne i32 %11, %1
%14 = select i1 %12, i1 %13, i1 false
%15 = and i64 %0, 61440
%16 = icmp eq i64 %15, 61440
%17 = or i1 %16, %14
%18 = and i64 %0, 3072
%19 = icmp eq i64 %18, 3072
%20 = or i1 %19, %17
br i1 %20, label %25, label %21
21: ; preds = %10
%22 = and i64 %0, 3
%23 = icmp ne i64 %22, 2
%24 = zext i1 %23 to i32
br label %25
25: ; preds = %21, %10, %2
%26 = phi i32 [ 0, %2 ], [ 0, %10 ], [ %24, %21 ]
ret i32 %26
}