int punicaoR(int *v, int ini, int fim, int tam, int tmp, int faixas) {
  int esq = 0, dir = 0, i, m = (ini + fim) / 2, mem;
  if (0) {
    char str[5];
    sprintf(str, "%3d ", tmp);
    print2Spc(m, str);
    printf("\n");
  }
  if (v[m] == tmp) {
    for (i = 1; i < faixas && faixas + i < tam; i++, dir++)
      if (v[m + i] != tmp)
        break;
    for (i = 1; i < faixas && faixas - i > 0; i++, esq++)
      if (v[m - i] != tmp)
        break;
    if (dir + esq + 2 > faixas) {
      if (m + dir + 1 < tam) {
        mem = punicaoR(v, m + dir + 1,
                       (m + dir + 1 + 3 * 1 * faixas < tam
                            ? m + dir + 3 * 1 * faixas
                            : tam - 1),
                       tam, tmp + 3 * 1, faixas);
        if (mem == -1)
          return -1;
        return 3 * 1 + mem;
      } else {
        memcpy(v, v + 1, (tam - 1) * sizeof(int));
        v[tam - 1] = tmp + 3;
        return 3 * 1;
      }
    } else {
      memcpy(v, v + 1, m * sizeof(int));
      v[m] = tmp;
      return 0;
    }
  } else if (ini == fim && v[ini] != tmp) {
    if (v[ini] < tmp) {
      memcpy(v, v + 1, ini * sizeof(int));
      v[ini] = tmp;
    } else if (v[ini] > tmp) {
      if (ini == 0)
        return -1;
      memcpy(v, v + 1, (ini) * sizeof(int));
      v[ini - 1] = tmp;
    }
    return 0;
  } else if (v[m] < tmp) {
    mem = punicaoR(v, m + 1, fim, tam, tmp, faixas);
    if (mem == -1)
      return -1;
    return mem;
  } else {
    mem = punicaoR(v, ini, m, tam, tmp, faixas);
    if (mem == -1)
      return -1;
    return mem;
  }
}


x86 assembly (clang, -O0):
<punicaoR>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
jne    1377 <punicaoR+0x257>
movl   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%ecx
xor    %eax,%eax
cmp    -0x24(%rbp),%ecx
mov    %al,-0x39(%rbp)
jge    1197 <punicaoR+0x77>
mov    -0x24(%rbp),%eax
add    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
setl   %al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    11a7 <punicaoR+0x87>
jmp    11e1 <punicaoR+0xc1>
mov    -0x10(%rbp),%rax
mov    -0x34(%rbp),%ecx
add    -0x30(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
je     11c5 <punicaoR+0xa5>
jmp    11e1 <punicaoR+0xc1>
jmp    11ca <punicaoR+0xaa>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1177 <punicaoR+0x57>
movl   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%ecx
xor    %eax,%eax
cmp    -0x24(%rbp),%ecx
mov    %al,-0x3a(%rbp)
jge    1208 <punicaoR+0xe8>
mov    -0x24(%rbp),%eax
sub    -0x30(%rbp),%eax
cmp    $0x0,%eax
setg   %al
mov    %al,-0x3a(%rbp)
mov    -0x3a(%rbp),%al
test   $0x1,%al
jne    1218 <punicaoR+0xf8>
jmp    1252 <punicaoR+0x132>
mov    -0x10(%rbp),%rax
mov    -0x34(%rbp),%ecx
sub    -0x30(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
je     1236 <punicaoR+0x116>
jmp    1252 <punicaoR+0x132>
jmp    123b <punicaoR+0x11b>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11e8 <punicaoR+0xc8>
mov    -0x2c(%rbp),%eax
add    -0x28(%rbp),%eax
add    $0x2,%eax
cmp    -0x24(%rbp),%eax
jle    1344 <punicaoR+0x224>
mov    -0x34(%rbp),%eax
add    -0x2c(%rbp),%eax
add    $0x1,%eax
cmp    -0x1c(%rbp),%eax
jge    1304 <punicaoR+0x1e4>
mov    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x34(%rbp),%eax
add    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x34(%rbp),%eax
add    -0x2c(%rbp),%eax
add    $0x1,%eax
imul   $0x3,-0x24(%rbp),%ecx
add    %ecx,%eax
cmp    -0x1c(%rbp),%eax
jge    12b6 <punicaoR+0x196>
mov    -0x34(%rbp),%eax
add    -0x2c(%rbp),%eax
imul   $0x3,-0x24(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x4c(%rbp)
jmp    12bf <punicaoR+0x19f>
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x40(%rbp),%esi
mov    -0x48(%rbp),%rdi
mov    -0x4c(%rbp),%edx
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%r8d
add    $0x3,%r8d
mov    -0x24(%rbp),%r9d
call   1030 <punicaoR@plt>
mov    %eax,-0x38(%rbp)
cmpl   $0xffffffff,-0x38(%rbp)
jne    12f6 <punicaoR+0x1d6>
movl   $0xffffffff,-0x4(%rbp)
jmp    14cc <punicaoR+0x3ac>
mov    -0x38(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x4(%rbp)
jmp    14cc <punicaoR+0x3ac>
mov    -0x10(%rbp),%rdi
mov    -0x10(%rbp),%rsi
add    $0x4,%rsi
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rdx
shl    $0x2,%rdx
call   1040 <memcpy@plt>
mov    -0x20(%rbp),%edx
add    $0x3,%edx
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x3,-0x4(%rbp)
jmp    14cc <punicaoR+0x3ac>
mov    -0x10(%rbp),%rdi
mov    -0x10(%rbp),%rsi
add    $0x4,%rsi
movslq -0x34(%rbp),%rdx
shl    $0x2,%rdx
call   1040 <memcpy@plt>
mov    -0x20(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
movl   $0x0,-0x4(%rbp)
jmp    14cc <punicaoR+0x3ac>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    143e <punicaoR+0x31e>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
je     143e <punicaoR+0x31e>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
jge    13d7 <punicaoR+0x2b7>
mov    -0x10(%rbp),%rdi
mov    -0x10(%rbp),%rsi
add    $0x4,%rsi
movslq -0x14(%rbp),%rdx
shl    $0x2,%rdx
call   1040 <memcpy@plt>
mov    -0x20(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1432 <punicaoR+0x312>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
jle    142d <punicaoR+0x30d>
cmpl   $0x0,-0x14(%rbp)
jne    1401 <punicaoR+0x2e1>
movl   $0xffffffff,-0x4(%rbp)
jmp    14cc <punicaoR+0x3ac>
mov    -0x10(%rbp),%rdi
mov    -0x10(%rbp),%rsi
add    $0x4,%rsi
movslq -0x14(%rbp),%rdx
shl    $0x2,%rdx
call   1040 <memcpy@plt>
mov    -0x20(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1432 <punicaoR+0x312>
movl   $0x0,-0x4(%rbp)
jmp    14cc <punicaoR+0x3ac>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
jge    1493 <punicaoR+0x373>
mov    -0x10(%rbp),%rdi
mov    -0x34(%rbp),%esi
add    $0x1,%esi
mov    -0x18(%rbp),%edx
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%r8d
mov    -0x24(%rbp),%r9d
call   1030 <punicaoR@plt>
mov    %eax,-0x38(%rbp)
cmpl   $0xffffffff,-0x38(%rbp)
jne    1488 <punicaoR+0x368>
movl   $0xffffffff,-0x4(%rbp)
jmp    14cc <punicaoR+0x3ac>
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    14cc <punicaoR+0x3ac>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x34(%rbp),%edx
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%r8d
mov    -0x24(%rbp),%r9d
call   1030 <punicaoR@plt>
mov    %eax,-0x38(%rbp)
cmpl   $0xffffffff,-0x38(%rbp)
jne    14c6 <punicaoR+0x3a6>
movl   $0xffffffff,-0x4(%rbp)
jmp    14cc <punicaoR+0x3ac>
mov    -0x38(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<punicaoR>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r8d,%r12d
mov    %rdi,%r14
lea    (%rdx,%rsi,1),%edi
mov    %edi,%eax
shr    $0x1f,%eax
add    %edi,%eax
sar    %eax
movslq %eax,%rbp
mov    (%r14,%rbp,4),%edi
cmp    %r8d,%edi
jne    11de <punicaoR+0xbe>
xor    %edx,%edx
movslq %eax,%r8
mov    $0x0,%ebx
cmp    $0x2,%r9d
jl     1200 <punicaoR+0xe0>
lea    0x1(%r9),%esi
mov    $0x0,%ebx
cmp    %ecx,%esi
jge    1200 <punicaoR+0xe0>
mov    %r9d,%r11d
movslq %ecx,%r10
lea    (%r14,%r8,4),%r13
add    $0x4,%r13
lea    0x2(%r11),%r15
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
cmp    %r12d,0x0(%r13,%rdi,4)
jne    11fe <punicaoR+0xde>
lea    0x2(%rdi),%rsi
lea    0x1(%rdi),%rbx
cmp    %r11,%rsi
jae    1200 <punicaoR+0xe0>
add    %r15,%rdi
cmp    %r10,%rdi
mov    %rbx,%rdi
jl     1190 <punicaoR+0x70>
jmp    1200 <punicaoR+0xe0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %eax,%edx
lea    (%rdx,%rsi,1),%edi
mov    %edi,%eax
shr    $0x1f,%eax
add    %edi,%eax
sar    %eax
movslq %eax,%rbp
mov    (%r14,%rbp,4),%edi
cmp    %r12d,%edi
je     114d <punicaoR+0x2d>
cmp    %edx,%esi
jne    11f2 <punicaoR+0xd2>
movslq %edx,%rbp
mov    (%r14,%rbp,4),%ebx
cmp    %r12d,%ebx
jne    129d <punicaoR+0x17d>
cmp    %r12d,%edi
jge    11c0 <punicaoR+0xa0>
add    $0x1,%eax
mov    %eax,%esi
jmp    11c2 <punicaoR+0xa2>
mov    %edi,%ebx
cmp    $0x2,%r9d
jl     1232 <punicaoR+0x112>
lea    -0x1(%r9),%esi
lea    (%r14,%r8,4),%rdi
add    $0xfffffffffffffffc,%rdi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    %r12d,(%rdi)
jne    1232 <punicaoR+0x112>
add    $0x1,%edx
add    $0xfffffffffffffffc,%rdi
cmp    %edx,%esi
jne    1220 <punicaoR+0x100>
mov    %esi,%edx
add    %ebx,%edx
add    $0x2,%edx
cmp    %r9d,%edx
jle    129f <punicaoR+0x17f>
lea    (%rbx,%rax,1),%esi
add    $0x1,%esi
cmp    %ecx,%esi
jge    1275 <punicaoR+0x155>
add    %eax,%ebx
lea    (%r9,%r9,2),%eax
lea    (%rsi,%rax,1),%edi
add    %eax,%ebx
lea    -0x1(%rcx),%edx
cmp    %ecx,%edi
cmovl  %ebx,%edx
add    $0x3,%r12d
mov    %r14,%rdi
mov    %r12d,%r8d
call   1030 <punicaoR@plt>
lea    0x3(%rax),%r15d
cmp    $0xffffffff,%eax
cmove  %eax,%r15d
jmp    12ba <punicaoR+0x19a>
lea    0x4(%r14),%rsi
movslq %ecx,%rbx
lea    -0x4(,%rbx,4),%rdx
ff
mov    %r14,%rdi
call   1040 <memcpy@plt>
add    $0x3,%r12d
mov    %r12d,-0x4(%r14,%rbx,4)
mov    $0x3,%r15d
jmp    12ba <punicaoR+0x19a>
jge    12cc <punicaoR+0x1ac>
lea    0x4(%r14),%rsi
lea    0x0(,%rbp,4),%rdx
mov    %r14,%rdi
call   1040 <memcpy@plt>
mov    %r12d,(%r14,%rbp,4)
xor    %r15d,%r15d
mov    %r15d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %r15d,%r15d
cmp    %r12d,%ebx
jle    12ba <punicaoR+0x19a>
test   %edx,%edx
je     12f3 <punicaoR+0x1d3>
lea    0x4(%r14),%rsi
lea    0x0(,%rbp,4),%rdx
mov    %r14,%rdi
call   1040 <memcpy@plt>
mov    %r12d,-0x4(%r14,%rbp,4)
jmp    12ba <punicaoR+0x19a>
mov    $0xffffffff,%r15d
jmp    12ba <punicaoR+0x19a>

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

LLVM IR (-O2):
define i32 @punicaoR(i32* %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5) {
%7 = add nsw i32 %2, %1
%8 = sdiv i32 %7, 2
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds i32, i32* %0, i64 %9
%11 = load i32, i32* %10
%12 = icmp eq i32 %11, %4
br i1 %12, label %13, label %92
13: ; preds = %123, %6
%14 = phi i64 [ %9, %6 ], [ %130, %123 ]
%15 = phi i32 [ %8, %6 ], [ %129, %123 ]
%16 = getelementptr inbounds i32, i32* %0, i64 %14
%17 = icmp sgt i32 %5, 1
%18 = add nsw i32 %5, 1
%19 = icmp slt i32 %18, %3
%20 = select i1 %17, i1 %19, i1 false
br i1 %20, label %21, label %39
21: ; preds = %13
%22 = sext i32 %15 to i64
%23 = zext i32 %5 to i64
%24 = sext i32 %3 to i64
br label %25
25: ; preds = %21, %32
%26 = phi i64 [ 1, %21 ], [ %33, %32 ]
%27 = phi i32 [ 0, %21 ], [ %34, %32 ]
%28 = add nsw i64 %26, %22
%29 = getelementptr inbounds i32, i32* %0, i64 %28
%30 = load i32, i32* %29
%31 = icmp eq i32 %30, %4
br i1 %31, label %32, label %39
32: ; preds = %25
%33 = add nuw nsw i64 %26, 1
%34 = add nuw nsw i32 %27, 1
%35 = icmp ult i64 %33, %23
%36 = add nuw nsw i64 %33, %23
%37 = icmp slt i64 %36, %24
%38 = select i1 %35, i1 %37, i1 false
br i1 %38, label %25, label %39
39: ; preds = %25, %32, %13
%40 = phi i32 [ 0, %13 ], [ %34, %32 ], [ %27, %25 ]
br i1 %17, label %41, label %55
41: ; preds = %39
%42 = sext i32 %15 to i64
%43 = add nsw i32 %5, -1
br label %44
44: ; preds = %41, %51
%45 = phi i64 [ 1, %41 ], [ %52, %51 ]
%46 = phi i32 [ 0, %41 ], [ %53, %51 ]
%47 = sub nsw i64 %42, %45
%48 = getelementptr inbounds i32, i32* %0, i64 %47
%49 = load i32, i32* %48
%50 = icmp eq i32 %49, %4
br i1 %50, label %51, label %55
51: ; preds = %44
%52 = add nuw nsw i64 %45, 1
%53 = add nuw nsw i32 %46, 1
%54 = icmp eq i32 %53, %43
br i1 %54, label %55, label %44
55: ; preds = %51, %44, %39
%56 = phi i32 [ 0, %39 ], [ %46, %44 ], [ %43, %51 ]
%57 = add i32 %40, 2
%58 = add i32 %57, %56
%59 = icmp sgt i32 %58, %5
br i1 %59, label %60, label %87
60: ; preds = %55
%61 = add nsw i32 %40, %15
%62 = add nsw i32 %61, 1
%63 = icmp slt i32 %62, %3
br i1 %63, label %66, label %78
64: ; preds = %78, %87, %113, %111, %115, %105, %66
%65 = phi i32 [ %77, %66 ], [ 3, %78 ], [ 0, %87 ], [ -1, %113 ], [ 0, %111 ], [ 0, %115 ], [ 0, %105 ]
ret i32 %65
66: ; preds = %60
%67 = mul nsw i32 %5, 3
%68 = add nsw i32 %62, %67
%69 = icmp slt i32 %68, %3
%70 = add nsw i32 %61, %67
%71 = add nsw i32 %3, -1
%72 = select i1 %69, i32 %70, i32 %71
%73 = add nsw i32 %4, 3
%74 = tail call i32 @punicaoR(i32* %0, i32 %62, i32 %72, i32 %3, i32 %73, i32 %5)
%75 = icmp eq i32 %74, -1
%76 = add nsw i32 %74, 3
%77 = select i1 %75, i32 -1, i32 %76
br label %64
78: ; preds = %60
%79 = bitcast i32* %0 to i8*
%80 = getelementptr inbounds i32, i32* %0, i64 1
%81 = bitcast i32* %80 to i8*
%82 = add nsw i32 %3, -1
%83 = sext i32 %82 to i64
%84 = shl nsw i64 %83, 2
tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %79, i8* align 4 %81, i64 %84, i1 false)
%85 = add nsw i32 %4, 3
%86 = getelementptr inbounds i32, i32* %0, i64 %83
store i32 %85, i32* %86
br label %64
87: ; preds = %55
%88 = bitcast i32* %0 to i8*
%89 = getelementptr inbounds i32, i32* %0, i64 1
%90 = bitcast i32* %89 to i8*
%91 = shl nsw i64 %14, 2
tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %88, i8* align 4 %90, i64 %91, i1 false)
store i32 %4, i32* %16
br label %64
92: ; preds = %6, %123
%93 = phi i32 [ %132, %123 ], [ %11, %6 ]
%94 = phi i32 [ %129, %123 ], [ %8, %6 ]
%95 = phi i32 [ %127, %123 ], [ %2, %6 ]
%96 = phi i32 [ %126, %123 ], [ %1, %6 ]
%97 = icmp eq i32 %96, %95
br i1 %97, label %98, label %123
98: ; preds = %92
%99 = sext i32 %95 to i64
%100 = getelementptr inbounds i32, i32* %0, i64 %99
%101 = load i32, i32* %100
%102 = icmp eq i32 %101, %4
br i1 %102, label %123, label %103
103: ; preds = %98
%104 = icmp slt i32 %101, %4
br i1 %104, label %105, label %111
105: ; preds = %103
%106 = getelementptr inbounds i32, i32* %0, i64 %99
%107 = bitcast i32* %0 to i8*
%108 = getelementptr inbounds i32, i32* %0, i64 1
%109 = bitcast i32* %108 to i8*
%110 = shl nsw i64 %99, 2
tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %107, i8* align 4 %109, i64 %110, i1 false)
store i32 %4, i32* %106
br label %64
111: ; preds = %103
%112 = icmp sgt i32 %101, %4
br i1 %112, label %113, label %64
113: ; preds = %111
%114 = icmp eq i32 %95, 0
br i1 %114, label %64, label %115
115: ; preds = %113
%116 = bitcast i32* %0 to i8*
%117 = getelementptr inbounds i32, i32* %0, i64 1
%118 = bitcast i32* %117 to i8*
%119 = shl nsw i64 %99, 2
tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %116, i8* align 4 %118, i64 %119, i1 false)
%120 = add nsw i32 %95, -1
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds i32, i32* %0, i64 %121
store i32 %4, i32* %122
br label %64
123: ; preds = %98, %92
%124 = icmp slt i32 %93, %4
%125 = add nsw i32 %94, 1
%126 = select i1 %124, i32 %125, i32 %96
%127 = select i1 %124, i32 %95, i32 %94
%128 = add nsw i32 %127, %126
%129 = sdiv i32 %128, 2
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i32, i32* %0, i64 %130
%132 = load i32, i32* %131
%133 = icmp eq i32 %132, %4
br i1 %133, label %13, label %92
}