#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*/ abort();
int main1(int a, int b) {
  int i, j;
  int ia[16][4][16 + 8];
  for (i = 0; i < 16; i++) {
    for (j = 0; j < 16; j++) {
      ia[i][1][j + 8] = (a == b);
    }
  }
  for (i = 0; i < 16; i++) {
    for (j = 0; j < 16; j++) {
      if (ia[i][1][j + 8] != (a == b))
        abort();
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<main1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1810,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x10,-0xc(%rbp)
jge    1194 <main1+0x84>
movl   $0x0,-0x10(%rbp)
cmpl   $0x10,-0x10(%rbp)
jge    1181 <main1+0x71>
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edx
movslq -0xc(%rbp),%rcx
lea    -0x1810(%rbp),%rax
imul   $0x180,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%ecx
add    $0x8,%ecx
movslq %ecx,%rcx
mov    %edx,0x60(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1139 <main1+0x29>
jmp    1186 <main1+0x76>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1128 <main1+0x18>
movl   $0x0,-0xc(%rbp)
cmpl   $0x10,-0xc(%rbp)
jge    121c <main1+0x10c>
movl   $0x0,-0x10(%rbp)
cmpl   $0x10,-0x10(%rbp)
jge    1209 <main1+0xf9>
movslq -0xc(%rbp),%rcx
lea    -0x1810(%rbp),%rax
imul   $0x180,%rcx,%rcx
add    %rcx,%rax
mov    -0x10(%rbp),%ecx
add    $0x8,%ecx
movslq %ecx,%rcx
mov    0x60(%rax,%rcx,4),%eax
mov    -0x4(%rbp),%ecx
cmp    -0x8(%rbp),%ecx
sete   %cl
and    $0x1,%cl
movzbl %cl,%ecx
cmp    %ecx,%eax
je     11f6 <main1+0xe6>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    11fb <main1+0xeb>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11ac <main1+0x9c>
jmp    120e <main1+0xfe>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    119b <main1+0x8b>
xor    %eax,%eax
add    $0x1810,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main1>:
sub    $0x1808,%rsp
xor    %eax,%eax
cmp    %esi,%edi
sete   %al
movd   %eax,%xmm0
pshufd $0x0,%xmm0,%xmm0
movdqa %xmm0,0x80(%rsp)
movdqa %xmm0,0x90(%rsp)
movdqa %xmm0,0xa0(%rsp)
movdqa %xmm0,0xb0(%rsp)
movdqa %xmm0,0x200(%rsp)
movdqa %xmm0,0x210(%rsp)
movdqa %xmm0,0x220(%rsp)
movdqa %xmm0,0x230(%rsp)
movdqa %xmm0,0x380(%rsp)
movdqa %xmm0,0x390(%rsp)
movdqa %xmm0,0x3a0(%rsp)
movdqa %xmm0,0x3b0(%rsp)
movdqa %xmm0,0x500(%rsp)
movdqa %xmm0,0x510(%rsp)
movdqa %xmm0,0x520(%rsp)
movdqa %xmm0,0x530(%rsp)
movdqa %xmm0,0x680(%rsp)
movdqa %xmm0,0x690(%rsp)
movdqa %xmm0,0x6a0(%rsp)
movdqa %xmm0,0x6b0(%rsp)
movdqa %xmm0,0x800(%rsp)
movdqa %xmm0,0x810(%rsp)
movdqa %xmm0,0x820(%rsp)
movdqa %xmm0,0x830(%rsp)
movdqa %xmm0,0x980(%rsp)
movdqa %xmm0,0x990(%rsp)
movdqa %xmm0,0x9a0(%rsp)
movdqa %xmm0,0x9b0(%rsp)
movdqa %xmm0,0xb00(%rsp)
movdqa %xmm0,0xb10(%rsp)
movdqa %xmm0,0xb20(%rsp)
movdqa %xmm0,0xb30(%rsp)
movdqa %xmm0,0xc80(%rsp)
movdqa %xmm0,0xc90(%rsp)
movdqa %xmm0,0xca0(%rsp)
movdqa %xmm0,0xcb0(%rsp)
movdqa %xmm0,0xe00(%rsp)
movdqa %xmm0,0xe10(%rsp)
movdqa %xmm0,0xe20(%rsp)
movdqa %xmm0,0xe30(%rsp)
movdqa %xmm0,0xf80(%rsp)
movdqa %xmm0,0xf90(%rsp)
movdqa %xmm0,0xfa0(%rsp)
movdqa %xmm0,0xfb0(%rsp)
movdqa %xmm0,0x1100(%rsp)
movdqa %xmm0,0x1110(%rsp)
movdqa %xmm0,0x1120(%rsp)
movdqa %xmm0,0x1130(%rsp)
movdqa %xmm0,0x1280(%rsp)
movdqa %xmm0,0x1290(%rsp)
movdqa %xmm0,0x12a0(%rsp)
movdqa %xmm0,0x12b0(%rsp)
movdqa %xmm0,0x1400(%rsp)
movdqa %xmm0,0x1410(%rsp)
movdqa %xmm0,0x1420(%rsp)
movdqa %xmm0,0x1430(%rsp)
movdqa %xmm0,0x1580(%rsp)
movdqa %xmm0,0x1590(%rsp)
movdqa %xmm0,0x15a0(%rsp)
movdqa %xmm0,0x15b0(%rsp)
movdqa %xmm0,0x1700(%rsp)
movdqa %xmm0,0x1710(%rsp)
movdqa %xmm0,0x1720(%rsp)
movdqa %xmm0,0x1730(%rsp)
mov    $0xbc,%ecx
nopl   0x0(%rax)
cmp    %eax,-0x3c(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x38(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x34(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x30(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x2c(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x28(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x24(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x20(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x1c(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x18(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x14(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x10(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0xc(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x8(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,-0x4(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
cmp    %eax,(%rsp,%rcx,1)
jne    13e9 <main1+0x2d9>
add    $0x180,%rcx
cmp    $0x18bc,%rcx
jne    1370 <main1+0x260>
xor    %eax,%eax
add    $0x1808,%rsp
ret
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
define i32 @main1(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca [16 x [4 x [24 x i32]]]
store i32 %0, i32* %3
store i32 %1, i32* %4
store i32 0, i32* %5
br label %8
8: ; preds = %32, %2
%9 = load i32, i32* %5
%10 = icmp slt i32 %9, 16
br i1 %10, label %11, label %35
11: ; preds = %8
store i32 0, i32* %6
br label %12
12: ; preds = %28, %11
%13 = load i32, i32* %6
%14 = icmp slt i32 %13, 16
br i1 %14, label %15, label %31
15: ; preds = %12
%16 = load i32, i32* %3
%17 = load i32, i32* %4
%18 = icmp eq i32 %16, %17
%19 = zext i1 %18 to i32
%20 = load i32, i32* %5
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %7, i64 0, i64 %21
%23 = getelementptr inbounds [4 x [24 x i32]], [4 x [24 x i32]]* %22, i64 0, i64 1
%24 = load i32, i32* %6
%25 = add nsw i32 %24, 8
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds [24 x i32], [24 x i32]* %23, i64 0, i64 %26
store i32 %19, i32* %27
br label %28
28: ; preds = %15
%29 = load i32, i32* %6
%30 = add nsw i32 %29, 1
store i32 %30, i32* %6
br label %12
31: ; preds = %12
br label %32
32: ; preds = %31
%33 = load i32, i32* %5
%34 = add nsw i32 %33, 1
store i32 %34, i32* %5
br label %8
35: ; preds = %8
store i32 0, i32* %5
br label %36
36: ; preds = %65, %35
%37 = load i32, i32* %5
%38 = icmp slt i32 %37, 16
br i1 %38, label %39, label %68
39: ; preds = %36
store i32 0, i32* %6
br label %40
40: ; preds = %61, %39
%41 = load i32, i32* %6
%42 = icmp slt i32 %41, 16
br i1 %42, label %43, label %64
43: ; preds = %40
%44 = load i32, i32* %5
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %7, i64 0, i64 %45
%47 = getelementptr inbounds [4 x [24 x i32]], [4 x [24 x i32]]* %46, i64 0, i64 1
%48 = load i32, i32* %6
%49 = add nsw i32 %48, 8
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds [24 x i32], [24 x i32]* %47, i64 0, i64 %50
%52 = load i32, i32* %51
%53 = load i32, i32* %3
%54 = load i32, i32* %4
%55 = icmp eq i32 %53, %54
%56 = zext i1 %55 to i32
%57 = icmp ne i32 %52, %56
br i1 %57, label %58, label %60
58: ; preds = %43
%59 = call i32 (...) @abort()
unreachable
60: ; preds = %43
br label %61
61: ; preds = %60
%62 = load i32, i32* %6
%63 = add nsw i32 %62, 1
store i32 %63, i32* %6
br label %40
64: ; preds = %40
br label %65
65: ; preds = %64
%66 = load i32, i32* %5
%67 = add nsw i32 %66, 1
store i32 %67, i32* %5
br label %36
68: ; preds = %36
ret i32 0
}

LLVM IR (-O2):
define i32 @main1(i32 %0, i32 %1) {
%3 = alloca [16 x [4 x [24 x i32]]]
%4 = bitcast [16 x [4 x [24 x i32]]]* %3 to i8*
%5 = icmp eq i32 %0, %1
%6 = zext i1 %5 to i32
%7 = insertelement <4 x i32> poison, i32 %6, i64 0
%8 = shufflevector <4 x i32> %7, <4 x i32> poison, <4 x i32> zeroinitializer
%9 = insertelement <4 x i32> poison, i32 %6, i64 0
%10 = shufflevector <4 x i32> %9, <4 x i32> poison, <4 x i32> zeroinitializer
%11 = insertelement <4 x i32> poison, i32 %6, i64 0
%12 = shufflevector <4 x i32> %11, <4 x i32> poison, <4 x i32> zeroinitializer
%13 = insertelement <4 x i32> poison, i32 %6, i64 0
%14 = shufflevector <4 x i32> %13, <4 x i32> poison, <4 x i32> zeroinitializer
%15 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 0, i64 1, i64 8
%16 = bitcast i32* %15 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %16
%17 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 0, i64 1, i64 12
%18 = bitcast i32* %17 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %18
%19 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 0, i64 1, i64 16
%20 = bitcast i32* %19 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %20
%21 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 0, i64 1, i64 20
%22 = bitcast i32* %21 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %22
%23 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 1, i64 1, i64 8
%24 = bitcast i32* %23 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %24
%25 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 1, i64 1, i64 12
%26 = bitcast i32* %25 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %26
%27 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 1, i64 1, i64 16
%28 = bitcast i32* %27 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %28
%29 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 1, i64 1, i64 20
%30 = bitcast i32* %29 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %30
%31 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 2, i64 1, i64 8
%32 = bitcast i32* %31 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %32
%33 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 2, i64 1, i64 12
%34 = bitcast i32* %33 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %34
%35 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 2, i64 1, i64 16
%36 = bitcast i32* %35 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %36
%37 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 2, i64 1, i64 20
%38 = bitcast i32* %37 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %38
%39 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 3, i64 1, i64 8
%40 = bitcast i32* %39 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %40
%41 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 3, i64 1, i64 12
%42 = bitcast i32* %41 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %42
%43 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 3, i64 1, i64 16
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %44
%45 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 3, i64 1, i64 20
%46 = bitcast i32* %45 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %46
%47 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 4, i64 1, i64 8
%48 = bitcast i32* %47 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %48
%49 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 4, i64 1, i64 12
%50 = bitcast i32* %49 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %50
%51 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 4, i64 1, i64 16
%52 = bitcast i32* %51 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %52
%53 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 4, i64 1, i64 20
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %54
%55 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 5, i64 1, i64 8
%56 = bitcast i32* %55 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %56
%57 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 5, i64 1, i64 12
%58 = bitcast i32* %57 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %58
%59 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 5, i64 1, i64 16
%60 = bitcast i32* %59 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %60
%61 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 5, i64 1, i64 20
%62 = bitcast i32* %61 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %62
%63 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 6, i64 1, i64 8
%64 = bitcast i32* %63 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %64
%65 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 6, i64 1, i64 12
%66 = bitcast i32* %65 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %66
%67 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 6, i64 1, i64 16
%68 = bitcast i32* %67 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %68
%69 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 6, i64 1, i64 20
%70 = bitcast i32* %69 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %70
%71 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 7, i64 1, i64 8
%72 = bitcast i32* %71 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %72
%73 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 7, i64 1, i64 12
%74 = bitcast i32* %73 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %74
%75 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 7, i64 1, i64 16
%76 = bitcast i32* %75 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %76
%77 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 7, i64 1, i64 20
%78 = bitcast i32* %77 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %78
%79 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 8, i64 1, i64 8
%80 = bitcast i32* %79 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %80
%81 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 8, i64 1, i64 12
%82 = bitcast i32* %81 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %82
%83 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 8, i64 1, i64 16
%84 = bitcast i32* %83 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %84
%85 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 8, i64 1, i64 20
%86 = bitcast i32* %85 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %86
%87 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 9, i64 1, i64 8
%88 = bitcast i32* %87 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %88
%89 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 9, i64 1, i64 12
%90 = bitcast i32* %89 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %90
%91 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 9, i64 1, i64 16
%92 = bitcast i32* %91 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %92
%93 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 9, i64 1, i64 20
%94 = bitcast i32* %93 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %94
%95 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 10, i64 1, i64 8
%96 = bitcast i32* %95 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %96
%97 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 10, i64 1, i64 12
%98 = bitcast i32* %97 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %98
%99 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 10, i64 1, i64 16
%100 = bitcast i32* %99 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %100
%101 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 10, i64 1, i64 20
%102 = bitcast i32* %101 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %102
%103 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 11, i64 1, i64 8
%104 = bitcast i32* %103 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %104
%105 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 11, i64 1, i64 12
%106 = bitcast i32* %105 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %106
%107 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 11, i64 1, i64 16
%108 = bitcast i32* %107 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %108
%109 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 11, i64 1, i64 20
%110 = bitcast i32* %109 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %110
%111 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 12, i64 1, i64 8
%112 = bitcast i32* %111 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %112
%113 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 12, i64 1, i64 12
%114 = bitcast i32* %113 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %114
%115 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 12, i64 1, i64 16
%116 = bitcast i32* %115 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %116
%117 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 12, i64 1, i64 20
%118 = bitcast i32* %117 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %118
%119 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 13, i64 1, i64 8
%120 = bitcast i32* %119 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %120
%121 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 13, i64 1, i64 12
%122 = bitcast i32* %121 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %122
%123 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 13, i64 1, i64 16
%124 = bitcast i32* %123 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %124
%125 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 13, i64 1, i64 20
%126 = bitcast i32* %125 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %126
%127 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 14, i64 1, i64 8
%128 = bitcast i32* %127 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %128
%129 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 14, i64 1, i64 12
%130 = bitcast i32* %129 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %130
%131 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 14, i64 1, i64 16
%132 = bitcast i32* %131 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %132
%133 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 14, i64 1, i64 20
%134 = bitcast i32* %133 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %134
%135 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 15, i64 1, i64 8
%136 = bitcast i32* %135 to <4 x i32>*
store <4 x i32> %8, <4 x i32>* %136
%137 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 15, i64 1, i64 12
%138 = bitcast i32* %137 to <4 x i32>*
store <4 x i32> %10, <4 x i32>* %138
%139 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 15, i64 1, i64 16
%140 = bitcast i32* %139 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %140
%141 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 15, i64 1, i64 20
%142 = bitcast i32* %141 to <4 x i32>*
store <4 x i32> %14, <4 x i32>* %142
br label %143
143: ; preds = %2, %208
%144 = phi i64 [ %209, %208 ], [ 0, %2 ]
%145 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 8
%146 = load i32, i32* %145
%147 = icmp eq i32 %146, %6
br i1 %147, label %148, label %211
148: ; preds = %143
%149 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 9
%150 = load i32, i32* %149
%151 = icmp eq i32 %150, %6
br i1 %151, label %152, label %211
152: ; preds = %148
%153 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 10
%154 = load i32, i32* %153
%155 = icmp eq i32 %154, %6
br i1 %155, label %156, label %211
156: ; preds = %152
%157 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 11
%158 = load i32, i32* %157
%159 = icmp eq i32 %158, %6
br i1 %159, label %160, label %211
160: ; preds = %156
%161 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 12
%162 = load i32, i32* %161
%163 = icmp eq i32 %162, %6
br i1 %163, label %164, label %211
164: ; preds = %160
%165 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 13
%166 = load i32, i32* %165
%167 = icmp eq i32 %166, %6
br i1 %167, label %168, label %211
168: ; preds = %164
%169 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 14
%170 = load i32, i32* %169
%171 = icmp eq i32 %170, %6
br i1 %171, label %172, label %211
172: ; preds = %168
%173 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 15
%174 = load i32, i32* %173
%175 = icmp eq i32 %174, %6
br i1 %175, label %176, label %211
176: ; preds = %172
%177 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 16
%178 = load i32, i32* %177
%179 = icmp eq i32 %178, %6
br i1 %179, label %180, label %211
180: ; preds = %176
%181 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 17
%182 = load i32, i32* %181
%183 = icmp eq i32 %182, %6
br i1 %183, label %184, label %211
184: ; preds = %180
%185 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 18
%186 = load i32, i32* %185
%187 = icmp eq i32 %186, %6
br i1 %187, label %188, label %211
188: ; preds = %184
%189 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 19
%190 = load i32, i32* %189
%191 = icmp eq i32 %190, %6
br i1 %191, label %192, label %211
192: ; preds = %188
%193 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 20
%194 = load i32, i32* %193
%195 = icmp eq i32 %194, %6
br i1 %195, label %196, label %211
196: ; preds = %192
%197 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 21
%198 = load i32, i32* %197
%199 = icmp eq i32 %198, %6
br i1 %199, label %200, label %211
200: ; preds = %196
%201 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 22
%202 = load i32, i32* %201
%203 = icmp eq i32 %202, %6
br i1 %203, label %204, label %211
204: ; preds = %200
%205 = getelementptr inbounds [16 x [4 x [24 x i32]]], [16 x [4 x [24 x i32]]]* %3, i64 0, i64 %144, i64 1, i64 23
%206 = load i32, i32* %205
%207 = icmp eq i32 %206, %6
br i1 %207, label %208, label %211
208: ; preds = %204
%209 = add nuw nsw i64 %144, 1
%210 = icmp eq i64 %209, 16
br i1 %210, label %213, label %143
211: ; preds = %204, %200, %196, %192, %188, %184, %180, %176, %172, %168, %164, %160, %156, %152, %148, %143
%212 = tail call i32 (...) @abort()
unreachable
213: ; preds = %208
ret i32 0
}