int tabcmp(int source[4][4], int dest[4][4]) {
  int x, y;
  for (x = 0; x < 4; x++) {
    for (y = 0; y < 4; y++) {
      if (source[x][y] != dest[x][y])
        return 0;
    }
  }
  return 1;
}


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

x86 assembly (clang, -O2):
<tabcmp>:
mov    (%rdi),%eax
cmp    (%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x4(%rdi),%eax
cmp    0x4(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x8(%rdi),%eax
cmp    0x8(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0xc(%rdi),%eax
cmp    0xc(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x10(%rdi),%eax
cmp    0x10(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x14(%rdi),%eax
cmp    0x14(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x18(%rdi),%eax
cmp    0x18(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x1c(%rdi),%eax
cmp    0x1c(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x20(%rdi),%eax
cmp    0x20(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x24(%rdi),%eax
cmp    0x24(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x28(%rdi),%eax
cmp    0x28(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x2c(%rdi),%eax
cmp    0x2c(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x30(%rdi),%eax
cmp    0x30(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x34(%rdi),%eax
cmp    0x34(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x38(%rdi),%eax
cmp    0x38(%rsi),%eax
jne    1183 <tabcmp+0x83>
mov    0x3c(%rdi),%ecx
mov    $0x1,%eax
cmp    0x3c(%rsi),%ecx
je     1185 <tabcmp+0x85>
xor    %eax,%eax
ret

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