void t2() {
  int arr[512];
  int i = 0;
  {
    arr[0] = 5;
    arr[1] = 5;
    arr[2] = 5;
    arr[3] = 5;
    arr[4] = 5;
    arr[5] = 5;
    arr[6] = 5;
    arr[7] = 5;
    arr[8] = 5;
    arr[9] = 5;
    arr[10] = 5;
    arr[11] = 5;
    arr[12] = 5;
    arr[13] = 5;
    arr[14] = 5;
    arr[15] = 5;
    arr[16] = 5;
    arr[17] = 5;
    arr[18] = 5;
    arr[19] = 5;
    arr[20] = 5;
    arr[21] = 5;
    arr[22] = 5;
    arr[23] = 5;
    arr[24] = 5;
    arr[25] = 5;
    arr[26] = 5;
    arr[27] = 5;
    arr[28] = 5;
    arr[29] = 5;
    arr[30] = 5;
    arr[31] = 5;
    arr[32] = 5;
    arr[33] = 5;
    arr[34] = 5;
    arr[35] = 5;
    arr[36] = 5;
    arr[37] = 5;
    arr[38] = 5;
    arr[39] = 5;
    arr[40] = 5;
    arr[41] = 5;
    arr[42] = 5;
    arr[43] = 5;
    arr[44] = 5;
    arr[45] = 5;
    arr[46] = 5;
    arr[47] = 5;
    arr[48] = 5;
    arr[49] = 5;
    arr[50] = 5;
    arr[51] = 5;
    arr[52] = 5;
    arr[53] = 5;
    arr[54] = 5;
    arr[55] = 5;
    arr[56] = 5;
    arr[57] = 5;
    arr[58] = 5;
    arr[59] = 5;
    arr[60] = 5;
    arr[61] = 5;
    arr[62] = 5;
    arr[63] = 5;
    arr[64] = 5;
    arr[65] = 5;
    arr[66] = 5;
    arr[67] = 5;
    arr[68] = 5;
    arr[69] = 5;
    arr[70] = 5;
    arr[71] = 5;
    arr[72] = 5;
    arr[73] = 5;
    arr[74] = 5;
    arr[75] = 5;
    arr[76] = 5;
    arr[77] = 5;
    arr[78] = 5;
    arr[79] = 5;
    arr[80] = 5;
    arr[81] = 5;
    arr[82] = 5;
    arr[83] = 5;
    arr[84] = 5;
    arr[85] = 5;
    arr[86] = 5;
    arr[87] = 5;
    arr[88] = 5;
    arr[89] = 5;
    arr[90] = 5;
    arr[91] = 5;
    arr[92] = 5;
    arr[93] = 5;
    arr[94] = 5;
    arr[95] = 5;
    arr[96] = 5;
    arr[97] = 5;
    arr[98] = 5;
    arr[99] = 5;
    arr[100] = 5;
    arr[101] = 5;
    arr[102] = 5;
    arr[103] = 5;
    arr[104] = 5;
    arr[105] = 5;
    arr[106] = 5;
    arr[107] = 5;
    arr[108] = 5;
    arr[109] = 5;
    arr[110] = 5;
    arr[111] = 5;
    arr[112] = 5;
    arr[113] = 5;
    arr[114] = 5;
    arr[115] = 5;
    arr[116] = 5;
    arr[117] = 5;
    arr[118] = 5;
    arr[119] = 5;
    arr[120] = 5;
    arr[121] = 5;
    arr[122] = 5;
    arr[123] = 5;
    arr[124] = 5;
    arr[125] = 5;
    arr[126] = 5;
    arr[127] = 5;
    arr[128] = 5;
    arr[129] = 5;
    arr[130] = 5;
    arr[131] = 5;
    arr[132] = 5;
    arr[133] = 5;
    arr[134] = 5;
    arr[135] = 5;
    arr[136] = 5;
    arr[137] = 5;
    arr[138] = 5;
    arr[139] = 5;
    arr[140] = 5;
    arr[141] = 5;
    arr[142] = 5;
    arr[143] = 5;
    arr[144] = 5;
    arr[145] = 5;
    arr[146] = 5;
    arr[147] = 5;
    arr[148] = 5;
    arr[149] = 5;
    arr[150] = 5;
    arr[151] = 5;
    arr[152] = 5;
    arr[153] = 5;
    arr[154] = 5;
    arr[155] = 5;
    arr[156] = 5;
    arr[157] = 5;
    arr[158] = 5;
    arr[159] = 5;
    arr[160] = 5;
    arr[161] = 5;
    arr[162] = 5;
    arr[163] = 5;
    arr[164] = 5;
    arr[165] = 5;
    arr[166] = 5;
    arr[167] = 5;
    arr[168] = 5;
    arr[169] = 5;
    arr[170] = 5;
    arr[171] = 5;
    arr[172] = 5;
    arr[173] = 5;
    arr[174] = 5;
    arr[175] = 5;
    arr[176] = 5;
    arr[177] = 5;
    arr[178] = 5;
    arr[179] = 5;
    arr[180] = 5;
    arr[181] = 5;
    arr[182] = 5;
    arr[183] = 5;
    arr[184] = 5;
    arr[185] = 5;
    arr[186] = 5;
    arr[187] = 5;
    arr[188] = 5;
    arr[189] = 5;
    arr[190] = 5;
    arr[191] = 5;
    arr[192] = 5;
    arr[193] = 5;
    arr[194] = 5;
    arr[195] = 5;
    arr[196] = 5;
    arr[197] = 5;
    arr[198] = 5;
    arr[199] = 5;
    arr[200] = 5;
    arr[201] = 5;
    arr[202] = 5;
    arr[203] = 5;
    arr[204] = 5;
    arr[205] = 5;
    arr[206] = 5;
    arr[207] = 5;
    arr[208] = 5;
    arr[209] = 5;
    arr[210] = 5;
    arr[211] = 5;
    arr[212] = 5;
    arr[213] = 5;
    arr[214] = 5;
    arr[215] = 5;
    arr[216] = 5;
    arr[217] = 5;
    arr[218] = 5;
    arr[219] = 5;
    arr[220] = 5;
    arr[221] = 5;
    arr[222] = 5;
    arr[223] = 5;
    arr[224] = 5;
    arr[225] = 5;
    arr[226] = 5;
    arr[227] = 5;
    arr[228] = 5;
    arr[229] = 5;
    arr[230] = 5;
    arr[231] = 5;
    arr[232] = 5;
    arr[233] = 5;
    arr[234] = 5;
    arr[235] = 5;
    arr[236] = 5;
    arr[237] = 5;
    arr[238] = 5;
    arr[239] = 5;
    arr[240] = 5;
    arr[241] = 5;
    arr[242] = 5;
    arr[243] = 5;
    arr[244] = 5;
    arr[245] = 5;
    arr[246] = 5;
    arr[247] = 5;
    arr[248] = 5;
    arr[249] = 5;
    arr[250] = 5;
    arr[251] = 5;
    arr[252] = 5;
    arr[253] = 5;
    arr[254] = 5;
    arr[255] = 5;
  }
  for (i = 0; i < 511; i++) {
  }
  int j = arr[i];
  assert(j == 5);
}


x86 assembly (clang, -O0):
<t2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x810,%rsp
movl   $0x0,-0x804(%rbp)
movl   $0x5,-0x800(%rbp)
movl   $0x5,-0x7fc(%rbp)
movl   $0x5,-0x7f8(%rbp)
movl   $0x5,-0x7f4(%rbp)
movl   $0x5,-0x7f0(%rbp)
movl   $0x5,-0x7ec(%rbp)
movl   $0x5,-0x7e8(%rbp)
movl   $0x5,-0x7e4(%rbp)
movl   $0x5,-0x7e0(%rbp)
movl   $0x5,-0x7dc(%rbp)
movl   $0x5,-0x7d8(%rbp)
movl   $0x5,-0x7d4(%rbp)
movl   $0x5,-0x7d0(%rbp)
movl   $0x5,-0x7cc(%rbp)
movl   $0x5,-0x7c8(%rbp)
movl   $0x5,-0x7c4(%rbp)
movl   $0x5,-0x7c0(%rbp)
movl   $0x5,-0x7bc(%rbp)
movl   $0x5,-0x7b8(%rbp)
movl   $0x5,-0x7b4(%rbp)
movl   $0x5,-0x7b0(%rbp)
movl   $0x5,-0x7ac(%rbp)
movl   $0x5,-0x7a8(%rbp)
movl   $0x5,-0x7a4(%rbp)
movl   $0x5,-0x7a0(%rbp)
movl   $0x5,-0x79c(%rbp)
movl   $0x5,-0x798(%rbp)
movl   $0x5,-0x794(%rbp)
movl   $0x5,-0x790(%rbp)
movl   $0x5,-0x78c(%rbp)
movl   $0x5,-0x788(%rbp)
movl   $0x5,-0x784(%rbp)
movl   $0x5,-0x780(%rbp)
movl   $0x5,-0x77c(%rbp)
movl   $0x5,-0x778(%rbp)
movl   $0x5,-0x774(%rbp)
movl   $0x5,-0x770(%rbp)
movl   $0x5,-0x76c(%rbp)
movl   $0x5,-0x768(%rbp)
movl   $0x5,-0x764(%rbp)
movl   $0x5,-0x760(%rbp)
movl   $0x5,-0x75c(%rbp)
movl   $0x5,-0x758(%rbp)
movl   $0x5,-0x754(%rbp)
movl   $0x5,-0x750(%rbp)
movl   $0x5,-0x74c(%rbp)
movl   $0x5,-0x748(%rbp)
movl   $0x5,-0x744(%rbp)
movl   $0x5,-0x740(%rbp)
movl   $0x5,-0x73c(%rbp)
movl   $0x5,-0x738(%rbp)
movl   $0x5,-0x734(%rbp)
movl   $0x5,-0x730(%rbp)
movl   $0x5,-0x72c(%rbp)
movl   $0x5,-0x728(%rbp)
movl   $0x5,-0x724(%rbp)
movl   $0x5,-0x720(%rbp)
movl   $0x5,-0x71c(%rbp)
movl   $0x5,-0x718(%rbp)
movl   $0x5,-0x714(%rbp)
movl   $0x5,-0x710(%rbp)
movl   $0x5,-0x70c(%rbp)
movl   $0x5,-0x708(%rbp)
movl   $0x5,-0x704(%rbp)
movl   $0x5,-0x700(%rbp)
movl   $0x5,-0x6fc(%rbp)
movl   $0x5,-0x6f8(%rbp)
movl   $0x5,-0x6f4(%rbp)
movl   $0x5,-0x6f0(%rbp)
movl   $0x5,-0x6ec(%rbp)
movl   $0x5,-0x6e8(%rbp)
movl   $0x5,-0x6e4(%rbp)
movl   $0x5,-0x6e0(%rbp)
movl   $0x5,-0x6dc(%rbp)
movl   $0x5,-0x6d8(%rbp)
movl   $0x5,-0x6d4(%rbp)
movl   $0x5,-0x6d0(%rbp)
movl   $0x5,-0x6cc(%rbp)
movl   $0x5,-0x6c8(%rbp)
movl   $0x5,-0x6c4(%rbp)
movl   $0x5,-0x6c0(%rbp)
movl   $0x5,-0x6bc(%rbp)
movl   $0x5,-0x6b8(%rbp)
movl   $0x5,-0x6b4(%rbp)
movl   $0x5,-0x6b0(%rbp)
movl   $0x5,-0x6ac(%rbp)
movl   $0x5,-0x6a8(%rbp)
movl   $0x5,-0x6a4(%rbp)
movl   $0x5,-0x6a0(%rbp)
movl   $0x5,-0x69c(%rbp)
movl   $0x5,-0x698(%rbp)
movl   $0x5,-0x694(%rbp)
movl   $0x5,-0x690(%rbp)
movl   $0x5,-0x68c(%rbp)
movl   $0x5,-0x688(%rbp)
movl   $0x5,-0x684(%rbp)
movl   $0x5,-0x680(%rbp)
movl   $0x5,-0x67c(%rbp)
movl   $0x5,-0x678(%rbp)
movl   $0x5,-0x674(%rbp)
movl   $0x5,-0x670(%rbp)
movl   $0x5,-0x66c(%rbp)
movl   $0x5,-0x668(%rbp)
movl   $0x5,-0x664(%rbp)
movl   $0x5,-0x660(%rbp)
movl   $0x5,-0x65c(%rbp)
movl   $0x5,-0x658(%rbp)
movl   $0x5,-0x654(%rbp)
movl   $0x5,-0x650(%rbp)
movl   $0x5,-0x64c(%rbp)
movl   $0x5,-0x648(%rbp)
movl   $0x5,-0x644(%rbp)
movl   $0x5,-0x640(%rbp)
movl   $0x5,-0x63c(%rbp)
movl   $0x5,-0x638(%rbp)
movl   $0x5,-0x634(%rbp)
movl   $0x5,-0x630(%rbp)
movl   $0x5,-0x62c(%rbp)
movl   $0x5,-0x628(%rbp)
movl   $0x5,-0x624(%rbp)
movl   $0x5,-0x620(%rbp)
movl   $0x5,-0x61c(%rbp)
movl   $0x5,-0x618(%rbp)
movl   $0x5,-0x614(%rbp)
movl   $0x5,-0x610(%rbp)
movl   $0x5,-0x60c(%rbp)
movl   $0x5,-0x608(%rbp)
movl   $0x5,-0x604(%rbp)
movl   $0x5,-0x600(%rbp)
movl   $0x5,-0x5fc(%rbp)
movl   $0x5,-0x5f8(%rbp)
movl   $0x5,-0x5f4(%rbp)
movl   $0x5,-0x5f0(%rbp)
movl   $0x5,-0x5ec(%rbp)
movl   $0x5,-0x5e8(%rbp)
movl   $0x5,-0x5e4(%rbp)
movl   $0x5,-0x5e0(%rbp)
movl   $0x5,-0x5dc(%rbp)
movl   $0x5,-0x5d8(%rbp)
movl   $0x5,-0x5d4(%rbp)
movl   $0x5,-0x5d0(%rbp)
movl   $0x5,-0x5cc(%rbp)
movl   $0x5,-0x5c8(%rbp)
movl   $0x5,-0x5c4(%rbp)
movl   $0x5,-0x5c0(%rbp)
movl   $0x5,-0x5bc(%rbp)
movl   $0x5,-0x5b8(%rbp)
movl   $0x5,-0x5b4(%rbp)
movl   $0x5,-0x5b0(%rbp)
movl   $0x5,-0x5ac(%rbp)
movl   $0x5,-0x5a8(%rbp)
movl   $0x5,-0x5a4(%rbp)
movl   $0x5,-0x5a0(%rbp)
movl   $0x5,-0x59c(%rbp)
movl   $0x5,-0x598(%rbp)
movl   $0x5,-0x594(%rbp)
movl   $0x5,-0x590(%rbp)
movl   $0x5,-0x58c(%rbp)
movl   $0x5,-0x588(%rbp)
movl   $0x5,-0x584(%rbp)
movl   $0x5,-0x580(%rbp)
movl   $0x5,-0x57c(%rbp)
movl   $0x5,-0x578(%rbp)
movl   $0x5,-0x574(%rbp)
movl   $0x5,-0x570(%rbp)
movl   $0x5,-0x56c(%rbp)
movl   $0x5,-0x568(%rbp)
movl   $0x5,-0x564(%rbp)
movl   $0x5,-0x560(%rbp)
movl   $0x5,-0x55c(%rbp)
movl   $0x5,-0x558(%rbp)
movl   $0x5,-0x554(%rbp)
movl   $0x5,-0x550(%rbp)
movl   $0x5,-0x54c(%rbp)
movl   $0x5,-0x548(%rbp)
movl   $0x5,-0x544(%rbp)
movl   $0x5,-0x540(%rbp)
movl   $0x5,-0x53c(%rbp)
movl   $0x5,-0x538(%rbp)
movl   $0x5,-0x534(%rbp)
movl   $0x5,-0x530(%rbp)
movl   $0x5,-0x52c(%rbp)
movl   $0x5,-0x528(%rbp)
movl   $0x5,-0x524(%rbp)
movl   $0x5,-0x520(%rbp)
movl   $0x5,-0x51c(%rbp)
movl   $0x5,-0x518(%rbp)
movl   $0x5,-0x514(%rbp)
movl   $0x5,-0x510(%rbp)
movl   $0x5,-0x50c(%rbp)
movl   $0x5,-0x508(%rbp)
movl   $0x5,-0x504(%rbp)
movl   $0x5,-0x500(%rbp)
movl   $0x5,-0x4fc(%rbp)
movl   $0x5,-0x4f8(%rbp)
movl   $0x5,-0x4f4(%rbp)
movl   $0x5,-0x4f0(%rbp)
movl   $0x5,-0x4ec(%rbp)
movl   $0x5,-0x4e8(%rbp)
movl   $0x5,-0x4e4(%rbp)
movl   $0x5,-0x4e0(%rbp)
movl   $0x5,-0x4dc(%rbp)
movl   $0x5,-0x4d8(%rbp)
movl   $0x5,-0x4d4(%rbp)
movl   $0x5,-0x4d0(%rbp)
movl   $0x5,-0x4cc(%rbp)
movl   $0x5,-0x4c8(%rbp)
movl   $0x5,-0x4c4(%rbp)
movl   $0x5,-0x4c0(%rbp)
movl   $0x5,-0x4bc(%rbp)
movl   $0x5,-0x4b8(%rbp)
movl   $0x5,-0x4b4(%rbp)
movl   $0x5,-0x4b0(%rbp)
movl   $0x5,-0x4ac(%rbp)
movl   $0x5,-0x4a8(%rbp)
movl   $0x5,-0x4a4(%rbp)
movl   $0x5,-0x4a0(%rbp)
movl   $0x5,-0x49c(%rbp)
movl   $0x5,-0x498(%rbp)
movl   $0x5,-0x494(%rbp)
movl   $0x5,-0x490(%rbp)
movl   $0x5,-0x48c(%rbp)
movl   $0x5,-0x488(%rbp)
movl   $0x5,-0x484(%rbp)
movl   $0x5,-0x480(%rbp)
movl   $0x5,-0x47c(%rbp)
movl   $0x5,-0x478(%rbp)
movl   $0x5,-0x474(%rbp)
movl   $0x5,-0x470(%rbp)
movl   $0x5,-0x46c(%rbp)
movl   $0x5,-0x468(%rbp)
movl   $0x5,-0x464(%rbp)
movl   $0x5,-0x460(%rbp)
movl   $0x5,-0x45c(%rbp)
movl   $0x5,-0x458(%rbp)
movl   $0x5,-0x454(%rbp)
movl   $0x5,-0x450(%rbp)
movl   $0x5,-0x44c(%rbp)
movl   $0x5,-0x448(%rbp)
movl   $0x5,-0x444(%rbp)
movl   $0x5,-0x440(%rbp)
movl   $0x5,-0x43c(%rbp)
movl   $0x5,-0x438(%rbp)
movl   $0x5,-0x434(%rbp)
movl   $0x5,-0x430(%rbp)
movl   $0x5,-0x42c(%rbp)
movl   $0x5,-0x428(%rbp)
movl   $0x5,-0x424(%rbp)
movl   $0x5,-0x420(%rbp)
movl   $0x5,-0x41c(%rbp)
movl   $0x5,-0x418(%rbp)
movl   $0x5,-0x414(%rbp)
movl   $0x5,-0x410(%rbp)
movl   $0x5,-0x40c(%rbp)
movl   $0x5,-0x408(%rbp)
movl   $0x5,-0x404(%rbp)
movl   $0x0,-0x804(%rbp)
cmpl   $0x1ff,-0x804(%rbp)
jge    1b58 <t2+0xa48>
jmp    1b44 <t2+0xa34>
mov    -0x804(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x804(%rbp)
jmp    1b2f <t2+0xa1f>
movslq -0x804(%rbp),%rax
mov    -0x800(%rbp,%rax,4),%eax
mov    %eax,-0x808(%rbp)
cmpl   $0x5,-0x808(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
add    $0x810,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<t2>:
sub    $0x788,%rsp
xor    %edi,%edi
cmpl   $0x5,0x77c(%rsp)
05
sete   %dil
xor    %eax,%eax
add    $0x788,%rsp
jmp    1030 <assert@plt>

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

LLVM IR (-O2):
define void @t2() {
%1 = alloca [512 x i32]
%2 = bitcast [512 x i32]* %1 to i8*
%3 = getelementptr inbounds [512 x i32], [512 x i32]* %1, i64 0, i64 511
%4 = load i32, i32* %3
%5 = icmp eq i32 %4, 5
%6 = zext i1 %5 to i32
%7 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %6)
ret void
}