#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 /*<<< orphan*/ check_vect();
int main() {
  int A[64];
  int B[64];
  int C[64];
  int D[64];
  int E[64] = {0, 1, 2, 0};
  int i, j;
  check_vect();
  for (i = 0; i < 64; i++) {
    A[i] = i;
    B[i] = i;
    C[i] = i;
    D[i] = i;
  }
  for (i = 0; i < 64 - 20; i++) {
    A[i] = A[i + 20];
  }
  for (i = 0; i < 64 - 20; i++) {
    if (A[i] != D[i + 20])
      abort();
  }
  for (i = 0; i < 16; i++) {
    B[i] = B[i] + 5;
  }
  for (i = 0; i < 16; i++) {
    if (B[i] != C[i] + 5)
      abort();
  }
  for (i = 0; i < 4; i++) {
    C[i + 3] = C[i];
  }
  for (i = 0; i < 4; i++) {
    if (C[i] != E[i])
      abort();
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x520,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x510(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1050 <memset@plt>
movl   $0x1,-0x50c(%rbp)
movl   $0x2,-0x508(%rbp)
mov    $0x0,%al
call   1040 <check_vect@plt>
movl   $0x0,-0x514(%rbp)
cmpl   $0x40,-0x514(%rbp)
jge    11eb <main+0xbb>
mov    -0x514(%rbp),%ecx
movslq -0x514(%rbp),%rax
mov    %ecx,-0x110(%rbp,%rax,4)
mov    -0x514(%rbp),%ecx
movslq -0x514(%rbp),%rax
mov    %ecx,-0x210(%rbp,%rax,4)
mov    -0x514(%rbp),%ecx
movslq -0x514(%rbp),%rax
mov    %ecx,-0x310(%rbp,%rax,4)
mov    -0x514(%rbp),%ecx
movslq -0x514(%rbp),%rax
mov    %ecx,-0x410(%rbp,%rax,4)
mov    -0x514(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x514(%rbp)
jmp    117a <main+0x4a>
movl   $0x0,-0x514(%rbp)
cmpl   $0x2c,-0x514(%rbp)
jge    1236 <main+0x106>
mov    -0x514(%rbp),%eax
add    $0x14,%eax
cltq
mov    -0x110(%rbp,%rax,4),%ecx
movslq -0x514(%rbp),%rax
mov    %ecx,-0x110(%rbp,%rax,4)
mov    -0x514(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x514(%rbp)
jmp    11f5 <main+0xc5>
movl   $0x0,-0x514(%rbp)
cmpl   $0x2c,-0x514(%rbp)
jge    1294 <main+0x164>
movslq -0x514(%rbp),%rax
mov    -0x110(%rbp,%rax,4),%eax
mov    -0x514(%rbp),%ecx
add    $0x14,%ecx
movslq %ecx,%rcx
cmp    -0x410(%rbp,%rcx,4),%eax
je     127b <main+0x14b>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1280 <main+0x150>
mov    -0x514(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x514(%rbp)
jmp    1240 <main+0x110>
movl   $0x0,-0x514(%rbp)
cmpl   $0x10,-0x514(%rbp)
jge    12de <main+0x1ae>
movslq -0x514(%rbp),%rax
mov    -0x210(%rbp,%rax,4),%ecx
add    $0x5,%ecx
movslq -0x514(%rbp),%rax
mov    %ecx,-0x210(%rbp,%rax,4)
mov    -0x514(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x514(%rbp)
jmp    129e <main+0x16e>
movl   $0x0,-0x514(%rbp)
cmpl   $0x10,-0x514(%rbp)
jge    133c <main+0x20c>
movslq -0x514(%rbp),%rax
mov    -0x210(%rbp,%rax,4),%eax
movslq -0x514(%rbp),%rcx
mov    -0x310(%rbp,%rcx,4),%ecx
add    $0x5,%ecx
cmp    %ecx,%eax
je     1323 <main+0x1f3>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1328 <main+0x1f8>
mov    -0x514(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x514(%rbp)
jmp    12e8 <main+0x1b8>
movl   $0x0,-0x514(%rbp)
cmpl   $0x4,-0x514(%rbp)
jge    1387 <main+0x257>
movslq -0x514(%rbp),%rax
mov    -0x310(%rbp,%rax,4),%ecx
mov    -0x514(%rbp),%eax
add    $0x3,%eax
cltq
mov    %ecx,-0x310(%rbp,%rax,4)
mov    -0x514(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x514(%rbp)
jmp    1346 <main+0x216>
movl   $0x0,-0x514(%rbp)
cmpl   $0x4,-0x514(%rbp)
jge    13e0 <main+0x2b0>
movslq -0x514(%rbp),%rax
mov    -0x310(%rbp,%rax,4),%eax
movslq -0x514(%rbp),%rcx
cmp    -0x510(%rbp,%rcx,4),%eax
je     13c7 <main+0x297>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    13cc <main+0x29c>
mov    -0x514(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x514(%rbp)
jmp    1391 <main+0x261>
xor    %eax,%eax
add    $0x520,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x400,%rsp
xor    %ebx,%ebx
xor    %eax,%eax
call   1040 <check_vect@plt>
movaps 0xeb8(%rip),%xmm0
movaps %xmm0,0x200(%rsp)
movaps %xmm0,0x100(%rsp)
movaps %xmm0,(%rsp)
movaps %xmm0,0x300(%rsp)
movaps 0xea5(%rip),%xmm0
movaps %xmm0,0x210(%rsp)
movaps %xmm0,0x110(%rsp)
movaps %xmm0,0x10(%rsp)
movaps %xmm0,0x310(%rsp)
movaps 0xe91(%rip),%xmm0
movaps %xmm0,0x220(%rsp)
movaps %xmm0,0x120(%rsp)
movaps %xmm0,0x20(%rsp)
movaps %xmm0,0x320(%rsp)
movaps 0xe7d(%rip),%xmm0
movaps %xmm0,0x230(%rsp)
movaps %xmm0,0x130(%rsp)
movaps %xmm0,0x30(%rsp)
movaps %xmm0,0x330(%rsp)
movaps 0xe69(%rip),%xmm0
movaps %xmm0,0x240(%rsp)
movaps %xmm0,0x140(%rsp)
movaps %xmm0,0x40(%rsp)
movaps %xmm0,0x340(%rsp)
lea    0x250(%rsp),%rsi
movaps 0xe4d(%rip),%xmm0
movaps %xmm0,0x250(%rsp)
movaps %xmm0,0x150(%rsp)
movaps %xmm0,0x50(%rsp)
movaps %xmm0,0x350(%rsp)
movaps 0xe39(%rip),%xmm0
movaps %xmm0,0x260(%rsp)
movaps %xmm0,0x160(%rsp)
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x360(%rsp)
movaps 0xe25(%rip),%xmm0
movaps %xmm0,0x270(%rsp)
movaps %xmm0,0x170(%rsp)
movaps %xmm0,0x70(%rsp)
movaps %xmm0,0x370(%rsp)
movaps 0xe11(%rip),%xmm0
movaps %xmm0,0x280(%rsp)
movaps %xmm0,0x180(%rsp)
movaps %xmm0,0x80(%rsp)
movaps %xmm0,0x380(%rsp)
movaps 0xdfa(%rip),%xmm0
movaps %xmm0,0x290(%rsp)
movaps %xmm0,0x190(%rsp)
movaps %xmm0,0x90(%rsp)
movaps %xmm0,0x390(%rsp)
movaps 0xde3(%rip),%xmm0
movaps %xmm0,0x2a0(%rsp)
movaps %xmm0,0x1a0(%rsp)
movaps %xmm0,0xa0(%rsp)
movaps %xmm0,0x3a0(%rsp)
movaps 0xdcc(%rip),%xmm0
movaps %xmm0,0x2b0(%rsp)
movaps %xmm0,0x1b0(%rsp)
movaps %xmm0,0xb0(%rsp)
movaps %xmm0,0x3b0(%rsp)
movaps 0xdb5(%rip),%xmm0
movaps %xmm0,0x2c0(%rsp)
movaps %xmm0,0x1c0(%rsp)
movaps %xmm0,0xc0(%rsp)
movaps %xmm0,0x3c0(%rsp)
movaps 0xd9e(%rip),%xmm0
movaps %xmm0,0x2d0(%rsp)
movaps %xmm0,0x1d0(%rsp)
movaps %xmm0,0xd0(%rsp)
movaps %xmm0,0x3d0(%rsp)
movaps 0xd87(%rip),%xmm0
movaps %xmm0,0x2e0(%rsp)
movaps %xmm0,0x1e0(%rsp)
movaps %xmm0,0xe0(%rsp)
movaps %xmm0,0x3e0(%rsp)
movdqa 0xd6f(%rip),%xmm0
movdqa %xmm0,0x2f0(%rsp)
movdqa %xmm0,0x1f0(%rsp)
movdqa %xmm0,0xf0(%rsp)
movdqa %xmm0,0x3f0(%rsp)
lea    0x200(%rsp),%rdi
mov    $0xb0,%edx
call   1050 <memmove@plt>
nopw   0x0(%rax,%rax,1)
mov    0x200(%rsp,%rbx,4),%eax
cmp    0x350(%rsp,%rbx,4),%eax
jne    14dd <main+0x3ad>
mov    0x204(%rsp,%rbx,4),%eax
cmp    0x354(%rsp,%rbx,4),%eax
jne    14dd <main+0x3ad>
mov    0x208(%rsp,%rbx,4),%eax
cmp    0x358(%rsp,%rbx,4),%eax
jne    14dd <main+0x3ad>
mov    0x20c(%rsp,%rbx,4),%eax
cmp    0x35c(%rsp,%rbx,4),%eax
jne    14dd <main+0x3ad>
add    $0x4,%rbx
cmp    $0x2c,%rbx
jne    13c0 <main+0x290>
mov    (%rsp),%eax
cmp    %eax,0x100(%rsp)
jne    14dd <main+0x3ad>
mov    0x4(%rsp),%ecx
cmp    %ecx,0x104(%rsp)
jne    14dd <main+0x3ad>
movdqu 0x118(%rsp),%xmm1
movdqu 0x108(%rsp),%xmm2
movdqu 0x8(%rsp),%xmm0
movdqu 0x18(%rsp),%xmm3
pcmpeqd %xmm1,%xmm3
pcmpeqd %xmm0,%xmm2
packssdw %xmm3,%xmm2
psllw  $0xf,%xmm2
packsswb %xmm2,%xmm2
pmovmskb %xmm2,%edx
cmp    $0xff,%dl
jne    14dd <main+0x3ad>
mov    0x28(%rsp),%edx
cmp    %edx,0x128(%rsp)
jne    14dd <main+0x3ad>
mov    0x2c(%rsp),%edx
cmp    %edx,0x12c(%rsp)
jne    14dd <main+0x3ad>
movdqa 0x130(%rsp),%xmm1
pcmpeqd 0x30(%rsp),%xmm1
movmskps %xmm1,%edx
test   $0x1,%dl
je     14dd <main+0x3ad>
mov    %edx,%ebx
and    $0x2,%bl
shr    %bl
je     14dd <main+0x3ad>
mov    %edx,%ebx
and    $0x4,%bl
shr    $0x2,%bl
je     14dd <main+0x3ad>
shr    $0x3,%dl
je     14dd <main+0x3ad>
test   %eax,%eax
jne    14dd <main+0x3ad>
cmp    $0x1,%ecx
jne    14dd <main+0x3ad>
movd   %xmm0,%eax
cmp    $0x2,%eax
jne    14dd <main+0x3ad>
xor    %eax,%eax
add    $0x400,%rsp
pop    %rbx
ret
xor    %eax,%eax
call   1030 <abort@plt>

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

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