#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*/ assert(int);
void t17() {
  int arr_a[32 * 32], arr_b[32 * 32], i;
  int num_workers, num_gangs;
  for (num_workers = 1; num_workers <= 32; num_workers <<= 1)
    for (num_gangs = 1; num_gangs <= 32; num_gangs <<= 1) {
      for (i = 0; i < 32 * 32; i++)
        arr_a[i] = i;
#pragma acc parallel copyin(arr_a) copyout(arr_b) num_gangs(num_gangs)         \
    num_workers(num_workers) vector_length(32)
      {
        int j;
#pragma acc loop gang
        for (j = 0; j < 32; j++) {
          int k;
#pragma acc loop worker
          for (k = 0; k < 32; k++)
            arr_b[j * 32 + (31 - k)] = arr_a[j * 32 + k] * 2;
#pragma acc loop worker
          for (k = 0; k < 32; k++)
            arr_a[j * 32 + (31 - k)] = arr_b[j * 32 + k] * 2;
#pragma acc loop worker
          for (k = 0; k < 32; k++)
            arr_b[j * 32 + (31 - k)] = arr_a[j * 32 + k] * 2;
        }
      }
      for (i = 0; i < 32 * 32; i++)
        assert(arr_b[i] == (i ^ 31) * 8);
    }
}


x86 assembly (clang, -O0):
<t17>:
push   %rbp
mov    %rsp,%rbp
sub    $0x2020,%rsp
movl   $0x1,-0x2008(%rbp)
cmpl   $0x20,-0x2008(%rbp)
jg     1373 <t17+0x263>
movl   $0x1,-0x200c(%rbp)
cmpl   $0x20,-0x200c(%rbp)
jg     135a <t17+0x24a>
movl   $0x0,-0x2004(%rbp)
cmpl   $0x400,-0x2004(%rbp)
jge    118b <t17+0x7b>
mov    -0x2004(%rbp),%ecx
movslq -0x2004(%rbp),%rax
mov    %ecx,-0x1000(%rbp,%rax,4)
mov    -0x2004(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2004(%rbp)
jmp    1153 <t17+0x43>
movl   $0x0,-0x2010(%rbp)
cmpl   $0x20,-0x2010(%rbp)
jge    12ea <t17+0x1da>
movl   $0x0,-0x2014(%rbp)
cmpl   $0x20,-0x2014(%rbp)
jge    1207 <t17+0xf7>
mov    -0x2010(%rbp),%eax
shl    $0x5,%eax
add    -0x2014(%rbp),%eax
cltq
mov    -0x1000(%rbp,%rax,4),%ecx
shl    $0x1,%ecx
mov    -0x2010(%rbp),%eax
shl    $0x5,%eax
mov    $0x1f,%edx
sub    -0x2014(%rbp),%edx
add    %edx,%eax
cltq
mov    %ecx,-0x2000(%rbp,%rax,4)
mov    -0x2014(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2014(%rbp)
jmp    11ac <t17+0x9c>
movl   $0x0,-0x2014(%rbp)
cmpl   $0x20,-0x2014(%rbp)
jge    126c <t17+0x15c>
mov    -0x2010(%rbp),%eax
shl    $0x5,%eax
add    -0x2014(%rbp),%eax
cltq
mov    -0x2000(%rbp,%rax,4),%ecx
shl    $0x1,%ecx
mov    -0x2010(%rbp),%eax
shl    $0x5,%eax
mov    $0x1f,%edx
sub    -0x2014(%rbp),%edx
add    %edx,%eax
cltq
mov    %ecx,-0x1000(%rbp,%rax,4)
mov    -0x2014(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2014(%rbp)
jmp    1211 <t17+0x101>
movl   $0x0,-0x2014(%rbp)
cmpl   $0x20,-0x2014(%rbp)
jge    12d1 <t17+0x1c1>
mov    -0x2010(%rbp),%eax
shl    $0x5,%eax
add    -0x2014(%rbp),%eax
cltq
mov    -0x1000(%rbp,%rax,4),%ecx
shl    $0x1,%ecx
mov    -0x2010(%rbp),%eax
shl    $0x5,%eax
mov    $0x1f,%edx
sub    -0x2014(%rbp),%edx
add    %edx,%eax
cltq
mov    %ecx,-0x2000(%rbp,%rax,4)
mov    -0x2014(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2014(%rbp)
jmp    1276 <t17+0x166>
jmp    12d6 <t17+0x1c6>
mov    -0x2010(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2010(%rbp)
jmp    1195 <t17+0x85>
movl   $0x0,-0x2004(%rbp)
cmpl   $0x400,-0x2004(%rbp)
jge    1341 <t17+0x231>
movslq -0x2004(%rbp),%rax
mov    -0x2000(%rbp,%rax,4),%eax
mov    -0x2004(%rbp),%ecx
xor    $0x1f,%ecx
shl    $0x3,%ecx
cmp    %ecx,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x2004(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2004(%rbp)
jmp    12f4 <t17+0x1e4>
jmp    1346 <t17+0x236>
mov    -0x200c(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x200c(%rbp)
jmp    113c <t17+0x2c>
jmp    135f <t17+0x24f>
mov    -0x2008(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x2008(%rbp)
jmp    1125 <t17+0x15>
add    $0x2020,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<t17>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x2000,%rsp
mov    $0x1,%r14d
movdqa 0xee2(%rip),%xmm8
movdqa 0xee9(%rip),%xmm9
movdqa 0xef0(%rip),%xmm10
movdqa 0xef8(%rip),%xmm6
movdqa 0xf00(%rip),%xmm7
movdqa 0xf08(%rip),%xmm3
movdqa 0xf10(%rip),%xmm4
movdqa 0xf18(%rip),%xmm5
lea    0x1000(%rsp),%r15
mov    $0x1,%r12d
cs nopw 0x0(%rax,%rax,1)
xor    %eax,%eax
movdqa 0xe76(%rip),%xmm0
nopw   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm1
paddd  %xmm8,%xmm1
movdqa %xmm0,(%rsp,%rax,4)
movdqa %xmm1,0x10(%rsp,%rax,4)
movdqa %xmm0,%xmm1
paddd  %xmm9,%xmm1
movdqa %xmm0,%xmm2
paddd  %xmm10,%xmm2
movdqa %xmm1,0x20(%rsp,%rax,4)
movdqa %xmm2,0x30(%rsp,%rax,4)
movdqa %xmm0,%xmm1
paddd  %xmm6,%xmm1
movdqa %xmm0,%xmm2
paddd  %xmm7,%xmm2
movdqa %xmm1,0x40(%rsp,%rax,4)
movdqa %xmm2,0x50(%rsp,%rax,4)
movdqa %xmm0,%xmm1
paddd  %xmm3,%xmm1
movdqa %xmm0,%xmm2
paddd  %xmm4,%xmm2
movdqa %xmm1,0x60(%rsp,%rax,4)
movdqa %xmm2,0x70(%rsp,%rax,4)
add    $0x20,%rax
paddd  %xmm5,%xmm0
cmp    $0x400,%rax
jne    1190 <t17+0x80>
xor    %eax,%eax
nopl   0x0(%rax)
movdqa (%rsp,%rax,1),%xmm2
movdqa 0x10(%rsp,%rax,1),%xmm3
movdqa 0x20(%rsp,%rax,1),%xmm1
movdqa 0x30(%rsp,%rax,1),%xmm0
paddd  %xmm2,%xmm2
pshufd $0x1b,%xmm2,%xmm2
movdqa %xmm2,0x1070(%rsp,%rax,1)
paddd  %xmm3,%xmm3
pshufd $0x1b,%xmm3,%xmm2
movdqa %xmm2,0x1060(%rsp,%rax,1)
paddd  %xmm1,%xmm1
pshufd $0x1b,%xmm1,%xmm2
movdqa %xmm2,0x1050(%rsp,%rax,1)
paddd  %xmm0,%xmm0
pshufd $0x1b,%xmm0,%xmm2
movdqa %xmm2,0x1040(%rsp,%rax,1)
movdqa 0x40(%rsp,%rax,1),%xmm2
paddd  %xmm2,%xmm2
pshufd $0x1b,%xmm2,%xmm3
movdqa %xmm3,0x1030(%rsp,%rax,1)
movdqa 0x50(%rsp,%rax,1),%xmm3
paddd  %xmm3,%xmm3
pshufd $0x1b,%xmm3,%xmm4
movdqa %xmm4,0x1020(%rsp,%rax,1)
movdqa 0x60(%rsp,%rax,1),%xmm4
paddd  %xmm4,%xmm4
pshufd $0x1b,%xmm4,%xmm5
movdqa %xmm5,0x1010(%rsp,%rax,1)
movdqa 0x70(%rsp,%rax,1),%xmm5
paddd  %xmm5,%xmm5
pshufd $0x1b,%xmm5,%xmm6
movdqa %xmm6,0x1000(%rsp,%rax,1)
paddd  %xmm5,%xmm5
movdqa %xmm5,0x70(%rsp,%rax,1)
paddd  %xmm4,%xmm4
movdqa %xmm4,0x60(%rsp,%rax,1)
paddd  %xmm3,%xmm3
movdqa %xmm3,0x50(%rsp,%rax,1)
paddd  %xmm2,%xmm2
movdqa %xmm2,0x40(%rsp,%rax,1)
paddd  %xmm0,%xmm0
movdqa %xmm0,0x30(%rsp,%rax,1)
paddd  %xmm1,%xmm1
movdqa %xmm1,0x20(%rsp,%rax,1)
movdqa 0x1060(%rsp,%rax,1),%xmm4
paddd  %xmm4,%xmm4
pshufd $0x1b,%xmm4,%xmm5
movdqa %xmm5,0x10(%rsp,%rax,1)
movdqa 0x1070(%rsp,%rax,1),%xmm5
paddd  %xmm5,%xmm5
pshufd $0x1b,%xmm5,%xmm6
movdqa %xmm6,(%rsp,%rax,1)
paddd  %xmm5,%xmm5
movdqa %xmm5,0x1070(%rsp,%rax,1)
paddd  %xmm4,%xmm4
movdqa %xmm4,0x1060(%rsp,%rax,1)
paddd  %xmm1,%xmm1
pshufd $0x1b,%xmm1,%xmm1
movdqa %xmm1,0x1050(%rsp,%rax,1)
paddd  %xmm0,%xmm0
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm0,0x1040(%rsp,%rax,1)
paddd  %xmm2,%xmm2
pshufd $0x1b,%xmm2,%xmm0
movdqa %xmm0,0x1030(%rsp,%rax,1)
paddd  %xmm3,%xmm3
pshufd $0x1b,%xmm3,%xmm0
movdqa %xmm0,0x1020(%rsp,%rax,1)
movdqa 0x60(%rsp,%rax,1),%xmm0
paddd  %xmm0,%xmm0
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm0,0x1010(%rsp,%rax,1)
movdqa 0x70(%rsp,%rax,1),%xmm0
paddd  %xmm0,%xmm0
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm0,0x1000(%rsp,%rax,1)
sub    $0xffffffffffffff80,%rax
cmp    $0x1000,%rax
jne    1210 <t17+0x100>
mov    %r15,%rbx
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %ebp,%eax
xor    $0xf8,%eax
xor    %edi,%edi
cmp    %eax,(%rbx)
sete   %dil
call   1030 <assert@plt>
add    $0x8,%rbp
add    $0x4,%rbx
cmp    $0x2000,%rbp
jne    13f0 <t17+0x2e0>
add    %r12d,%r12d
cmp    $0x21,%r12d
movdqa 0xbeb(%rip),%xmm8
movdqa 0xbf2(%rip),%xmm9
movdqa 0xbf9(%rip),%xmm10
movdqa 0xc01(%rip),%xmm6
movdqa 0xc09(%rip),%xmm7
movdqa 0xc11(%rip),%xmm3
movdqa 0xc19(%rip),%xmm4
movdqa 0xc21(%rip),%xmm5
jl     1180 <t17+0x70>
add    %r14d,%r14d
cmp    $0x21,%r14d
jl     1170 <t17+0x60>
add    $0x2000,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @t17() {
%1 = alloca [1024 x i32]
%2 = alloca [1024 x i32]
%3 = bitcast [1024 x i32]* %1 to i8*
%4 = bitcast [1024 x i32]* %2 to i8*
br label %5
5: ; preds = %0, %296
%6 = phi i32 [ 1, %0 ], [ %297, %296 ]
br label %7
7: ; preds = %293, %5
%8 = phi i32 [ 1, %5 ], [ %294, %293 ]
br label %9
9: ; preds = %9, %7
%10 = phi i64 [ 0, %7 ], [ %38, %9 ]
%11 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %7 ], [ %39, %9 ]
%12 = add <4 x i32> %11, <i32 4, i32 4, i32 4, i32 4>
%13 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %10
%14 = bitcast i32* %13 to <4 x i32>*
store <4 x i32> %11, <4 x i32>* %14
%15 = getelementptr inbounds i32, i32* %13, i64 4
%16 = bitcast i32* %15 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %16
%17 = or i64 %10, 8
%18 = add <4 x i32> %11, <i32 8, i32 8, i32 8, i32 8>
%19 = add <4 x i32> %11, <i32 12, i32 12, i32 12, i32 12>
%20 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %17
%21 = bitcast i32* %20 to <4 x i32>*
store <4 x i32> %18, <4 x i32>* %21
%22 = getelementptr inbounds i32, i32* %20, i64 4
%23 = bitcast i32* %22 to <4 x i32>*
store <4 x i32> %19, <4 x i32>* %23
%24 = or i64 %10, 16
%25 = add <4 x i32> %11, <i32 16, i32 16, i32 16, i32 16>
%26 = add <4 x i32> %11, <i32 20, i32 20, i32 20, i32 20>
%27 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %24
%28 = bitcast i32* %27 to <4 x i32>*
store <4 x i32> %25, <4 x i32>* %28
%29 = getelementptr inbounds i32, i32* %27, i64 4
%30 = bitcast i32* %29 to <4 x i32>*
store <4 x i32> %26, <4 x i32>* %30
%31 = or i64 %10, 24
%32 = add <4 x i32> %11, <i32 24, i32 24, i32 24, i32 24>
%33 = add <4 x i32> %11, <i32 28, i32 28, i32 28, i32 28>
%34 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %31
%35 = bitcast i32* %34 to <4 x i32>*
store <4 x i32> %32, <4 x i32>* %35
%36 = getelementptr inbounds i32, i32* %34, i64 4
%37 = bitcast i32* %36 to <4 x i32>*
store <4 x i32> %33, <4 x i32>* %37
%38 = add nuw nsw i64 %10, 32
%39 = add <4 x i32> %11, <i32 32, i32 32, i32 32, i32 32>
%40 = icmp eq i64 %38, 1024
br i1 %40, label %41, label %9
41: ; preds = %9, %41
%42 = phi i64 [ %279, %41 ], [ 0, %9 ]
%43 = shl nsw i64 %42, 5
%44 = or i64 %43, 31
%45 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %43
%46 = bitcast i32* %45 to <4 x i32>*
%47 = load <4 x i32>, <4 x i32>* %46
%48 = shl nsw <4 x i32> %47, <i32 1, i32 1, i32 1, i32 1>
%49 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %44
%50 = shufflevector <4 x i32> %48, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%51 = getelementptr inbounds i32, i32* %49, i64 -3
%52 = bitcast i32* %51 to <4 x i32>*
store <4 x i32> %50, <4 x i32>* %52
%53 = or i64 %43, 4
%54 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %53
%55 = bitcast i32* %54 to <4 x i32>*
%56 = load <4 x i32>, <4 x i32>* %55
%57 = shl nsw <4 x i32> %56, <i32 1, i32 1, i32 1, i32 1>
%58 = or i64 %43, 27
%59 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %58
%60 = shufflevector <4 x i32> %57, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%61 = getelementptr inbounds i32, i32* %59, i64 -3
%62 = bitcast i32* %61 to <4 x i32>*
store <4 x i32> %60, <4 x i32>* %62
%63 = or i64 %43, 8
%64 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %63
%65 = bitcast i32* %64 to <4 x i32>*
%66 = load <4 x i32>, <4 x i32>* %65
%67 = shl nsw <4 x i32> %66, <i32 1, i32 1, i32 1, i32 1>
%68 = or i64 %43, 23
%69 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %68
%70 = shufflevector <4 x i32> %67, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%71 = getelementptr inbounds i32, i32* %69, i64 -3
%72 = bitcast i32* %71 to <4 x i32>*
store <4 x i32> %70, <4 x i32>* %72
%73 = or i64 %43, 12
%74 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %73
%75 = bitcast i32* %74 to <4 x i32>*
%76 = load <4 x i32>, <4 x i32>* %75
%77 = shl nsw <4 x i32> %76, <i32 1, i32 1, i32 1, i32 1>
%78 = or i64 %43, 19
%79 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %78
%80 = shufflevector <4 x i32> %77, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%81 = getelementptr inbounds i32, i32* %79, i64 -3
%82 = bitcast i32* %81 to <4 x i32>*
store <4 x i32> %80, <4 x i32>* %82
%83 = or i64 %43, 16
%84 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %83
%85 = bitcast i32* %84 to <4 x i32>*
%86 = load <4 x i32>, <4 x i32>* %85
%87 = shl nsw <4 x i32> %86, <i32 1, i32 1, i32 1, i32 1>
%88 = or i64 %43, 15
%89 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %88
%90 = shufflevector <4 x i32> %87, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%91 = getelementptr inbounds i32, i32* %89, i64 -3
%92 = bitcast i32* %91 to <4 x i32>*
store <4 x i32> %90, <4 x i32>* %92
%93 = or i64 %43, 20
%94 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %93
%95 = bitcast i32* %94 to <4 x i32>*
%96 = load <4 x i32>, <4 x i32>* %95
%97 = shl nsw <4 x i32> %96, <i32 1, i32 1, i32 1, i32 1>
%98 = or i64 %43, 11
%99 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %98
%100 = shufflevector <4 x i32> %97, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%101 = getelementptr inbounds i32, i32* %99, i64 -3
%102 = bitcast i32* %101 to <4 x i32>*
store <4 x i32> %100, <4 x i32>* %102
%103 = or i64 %43, 24
%104 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %103
%105 = bitcast i32* %104 to <4 x i32>*
%106 = load <4 x i32>, <4 x i32>* %105
%107 = shl nsw <4 x i32> %106, <i32 1, i32 1, i32 1, i32 1>
%108 = or i64 %43, 7
%109 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %108
%110 = shufflevector <4 x i32> %107, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%111 = getelementptr inbounds i32, i32* %109, i64 -3
%112 = bitcast i32* %111 to <4 x i32>*
store <4 x i32> %110, <4 x i32>* %112
%113 = or i64 %43, 28
%114 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %113
%115 = bitcast i32* %114 to <4 x i32>*
%116 = load <4 x i32>, <4 x i32>* %115
%117 = shl nsw <4 x i32> %116, <i32 1, i32 1, i32 1, i32 1>
%118 = or i64 %43, 3
%119 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %118
%120 = shufflevector <4 x i32> %117, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%121 = getelementptr inbounds i32, i32* %119, i64 -3
%122 = bitcast i32* %121 to <4 x i32>*
store <4 x i32> %120, <4 x i32>* %122
%123 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %43
%124 = bitcast i32* %123 to <4 x i32>*
%125 = load <4 x i32>, <4 x i32>* %124
%126 = shl nsw <4 x i32> %125, <i32 1, i32 1, i32 1, i32 1>
%127 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %44
%128 = shufflevector <4 x i32> %126, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%129 = getelementptr inbounds i32, i32* %127, i64 -3
%130 = bitcast i32* %129 to <4 x i32>*
store <4 x i32> %128, <4 x i32>* %130
%131 = or i64 %43, 4
%132 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %131
%133 = bitcast i32* %132 to <4 x i32>*
%134 = load <4 x i32>, <4 x i32>* %133
%135 = shl nsw <4 x i32> %134, <i32 1, i32 1, i32 1, i32 1>
%136 = or i64 %43, 27
%137 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %136
%138 = shufflevector <4 x i32> %135, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%139 = getelementptr inbounds i32, i32* %137, i64 -3
%140 = bitcast i32* %139 to <4 x i32>*
store <4 x i32> %138, <4 x i32>* %140
%141 = or i64 %43, 8
%142 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %141
%143 = bitcast i32* %142 to <4 x i32>*
%144 = load <4 x i32>, <4 x i32>* %143
%145 = shl nsw <4 x i32> %144, <i32 1, i32 1, i32 1, i32 1>
%146 = or i64 %43, 23
%147 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %146
%148 = shufflevector <4 x i32> %145, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%149 = getelementptr inbounds i32, i32* %147, i64 -3
%150 = bitcast i32* %149 to <4 x i32>*
store <4 x i32> %148, <4 x i32>* %150
%151 = or i64 %43, 12
%152 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %151
%153 = bitcast i32* %152 to <4 x i32>*
%154 = load <4 x i32>, <4 x i32>* %153
%155 = shl nsw <4 x i32> %154, <i32 1, i32 1, i32 1, i32 1>
%156 = or i64 %43, 19
%157 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %156
%158 = shufflevector <4 x i32> %155, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%159 = getelementptr inbounds i32, i32* %157, i64 -3
%160 = bitcast i32* %159 to <4 x i32>*
store <4 x i32> %158, <4 x i32>* %160
%161 = or i64 %43, 16
%162 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %161
%163 = bitcast i32* %162 to <4 x i32>*
%164 = load <4 x i32>, <4 x i32>* %163
%165 = shl nsw <4 x i32> %164, <i32 1, i32 1, i32 1, i32 1>
%166 = or i64 %43, 15
%167 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %166
%168 = shufflevector <4 x i32> %165, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%169 = getelementptr inbounds i32, i32* %167, i64 -3
%170 = bitcast i32* %169 to <4 x i32>*
store <4 x i32> %168, <4 x i32>* %170
%171 = or i64 %43, 20
%172 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %171
%173 = bitcast i32* %172 to <4 x i32>*
%174 = load <4 x i32>, <4 x i32>* %173
%175 = shl nsw <4 x i32> %174, <i32 1, i32 1, i32 1, i32 1>
%176 = or i64 %43, 11
%177 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %176
%178 = shufflevector <4 x i32> %175, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%179 = getelementptr inbounds i32, i32* %177, i64 -3
%180 = bitcast i32* %179 to <4 x i32>*
store <4 x i32> %178, <4 x i32>* %180
%181 = or i64 %43, 24
%182 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %181
%183 = bitcast i32* %182 to <4 x i32>*
%184 = load <4 x i32>, <4 x i32>* %183
%185 = shl nsw <4 x i32> %184, <i32 1, i32 1, i32 1, i32 1>
%186 = or i64 %43, 7
%187 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %186
%188 = shufflevector <4 x i32> %185, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%189 = getelementptr inbounds i32, i32* %187, i64 -3
%190 = bitcast i32* %189 to <4 x i32>*
store <4 x i32> %188, <4 x i32>* %190
%191 = or i64 %43, 28
%192 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %191
%193 = bitcast i32* %192 to <4 x i32>*
%194 = load <4 x i32>, <4 x i32>* %193
%195 = shl nsw <4 x i32> %194, <i32 1, i32 1, i32 1, i32 1>
%196 = or i64 %43, 3
%197 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %196
%198 = shufflevector <4 x i32> %195, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%199 = getelementptr inbounds i32, i32* %197, i64 -3
%200 = bitcast i32* %199 to <4 x i32>*
store <4 x i32> %198, <4 x i32>* %200
%201 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %43
%202 = bitcast i32* %201 to <4 x i32>*
%203 = load <4 x i32>, <4 x i32>* %202
%204 = shl nsw <4 x i32> %203, <i32 1, i32 1, i32 1, i32 1>
%205 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %44
%206 = shufflevector <4 x i32> %204, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%207 = getelementptr inbounds i32, i32* %205, i64 -3
%208 = bitcast i32* %207 to <4 x i32>*
store <4 x i32> %206, <4 x i32>* %208
%209 = or i64 %43, 4
%210 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %209
%211 = bitcast i32* %210 to <4 x i32>*
%212 = load <4 x i32>, <4 x i32>* %211
%213 = shl nsw <4 x i32> %212, <i32 1, i32 1, i32 1, i32 1>
%214 = or i64 %43, 27
%215 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %214
%216 = shufflevector <4 x i32> %213, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%217 = getelementptr inbounds i32, i32* %215, i64 -3
%218 = bitcast i32* %217 to <4 x i32>*
store <4 x i32> %216, <4 x i32>* %218
%219 = or i64 %43, 8
%220 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %219
%221 = bitcast i32* %220 to <4 x i32>*
%222 = load <4 x i32>, <4 x i32>* %221
%223 = shl nsw <4 x i32> %222, <i32 1, i32 1, i32 1, i32 1>
%224 = or i64 %43, 23
%225 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %224
%226 = shufflevector <4 x i32> %223, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%227 = getelementptr inbounds i32, i32* %225, i64 -3
%228 = bitcast i32* %227 to <4 x i32>*
store <4 x i32> %226, <4 x i32>* %228
%229 = or i64 %43, 12
%230 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %229
%231 = bitcast i32* %230 to <4 x i32>*
%232 = load <4 x i32>, <4 x i32>* %231
%233 = shl nsw <4 x i32> %232, <i32 1, i32 1, i32 1, i32 1>
%234 = or i64 %43, 19
%235 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %234
%236 = shufflevector <4 x i32> %233, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%237 = getelementptr inbounds i32, i32* %235, i64 -3
%238 = bitcast i32* %237 to <4 x i32>*
store <4 x i32> %236, <4 x i32>* %238
%239 = or i64 %43, 16
%240 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %239
%241 = bitcast i32* %240 to <4 x i32>*
%242 = load <4 x i32>, <4 x i32>* %241
%243 = shl nsw <4 x i32> %242, <i32 1, i32 1, i32 1, i32 1>
%244 = or i64 %43, 15
%245 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %244
%246 = shufflevector <4 x i32> %243, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%247 = getelementptr inbounds i32, i32* %245, i64 -3
%248 = bitcast i32* %247 to <4 x i32>*
store <4 x i32> %246, <4 x i32>* %248
%249 = or i64 %43, 20
%250 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %249
%251 = bitcast i32* %250 to <4 x i32>*
%252 = load <4 x i32>, <4 x i32>* %251
%253 = shl nsw <4 x i32> %252, <i32 1, i32 1, i32 1, i32 1>
%254 = or i64 %43, 11
%255 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %254
%256 = shufflevector <4 x i32> %253, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%257 = getelementptr inbounds i32, i32* %255, i64 -3
%258 = bitcast i32* %257 to <4 x i32>*
store <4 x i32> %256, <4 x i32>* %258
%259 = or i64 %43, 24
%260 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %259
%261 = bitcast i32* %260 to <4 x i32>*
%262 = load <4 x i32>, <4 x i32>* %261
%263 = shl nsw <4 x i32> %262, <i32 1, i32 1, i32 1, i32 1>
%264 = or i64 %43, 7
%265 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %264
%266 = shufflevector <4 x i32> %263, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%267 = getelementptr inbounds i32, i32* %265, i64 -3
%268 = bitcast i32* %267 to <4 x i32>*
store <4 x i32> %266, <4 x i32>* %268
%269 = or i64 %43, 28
%270 = getelementptr inbounds [1024 x i32], [1024 x i32]* %1, i64 0, i64 %269
%271 = bitcast i32* %270 to <4 x i32>*
%272 = load <4 x i32>, <4 x i32>* %271
%273 = shl nsw <4 x i32> %272, <i32 1, i32 1, i32 1, i32 1>
%274 = or i64 %43, 3
%275 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %274
%276 = shufflevector <4 x i32> %273, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%277 = getelementptr inbounds i32, i32* %275, i64 -3
%278 = bitcast i32* %277 to <4 x i32>*
store <4 x i32> %276, <4 x i32>* %278
%279 = add nuw nsw i64 %42, 1
%280 = icmp eq i64 %279, 32
br i1 %280, label %281, label %41
281: ; preds = %41, %281
%282 = phi i64 [ %291, %281 ], [ 0, %41 ]
%283 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %282
%284 = load i32, i32* %283
%285 = trunc i64 %282 to i32
%286 = shl i32 %285, 3
%287 = xor i32 %286, 248
%288 = icmp eq i32 %284, %287
%289 = zext i1 %288 to i32
%290 = tail call i32 @assert(i32 %289)
%291 = add nuw nsw i64 %282, 1
%292 = icmp eq i64 %291, 1024
br i1 %292, label %293, label %281
293: ; preds = %281
%294 = shl i32 %8, 1
%295 = icmp slt i32 %294, 33
br i1 %295, label %7, label %296
296: ; preds = %293
%297 = shl i32 %6, 1
%298 = icmp slt i32 %297, 33
br i1 %298, label %5, label %299
299: ; preds = %296
ret void
}