int main() {
  int A[256];
  int B[256];
  int taps[16];
  int checksum;
  int i;
  for (i = 0; i < 16; i++)
    taps[i] = (1 << 16) - 1;
  for (i = 0; i < 256; i++)
    A[i] = (1 << 16) - 1;
  for (i = 0; i < (256 - 16); i++) {
    B[i] = A[i] * taps[0] + A[i + 1] * taps[1] + A[i + 2] * taps[2] +
           A[i + 3] * taps[3] + A[i + 4] * taps[4] + A[i + 5] * taps[5] +
           A[i + 6] * taps[6] + A[i + 7] * taps[7] + A[i + 8] * taps[8] +
           A[i + 9] * taps[9] + A[i + 10] * taps[10] + A[i + 11] * taps[11] +
           A[i + 12] * taps[12] + A[i + 13] * taps[13] + A[i + 14] * taps[14] +
           A[i + 15] * taps[15];
  }
  checksum = 0;
  for (i = 0; i < 256; i++)
    checksum += A[i] & 0x3f;
  if (checksum == 16128) {
    return 0xbadbeef;
  } else {
    return 0xbad;
  }
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x7e0,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x858(%rbp)
cmpl   $0x10,-0x858(%rbp)
jge    114f <main+0x4f>
movslq -0x858(%rbp),%rax
movl   $0xffff,-0x850(%rbp,%rax,4)
mov    -0x858(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x858(%rbp)
jmp    111c <main+0x1c>
movl   $0x0,-0x858(%rbp)
cmpl   $0x100,-0x858(%rbp)
jge    118f <main+0x8f>
movslq -0x858(%rbp),%rax
movl   $0xffff,-0x410(%rbp,%rax,4)
mov    -0x858(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x858(%rbp)
jmp    1159 <main+0x59>
movl   $0x0,-0x858(%rbp)
cmpl   $0xf0,-0x858(%rbp)
jge    1375 <main+0x275>
movslq -0x858(%rbp),%rax
mov    -0x410(%rbp,%rax,4),%ecx
imul   -0x850(%rbp),%ecx
mov    -0x858(%rbp),%eax
add    $0x1,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x84c(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0x2,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x848(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0x3,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x844(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0x4,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x840(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0x5,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x83c(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0x6,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x838(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0x7,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x834(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0x8,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x830(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0x9,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x82c(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0xa,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x828(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0xb,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x824(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0xc,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x820(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0xd,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x81c(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0xe,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x818(%rbp),%eax
add    %eax,%ecx
mov    -0x858(%rbp),%eax
add    $0xf,%eax
cltq
mov    -0x410(%rbp,%rax,4),%eax
imul   -0x814(%rbp),%eax
add    %eax,%ecx
movslq -0x858(%rbp),%rax
mov    %ecx,-0x810(%rbp,%rax,4)
mov    -0x858(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x858(%rbp)
jmp    1199 <main+0x99>
movl   $0x0,-0x854(%rbp)
movl   $0x0,-0x858(%rbp)
cmpl   $0x100,-0x858(%rbp)
jge    13ca <main+0x2ca>
movslq -0x858(%rbp),%rax
mov    -0x410(%rbp,%rax,4),%eax
and    $0x3f,%eax
add    -0x854(%rbp),%eax
mov    %eax,-0x854(%rbp)
mov    -0x858(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x858(%rbp)
jmp    1389 <main+0x289>
cmpl   $0x3f00,-0x854(%rbp)
jne    13e6 <main+0x2e6>
movl   $0xbadbeef,-0x4(%rbp)
jmp    13ed <main+0x2ed>
movl   $0xbad,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x7e0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x388,%rsp
movaps 0xef2(%rip),%xmm0
movaps %xmm0,-0x80(%rsp)
movaps %xmm0,-0x70(%rsp)
movaps %xmm0,-0x60(%rsp)
movaps %xmm0,-0x50(%rsp)
movaps %xmm0,-0x40(%rsp)
movaps %xmm0,-0x30(%rsp)
movaps %xmm0,-0x20(%rsp)
movaps %xmm0,-0x10(%rsp)
movaps %xmm0,(%rsp)
movaps %xmm0,0x10(%rsp)
movaps %xmm0,0x20(%rsp)
movaps %xmm0,0x30(%rsp)
movaps %xmm0,0x40(%rsp)
movaps %xmm0,0x50(%rsp)
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x70(%rsp)
movaps %xmm0,0x80(%rsp)
movaps %xmm0,0x90(%rsp)
movaps %xmm0,0xa0(%rsp)
movaps %xmm0,0xb0(%rsp)
movaps %xmm0,0xc0(%rsp)
movaps %xmm0,0xd0(%rsp)
movaps %xmm0,0xe0(%rsp)
movaps %xmm0,0xf0(%rsp)
movaps %xmm0,0x100(%rsp)
movaps %xmm0,0x110(%rsp)
movaps %xmm0,0x120(%rsp)
movaps %xmm0,0x130(%rsp)
movaps %xmm0,0x140(%rsp)
movaps %xmm0,0x150(%rsp)
movaps %xmm0,0x160(%rsp)
movaps %xmm0,0x170(%rsp)
movaps %xmm0,0x180(%rsp)
movaps %xmm0,0x190(%rsp)
movaps %xmm0,0x1a0(%rsp)
movaps %xmm0,0x1b0(%rsp)
movaps %xmm0,0x1c0(%rsp)
movaps %xmm0,0x1d0(%rsp)
movaps %xmm0,0x1e0(%rsp)
movaps %xmm0,0x1f0(%rsp)
movaps %xmm0,0x200(%rsp)
movaps %xmm0,0x210(%rsp)
movaps %xmm0,0x220(%rsp)
movaps %xmm0,0x230(%rsp)
movaps %xmm0,0x240(%rsp)
movaps %xmm0,0x250(%rsp)
movaps %xmm0,0x260(%rsp)
movaps %xmm0,0x270(%rsp)
movaps %xmm0,0x280(%rsp)
movaps %xmm0,0x290(%rsp)
movaps %xmm0,0x2a0(%rsp)
movaps %xmm0,0x2b0(%rsp)
movaps %xmm0,0x2c0(%rsp)
movaps %xmm0,0x2d0(%rsp)
movaps %xmm0,0x2e0(%rsp)
movaps %xmm0,0x2f0(%rsp)
movaps %xmm0,0x300(%rsp)
movaps %xmm0,0x310(%rsp)
movaps %xmm0,0x320(%rsp)
movaps %xmm0,0x330(%rsp)
movaps %xmm0,0x340(%rsp)
movaps %xmm0,0x350(%rsp)
movaps %xmm0,0x360(%rsp)
movaps %xmm0,0x370(%rsp)
pxor   %xmm1,%xmm1
xor    %eax,%eax
movdqa 0xd25(%rip),%xmm0
pxor   %xmm2,%xmm2
nop
movdqa -0x80(%rsp,%rax,4),%xmm3
pand   %xmm0,%xmm3
paddd  %xmm1,%xmm3
movdqa -0x70(%rsp,%rax,4),%xmm4
pand   %xmm0,%xmm4
paddd  %xmm2,%xmm4
movdqa -0x60(%rsp,%rax,4),%xmm1
pand   %xmm0,%xmm1
paddd  %xmm3,%xmm1
movdqa -0x50(%rsp,%rax,4),%xmm2
pand   %xmm0,%xmm2
paddd  %xmm4,%xmm2
add    $0x10,%rax
cmp    $0x100,%rax
jne    12f0 <main+0x1f0>
paddd  %xmm1,%xmm2
pshufd $0xee,%xmm2,%xmm0
paddd  %xmm2,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%eax
cmp    $0x3f00,%eax
mov    $0xbadbeef,%ecx
mov    $0xbad,%eax
cmove  %ecx,%eax
add    $0x388,%rsp
ret

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

LLVM IR (-O2):
define i32 @main() {
%1 = alloca [256 x i32]
%2 = bitcast [256 x i32]* %1 to i8*
%3 = bitcast [256 x i32]* %1 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %3
%4 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 4
%5 = bitcast i32* %4 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %5
%6 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 8
%7 = bitcast i32* %6 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %7
%8 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 12
%9 = bitcast i32* %8 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %9
%10 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 16
%11 = bitcast i32* %10 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %11
%12 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 20
%13 = bitcast i32* %12 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %13
%14 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 24
%15 = bitcast i32* %14 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %15
%16 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 28
%17 = bitcast i32* %16 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %17
%18 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 32
%19 = bitcast i32* %18 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %19
%20 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 36
%21 = bitcast i32* %20 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %21
%22 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 40
%23 = bitcast i32* %22 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %23
%24 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 44
%25 = bitcast i32* %24 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %25
%26 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 48
%27 = bitcast i32* %26 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %27
%28 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 52
%29 = bitcast i32* %28 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %29
%30 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 56
%31 = bitcast i32* %30 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %31
%32 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 60
%33 = bitcast i32* %32 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %33
%34 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 64
%35 = bitcast i32* %34 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %35
%36 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 68
%37 = bitcast i32* %36 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %37
%38 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 72
%39 = bitcast i32* %38 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %39
%40 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 76
%41 = bitcast i32* %40 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %41
%42 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 80
%43 = bitcast i32* %42 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %43
%44 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 84
%45 = bitcast i32* %44 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %45
%46 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 88
%47 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %47
%48 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 92
%49 = bitcast i32* %48 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %49
%50 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 96
%51 = bitcast i32* %50 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %51
%52 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 100
%53 = bitcast i32* %52 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %53
%54 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 104
%55 = bitcast i32* %54 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %55
%56 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 108
%57 = bitcast i32* %56 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %57
%58 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 112
%59 = bitcast i32* %58 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %59
%60 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 116
%61 = bitcast i32* %60 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %61
%62 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 120
%63 = bitcast i32* %62 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %63
%64 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 124
%65 = bitcast i32* %64 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %65
%66 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 128
%67 = bitcast i32* %66 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %67
%68 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 132
%69 = bitcast i32* %68 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %69
%70 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 136
%71 = bitcast i32* %70 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %71
%72 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 140
%73 = bitcast i32* %72 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %73
%74 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 144
%75 = bitcast i32* %74 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %75
%76 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 148
%77 = bitcast i32* %76 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %77
%78 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 152
%79 = bitcast i32* %78 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %79
%80 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 156
%81 = bitcast i32* %80 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %81
%82 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 160
%83 = bitcast i32* %82 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %83
%84 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 164
%85 = bitcast i32* %84 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %85
%86 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 168
%87 = bitcast i32* %86 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %87
%88 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 172
%89 = bitcast i32* %88 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %89
%90 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 176
%91 = bitcast i32* %90 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %91
%92 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 180
%93 = bitcast i32* %92 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %93
%94 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 184
%95 = bitcast i32* %94 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %95
%96 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 188
%97 = bitcast i32* %96 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %97
%98 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 192
%99 = bitcast i32* %98 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %99
%100 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 196
%101 = bitcast i32* %100 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %101
%102 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 200
%103 = bitcast i32* %102 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %103
%104 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 204
%105 = bitcast i32* %104 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %105
%106 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 208
%107 = bitcast i32* %106 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %107
%108 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 212
%109 = bitcast i32* %108 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %109
%110 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 216
%111 = bitcast i32* %110 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %111
%112 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 220
%113 = bitcast i32* %112 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %113
%114 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 224
%115 = bitcast i32* %114 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %115
%116 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 228
%117 = bitcast i32* %116 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %117
%118 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 232
%119 = bitcast i32* %118 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %119
%120 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 236
%121 = bitcast i32* %120 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %121
%122 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 240
%123 = bitcast i32* %122 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %123
%124 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 244
%125 = bitcast i32* %124 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %125
%126 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 248
%127 = bitcast i32* %126 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %127
%128 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 252
%129 = bitcast i32* %128 to <4 x i32>*
store <4 x i32> <i32 65535, i32 65535, i32 65535, i32 65535>, <4 x i32>* %129
br label %130
130: ; preds = %130, %0
%131 = phi i64 [ 0, %0 ], [ %155, %130 ]
%132 = phi <4 x i32> [ zeroinitializer, %0 ], [ %153, %130 ]
%133 = phi <4 x i32> [ zeroinitializer, %0 ], [ %154, %130 ]
%134 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %131
%135 = bitcast i32* %134 to <4 x i32>*
%136 = load <4 x i32>, <4 x i32>* %135
%137 = getelementptr inbounds i32, i32* %134, i64 4
%138 = bitcast i32* %137 to <4 x i32>*
%139 = load <4 x i32>, <4 x i32>* %138
%140 = and <4 x i32> %136, <i32 63, i32 63, i32 63, i32 63>
%141 = and <4 x i32> %139, <i32 63, i32 63, i32 63, i32 63>
%142 = add <4 x i32> %140, %132
%143 = add <4 x i32> %141, %133
%144 = or i64 %131, 8
%145 = getelementptr inbounds [256 x i32], [256 x i32]* %1, i64 0, i64 %144
%146 = bitcast i32* %145 to <4 x i32>*
%147 = load <4 x i32>, <4 x i32>* %146
%148 = getelementptr inbounds i32, i32* %145, i64 4
%149 = bitcast i32* %148 to <4 x i32>*
%150 = load <4 x i32>, <4 x i32>* %149
%151 = and <4 x i32> %147, <i32 63, i32 63, i32 63, i32 63>
%152 = and <4 x i32> %150, <i32 63, i32 63, i32 63, i32 63>
%153 = add <4 x i32> %151, %142
%154 = add <4 x i32> %152, %143
%155 = add nuw nsw i64 %131, 16
%156 = icmp eq i64 %155, 256
br i1 %156, label %157, label %130
157: ; preds = %130
%158 = add <4 x i32> %154, %153
%159 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %158)
%160 = icmp eq i32 %159, 16128
%161 = select i1 %160, i32 195935983, i32 2989
ret i32 %161
}