int f2(int M[6][156]) {
  int trovato, count = 0;
  for (int n = 1; n <= 90; n++) {
    trovato = 0;
    for (int i = 0; i < 156 && trovato == 0; i++) {
      for (int j = 0; j < 6 && trovato == 0; j++) {
        if (M[j][i] == n)
          trovato = 1;
      }
    }
    if (trovato == 0)
      count++;
  }
  return count;
}


x86 assembly (clang, -O0):
<f2>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x1,-0x14(%rbp)
cmpl   $0x5a,-0x14(%rbp)
jg     11ff <f2+0xff>
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x18(%rbp)
xor    %eax,%eax
cmpl   $0x9c,-0x18(%rbp)
mov    %al,-0x1d(%rbp)
jge    114a <f2+0x4a>
cmpl   $0x0,-0xc(%rbp)
sete   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    115a <f2+0x5a>
jmp    11d9 <f2+0xd9>
movl   $0x0,-0x1c(%rbp)
xor    %eax,%eax
cmpl   $0x6,-0x1c(%rbp)
mov    %al,-0x1e(%rbp)
jge    117a <f2+0x7a>
cmpl   $0x0,-0xc(%rbp)
sete   %al
mov    %al,-0x1e(%rbp)
mov    -0x1e(%rbp),%al
test   $0x1,%al
jne    118a <f2+0x8a>
jmp    11c6 <f2+0xc6>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   $0x270,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jne    11b3 <f2+0xb3>
movl   $0x1,-0xc(%rbp)
jmp    11b8 <f2+0xb8>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1161 <f2+0x61>
jmp    11cb <f2+0xcb>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    112e <f2+0x2e>
cmpl   $0x0,-0xc(%rbp)
jne    11ec <f2+0xec>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11f1 <f2+0xf1>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1116 <f2+0x16>
mov    -0x10(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<f2>:
xor    %eax,%eax
mov    $0x1,%r8d
jmp    1122 <f2+0x22>
nopw   0x0(%rax,%rax,1)
xor    $0x1,%cl
movzbl %cl,%ecx
add    %ecx,%eax
add    $0x1,%r8d
cmp    $0x5b,%r8d
je     1199 <f2+0x99>
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    %r8d,(%rdi,%rdx,4)
sete   %cl
je     1180 <f2+0x80>
cmp    %r8d,0x270(%rdi,%rdx,4)
sete   %cl
je     1180 <f2+0x80>
cmp    %r8d,0x4e0(%rdi,%rdx,4)
sete   %cl
je     1180 <f2+0x80>
cmp    %r8d,0x750(%rdi,%rdx,4)
sete   %cl
je     1180 <f2+0x80>
cmp    %r8d,0x9c0(%rdi,%rdx,4)
sete   %cl
je     1180 <f2+0x80>
cmp    %r8d,0xc30(%rdi,%rdx,4)
sete   %cl
nopl   0x0(%rax,%rax,1)
test   %cl,%cl
jne    1110 <f2+0x10>
lea    0x1(%rdx),%rsi
cmp    $0x9a,%rdx
mov    %rsi,%rdx
jbe    1130 <f2+0x30>
jmp    1110 <f2+0x10>
ret

LLVM IR (-O0):
define i32 @f2([156 x i32]* %0) {
%2 = alloca [156 x i32]*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store [156 x i32]* %0, [156 x i32]** %2
store i32 0, i32* %4
store i32 1, i32* %5
br label %8
8: ; preds = %56, %1
%9 = load i32, i32* %5
%10 = icmp sle i32 %9, 90
br i1 %10, label %11, label %59
11: ; preds = %8
store i32 0, i32* %3
store i32 0, i32* %6
br label %12
12: ; preds = %46, %11
%13 = load i32, i32* %6
%14 = icmp slt i32 %13, 156
br i1 %14, label %15, label %18
15: ; preds = %12
%16 = load i32, i32* %3
%17 = icmp eq i32 %16, 0
br label %18
18: ; preds = %15, %12
%19 = phi i1 [ false, %12 ], [ %17, %15 ]
br i1 %19, label %20, label %49
20: ; preds = %18
store i32 0, i32* %7
br label %21
21: ; preds = %42, %20
%22 = load i32, i32* %7
%23 = icmp slt i32 %22, 6
br i1 %23, label %24, label %27
24: ; preds = %21
%25 = load i32, i32* %3
%26 = icmp eq i32 %25, 0
br label %27
27: ; preds = %24, %21
%28 = phi i1 [ false, %21 ], [ %26, %24 ]
br i1 %28, label %29, label %45
29: ; preds = %27
%30 = load [156 x i32]*, [156 x i32]** %2
%31 = load i32, i32* %7
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds [156 x i32], [156 x i32]* %30, i64 %32
%34 = load i32, i32* %6
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds [156 x i32], [156 x i32]* %33, i64 0, i64 %35
%37 = load i32, i32* %36
%38 = load i32, i32* %5
%39 = icmp eq i32 %37, %38
br i1 %39, label %40, label %41
40: ; preds = %29
store i32 1, i32* %3
br label %41
41: ; preds = %40, %29
br label %42
42: ; preds = %41
%43 = load i32, i32* %7
%44 = add nsw i32 %43, 1
store i32 %44, i32* %7
br label %21
45: ; preds = %27
br label %46
46: ; preds = %45
%47 = load i32, i32* %6
%48 = add nsw i32 %47, 1
store i32 %48, i32* %6
br label %12
49: ; preds = %18
%50 = load i32, i32* %3
%51 = icmp eq i32 %50, 0
br i1 %51, label %52, label %55
52: ; preds = %49
%53 = load i32, i32* %4
%54 = add nsw i32 %53, 1
store i32 %54, i32* %4
br label %55
55: ; preds = %52, %49
br label %56
56: ; preds = %55
%57 = load i32, i32* %5
%58 = add nsw i32 %57, 1
store i32 %58, i32* %5
br label %8
59: ; preds = %8
%60 = load i32, i32* %4
ret i32 %60
}

LLVM IR (-O2):
define i32 @f2([156 x i32]* nocapture %0) {
br label %2
2: ; preds = %1, %11
%3 = phi i32 [ 1, %1 ], [ %15, %11 ]
%4 = phi i32 [ 0, %1 ], [ %14, %11 ]
br label %6
5: ; preds = %11
ret i32 %14
6: ; preds = %2, %17
%7 = phi i64 [ 0, %2 ], [ %19, %17 ]
%8 = getelementptr inbounds [156 x i32], [156 x i32]* %0, i64 0, i64 %7
%9 = load i32, i32* %8
%10 = icmp eq i32 %9, %3
br i1 %10, label %17, label %22
11: ; preds = %17
%12 = xor i1 %18, true
%13 = zext i1 %12 to i32
%14 = add nuw nsw i32 %4, %13
%15 = add nuw nsw i32 %3, 1
%16 = icmp eq i32 %15, 91
br i1 %16, label %5, label %2
17: ; preds = %38, %34, %30, %26, %22, %6
%18 = phi i1 [ %10, %6 ], [ %25, %22 ], [ %29, %26 ], [ %33, %30 ], [ %37, %34 ], [ %41, %38 ]
%19 = add nuw nsw i64 %7, 1
%20 = icmp ugt i64 %7, 154
%21 = or i1 %18, %20
br i1 %21, label %11, label %6
22: ; preds = %6
%23 = getelementptr inbounds [156 x i32], [156 x i32]* %0, i64 1, i64 %7
%24 = load i32, i32* %23
%25 = icmp eq i32 %24, %3
br i1 %25, label %17, label %26
26: ; preds = %22
%27 = getelementptr inbounds [156 x i32], [156 x i32]* %0, i64 2, i64 %7
%28 = load i32, i32* %27
%29 = icmp eq i32 %28, %3
br i1 %29, label %17, label %30
30: ; preds = %26
%31 = getelementptr inbounds [156 x i32], [156 x i32]* %0, i64 3, i64 %7
%32 = load i32, i32* %31
%33 = icmp eq i32 %32, %3
br i1 %33, label %17, label %34
34: ; preds = %30
%35 = getelementptr inbounds [156 x i32], [156 x i32]* %0, i64 4, i64 %7
%36 = load i32, i32* %35
%37 = icmp eq i32 %36, %3
br i1 %37, label %17, label %38
38: ; preds = %34
%39 = getelementptr inbounds [156 x i32], [156 x i32]* %0, i64 5, i64 %7
%40 = load i32, i32* %39
%41 = icmp eq i32 %40, %3
br label %17
}