void verifica_target(char maze[23][30], int target[2]) {
  if (maze[target[0]][target[1]] != ' ') {
    if (target[0] > 29) {
      target[0] = 28;
      if (maze[target[0]][target[1]] == '0') {
        if (maze[target[0]][target[1] + 1] == '0' &&
            maze[target[0]][target[1] - 1] == '0' &&
            maze[target[0] + 1][target[1]] == '0' &&
            maze[target[0] - 1][target[1]] == '0') {
          if (target[0] > 14) {
            target[0]--;
            verifica_target(maze, target);
          } else {
            if (target[0] < 14) {
              target[0]++;
              verifica_target(maze, target);
            }
          }
        }
      } else {
        maze[target[0]][target[1]] = 'T';
      }
    }
    if (target[1] > 22) {
      target[1] = 21;
      if (maze[target[0]][target[1]] == '0') {
        if (maze[target[0]][target[1] + 1] == '0' &&
            maze[target[0]][target[1] - 1] == '0' &&
            maze[target[0] + 1][target[1]] == '0' &&
            maze[target[0] - 1][target[1]] == '0') {
          if (target[0] > 11) {
            target[0]--;
            verifica_target(maze, target);
          } else {
            if (target[0] < 11) {
              target[0]++;
              verifica_target(maze, target);
            }
          }
        }
      } else {
        maze[target[0]][target[1]] = 'T';
      }
    }
  }
}


x86 assembly (clang, -O0):
<verifica_target>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq 0x4(%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     142c <verifica_target+0x31c>
mov    -0x10(%rbp),%rax
cmpl   $0x1d,(%rax)
jle    12b6 <verifica_target+0x1a6>
mov    -0x10(%rbp),%rax
movl   $0x1c,(%rax)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq 0x4(%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    1293 <verifica_target+0x183>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x4(%rcx),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    128e <verifica_target+0x17e>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x4(%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    128e <verifica_target+0x17e>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq 0x4(%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    128e <verifica_target+0x17e>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq 0x4(%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    128e <verifica_target+0x17e>
mov    -0x10(%rbp),%rax
cmpl   $0xe,(%rax)
jle    125f <verifica_target+0x14f>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0xffffffff,%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <verifica_target@plt>
jmp    1289 <verifica_target+0x179>
mov    -0x10(%rbp),%rax
cmpl   $0xe,(%rax)
jge    1284 <verifica_target+0x174>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <verifica_target@plt>
jmp    1289 <verifica_target+0x179>
jmp    128e <verifica_target+0x17e>
jmp    12b1 <verifica_target+0x1a1>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq 0x4(%rcx),%rcx
movb   $0x54,(%rax,%rcx,1)
jmp    12b6 <verifica_target+0x1a6>
mov    -0x10(%rbp),%rax
cmpl   $0x16,0x4(%rax)
jle    1427 <verifica_target+0x317>
mov    -0x10(%rbp),%rax
movl   $0x15,0x4(%rax)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq 0x4(%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    1404 <verifica_target+0x2f4>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x4(%rcx),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    13ff <verifica_target+0x2ef>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
mov    0x4(%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    13ff <verifica_target+0x2ef>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq 0x4(%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    13ff <verifica_target+0x2ef>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq 0x4(%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    13ff <verifica_target+0x2ef>
mov    -0x10(%rbp),%rax
cmpl   $0xb,(%rax)
jle    13d0 <verifica_target+0x2c0>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0xffffffff,%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <verifica_target@plt>
jmp    13fa <verifica_target+0x2ea>
mov    -0x10(%rbp),%rax
cmpl   $0xb,(%rax)
jge    13f5 <verifica_target+0x2e5>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <verifica_target@plt>
jmp    13fa <verifica_target+0x2ea>
jmp    13ff <verifica_target+0x2ef>
jmp    1422 <verifica_target+0x312>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
imul   $0x1e,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%rcx
movslq 0x4(%rcx),%rcx
movb   $0x54,(%rax,%rcx,1)
jmp    1427 <verifica_target+0x317>
jmp    142c <verifica_target+0x31c>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<verifica_target>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r14
movslq (%rsi),%rcx
mov    0x4(%rsi),%edx
movslq %edx,%rax
mov    %rcx,%rsi
shl    $0x5,%rsi
sub    %rcx,%rsi
sub    %rcx,%rsi
add    %rdi,%rsi
cmpb   $0x20,(%rax,%rsi,1)
jne    113e <verifica_target+0x2e>
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret
mov    %rdi,%rbx
jmp    1177 <verifica_target+0x67>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    -0x1(%rax),%ecx
mov    %rsi,%rdx
mov    %ecx,(%r14)
mov    %rdx,%rsi
shl    $0x5,%rsi
sub    %rdx,%rsi
sub    %rdx,%rsi
mov    $0x15,%edx
mov    $0x15,%eax
cmpb   $0x20,0x15(%rbx,%rsi,1)
je     1136 <verifica_target+0x26>
cmp    $0x1e,%ecx
jl     11d8 <verifica_target+0xc8>
movl   $0x1c,(%r14)
cmpb   $0x30,0x348(%rbx,%rax,1)
30
jne    11d0 <verifica_target+0xc0>
movslq %edx,%rcx
cmpb   $0x30,0x349(%rcx,%rbx,1)
30
jne    11d8 <verifica_target+0xc8>
cmpb   $0x30,0x347(%rcx,%rbx,1)
30
jne    11d8 <verifica_target+0xc8>
cmpb   $0x30,0x366(%rbx,%rax,1)
30
jne    11d8 <verifica_target+0xc8>
cmpb   $0x30,0x32a(%rbx,%rax,1)
30
jne    11d8 <verifica_target+0xc8>
movl   $0x1b,(%r14)
mov    %rbx,%rdi
mov    %r14,%rsi
call   1030 <verifica_target@plt>
jmp    11d8 <verifica_target+0xc8>
nopl   0x0(%rax)
movb   $0x54,0x348(%rbx,%rax,1)
54
cmpl   $0x17,0x4(%r14)
jl     1136 <verifica_target+0x26>
movl   $0x15,0x4(%r14)
movslq (%r14),%rax
mov    %rax,%rcx
shl    $0x5,%rcx
sub    %rax,%rcx
sub    %rax,%rcx
cmpb   $0x30,0x15(%rbx,%rcx,1)
jne    1269 <verifica_target+0x159>
cmpb   $0x30,0x16(%rbx,%rcx,1)
jne    1136 <verifica_target+0x26>
cmpb   $0x30,0x14(%rbx,%rcx,1)
jne    1136 <verifica_target+0x26>
lea    0x1(%rax),%rdx
mov    %rdx,%rcx
shl    $0x5,%rcx
sub    %rdx,%rcx
sub    %rdx,%rcx
cmpb   $0x30,0x15(%rbx,%rcx,1)
jne    1136 <verifica_target+0x26>
lea    -0x1(%rax),%rsi
mov    %rsi,%rcx
shl    $0x5,%rcx
sub    %rsi,%rcx
sub    %rsi,%rcx
cmpb   $0x30,0x15(%rbx,%rcx,1)
jne    1136 <verifica_target+0x26>
cmp    $0xc,%eax
jge    1150 <verifica_target+0x40>
mov    %edx,%ecx
cmp    $0xb,%eax
jne    1156 <verifica_target+0x46>
jmp    1136 <verifica_target+0x26>
lea    (%rbx,%rcx,1),%rax
add    $0x15,%rax
movb   $0x54,(%rax)
jmp    1136 <verifica_target+0x26>

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

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