int quantiUgualiConMergeLoop(int A[][10], int B[][10], int k) {
  int cont = 0, howMany = 0, i, numElem;
  int dn = 1;
  while (dn <= 2 * 10 - 1 && howMany < k) {
    i = 0;
    if (dn <= 10) {
      numElem = dn;
      while (i < numElem && howMany < k) {
        if (A[i][dn - 1 - i] == B[i][dn - 1 - i])
          cont++;
        howMany++;
        i++;
      }
    } else {
      numElem = 10 - (dn - 10);
      while (i < numElem && howMany < k) {
        if (A[dn - 10 + i][10 - 1 - i] == B[dn - 10 + i][10 - 1 - i])
          cont++;
        howMany++;
        i++;
      }
    }
    dn++;
  }
  return cont;
}


x86 assembly (clang, -O0):
<quantiUgualiConMergeLoop>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x1,-0x28(%rbp)
xor    %eax,%eax
cmpl   $0x13,-0x28(%rbp)
mov    %al,-0x29(%rbp)
jg     113f <quantiUgualiConMergeLoop+0x3f>
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
setl   %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    114f <quantiUgualiConMergeLoop+0x4f>
jmp    12ba <quantiUgualiConMergeLoop+0x1ba>
movl   $0x0,-0x20(%rbp)
cmpl   $0xa,-0x28(%rbp)
jg     11fa <quantiUgualiConMergeLoop+0xfa>
mov    -0x28(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
cmp    -0x24(%rbp),%ecx
mov    %al,-0x2a(%rbp)
jge    1183 <quantiUgualiConMergeLoop+0x83>
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
setl   %al
mov    %al,-0x2a(%rbp)
mov    -0x2a(%rbp),%al
test   $0x1,%al
jne    1193 <quantiUgualiConMergeLoop+0x93>
jmp    11f5 <quantiUgualiConMergeLoop+0xf5>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
mov    -0x28(%rbp),%ecx
sub    $0x1,%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
imul   $0x28,%rdx,%rdx
add    %rdx,%rcx
mov    -0x28(%rbp),%edx
sub    $0x1,%edx
sub    -0x20(%rbp),%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    11de <quantiUgualiConMergeLoop+0xde>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1166 <quantiUgualiConMergeLoop+0x66>
jmp    12ac <quantiUgualiConMergeLoop+0x1ac>
mov    -0x28(%rbp),%ecx
sub    $0xa,%ecx
mov    $0xa,%eax
sub    %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%ecx
xor    %eax,%eax
cmp    -0x24(%rbp),%ecx
mov    %al,-0x2b(%rbp)
jge    1227 <quantiUgualiConMergeLoop+0x127>
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
setl   %al
mov    %al,-0x2b(%rbp)
mov    -0x2b(%rbp),%al
test   $0x1,%al
jne    1237 <quantiUgualiConMergeLoop+0x137>
jmp    12a7 <quantiUgualiConMergeLoop+0x1a7>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
sub    $0xa,%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
mov    $0x9,%ecx
sub    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
mov    -0x28(%rbp),%edx
sub    $0xa,%edx
add    -0x20(%rbp),%edx
movslq %edx,%rdx
imul   $0x28,%rdx,%rdx
add    %rdx,%rcx
mov    $0x9,%edx
sub    -0x20(%rbp),%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1290 <quantiUgualiConMergeLoop+0x190>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    120a <quantiUgualiConMergeLoop+0x10a>
jmp    12ac <quantiUgualiConMergeLoop+0x1ac>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1124 <quantiUgualiConMergeLoop+0x24>
mov    -0x18(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<quantiUgualiConMergeLoop>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
test   %edx,%edx
jle    1206 <quantiUgualiConMergeLoop+0x106>
lea    -0x144(%rdi),%r8
lea    -0x144(%rsi),%r10
xor    %r9d,%r9d
mov    $0x1,%r11d
xor    %eax,%eax
nopl   0x0(%rax)
cmp    $0xa,%r11
ja     1190 <quantiUgualiConMergeLoop+0x90>
cmp    %edx,%r9d
jge    11e1 <quantiUgualiConMergeLoop+0xe1>
mov    %r9d,%r14d
mov    $0x1,%ebx
xor    %ecx,%ecx
nopl   0x0(%rax)
mov    %eax,%r15d
mov    (%rdi,%rcx,1),%ebp
xor    %eax,%eax
cmp    (%rsi,%rcx,1),%ebp
sete   %al
add    %r15d,%eax
lea    0x1(%rbx),%r15
cmp    %r11,%rbx
jae    1178 <quantiUgualiConMergeLoop+0x78>
add    %r14d,%ebx
add    $0x24,%rcx
cmp    %edx,%ebx
mov    %r15,%rbx
jl     1150 <quantiUgualiConMergeLoop+0x50>
add    %r15d,%r9d
add    $0xffffffff,%r9d
jmp    11e1 <quantiUgualiConMergeLoop+0xe1>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    %edx,%r9d
jge    11e1 <quantiUgualiConMergeLoop+0xe1>
mov    $0x14,%r15d
sub    %r11,%r15
mov    %r9d,%r14d
mov    $0x1,%ebx
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
mov    %eax,%r12d
mov    (%r8,%rcx,1),%ebp
xor    %eax,%eax
cmp    (%r10,%rcx,1),%ebp
sete   %al
add    %r12d,%eax
lea    0x1(%rbx),%r12
cmp    %r15,%rbx
jae    11da <quantiUgualiConMergeLoop+0xda>
add    %r14d,%ebx
add    $0x24,%rcx
cmp    %edx,%ebx
mov    %r12,%rbx
jl     11b0 <quantiUgualiConMergeLoop+0xb0>
add    %r12d,%r9d
add    $0xffffffff,%r9d
cmp    $0x12,%r11
ja     1208 <quantiUgualiConMergeLoop+0x108>
add    $0x1,%r11
add    $0x28,%r8
add    $0x28,%r10
add    $0x4,%rdi
add    $0x4,%rsi
cmp    %edx,%r9d
jl     1130 <quantiUgualiConMergeLoop+0x30>
jmp    1208 <quantiUgualiConMergeLoop+0x108>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

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