#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*/ check(unsigned int *);
int main(void) {
  int i;
  unsigned int l[288];
  for (i = 0; i < 144; i++)
    l[i] = 8;
  for (; i < 256; i++)
    l[i] = 9;
  for (; i < 280; i++)
    l[i] = 7;
  for (; i < 288; i++)
    l[i] = 8;
  check(l);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x490,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x90,-0x8(%rbp)
jge    1153 <main+0x43>
movslq -0x8(%rbp),%rax
movl   $0x8,-0x490(%rbp,%rax,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1129 <main+0x19>
jmp    1158 <main+0x48>
cmpl   $0x100,-0x8(%rbp)
jge    1182 <main+0x72>
movslq -0x8(%rbp),%rax
movl   $0x9,-0x490(%rbp,%rax,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1158 <main+0x48>
jmp    1187 <main+0x77>
cmpl   $0x118,-0x8(%rbp)
jge    11b1 <main+0xa1>
movslq -0x8(%rbp),%rax
movl   $0x7,-0x490(%rbp,%rax,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1187 <main+0x77>
jmp    11b6 <main+0xa6>
cmpl   $0x120,-0x8(%rbp)
jge    11e0 <main+0xd0>
movslq -0x8(%rbp),%rax
movl   $0x8,-0x490(%rbp,%rax,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    11b6 <main+0xa6>
lea    -0x490(%rbp),%rdi
call   1030 <check@plt>
xor    %eax,%eax
add    $0x490,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x488,%rsp
movaps 0xee2(%rip),%xmm0
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 0xde4(%rip),%xmm1
movaps %xmm1,0x240(%rsp)
movaps %xmm1,0x250(%rsp)
movaps %xmm1,0x260(%rsp)
movaps %xmm1,0x270(%rsp)
movaps %xmm1,0x280(%rsp)
movaps %xmm1,0x290(%rsp)
movaps %xmm1,0x2a0(%rsp)
movaps %xmm1,0x2b0(%rsp)
movaps %xmm1,0x2c0(%rsp)
movaps %xmm1,0x2d0(%rsp)
movaps %xmm1,0x2e0(%rsp)
movaps %xmm1,0x2f0(%rsp)
movaps %xmm1,0x300(%rsp)
movaps %xmm1,0x310(%rsp)
movaps %xmm1,0x320(%rsp)
movaps %xmm1,0x330(%rsp)
movaps %xmm1,0x340(%rsp)
movaps %xmm1,0x350(%rsp)
movaps %xmm1,0x360(%rsp)
movaps %xmm1,0x370(%rsp)
movaps %xmm1,0x380(%rsp)
movaps %xmm1,0x390(%rsp)
movaps %xmm1,0x3a0(%rsp)
movaps %xmm1,0x3b0(%rsp)
movaps %xmm1,0x3c0(%rsp)
movaps %xmm1,0x3d0(%rsp)
movaps %xmm1,0x3e0(%rsp)
movaps %xmm1,0x3f0(%rsp)
movaps 0xd0d(%rip),%xmm1
movaps %xmm1,0x400(%rsp)
movaps %xmm1,0x410(%rsp)
movaps %xmm1,0x420(%rsp)
movaps %xmm1,0x430(%rsp)
movaps %xmm1,0x440(%rsp)
movaps %xmm1,0x450(%rsp)
movaps %xmm0,0x460(%rsp)
movaps %xmm0,0x470(%rsp)
mov    %rsp,%rdi
call   1030 <check@plt>
xor    %eax,%eax
add    $0x488,%rsp
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca [288 x i32]
store i32 0, i32* %1
store i32 0, i32* %2
br label %4
4: ; preds = %11, %0
%5 = load i32, i32* %2
%6 = icmp slt i32 %5, 144
br i1 %6, label %7, label %14
7: ; preds = %4
%8 = load i32, i32* %2
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds [288 x i32], [288 x i32]* %3, i64 0, i64 %9
store i32 8, i32* %10
br label %11
11: ; preds = %7
%12 = load i32, i32* %2
%13 = add nsw i32 %12, 1
store i32 %13, i32* %2
br label %4
14: ; preds = %4
br label %15
15: ; preds = %22, %14
%16 = load i32, i32* %2
%17 = icmp slt i32 %16, 256
br i1 %17, label %18, label %25
18: ; preds = %15
%19 = load i32, i32* %2
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds [288 x i32], [288 x i32]* %3, i64 0, i64 %20
store i32 9, i32* %21
br label %22
22: ; preds = %18
%23 = load i32, i32* %2
%24 = add nsw i32 %23, 1
store i32 %24, i32* %2
br label %15
25: ; preds = %15
br label %26
26: ; preds = %33, %25
%27 = load i32, i32* %2
%28 = icmp slt i32 %27, 280
br i1 %28, label %29, label %36
29: ; preds = %26
%30 = load i32, i32* %2
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds [288 x i32], [288 x i32]* %3, i64 0, i64 %31
store i32 7, i32* %32
br label %33
33: ; preds = %29
%34 = load i32, i32* %2
%35 = add nsw i32 %34, 1
store i32 %35, i32* %2
br label %26
36: ; preds = %26
br label %37
37: ; preds = %44, %36
%38 = load i32, i32* %2
%39 = icmp slt i32 %38, 288
br i1 %39, label %40, label %47
40: ; preds = %37
%41 = load i32, i32* %2
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds [288 x i32], [288 x i32]* %3, i64 0, i64 %42
store i32 8, i32* %43
br label %44
44: ; preds = %40
%45 = load i32, i32* %2
%46 = add nsw i32 %45, 1
store i32 %46, i32* %2
br label %37
47: ; preds = %37
%48 = getelementptr inbounds [288 x i32], [288 x i32]* %3, i64 0, i64 0
%49 = call i32 @check(i32* %48)
ret i32 0
}

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