#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 */
struct bitmap {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ bitmap_clear(struct bitmap *, int);
int /*<<< orphan*/ bitmap_free(struct bitmap *);
int bitmap_get(struct bitmap *, int);
struct bitmap *bitmap_new(int);
int bitmap_next(struct bitmap *, int);
int /*<<< orphan*/ bitmap_set(struct bitmap *, int);
int main() {
  struct bitmap *bm = bitmap_new(1310);
  assert(bitmap_get(bm, 0) == 0);
  bitmap_set(bm, 0);
  assert(bitmap_get(bm, 0) == 1);
  bitmap_clear(bm, 0);
  assert(bitmap_get(bm, 0) == 0);
  assert(bitmap_get(bm, 63) == 0);
  bitmap_set(bm, 63);
  assert(bitmap_get(bm, 63) == 1);
  bitmap_clear(bm, 63);
  assert(bitmap_get(bm, 63) == 0);
  assert(bitmap_get(bm, 64) == 0);
  bitmap_set(bm, 64);
  assert(bitmap_get(bm, 64) == 1);
  bitmap_clear(bm, 64);
  assert(bitmap_get(bm, 64) == 0);
  bitmap_set(bm, 0);
  bitmap_set(bm, 1);
  bitmap_set(bm, 32);
  bitmap_set(bm, 33);
  bitmap_set(bm, 63);
  bitmap_set(bm, 64);
  bitmap_set(bm, 127);
  bitmap_set(bm, 128);
  bitmap_set(bm, 129);
  bitmap_set(bm, 1024);
  assert(bitmap_next(bm, -1) == 0);
  assert(bitmap_next(bm, 0) == 1);
  assert(bitmap_next(bm, 1) == 32);
  assert(bitmap_next(bm, 32) == 33);
  assert(bitmap_next(bm, 33) == 63);
  assert(bitmap_next(bm, 63) == 64);
  assert(bitmap_next(bm, 64) == 127);
  assert(bitmap_next(bm, 127) == 128);
  assert(bitmap_next(bm, 128) == 129);
  assert(bitmap_next(bm, 129) == 1024);
  assert(bitmap_next(bm, 1024) == -1);
  bitmap_free(bm);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
mov    $0x51e,%edi
call   1050 <bitmap_new@plt>
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
xor    %esi,%esi
call   1070 <bitmap_get@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
xor    %esi,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
xor    %esi,%esi
call   1070 <bitmap_get@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
xor    %esi,%esi
call   1030 <bitmap_clear@plt>
mov    -0x10(%rbp),%rdi
xor    %esi,%esi
call   1070 <bitmap_get@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x3f,%esi
call   1070 <bitmap_get@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x3f,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
mov    $0x3f,%esi
call   1070 <bitmap_get@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x3f,%esi
call   1030 <bitmap_clear@plt>
mov    -0x10(%rbp),%rdi
mov    $0x3f,%esi
call   1070 <bitmap_get@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x40,%esi
call   1070 <bitmap_get@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x40,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
mov    $0x40,%esi
call   1070 <bitmap_get@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x40,%esi
call   1030 <bitmap_clear@plt>
mov    -0x10(%rbp),%rdi
mov    $0x40,%esi
call   1070 <bitmap_get@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
xor    %esi,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
mov    $0x1,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
mov    $0x20,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
mov    $0x21,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
mov    $0x3f,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
mov    $0x40,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
mov    $0x7f,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
mov    $0x80,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
mov    $0x81,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
mov    $0x400,%esi
call   1040 <bitmap_set@plt>
mov    -0x10(%rbp),%rdi
mov    $0xffffffff,%esi
call   1080 <bitmap_next@plt>
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
xor    %esi,%esi
call   1080 <bitmap_next@plt>
cmp    $0x1,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x1,%esi
call   1080 <bitmap_next@plt>
cmp    $0x20,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x20,%esi
call   1080 <bitmap_next@plt>
cmp    $0x21,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x21,%esi
call   1080 <bitmap_next@plt>
cmp    $0x3f,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x3f,%esi
call   1080 <bitmap_next@plt>
cmp    $0x40,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x40,%esi
call   1080 <bitmap_next@plt>
cmp    $0x7f,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x7f,%esi
call   1080 <bitmap_next@plt>
cmp    $0x80,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x80,%esi
call   1080 <bitmap_next@plt>
cmp    $0x81,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x81,%esi
call   1080 <bitmap_next@plt>
cmp    $0x400,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    $0x400,%esi
call   1080 <bitmap_next@plt>
cmp    $0xffffffff,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x10(%rbp),%rdi
call   1090 <bitmap_free@plt>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
mov    $0x51e,%edi
call   1050 <bitmap_new@plt>
mov    %rax,%rbx
mov    %rax,%rdi
xor    %esi,%esi
call   1070 <bitmap_get@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
xor    %esi,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
xor    %esi,%esi
call   1070 <bitmap_get@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
xor    %esi,%esi
call   1030 <bitmap_clear@plt>
mov    %rbx,%rdi
xor    %esi,%esi
call   1070 <bitmap_get@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x3f,%esi
call   1070 <bitmap_get@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x3f,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
mov    $0x3f,%esi
call   1070 <bitmap_get@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x3f,%esi
call   1030 <bitmap_clear@plt>
mov    %rbx,%rdi
mov    $0x3f,%esi
call   1070 <bitmap_get@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x40,%esi
call   1070 <bitmap_get@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x40,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
mov    $0x40,%esi
call   1070 <bitmap_get@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x40,%esi
call   1030 <bitmap_clear@plt>
mov    %rbx,%rdi
mov    $0x40,%esi
call   1070 <bitmap_get@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
xor    %esi,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
mov    $0x20,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
mov    $0x21,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
mov    $0x3f,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
mov    $0x40,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
mov    $0x7f,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
mov    $0x80,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
mov    $0x81,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
mov    $0x400,%esi
call   1040 <bitmap_set@plt>
mov    %rbx,%rdi
mov    $0xffffffff,%esi
call   1080 <bitmap_next@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
xor    %esi,%esi
call   1080 <bitmap_next@plt>
xor    %edi,%edi
cmp    $0x1,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x1,%esi
call   1080 <bitmap_next@plt>
xor    %edi,%edi
cmp    $0x20,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x20,%esi
call   1080 <bitmap_next@plt>
xor    %edi,%edi
cmp    $0x21,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x21,%esi
call   1080 <bitmap_next@plt>
xor    %edi,%edi
cmp    $0x3f,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x3f,%esi
call   1080 <bitmap_next@plt>
xor    %edi,%edi
cmp    $0x40,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x40,%esi
call   1080 <bitmap_next@plt>
xor    %edi,%edi
cmp    $0x7f,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x7f,%esi
call   1080 <bitmap_next@plt>
xor    %edi,%edi
cmp    $0x80,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x80,%esi
call   1080 <bitmap_next@plt>
xor    %edi,%edi
cmp    $0x81,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x81,%esi
call   1080 <bitmap_next@plt>
xor    %edi,%edi
cmp    $0x400,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
mov    $0x400,%esi
call   1080 <bitmap_next@plt>
xor    %edi,%edi
cmp    $0xffffffff,%eax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
call   1090 <bitmap_free@plt>
xor    %eax,%eax
pop    %rbx
ret

LLVM IR (-O0):
%struct.bitmap = type { i32 }
define i32 @main() {
%1 = alloca i32
%2 = alloca %struct.bitmap*
store i32 0, i32* %1
%3 = call %struct.bitmap* @bitmap_new(i32 1310)
store %struct.bitmap* %3, %struct.bitmap** %2
%4 = load %struct.bitmap*, %struct.bitmap** %2
%5 = call i32 @bitmap_get(%struct.bitmap* %4, i32 0)
%6 = icmp eq i32 %5, 0
%7 = zext i1 %6 to i32
%8 = call i32 @assert(i32 %7)
%9 = load %struct.bitmap*, %struct.bitmap** %2
%10 = call i32 @bitmap_set(%struct.bitmap* %9, i32 0)
%11 = load %struct.bitmap*, %struct.bitmap** %2
%12 = call i32 @bitmap_get(%struct.bitmap* %11, i32 0)
%13 = icmp eq i32 %12, 1
%14 = zext i1 %13 to i32
%15 = call i32 @assert(i32 %14)
%16 = load %struct.bitmap*, %struct.bitmap** %2
%17 = call i32 @bitmap_clear(%struct.bitmap* %16, i32 0)
%18 = load %struct.bitmap*, %struct.bitmap** %2
%19 = call i32 @bitmap_get(%struct.bitmap* %18, i32 0)
%20 = icmp eq i32 %19, 0
%21 = zext i1 %20 to i32
%22 = call i32 @assert(i32 %21)
%23 = load %struct.bitmap*, %struct.bitmap** %2
%24 = call i32 @bitmap_get(%struct.bitmap* %23, i32 63)
%25 = icmp eq i32 %24, 0
%26 = zext i1 %25 to i32
%27 = call i32 @assert(i32 %26)
%28 = load %struct.bitmap*, %struct.bitmap** %2
%29 = call i32 @bitmap_set(%struct.bitmap* %28, i32 63)
%30 = load %struct.bitmap*, %struct.bitmap** %2
%31 = call i32 @bitmap_get(%struct.bitmap* %30, i32 63)
%32 = icmp eq i32 %31, 1
%33 = zext i1 %32 to i32
%34 = call i32 @assert(i32 %33)
%35 = load %struct.bitmap*, %struct.bitmap** %2
%36 = call i32 @bitmap_clear(%struct.bitmap* %35, i32 63)
%37 = load %struct.bitmap*, %struct.bitmap** %2
%38 = call i32 @bitmap_get(%struct.bitmap* %37, i32 63)
%39 = icmp eq i32 %38, 0
%40 = zext i1 %39 to i32
%41 = call i32 @assert(i32 %40)
%42 = load %struct.bitmap*, %struct.bitmap** %2
%43 = call i32 @bitmap_get(%struct.bitmap* %42, i32 64)
%44 = icmp eq i32 %43, 0
%45 = zext i1 %44 to i32
%46 = call i32 @assert(i32 %45)
%47 = load %struct.bitmap*, %struct.bitmap** %2
%48 = call i32 @bitmap_set(%struct.bitmap* %47, i32 64)
%49 = load %struct.bitmap*, %struct.bitmap** %2
%50 = call i32 @bitmap_get(%struct.bitmap* %49, i32 64)
%51 = icmp eq i32 %50, 1
%52 = zext i1 %51 to i32
%53 = call i32 @assert(i32 %52)
%54 = load %struct.bitmap*, %struct.bitmap** %2
%55 = call i32 @bitmap_clear(%struct.bitmap* %54, i32 64)
%56 = load %struct.bitmap*, %struct.bitmap** %2
%57 = call i32 @bitmap_get(%struct.bitmap* %56, i32 64)
%58 = icmp eq i32 %57, 0
%59 = zext i1 %58 to i32
%60 = call i32 @assert(i32 %59)
%61 = load %struct.bitmap*, %struct.bitmap** %2
%62 = call i32 @bitmap_set(%struct.bitmap* %61, i32 0)
%63 = load %struct.bitmap*, %struct.bitmap** %2
%64 = call i32 @bitmap_set(%struct.bitmap* %63, i32 1)
%65 = load %struct.bitmap*, %struct.bitmap** %2
%66 = call i32 @bitmap_set(%struct.bitmap* %65, i32 32)
%67 = load %struct.bitmap*, %struct.bitmap** %2
%68 = call i32 @bitmap_set(%struct.bitmap* %67, i32 33)
%69 = load %struct.bitmap*, %struct.bitmap** %2
%70 = call i32 @bitmap_set(%struct.bitmap* %69, i32 63)
%71 = load %struct.bitmap*, %struct.bitmap** %2
%72 = call i32 @bitmap_set(%struct.bitmap* %71, i32 64)
%73 = load %struct.bitmap*, %struct.bitmap** %2
%74 = call i32 @bitmap_set(%struct.bitmap* %73, i32 127)
%75 = load %struct.bitmap*, %struct.bitmap** %2
%76 = call i32 @bitmap_set(%struct.bitmap* %75, i32 128)
%77 = load %struct.bitmap*, %struct.bitmap** %2
%78 = call i32 @bitmap_set(%struct.bitmap* %77, i32 129)
%79 = load %struct.bitmap*, %struct.bitmap** %2
%80 = call i32 @bitmap_set(%struct.bitmap* %79, i32 1024)
%81 = load %struct.bitmap*, %struct.bitmap** %2
%82 = call i32 @bitmap_next(%struct.bitmap* %81, i32 -1)
%83 = icmp eq i32 %82, 0
%84 = zext i1 %83 to i32
%85 = call i32 @assert(i32 %84)
%86 = load %struct.bitmap*, %struct.bitmap** %2
%87 = call i32 @bitmap_next(%struct.bitmap* %86, i32 0)
%88 = icmp eq i32 %87, 1
%89 = zext i1 %88 to i32
%90 = call i32 @assert(i32 %89)
%91 = load %struct.bitmap*, %struct.bitmap** %2
%92 = call i32 @bitmap_next(%struct.bitmap* %91, i32 1)
%93 = icmp eq i32 %92, 32
%94 = zext i1 %93 to i32
%95 = call i32 @assert(i32 %94)
%96 = load %struct.bitmap*, %struct.bitmap** %2
%97 = call i32 @bitmap_next(%struct.bitmap* %96, i32 32)
%98 = icmp eq i32 %97, 33
%99 = zext i1 %98 to i32
%100 = call i32 @assert(i32 %99)
%101 = load %struct.bitmap*, %struct.bitmap** %2
%102 = call i32 @bitmap_next(%struct.bitmap* %101, i32 33)
%103 = icmp eq i32 %102, 63
%104 = zext i1 %103 to i32
%105 = call i32 @assert(i32 %104)
%106 = load %struct.bitmap*, %struct.bitmap** %2
%107 = call i32 @bitmap_next(%struct.bitmap* %106, i32 63)
%108 = icmp eq i32 %107, 64
%109 = zext i1 %108 to i32
%110 = call i32 @assert(i32 %109)
%111 = load %struct.bitmap*, %struct.bitmap** %2
%112 = call i32 @bitmap_next(%struct.bitmap* %111, i32 64)
%113 = icmp eq i32 %112, 127
%114 = zext i1 %113 to i32
%115 = call i32 @assert(i32 %114)
%116 = load %struct.bitmap*, %struct.bitmap** %2
%117 = call i32 @bitmap_next(%struct.bitmap* %116, i32 127)
%118 = icmp eq i32 %117, 128
%119 = zext i1 %118 to i32
%120 = call i32 @assert(i32 %119)
%121 = load %struct.bitmap*, %struct.bitmap** %2
%122 = call i32 @bitmap_next(%struct.bitmap* %121, i32 128)
%123 = icmp eq i32 %122, 129
%124 = zext i1 %123 to i32
%125 = call i32 @assert(i32 %124)
%126 = load %struct.bitmap*, %struct.bitmap** %2
%127 = call i32 @bitmap_next(%struct.bitmap* %126, i32 129)
%128 = icmp eq i32 %127, 1024
%129 = zext i1 %128 to i32
%130 = call i32 @assert(i32 %129)
%131 = load %struct.bitmap*, %struct.bitmap** %2
%132 = call i32 @bitmap_next(%struct.bitmap* %131, i32 1024)
%133 = icmp eq i32 %132, -1
%134 = zext i1 %133 to i32
%135 = call i32 @assert(i32 %134)
%136 = load %struct.bitmap*, %struct.bitmap** %2
%137 = call i32 @bitmap_free(%struct.bitmap* %136)
ret i32 0
}

LLVM IR (-O2):
%struct.bitmap = type { i32 }
define i32 @main() {
%1 = tail call %struct.bitmap* @bitmap_new(i32 1310)
%2 = tail call i32 @bitmap_get(%struct.bitmap* %1, i32 0)
%3 = icmp eq i32 %2, 0
%4 = zext i1 %3 to i32
%5 = tail call i32 @assert(i32 %4)
%6 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 0)
%7 = tail call i32 @bitmap_get(%struct.bitmap* %1, i32 0)
%8 = icmp eq i32 %7, 1
%9 = zext i1 %8 to i32
%10 = tail call i32 @assert(i32 %9)
%11 = tail call i32 @bitmap_clear(%struct.bitmap* %1, i32 0)
%12 = tail call i32 @bitmap_get(%struct.bitmap* %1, i32 0)
%13 = icmp eq i32 %12, 0
%14 = zext i1 %13 to i32
%15 = tail call i32 @assert(i32 %14)
%16 = tail call i32 @bitmap_get(%struct.bitmap* %1, i32 63)
%17 = icmp eq i32 %16, 0
%18 = zext i1 %17 to i32
%19 = tail call i32 @assert(i32 %18)
%20 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 63)
%21 = tail call i32 @bitmap_get(%struct.bitmap* %1, i32 63)
%22 = icmp eq i32 %21, 1
%23 = zext i1 %22 to i32
%24 = tail call i32 @assert(i32 %23)
%25 = tail call i32 @bitmap_clear(%struct.bitmap* %1, i32 63)
%26 = tail call i32 @bitmap_get(%struct.bitmap* %1, i32 63)
%27 = icmp eq i32 %26, 0
%28 = zext i1 %27 to i32
%29 = tail call i32 @assert(i32 %28)
%30 = tail call i32 @bitmap_get(%struct.bitmap* %1, i32 64)
%31 = icmp eq i32 %30, 0
%32 = zext i1 %31 to i32
%33 = tail call i32 @assert(i32 %32)
%34 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 64)
%35 = tail call i32 @bitmap_get(%struct.bitmap* %1, i32 64)
%36 = icmp eq i32 %35, 1
%37 = zext i1 %36 to i32
%38 = tail call i32 @assert(i32 %37)
%39 = tail call i32 @bitmap_clear(%struct.bitmap* %1, i32 64)
%40 = tail call i32 @bitmap_get(%struct.bitmap* %1, i32 64)
%41 = icmp eq i32 %40, 0
%42 = zext i1 %41 to i32
%43 = tail call i32 @assert(i32 %42)
%44 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 0)
%45 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 1)
%46 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 32)
%47 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 33)
%48 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 63)
%49 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 64)
%50 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 127)
%51 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 128)
%52 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 129)
%53 = tail call i32 @bitmap_set(%struct.bitmap* %1, i32 1024)
%54 = tail call i32 @bitmap_next(%struct.bitmap* %1, i32 -1)
%55 = icmp eq i32 %54, 0
%56 = zext i1 %55 to i32
%57 = tail call i32 @assert(i32 %56)
%58 = tail call i32 @bitmap_next(%struct.bitmap* %1, i32 0)
%59 = icmp eq i32 %58, 1
%60 = zext i1 %59 to i32
%61 = tail call i32 @assert(i32 %60)
%62 = tail call i32 @bitmap_next(%struct.bitmap* %1, i32 1)
%63 = icmp eq i32 %62, 32
%64 = zext i1 %63 to i32
%65 = tail call i32 @assert(i32 %64)
%66 = tail call i32 @bitmap_next(%struct.bitmap* %1, i32 32)
%67 = icmp eq i32 %66, 33
%68 = zext i1 %67 to i32
%69 = tail call i32 @assert(i32 %68)
%70 = tail call i32 @bitmap_next(%struct.bitmap* %1, i32 33)
%71 = icmp eq i32 %70, 63
%72 = zext i1 %71 to i32
%73 = tail call i32 @assert(i32 %72)
%74 = tail call i32 @bitmap_next(%struct.bitmap* %1, i32 63)
%75 = icmp eq i32 %74, 64
%76 = zext i1 %75 to i32
%77 = tail call i32 @assert(i32 %76)
%78 = tail call i32 @bitmap_next(%struct.bitmap* %1, i32 64)
%79 = icmp eq i32 %78, 127
%80 = zext i1 %79 to i32
%81 = tail call i32 @assert(i32 %80)
%82 = tail call i32 @bitmap_next(%struct.bitmap* %1, i32 127)
%83 = icmp eq i32 %82, 128
%84 = zext i1 %83 to i32
%85 = tail call i32 @assert(i32 %84)
%86 = tail call i32 @bitmap_next(%struct.bitmap* %1, i32 128)
%87 = icmp eq i32 %86, 129
%88 = zext i1 %87 to i32
%89 = tail call i32 @assert(i32 %88)
%90 = tail call i32 @bitmap_next(%struct.bitmap* %1, i32 129)
%91 = icmp eq i32 %90, 1024
%92 = zext i1 %91 to i32
%93 = tail call i32 @assert(i32 %92)
%94 = tail call i32 @bitmap_next(%struct.bitmap* %1, i32 1024)
%95 = icmp eq i32 %94, -1
%96 = zext i1 %95 to i32
%97 = tail call i32 @assert(i32 %96)
%98 = tail call i32 @bitmap_free(%struct.bitmap* %1)
ret i32 0
}