int risolvi(int n, int mat[10][10], int valori[40]) {
  int i = 0, j = 0;
  int curMax = 0;
  int curVisibili = 0;
  for (i = 0; i < n; i++) {
    curVisibili = 0;
    curMax = 0;
    for (j = 0; j < n; j++) {
      if (mat[j][i] > curMax) {
        curMax = mat[j][i];
        curVisibili++;
      }
    }
    if (curVisibili != valori[i])
      return 0;
  }
  for (i = 0; i < n; i++) {
    curVisibili = 0;
    curMax = 0;
    for (j = 0; j < n; j++) {
      if (mat[i][n - j - 1] > curMax) {
        curMax = mat[i][n - j - 1];
        curVisibili++;
      }
    }
    if (curVisibili != valori[i + n])
      return 0;
  }
  for (i = 0; i < n; i++) {
    curVisibili = 0;
    curMax = 0;
    for (j = 0; j < n; j++) {
      if (mat[n - j - 1][n - i - 1] > curMax) {
        curMax = mat[n - j - 1][n - i - 1];
        curVisibili++;
      }
    }
    if (curVisibili != valori[i + 2 * n])
      return 0;
  }
  for (i = 0; i < n; i++) {
    curVisibili = 0;
    curMax = 0;
    for (j = 0; j < n; j++) {
      if (mat[n - i - 1][j] > curMax) {
        curMax = mat[n - i - 1][j];
        curVisibili++;
      }
    }
    if (curVisibili != valori[i + 3 * n])
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<risolvi>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11e6 <risolvi+0xe6>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11b3 <risolvi+0xb3>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x24(%rbp),%eax
jle    11a0 <risolvi+0xa0>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11a5 <risolvi+0xa5>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1153 <risolvi+0x53>
mov    -0x28(%rbp),%eax
mov    -0x18(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
je     11d3 <risolvi+0xd3>
movl   $0x0,-0x4(%rbp)
jmp    1475 <risolvi+0x375>
jmp    11d8 <risolvi+0xd8>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1132 <risolvi+0x32>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    12b6 <risolvi+0x1b6>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    127e <risolvi+0x17e>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
mov    -0x8(%rbp),%ecx
sub    -0x20(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x24(%rbp),%eax
jle    126b <risolvi+0x16b>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
mov    -0x8(%rbp),%ecx
sub    -0x20(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1270 <risolvi+0x170>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    120e <risolvi+0x10e>
mov    -0x28(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x1c(%rbp),%edx
add    -0x8(%rbp),%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
je     12a3 <risolvi+0x1a3>
movl   $0x0,-0x4(%rbp)
jmp    1475 <risolvi+0x375>
jmp    12a8 <risolvi+0x1a8>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11ed <risolvi+0xed>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    139b <risolvi+0x29b>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    135e <risolvi+0x25e>
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%ecx
sub    -0x20(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
mov    -0x8(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x24(%rbp),%eax
jle    134b <risolvi+0x24b>
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%ecx
sub    -0x20(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
mov    -0x8(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1350 <risolvi+0x250>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12de <risolvi+0x1de>
mov    -0x28(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x1c(%rbp),%edx
mov    -0x8(%rbp),%esi
shl    $0x1,%esi
add    %esi,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
je     1388 <risolvi+0x288>
movl   $0x0,-0x4(%rbp)
jmp    1475 <risolvi+0x375>
jmp    138d <risolvi+0x28d>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    12bd <risolvi+0x1bd>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    146e <risolvi+0x36e>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1433 <risolvi+0x333>
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x24(%rbp),%eax
jle    1420 <risolvi+0x320>
mov    -0x10(%rbp),%rax
mov    -0x8(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1425 <risolvi+0x325>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    13c3 <risolvi+0x2c3>
mov    -0x28(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    -0x1c(%rbp),%edx
imul   $0x3,-0x8(%rbp),%esi
add    %esi,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
je     145b <risolvi+0x35b>
movl   $0x0,-0x4(%rbp)
jmp    1475 <risolvi+0x375>
jmp    1460 <risolvi+0x360>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    13a2 <risolvi+0x2a2>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<risolvi>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    $0x1,%eax
test   %edi,%edi
jle    1477 <risolvi+0x377>
mov    %edi,%r10d
lea    -0x1(%r10),%rax
mov    %rax,-0x10(%rsp)
mov    %r10d,%r14d
and    $0xfffffffe,%r14d
xor    %r11d,%r11d
mov    %rsi,%r9
cmpq   $0x0,-0x10(%rsp)
je     11c0 <risolvi+0xc0>
xor    %r15d,%r15d
mov    %r9,%rbp
xor    %ebx,%ebx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
mov    0x0(%rbp),%r12d
mov    0x28(%rbp),%r13d
xor    %r8d,%r8d
cmp    %ecx,%r12d
setg   %r8b
cmovg  %r12d,%ecx
add    %ebx,%r8d
xor    %ebx,%ebx
cmp    %ecx,%r13d
setg   %bl
cmovg  %r13d,%ecx
add    %r8d,%ebx
add    $0x2,%r15
add    $0x50,%rbp
cmp    %r15,%r14
jne    1150 <risolvi+0x50>
test   $0x1,%r10b
je     119f <risolvi+0x9f>
lea    (%r15,%r15,4),%rbp
lea    (%rsi,%rbp,8),%rbp
xor    %eax,%eax
cmp    %ecx,0x0(%rbp,%r11,4)
setg   %al
add    %eax,%ebx
cmp    (%rdx,%r11,4),%ebx
jne    146e <risolvi+0x36e>
add    $0x1,%r11
add    $0x4,%r9
cmp    %r10,%r11
jne    1130 <risolvi+0x30>
jmp    11cf <risolvi+0xcf>
nopl   0x0(%rax)
xor    %r15d,%r15d
xor    %ebx,%ebx
xor    %ecx,%ecx
test   $0x1,%r10b
jne    118b <risolvi+0x8b>
jmp    119f <risolvi+0x9f>
test   %edi,%edi
jle    1472 <risolvi+0x372>
mov    %r10d,%r11d
and    $0xfffffffe,%r11d
lea    -0x1(%rdi),%r9d
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
nop
cmpq   $0x0,-0x10(%rsp)
je     12a0 <risolvi+0x1a0>
xor    %r15d,%r15d
mov    %r9d,%ecx
xor    %ebp,%ebp
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
movslq %ecx,%rcx
lea    (%r14,%r14,4),%rax
lea    (%rsi,%rax,8),%r8
mov    (%r8,%rcx,4),%r12d
xor    %eax,%eax
cmp    %ebx,%r12d
setg   %al
cmovg  %r12d,%ebx
add    %ebp,%eax
mov    %r15d,%ebp
xor    $0xfffffffe,%ebp
add    %edi,%ebp
movslq %ebp,%rbp
mov    (%r8,%rbp,4),%r8d
xor    %ebp,%ebp
cmp    %ebx,%r8d
setg   %bpl
cmovg  %r8d,%ebx
add    %eax,%ebp
add    $0x2,%r15
add    $0xfffffffe,%ecx
cmp    %r15,%r11
jne    1210 <risolvi+0x110>
test   $0x1,%r10b
je     1279 <risolvi+0x179>
not    %r15d
add    %edi,%r15d
movslq %r15d,%r8
lea    (%r14,%r14,4),%rcx
lea    (%rsi,%rcx,8),%rcx
xor    %eax,%eax
cmp    %ebx,(%rcx,%r8,4)
setg   %al
add    %eax,%ebp
lea    (%r14,%r10,1),%rax
cmp    (%rdx,%rax,4),%ebp
jne    146e <risolvi+0x36e>
add    $0x1,%r14
cmp    %r10,%r14
jne    11f0 <risolvi+0xf0>
jmp    12af <risolvi+0x1af>
cs nopw 0x0(%rax,%rax,1)
nop
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %ebx,%ebx
test   $0x1,%r10b
jne    125d <risolvi+0x15d>
jmp    1279 <risolvi+0x179>
test   %edi,%edi
jle    1472 <risolvi+0x372>
lea    (%rdi,%rdi,1),%eax
movslq %eax,%r9
mov    %r10d,%r15d
and    $0xfffffffe,%r15d
lea    -0x1(%rdi),%r11d
xor    %r14d,%r14d
nopl   0x0(%rax,%rax,1)
mov    %r14d,%eax
not    %eax
add    %edi,%eax
movslq %eax,%r12
cmpq   $0x0,-0x10(%rsp)
je     1380 <risolvi+0x280>
xor    %r13d,%r13d
mov    %r11d,%ebx
xor    %ecx,%ecx
xor    %ebp,%ebp
movslq %ebx,%rbx
lea    (%rbx,%rbx,4),%rax
lea    (%rsi,%rax,8),%rax
mov    (%rax,%r12,4),%r8d
xor    %eax,%eax
cmp    %ebp,%r8d
setg   %al
cmovg  %r8d,%ebp
add    %ecx,%eax
mov    %r13d,%ecx
xor    $0xfffffffe,%ecx
add    %edi,%ecx
movslq %ecx,%rcx
lea    (%rcx,%rcx,4),%rcx
lea    (%rsi,%rcx,8),%rcx
mov    (%rcx,%r12,4),%r8d
xor    %ecx,%ecx
cmp    %ebp,%r8d
setg   %cl
cmovg  %r8d,%ebp
add    %eax,%ecx
add    $0x2,%r13
add    $0xfffffffe,%ebx
cmp    %r13,%r15
jne    12f0 <risolvi+0x1f0>
test   $0x1,%r10b
je     1360 <risolvi+0x260>
not    %r13d
add    %edi,%r13d
movslq %r13d,%rax
lea    (%rax,%rax,4),%rax
lea    (%rsi,%rax,8),%rax
xor    %ebx,%ebx
cmp    %ebp,(%rax,%r12,4)
setg   %bl
add    %ebx,%ecx
lea    (%r14,%r9,1),%rax
cmp    (%rdx,%rax,4),%ecx
jne    146e <risolvi+0x36e>
add    $0x1,%r14
cmp    %r10,%r14
jne    12d0 <risolvi+0x1d0>
jmp    138f <risolvi+0x28f>
nopl   0x0(%rax)
xor    %r13d,%r13d
xor    %ecx,%ecx
xor    %ebp,%ebp
test   $0x1,%r10b
jne    1344 <risolvi+0x244>
jmp    1360 <risolvi+0x260>
test   %edi,%edi
jle    1472 <risolvi+0x372>
lea    (%rdi,%rdi,2),%eax
movslq %eax,%r11
mov    %r10d,%r12d
and    $0xfffffffe,%r12d
lea    0x4(%rsi),%rax
mov    %rax,-0x8(%rsp)
lea    -0x1(%rdi),%r14d
xor    %r15d,%r15d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmpq   $0x0,-0x10(%rsp)
je     1460 <risolvi+0x360>
movslq %r14d,%rax
lea    (%rax,%rax,4),%rax
mov    -0x8(%rsp),%rcx
lea    (%rcx,%rax,8),%r13
xor    %ecx,%ecx
xor    %ebp,%ebp
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    -0x4(%r13,%rcx,4),%eax
mov    0x0(%r13,%rcx,4),%r8d
xor    %r9d,%r9d
cmp    %ebx,%eax
setg   %r9b
cmovg  %eax,%ebx
add    %ebp,%r9d
xor    %ebp,%ebp
cmp    %ebx,%r8d
cmovg  %r8d,%ebx
setg   %bpl
add    %r9d,%ebp
add    $0x2,%rcx
cmp    %rcx,%r12
jne    13f0 <risolvi+0x2f0>
test   $0x1,%r10b
je     1444 <risolvi+0x344>
mov    %r15d,%eax
not    %eax
add    %edi,%eax
cltq
lea    (%rax,%rax,4),%rax
lea    (%rsi,%rax,8),%r8
xor    %eax,%eax
cmp    %ebx,(%r8,%rcx,4)
setg   %al
add    %eax,%ebp
lea    (%r15,%r11,1),%rax
cmp    (%rdx,%rax,4),%ebp
jne    146e <risolvi+0x36e>
add    $0x1,%r15
add    $0xffffffff,%r14d
cmp    %r10,%r15
jne    13c0 <risolvi+0x2c0>
jmp    1472 <risolvi+0x372>
xor    %ecx,%ecx
xor    %ebp,%ebp
xor    %ebx,%ebx
test   $0x1,%r10b
jne    1428 <risolvi+0x328>
jmp    1444 <risolvi+0x344>
xor    %eax,%eax
jmp    1477 <risolvi+0x377>
mov    $0x1,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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