#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 */

/* Variables and functions */
int amount_in_ar(char *, int const, int);
int /*<<< orphan*/ assert(int /*<<< orphan*/);
scalar_t__ check_mask(char const *, char const *, char const, int const);
int /*<<< orphan*/ free(char *);
char *malloc(int const);
int /*<<< orphan*/ memcpy(char *, char const *, int const);
char *get_mask(const char *db, const char *basemask, const int bits,
               const char id, const int c) {
  char curc;
  if (check_mask(db, basemask, id, bits)) {
    char *dermask[bits - c];
    char *resmask[bits - c];
    int i;
    for (curc = c, i = 0; curc < bits; curc++, i++) {
      dermask[i] = malloc(bits * sizeof(char));
      memcpy(dermask[i], basemask, bits * sizeof(char));
      dermask[i][curc] = 2;
      resmask[i] = get_mask(db, dermask[i], bits, id, curc + 1);
    }
    char *bestmask = NULL;
    int bestscore = 0;
    for (i = 0; i < bits - c; i++) {
      free(dermask[i]);
      int score = 0;
      if (resmask[i])
        score = amount_in_ar(resmask[i], bits, 2);
      if (bestscore < score) {
        bestscore = score;
        if (bestmask)
          free(bestmask);
        bestmask = resmask[i];
      } else {
        if (resmask[i])
          free(resmask[i]);
      }
    }
    if (bestmask)
      return bestmask;
    char *basemask_cp = malloc(bits * sizeof(char));
    memcpy(basemask_cp, basemask, bits * sizeof(char));
    return basemask_cp;
  }
  if (c == 0)
    assert(0);
  return NULL;
}


x86 assembly (clang, -O0):
<get_mask>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %cl,%al
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %al,-0x1d(%rbp)
mov    %r8d,-0x24(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x1d(%rbp),%al
mov    -0x1c(%rbp),%ecx
movsbl %al,%edx
call   1040 <check_mask@plt>
cmp    $0x0,%rax
je     13f9 <get_mask+0x289>
mov    -0x1c(%rbp),%eax
mov    -0x24(%rbp),%ecx
sub    %ecx,%eax
mov    %rsp,%rcx
mov    %rcx,-0x30(%rbp)
lea    0xf(,%rax,8),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x78(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x24(%rbp),%ecx
sub    %ecx,%eax
lea    0xf(,%rax,8),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x70(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x40(%rbp)
mov    -0x24(%rbp),%eax
mov    %al,-0x25(%rbp)
movl   $0x0,-0x44(%rbp)
movsbl -0x25(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    12b0 <get_mask+0x140>
movslq -0x1c(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edi
call   1080 <malloc@plt>
mov    %rax,%rdx
mov    -0x78(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x18(%rbp),%rsi
movslq -0x1c(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edx
call   1070 <memcpy@plt>
mov    -0x78(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,8),%rcx
movsbq -0x25(%rbp),%rdx
movb   $0x2,(%rcx,%rdx,1)
mov    -0x10(%rbp),%rdi
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
mov    -0x1c(%rbp),%edx
mov    -0x1d(%rbp),%al
movsbl -0x25(%rbp),%r8d
add    $0x1,%r8d
movsbl %al,%ecx
call   1050 <get_mask@plt>
mov    %rax,%rdx
mov    -0x70(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x25(%rbp),%al
add    $0x1,%al
mov    %al,-0x25(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    120d <get_mask+0x9d>
movq   $0x0,-0x50(%rbp)
movl   $0x0,-0x54(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    -0x24(%rbp),%ecx
cmp    %ecx,%eax
jge    1395 <get_mask+0x225>
mov    -0x78(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1030 <free@plt>
mov    -0x70(%rbp),%rax
movl   $0x0,-0x58(%rbp)
movslq -0x44(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     131e <get_mask+0x1ae>
mov    -0x70(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
mov    -0x1c(%rbp),%esi
mov    $0x2,%edx
call   1090 <amount_in_ar@plt>
mov    %eax,-0x58(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x58(%rbp),%eax
jge    1359 <get_mask+0x1e9>
mov    -0x58(%rbp),%eax
mov    %eax,-0x54(%rbp)
cmpq   $0x0,-0x50(%rbp)
je     1344 <get_mask+0x1d4>
mov    -0x50(%rbp),%rdi
call   1030 <free@plt>
mov    -0x70(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x50(%rbp)
jmp    1382 <get_mask+0x212>
mov    -0x70(%rbp),%rax
movslq -0x44(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     137d <get_mask+0x20d>
mov    -0x70(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
call   1030 <free@plt>
jmp    1382 <get_mask+0x212>
jmp    1387 <get_mask+0x217>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    12c6 <get_mask+0x156>
cmpq   $0x0,-0x50(%rbp)
je     13b4 <get_mask+0x244>
mov    -0x50(%rbp),%rax
mov    %rax,-0x8(%rbp)
movl   $0x1,-0x5c(%rbp)
jmp    13ed <get_mask+0x27d>
movslq -0x1c(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edi
call   1080 <malloc@plt>
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rdi
mov    -0x18(%rbp),%rsi
movslq -0x1c(%rbp),%rax
shl    $0x0,%rax
mov    %eax,%edx
call   1070 <memcpy@plt>
mov    -0x68(%rbp),%rax
mov    %rax,-0x8(%rbp)
movl   $0x1,-0x5c(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,%rsp
jmp    1412 <get_mask+0x2a2>
cmpl   $0x0,-0x24(%rbp)
jne    140a <get_mask+0x29a>
xor    %edi,%edi
call   1060 <assert@plt>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_mask>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r8d,%r14d
mov    %ecx,%ebx
mov    %edx,%r15d
mov    %rsi,%r13
mov    %rdi,%r12
mov    %ecx,%edx
mov    %r15d,%ecx
call   1040 <check_mask@plt>
test   %rax,%rax
je     1316 <get_mask+0x1a6>
mov    %rsp,-0x58(%rbp)
mov    %r15d,%eax
sub    %r14d,%eax
mov    %rax,-0x48(%rbp)
lea    0xf(,%rax,8),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%rcx
sub    %rax,%rcx
mov    %rcx,-0x30(%rbp)
mov    %rcx,%rsp
mov    %rsp,%rcx
sub    %rax,%rcx
mov    %rcx,-0x50(%rbp)
mov    %rcx,%rsp
mov    %r12,-0x60(%rbp)
movsbl %r14b,%r12d
cmp    %r15d,%r12d
mov    %r13,-0x40(%rbp)
jge    125c <get_mask+0xec>
mov    %ebx,%edx
mov    %r13,%rbx
xor    %r14d,%r14d
movsbl %dl,%eax
mov    %eax,-0x34(%rbp)
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r15d,%edi
call   1080 <malloc@plt>
mov    %rax,%r13
mov    -0x30(%rbp),%rax
mov    %r13,(%rax,%r14,1)
mov    %r13,%rdi
mov    %rbx,%rsi
mov    %r15d,%edx
call   1070 <memcpy@plt>
movslq %r12d,%rbx
movb   $0x2,0x0(%r13,%rbx,1)
lea    0x1(%rbx),%r8d
mov    -0x60(%rbp),%rdi
mov    %r13,%rsi
mov    %r15d,%edx
mov    -0x34(%rbp),%ecx
call   1050 <get_mask@plt>
mov    -0x50(%rbp),%rcx
mov    %rax,(%rcx,%r14,1)
add    $0x1,%bl
movsbl %bl,%r12d
mov    -0x40(%rbp),%rbx
add    $0x8,%r14
cmp    %r15d,%r12d
jl     1200 <get_mask+0x90>
cmpl   $0x0,-0x48(%rbp)
jle    12f6 <get_mask+0x186>
xor    %ebx,%ebx
xor    %r14d,%r14d
xor    %r12d,%r12d
mov    -0x30(%rbp),%rcx
jmp    129c <get_mask+0x12c>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r13,%rdi
mov    %r12,%r13
call   1030 <free@plt>
mov    -0x30(%rbp),%rcx
mov    %r13,%r12
add    $0x1,%rbx
cmp    %rbx,-0x48(%rbp)
je     12f1 <get_mask+0x181>
mov    (%rcx,%rbx,8),%rdi
call   1030 <free@plt>
mov    -0x50(%rbp),%rax
mov    (%rax,%rbx,8),%r13
test   %r13,%r13
je     12d0 <get_mask+0x160>
mov    %r13,%rdi
mov    %r15d,%esi
mov    $0x2,%edx
call   1090 <amount_in_ar@plt>
cmp    %eax,%r14d
mov    -0x30(%rbp),%rcx
jge    1280 <get_mask+0x110>
jmp    12e1 <get_mask+0x171>
nopl   (%rax)
test   %r14d,%r14d
js     12db <get_mask+0x16b>
mov    -0x30(%rbp),%rcx
jmp    1292 <get_mask+0x122>
xor    %eax,%eax
mov    -0x30(%rbp),%rcx
mov    %r12,%rdi
mov    %eax,%r14d
test   %r12,%r12
mov    %r13,%r12
jne    1286 <get_mask+0x116>
jmp    1292 <get_mask+0x122>
test   %r12,%r12
jne    1310 <get_mask+0x1a0>
mov    %r15d,%edi
call   1080 <malloc@plt>
mov    %rax,%r12
mov    %rax,%rdi
mov    -0x40(%rbp),%rsi
mov    %r15d,%edx
call   1070 <memcpy@plt>
mov    -0x58(%rbp),%rsp
jmp    1325 <get_mask+0x1b5>
xor    %r12d,%r12d
test   %r14d,%r14d
jne    1325 <get_mask+0x1b5>
xor    %edi,%edi
call   1060 <assert@plt>
mov    %r12,%rax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @get_mask(i8* %0, i8* %1, i32 %2, i8 signext %3, i32 %4) {
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i8
%11 = alloca i32
%12 = alloca i8
%13 = alloca i8*
%14 = alloca i64
%15 = alloca i64
%16 = alloca i32
%17 = alloca i8*
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i8*
store i8* %0, i8** %7
store i8* %1, i8** %8
store i32 %2, i32* %9
store i8 %3, i8* %10
store i32 %4, i32* %11
%22 = load i8*, i8** %7
%23 = load i8*, i8** %8
%24 = load i8, i8* %10
%25 = load i32, i32* %9
%26 = call i64 @check_mask(i8* %22, i8* %23, i8 signext %24, i32 %25)
%27 = icmp ne i64 %26, 0
br i1 %27, label %28, label %171
28: ; preds = %5
%29 = load i32, i32* %9
%30 = load i32, i32* %11
%31 = sub nsw i32 %29, %30
%32 = zext i32 %31 to i64
%33 = call i8* @llvm.stacksave()
store i8* %33, i8** %13
%34 = alloca i8*, i64 %32
store i64 %32, i64* %14
%35 = load i32, i32* %9
%36 = load i32, i32* %11
%37 = sub nsw i32 %35, %36
%38 = zext i32 %37 to i64
%39 = alloca i8*, i64 %38
store i64 %38, i64* %15
%40 = load i32, i32* %11
%41 = trunc i32 %40 to i8
store i8 %41, i8* %12
store i32 0, i32* %16
br label %42
42: ; preds = %87, %28
%43 = load i8, i8* %12
%44 = sext i8 %43 to i32
%45 = load i32, i32* %9
%46 = icmp slt i32 %44, %45
br i1 %46, label %47, label %92
47: ; preds = %42
%48 = load i32, i32* %9
%49 = sext i32 %48 to i64
%50 = mul i64 %49, 1
%51 = trunc i64 %50 to i32
%52 = call i8* @malloc(i32 %51)
%53 = load i32, i32* %16
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i8*, i8** %34, i64 %54
store i8* %52, i8** %55
%56 = load i32, i32* %16
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds i8*, i8** %34, i64 %57
%59 = load i8*, i8** %58
%60 = load i8*, i8** %8
%61 = load i32, i32* %9
%62 = sext i32 %61 to i64
%63 = mul i64 %62, 1
%64 = trunc i64 %63 to i32
%65 = call i32 @memcpy(i8* %59, i8* %60, i32 %64)
%66 = load i32, i32* %16
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i8*, i8** %34, i64 %67
%69 = load i8*, i8** %68
%70 = load i8, i8* %12
%71 = sext i8 %70 to i64
%72 = getelementptr inbounds i8, i8* %69, i64 %71
store i8 2, i8* %72
%73 = load i8*, i8** %7
%74 = load i32, i32* %16
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i8*, i8** %34, i64 %75
%77 = load i8*, i8** %76
%78 = load i32, i32* %9
%79 = load i8, i8* %10
%80 = load i8, i8* %12
%81 = sext i8 %80 to i32
%82 = add nsw i32 %81, 1
%83 = call i8* @get_mask(i8* %73, i8* %77, i32 %78, i8 signext %79, i32 %82)
%84 = load i32, i32* %16
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i8*, i8** %39, i64 %85
store i8* %83, i8** %86
br label %87
87: ; preds = %47
%88 = load i8, i8* %12
%89 = add i8 %88, 1
store i8 %89, i8* %12
%90 = load i32, i32* %16
%91 = add nsw i32 %90, 1
store i32 %91, i32* %16
br label %42
92: ; preds = %42
store i8* null, i8** %17
store i32 0, i32* %18
store i32 0, i32* %16
br label %93
93: ; preds = %147, %92
%94 = load i32, i32* %16
%95 = load i32, i32* %9
%96 = load i32, i32* %11
%97 = sub nsw i32 %95, %96
%98 = icmp slt i32 %94, %97
br i1 %98, label %99, label %150
99: ; preds = %93
%100 = load i32, i32* %16
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i8*, i8** %34, i64 %101
%103 = load i8*, i8** %102
%104 = call i32 @free(i8* %103)
store i32 0, i32* %19
%105 = load i32, i32* %16
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i8*, i8** %39, i64 %106
%108 = load i8*, i8** %107
%109 = icmp ne i8* %108, null
br i1 %109, label %110, label %117
110: ; preds = %99
%111 = load i32, i32* %16
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i8*, i8** %39, i64 %112
%114 = load i8*, i8** %113
%115 = load i32, i32* %9
%116 = call i32 @amount_in_ar(i8* %114, i32 %115, i32 2)
store i32 %116, i32* %19
br label %117
117: ; preds = %110, %99
%118 = load i32, i32* %18
%119 = load i32, i32* %19
%120 = icmp slt i32 %118, %119
br i1 %120, label %121, label %133
121: ; preds = %117
%122 = load i32, i32* %19
store i32 %122, i32* %18
%123 = load i8*, i8** %17
%124 = icmp ne i8* %123, null
br i1 %124, label %125, label %128
125: ; preds = %121
%126 = load i8*, i8** %17
%127 = call i32 @free(i8* %126)
br label %128
128: ; preds = %125, %121
%129 = load i32, i32* %16
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i8*, i8** %39, i64 %130
%132 = load i8*, i8** %131
store i8* %132, i8** %17
br label %146
133: ; preds = %117
%134 = load i32, i32* %16
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds i8*, i8** %39, i64 %135
%137 = load i8*, i8** %136
%138 = icmp ne i8* %137, null
br i1 %138, label %139, label %145
139: ; preds = %133
%140 = load i32, i32* %16
%141 = sext i32 %140 to i64
%142 = getelementptr inbounds i8*, i8** %39, i64 %141
%143 = load i8*, i8** %142
%144 = call i32 @free(i8* %143)
br label %145
145: ; preds = %139, %133
br label %146
146: ; preds = %145, %128
br label %147
147: ; preds = %146
%148 = load i32, i32* %16
%149 = add nsw i32 %148, 1
store i32 %149, i32* %16
br label %93
150: ; preds = %93
%151 = load i8*, i8** %17
%152 = icmp ne i8* %151, null
br i1 %152, label %153, label %155
153: ; preds = %150
%154 = load i8*, i8** %17
store i8* %154, i8** %6
store i32 1, i32* %20
br label %169
155: ; preds = %150
%156 = load i32, i32* %9
%157 = sext i32 %156 to i64
%158 = mul i64 %157, 1
%159 = trunc i64 %158 to i32
%160 = call i8* @malloc(i32 %159)
store i8* %160, i8** %21
%161 = load i8*, i8** %21
%162 = load i8*, i8** %8
%163 = load i32, i32* %9
%164 = sext i32 %163 to i64
%165 = mul i64 %164, 1
%166 = trunc i64 %165 to i32
%167 = call i32 @memcpy(i8* %161, i8* %162, i32 %166)
%168 = load i8*, i8** %21
store i8* %168, i8** %6
store i32 1, i32* %20
br label %169
169: ; preds = %155, %153
%170 = load i8*, i8** %13
br label %177
171: ; preds = %5
%172 = load i32, i32* %11
%173 = icmp eq i32 %172, 0
br i1 %173, label %174, label %176
174: ; preds = %171
%175 = call i32 @assert(i32 0)
br label %176
176: ; preds = %174, %171
store i8* null, i8** %6
br label %177
177: ; preds = %176, %169
%178 = load i8*, i8** %6
ret i8* %178
}

LLVM IR (-O2):
define i8* @get_mask(i8* %0, i8* %1, i32 %2, i8 signext %3, i32 %4) {
%6 = tail call i64 @check_mask(i8* %0, i8* %1, i8 signext %3, i32 %2)
%7 = icmp eq i64 %6, 0
br i1 %7, label %70, label %8
8: ; preds = %5
%9 = sub i32 %2, %4
%10 = zext i32 %9 to i64
%11 = tail call i8* @llvm.stacksave()
%12 = alloca i8*, i64 %10
%13 = alloca i8*, i64 %10
%14 = shl i32 %4, 24
%15 = ashr exact i32 %14, 24
%16 = icmp slt i32 %15, %2
br i1 %16, label %19, label %17
17: ; preds = %19, %8
%18 = icmp sgt i32 %9, 0
br i1 %18, label %35, label %65
19: ; preds = %8, %19
%20 = phi i64 [ %30, %19 ], [ 0, %8 ]
%21 = phi i32 [ %33, %19 ], [ %15, %8 ]
%22 = tail call i8* @malloc(i32 %2)
%23 = getelementptr inbounds i8*, i8** %12, i64 %20
store i8* %22, i8** %23
%24 = tail call i32 @memcpy(i8* %22, i8* %1, i32 %2)
%25 = sext i32 %21 to i64
%26 = getelementptr inbounds i8, i8* %22, i64 %25
store i8 2, i8* %26
%27 = add nsw i32 %21, 1
%28 = tail call i8* @get_mask(i8* %0, i8* %22, i32 %2, i8 signext %3, i32 %27)
%29 = getelementptr inbounds i8*, i8** %13, i64 %20
store i8* %28, i8** %29
%30 = add nuw i64 %20, 1
%31 = shl nsw i32 %21, 24
%32 = add i32 %31, 16777216
%33 = ashr exact i32 %32, 24
%34 = icmp slt i32 %33, %2
br i1 %34, label %19, label %17
35: ; preds = %17, %58
%36 = phi i64 [ %61, %58 ], [ 0, %17 ]
%37 = phi i32 [ %60, %58 ], [ 0, %17 ]
%38 = phi i8* [ %59, %58 ], [ null, %17 ]
%39 = getelementptr inbounds i8*, i8** %12, i64 %36
%40 = load i8*, i8** %39
%41 = tail call i32 @free(i8* %40)
%42 = getelementptr inbounds i8*, i8** %13, i64 %36
%43 = load i8*, i8** %42
%44 = icmp eq i8* %43, null
br i1 %44, label %45, label %47
45: ; preds = %35
%46 = icmp slt i32 %37, 0
br i1 %46, label %50, label %58
47: ; preds = %35
%48 = tail call i32 @amount_in_ar(i8* %43, i32 %2, i32 2)
%49 = icmp slt i32 %37, %48
br i1 %49, label %50, label %53
50: ; preds = %47, %45
%51 = phi i32 [ %48, %47 ], [ 0, %45 ]
%52 = icmp eq i8* %38, null
br i1 %52, label %58, label %53
53: ; preds = %47, %50
%54 = phi i8* [ %38, %50 ], [ %43, %47 ]
%55 = phi i8* [ %43, %50 ], [ %38, %47 ]
%56 = phi i32 [ %51, %50 ], [ %37, %47 ]
%57 = tail call i32 @free(i8* %54)
br label %58
58: ; preds = %53, %50, %45
%59 = phi i8* [ %38, %45 ], [ %43, %50 ], [ %55, %53 ]
%60 = phi i32 [ %37, %45 ], [ %51, %50 ], [ %56, %53 ]
%61 = add nuw nsw i64 %36, 1
%62 = icmp eq i64 %61, %10
br i1 %62, label %63, label %35
63: ; preds = %58
%64 = icmp eq i8* %59, null
br i1 %64, label %65, label %68
65: ; preds = %17, %63
%66 = tail call i8* @malloc(i32 %2)
%67 = tail call i32 @memcpy(i8* %66, i8* %1, i32 %2)
br label %68
68: ; preds = %63, %65
%69 = phi i8* [ %66, %65 ], [ %59, %63 ]
tail call void @llvm.stackrestore(i8* %11)
br label %74
70: ; preds = %5
%71 = icmp eq i32 %4, 0
br i1 %71, label %72, label %74
72: ; preds = %70
%73 = tail call i32 @assert(i32 0)
br label %74
74: ; preds = %70, %72, %68
%75 = phi i8* [ %69, %68 ], [ null, %72 ], [ null, %70 ]
ret i8* %75
}