#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ exit(int);
int /*<<< orphan*/ fputs(char *, int /*<<< orphan*/);
int /*<<< orphan*/ stderr;
void assert_equal(short (*const x)[4], short (*const y)[4]) {
  int i, j;
  for (i = 0; i < 6; i++) {
    for (j = 0; j < 4; j++) {
      if (x[i][j] != y[i][j]) {
        fputs("FAIL\n", stderr);
        exit(1);
      }
    }
  }
}


x86 assembly (clang, -O0):
<assert_equal>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x6,-0x14(%rbp)
jge    11cd <assert_equal+0xad>
movl   $0x0,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    11ba <assert_equal+0x9a>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
mov    -0x10(%rbp),%rcx
movslq -0x14(%rbp),%rdx
shl    $0x3,%rdx
add    %rdx,%rcx
movslq -0x18(%rbp),%rdx
movswl (%rcx,%rdx,2),%ecx
cmp    %ecx,%eax
je     11a7 <assert_equal+0x87>
mov    0x2e51(%rip),%rax
mov    (%rax),%esi
lea    0xe68(%rip),%rdi
call   1030 <fputs@plt>
mov    $0x1,%edi
call   1040 <exit@plt>
jmp    11ac <assert_equal+0x8c>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1148 <assert_equal+0x28>
jmp    11bf <assert_equal+0x9f>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1137 <assert_equal+0x17>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<assert_equal>:
push   %rax
movzwl (%rdi),%eax
cmp    (%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x2(%rdi),%eax
cmp    0x2(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x4(%rdi),%eax
cmp    0x4(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x6(%rdi),%eax
cmp    0x6(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x8(%rdi),%eax
cmp    0x8(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0xa(%rdi),%eax
cmp    0xa(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0xc(%rdi),%eax
cmp    0xc(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0xe(%rdi),%eax
cmp    0xe(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x10(%rdi),%eax
cmp    0x10(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x12(%rdi),%eax
cmp    0x12(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x14(%rdi),%eax
cmp    0x14(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x16(%rdi),%eax
cmp    0x16(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x18(%rdi),%eax
cmp    0x18(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x1a(%rdi),%eax
cmp    0x1a(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x1c(%rdi),%eax
cmp    0x1c(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x1e(%rdi),%eax
cmp    0x1e(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x20(%rdi),%eax
cmp    0x20(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x22(%rdi),%eax
cmp    0x22(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x24(%rdi),%eax
cmp    0x24(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x26(%rdi),%eax
cmp    0x26(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x28(%rdi),%eax
cmp    0x28(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x2a(%rdi),%eax
cmp    0x2a(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x2c(%rdi),%eax
cmp    0x2c(%rsi),%ax
jne    123d <assert_equal+0x11d>
movzwl 0x2e(%rdi),%eax
cmp    0x2e(%rsi),%ax
jne    123d <assert_equal+0x11d>
pop    %rax
ret
mov    0x2d9c(%rip),%rax
mov    (%rax),%esi
lea    0xdb3(%rip),%rdi
call   1030 <fputs@plt>
mov    $0x1,%edi
call   1040 <exit@plt>

LLVM IR (-O0):
@.str = [6 x i8] c"FAIL\0A\00"
@stderr = global i32 0
define void @assert_equal([4 x i16]* %0, [4 x i16]* %1) {
%3 = alloca [4 x i16]*
%4 = alloca [4 x i16]*
%5 = alloca i32
%6 = alloca i32
store [4 x i16]* %0, [4 x i16]** %3
store [4 x i16]* %1, [4 x i16]** %4
store i32 0, i32* %5
br label %7
7: ; preds = %43, %2
%8 = load i32, i32* %5
%9 = icmp slt i32 %8, 6
br i1 %9, label %10, label %46
10: ; preds = %7
store i32 0, i32* %6
br label %11
11: ; preds = %39, %10
%12 = load i32, i32* %6
%13 = icmp slt i32 %12, 4
br i1 %13, label %14, label %42
14: ; preds = %11
%15 = load [4 x i16]*, [4 x i16]** %3
%16 = load i32, i32* %5
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds [4 x i16], [4 x i16]* %15, i64 %17
%19 = load i32, i32* %6
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds [4 x i16], [4 x i16]* %18, i64 0, i64 %20
%22 = load i16, i16* %21
%23 = sext i16 %22 to i32
%24 = load [4 x i16]*, [4 x i16]** %4
%25 = load i32, i32* %5
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds [4 x i16], [4 x i16]* %24, i64 %26
%28 = load i32, i32* %6
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds [4 x i16], [4 x i16]* %27, i64 0, i64 %29
%31 = load i16, i16* %30
%32 = sext i16 %31 to i32
%33 = icmp ne i32 %23, %32
br i1 %33, label %34, label %38
34: ; preds = %14
%35 = load i32, i32* @stderr
%36 = call i32 @fputs(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i32 %35)
%37 = call i32 @exit(i32 1)
unreachable
38: ; preds = %14
br label %39
39: ; preds = %38
%40 = load i32, i32* %6
%41 = add nsw i32 %40, 1
store i32 %41, i32* %6
br label %11
42: ; preds = %11
br label %43
43: ; preds = %42
%44 = load i32, i32* %5
%45 = add nsw i32 %44, 1
store i32 %45, i32* %5
br label %7
46: ; preds = %7
ret void
}

LLVM IR (-O2):
@.str = [6 x i8] c"FAIL\0A\00"
@stderr = global i32 0
define void @assert_equal([4 x i16]* nocapture %0, [4 x i16]* nocapture %1) {
%3 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 0, i64 0
%4 = load i16, i16* %3
%5 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 0, i64 0
%6 = load i16, i16* %5
%7 = icmp eq i16 %4, %6
br i1 %7, label %8, label %147
8: ; preds = %2
%9 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 0, i64 1
%10 = load i16, i16* %9
%11 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 0, i64 1
%12 = load i16, i16* %11
%13 = icmp eq i16 %10, %12
br i1 %13, label %14, label %147
14: ; preds = %8
%15 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 0, i64 2
%16 = load i16, i16* %15
%17 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 0, i64 2
%18 = load i16, i16* %17
%19 = icmp eq i16 %16, %18
br i1 %19, label %20, label %147
20: ; preds = %14
%21 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 0, i64 3
%22 = load i16, i16* %21
%23 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 0, i64 3
%24 = load i16, i16* %23
%25 = icmp eq i16 %22, %24
br i1 %25, label %26, label %147
26: ; preds = %20
%27 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 1, i64 0
%28 = load i16, i16* %27
%29 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 1, i64 0
%30 = load i16, i16* %29
%31 = icmp eq i16 %28, %30
br i1 %31, label %32, label %147
32: ; preds = %26
%33 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 1, i64 1
%34 = load i16, i16* %33
%35 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 1, i64 1
%36 = load i16, i16* %35
%37 = icmp eq i16 %34, %36
br i1 %37, label %38, label %147
38: ; preds = %32
%39 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 1, i64 2
%40 = load i16, i16* %39
%41 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 1, i64 2
%42 = load i16, i16* %41
%43 = icmp eq i16 %40, %42
br i1 %43, label %44, label %147
44: ; preds = %38
%45 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 1, i64 3
%46 = load i16, i16* %45
%47 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 1, i64 3
%48 = load i16, i16* %47
%49 = icmp eq i16 %46, %48
br i1 %49, label %50, label %147
50: ; preds = %44
%51 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 2, i64 0
%52 = load i16, i16* %51
%53 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 2, i64 0
%54 = load i16, i16* %53
%55 = icmp eq i16 %52, %54
br i1 %55, label %56, label %147
56: ; preds = %50
%57 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 2, i64 1
%58 = load i16, i16* %57
%59 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 2, i64 1
%60 = load i16, i16* %59
%61 = icmp eq i16 %58, %60
br i1 %61, label %62, label %147
62: ; preds = %56
%63 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 2, i64 2
%64 = load i16, i16* %63
%65 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 2, i64 2
%66 = load i16, i16* %65
%67 = icmp eq i16 %64, %66
br i1 %67, label %68, label %147
68: ; preds = %62
%69 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 2, i64 3
%70 = load i16, i16* %69
%71 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 2, i64 3
%72 = load i16, i16* %71
%73 = icmp eq i16 %70, %72
br i1 %73, label %74, label %147
74: ; preds = %68
%75 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 3, i64 0
%76 = load i16, i16* %75
%77 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 3, i64 0
%78 = load i16, i16* %77
%79 = icmp eq i16 %76, %78
br i1 %79, label %80, label %147
80: ; preds = %74
%81 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 3, i64 1
%82 = load i16, i16* %81
%83 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 3, i64 1
%84 = load i16, i16* %83
%85 = icmp eq i16 %82, %84
br i1 %85, label %86, label %147
86: ; preds = %80
%87 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 3, i64 2
%88 = load i16, i16* %87
%89 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 3, i64 2
%90 = load i16, i16* %89
%91 = icmp eq i16 %88, %90
br i1 %91, label %92, label %147
92: ; preds = %86
%93 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 3, i64 3
%94 = load i16, i16* %93
%95 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 3, i64 3
%96 = load i16, i16* %95
%97 = icmp eq i16 %94, %96
br i1 %97, label %98, label %147
98: ; preds = %92
%99 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 4, i64 0
%100 = load i16, i16* %99
%101 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 4, i64 0
%102 = load i16, i16* %101
%103 = icmp eq i16 %100, %102
br i1 %103, label %104, label %147
104: ; preds = %98
%105 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 4, i64 1
%106 = load i16, i16* %105
%107 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 4, i64 1
%108 = load i16, i16* %107
%109 = icmp eq i16 %106, %108
br i1 %109, label %110, label %147
110: ; preds = %104
%111 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 4, i64 2
%112 = load i16, i16* %111
%113 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 4, i64 2
%114 = load i16, i16* %113
%115 = icmp eq i16 %112, %114
br i1 %115, label %116, label %147
116: ; preds = %110
%117 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 4, i64 3
%118 = load i16, i16* %117
%119 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 4, i64 3
%120 = load i16, i16* %119
%121 = icmp eq i16 %118, %120
br i1 %121, label %122, label %147
122: ; preds = %116
%123 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 5, i64 0
%124 = load i16, i16* %123
%125 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 5, i64 0
%126 = load i16, i16* %125
%127 = icmp eq i16 %124, %126
br i1 %127, label %128, label %147
128: ; preds = %122
%129 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 5, i64 1
%130 = load i16, i16* %129
%131 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 5, i64 1
%132 = load i16, i16* %131
%133 = icmp eq i16 %130, %132
br i1 %133, label %134, label %147
134: ; preds = %128
%135 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 5, i64 2
%136 = load i16, i16* %135
%137 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 5, i64 2
%138 = load i16, i16* %137
%139 = icmp eq i16 %136, %138
br i1 %139, label %140, label %147
140: ; preds = %134
%141 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 5, i64 3
%142 = load i16, i16* %141
%143 = getelementptr inbounds [4 x i16], [4 x i16]* %1, i64 5, i64 3
%144 = load i16, i16* %143
%145 = icmp eq i16 %142, %144
br i1 %145, label %146, label %147
146: ; preds = %140
ret void
147: ; preds = %140, %134, %128, %122, %116, %110, %104, %98, %92, %86, %80, %74, %68, %62, %56, %50, %44, %38, %32, %26, %20, %14, %8, %2
%148 = load i32, i32* @stderr
%149 = tail call i32 @fputs(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i32 %148)
%150 = tail call i32 @exit(i32 1)
unreachable
}