#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_has_secid(uint64_t type) {
  switch (type) {
  case (0x2000000000000000UL | (0x0000000000000001ULL << 19)):
  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_has_secid>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0xc(%rbp)
sub    $0x40,%eax
je     11b3 <prov_has_secid+0xb3>
jmp    111b <prov_has_secid+0x1b>
mov    -0xc(%rbp),%eax
sub    $0x80,%eax
je     11b3 <prov_has_secid+0xb3>
jmp    112e <prov_has_secid+0x2e>
mov    -0xc(%rbp),%eax
sub    $0x100,%eax
je     11b3 <prov_has_secid+0xb3>
jmp    1141 <prov_has_secid+0x41>
mov    -0xc(%rbp),%eax
sub    $0x200,%eax
je     11b3 <prov_has_secid+0xb3>
jmp    1154 <prov_has_secid+0x54>
mov    -0xc(%rbp),%eax
sub    $0x400,%eax
je     11b3 <prov_has_secid+0xb3>
jmp    1167 <prov_has_secid+0x67>
mov    -0xc(%rbp),%eax
sub    $0x800,%eax
je     11b3 <prov_has_secid+0xb3>
jmp    117a <prov_has_secid+0x7a>
mov    -0xc(%rbp),%eax
sub    $0x1000,%eax
je     11b3 <prov_has_secid+0xb3>
jmp    118d <prov_has_secid+0x8d>
mov    -0xc(%rbp),%eax
sub    $0x2000,%eax
je     11b3 <prov_has_secid+0xb3>
jmp    11a0 <prov_has_secid+0xa0>
mov    -0xc(%rbp),%eax
sub    $0x80000,%eax
jne    11bf <prov_has_secid+0xbf>
jmp    11b3 <prov_has_secid+0xb3>
movl   $0x1,-0x4(%rbp)
jmp    11c6 <prov_has_secid+0xc6>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<prov_has_secid>:
mov    $0x1,%eax
cmp    $0x3ff,%edi
jle    112e <prov_has_secid+0x2e>
cmp    $0xfff,%edi
jle    1145 <prov_has_secid+0x45>
cmp    $0x1000,%edi
je     112d <prov_has_secid+0x2d>
cmp    $0x2000,%edi
je     112d <prov_has_secid+0x2d>
cmp    $0x80000,%edi
jne    1167 <prov_has_secid+0x67>
ret
cmp    $0xff,%edi
jg     1157 <prov_has_secid+0x57>
cmp    $0x40,%edi
je     112d <prov_has_secid+0x2d>
cmp    $0x80,%edi
je     112d <prov_has_secid+0x2d>
jmp    1167 <prov_has_secid+0x67>
cmp    $0x400,%edi
je     112d <prov_has_secid+0x2d>
cmp    $0x800,%edi
je     112d <prov_has_secid+0x2d>
jmp    1167 <prov_has_secid+0x67>
cmp    $0x100,%edi
je     112d <prov_has_secid+0x2d>
cmp    $0x200,%edi
je     112d <prov_has_secid+0x2d>
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @prov_has_secid(i32 %0) {
%2 = alloca i32
%3 = alloca i32
store i32 %0, i32* %3
%4 = load i32, i32* %3
switch i32 %4, label %6 [
i32 524288, label %5
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, %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_has_secid(i32 %0) {
switch i32 %0, label %2 [
i32 524288, label %3
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, %1, %2
%4 = phi i32 [ 0, %2 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ]
ret i32 %4
}