int walk(char maze[][33], int lin, int col, int n) {
  int walls = 0;
  if (!maze[lin][col]) {
    maze[lin][col] = 2;
    if (lin < n - 1) {
      if (maze[lin + 1][col] == 1)
        walls++;
      else if (!maze[lin + 1][col])
        walls += walk(maze, lin + 1, col, n);
    }
    if (lin > 0) {
      if (maze[lin - 1][col] == 1)
        walls++;
      else if (!maze[lin - 1][col])
        walls += walk(maze, lin - 1, col, n);
    }
    if (col < n - 1) {
      if (maze[lin][col + 1] == 1)
        walls++;
      else if (!maze[lin][col + 1])
        walls += walk(maze, lin, col + 1, n);
    }
    if (col > 0) {
      if (maze[lin][col - 1] == 1)
        walls++;
      else if (!maze[lin][col - 1])
        walls += walk(maze, lin, col - 1, n);
    }
    if (lin == 0 && col != 0)
      walls++;
    else if (lin == n - 1 && col != n - 1)
      walls++;
    if (col == 0 && lin != 0)
      walls++;
    else if (col == n - 1 && lin != n - 1)
      walls++;
  }
  return walls;
}


x86 assembly (clang, -O0):
<walk>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x21,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
jne    1427 <walk+0x317>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x21,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
movb   $0x2,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    11eb <walk+0xdb>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x21,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x1,%eax
jne    11a4 <walk+0x94>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11e6 <walk+0xd6>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x21,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
jne    11e1 <walk+0xd1>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
add    $0x1,%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
call   1030 <walk@plt>
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    11e6 <walk+0xd6>
jmp    11eb <walk+0xdb>
cmpl   $0x0,-0xc(%rbp)
jle    126f <walk+0x15f>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x21,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x1,%eax
jne    1228 <walk+0x118>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    126a <walk+0x15a>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x21,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
jne    1265 <walk+0x155>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
sub    $0x1,%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
call   1030 <walk@plt>
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    126a <walk+0x15a>
jmp    126f <walk+0x15f>
mov    -0x10(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    12fa <walk+0x1ea>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x21,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x1,%eax
jne    12b3 <walk+0x1a3>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    12f5 <walk+0x1e5>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x21,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
cmpb   $0x0,(%rax,%rcx,1)
jne    12f0 <walk+0x1e0>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
add    $0x1,%edx
mov    -0x14(%rbp),%ecx
call   1030 <walk@plt>
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    12f5 <walk+0x1e5>
jmp    12fa <walk+0x1ea>
cmpl   $0x0,-0x10(%rbp)
jle    137e <walk+0x26e>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x21,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x1,%eax
jne    1337 <walk+0x227>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1379 <walk+0x269>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
imul   $0x21,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
cmpb   $0x0,(%rax,%rcx,1)
jne    1374 <walk+0x264>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
sub    $0x1,%edx
mov    -0x14(%rbp),%ecx
call   1030 <walk@plt>
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    1379 <walk+0x269>
jmp    137e <walk+0x26e>
cmpl   $0x0,-0xc(%rbp)
jne    13a0 <walk+0x290>
cmpl   $0x0,-0x10(%rbp)
je     13a0 <walk+0x290>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    13d0 <walk+0x2c0>
mov    -0xc(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    13cb <walk+0x2bb>
mov    -0x10(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
je     13cb <walk+0x2bb>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    13d0 <walk+0x2c0>
cmpl   $0x0,-0x10(%rbp)
jne    13f2 <walk+0x2e2>
cmpl   $0x0,-0xc(%rbp)
je     13f2 <walk+0x2e2>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1422 <walk+0x312>
mov    -0x10(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    141d <walk+0x30d>
mov    -0xc(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
je     141d <walk+0x30d>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1422 <walk+0x312>
jmp    1427 <walk+0x317>
mov    -0x18(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<walk>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %edx,%r14d
movslq %esi,%rdx
movslq %r14d,%r13
mov    %rdx,%r15
shl    $0x5,%r15
add    %rdx,%r15
add    %rdi,%r15
xor    %eax,%eax
cmpb   $0x0,0x0(%r13,%r15,1)
jne    1293 <walk+0x183>
mov    %esi,%ebx
mov    %rdi,%rbp
lea    (%r15,%r13,1),%rax
movb   $0x2,(%rax)
lea    -0x1(%rcx),%edi
xor    %r12d,%r12d
cmp    %esi,%edi
jle    119e <walk+0x8e>
lea    0x1(%rdx),%rax
shl    $0x5,%rax
add    %rdx,%rax
add    $0x1,%rax
add    %rbp,%rax
mov    0x0(%r13,%rax,1),%al
cmp    $0x1,%al
je     1198 <walk+0x88>
test   %al,%al
jne    119e <walk+0x8e>
lea    0x1(%rbx),%esi
mov    %edi,0xc(%rsp)
mov    %rbp,%rdi
mov    %r14d,%edx
mov    %rcx,%r12
call   1030 <walk@plt>
mov    %r12,%rcx
mov    0xc(%rsp),%edi
mov    %eax,%r12d
jmp    119e <walk+0x8e>
mov    $0x1,%r12d
test   %ebx,%ebx
mov    %rcx,0x10(%rsp)
jle    11c8 <walk+0xb8>
lea    -0x1(%rbx),%esi
mov    %rsi,%rax
shl    $0x5,%rax
add    %rsi,%rax
add    %rbp,%rax
mov    0x0(%r13,%rax,1),%al
test   %al,%al
je     11e0 <walk+0xd0>
cmp    $0x1,%al
jne    11c8 <walk+0xb8>
add    $0x1,%r12d
cmp    %r14d,%edi
jle    1219 <walk+0x109>
mov    0x1(%r13,%r15,1),%al
test   %al,%al
je     11fd <walk+0xed>
cmp    $0x1,%al
jne    1219 <walk+0x109>
add    $0x1,%r12d
jmp    1219 <walk+0x109>
mov    %edi,0xc(%rsp)
mov    %rbp,%rdi
mov    %r14d,%edx
call   1030 <walk@plt>
mov    0xc(%rsp),%edi
add    %eax,%r12d
cmp    %r14d,%edi
jg     11cd <walk+0xbd>
jmp    1219 <walk+0x109>
lea    0x1(%r14),%edx
mov    %edi,%r13d
mov    %rbp,%rdi
mov    %ebx,%esi
mov    0x10(%rsp),%rcx
call   1030 <walk@plt>
mov    %r13d,%edi
add    %eax,%r12d
test   %r14d,%r14d
jle    1232 <walk+0x122>
lea    -0x1(%r14),%edx
mov    (%rdx,%r15,1),%al
test   %al,%al
je     1254 <walk+0x144>
cmp    $0x1,%al
jne    1232 <walk+0x122>
add    $0x1,%r12d
test   %ebx,%ebx
jne    1270 <walk+0x160>
test   %r14d,%r14d
je     1270 <walk+0x160>
add    $0x1,%r12d
cmp    %r14d,%edi
sete   %al
cmp    %ebx,%edi
setne  %cl
and    %al,%cl
movzbl %cl,%eax
add    %r12d,%eax
jmp    1293 <walk+0x183>
mov    %edi,%r15d
mov    %rbp,%rdi
mov    %ebx,%esi
mov    0x10(%rsp),%rcx
call   1030 <walk@plt>
mov    %r15d,%edi
add    %eax,%r12d
test   %ebx,%ebx
je     1236 <walk+0x126>
cmp    %ebx,%edi
sete   %al
cmp    %r14d,%edi
setne  %cl
and    %al,%cl
movzbl %cl,%eax
add    %eax,%r12d
test   %ebx,%ebx
je     123f <walk+0x12f>
test   %r14d,%r14d
jne    123f <walk+0x12f>
add    $0x1,%r12d
mov    %r12d,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @walk([33 x i8]* %0, i32 %1, i32 %2, i32 %3) {
%5 = sext i32 %1 to i64
%6 = sext i32 %2 to i64
%7 = getelementptr inbounds [33 x i8], [33 x i8]* %0, i64 %5, i64 %6
%8 = load i8, i8* %7
%9 = icmp eq i8 %8, 0
br i1 %9, label %10, label %85
10: ; preds = %4
store i8 2, i8* %7
%11 = add nsw i32 %3, -1
%12 = icmp sgt i32 %11, %1
br i1 %12, label %13, label %21
13: ; preds = %10
%14 = add nsw i32 %1, 1
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds [33 x i8], [33 x i8]* %0, i64 %15, i64 %6
%17 = load i8, i8* %16
switch i8 %17, label %20 [
i8 1, label %21
i8 0, label %18
]
18: ; preds = %13
%19 = tail call i32 @walk([33 x i8]* %0, i32 %14, i32 %2, i32 %3)
br label %21
20: ; preds = %13
br label %21
21: ; preds = %13, %20, %18, %10
%22 = phi i32 [ %19, %18 ], [ 0, %10 ], [ 1, %13 ], [ 0, %20 ]
%23 = icmp sgt i32 %1, 0
br i1 %23, label %24, label %34
24: ; preds = %21
%25 = add nsw i32 %1, -1
%26 = zext i32 %25 to i64
%27 = getelementptr inbounds [33 x i8], [33 x i8]* %0, i64 %26, i64 %6
%28 = load i8, i8* %27
switch i8 %28, label %34 [
i8 1, label %29
i8 0, label %31
]
29: ; preds = %24
%30 = add nsw i32 %22, 1
br label %34
31: ; preds = %24
%32 = tail call i32 @walk([33 x i8]* %0, i32 %25, i32 %2, i32 %3)
%33 = add nsw i32 %32, %22
br label %34
34: ; preds = %24, %29, %31, %21
%35 = phi i32 [ %30, %29 ], [ %33, %31 ], [ %22, %21 ], [ %22, %24 ]
%36 = icmp sgt i32 %11, %2
br i1 %36, label %37, label %47
37: ; preds = %34
%38 = add nsw i32 %2, 1
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds [33 x i8], [33 x i8]* %0, i64 %5, i64 %39
%41 = load i8, i8* %40
switch i8 %41, label %47 [
i8 1, label %42
i8 0, label %44
]
42: ; preds = %37
%43 = add nsw i32 %35, 1
br label %47
44: ; preds = %37
%45 = tail call i32 @walk([33 x i8]* %0, i32 %1, i32 %38, i32 %3)
%46 = add nsw i32 %45, %35
br label %47
47: ; preds = %37, %42, %44, %34
%48 = phi i32 [ %43, %42 ], [ %46, %44 ], [ %35, %34 ], [ %35, %37 ]
%49 = icmp sgt i32 %2, 0
br i1 %49, label %50, label %60
50: ; preds = %47
%51 = add nsw i32 %2, -1
%52 = zext i32 %51 to i64
%53 = getelementptr inbounds [33 x i8], [33 x i8]* %0, i64 %5, i64 %52
%54 = load i8, i8* %53
switch i8 %54, label %60 [
i8 1, label %55
i8 0, label %57
]
55: ; preds = %50
%56 = add nsw i32 %48, 1
br label %60
57: ; preds = %50
%58 = tail call i32 @walk([33 x i8]* %0, i32 %1, i32 %51, i32 %3)
%59 = add nsw i32 %58, %48
br label %60
60: ; preds = %50, %55, %57, %47
%61 = phi i32 [ %56, %55 ], [ %59, %57 ], [ %48, %47 ], [ %48, %50 ]
%62 = icmp eq i32 %1, 0
%63 = icmp ne i32 %2, 0
%64 = and i1 %62, %63
br i1 %64, label %65, label %67
65: ; preds = %60
%66 = add nsw i32 %61, 1
br label %78
67: ; preds = %60
%68 = icmp eq i32 %11, %1
%69 = icmp ne i32 %11, %2
%70 = and i1 %68, %69
%71 = zext i1 %70 to i32
%72 = add nsw i32 %61, %71
%73 = icmp eq i32 %2, 0
%74 = icmp ne i32 %1, 0
%75 = and i1 %74, %73
br i1 %75, label %76, label %78
76: ; preds = %67
%77 = add nsw i32 %72, 1
br label %85
78: ; preds = %65, %67
%79 = phi i32 [ %66, %65 ], [ %72, %67 ]
%80 = icmp eq i32 %11, %2
%81 = icmp ne i32 %11, %1
%82 = and i1 %80, %81
%83 = zext i1 %82 to i32
%84 = add nsw i32 %79, %83
br label %85
85: ; preds = %78, %76, %4
%86 = phi i32 [ 0, %4 ], [ %77, %76 ], [ %84, %78 ]
ret i32 %86
}