#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 unsigned long long uint64_t;
typedef int uint32_t;

/* Variables and functions */
bool bitset_lenrange_empty(uint64_t *bitmap, uint32_t start,
                           uint32_t lenminusone) {
  uint32_t firstword = start / 64;
  uint32_t endword = (start + lenminusone) / 64;
  if (firstword == endword) {
    return (bitmap[firstword] & ((~(0ULL)) >> ((63 - lenminusone) % 64))
                                    << (start % 64)) == 0;
  }
  if (((bitmap[firstword] & ((~(0ULL)) << (start % 64)))) != 0)
    return false;
  for (uint32_t i = firstword + 1; i < endword; i++) {
    if (bitmap[i] != 0)
      return false;
  }
  if ((bitmap[endword] &
       (~(0ULL)) >> (((~start + 1) - lenminusone - 1) % 64)) != 0)
    return false;
  return true;
}


x86 assembly (clang, -O0):
<bitset_lenrange_empty>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x40,%ecx
cltd
idiv   %ecx
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
mov    $0x40,%ecx
cltd
idiv   %ecx
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    119f <bitset_lenrange_empty+0x9f>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x38(%rbp)
mov    $0x3f,%eax
sub    -0x18(%rbp),%eax
mov    $0x40,%ecx
cltd
idiv   %ecx
mov    %edx,%eax
mov    %eax,%ecx
mov    $0xffffffffffffffff,%rax
shr    %cl,%rax
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x40,%ecx
cltd
idiv   %ecx
mov    -0x38(%rbp),%rax
mov    %edx,%ecx
mov    -0x30(%rbp),%rdx
mov    %ecx,%ecx
shl    %cl,%rdx
mov    %rdx,%rcx
and    %rcx,%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    1287 <bitset_lenrange_empty+0x187>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x40(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x40,%ecx
cltd
idiv   %ecx
mov    -0x40(%rbp),%rax
mov    %edx,%ecx
mov    $0xffffffffffffffff,%rdx
shl    %cl,%rdx
mov    %rdx,%rcx
and    %rcx,%rax
cmp    $0x0,%rax
je     11e6 <bitset_lenrange_empty+0xe6>
movl   $0x0,-0x4(%rbp)
jmp    1287 <bitset_lenrange_empty+0x187>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    122d <bitset_lenrange_empty+0x12d>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     121a <bitset_lenrange_empty+0x11a>
movl   $0x0,-0x4(%rbp)
jmp    1287 <bitset_lenrange_empty+0x187>
jmp    121f <bitset_lenrange_empty+0x11f>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11ef <bitset_lenrange_empty+0xef>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x48(%rbp)
mov    -0x14(%rbp),%eax
xor    $0xffffffff,%eax
add    $0x1,%eax
sub    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    $0x40,%ecx
cltd
idiv   %ecx
mov    -0x48(%rbp),%rax
mov    %edx,%ecx
mov    $0xffffffffffffffff,%rdx
shr    %cl,%rdx
mov    %rdx,%rcx
and    %rcx,%rax
cmp    $0x0,%rax
je     1280 <bitset_lenrange_empty+0x180>
movl   $0x0,-0x4(%rbp)
jmp    1287 <bitset_lenrange_empty+0x187>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<bitset_lenrange_empty>:
push   %rbx
mov    %esi,%r11d
lea    0x3f(%r11),%r10d
test   %esi,%esi
mov    %esi,%ecx
cmovs  %r10d,%ecx
mov    %ecx,%ebx
sar    $0x6,%ebx
mov    %edx,%r8d
add    %esi,%r8d
lea    0x3f(%rdx,%r11,1),%esi
cmovns %r8d,%esi
sar    $0x6,%esi
movslq %ebx,%rax
mov    (%rdi,%rax,8),%r9
cmp    %esi,%ebx
jne    1175 <bitset_lenrange_empty+0x75>
mov    $0x3f,%ecx
sub    %edx,%ecx
mov    $0x7e,%eax
sub    %edx,%eax
test   %ecx,%ecx
cmovns %ecx,%eax
and    $0xc0,%eax
sub    %eax,%ecx
mov    $0xffffffffffffffff,%rax
shr    %cl,%rax
test   %r11d,%r11d
cmovns %r11d,%r10d
and    $0xc0,%r10d
sub    %r10d,%r11d
mov    %r11d,%ecx
shl    %cl,%rax
test   %rax,%r9
sete   %al
jmp    11a2 <bitset_lenrange_empty+0xa2>
and    $0xffffffc0,%ecx
sub    %ecx,%r11d
mov    %r11d,%ecx
shr    %cl,%r9
test   %r9,%r9
jne    11a0 <bitset_lenrange_empty+0xa0>
movslq %esi,%rcx
add    $0x1,%rax
nopl   (%rax)
cmp    %rcx,%rax
jge    11a7 <bitset_lenrange_empty+0xa7>
cmpq   $0x0,(%rdi,%rax,8)
lea    0x1(%rax),%rax
je     1190 <bitset_lenrange_empty+0x90>
xor    %eax,%eax
movzbl %al,%eax
pop    %rbx
ret
mov    (%rdi,%rcx,8),%rax
not    %r8d
lea    0x3f(%r8),%ecx
test   %r8d,%r8d
cmovns %r8d,%ecx
and    $0xc0,%ecx
sub    %ecx,%r8d
mov    %r8d,%ecx
shl    %cl,%rax
test   %rax,%rax
jmp    1170 <bitset_lenrange_empty+0x70>

LLVM IR (-O0):
define i32 @bitset_lenrange_empty(i64* %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i64*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i64* %0, i64** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%11 = load i32, i32* %6
%12 = sdiv i32 %11, 64
store i32 %12, i32* %8
%13 = load i32, i32* %6
%14 = load i32, i32* %7
%15 = add nsw i32 %13, %14
%16 = sdiv i32 %15, 64
store i32 %16, i32* %9
%17 = load i32, i32* %8
%18 = load i32, i32* %9
%19 = icmp eq i32 %17, %18
br i1 %19, label %20, label %38
20: ; preds = %3
%21 = load i64*, i64** %5
%22 = load i32, i32* %8
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i64, i64* %21, i64 %23
%25 = load i64, i64* %24
%26 = load i32, i32* %7
%27 = sub nsw i32 63, %26
%28 = srem i32 %27, 64
%29 = zext i32 %28 to i64
%30 = lshr i64 -1, %29
%31 = load i32, i32* %6
%32 = srem i32 %31, 64
%33 = zext i32 %32 to i64
%34 = shl i64 %30, %33
%35 = and i64 %25, %34
%36 = icmp eq i64 %35, 0
%37 = zext i1 %36 to i32
store i32 %37, i32* %4
br label %89
38: ; preds = %3
%39 = load i64*, i64** %5
%40 = load i32, i32* %8
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i64, i64* %39, i64 %41
%43 = load i64, i64* %42
%44 = load i32, i32* %6
%45 = srem i32 %44, 64
%46 = zext i32 %45 to i64
%47 = shl i64 -1, %46
%48 = and i64 %43, %47
%49 = icmp ne i64 %48, 0
br i1 %49, label %50, label %51
50: ; preds = %38
store i32 0, i32* %4
br label %89
51: ; preds = %38
%52 = load i32, i32* %8
%53 = add nsw i32 %52, 1
store i32 %53, i32* %10
br label %54
54: ; preds = %67, %51
%55 = load i32, i32* %10
%56 = load i32, i32* %9
%57 = icmp slt i32 %55, %56
br i1 %57, label %58, label %70
58: ; preds = %54
%59 = load i64*, i64** %5
%60 = load i32, i32* %10
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i64, i64* %59, i64 %61
%63 = load i64, i64* %62
%64 = icmp ne i64 %63, 0
br i1 %64, label %65, label %66
65: ; preds = %58
store i32 0, i32* %4
br label %89
66: ; preds = %58
br label %67
67: ; preds = %66
%68 = load i32, i32* %10
%69 = add nsw i32 %68, 1
store i32 %69, i32* %10
br label %54
70: ; preds = %54
%71 = load i64*, i64** %5
%72 = load i32, i32* %9
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i64, i64* %71, i64 %73
%75 = load i64, i64* %74
%76 = load i32, i32* %6
%77 = xor i32 %76, -1
%78 = add nsw i32 %77, 1
%79 = load i32, i32* %7
%80 = sub nsw i32 %78, %79
%81 = sub nsw i32 %80, 1
%82 = srem i32 %81, 64
%83 = zext i32 %82 to i64
%84 = lshr i64 -1, %83
%85 = and i64 %75, %84
%86 = icmp ne i64 %85, 0
br i1 %86, label %87, label %88
87: ; preds = %70
store i32 0, i32* %4
br label %89
88: ; preds = %70
store i32 1, i32* %4
br label %89
89: ; preds = %88, %87, %65, %50, %20
%90 = load i32, i32* %4
ret i32 %90
}

LLVM IR (-O2):
define i32 @bitset_lenrange_empty(i64* nocapture %0, i32 %1, i32 %2) {
%4 = sdiv i32 %1, 64
%5 = srem i32 %1, 64
%6 = add i32 %2, %1
%7 = sdiv i32 %6, 64
%8 = icmp eq i32 %4, %7
%9 = sext i32 %4 to i64
%10 = getelementptr inbounds i64, i64* %0, i64 %9
%11 = load i64, i64* %10
br i1 %8, label %12, label %22
12: ; preds = %3
%13 = sub nsw i32 63, %2
%14 = srem i32 %13, 64
%15 = zext i32 %14 to i64
%16 = lshr i64 -1, %15
%17 = srem i32 %1, 64
%18 = zext i32 %17 to i64
%19 = shl i64 %16, %18
%20 = and i64 %11, %19
%21 = icmp eq i64 %20, 0
br label %46
22: ; preds = %3
%23 = zext i32 %5 to i64
%24 = shl nsw i64 -1, %23
%25 = and i64 %11, %24
%26 = icmp eq i64 %25, 0
br i1 %26, label %27, label %46
27: ; preds = %22
%28 = sext i32 %7 to i64
br label %29
29: ; preds = %27, %33
%30 = phi i64 [ %9, %27 ], [ %31, %33 ]
%31 = add nsw i64 %30, 1
%32 = icmp slt i64 %31, %28
br i1 %32, label %33, label %37
33: ; preds = %29
%34 = getelementptr inbounds i64, i64* %0, i64 %31
%35 = load i64, i64* %34
%36 = icmp eq i64 %35, 0
br i1 %36, label %29, label %46
37: ; preds = %29
%38 = getelementptr inbounds i64, i64* %0, i64 %28
%39 = load i64, i64* %38
%40 = xor i32 %6, -1
%41 = srem i32 %40, 64
%42 = zext i32 %41 to i64
%43 = lshr i64 -1, %42
%44 = and i64 %39, %43
%45 = icmp eq i64 %44, 0
br label %46
46: ; preds = %33, %37, %22, %12
%47 = phi i1 [ %21, %12 ], [ false, %22 ], [ %45, %37 ], [ false, %33 ]
%48 = zext i1 %47 to i32
ret i32 %48
}