#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 sqrt(double);
void reconstruct(double *wr, int M, double *aux_vec) {
  int i = 0;
  double aux_double = 0;
  for (i = 0; i < M; i++) {
    aux_vec[i] = 0;
  }
  for (i = 0; i < M; i++) {
    aux_vec[i] =
        (-1) * sqrt(((double)(M - i) * (double)(i + 1)) / (double)(M + 1));
  }
  for (i = 0; i < M; i++) {
    wr[i] = (wr[i] / aux_vec[i]);
  }
  for (i = 0; i < M - 1; i++) {
    wr[M - (i + 2)] = wr[M - (i + 2)] + wr[M - (i + 1)];
  }
  aux_double = 0;
  for (i = 0; i < M; i++) {
    aux_double = aux_double + wr[i];
  }
  aux_double = (aux_double / M);
  for (i = 0; i < M; i++) {
    wr[i] = wr[i] - aux_double;
  }
}


x86 assembly (clang, -O0):
<reconstruct>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1163 <reconstruct+0x53>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1139 <reconstruct+0x29>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11c6 <reconstruct+0xb6>
mov    -0xc(%rbp),%eax
sub    -0x1c(%rbp),%eax
cvtsi2sd %eax,%xmm0
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
cvtsi2sd %eax,%xmm1
mulsd  %xmm1,%xmm0
mov    -0xc(%rbp),%eax
add    $0x1,%eax
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
call   1030 <sqrt@plt>
imul   $0xffffffff,%eax,%eax
cvtsi2sd %eax,%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    116a <reconstruct+0x5a>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    120e <reconstruct+0xfe>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
divsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11cd <reconstruct+0xbd>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1279 <reconstruct+0x169>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
mov    -0x1c(%rbp),%edx
add    $0x2,%edx
sub    %edx,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
mov    -0x1c(%rbp),%edx
add    $0x1,%edx
sub    %edx,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
mov    -0x1c(%rbp),%edx
add    $0x2,%edx
sub    %edx,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1215 <reconstruct+0x105>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12b9 <reconstruct+0x1a9>
movsd  -0x28(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
addsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1288 <reconstruct+0x178>
movsd  -0x28(%rbp),%xmm0
cvtsi2sdl -0xc(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    130c <reconstruct+0x1fc>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x28(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    12d3 <reconstruct+0x1c3>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reconstruct>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
test   %esi,%esi
jle    1649 <reconstruct+0x529>
mov    %rdx,%r13
mov    %esi,%ebx
mov    %rdi,%r15
mov    %esi,%r12d
lea    0x0(,%r12,8),%rdx
xor    %r14d,%r14d
mov    %r13,%rdi
xor    %esi,%esi
call   1030 <memset@plt>
lea    0x1(%rbx),%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x10(%rsp)
mov    %rbx,0x8(%rsp)
mov    %ebx,%ebp
nopw   0x0(%rax,%rax,1)
xorps  %xmm1,%xmm1
cvtsi2sd %ebp,%xmm1
lea    0x1(%r14),%rbx
xorps  %xmm0,%xmm0
cvtsi2sd %ebx,%xmm0
mulsd  %xmm1,%xmm0
divsd  0x10(%rsp),%xmm0
call   1040 <sqrt@plt>
neg    %eax
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  %xmm0,0x0(%r13,%r14,8)
add    $0xffffffff,%ebp
mov    %rbx,%r14
cmp    %rbx,%r12
jne    1170 <reconstruct+0x50>
mov    0x8(%rsp),%rbp
test   %ebp,%ebp
jle    1649 <reconstruct+0x529>
cmp    $0x1,%ebp
je     11d7 <reconstruct+0xb7>
lea    0x0(,%r12,8),%rax
add    %r13,%rax
cmp    %r15,%rax
jbe    1246 <reconstruct+0x126>
lea    (%r15,%r12,8),%rax
cmp    %r13,%rax
jbe    1246 <reconstruct+0x126>
xor    %eax,%eax
mov    %rax,%rcx
not    %rcx
test   $0x1,%r12b
je     11fc <reconstruct+0xdc>
movsd  (%r15,%rax,8),%xmm0
divsd  0x0(%r13,%rax,8),%xmm0
movsd  %xmm0,(%r15,%rax,8)
or     $0x1,%rax
add    %r12,%rcx
je     12cf <reconstruct+0x1af>
cs nopw 0x0(%rax,%rax,1)
nop
movsd  (%r15,%rax,8),%xmm0
divsd  0x0(%r13,%rax,8),%xmm0
movsd  0x8(%r15,%rax,8),%xmm1
movsd  %xmm0,(%r15,%rax,8)
divsd  0x8(%r13,%rax,8),%xmm1
movsd  %xmm1,0x8(%r15,%rax,8)
add    $0x2,%rax
cmp    %rax,%r12
jne    1210 <reconstruct+0xf0>
jmp    12cf <reconstruct+0x1af>
mov    %r12d,%eax
and    $0xfffffffe,%eax
lea    -0x2(%rax),%rdx
mov    %rdx,%rcx
shr    %rcx
add    $0x1,%rcx
test   %rdx,%rdx
je     1658 <reconstruct+0x538>
mov    %rcx,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %edx,%edx
nopl   0x0(%rax)
movupd 0x0(%r13,%rdx,8),%xmm0
movupd (%r15,%rdx,8),%xmm1
divpd  %xmm0,%xmm1
movupd 0x10(%r15,%rdx,8),%xmm0
movupd %xmm1,(%r15,%rdx,8)
movupd 0x10(%r13,%rdx,8),%xmm1
divpd  %xmm1,%xmm0
movupd %xmm0,0x10(%r15,%rdx,8)
add    $0x4,%rdx
add    $0xfffffffffffffffe,%rsi
jne    1270 <reconstruct+0x150>
test   $0x1,%cl
je     12c6 <reconstruct+0x1a6>
movupd (%r15,%rdx,8),%xmm0
movupd 0x0(%r13,%rdx,8),%xmm1
divpd  %xmm1,%xmm0
movupd %xmm0,(%r15,%rdx,8)
cmp    %r12,%rax
jne    11d9 <reconstruct+0xb9>
cmp    $0x2,%ebp
jl     1378 <reconstruct+0x258>
lea    -0x1(%rbp),%esi
lea    -0x2(%rbp),%r9d
cmp    $0x4,%esi
jae    1432 <reconstruct+0x312>
xor    %edx,%edx
mov    %rdx,%rax
not    %rax
test   $0x1,%sil
je     1318 <reconstruct+0x1f8>
sub    %edx,%r9d
movslq %r9d,%rcx
movsd  (%r15,%rcx,8),%xmm0
or     $0x1,%rdx
mov    %r12,%rdi
sub    %rdx,%rdi
addsd  (%r15,%rdi,8),%xmm0
movsd  %xmm0,(%r15,%rcx,8)
neg    %rsi
cmp    %rsi,%rax
je     1378 <reconstruct+0x258>
mov    %rdx,%rax
neg    %rax
lea    (%r15,%r12,8),%rcx
add    $0xfffffffffffffff8,%rcx
mov    %ebp,%edi
sub    %edx,%edi
add    $0xfffffffd,%edi
cs nopw 0x0(%rax,%rax,1)
nop
lea    0x1(%rdi),%edx
movslq %edx,%rdx
movsd  (%r15,%rdx,8),%xmm0
addsd  (%rcx,%rax,8),%xmm0
movsd  %xmm0,(%r15,%rdx,8)
movslq %edi,%rdi
movsd  (%r15,%rdi,8),%xmm0
addsd  -0x8(%rcx,%rax,8),%xmm0
movsd  %xmm0,(%r15,%rdi,8)
add    $0xfffffffffffffffe,%rax
add    $0xfffffffe,%edi
cmp    %rax,%rsi
jne    1340 <reconstruct+0x220>
test   %ebp,%ebp
jle    1649 <reconstruct+0x529>
lea    -0x1(%r12),%rcx
mov    %r12d,%eax
and    $0x7,%eax
cmp    $0x7,%rcx
jae    1399 <reconstruct+0x279>
xorpd  %xmm0,%xmm0
xor    %ecx,%ecx
jmp    13f0 <reconstruct+0x2d0>
mov    %r12d,%edx
and    $0xfffffff8,%edx
xorpd  %xmm0,%xmm0
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
addsd  (%r15,%rcx,8),%xmm0
addsd  0x8(%r15,%rcx,8),%xmm0
addsd  0x10(%r15,%rcx,8),%xmm0
addsd  0x18(%r15,%rcx,8),%xmm0
addsd  0x20(%r15,%rcx,8),%xmm0
addsd  0x28(%r15,%rcx,8),%xmm0
addsd  0x30(%r15,%rcx,8),%xmm0
addsd  0x38(%r15,%rcx,8),%xmm0
add    $0x8,%rcx
cmp    %rcx,%rdx
jne    13b0 <reconstruct+0x290>
test   %rax,%rax
je     140e <reconstruct+0x2ee>
lea    (%r15,%rcx,8),%rcx
xor    %edx,%edx
nopl   0x0(%rax,%rax,1)
addsd  (%rcx,%rdx,8),%xmm0
add    $0x1,%rdx
cmp    %rdx,%rax
jne    1400 <reconstruct+0x2e0>
test   %ebp,%ebp
jle    1649 <reconstruct+0x529>
xorps  %xmm1,%xmm1
cvtsi2sd %ebp,%xmm1
divsd  %xmm1,%xmm0
cmp    $0x4,%r12d
jae    157d <reconstruct+0x45d>
xor    %eax,%eax
jmp    1630 <reconstruct+0x510>
lea    -0x1(%rsi),%rcx
mov    %r9d,%edi
sub    %ecx,%edi
mov    $0x8,%edx
mov    %rcx,%rax
mul    %rdx
seto   %bl
xor    %edx,%edx
cmp    %r9d,%edi
jg     12ea <reconstruct+0x1ca>
shr    $0x20,%rcx
jne    12ea <reconstruct+0x1ca>
movslq %r9d,%rcx
lea    (%r15,%rcx,8),%rbp
mov    %rbp,%rdi
sub    %rax,%rdi
cmp    %rbp,%rdi
ja     1671 <reconstruct+0x551>
test   %bl,%bl
jne    1671 <reconstruct+0x551>
lea    (%r15,%r12,8),%rbp
add    $0xfffffffffffffff8,%rbp
mov    %rbp,%rdi
sub    %rax,%rdi
cmp    %rbp,%rdi
ja     1671 <reconstruct+0x551>
test   %bl,%bl
mov    0x8(%rsp),%rbp
jne    12ea <reconstruct+0x1ca>
lea    0x1(%rcx),%rax
sub    %rsi,%rax
lea    (%r15,%rax,8),%rax
lea    (%r15,%r12,8),%rdx
cmp    %rdx,%rax
jae    14cf <reconstruct+0x3af>
lea    (%r15,%rcx,8),%rax
add    $0x8,%rax
mov    %r12,%rcx
sub    %rsi,%rcx
lea    (%r15,%rcx,8),%rcx
cmp    %rax,%rcx
jb     12e8 <reconstruct+0x1c8>
mov    %esi,%edx
and    $0xfffffffc,%edx
lea    -0x4(%rdx),%rax
mov    %rax,%r8
shr    $0x2,%r8
add    $0x1,%r8
test   %rax,%rax
je     167b <reconstruct+0x55b>
mov    %r8,%rcx
and    $0xfffffffffffffffe,%rcx
lea    -0x6(%rbp),%ebx
lea    (%r15,%r12,8),%rdi
add    $0xfffffffffffffff0,%rdi
xor    %eax,%eax
lea    0x4(%rbx),%ebp
movslq %ebp,%rbp
movupd -0x18(%r15,%rbp,8),%xmm0
movupd -0x8(%r15,%rbp,8),%xmm1
movupd -0x10(%rdi,%rax,8),%xmm2
addpd  %xmm0,%xmm2
movupd (%rdi,%rax,8),%xmm0
addpd  %xmm1,%xmm0
movupd %xmm0,-0x8(%r15,%rbp,8)
movupd %xmm2,-0x18(%r15,%rbp,8)
movslq %ebx,%rbx
movupd -0x18(%r15,%rbx,8),%xmm0
movupd -0x8(%r15,%rbx,8),%xmm1
movupd -0x30(%rdi,%rax,8),%xmm2
addpd  %xmm0,%xmm2
movupd -0x20(%rdi,%rax,8),%xmm0
addpd  %xmm1,%xmm0
movupd %xmm0,-0x8(%r15,%rbx,8)
movupd %xmm2,-0x18(%r15,%rbx,8)
add    $0xfffffff8,%ebx
add    $0xfffffffffffffff8,%rax
add    $0xfffffffffffffffe,%rcx
jne    1500 <reconstruct+0x3e0>
neg    %rax
jmp    167d <reconstruct+0x55d>
mov    %r12d,%eax
and    $0xfffffffc,%eax
movapd %xmm0,%xmm1
unpcklpd %xmm0,%xmm1
lea    -0x4(%rax),%rcx
mov    %rcx,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
test   %rcx,%rcx
je     1668 <reconstruct+0x548>
mov    %rdx,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %ecx,%ecx
nopl   0x0(%rax)
movupd (%r15,%rcx,8),%xmm2
movupd 0x10(%r15,%rcx,8),%xmm3
movupd 0x20(%r15,%rcx,8),%xmm4
movupd 0x30(%r15,%rcx,8),%xmm5
subpd  %xmm1,%xmm2
subpd  %xmm1,%xmm3
movupd %xmm2,(%r15,%rcx,8)
movupd %xmm3,0x10(%r15,%rcx,8)
subpd  %xmm1,%xmm4
subpd  %xmm1,%xmm5
movupd %xmm4,0x20(%r15,%rcx,8)
movupd %xmm5,0x30(%r15,%rcx,8)
add    $0x8,%rcx
add    $0xfffffffffffffffe,%rsi
jne    15b0 <reconstruct+0x490>
test   $0x1,%dl
je     1627 <reconstruct+0x507>
movupd (%r15,%rcx,8),%xmm2
movupd 0x10(%r15,%rcx,8),%xmm3
subpd  %xmm1,%xmm2
subpd  %xmm1,%xmm3
movupd %xmm2,(%r15,%rcx,8)
movupd %xmm3,0x10(%r15,%rcx,8)
cmp    %r12,%rax
je     1649 <reconstruct+0x529>
nopl   0x0(%rax)
movsd  (%r15,%rax,8),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,(%r15,%rax,8)
add    $0x1,%rax
cmp    %rax,%r12
jne    1630 <reconstruct+0x510>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edx,%edx
test   $0x1,%cl
jne    12af <reconstruct+0x18f>
jmp    12c6 <reconstruct+0x1a6>
xor    %ecx,%ecx
test   $0x1,%dl
jne    1605 <reconstruct+0x4e5>
jmp    1627 <reconstruct+0x507>
mov    0x8(%rsp),%rbp
jmp    12ea <reconstruct+0x1ca>
xor    %eax,%eax
test   $0x1,%r8b
je     16c3 <reconstruct+0x5a3>
mov    %r9d,%ecx
sub    %eax,%ecx
movslq %ecx,%rcx
movupd -0x18(%r15,%rcx,8),%xmm0
movupd -0x8(%r15,%rcx,8),%xmm1
not    %rax
add    %r12,%rax
movupd -0x18(%r15,%rax,8),%xmm2
addpd  %xmm0,%xmm2
movupd -0x8(%r15,%rax,8),%xmm0
addpd  %xmm1,%xmm0
movupd %xmm0,-0x8(%r15,%rcx,8)
movupd %xmm2,-0x18(%r15,%rcx,8)
cmp    %rsi,%rdx
mov    0x8(%rsp),%rbp
jne    12ea <reconstruct+0x1ca>
jmp    1378 <reconstruct+0x258>

LLVM IR (-O0):
define void @reconstruct(double* %0, i32 %1, double* %2) {
%4 = alloca double*
%5 = alloca i32
%6 = alloca double*
%7 = alloca i32
%8 = alloca double
store double* %0, double** %4
store i32 %1, i32* %5
store double* %2, double** %6
store i32 0, i32* %7
store double 0.000000e+00, double* %8
store i32 0, i32* %7
br label %9
9: ; preds = %18, %3
%10 = load i32, i32* %7
%11 = load i32, i32* %5
%12 = icmp slt i32 %10, %11
br i1 %12, label %13, label %21
13: ; preds = %9
%14 = load double*, double** %6
%15 = load i32, i32* %7
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds double, double* %14, i64 %16
store double 0.000000e+00, double* %17
br label %18
18: ; preds = %13
%19 = load i32, i32* %7
%20 = add nsw i32 %19, 1
store i32 %20, i32* %7
br label %9
21: ; preds = %9
store i32 0, i32* %7
br label %22
22: ; preds = %46, %21
%23 = load i32, i32* %7
%24 = load i32, i32* %5
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %49
26: ; preds = %22
%27 = load i32, i32* %5
%28 = load i32, i32* %7
%29 = sub nsw i32 %27, %28
%30 = sitofp i32 %29 to double
%31 = load i32, i32* %7
%32 = add nsw i32 %31, 1
%33 = sitofp i32 %32 to double
%34 = fmul double %30, %33
%35 = load i32, i32* %5
%36 = add nsw i32 %35, 1
%37 = sitofp i32 %36 to double
%38 = fdiv double %34, %37
%39 = call i32 @sqrt(double %38)
%40 = mul nsw i32 -1, %39
%41 = sitofp i32 %40 to double
%42 = load double*, double** %6
%43 = load i32, i32* %7
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds double, double* %42, i64 %44
store double %41, double* %45
br label %46
46: ; preds = %26
%47 = load i32, i32* %7
%48 = add nsw i32 %47, 1
store i32 %48, i32* %7
br label %22
49: ; preds = %22
store i32 0, i32* %7
br label %50
50: ; preds = %70, %49
%51 = load i32, i32* %7
%52 = load i32, i32* %5
%53 = icmp slt i32 %51, %52
br i1 %53, label %54, label %73
54: ; preds = %50
%55 = load double*, double** %4
%56 = load i32, i32* %7
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds double, double* %55, i64 %57
%59 = load double, double* %58
%60 = load double*, double** %6
%61 = load i32, i32* %7
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds double, double* %60, i64 %62
%64 = load double, double* %63
%65 = fdiv double %59, %64
%66 = load double*, double** %4
%67 = load i32, i32* %7
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds double, double* %66, i64 %68
store double %65, double* %69
br label %70
70: ; preds = %54
%71 = load i32, i32* %7
%72 = add nsw i32 %71, 1
store i32 %72, i32* %7
br label %50
73: ; preds = %50
store i32 0, i32* %7
br label %74
74: ; preds = %104, %73
%75 = load i32, i32* %7
%76 = load i32, i32* %5
%77 = sub nsw i32 %76, 1
%78 = icmp slt i32 %75, %77
br i1 %78, label %79, label %107
79: ; preds = %74
%80 = load double*, double** %4
%81 = load i32, i32* %5
%82 = load i32, i32* %7
%83 = add nsw i32 %82, 2
%84 = sub nsw i32 %81, %83
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds double, double* %80, i64 %85
%87 = load double, double* %86
%88 = load double*, double** %4
%89 = load i32, i32* %5
%90 = load i32, i32* %7
%91 = add nsw i32 %90, 1
%92 = sub nsw i32 %89, %91
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds double, double* %88, i64 %93
%95 = load double, double* %94
%96 = fadd double %87, %95
%97 = load double*, double** %4
%98 = load i32, i32* %5
%99 = load i32, i32* %7
%100 = add nsw i32 %99, 2
%101 = sub nsw i32 %98, %100
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds double, double* %97, i64 %102
store double %96, double* %103
br label %104
104: ; preds = %79
%105 = load i32, i32* %7
%106 = add nsw i32 %105, 1
store i32 %106, i32* %7
br label %74
107: ; preds = %74
store double 0.000000e+00, double* %8
store i32 0, i32* %7
br label %108
108: ; preds = %120, %107
%109 = load i32, i32* %7
%110 = load i32, i32* %5
%111 = icmp slt i32 %109, %110
br i1 %111, label %112, label %123
112: ; preds = %108
%113 = load double, double* %8
%114 = load double*, double** %4
%115 = load i32, i32* %7
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds double, double* %114, i64 %116
%118 = load double, double* %117
%119 = fadd double %113, %118
store double %119, double* %8
br label %120
120: ; preds = %112
%121 = load i32, i32* %7
%122 = add nsw i32 %121, 1
store i32 %122, i32* %7
br label %108
123: ; preds = %108
%124 = load double, double* %8
%125 = load i32, i32* %5
%126 = sitofp i32 %125 to double
%127 = fdiv double %124, %126
store double %127, double* %8
store i32 0, i32* %7
br label %128
128: ; preds = %144, %123
%129 = load i32, i32* %7
%130 = load i32, i32* %5
%131 = icmp slt i32 %129, %130
br i1 %131, label %132, label %147
132: ; preds = %128
%133 = load double*, double** %4
%134 = load i32, i32* %7
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds double, double* %133, i64 %135
%137 = load double, double* %136
%138 = load double, double* %8
%139 = fsub double %137, %138
%140 = load double*, double** %4
%141 = load i32, i32* %7
%142 = sext i32 %141 to i64
%143 = getelementptr inbounds double, double* %140, i64 %142
store double %139, double* %143
br label %144
144: ; preds = %132
%145 = load i32, i32* %7
%146 = add nsw i32 %145, 1
store i32 %146, i32* %7
br label %128
147: ; preds = %128
ret void
}

LLVM IR (-O2):
define void @reconstruct(double* nocapture %0, i32 %1, double* nocapture %2) {
%4 = icmp sgt i32 %1, 0
br i1 %4, label %5, label %436
5: ; preds = %3
%6 = bitcast double* %2 to i8*
%7 = zext i32 %1 to i64
%8 = shl nuw nsw i64 %7, 3
%9 = add nuw nsw i32 %1, 1
%10 = sitofp i32 %9 to double
%11 = zext i32 %1 to i64
br label %84
12: ; preds = %84
br i1 %4, label %13, label %436
13: ; preds = %12
%14 = zext i32 %1 to i64
%15 = icmp eq i32 %1, 1
br i1 %15, label %68, label %16
16: ; preds = %13
%17 = getelementptr double, double* %0, i64 %11
%18 = getelementptr double, double* %2, i64 %11
%19 = icmp ugt double* %18, %0
%20 = icmp ugt double* %17, %2
%21 = and i1 %19, %20
br i1 %21, label %68, label %22
22: ; preds = %16
%23 = and i64 %11, 4294967294
%24 = add nsw i64 %23, -2
%25 = lshr exact i64 %24, 1
%26 = add nuw i64 %25, 1
%27 = and i64 %26, 1
%28 = icmp eq i64 %24, 0
br i1 %28, label %54, label %29
29: ; preds = %22
%30 = and i64 %26, -2
br label %31
31: ; preds = %31, %29
%32 = phi i64 [ 0, %29 ], [ %51, %31 ]
%33 = phi i64 [ 0, %29 ], [ %52, %31 ]
%34 = getelementptr inbounds double, double* %0, i64 %32
%35 = bitcast double* %34 to <2 x double>*
%36 = load <2 x double>, <2 x double>* %35
%37 = getelementptr inbounds double, double* %2, i64 %32
%38 = bitcast double* %37 to <2 x double>*
%39 = load <2 x double>, <2 x double>* %38
%40 = fdiv <2 x double> %36, %39
%41 = bitcast double* %34 to <2 x double>*
store <2 x double> %40, <2 x double>* %41
%42 = or i64 %32, 2
%43 = getelementptr inbounds double, double* %0, i64 %42
%44 = bitcast double* %43 to <2 x double>*
%45 = load <2 x double>, <2 x double>* %44
%46 = getelementptr inbounds double, double* %2, i64 %42
%47 = bitcast double* %46 to <2 x double>*
%48 = load <2 x double>, <2 x double>* %47
%49 = fdiv <2 x double> %45, %48
%50 = bitcast double* %43 to <2 x double>*
store <2 x double> %49, <2 x double>* %50
%51 = add nuw i64 %32, 4
%52 = add nuw i64 %33, 2
%53 = icmp eq i64 %52, %30
br i1 %53, label %54, label %31
54: ; preds = %31, %22
%55 = phi i64 [ 0, %22 ], [ %51, %31 ]
%56 = icmp eq i64 %27, 0
br i1 %56, label %66, label %57
57: ; preds = %54
%58 = getelementptr inbounds double, double* %0, i64 %55
%59 = bitcast double* %58 to <2 x double>*
%60 = load <2 x double>, <2 x double>* %59
%61 = getelementptr inbounds double, double* %2, i64 %55
%62 = bitcast double* %61 to <2 x double>*
%63 = load <2 x double>, <2 x double>* %62
%64 = fdiv <2 x double> %60, %63
%65 = bitcast double* %58 to <2 x double>*
store <2 x double> %64, <2 x double>* %65
br label %66
66: ; preds = %54, %57
%67 = icmp eq i64 %23, %11
br i1 %67, label %99, label %68
68: ; preds = %16, %13, %66
%69 = phi i64 [ 0, %16 ], [ 0, %13 ], [ %23, %66 ]
%70 = xor i64 %69, -1
%71 = and i64 %11, 1
%72 = icmp eq i64 %71, 0
br i1 %72, label %80, label %73
73: ; preds = %68
%74 = getelementptr inbounds double, double* %0, i64 %69
%75 = load double, double* %74
%76 = getelementptr inbounds double, double* %2, i64 %69
%77 = load double, double* %76
%78 = fdiv double %75, %77
store double %78, double* %74
%79 = or i64 %69, 1
br label %80
80: ; preds = %73, %68
%81 = phi i64 [ %69, %68 ], [ %79, %73 ]
%82 = sub nsw i64 0, %11
%83 = icmp eq i64 %70, %82
br i1 %83, label %99, label %266
84: ; preds = %5, %84
%85 = phi i64 [ 0, %5 ], [ %89, %84 ]
%86 = trunc i64 %85 to i32
%87 = sub nsw i32 %1, %86
%88 = sitofp i32 %87 to double
%89 = add nuw nsw i64 %85, 1
%90 = trunc i64 %89 to i32
%91 = sitofp i32 %90 to double
%92 = fmul double %88, %91
%93 = fdiv double %92, %10
%94 = tail call i32 @sqrt(double %93)
%95 = sub nsw i32 0, %94
%96 = sitofp i32 %95 to double
%97 = getelementptr inbounds double, double* %2, i64 %85
store double %96, double* %97
%98 = icmp eq i64 %89, %11
br i1 %98, label %12, label %84
99: ; preds = %80, %266, %66
%100 = icmp sgt i32 %1, 1
br i1 %100, label %101, label %281
101: ; preds = %99
%102 = add nsw i32 %1, -1
%103 = add i32 %1, -2
%104 = zext i32 %1 to i64
%105 = zext i32 %102 to i64
%106 = icmp ult i32 %102, 4
br i1 %106, label %246, label %107
107: ; preds = %101
%108 = add nsw i64 %105, -1
%109 = trunc i64 %108 to i32
%110 = sub i32 %103, %109
%111 = icmp sgt i32 %110, %103
%112 = icmp ugt i64 %108, 4294967295
%113 = or i1 %111, %112
%114 = sext i32 %103 to i64
%115 = getelementptr double, double* %0, i64 %114
%116 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %108, i64 8)
%117 = extractvalue { i64, i1 } %116, 0
%118 = extractvalue { i64, i1 } %116, 1
%119 = bitcast double* %115 to i8*
%120 = sub i64 0, %117
%121 = getelementptr i8, i8* %119, i64 %120
%122 = icmp ugt i8* %121, %119
%123 = or i1 %122, %118
%124 = add nsw i64 %11, -1
%125 = getelementptr double, double* %0, i64 %124
%126 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %108, i64 8)
%127 = extractvalue { i64, i1 } %126, 0
%128 = extractvalue { i64, i1 } %126, 1
%129 = bitcast double* %125 to i8*
%130 = sub i64 0, %127
%131 = getelementptr i8, i8* %129, i64 %130
%132 = icmp ugt i8* %131, %129
%133 = or i1 %132, %128
%134 = or i1 %113, %123
%135 = or i1 %134, %133
br i1 %135, label %246, label %136
136: ; preds = %107
%137 = sext i32 %103 to i64
%138 = add nsw i64 %137, 1
%139 = sub nsw i64 %138, %105
%140 = getelementptr double, double* %0, i64 %139
%141 = add nsw i64 %137, 1
%142 = getelementptr double, double* %0, i64 %141
%143 = sub nsw i64 %11, %105
%144 = getelementptr double, double* %0, i64 %143
%145 = getelementptr double, double* %0, i64 %11
%146 = icmp ult double* %140, %145
%147 = icmp ult double* %144, %142
%148 = and i1 %146, %147
br i1 %148, label %246, label %149
149: ; preds = %136
%150 = and i64 %105, 4294967292
%151 = add nsw i64 %150, -4
%152 = lshr exact i64 %151, 2
%153 = add nuw nsw i64 %152, 1
%154 = and i64 %153, 1
%155 = icmp eq i64 %151, 0
br i1 %155, label %215, label %156
156: ; preds = %149
%157 = and i64 %153, 9223372036854775806
br label %158
158: ; preds = %158, %156
%159 = phi i64 [ 0, %156 ], [ %212, %158 ]
%160 = phi i64 [ 0, %156 ], [ %213, %158 ]
%161 = trunc i64 %159 to i32
%162 = sub i32 %103, %161
%163 = sext i32 %162 to i64
%164 = getelementptr inbounds double, double* %0, i64 %163
%165 = getelementptr inbounds double, double* %164, i64 -1
%166 = bitcast double* %165 to <2 x double>*
%167 = load <2 x double>, <2 x double>* %166
%168 = getelementptr inbounds double, double* %164, i64 -2
%169 = getelementptr inbounds double, double* %168, i64 -1
%170 = bitcast double* %169 to <2 x double>*
%171 = load <2 x double>, <2 x double>* %170
%172 = xor i64 %159, -1
%173 = add i64 %172, %104
%174 = getelementptr inbounds double, double* %0, i64 %173
%175 = getelementptr inbounds double, double* %174, i64 -1
%176 = bitcast double* %175 to <2 x double>*
%177 = load <2 x double>, <2 x double>* %176
%178 = getelementptr inbounds double, double* %174, i64 -2
%179 = getelementptr inbounds double, double* %178, i64 -1
%180 = bitcast double* %179 to <2 x double>*
%181 = load <2 x double>, <2 x double>* %180
%182 = fadd <2 x double> %167, %177
%183 = fadd <2 x double> %171, %181
%184 = bitcast double* %165 to <2 x double>*
store <2 x double> %182, <2 x double>* %184
%185 = bitcast double* %169 to <2 x double>*
store <2 x double> %183, <2 x double>* %185
%186 = trunc i64 %159 to i32
%187 = or i32 %186, 4
%188 = sub i32 %103, %187
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds double, double* %0, i64 %189
%191 = getelementptr inbounds double, double* %190, i64 -1
%192 = bitcast double* %191 to <2 x double>*
%193 = load <2 x double>, <2 x double>* %192
%194 = getelementptr inbounds double, double* %190, i64 -2
%195 = getelementptr inbounds double, double* %194, i64 -1
%196 = bitcast double* %195 to <2 x double>*
%197 = load <2 x double>, <2 x double>* %196
%198 = sub nuw nsw i64 -5, %159
%199 = add i64 %198, %104
%200 = getelementptr inbounds double, double* %0, i64 %199
%201 = getelementptr inbounds double, double* %200, i64 -1
%202 = bitcast double* %201 to <2 x double>*
%203 = load <2 x double>, <2 x double>* %202
%204 = getelementptr inbounds double, double* %200, i64 -2
%205 = getelementptr inbounds double, double* %204, i64 -1
%206 = bitcast double* %205 to <2 x double>*
%207 = load <2 x double>, <2 x double>* %206
%208 = fadd <2 x double> %193, %203
%209 = fadd <2 x double> %197, %207
%210 = bitcast double* %191 to <2 x double>*
store <2 x double> %208, <2 x double>* %210
%211 = bitcast double* %195 to <2 x double>*
store <2 x double> %209, <2 x double>* %211
%212 = add nuw i64 %159, 8
%213 = add i64 %160, 2
%214 = icmp eq i64 %213, %157
br i1 %214, label %215, label %158
215: ; preds = %158, %149
%216 = phi i64 [ 0, %149 ], [ %212, %158 ]
%217 = icmp eq i64 %154, 0
br i1 %217, label %244, label %218
218: ; preds = %215
%219 = trunc i64 %216 to i32
%220 = sub i32 %103, %219
%221 = sext i32 %220 to i64
%222 = getelementptr inbounds double, double* %0, i64 %221
%223 = getelementptr inbounds double, double* %222, i64 -1
%224 = bitcast double* %223 to <2 x double>*
%225 = load <2 x double>, <2 x double>* %224
%226 = getelementptr inbounds double, double* %222, i64 -2
%227 = getelementptr inbounds double, double* %226, i64 -1
%228 = bitcast double* %227 to <2 x double>*
%229 = load <2 x double>, <2 x double>* %228
%230 = xor i64 %216, -1
%231 = add i64 %230, %104
%232 = getelementptr inbounds double, double* %0, i64 %231
%233 = getelementptr inbounds double, double* %232, i64 -1
%234 = bitcast double* %233 to <2 x double>*
%235 = load <2 x double>, <2 x double>* %234
%236 = getelementptr inbounds double, double* %232, i64 -2
%237 = getelementptr inbounds double, double* %236, i64 -1
%238 = bitcast double* %237 to <2 x double>*
%239 = load <2 x double>, <2 x double>* %238
%240 = fadd <2 x double> %225, %235
%241 = fadd <2 x double> %229, %239
%242 = bitcast double* %223 to <2 x double>*
store <2 x double> %240, <2 x double>* %242
%243 = bitcast double* %227 to <2 x double>*
store <2 x double> %241, <2 x double>* %243
br label %244
244: ; preds = %215, %218
%245 = icmp eq i64 %150, %105
br i1 %245, label %281, label %246
246: ; preds = %136, %107, %101, %244
%247 = phi i64 [ 0, %136 ], [ 0, %107 ], [ 0, %101 ], [ %150, %244 ]
%248 = xor i64 %247, -1
%249 = and i64 %105, 1
%250 = icmp eq i64 %249, 0
br i1 %250, label %262, label %251
251: ; preds = %246
%252 = trunc i64 %247 to i32
%253 = sub i32 %103, %252
%254 = sext i32 %253 to i64
%255 = getelementptr inbounds double, double* %0, i64 %254
%256 = load double, double* %255
%257 = or i64 %247, 1
%258 = sub nsw i64 %104, %257
%259 = getelementptr inbounds double, double* %0, i64 %258
%260 = load double, double* %259
%261 = fadd double %256, %260
store double %261, double* %255
br label %262
262: ; preds = %251, %246
%263 = phi i64 [ %247, %246 ], [ %257, %251 ]
%264 = sub nsw i64 0, %105
%265 = icmp eq i64 %248, %264
br i1 %265, label %281, label %288
266: ; preds = %80, %266
%267 = phi i64 [ %279, %266 ], [ %81, %80 ]
%268 = getelementptr inbounds double, double* %0, i64 %267
%269 = load double, double* %268
%270 = getelementptr inbounds double, double* %2, i64 %267
%271 = load double, double* %270
%272 = fdiv double %269, %271
store double %272, double* %268
%273 = add nuw nsw i64 %267, 1
%274 = getelementptr inbounds double, double* %0, i64 %273
%275 = load double, double* %274
%276 = getelementptr inbounds double, double* %2, i64 %273
%277 = load double, double* %276
%278 = fdiv double %275, %277
store double %278, double* %274
%279 = add nuw nsw i64 %267, 2
%280 = icmp eq i64 %279, %14
br i1 %280, label %99, label %266
281: ; preds = %262, %288, %244, %99
br i1 %4, label %282, label %436
282: ; preds = %281
%283 = add nsw i64 %11, -1
%284 = and i64 %11, 7
%285 = icmp ult i64 %283, 7
br i1 %285, label %349, label %286
286: ; preds = %282
%287 = and i64 %11, 4294967288
br label %311
288: ; preds = %262, %288
%289 = phi i64 [ %305, %288 ], [ %263, %262 ]
%290 = trunc i64 %289 to i32
%291 = sub i32 %103, %290
%292 = sext i32 %291 to i64
%293 = getelementptr inbounds double, double* %0, i64 %292
%294 = load double, double* %293
%295 = add nuw nsw i64 %289, 1
%296 = sub nsw i64 %104, %295
%297 = getelementptr inbounds double, double* %0, i64 %296
%298 = load double, double* %297
%299 = fadd double %294, %298
store double %299, double* %293
%300 = trunc i64 %295 to i32
%301 = sub i32 %103, %300
%302 = sext i32 %301 to i64
%303 = getelementptr inbounds double, double* %0, i64 %302
%304 = load double, double* %303
%305 = add nuw nsw i64 %289, 2
%306 = sub nsw i64 %104, %305
%307 = getelementptr inbounds double, double* %0, i64 %306
%308 = load double, double* %307
%309 = fadd double %304, %308
store double %309, double* %303
%310 = icmp eq i64 %305, %105
br i1 %310, label %281, label %288
311: ; preds = %311, %286
%312 = phi i64 [ 0, %286 ], [ %346, %311 ]
%313 = phi double [ 0.000000e+00, %286 ], [ %345, %311 ]
%314 = phi i64 [ 0, %286 ], [ %347, %311 ]
%315 = getelementptr inbounds double, double* %0, i64 %312
%316 = load double, double* %315
%317 = fadd double %313, %316
%318 = or i64 %312, 1
%319 = getelementptr inbounds double, double* %0, i64 %318
%320 = load double, double* %319
%321 = fadd double %317, %320
%322 = or i64 %312, 2
%323 = getelementptr inbounds double, double* %0, i64 %322
%324 = load double, double* %323
%325 = fadd double %321, %324
%326 = or i64 %312, 3
%327 = getelementptr inbounds double, double* %0, i64 %326
%328 = load double, double* %327
%329 = fadd double %325, %328
%330 = or i64 %312, 4
%331 = getelementptr inbounds double, double* %0, i64 %330
%332 = load double, double* %331
%333 = fadd double %329, %332
%334 = or i64 %312, 5
%335 = getelementptr inbounds double, double* %0, i64 %334
%336 = load double, double* %335
%337 = fadd double %333, %336
%338 = or i64 %312, 6
%339 = getelementptr inbounds double, double* %0, i64 %338
%340 = load double, double* %339
%341 = fadd double %337, %340
%342 = or i64 %312, 7
%343 = getelementptr inbounds double, double* %0, i64 %342
%344 = load double, double* %343
%345 = fadd double %341, %344
%346 = add nuw nsw i64 %312, 8
%347 = add i64 %314, 8
%348 = icmp eq i64 %347, %287
br i1 %348, label %349, label %311
349: ; preds = %311, %282
%350 = phi double [ undef, %282 ], [ %345, %311 ]
%351 = phi i64 [ 0, %282 ], [ %346, %311 ]
%352 = phi double [ 0.000000e+00, %282 ], [ %345, %311 ]
%353 = icmp eq i64 %284, 0
br i1 %353, label %364, label %354
354: ; preds = %349, %354
%355 = phi i64 [ %361, %354 ], [ %351, %349 ]
%356 = phi double [ %360, %354 ], [ %352, %349 ]
%357 = phi i64 [ %362, %354 ], [ 0, %349 ]
%358 = getelementptr inbounds double, double* %0, i64 %355
%359 = load double, double* %358
%360 = fadd double %356, %359
%361 = add nuw nsw i64 %355, 1
%362 = add i64 %357, 1
%363 = icmp eq i64 %362, %284
br i1 %363, label %364, label %354
364: ; preds = %354, %349
%365 = phi double [ %350, %349 ], [ %360, %354 ]
%366 = sitofp i32 %1 to double
%367 = fdiv double %365, %366
br i1 %4, label %368, label %436
368: ; preds = %364
%369 = zext i32 %1 to i64
%370 = icmp ult i32 %1, 4
br i1 %370, label %427, label %371
371: ; preds = %368
%372 = and i64 %11, 4294967292
%373 = insertelement <2 x double> poison, double %367, i64 0
%374 = shufflevector <2 x double> %373, <2 x double> poison, <2 x i32> zeroinitializer
%375 = insertelement <2 x double> poison, double %367, i64 0
%376 = shufflevector <2 x double> %375, <2 x double> poison, <2 x i32> zeroinitializer
%377 = add nsw i64 %372, -4
%378 = lshr exact i64 %377, 2
%379 = add nuw nsw i64 %378, 1
%380 = and i64 %379, 1
%381 = icmp eq i64 %377, 0
br i1 %381, label %411, label %382
382: ; preds = %371
%383 = and i64 %379, 9223372036854775806
br label %384
384: ; preds = %384, %382
%385 = phi i64 [ 0, %382 ], [ %408, %384 ]
%386 = phi i64 [ 0, %382 ], [ %409, %384 ]
%387 = getelementptr inbounds double, double* %0, i64 %385
%388 = bitcast double* %387 to <2 x double>*
%389 = load <2 x double>, <2 x double>* %388
%390 = getelementptr inbounds double, double* %387, i64 2
%391 = bitcast double* %390 to <2 x double>*
%392 = load <2 x double>, <2 x double>* %391
%393 = fsub <2 x double> %389, %374
%394 = fsub <2 x double> %392, %376
%395 = bitcast double* %387 to <2 x double>*
store <2 x double> %393, <2 x double>* %395
%396 = bitcast double* %390 to <2 x double>*
store <2 x double> %394, <2 x double>* %396
%397 = or i64 %385, 4
%398 = getelementptr inbounds double, double* %0, i64 %397
%399 = bitcast double* %398 to <2 x double>*
%400 = load <2 x double>, <2 x double>* %399
%401 = getelementptr inbounds double, double* %398, i64 2
%402 = bitcast double* %401 to <2 x double>*
%403 = load <2 x double>, <2 x double>* %402
%404 = fsub <2 x double> %400, %374
%405 = fsub <2 x double> %403, %376
%406 = bitcast double* %398 to <2 x double>*
store <2 x double> %404, <2 x double>* %406
%407 = bitcast double* %401 to <2 x double>*
store <2 x double> %405, <2 x double>* %407
%408 = add nuw i64 %385, 8
%409 = add i64 %386, 2
%410 = icmp eq i64 %409, %383
br i1 %410, label %411, label %384
411: ; preds = %384, %371
%412 = phi i64 [ 0, %371 ], [ %408, %384 ]
%413 = icmp eq i64 %380, 0
br i1 %413, label %425, label %414
414: ; preds = %411
%415 = getelementptr inbounds double, double* %0, i64 %412
%416 = bitcast double* %415 to <2 x double>*
%417 = load <2 x double>, <2 x double>* %416
%418 = getelementptr inbounds double, double* %415, i64 2
%419 = bitcast double* %418 to <2 x double>*
%420 = load <2 x double>, <2 x double>* %419
%421 = fsub <2 x double> %417, %374
%422 = fsub <2 x double> %420, %376
%423 = bitcast double* %415 to <2 x double>*
store <2 x double> %421, <2 x double>* %423
%424 = bitcast double* %418 to <2 x double>*
store <2 x double> %422, <2 x double>* %424
br label %425
425: ; preds = %411, %414
%426 = icmp eq i64 %372, %11
br i1 %426, label %436, label %427
427: ; preds = %368, %425
%428 = phi i64 [ 0, %368 ], [ %372, %425 ]
br label %429
429: ; preds = %427, %429
%430 = phi i64 [ %434, %429 ], [ %428, %427 ]
%431 = getelementptr inbounds double, double* %0, i64 %430
%432 = load double, double* %431
%433 = fsub double %432, %367
store double %433, double* %431
%434 = add nuw nsw i64 %430, 1
%435 = icmp eq i64 %434, %369
br i1 %435, label %436, label %429
436: ; preds = %429, %425, %12, %3, %281, %364
ret void
}