void do_recurse(unsigned char *known, unsigned char *deduced,
                unsigned char *row, int *data, int len, int freespace,
                int ndone, int lowest) {
  int i, j, k;
  if (data[ndone]) {
    for (i = 0; i <= freespace; i++) {
      j = lowest;
      for (k = 0; k < i; k++)
        row[j++] = 2;
      for (k = 0; k < data[ndone]; k++)
        row[j++] = 1;
      if (j < len)
        row[j++] = 2;
      do_recurse(known, deduced, row, data, len, freespace - i, ndone + 1, j);
    }
  } else {
    for (i = lowest; i < len; i++)
      row[i] = 2;
    for (i = 0; i < len; i++)
      if (known[i] && known[i] != row[i])
        return;
    for (i = 0; i < len; i++)
      deduced[i] |= row[i];
  }
}


x86 assembly (clang, -O0):
<do_recurse>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
mov    -0x20(%rbp),%rax
movslq 0x10(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1240 <do_recurse+0x130>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x28(%rbp),%eax
jg     123b <do_recurse+0x12b>
mov    0x18(%rbp),%eax
mov    %eax,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    1198 <do_recurse+0x88>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
movslq %ecx,%rcx
movb   $0x2,(%rax,%rcx,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1168 <do_recurse+0x58>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x20(%rbp),%rcx
movslq 0x10(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11d7 <do_recurse+0xc7>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
movslq %ecx,%rcx
movb   $0x1,(%rax,%rcx,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    119f <do_recurse+0x8f>
mov    -0x30(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11f9 <do_recurse+0xe9>
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
movslq %ecx,%rcx
movb   $0x2,(%rax,%rcx,1)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
mov    -0x24(%rbp),%r8d
mov    -0x28(%rbp),%r9d
sub    -0x2c(%rbp),%r9d
mov    0x10(%rbp),%r10d
add    $0x1,%r10d
mov    -0x30(%rbp),%eax
mov    %r10d,(%rsp)
mov    %eax,0x8(%rsp)
call   1030 <do_recurse@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    114f <do_recurse+0x3f>
jmp    130f <do_recurse+0x1ff>
mov    0x18(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    126c <do_recurse+0x15c>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movb   $0x2,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1246 <do_recurse+0x136>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    12cc <do_recurse+0x1bc>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     12b9 <do_recurse+0x1a9>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     12b9 <do_recurse+0x1a9>
jmp    130f <do_recurse+0x1ff>
jmp    12be <do_recurse+0x1ae>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1273 <do_recurse+0x163>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    130a <do_recurse+0x1fa>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movzbl (%rax,%rcx,1),%esi
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movzbl (%rax,%rcx,1),%edx
or     %esi,%edx
mov    %dl,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12d3 <do_recurse+0x1c3>
jmp    130f <do_recurse+0x1ff>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<do_recurse>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %rcx,%r14
mov    %rsi,0x8(%rsp)
mov    %rdi,0x28(%rsp)
mov    0x88(%rsp),%eax
mov    0x80(%rsp),%ecx
mov    %rcx,0x10(%rsp)
movslq %ecx,%r13
cmpl   $0x0,(%r14,%r13,4)
mov    %rdx,0x18(%rsp)
mov    %r8d,0x4(%rsp)
je     125f <do_recurse+0x13f>
mov    %r9,0x20(%rsp)
test   %r9d,%r9d
js     135b <do_recurse+0x23b>
mov    0x10(%rsp),%rcx
add    $0x1,%ecx
mov    %rcx,0x10(%rsp)
movslq %eax,%rcx
lea    (%rdx,%rcx,1),%rsi
mov    %rsi,0x30(%rsp)
add    $0x1,%ecx
mov    %rcx,0x38(%rsp)
mov    0x20(%rsp),%rcx
add    $0x1,%ecx
mov    %rcx,0x40(%rsp)
mov    $0xffffffff,%ebx
xor    %r15d,%r15d
jmp    11f1 <do_recurse+0xd1>
nopl   0x0(%rax)
mov    0x20(%rsp),%rax
mov    %eax,%r9d
sub    %r15d,%r9d
mov    0x28(%rsp),%rdi
mov    0x8(%rsp),%rsi
mov    %r14,%rcx
push   %r12
push   0x18(%rsp)
call   1040 <do_recurse@plt>
mov    0x28(%rsp),%rdx
add    $0x10,%rsp
add    $0x1,%r15
add    $0x1,%ebx
cmp    0x40(%rsp),%r15
mov    %rbp,%rax
je     135b <do_recurse+0x23b>
mov    %rax,%rbp
mov    %eax,%r12d
test   %r15d,%r15d
je     121c <do_recurse+0xfc>
mov    0x38(%rsp),%rax
lea    (%rax,%rbx,1),%r12d
mov    0x30(%rsp),%rdi
mov    $0x2,%esi
mov    %r15,%rdx
call   1030 <memset@plt>
mov    0x18(%rsp),%rdx
cmpl   $0x0,(%r14,%r13,4)
jle    1241 <do_recurse+0x121>
movslq %r12d,%rax
add    %rdx,%rax
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movb   $0x1,(%rax,%rcx,1)
add    $0x1,%rcx
cmp    (%r14,%r13,4),%ecx
jl     1230 <do_recurse+0x110>
add    %ecx,%r12d
mov    0x4(%rsp),%r8d
cmp    %r8d,%r12d
jge    11b0 <do_recurse+0x90>
movslq %r12d,%rax
add    $0x1,%r12d
movb   $0x2,(%rdx,%rax,1)
jmp    11b0 <do_recurse+0x90>
cmp    %r8d,%eax
jge    128a <do_recurse+0x16a>
movslq %eax,%rdi
add    %rdx,%rdi
not    %eax
add    %r8d,%eax
add    $0x1,%rax
mov    $0x2,%esi
mov    %rax,%rdx
call   1030 <memset@plt>
mov    0x4(%rsp),%r8d
mov    0x18(%rsp),%rdx
test   %r8d,%r8d
jle    135b <do_recurse+0x23b>
mov    0x4(%rsp),%eax
xor    %ecx,%ecx
mov    0x28(%rsp),%rsi
jmp    12a9 <do_recurse+0x189>
add    $0x1,%rcx
cmp    %rcx,%rax
je     12bb <do_recurse+0x19b>
movzbl (%rsi,%rcx,1),%ebx
test   %bl,%bl
je     12a0 <do_recurse+0x180>
cmp    (%rdx,%rcx,1),%bl
je     12a0 <do_recurse+0x180>
jmp    135b <do_recurse+0x23b>
cmpl   $0x0,0x4(%rsp)
jle    135b <do_recurse+0x23b>
mov    0x4(%rsp),%esi
cmp    $0x8,%esi
jb     12ee <do_recurse+0x1ce>
lea    (%rdx,%rax,1),%rcx
mov    0x8(%rsp),%rbx
cmp    %rbx,%rcx
jbe    136a <do_recurse+0x24a>
lea    (%rbx,%rax,1),%rcx
cmp    %rdx,%rcx
jbe    136a <do_recurse+0x24a>
xor    %ecx,%ecx
mov    %rcx,%rdi
not    %rdi
add    %rax,%rdi
mov    %rax,%rsi
and    $0x3,%rsi
je     1322 <do_recurse+0x202>
mov    0x8(%rsp),%rbp
nopw   0x0(%rax,%rax,1)
movzbl (%rdx,%rcx,1),%ebx
or     %bl,0x0(%rbp,%rcx,1)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rsi
jne    1310 <do_recurse+0x1f0>
cmp    $0x3,%rdi
jb     135b <do_recurse+0x23b>
mov    0x8(%rsp),%rsi
nopl   (%rax)
movzbl (%rdx,%rcx,1),%ebx
or     %bl,(%rsi,%rcx,1)
movzbl 0x1(%rdx,%rcx,1),%ebx
or     %bl,0x1(%rsi,%rcx,1)
movzbl 0x2(%rdx,%rcx,1),%ebx
or     %bl,0x2(%rsi,%rcx,1)
movzbl 0x3(%rdx,%rcx,1),%ebx
or     %bl,0x3(%rsi,%rcx,1)
add    $0x4,%rcx
cmp    %rcx,%rax
jne    1330 <do_recurse+0x210>
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x20,%esi
jae    1376 <do_recurse+0x256>
xor    %ecx,%ecx
jmp    142b <do_recurse+0x30b>
mov    %eax,%ecx
and    $0xffffffe0,%ecx
lea    -0x20(%rcx),%rdi
mov    %rdi,%rsi
shr    $0x5,%rsi
add    $0x1,%rsi
test   %rdi,%rdi
je     13f1 <do_recurse+0x2d1>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %ebp,%ebp
nopl   0x0(%rax,%rax,1)
movups (%rdx,%rbp,1),%xmm0
movups 0x10(%rdx,%rbp,1),%xmm1
movups (%rbx,%rbp,1),%xmm2
orps   %xmm0,%xmm2
movups 0x10(%rbx,%rbp,1),%xmm0
orps   %xmm1,%xmm0
movups 0x20(%rbx,%rbp,1),%xmm1
movups 0x30(%rbx,%rbp,1),%xmm3
movups %xmm2,(%rbx,%rbp,1)
movups %xmm0,0x10(%rbx,%rbp,1)
movups 0x20(%rdx,%rbp,1),%xmm0
orps   %xmm1,%xmm0
movups 0x30(%rdx,%rbp,1),%xmm1
orps   %xmm3,%xmm1
movups %xmm0,0x20(%rbx,%rbp,1)
movups %xmm1,0x30(%rbx,%rbp,1)
add    $0x40,%rbp
add    $0xfffffffffffffffe,%rdi
jne    13a0 <do_recurse+0x280>
jmp    13f3 <do_recurse+0x2d3>
xor    %ebp,%ebp
test   $0x1,%sil
je     141a <do_recurse+0x2fa>
movups (%rdx,%rbp,1),%xmm0
movups 0x10(%rdx,%rbp,1),%xmm1
movups (%rbx,%rbp,1),%xmm2
orps   %xmm0,%xmm2
movups 0x10(%rbx,%rbp,1),%xmm0
orps   %xmm1,%xmm0
movups %xmm2,(%rbx,%rbp,1)
movups %xmm0,0x10(%rbx,%rbp,1)
cmp    %rax,%rcx
je     135b <do_recurse+0x23b>
test   $0x18,%al
je     12f0 <do_recurse+0x1d0>
mov    %rcx,%rdi
mov    %eax,%ecx
and    $0xfffffff8,%ecx
mov    0x8(%rsp),%rbp
nopl   0x0(%rax,%rax,1)
mov    (%rdx,%rdi,1),%rsi
or     %rsi,0x0(%rbp,%rdi,1)
add    $0x8,%rdi
cmp    %rdi,%rcx
jne    1440 <do_recurse+0x320>
cmp    %rax,%rcx
je     135b <do_recurse+0x23b>
jmp    12f0 <do_recurse+0x1d0>

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

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