int verificaDiagonal1(int i, int j, char m[8][8]) {
  int x, y, j2, k = 0, flag = 0;
  j2 = j;
  for (x = i; x < 8; x++) {
    for (y = j; y < 8; y--) {
      if (m[x][y] == '*')
        k++;
      j--;
      if (j < 0) {
        flag = 1;
        break;
      }
      if (k > 1)
        return 1;
      break;
    }
    if (flag == 1)
      break;
  }
  k--;
  for (x = i; x >= 0; x--) {
    for (y = j2; y >= 0; y++) {
      if (m[x][y] == '*')
        k++;
      if (y >= 8)
        break;
      j2++;
      if (k > 1) {
        return 1;
      }
      break;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<verificaDiagonal1>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x8,-0x1c(%rbp)
jge    11c7 <verificaDiagonal1+0xc7>
mov    -0xc(%rbp),%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x8,-0x20(%rbp)
jge    11a5 <verificaDiagonal1+0xa5>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2a,%eax
jne    116b <verificaDiagonal1+0x6b>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jge    118a <verificaDiagonal1+0x8a>
movl   $0x1,-0x2c(%rbp)
jmp    11a5 <verificaDiagonal1+0xa5>
cmpl   $0x1,-0x28(%rbp)
jle    11a0 <verificaDiagonal1+0xa0>
movl   $0x1,-0x4(%rbp)
jmp    1266 <verificaDiagonal1+0x166>
jmp    11a5 <verificaDiagonal1+0xa5>
cmpl   $0x1,-0x2c(%rbp)
jne    11b4 <verificaDiagonal1+0xb4>
jmp    11c7 <verificaDiagonal1+0xc7>
jmp    11b9 <verificaDiagonal1+0xb9>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1128 <verificaDiagonal1+0x28>
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jl     125f <verificaDiagonal1+0x15f>
mov    -0x24(%rbp),%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jl     124c <verificaDiagonal1+0x14c>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2a,%eax
jne    1219 <verificaDiagonal1+0x119>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x8,-0x20(%rbp)
jl     1228 <verificaDiagonal1+0x128>
jmp    124c <verificaDiagonal1+0x14c>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x1,-0x28(%rbp)
jle    1247 <verificaDiagonal1+0x147>
movl   $0x1,-0x4(%rbp)
jmp    1266 <verificaDiagonal1+0x166>
jmp    124c <verificaDiagonal1+0x14c>
jmp    1251 <verificaDiagonal1+0x151>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    11d6 <verificaDiagonal1+0xd6>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<verificaDiagonal1>:
xor    %r10d,%r10d
mov    %edi,%eax
cmp    $0x7,%edi
jg     115f <verificaDiagonal1+0x5f>
movslq %edi,%rcx
lea    (%rdx,%rcx,8),%r8
xor    %edi,%edi
xor    %r10d,%r10d
mov    %esi,%r9d
jmp    1130 <verificaDiagonal1+0x30>
nopl   0x0(%rax,%rax,1)
add    $0xffffffff,%r9d
add    $0x1,%rdi
lea    (%rax,%rdi,1),%ecx
cmp    $0x8,%ecx
je     115b <verificaDiagonal1+0x5b>
cmp    $0x7,%r9d
jg     1124 <verificaDiagonal1+0x24>
movslq %r9d,%rcx
add    %r8,%rcx
xor    %r11d,%r11d
cmpb   $0x2a,(%rcx,%rdi,8)
sete   %r11b
add    %r11d,%r10d
test   %r9d,%r9d
jle    115b <verificaDiagonal1+0x5b>
cmp    $0x1,%r10d
jle    1120 <verificaDiagonal1+0x20>
mov    $0x1,%eax
ret
test   %eax,%eax
js     119d <verificaDiagonal1+0x9d>
add    $0xffffffff,%r10d
add    $0x1,%rax
jmp    1176 <verificaDiagonal1+0x76>
nopl   0x0(%rax)
add    $0xffffffffffffffff,%rax
jle    119d <verificaDiagonal1+0x9d>
test   %esi,%esi
js     1170 <verificaDiagonal1+0x70>
mov    %esi,%ecx
add    %rdx,%rcx
xor    %edi,%edi
cmpb   $0x2a,-0x8(%rcx,%rax,8)
sete   %dil
add    %edi,%r10d
cmp    $0x7,%esi
ja     1170 <verificaDiagonal1+0x70>
cmp    $0x1,%r10d
jg     1155 <verificaDiagonal1+0x55>
add    $0x1,%esi
jmp    1170 <verificaDiagonal1+0x70>
xor    %eax,%eax
ret

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

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