void binary_add(int A[5], int B[5], int C[5 + 1]) {
  int i;
  for (i = 0; i < 5; i++) {
    if (A[i] == 0 && B[i] == 0 && C[i] == 0)
      C[i] = 0;
    else if (A[i] == 0 && B[i] == 0 && C[i] == 1)
      C[i] = 1;
    else if (A[i] == 0 && B[i] == 1 && C[i] == 0)
      C[i] = 1;
    else if (A[i] == 0 && B[i] == 1 && C[i] == 1) {
      C[i] = 0;
      C[i + 1] = 1;
    } else if (A[i] == 1 && B[i] == 0 && C[i] == 0)
      C[i] = 1;
    else if (A[i] == 1 && B[i] == 0 && C[i] == 1) {
      C[i] = 0;
      C[i + 1] = 1;
    } else if (A[i] == 1 && B[i] == 1 && C[i] == 0) {
      C[i] = 0;
      C[i + 1] = 1;
    } else if (A[i] == 1 && B[i] == 1 && C[i] == 1) {
      C[i] = 1;
      C[i + 1] = 1;
    }
  }
}


x86 assembly (clang, -O0):
<binary_add>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x5,-0x1c(%rbp)
jge    13f2 <binary_add+0x2f2>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    116b <binary_add+0x6b>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    116b <binary_add+0x6b>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    116b <binary_add+0x6b>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
jmp    13df <binary_add+0x2df>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    11b5 <binary_add+0xb5>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    11b5 <binary_add+0xb5>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    11b5 <binary_add+0xb5>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    13da <binary_add+0x2da>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    11ff <binary_add+0xff>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    11ff <binary_add+0xff>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    11ff <binary_add+0xff>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    13d5 <binary_add+0x2d5>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    125d <binary_add+0x15d>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    125d <binary_add+0x15d>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    125d <binary_add+0x15d>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    13d0 <binary_add+0x2d0>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    12a7 <binary_add+0x1a7>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    12a7 <binary_add+0x1a7>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    12a7 <binary_add+0x1a7>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    13cb <binary_add+0x2cb>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    1305 <binary_add+0x205>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1305 <binary_add+0x205>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    1305 <binary_add+0x205>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    13c6 <binary_add+0x2c6>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    1363 <binary_add+0x263>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    1363 <binary_add+0x263>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1363 <binary_add+0x263>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    13c1 <binary_add+0x2c1>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    13bc <binary_add+0x2bc>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    13bc <binary_add+0x2bc>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    13bc <binary_add+0x2bc>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    13c1 <binary_add+0x2c1>
jmp    13c6 <binary_add+0x2c6>
jmp    13cb <binary_add+0x2cb>
jmp    13d0 <binary_add+0x2d0>
jmp    13d5 <binary_add+0x2d5>
jmp    13da <binary_add+0x2da>
jmp    13df <binary_add+0x2df>
jmp    13e4 <binary_add+0x2e4>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1117 <binary_add+0x17>
pop    %rbp
ret

x86 assembly (clang, -O2):
<binary_add>:
xor    %eax,%eax
movabs $0x100000000,%r9
movabs $0x100000001,%r8
jmp    112a <binary_add+0x2a>
movl   $0x1,(%rdx,%rax,4)
nop
add    $0x1,%rax
cmp    $0x5,%rax
je     118b <binary_add+0x8b>
mov    (%rdi,%rax,4),%ecx
cmp    $0x1,%ecx
je     1150 <binary_add+0x50>
test   %ecx,%ecx
jne    1120 <binary_add+0x20>
mov    (%rsi,%rax,4),%ecx
cmp    $0x1,%ecx
je     115c <binary_add+0x5c>
test   %ecx,%ecx
jne    1120 <binary_add+0x20>
cmpl   $0x0,(%rdx,%rax,4)
je     1182 <binary_add+0x82>
cmpl   $0x1,(%rdx,%rax,4)
jne    1120 <binary_add+0x20>
jmp    1118 <binary_add+0x18>
mov    (%rsi,%rax,4),%ecx
cmp    $0x1,%ecx
je     116a <binary_add+0x6a>
test   %ecx,%ecx
jne    1120 <binary_add+0x20>
cmpl   $0x0,(%rdx,%rax,4)
je     1118 <binary_add+0x18>
cmpl   $0x1,(%rdx,%rax,4)
je     117c <binary_add+0x7c>
jmp    1120 <binary_add+0x20>
cmpl   $0x0,(%rdx,%rax,4)
je     117c <binary_add+0x7c>
cmpl   $0x1,(%rdx,%rax,4)
jne    1120 <binary_add+0x20>
mov    %r8,(%rdx,%rax,4)
jmp    1120 <binary_add+0x20>
mov    %r9,(%rdx,%rax,4)
jmp    1120 <binary_add+0x20>
movl   $0x0,(%rdx,%rax,4)
jmp    1120 <binary_add+0x20>
ret

LLVM IR (-O0):
define void @binary_add(i32* %0, i32* %1, i32* %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32* %2, i32** %6
store i32 0, i32* %7
br label %8
8: ; preds = %247, %3
%9 = load i32, i32* %7
%10 = icmp slt i32 %9, 5
br i1 %10, label %11, label %250
11: ; preds = %8
%12 = load i32*, i32** %4
%13 = load i32, i32* %7
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds i32, i32* %12, i64 %14
%16 = load i32, i32* %15
%17 = icmp eq i32 %16, 0
br i1 %17, label %18, label %37
18: ; preds = %11
%19 = load i32*, i32** %5
%20 = load i32, i32* %7
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i32, i32* %19, i64 %21
%23 = load i32, i32* %22
%24 = icmp eq i32 %23, 0
br i1 %24, label %25, label %37
25: ; preds = %18
%26 = load i32*, i32** %6
%27 = load i32, i32* %7
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i32, i32* %26, i64 %28
%30 = load i32, i32* %29
%31 = icmp eq i32 %30, 0
br i1 %31, label %32, label %37
32: ; preds = %25
%33 = load i32*, i32** %6
%34 = load i32, i32* %7
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i32, i32* %33, i64 %35
store i32 0, i32* %36
br label %246
37: ; preds = %25, %18, %11
%38 = load i32*, i32** %4
%39 = load i32, i32* %7
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds i32, i32* %38, i64 %40
%42 = load i32, i32* %41
%43 = icmp eq i32 %42, 0
br i1 %43, label %44, label %63
44: ; preds = %37
%45 = load i32*, i32** %5
%46 = load i32, i32* %7
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i32, i32* %45, i64 %47
%49 = load i32, i32* %48
%50 = icmp eq i32 %49, 0
br i1 %50, label %51, label %63
51: ; preds = %44
%52 = load i32*, i32** %6
%53 = load i32, i32* %7
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %52, i64 %54
%56 = load i32, i32* %55
%57 = icmp eq i32 %56, 1
br i1 %57, label %58, label %63
58: ; preds = %51
%59 = load i32*, i32** %6
%60 = load i32, i32* %7
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i32, i32* %59, i64 %61
store i32 1, i32* %62
br label %245
63: ; preds = %51, %44, %37
%64 = load i32*, i32** %4
%65 = load i32, i32* %7
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds i32, i32* %64, i64 %66
%68 = load i32, i32* %67
%69 = icmp eq i32 %68, 0
br i1 %69, label %70, label %89
70: ; preds = %63
%71 = load i32*, i32** %5
%72 = load i32, i32* %7
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i32, i32* %71, i64 %73
%75 = load i32, i32* %74
%76 = icmp eq i32 %75, 1
br i1 %76, label %77, label %89
77: ; preds = %70
%78 = load i32*, i32** %6
%79 = load i32, i32* %7
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %78, i64 %80
%82 = load i32, i32* %81
%83 = icmp eq i32 %82, 0
br i1 %83, label %84, label %89
84: ; preds = %77
%85 = load i32*, i32** %6
%86 = load i32, i32* %7
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds i32, i32* %85, i64 %87
store i32 1, i32* %88
br label %244
89: ; preds = %77, %70, %63
%90 = load i32*, i32** %4
%91 = load i32, i32* %7
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i32, i32* %90, i64 %92
%94 = load i32, i32* %93
%95 = icmp eq i32 %94, 0
br i1 %95, label %96, label %120
96: ; preds = %89
%97 = load i32*, i32** %5
%98 = load i32, i32* %7
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i32, i32* %97, i64 %99
%101 = load i32, i32* %100
%102 = icmp eq i32 %101, 1
br i1 %102, label %103, label %120
103: ; preds = %96
%104 = load i32*, i32** %6
%105 = load i32, i32* %7
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i32, i32* %104, i64 %106
%108 = load i32, i32* %107
%109 = icmp eq i32 %108, 1
br i1 %109, label %110, label %120
110: ; preds = %103
%111 = load i32*, i32** %6
%112 = load i32, i32* %7
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds i32, i32* %111, i64 %113
store i32 0, i32* %114
%115 = load i32*, i32** %6
%116 = load i32, i32* %7
%117 = add nsw i32 %116, 1
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i32, i32* %115, i64 %118
store i32 1, i32* %119
br label %243
120: ; preds = %103, %96, %89
%121 = load i32*, i32** %4
%122 = load i32, i32* %7
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds i32, i32* %121, i64 %123
%125 = load i32, i32* %124
%126 = icmp eq i32 %125, 1
br i1 %126, label %127, label %146
127: ; preds = %120
%128 = load i32*, i32** %5
%129 = load i32, i32* %7
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i32, i32* %128, i64 %130
%132 = load i32, i32* %131
%133 = icmp eq i32 %132, 0
br i1 %133, label %134, label %146
134: ; preds = %127
%135 = load i32*, i32** %6
%136 = load i32, i32* %7
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds i32, i32* %135, i64 %137
%139 = load i32, i32* %138
%140 = icmp eq i32 %139, 0
br i1 %140, label %141, label %146
141: ; preds = %134
%142 = load i32*, i32** %6
%143 = load i32, i32* %7
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i32, i32* %142, i64 %144
store i32 1, i32* %145
br label %242
146: ; preds = %134, %127, %120
%147 = load i32*, i32** %4
%148 = load i32, i32* %7
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds i32, i32* %147, i64 %149
%151 = load i32, i32* %150
%152 = icmp eq i32 %151, 1
br i1 %152, label %153, label %177
153: ; preds = %146
%154 = load i32*, i32** %5
%155 = load i32, i32* %7
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds i32, i32* %154, i64 %156
%158 = load i32, i32* %157
%159 = icmp eq i32 %158, 0
br i1 %159, label %160, label %177
160: ; preds = %153
%161 = load i32*, i32** %6
%162 = load i32, i32* %7
%163 = sext i32 %162 to i64
%164 = getelementptr inbounds i32, i32* %161, i64 %163
%165 = load i32, i32* %164
%166 = icmp eq i32 %165, 1
br i1 %166, label %167, label %177
167: ; preds = %160
%168 = load i32*, i32** %6
%169 = load i32, i32* %7
%170 = sext i32 %169 to i64
%171 = getelementptr inbounds i32, i32* %168, i64 %170
store i32 0, i32* %171
%172 = load i32*, i32** %6
%173 = load i32, i32* %7
%174 = add nsw i32 %173, 1
%175 = sext i32 %174 to i64
%176 = getelementptr inbounds i32, i32* %172, i64 %175
store i32 1, i32* %176
br label %241
177: ; preds = %160, %153, %146
%178 = load i32*, i32** %4
%179 = load i32, i32* %7
%180 = sext i32 %179 to i64
%181 = getelementptr inbounds i32, i32* %178, i64 %180
%182 = load i32, i32* %181
%183 = icmp eq i32 %182, 1
br i1 %183, label %184, label %208
184: ; preds = %177
%185 = load i32*, i32** %5
%186 = load i32, i32* %7
%187 = sext i32 %186 to i64
%188 = getelementptr inbounds i32, i32* %185, i64 %187
%189 = load i32, i32* %188
%190 = icmp eq i32 %189, 1
br i1 %190, label %191, label %208
191: ; preds = %184
%192 = load i32*, i32** %6
%193 = load i32, i32* %7
%194 = sext i32 %193 to i64
%195 = getelementptr inbounds i32, i32* %192, i64 %194
%196 = load i32, i32* %195
%197 = icmp eq i32 %196, 0
br i1 %197, label %198, label %208
198: ; preds = %191
%199 = load i32*, i32** %6
%200 = load i32, i32* %7
%201 = sext i32 %200 to i64
%202 = getelementptr inbounds i32, i32* %199, i64 %201
store i32 0, i32* %202
%203 = load i32*, i32** %6
%204 = load i32, i32* %7
%205 = add nsw i32 %204, 1
%206 = sext i32 %205 to i64
%207 = getelementptr inbounds i32, i32* %203, i64 %206
store i32 1, i32* %207
br label %240
208: ; preds = %191, %184, %177
%209 = load i32*, i32** %4
%210 = load i32, i32* %7
%211 = sext i32 %210 to i64
%212 = getelementptr inbounds i32, i32* %209, i64 %211
%213 = load i32, i32* %212
%214 = icmp eq i32 %213, 1
br i1 %214, label %215, label %239
215: ; preds = %208
%216 = load i32*, i32** %5
%217 = load i32, i32* %7
%218 = sext i32 %217 to i64
%219 = getelementptr inbounds i32, i32* %216, i64 %218
%220 = load i32, i32* %219
%221 = icmp eq i32 %220, 1
br i1 %221, label %222, label %239
222: ; preds = %215
%223 = load i32*, i32** %6
%224 = load i32, i32* %7
%225 = sext i32 %224 to i64
%226 = getelementptr inbounds i32, i32* %223, i64 %225
%227 = load i32, i32* %226
%228 = icmp eq i32 %227, 1
br i1 %228, label %229, label %239
229: ; preds = %222
%230 = load i32*, i32** %6
%231 = load i32, i32* %7
%232 = sext i32 %231 to i64
%233 = getelementptr inbounds i32, i32* %230, i64 %232
store i32 1, i32* %233
%234 = load i32*, i32** %6
%235 = load i32, i32* %7
%236 = add nsw i32 %235, 1
%237 = sext i32 %236 to i64
%238 = getelementptr inbounds i32, i32* %234, i64 %237
store i32 1, i32* %238
br label %239
239: ; preds = %229, %222, %215, %208
br label %240
240: ; preds = %239, %198
br label %241
241: ; preds = %240, %167
br label %242
242: ; preds = %241, %141
br label %243
243: ; preds = %242, %110
br label %244
244: ; preds = %243, %84
br label %245
245: ; preds = %244, %58
br label %246
246: ; preds = %245, %32
br label %247
247: ; preds = %246
%248 = load i32, i32* %7
%249 = add nsw i32 %248, 1
store i32 %249, i32* %7
br label %8
250: ; preds = %8
ret void
}

LLVM IR (-O2):
define void @binary_add(i32* nocapture %0, i32* nocapture %1, i32* nocapture %2) {
br label %4
4: ; preds = %3, %62
%5 = phi i64 [ 0, %3 ], [ %63, %62 ]
%6 = getelementptr inbounds i32, i32* %0, i64 %5
%7 = load i32, i32* %6
switch i32 %7, label %62 [
i32 0, label %8
i32 1, label %33
]
8: ; preds = %4
%9 = getelementptr inbounds i32, i32* %1, i64 %5
%10 = load i32, i32* %9
switch i32 %10, label %62 [
i32 0, label %11
i32 1, label %21
]
11: ; preds = %8
%12 = getelementptr inbounds i32, i32* %2, i64 %5
%13 = load i32, i32* %12
%14 = icmp eq i32 %13, 0
br i1 %14, label %15, label %16
15: ; preds = %11
store i32 0, i32* %12
br label %62
16: ; preds = %11
%17 = getelementptr inbounds i32, i32* %2, i64 %5
%18 = load i32, i32* %17
%19 = icmp eq i32 %18, 1
br i1 %19, label %20, label %62
20: ; preds = %16
store i32 1, i32* %17
br label %62
21: ; preds = %8
%22 = getelementptr inbounds i32, i32* %2, i64 %5
%23 = load i32, i32* %22
%24 = icmp eq i32 %23, 0
br i1 %24, label %25, label %26
25: ; preds = %21
store i32 1, i32* %22
br label %62
26: ; preds = %21
%27 = getelementptr inbounds i32, i32* %2, i64 %5
%28 = load i32, i32* %27
%29 = icmp eq i32 %28, 1
br i1 %29, label %30, label %62
30: ; preds = %26
store i32 0, i32* %27
%31 = add nuw nsw i64 %5, 1
%32 = getelementptr inbounds i32, i32* %2, i64 %31
store i32 1, i32* %32
br label %62
33: ; preds = %4
%34 = getelementptr inbounds i32, i32* %1, i64 %5
%35 = load i32, i32* %34
switch i32 %35, label %62 [
i32 0, label %36
i32 1, label %48
]
36: ; preds = %33
%37 = getelementptr inbounds i32, i32* %2, i64 %5
%38 = load i32, i32* %37
%39 = icmp eq i32 %38, 0
br i1 %39, label %40, label %41
40: ; preds = %36
store i32 1, i32* %37
br label %62
41: ; preds = %36
%42 = getelementptr inbounds i32, i32* %2, i64 %5
%43 = load i32, i32* %42
%44 = icmp eq i32 %43, 1
br i1 %44, label %45, label %62
45: ; preds = %41
store i32 0, i32* %42
%46 = add nuw nsw i64 %5, 1
%47 = getelementptr inbounds i32, i32* %2, i64 %46
store i32 1, i32* %47
br label %62
48: ; preds = %33
%49 = getelementptr inbounds i32, i32* %2, i64 %5
%50 = load i32, i32* %49
%51 = icmp eq i32 %50, 0
br i1 %51, label %52, label %55
52: ; preds = %48
store i32 0, i32* %49
%53 = add nuw nsw i64 %5, 1
%54 = getelementptr inbounds i32, i32* %2, i64 %53
store i32 1, i32* %54
br label %62
55: ; preds = %48
%56 = getelementptr inbounds i32, i32* %2, i64 %5
%57 = load i32, i32* %56
%58 = icmp eq i32 %57, 1
br i1 %58, label %59, label %62
59: ; preds = %55
store i32 1, i32* %56
%60 = add nuw nsw i64 %5, 1
%61 = getelementptr inbounds i32, i32* %2, i64 %60
store i32 1, i32* %61
br label %62
62: ; preds = %33, %8, %41, %16, %4, %26, %15, %25, %40, %52, %59, %55, %45, %30, %20
%63 = add nuw nsw i64 %5, 1
%64 = icmp eq i64 %63, 5
br i1 %64, label %65, label %4
65: ; preds = %62
ret void
}