int arrEquals(int (*estado1)[7], int (*estado2)[7]) {
  int i, j;
  for (i = 0; i < 7; ++i) {
    for (j = 0; j < 7; ++j) {
      if (estado1[i][j] != estado2[i][j])
        return 0;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<arrEquals>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x7,-0x1c(%rbp)
jge    1192 <arrEquals+0x92>
movl   $0x0,-0x20(%rbp)
cmpl   $0x7,-0x20(%rbp)
jge    117f <arrEquals+0x7f>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
imul   $0x1c,%rdx,%rdx
add    %rdx,%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
je     116c <arrEquals+0x6c>
movl   $0x0,-0x4(%rbp)
jmp    1199 <arrEquals+0x99>
jmp    1171 <arrEquals+0x71>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1124 <arrEquals+0x24>
jmp    1184 <arrEquals+0x84>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1113 <arrEquals+0x13>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<arrEquals>:
mov    $0x18,%ecx
xor    %eax,%eax
mov    -0x18(%rdi,%rcx,1),%edx
cmp    -0x18(%rsi,%rcx,1),%edx
jne    115d <arrEquals+0x5d>
mov    -0x14(%rdi,%rcx,1),%edx
cmp    -0x14(%rsi,%rcx,1),%edx
jne    115d <arrEquals+0x5d>
mov    -0x10(%rdi,%rcx,1),%edx
cmp    -0x10(%rsi,%rcx,1),%edx
jne    115d <arrEquals+0x5d>
mov    -0xc(%rdi,%rcx,1),%edx
cmp    -0xc(%rsi,%rcx,1),%edx
jne    115d <arrEquals+0x5d>
mov    -0x8(%rdi,%rcx,1),%edx
cmp    -0x8(%rsi,%rcx,1),%edx
jne    115d <arrEquals+0x5d>
mov    -0x4(%rdi,%rcx,1),%edx
cmp    -0x4(%rsi,%rcx,1),%edx
jne    115d <arrEquals+0x5d>
mov    (%rdi,%rcx,1),%edx
cmp    (%rsi,%rcx,1),%edx
jne    115d <arrEquals+0x5d>
add    $0x1c,%rcx
cmp    $0xdc,%rcx
jne    1107 <arrEquals+0x7>
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @arrEquals([7 x i32]* %0, [7 x i32]* %1) {
%3 = alloca i32
%4 = alloca [7 x i32]*
%5 = alloca [7 x i32]*
%6 = alloca i32
%7 = alloca i32
store [7 x i32]* %0, [7 x i32]** %4
store [7 x i32]* %1, [7 x i32]** %5
store i32 0, i32* %6
br label %8
8: ; preds = %39, %2
%9 = load i32, i32* %6
%10 = icmp slt i32 %9, 7
br i1 %10, label %11, label %42
11: ; preds = %8
store i32 0, i32* %7
br label %12
12: ; preds = %35, %11
%13 = load i32, i32* %7
%14 = icmp slt i32 %13, 7
br i1 %14, label %15, label %38
15: ; preds = %12
%16 = load [7 x i32]*, [7 x i32]** %4
%17 = load i32, i32* %6
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds [7 x i32], [7 x i32]* %16, i64 %18
%20 = load i32, i32* %7
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds [7 x i32], [7 x i32]* %19, i64 0, i64 %21
%23 = load i32, i32* %22
%24 = load [7 x i32]*, [7 x i32]** %5
%25 = load i32, i32* %6
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds [7 x i32], [7 x i32]* %24, i64 %26
%28 = load i32, i32* %7
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds [7 x i32], [7 x i32]* %27, i64 0, i64 %29
%31 = load i32, i32* %30
%32 = icmp ne i32 %23, %31
br i1 %32, label %33, label %34
33: ; preds = %15
store i32 0, i32* %3
br label %43
34: ; preds = %15
br label %35
35: ; preds = %34
%36 = load i32, i32* %7
%37 = add nsw i32 %36, 1
store i32 %37, i32* %7
br label %12
38: ; preds = %12
br label %39
39: ; preds = %38
%40 = load i32, i32* %6
%41 = add nsw i32 %40, 1
store i32 %41, i32* %6
br label %8
42: ; preds = %8
store i32 1, i32* %3
br label %43
43: ; preds = %42, %33
%44 = load i32, i32* %3
ret i32 %44
}

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