#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*/ fbar(float *);
int /*<<< orphan*/ ibar(int *);
void foo(int n) {
  float a[128 + 1];
  float b[128];
  float c[128];
  float d[128];
  int ia[128];
  int ib[128];
  int ic[128];
  int i, j;
  int diff = 0;
  char cb[128];
  char cc[128];
  char image[128][128];
  char block[128][128];
  diff = 0;
  for (i = 0; i < 128; i++) {
    diff += (cb[i] - cc[i]);
  }
  ibar(&diff);
  diff = 0;
  for (i = 0; i < 128; i++) {
    for (j = 0; j < 128; j++) {
      diff += (image[i][j] - block[i][j]);
    }
  }
  ibar(&diff);
  for (i = 0; i < 128; i++) {
    a[i] = b[i];
  }
  fbar(a);
  for (i = 0; i < 128; i++) {
    a[i] = b[i] + c[i] + d[i];
  }
  fbar(a);
  for (i = 0; i < 128 / 2; i++) {
    a[i] = b[2 * i + 1] * c[2 * i + 1] - b[2 * i] * c[2 * i];
    d[i] = b[2 * i] * c[2 * i + 1] + b[2 * i + 1] * c[2 * i];
  }
  fbar(a);
  for (i = 0; i < 128; i++) {
    a[i] = b[i] + c[i];
    d[i] = b[i] + c[i];
    ia[i] = ib[i] + ic[i];
  }
  ibar(ia);
  fbar(a);
  fbar(d);
  for (i = 0; i < 128; i++) {
    a[i] = b[i] + c[i];
    a[i + 1] = b[i] + c[i];
  }
  fbar(a);
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x8f20,%rsp
mov    %edi,-0x4(%rbp)
movl   $0x0,-0xe1c(%rbp)
movl   $0x0,-0xe1c(%rbp)
movl   $0x0,-0xe14(%rbp)
cmpl   $0x80,-0xe14(%rbp)
jge    119c <foo+0x7c>
movslq -0xe14(%rbp),%rax
movsbl -0xea0(%rbp,%rax,1),%eax
ff
movslq -0xe14(%rbp),%rcx
movsbl -0xf20(%rbp,%rcx,1),%ecx
ff
sub    %ecx,%eax
add    -0xe1c(%rbp),%eax
mov    %eax,-0xe1c(%rbp)
mov    -0xe14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xe14(%rbp)
jmp    114c <foo+0x2c>
lea    -0xe1c(%rbp),%rdi
call   1040 <ibar@plt>
movl   $0x0,-0xe1c(%rbp)
movl   $0x0,-0xe14(%rbp)
cmpl   $0x80,-0xe14(%rbp)
jge    1261 <foo+0x141>
movl   $0x0,-0xe18(%rbp)
cmpl   $0x80,-0xe18(%rbp)
jge    1248 <foo+0x128>
movslq -0xe14(%rbp),%rcx
lea    -0x4f20(%rbp),%rax
shl    $0x7,%rcx
add    %rcx,%rax
movslq -0xe18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movslq -0xe14(%rbp),%rdx
lea    -0x8f20(%rbp),%rcx
shl    $0x7,%rdx
add    %rdx,%rcx
movslq -0xe18(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
add    -0xe1c(%rbp),%eax
mov    %eax,-0xe1c(%rbp)
mov    -0xe18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xe18(%rbp)
jmp    11d6 <foo+0xb6>
jmp    124d <foo+0x12d>
mov    -0xe14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xe14(%rbp)
jmp    11bc <foo+0x9c>
lea    -0xe1c(%rbp),%rdi
call   1040 <ibar@plt>
movl   $0x0,-0xe14(%rbp)
cmpl   $0x80,-0xe14(%rbp)
jge    12bb <foo+0x19b>
movslq -0xe14(%rbp),%rax
movss  -0x410(%rbp,%rax,4),%xmm0
ff ff
movslq -0xe14(%rbp),%rax
movss  %xmm0,-0x210(%rbp,%rax,4)
ff ff
mov    -0xe14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xe14(%rbp)
jmp    1277 <foo+0x157>
lea    -0x210(%rbp),%rdi
call   1030 <fbar@plt>
movl   $0x0,-0xe14(%rbp)
cmpl   $0x80,-0xe14(%rbp)
jge    1335 <foo+0x215>
movslq -0xe14(%rbp),%rax
movss  -0x410(%rbp,%rax,4),%xmm0
ff ff
movslq -0xe14(%rbp),%rax
addss  -0x610(%rbp,%rax,4),%xmm0
ff ff
movslq -0xe14(%rbp),%rax
addss  -0x810(%rbp,%rax,4),%xmm0
ff ff
movslq -0xe14(%rbp),%rax
movss  %xmm0,-0x210(%rbp,%rax,4)
ff ff
mov    -0xe14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xe14(%rbp)
jmp    12d1 <foo+0x1b1>
lea    -0x210(%rbp),%rdi
call   1030 <fbar@plt>
movl   $0x0,-0xe14(%rbp)
cmpl   $0x40,-0xe14(%rbp)
jge    1455 <foo+0x335>
mov    -0xe14(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
cltq
movss  -0x410(%rbp,%rax,4),%xmm0
ff ff
mov    -0xe14(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
cltq
movss  -0x610(%rbp,%rax,4),%xmm2
ff ff
mov    -0xe14(%rbp),%eax
shl    $0x1,%eax
cltq
movss  -0x410(%rbp,%rax,4),%xmm1
ff ff
mov    -0xe14(%rbp),%eax
shl    $0x1,%eax
cltq
mulss  -0x610(%rbp,%rax,4),%xmm1
ff ff
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movslq -0xe14(%rbp),%rax
movss  %xmm0,-0x210(%rbp,%rax,4)
ff ff
mov    -0xe14(%rbp),%eax
shl    $0x1,%eax
cltq
movss  -0x410(%rbp,%rax,4),%xmm0
ff ff
mov    -0xe14(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
cltq
movss  -0x610(%rbp,%rax,4),%xmm2
ff ff
mov    -0xe14(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
cltq
movss  -0x410(%rbp,%rax,4),%xmm1
ff ff
mov    -0xe14(%rbp),%eax
shl    $0x1,%eax
cltq
mulss  -0x610(%rbp,%rax,4),%xmm1
ff ff
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movslq -0xe14(%rbp),%rax
movss  %xmm0,-0x810(%rbp,%rax,4)
ff ff
mov    -0xe14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xe14(%rbp)
jmp    134b <foo+0x22b>
lea    -0x210(%rbp),%rdi
call   1030 <fbar@plt>
movl   $0x0,-0xe14(%rbp)
cmpl   $0x80,-0xe14(%rbp)
jge    1519 <foo+0x3f9>
movslq -0xe14(%rbp),%rax
movss  -0x410(%rbp,%rax,4),%xmm0
ff ff
movslq -0xe14(%rbp),%rax
addss  -0x610(%rbp,%rax,4),%xmm0
ff ff
movslq -0xe14(%rbp),%rax
movss  %xmm0,-0x210(%rbp,%rax,4)
ff ff
movslq -0xe14(%rbp),%rax
movss  -0x410(%rbp,%rax,4),%xmm0
ff ff
movslq -0xe14(%rbp),%rax
addss  -0x610(%rbp,%rax,4),%xmm0
ff ff
movslq -0xe14(%rbp),%rax
movss  %xmm0,-0x810(%rbp,%rax,4)
ff ff
movslq -0xe14(%rbp),%rax
mov    -0xc10(%rbp,%rax,4),%ecx
movslq -0xe14(%rbp),%rax
add    -0xe10(%rbp,%rax,4),%ecx
movslq -0xe14(%rbp),%rax
mov    %ecx,-0xa10(%rbp,%rax,4)
mov    -0xe14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xe14(%rbp)
jmp    146b <foo+0x34b>
lea    -0xa10(%rbp),%rdi
call   1040 <ibar@plt>
lea    -0x210(%rbp),%rdi
call   1030 <fbar@plt>
lea    -0x810(%rbp),%rdi
call   1030 <fbar@plt>
movl   $0x0,-0xe14(%rbp)
cmpl   $0x80,-0xe14(%rbp)
jge    15cf <foo+0x4af>
movslq -0xe14(%rbp),%rax
movss  -0x410(%rbp,%rax,4),%xmm0
ff ff
movslq -0xe14(%rbp),%rax
addss  -0x610(%rbp,%rax,4),%xmm0
ff ff
movslq -0xe14(%rbp),%rax
movss  %xmm0,-0x210(%rbp,%rax,4)
ff ff
movslq -0xe14(%rbp),%rax
movss  -0x410(%rbp,%rax,4),%xmm0
ff ff
movslq -0xe14(%rbp),%rax
addss  -0x610(%rbp,%rax,4),%xmm0
ff ff
mov    -0xe14(%rbp),%eax
add    $0x1,%eax
cltq
movss  %xmm0,-0x210(%rbp,%rax,4)
ff ff
mov    -0xe14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xe14(%rbp)
jmp    1547 <foo+0x427>
lea    -0x210(%rbp),%rdi
call   1030 <fbar@plt>
add    $0x8f20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
sub    $0x8f28,%rsp
pxor   %xmm0,%xmm0
mov    $0x5,%eax
movd   0x8c(%rsp,%rax,1),%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
movd   0xc(%rsp,%rax,1),%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
psrad  $0x18,%xmm1
psrad  $0x18,%xmm2
psubd  %xmm2,%xmm1
paddd  %xmm0,%xmm1
cmp    $0x7d,%rax
je     119e <foo+0x7e>
movd   0x90(%rsp,%rax,1),%xmm0
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
movd   0x10(%rsp,%rax,1),%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
psrad  $0x18,%xmm0
psrad  $0x18,%xmm2
psubd  %xmm2,%xmm0
paddd  %xmm1,%xmm0
add    $0x8,%rax
jmp    1130 <foo+0x10>
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%eax
movsbl 0x10d(%rsp),%ecx
movsbl 0x8d(%rsp),%edx
sub    %edx,%ecx
add    %eax,%ecx
movsbl 0x10e(%rsp),%eax
movsbl 0x8e(%rsp),%edx
sub    %edx,%eax
add    %ecx,%eax
movsbl 0x10f(%rsp),%ecx
movsbl 0x8f(%rsp),%edx
sub    %edx,%ecx
add    %eax,%ecx
mov    %ecx,0xc(%rsp)
lea    0xc(%rsp),%rdi
call   1040 <ibar@plt>
lea    0x4f24(%rsp),%rax
lea    0xf24(%rsp),%rcx
xor    %edx,%edx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movd   %esi,%xmm1
pxor   %xmm0,%xmm0
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movq   -0x4(%rax,%rsi,1),%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
movd   (%rax,%rsi,1),%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
psrad  $0x18,%xmm2
psrad  $0x18,%xmm3
movq   -0x4(%rcx,%rsi,1),%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
movd   (%rcx,%rsi,1),%xmm5
punpcklbw %xmm5,%xmm5
punpcklwd %xmm5,%xmm5
psrad  $0x18,%xmm4
psubd  %xmm4,%xmm2
paddd  %xmm2,%xmm1
psrad  $0x18,%xmm5
psubd  %xmm5,%xmm3
paddd  %xmm3,%xmm0
add    $0x8,%rsi
cmp    $0x80,%rsi
jne    1230 <foo+0x110>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%esi
add    $0x1,%rdx
sub    $0xffffffffffffff80,%rax
sub    $0xffffffffffffff80,%rcx
cmp    $0x80,%rdx
jne    1220 <foo+0x100>
mov    %esi,0xc(%rsp)
lea    0xc(%rsp),%rdi
call   1040 <ibar@plt>
lea    0x110(%rsp),%rdi
call   1030 <fbar@plt>
movl   $0x7fc00000,0x110(%rsp)
mov    $0x5,%eax
cs nopw 0x0(%rax,%rax,1)
nop
movups 0x710(%rsp,%rax,4),%xmm0
movups 0x510(%rsp,%rax,4),%xmm1
movups 0x310(%rsp,%rax,4),%xmm2
addps  %xmm1,%xmm2
addps  %xmm0,%xmm2
movups %xmm2,0x100(%rsp,%rax,4)
cmp    $0x7d,%rax
je     1358 <foo+0x238>
movups 0x720(%rsp,%rax,4),%xmm0
movups 0x520(%rsp,%rax,4),%xmm1
movups 0x320(%rsp,%rax,4),%xmm2
addps  %xmm1,%xmm2
addps  %xmm0,%xmm2
movups %xmm2,0x110(%rsp,%rax,4)
add    $0x8,%rax
jmp    1300 <foo+0x1e0>
movss  0x714(%rsp),%xmm0
movss  0x718(%rsp),%xmm1
addss  0x514(%rsp),%xmm0
addss  0x914(%rsp),%xmm0
addss  0x518(%rsp),%xmm1
addss  0x918(%rsp),%xmm1
movss  %xmm0,0x304(%rsp)
movss  0x71c(%rsp),%xmm0
addss  0x51c(%rsp),%xmm0
movss  %xmm1,0x308(%rsp)
addss  0x91c(%rsp),%xmm0
movss  %xmm0,0x30c(%rsp)
lea    0x110(%rsp),%rdi
call   1030 <fbar@plt>
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movaps 0x520(%rsp,%rax,8),%xmm0
movaps 0x530(%rsp,%rax,8),%xmm1
movaps %xmm0,%xmm2
shufps $0x88,%xmm1,%xmm2
shufps $0xdd,%xmm1,%xmm0
movaps 0x320(%rsp,%rax,8),%xmm1
movaps 0x330(%rsp,%rax,8),%xmm3
movaps %xmm1,%xmm4
shufps $0x88,%xmm3,%xmm4
shufps $0xdd,%xmm3,%xmm1
movaps %xmm4,%xmm3
mulps  %xmm2,%xmm3
mulps  %xmm0,%xmm4
mulps  %xmm1,%xmm0
subps  %xmm3,%xmm0
movaps %xmm0,0x110(%rsp,%rax,4)
mulps  %xmm2,%xmm1
addps  %xmm4,%xmm1
movaps %xmm1,0x720(%rsp,%rax,4)
add    $0x4,%rax
cmp    $0x40,%rax
jne    13e0 <foo+0x2c0>
lea    0x110(%rsp),%rdi
call   1030 <fbar@plt>
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movaps 0x520(%rsp,%rax,1),%xmm0
movaps 0x530(%rsp,%rax,1),%xmm1
addps  0x320(%rsp,%rax,1),%xmm0
movaps %xmm0,0x110(%rsp,%rax,1)
movaps %xmm0,0x720(%rsp,%rax,1)
movdqa 0xb20(%rsp,%rax,1),%xmm0
movdqa 0xb30(%rsp,%rax,1),%xmm2
paddd  0xd20(%rsp,%rax,1),%xmm0
addps  0x330(%rsp,%rax,1),%xmm1
movdqa %xmm0,0x920(%rsp,%rax,1)
movaps %xmm1,0x120(%rsp,%rax,1)
paddd  0xd30(%rsp,%rax,1),%xmm2
movaps %xmm1,0x730(%rsp,%rax,1)
movdqa %xmm2,0x930(%rsp,%rax,1)
add    $0x20,%rax
cmp    $0x200,%rax
jne    1460 <foo+0x340>
lea    0x920(%rsp),%rdi
call   1040 <ibar@plt>
lea    0x110(%rsp),%rdi
call   1030 <fbar@plt>
lea    0x720(%rsp),%rdi
call   1030 <fbar@plt>
xor    %eax,%eax
nop
movss  0x520(%rsp,%rax,4),%xmm0
addss  0x320(%rsp,%rax,4),%xmm0
movss  0x524(%rsp,%rax,4),%xmm1
movss  %xmm0,0x110(%rsp,%rax,4)
addss  0x324(%rsp,%rax,4),%xmm1
movss  %xmm1,0x114(%rsp,%rax,4)
movss  %xmm1,0x118(%rsp,%rax,4)
add    $0x2,%rax
cmp    $0x80,%rax
jne    1510 <foo+0x3f0>
lea    0x110(%rsp),%rdi
call   1030 <fbar@plt>
add    $0x8f28,%rsp
ret

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

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