#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 bitarray {
  int dummy;
};

/* Variables and functions */
struct bitarray *cba_alloc(int);
int /*<<< orphan*/ cba_free(struct bitarray *);
int cba_get(struct bitarray *, int);
int /*<<< orphan*/ cba_set(struct bitarray *, int);
int /*<<< orphan*/ cba_toggle_all(struct bitarray *);
int /*<<< orphan*/ printf(char *, ...);
int test_set_even_then_toggle_all(void) {
  struct bitarray *ba = NULL;
  {
    int i;
    ba = cba_alloc(1000);
    for (i = 0; i < 1000; i += 2) {
      do {
        if (!(cba_set(ba, i))) {
          printf("FAILED: !(%s)\n", "cba_set(ba, i)");
          if (ba)
            cba_free(ba);
          return 0;
        }
      } while (0);
    }
    for (i = 0; i < 1000; i++) {
      if (i % 2) {
        do {
          if (!(cba_get(ba, i) == 0)) {
            printf("FAILED: !(%s)\n", "cba_get(ba, i) == 0");
            if (ba)
              cba_free(ba);
            return 0;
          }
        } while (0);
      } else {
        do {
          if (!(cba_get(ba, i) == 1)) {
            printf("FAILED: !(%s)\n", "cba_get(ba, i) == 1");
            if (ba)
              cba_free(ba);
            return 0;
          }
        } while (0);
      }
    }
    cba_toggle_all(ba);
    for (i = 0; i < 1000; i++) {
      if (i % 2) {
        do {
          if (!(cba_get(ba, i) == 1)) {
            printf("FAILED: !(%s)\n", "cba_get(ba, i) == 1");
            if (ba)
              cba_free(ba);
            return 0;
          }
        } while (0);
      } else {
        do {
          if (!(cba_get(ba, i) == 0)) {
            printf("FAILED: !(%s)\n", "cba_get(ba, i) == 0");
            if (ba)
              cba_free(ba);
            return 0;
          }
        } while (0);
      }
    }
  }
  printf("PASSED\n");
  if (ba)
    cba_free(ba);
  return 1;
}


x86 assembly (clang, -O0):
<test_set_even_then_toggle_all>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movq   $0x0,-0x10(%rbp)
mov    $0x3e8,%edi
call   1040 <cba_alloc@plt>
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x3e8,-0x14(%rbp)
jge    11f9 <test_set_even_then_toggle_all+0x99>
jmp    1197 <test_set_even_then_toggle_all+0x37>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1080 <cba_set@plt>
cmp    $0x0,%eax
jne    11e1 <test_set_even_then_toggle_all+0x81>
lea    0xe4d(%rip),%rdi
lea    0xe55(%rip),%rsi
mov    $0x0,%al
call   1060 <printf@plt>
cmpq   $0x0,-0x10(%rbp)
je     11d5 <test_set_even_then_toggle_all+0x75>
mov    -0x10(%rbp),%rdi
call   1070 <cba_free@plt>
movl   $0x0,-0x4(%rbp)
jmp    1405 <test_set_even_then_toggle_all+0x2a5>
jmp    11e6 <test_set_even_then_toggle_all+0x86>
jmp    11eb <test_set_even_then_toggle_all+0x8b>
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
jmp    1185 <test_set_even_then_toggle_all+0x25>
movl   $0x0,-0x14(%rbp)
cmpl   $0x3e8,-0x14(%rbp)
jge    12e6 <test_set_even_then_toggle_all+0x186>
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     127a <test_set_even_then_toggle_all+0x11a>
jmp    1226 <test_set_even_then_toggle_all+0xc6>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1050 <cba_get@plt>
cmp    $0x0,%eax
je     1270 <test_set_even_then_toggle_all+0x110>
lea    0xdbe(%rip),%rdi
lea    0xdd5(%rip),%rsi
mov    $0x0,%al
call   1060 <printf@plt>
cmpq   $0x0,-0x10(%rbp)
je     1264 <test_set_even_then_toggle_all+0x104>
mov    -0x10(%rbp),%rdi
call   1070 <cba_free@plt>
movl   $0x0,-0x4(%rbp)
jmp    1405 <test_set_even_then_toggle_all+0x2a5>
jmp    1275 <test_set_even_then_toggle_all+0x115>
jmp    12d3 <test_set_even_then_toggle_all+0x173>
jmp    127f <test_set_even_then_toggle_all+0x11f>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1050 <cba_get@plt>
cmp    $0x1,%eax
je     12c9 <test_set_even_then_toggle_all+0x169>
lea    0xd65(%rip),%rdi
lea    0xd90(%rip),%rsi
mov    $0x0,%al
call   1060 <printf@plt>
cmpq   $0x0,-0x10(%rbp)
je     12bd <test_set_even_then_toggle_all+0x15d>
mov    -0x10(%rbp),%rdi
call   1070 <cba_free@plt>
movl   $0x0,-0x4(%rbp)
jmp    1405 <test_set_even_then_toggle_all+0x2a5>
jmp    12ce <test_set_even_then_toggle_all+0x16e>
jmp    12d3 <test_set_even_then_toggle_all+0x173>
jmp    12d8 <test_set_even_then_toggle_all+0x178>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1200 <test_set_even_then_toggle_all+0xa0>
mov    -0x10(%rbp),%rdi
call   1030 <cba_toggle_all@plt>
movl   $0x0,-0x14(%rbp)
cmpl   $0x3e8,-0x14(%rbp)
jge    13dc <test_set_even_then_toggle_all+0x27c>
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1370 <test_set_even_then_toggle_all+0x210>
jmp    131c <test_set_even_then_toggle_all+0x1bc>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1050 <cba_get@plt>
cmp    $0x1,%eax
je     1366 <test_set_even_then_toggle_all+0x206>
lea    0xcc8(%rip),%rdi
lea    0xcf3(%rip),%rsi
mov    $0x0,%al
call   1060 <printf@plt>
cmpq   $0x0,-0x10(%rbp)
je     135a <test_set_even_then_toggle_all+0x1fa>
mov    -0x10(%rbp),%rdi
call   1070 <cba_free@plt>
movl   $0x0,-0x4(%rbp)
jmp    1405 <test_set_even_then_toggle_all+0x2a5>
jmp    136b <test_set_even_then_toggle_all+0x20b>
jmp    13c9 <test_set_even_then_toggle_all+0x269>
jmp    1375 <test_set_even_then_toggle_all+0x215>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1050 <cba_get@plt>
cmp    $0x0,%eax
je     13bf <test_set_even_then_toggle_all+0x25f>
lea    0xc6f(%rip),%rdi
lea    0xc86(%rip),%rsi
mov    $0x0,%al
call   1060 <printf@plt>
cmpq   $0x0,-0x10(%rbp)
je     13b3 <test_set_even_then_toggle_all+0x253>
mov    -0x10(%rbp),%rdi
call   1070 <cba_free@plt>
movl   $0x0,-0x4(%rbp)
jmp    1405 <test_set_even_then_toggle_all+0x2a5>
jmp    13c4 <test_set_even_then_toggle_all+0x264>
jmp    13c9 <test_set_even_then_toggle_all+0x269>
jmp    13ce <test_set_even_then_toggle_all+0x26e>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12f6 <test_set_even_then_toggle_all+0x196>
lea    0xc63(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
cmpq   $0x0,-0x10(%rbp)
je     13fe <test_set_even_then_toggle_all+0x29e>
mov    -0x10(%rbp),%rdi
call   1070 <cba_free@plt>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_set_even_then_toggle_all>:
push   %rbp
push   %rbx
push   %rax
mov    $0x3e8,%edi
call   1050 <cba_alloc@plt>
mov    %rax,%rbx
mov    $0xfffffffe,%ebp
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x2,%ebp
mov    %rbx,%rdi
mov    %ebp,%esi
call   1090 <cba_set@plt>
test   %eax,%eax
je     11da <test_set_even_then_toggle_all+0x6a>
cmp    $0x3e6,%ebp
jb     1190 <test_set_even_then_toggle_all+0x20>
xor    %ebp,%ebp
jmp    11c3 <test_set_even_then_toggle_all+0x53>
nopl   (%rax)
test   %eax,%eax
jne    1234 <test_set_even_then_toggle_all+0xc4>
add    $0x1,%ebp
cmp    $0x3e8,%ebp
je     11ea <test_set_even_then_toggle_all+0x7a>
mov    %rbx,%rdi
mov    %ebp,%esi
call   1060 <cba_get@plt>
test   $0x1,%bpl
jne    11b0 <test_set_even_then_toggle_all+0x40>
cmp    $0x1,%eax
je     11b8 <test_set_even_then_toggle_all+0x48>
jmp    1224 <test_set_even_then_toggle_all+0xb4>
lea    0xe1f(%rip),%rdi
lea    0xe27(%rip),%rsi
jmp    1242 <test_set_even_then_toggle_all+0xd2>
mov    %rbx,%rdi
call   1030 <cba_toggle_all@plt>
xor    %ebp,%ebp
jmp    120f <test_set_even_then_toggle_all+0x9f>
cs nopw 0x0(%rax,%rax,1)
test   %eax,%eax
jne    1234 <test_set_even_then_toggle_all+0xc4>
add    $0x1,%ebp
cmp    $0x3e8,%ebp
je     1261 <test_set_even_then_toggle_all+0xf1>
mov    %rbx,%rdi
mov    %ebp,%esi
call   1060 <cba_get@plt>
test   $0x1,%bpl
je     1200 <test_set_even_then_toggle_all+0x90>
cmp    $0x1,%eax
je     1204 <test_set_even_then_toggle_all+0x94>
lea    0xdd5(%rip),%rdi
lea    0xe00(%rip),%rsi
jmp    1242 <test_set_even_then_toggle_all+0xd2>
lea    0xdc5(%rip),%rdi
lea    0xddc(%rip),%rsi
xor    %ebp,%ebp
xor    %eax,%eax
call   1070 <printf@plt>
test   %rbx,%rbx
je     1258 <test_set_even_then_toggle_all+0xe8>
mov    %rbx,%rdi
call   1080 <cba_free@plt>
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret
lea    0xdde(%rip),%rdi
call   1040 <puts@plt>
mov    $0x1,%ebp
test   %rbx,%rbx
jne    1250 <test_set_even_then_toggle_all+0xe0>
jmp    1258 <test_set_even_then_toggle_all+0xe8>

LLVM IR (-O0):
%struct.bitarray = type { i32 }
@.str = [15 x i8] c"FAILED: !(%s)\0A\00"
@.str.1 = [15 x i8] c"cba_set(ba, i)\00"
@.str.2 = [20 x i8] c"cba_get(ba, i) == 0\00"
@.str.3 = [20 x i8] c"cba_get(ba, i) == 1\00"
@.str.4 = [8 x i8] c"PASSED\0A\00"
define i32 @test_set_even_then_toggle_all() {
%1 = alloca i32
%2 = alloca %struct.bitarray*
%3 = alloca i32
store %struct.bitarray* null, %struct.bitarray** %2
%4 = call %struct.bitarray* @cba_alloc(i32 1000)
store %struct.bitarray* %4, %struct.bitarray** %2
store i32 0, i32* %3
br label %5
5: ; preds = %24, %0
%6 = load i32, i32* %3
%7 = icmp slt i32 %6, 1000
br i1 %7, label %8, label %27
8: ; preds = %5
br label %9
9: ; preds = %8
%10 = load %struct.bitarray*, %struct.bitarray** %2
%11 = load i32, i32* %3
%12 = call i32 @cba_set(%struct.bitarray* %10, i32 %11)
%13 = icmp ne i32 %12, 0
br i1 %13, label %22, label %14
14: ; preds = %9
%15 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.1, i64 0, i64 0))
%16 = load %struct.bitarray*, %struct.bitarray** %2
%17 = icmp ne %struct.bitarray* %16, null
br i1 %17, label %18, label %21
18: ; preds = %14
%19 = load %struct.bitarray*, %struct.bitarray** %2
%20 = call i32 @cba_free(%struct.bitarray* %19)
br label %21
21: ; preds = %18, %14
store i32 0, i32* %1
br label %125
22: ; preds = %9
br label %23
23: ; preds = %22
br label %24
24: ; preds = %23
%25 = load i32, i32* %3
%26 = add nsw i32 %25, 2
store i32 %26, i32* %3
br label %5
27: ; preds = %5
store i32 0, i32* %3
br label %28
28: ; preds = %68, %27
%29 = load i32, i32* %3
%30 = icmp slt i32 %29, 1000
br i1 %30, label %31, label %71
31: ; preds = %28
%32 = load i32, i32* %3
%33 = srem i32 %32, 2
%34 = icmp ne i32 %33, 0
br i1 %34, label %35, label %51
35: ; preds = %31
br label %36
36: ; preds = %35
%37 = load %struct.bitarray*, %struct.bitarray** %2
%38 = load i32, i32* %3
%39 = call i32 @cba_get(%struct.bitarray* %37, i32 %38)
%40 = icmp eq i32 %39, 0
br i1 %40, label %49, label %41
41: ; preds = %36
%42 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0))
%43 = load %struct.bitarray*, %struct.bitarray** %2
%44 = icmp ne %struct.bitarray* %43, null
br i1 %44, label %45, label %48
45: ; preds = %41
%46 = load %struct.bitarray*, %struct.bitarray** %2
%47 = call i32 @cba_free(%struct.bitarray* %46)
br label %48
48: ; preds = %45, %41
store i32 0, i32* %1
br label %125
49: ; preds = %36
br label %50
50: ; preds = %49
br label %67
51: ; preds = %31
br label %52
52: ; preds = %51
%53 = load %struct.bitarray*, %struct.bitarray** %2
%54 = load i32, i32* %3
%55 = call i32 @cba_get(%struct.bitarray* %53, i32 %54)
%56 = icmp eq i32 %55, 1
br i1 %56, label %65, label %57
57: ; preds = %52
%58 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.3, i64 0, i64 0))
%59 = load %struct.bitarray*, %struct.bitarray** %2
%60 = icmp ne %struct.bitarray* %59, null
br i1 %60, label %61, label %64
61: ; preds = %57
%62 = load %struct.bitarray*, %struct.bitarray** %2
%63 = call i32 @cba_free(%struct.bitarray* %62)
br label %64
64: ; preds = %61, %57
store i32 0, i32* %1
br label %125
65: ; preds = %52
br label %66
66: ; preds = %65
br label %67
67: ; preds = %66, %50
br label %68
68: ; preds = %67
%69 = load i32, i32* %3
%70 = add nsw i32 %69, 1
store i32 %70, i32* %3
br label %28
71: ; preds = %28
%72 = load %struct.bitarray*, %struct.bitarray** %2
%73 = call i32 @cba_toggle_all(%struct.bitarray* %72)
store i32 0, i32* %3
br label %74
74: ; preds = %114, %71
%75 = load i32, i32* %3
%76 = icmp slt i32 %75, 1000
br i1 %76, label %77, label %117
77: ; preds = %74
%78 = load i32, i32* %3
%79 = srem i32 %78, 2
%80 = icmp ne i32 %79, 0
br i1 %80, label %81, label %97
81: ; preds = %77
br label %82
82: ; preds = %81
%83 = load %struct.bitarray*, %struct.bitarray** %2
%84 = load i32, i32* %3
%85 = call i32 @cba_get(%struct.bitarray* %83, i32 %84)
%86 = icmp eq i32 %85, 1
br i1 %86, label %95, label %87
87: ; preds = %82
%88 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.3, i64 0, i64 0))
%89 = load %struct.bitarray*, %struct.bitarray** %2
%90 = icmp ne %struct.bitarray* %89, null
br i1 %90, label %91, label %94
91: ; preds = %87
%92 = load %struct.bitarray*, %struct.bitarray** %2
%93 = call i32 @cba_free(%struct.bitarray* %92)
br label %94
94: ; preds = %91, %87
store i32 0, i32* %1
br label %125
95: ; preds = %82
br label %96
96: ; preds = %95
br label %113
97: ; preds = %77
br label %98
98: ; preds = %97
%99 = load %struct.bitarray*, %struct.bitarray** %2
%100 = load i32, i32* %3
%101 = call i32 @cba_get(%struct.bitarray* %99, i32 %100)
%102 = icmp eq i32 %101, 0
br i1 %102, label %111, label %103
103: ; preds = %98
%104 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0))
%105 = load %struct.bitarray*, %struct.bitarray** %2
%106 = icmp ne %struct.bitarray* %105, null
br i1 %106, label %107, label %110
107: ; preds = %103
%108 = load %struct.bitarray*, %struct.bitarray** %2
%109 = call i32 @cba_free(%struct.bitarray* %108)
br label %110
110: ; preds = %107, %103
store i32 0, i32* %1
br label %125
111: ; preds = %98
br label %112
112: ; preds = %111
br label %113
113: ; preds = %112, %96
br label %114
114: ; preds = %113
%115 = load i32, i32* %3
%116 = add nsw i32 %115, 1
store i32 %116, i32* %3
br label %74
117: ; preds = %74
%118 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.4, i64 0, i64 0))
%119 = load %struct.bitarray*, %struct.bitarray** %2
%120 = icmp ne %struct.bitarray* %119, null
br i1 %120, label %121, label %124
121: ; preds = %117
%122 = load %struct.bitarray*, %struct.bitarray** %2
%123 = call i32 @cba_free(%struct.bitarray* %122)
br label %124
124: ; preds = %121, %117
store i32 1, i32* %1
br label %125
125: ; preds = %124, %110, %94, %64, %48, %21
%126 = load i32, i32* %1
ret i32 %126
}

LLVM IR (-O2):
%struct.bitarray = type { i32 }
@.str = [15 x i8] c"FAILED: !(%s)\0A\00"
@.str.1 = [15 x i8] c"cba_set(ba, i)\00"
@.str.2 = [20 x i8] c"cba_get(ba, i) == 0\00"
@.str.3 = [20 x i8] c"cba_get(ba, i) == 1\00"
@str = [7 x i8] c"PASSED\00"
define i32 @test_set_even_then_toggle_all() {
%1 = tail call %struct.bitarray* @cba_alloc(i32 1000)
br label %5
2: ; preds = %5
%3 = add nuw nsw i32 %6, 2
%4 = icmp ult i32 %6, 998
br i1 %4, label %5, label %12
5: ; preds = %0, %2
%6 = phi i32 [ 0, %0 ], [ %3, %2 ]
%7 = tail call i32 @cba_set(%struct.bitarray* %1, i32 %6)
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %2
9: ; preds = %5
%10 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.1, i64 0, i64 0))
%11 = icmp eq %struct.bitarray* %1, null
br i1 %11, label %56, label %53
12: ; preds = %2, %27
%13 = phi i32 [ %28, %27 ], [ 0, %2 ]
%14 = and i32 %13, 1
%15 = icmp eq i32 %14, 0
%16 = tail call i32 @cba_get(%struct.bitarray* %1, i32 %13)
br i1 %15, label %22, label %17
17: ; preds = %12
%18 = icmp eq i32 %16, 0
br i1 %18, label %27, label %19
19: ; preds = %17
%20 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0))
%21 = icmp eq %struct.bitarray* %1, null
br i1 %21, label %56, label %53
22: ; preds = %12
%23 = icmp eq i32 %16, 1
br i1 %23, label %27, label %24
24: ; preds = %22
%25 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.3, i64 0, i64 0))
%26 = icmp eq %struct.bitarray* %1, null
br i1 %26, label %56, label %53
27: ; preds = %17, %22
%28 = add nuw nsw i32 %13, 1
%29 = icmp eq i32 %28, 1000
br i1 %29, label %30, label %12
30: ; preds = %27
%31 = tail call i32 @cba_toggle_all(%struct.bitarray* %1)
br label %32
32: ; preds = %30, %47
%33 = phi i32 [ 0, %30 ], [ %48, %47 ]
%34 = and i32 %33, 1
%35 = icmp eq i32 %34, 0
%36 = tail call i32 @cba_get(%struct.bitarray* %1, i32 %33)
br i1 %35, label %42, label %37
37: ; preds = %32
%38 = icmp eq i32 %36, 1
br i1 %38, label %47, label %39
39: ; preds = %37
%40 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.3, i64 0, i64 0))
%41 = icmp eq %struct.bitarray* %1, null
br i1 %41, label %56, label %53
42: ; preds = %32
%43 = icmp eq i32 %36, 0
br i1 %43, label %47, label %44
44: ; preds = %42
%45 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0))
%46 = icmp eq %struct.bitarray* %1, null
br i1 %46, label %56, label %53
47: ; preds = %37, %42
%48 = add nuw nsw i32 %33, 1
%49 = icmp eq i32 %48, 1000
br i1 %49, label %50, label %32
50: ; preds = %47
%51 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @str, i64 0, i64 0))
%52 = icmp eq %struct.bitarray* %1, null
br i1 %52, label %56, label %53
53: ; preds = %50, %44, %39, %24, %19, %9
%54 = phi i32 [ 0, %9 ], [ 0, %19 ], [ 0, %24 ], [ 0, %39 ], [ 0, %44 ], [ 1, %50 ]
%55 = tail call i32 @cba_free(%struct.bitarray* %1)
br label %56
56: ; preds = %53, %44, %39, %24, %19, %9, %50
%57 = phi i32 [ 1, %50 ], [ 0, %9 ], [ 0, %19 ], [ 0, %24 ], [ 0, %39 ], [ 0, %44 ], [ %54, %53 ]
ret i32 %57
}