#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 */
typedef int uint64_t;

/* Variables and functions */
bool prov_is_inode(uint64_t type) {
  switch (type) {
  case (0x2000000000000000UL | (0x0000000000000001ULL << 6)):
  case (0x2000000000000000UL | (0x0000000000000001ULL << 7)):
  case (0x2000000000000000UL | (0x0000000000000001ULL << 8)):
  case (0x2000000000000000UL | (0x0000000000000001ULL << 9)):
  case (0x2000000000000000UL | (0x0000000000000001ULL << 10)):
  case (0x2000000000000000UL | (0x0000000000000001ULL << 11)):
  case (0x2000000000000000UL | (0x0000000000000001ULL << 12)):
  case (0x2000000000000000UL | (0x0000000000000001ULL << 13)):
    return true;
  default:
    return false;
  }
}


x86 assembly (clang, -O0):
<prov_is_inode>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0xc(%rbp)
sub    $0x40,%eax
je     11a0 <prov_is_inode+0xa0>
jmp    111b <prov_is_inode+0x1b>
mov    -0xc(%rbp),%eax
sub    $0x80,%eax
je     11a0 <prov_is_inode+0xa0>
jmp    112e <prov_is_inode+0x2e>
mov    -0xc(%rbp),%eax
sub    $0x100,%eax
je     11a0 <prov_is_inode+0xa0>
jmp    1141 <prov_is_inode+0x41>
mov    -0xc(%rbp),%eax
sub    $0x200,%eax
je     11a0 <prov_is_inode+0xa0>
jmp    1154 <prov_is_inode+0x54>
mov    -0xc(%rbp),%eax
sub    $0x400,%eax
je     11a0 <prov_is_inode+0xa0>
jmp    1167 <prov_is_inode+0x67>
mov    -0xc(%rbp),%eax
sub    $0x800,%eax
je     11a0 <prov_is_inode+0xa0>
jmp    117a <prov_is_inode+0x7a>
mov    -0xc(%rbp),%eax
sub    $0x1000,%eax
je     11a0 <prov_is_inode+0xa0>
jmp    118d <prov_is_inode+0x8d>
mov    -0xc(%rbp),%eax
sub    $0x2000,%eax
jne    11ac <prov_is_inode+0xac>
jmp    11a0 <prov_is_inode+0xa0>
movl   $0x1,-0x4(%rbp)
jmp    11b3 <prov_is_inode+0xb3>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<prov_is_inode>:
mov    $0x1,%eax
cmp    $0x3ff,%edi
jg     1123 <prov_is_inode+0x23>
cmp    $0xff,%edi
jg     113d <prov_is_inode+0x3d>
cmp    $0x40,%edi
je     1122 <prov_is_inode+0x22>
cmp    $0x80,%edi
jne    115f <prov_is_inode+0x5f>
ret
cmp    $0xfff,%edi
jg     114f <prov_is_inode+0x4f>
cmp    $0x400,%edi
je     1122 <prov_is_inode+0x22>
cmp    $0x800,%edi
je     1122 <prov_is_inode+0x22>
jmp    115f <prov_is_inode+0x5f>
cmp    $0x100,%edi
je     1122 <prov_is_inode+0x22>
cmp    $0x200,%edi
je     1122 <prov_is_inode+0x22>
jmp    115f <prov_is_inode+0x5f>
cmp    $0x1000,%edi
je     1122 <prov_is_inode+0x22>
cmp    $0x2000,%edi
je     1122 <prov_is_inode+0x22>
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @prov_is_inode(i32 %0) {
%2 = alloca i32
%3 = alloca i32
store i32 %0, i32* %3
%4 = load i32, i32* %3
switch i32 %4, label %6 [
i32 64, label %5
i32 128, label %5
i32 256, label %5
i32 512, label %5
i32 1024, label %5
i32 2048, label %5
i32 4096, label %5
i32 8192, label %5
]
5: ; preds = %1, %1, %1, %1, %1, %1, %1, %1
store i32 1, i32* %2
br label %7
6: ; preds = %1
store i32 0, i32* %2
br label %7
7: ; preds = %6, %5
%8 = load i32, i32* %2
ret i32 %8
}

LLVM IR (-O2):
define i32 @prov_is_inode(i32 %0) {
switch i32 %0, label %2 [
i32 64, label %3
i32 128, label %3
i32 256, label %3
i32 512, label %3
i32 1024, label %3
i32 2048, label %3
i32 4096, label %3
i32 8192, label %3
]
2: ; preds = %1
br label %3
3: ; preds = %1, %1, %1, %1, %1, %1, %1, %1, %2
%4 = phi i32 [ 0, %2 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ]
ret i32 %4
}