int check_diagonal(int **t, int n) {
  for (int i = 0; i < n; i++) {
    for (int j = i + 1; j < n; j++) {
      if ((t[i][0] + t[i][1]) == (t[j][0] + t[j][1])) {
        return 0;
      }
    }
  }
  for (int i = 0; i < n; i++) {
    for (int j = i + 1; j < n; j++) {
      if ((t[i][0] - t[i][1]) == (t[j][0] - t[j][1])) {
        return 0;
      }
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<check_diagonal>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11a7 <check_diagonal+0xa7>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1194 <check_diagonal+0x94>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x18(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
add    0x4(%rcx),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
mov    (%rcx),%ecx
mov    -0x10(%rbp),%rdx
movslq -0x1c(%rbp),%rsi
mov    (%rdx,%rsi,8),%rdx
add    0x4(%rdx),%ecx
cmp    %ecx,%eax
jne    1181 <check_diagonal+0x81>
movl   $0x0,-0x4(%rbp)
jmp    124a <check_diagonal+0x14a>
jmp    1186 <check_diagonal+0x86>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1127 <check_diagonal+0x27>
jmp    1199 <check_diagonal+0x99>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1112 <check_diagonal+0x12>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1243 <check_diagonal+0x143>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1230 <check_diagonal+0x130>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
sub    0x4(%rcx),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
mov    (%rcx),%ecx
mov    -0x10(%rbp),%rdx
movslq -0x24(%rbp),%rsi
mov    (%rdx,%rsi,8),%rdx
sub    0x4(%rdx),%ecx
cmp    %ecx,%eax
jne    121d <check_diagonal+0x11d>
movl   $0x0,-0x4(%rbp)
jmp    124a <check_diagonal+0x14a>
jmp    1222 <check_diagonal+0x122>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11c3 <check_diagonal+0xc3>
jmp    1235 <check_diagonal+0x135>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11ae <check_diagonal+0xae>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_diagonal>:
push   %rbp
push   %rbx
test   %esi,%esi
jle    117d <check_diagonal+0x7d>
mov    %esi,%r9d
xor    %r8d,%r8d
mov    %r9,%r10
mov    %rdi,%r11
jmp    112d <check_diagonal+0x2d>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x8,%r11
add    $0xffffffffffffffff,%r10
cmp    %r9,%r8
je     116c <check_diagonal+0x6c>
mov    %r8,%rax
add    $0x1,%r8
cmp    %r9,%r8
jae    1120 <check_diagonal+0x20>
mov    (%rdi,%rax,8),%rcx
mov    0x4(%rcx),%eax
add    (%rcx),%eax
mov    $0x1,%ecx
nopw   0x0(%rax,%rax,1)
mov    (%r11,%rcx,8),%rdx
mov    0x4(%rdx),%ebx
add    (%rdx),%ebx
cmp    %ebx,%eax
je     1168 <check_diagonal+0x68>
add    $0x1,%rcx
cmp    %rcx,%r10
jne    1150 <check_diagonal+0x50>
jmp    1120 <check_diagonal+0x20>
xor    %eax,%eax
jmp    1187 <check_diagonal+0x87>
test   %esi,%esi
jle    117d <check_diagonal+0x7d>
mov    $0x1,%cl
xor    %r8d,%r8d
mov    %r9,%r11
mov    %rdi,%rsi
jmp    1197 <check_diagonal+0x97>
xor    %ecx,%ecx
not    %cl
movzbl %cl,%eax
and    $0x1,%eax
pop    %rbx
pop    %rbp
ret
add    $0x8,%rsi
add    $0xffffffffffffffff,%r11
cmp    %r9,%r8
je     117f <check_diagonal+0x7f>
mov    %ecx,%r10d
mov    %r8,%rax
add    $0x1,%r8
cmp    %r9,%r8
setb   %cl
jae    118a <check_diagonal+0x8a>
mov    (%rdi,%rax,8),%rdx
mov    (%rdx),%eax
sub    0x4(%rdx),%eax
mov    $0x1,%edx
nopw   0x0(%rax,%rax,1)
mov    (%rsi,%rdx,8),%rbx
mov    (%rbx),%ebp
sub    0x4(%rbx),%ebp
cmp    %ebp,%eax
je     11d8 <check_diagonal+0xd8>
add    $0x1,%rdx
cmp    %rdx,%r11
jne    11c0 <check_diagonal+0xc0>
jmp    118a <check_diagonal+0x8a>
mov    %r10d,%ecx
jmp    117f <check_diagonal+0x7f>

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

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