void gemver(double A[4096][4096], double u1[4096], double v1[4096],
            double u2[4096], double v2[4096], double w[4096], double x[4096],
            double y[4096], double z[4096]) {
  int i, j;
#pragma scop
#pragma live - out w
  for (i = 0; i < 4096; i++)
    for (j = 0; j < 4096; j++)
      A[i][j] = A[i][j] + u1[i] * v1[j] + u2[i] * v2[j];
  for (i = 0; i < 4096; i++)
    for (j = 0; j < 4096; j++)
      x[i] = x[i] + A[j][i] * y[j];
  for (i = 0; i < 4096; i++)
    x[i] = x[i] + z[i];
  for (i = 0; i < 4096; i++)
    for (j = 0; j < 4096; j++)
      w[i] = w[i] + A[i][j] * x[j];
#pragma endscop
}


x86 assembly (clang, -O0):
<gemver>:
push   %rbp
mov    %rsp,%rbp
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
cmpl   $0x1000,-0x34(%rbp)
jge    11e5 <gemver+0xe5>
movl   $0x0,-0x38(%rbp)
cmpl   $0x1000,-0x38(%rbp)
jge    11d2 <gemver+0xd2>
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
shl    $0xf,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x18(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
shl    $0xf,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1143 <gemver+0x43>
jmp    11d7 <gemver+0xd7>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    112f <gemver+0x2f>
movl   $0x0,-0x34(%rbp)
cmpl   $0x1000,-0x34(%rbp)
jge    1275 <gemver+0x175>
movl   $0x0,-0x38(%rbp)
cmpl   $0x1000,-0x38(%rbp)
jge    1262 <gemver+0x162>
mov    0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
shl    $0xf,%rcx
add    %rcx,%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    0x18(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1200 <gemver+0x100>
jmp    1267 <gemver+0x167>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11ec <gemver+0xec>
movl   $0x0,-0x34(%rbp)
cmpl   $0x1000,-0x34(%rbp)
jge    12be <gemver+0x1be>
mov    0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
addsd  (%rax,%rcx,8),%xmm0
mov    0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    127c <gemver+0x17c>
movl   $0x0,-0x34(%rbp)
cmpl   $0x1000,-0x34(%rbp)
jge    134e <gemver+0x24e>
movl   $0x0,-0x38(%rbp)
cmpl   $0x1000,-0x38(%rbp)
jge    133b <gemver+0x23b>
mov    -0x30(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
shl    $0xf,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x30(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    12d9 <gemver+0x1d9>
jmp    1340 <gemver+0x240>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12c5 <gemver+0x1c5>
pop    %rbp
ret

x86 assembly (clang, -O2):
<gemver>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    0x40(%rsp),%r11
mov    0x38(%rsp),%r12
lea    0x8000(%rdx),%rax
mov    %rax,-0x8(%rsp)
lea    0x8000(%r8),%rax
mov    %rax,-0x10(%rsp)
lea    0x10(%rdi),%r15
lea    0x8(%rdi),%rax
xor    %ebp,%ebp
jmp    115d <gemver+0x5d>
nopl   0x0(%rax,%rax,1)
add    $0x8000,%r15
add    $0x8000,%rax
mov    %r10,%rbp
cmp    $0x1000,%r10
je     1312 <gemver+0x212>
mov    %rbp,%r14
shl    $0xf,%r14
add    %rdi,%r14
lea    0x1(%rbp),%r13
mov    %r13,-0x18(%rsp)
shl    $0xf,%r13
add    %rdi,%r13
lea    (%rcx,%rbp,8),%rbx
add    $0x8,%rbx
mov    %rbx,-0x28(%rsp)
lea    (%rcx,%rbp,8),%rbx
mov    %rbx,-0x20(%rsp)
lea    (%rsi,%rbp,8),%r10
add    $0x8,%r10
lea    (%rsi,%rbp,8),%rbx
cmp    %r10,%r14
setb   -0x29(%rsp)
cmp    %r13,%rbx
setb   -0x2a(%rsp)
cmp    -0x8(%rsp),%r14
setb   %r10b
cmp    %rdx,%r13
seta   -0x2b(%rsp)
cmp    -0x28(%rsp),%r14
setb   %bl
cmp    %r13,-0x20(%rsp)
setb   -0x20(%rsp)
cmp    -0x10(%rsp),%r14
setb   %r14b
cmp    %r8,%r13
seta   -0x28(%rsp)
mov    -0x2a(%rsp),%r13b
test   %r13b,-0x29(%rsp)
jne    12a0 <gemver+0x1a0>
and    -0x2b(%rsp),%r10b
jne    12a0 <gemver+0x1a0>
and    -0x20(%rsp),%bl
jne    12a0 <gemver+0x1a0>
and    -0x28(%rsp),%r14b
jne    12a0 <gemver+0x1a0>
movsd  (%rsi,%rbp,8),%xmm0
unpcklpd %xmm0,%xmm0
movsd  (%rcx,%rbp,8),%xmm1
unpcklpd %xmm1,%xmm1
xor    %ebp,%ebp
mov    -0x18(%rsp),%r10
cs nopw 0x0(%rax,%rax,1)
movupd -0x10(%r15,%rbp,8),%xmm2
movupd (%r15,%rbp,8),%xmm3
movupd (%rdx,%rbp,8),%xmm4
movupd 0x10(%rdx,%rbp,8),%xmm5
mulpd  %xmm0,%xmm4
addpd  %xmm2,%xmm4
mulpd  %xmm0,%xmm5
addpd  %xmm3,%xmm5
movupd (%r8,%rbp,8),%xmm2
movupd 0x10(%r8,%rbp,8),%xmm3
mulpd  %xmm1,%xmm2
addpd  %xmm4,%xmm2
mulpd  %xmm1,%xmm3
addpd  %xmm5,%xmm3
movupd %xmm2,-0x10(%r15,%rbp,8)
movupd %xmm3,(%r15,%rbp,8)
add    $0x4,%rbp
cmp    $0x1000,%rbp
jne    1230 <gemver+0x130>
jmp    1140 <gemver+0x40>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
xor    %r14d,%r14d
mov    -0x18(%rsp),%r10
nopl   0x0(%rax,%rax,1)
movsd  (%rsi,%rbp,8),%xmm0
mulsd  (%rdx,%r14,8),%xmm0
addsd  -0x8(%rax,%r14,8),%xmm0
movsd  (%rcx,%rbp,8),%xmm1
mulsd  (%r8,%r14,8),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,-0x8(%rax,%r14,8)
movsd  (%rsi,%rbp,8),%xmm0
mulsd  0x8(%rdx,%r14,8),%xmm0
addsd  (%rax,%r14,8),%xmm0
movsd  (%rcx,%rbp,8),%xmm1
mulsd  0x8(%r8,%r14,8),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,(%rax,%r14,8)
add    $0x2,%r14
cmp    $0x1000,%r14
jne    12b0 <gemver+0x1b0>
jmp    1140 <gemver+0x40>
lea    0x8000(%rdi),%rax
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movsd  (%r12,%rcx,8),%xmm0
mov    %rax,%rdx
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
movsd  -0x8000(%rdx),%xmm1
ff
mulsd  (%r11,%rsi,8),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,(%r12,%rcx,8)
movsd  (%rdx),%xmm0
mulsd  0x8(%r11,%rsi,8),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%r12,%rcx,8)
add    $0x2,%rsi
add    $0x10000,%rdx
cmp    $0x1000,%rsi
jne    1330 <gemver+0x230>
add    $0x1,%rcx
add    $0x8,%rax
cmp    $0x1000,%rcx
jne    1320 <gemver+0x220>
mov    0x48(%rsp),%rcx
lea    0x8000(%rcx),%rax
cmp    %r12,%rax
jbe    140b <gemver+0x30b>
lea    0x8000(%r12),%rax
cmp    %rcx,%rax
jbe    140b <gemver+0x30b>
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsd  (%r12,%rax,8),%xmm0
addsd  (%rcx,%rax,8),%xmm0
movsd  0x8(%r12,%rax,8),%xmm1
movsd  %xmm0,(%r12,%rax,8)
addsd  0x8(%rcx,%rax,8),%xmm1
movsd  %xmm1,0x8(%r12,%rax,8)
movsd  0x10(%r12,%rax,8),%xmm0
addsd  0x10(%rcx,%rax,8),%xmm0
movsd  %xmm0,0x10(%r12,%rax,8)
movsd  0x18(%r12,%rax,8),%xmm0
addsd  0x18(%rcx,%rax,8),%xmm0
movsd  %xmm0,0x18(%r12,%rax,8)
add    $0x4,%rax
cmp    $0x1000,%rax
jne    13b0 <gemver+0x2b0>
jmp    1479 <gemver+0x379>
xor    %eax,%eax
nopl   (%rax)
movupd (%rcx,%rax,8),%xmm0
movupd 0x10(%rcx,%rax,8),%xmm1
movupd (%r12,%rax,8),%xmm2
addpd  %xmm0,%xmm2
movupd 0x10(%r12,%rax,8),%xmm0
addpd  %xmm1,%xmm0
movupd 0x20(%r12,%rax,8),%xmm1
movupd 0x30(%r12,%rax,8),%xmm3
movupd %xmm2,(%r12,%rax,8)
movupd %xmm0,0x10(%r12,%rax,8)
movupd 0x20(%rcx,%rax,8),%xmm0
addpd  %xmm1,%xmm0
movupd 0x30(%rcx,%rax,8),%xmm1
addpd  %xmm3,%xmm1
movupd %xmm0,0x20(%r12,%rax,8)
movupd %xmm1,0x30(%r12,%rax,8)
add    $0x8,%rax
cmp    $0x1000,%rax
jne    1410 <gemver+0x310>
add    $0x8,%rdi
xor    %eax,%eax
nop
movsd  (%r9,%rax,8),%xmm0
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movsd  -0x8(%rdi,%rcx,8),%xmm1
mulsd  (%r12,%rcx,8),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,(%r9,%rax,8)
movsd  (%rdi,%rcx,8),%xmm0
mulsd  0x8(%r12,%rcx,8),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%r9,%rax,8)
add    $0x2,%rcx
cmp    $0x1000,%rcx
jne    1490 <gemver+0x390>
add    $0x1,%rax
add    $0x8000,%rdi
cmp    $0x1000,%rax
jne    1480 <gemver+0x380>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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