#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*/ _mm_free(double *);
scalar_t__ _mm_malloc(int, int);
void solve_tri_special(double *restrict x, const double a, const double b,
                       const int n) {
  double *cprime = (double *)_mm_malloc(sizeof(double) * n, 64);
  cprime[0] = 0;
  double astar = -a;
  double bstar = 1 - b;
  double m;
  int N = n - 1;
  for (int i = 1; i < N; i++) {
    m = 1.0 / (bstar - astar * cprime[i - 1]);
    cprime[i] = astar * m;
    x[i] = (x[i] - astar * x[i - 1]) * m;
  }
  cprime[N] = 0;
  for (int i = N; i-- > 0;)
    x[i] = x[i] - cprime[i] * x[i + 1];
  _mm_free(cprime);
}


x86 assembly (clang, -O0):
<solve_tri_special>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
mov    %esi,-0x1c(%rbp)
movslq -0x1c(%rbp),%rax
shl    $0x3,%rax
mov    %eax,%edi
mov    $0x40,%esi
call   1030 <_mm_malloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
movsd  -0x10(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xe7b(%rip),%xmm0
subsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x44(%rbp)
movl   $0x1,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x44(%rbp),%eax
jge    1271 <solve_tri_special+0x151>
movsd  -0x38(%rbp),%xmm0
movsd  -0x30(%rbp),%xmm1
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  0xe12(%rip),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x30(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
mov    -0x28(%rbp),%rax
movslq -0x48(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x8(%rbp),%rax
movslq -0x48(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
movsd  -0x30(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mulsd  -0x40(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x48(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    119f <solve_tri_special+0x7f>
mov    -0x28(%rbp),%rax
movslq -0x44(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x44(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x4c(%rbp)
cmp    $0x0,%eax
jle    12f8 <solve_tri_special+0x1d8>
mov    -0x8(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x28(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x4c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
jmp    1287 <solve_tri_special+0x167>
mov    -0x28(%rbp),%rdi
call   1040 <_mm_free@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<solve_tri_special>:
push   %r15
push   %r14
push   %rbx
sub    $0x20,%rsp
mov    %esi,%r14d
movsd  %xmm1,0x8(%rsp)
movapd %xmm0,0x10(%rsp)
mov    %rdi,%rbx
lea    0x0(,%r14,8),%edi
mov    $0x40,%esi
call   1030 <_mm_malloc@plt>
movapd 0x10(%rsp),%xmm6
movq   $0x0,(%rax)
lea    -0x1(%r14),%ecx
cmp    $0x3,%r14d
jl     11d8 <solve_tri_special+0xb8>
movapd 0xe94(%rip),%xmm0
xorpd  %xmm6,%xmm0
movsd  0xe98(%rip),%xmm1
movapd %xmm1,%xmm2
subsd  0x8(%rsp),%xmm2
mov    %ecx,%edx
movsd  (%rbx),%xmm3
mov    $0x1,%esi
xorpd  %xmm4,%xmm4
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mulsd  %xmm6,%xmm4
addsd  %xmm2,%xmm4
movapd %xmm1,%xmm5
divsd  %xmm4,%xmm5
movapd %xmm5,%xmm4
mulsd  %xmm0,%xmm4
movsd  %xmm4,(%rax,%rsi,8)
mulsd  %xmm6,%xmm3
addsd  (%rbx,%rsi,8),%xmm3
mulsd  %xmm5,%xmm3
movsd  %xmm3,(%rbx,%rsi,8)
add    $0x1,%rsi
cmp    %rsi,%rdx
jne    11a0 <solve_tri_special+0x80>
movslq %ecx,%rdx
movq   $0x0,(%rax,%rdx,8)
cmp    $0x2,%r14d
jl     1367 <solve_tri_special+0x247>
add    $0xfffffffe,%r14d
cmp    $0x3,%r14d
jb     1246 <solve_tri_special+0x126>
test   %ecx,%ecx
je     12e6 <solve_tri_special+0x1c6>
lea    (%rbx,%r14,8),%rdx
cmp    %rbx,%rdx
jb     1246 <solve_tri_special+0x126>
lea    0x0(,%r14,8),%rdx
mov    %ecx,%r11d
lea    (%rbx,%r11,8),%rsi
mov    %rsi,%rdi
sub    %rdx,%rdi
cmp    %rsi,%rdi
ja     1246 <solve_tri_special+0x126>
lea    (%rbx,%r11,8),%rdx
add    $0x8,%rdx
cmp    %rbx,%rdx
jbe    1264 <solve_tri_special+0x144>
lea    (%rbx,%r14,8),%rdx
add    $0x8,%rdx
mov    %r11,%rsi
sub    %r14,%rsi
lea    (%rbx,%rsi,8),%rsi
cmp    %rdx,%rsi
jae    1264 <solve_tri_special+0x144>
mov    %r14,%r10
test   $0x1,%r10b
je     12f3 <solve_tri_special+0x1d3>
mov    %r10,%rsi
test   %r10,%r10
jne    131c <solve_tri_special+0x1fc>
jmp    1367 <solve_tri_special+0x247>
lea    0x1(%r14),%r8
mov    %r8,%r9
and    $0xfffffffffffffffc,%r9
mov    %r14,%r10
sub    %r9,%r10
sub    %r9d,%ecx
mov    %r9,%r15
neg    %r15
lea    (%rbx,%r14,8),%rdx
add    $0xfffffffffffffff8,%rdx
lea    (%rax,%r14,8),%r14
add    $0xfffffffffffffff8,%r14
xor    %edi,%edi
lea    (%r11,%rdi,1),%esi
movupd -0x10(%rdx,%rdi,8),%xmm0
movupd (%rdx,%rdi,8),%xmm1
movupd -0x10(%r14,%rdi,8),%xmm2
movupd (%r14,%rdi,8),%xmm3
movupd -0x18(%rbx,%rsi,8),%xmm4
mulpd  %xmm2,%xmm4
subpd  %xmm4,%xmm0
movupd -0x8(%rbx,%rsi,8),%xmm2
mulpd  %xmm3,%xmm2
subpd  %xmm2,%xmm1
movupd %xmm1,(%rdx,%rdi,8)
movupd %xmm0,-0x10(%rdx,%rdi,8)
add    $0xfffffffffffffffc,%rdi
cmp    %rdi,%r15
jne    1290 <solve_tri_special+0x170>
cmp    %r9,%r8
jne    12e9 <solve_tri_special+0x1c9>
jmp    1367 <solve_tri_special+0x247>
mov    %r14,%r10
test   $0x1,%r10b
jne    1253 <solve_tri_special+0x133>
movsd  (%rax,%r10,8),%xmm0
mov    %ecx,%ecx
mulsd  (%rbx,%rcx,8),%xmm0
movsd  (%rbx,%r10,8),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,(%rbx,%r10,8)
lea    -0x1(%r10),%rsi
mov    %r10d,%ecx
test   %r10,%r10
je     1367 <solve_tri_special+0x247>
mov    %rsi,%rdx
nop
movsd  -0x8(%rbx,%rsi,8),%xmm0
movsd  (%rax,%rsi,8),%xmm1
mov    %ecx,%ecx
mulsd  (%rbx,%rcx,8),%xmm1
movsd  (%rbx,%rsi,8),%xmm2
subsd  %xmm1,%xmm2
movsd  %xmm2,(%rbx,%rsi,8)
movsd  -0x8(%rax,%rsi,8),%xmm1
mov    %esi,%ecx
mulsd  (%rbx,%rcx,8),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbx,%rsi,8)
add    $0xfffffffffffffffe,%rdx
lea    -0x1(%rsi),%ecx
mov    %rdx,%rsi
cmp    $0xffffffffffffffff,%rdx
jne    1320 <solve_tri_special+0x200>
mov    %rax,%rdi
add    $0x20,%rsp
pop    %rbx
pop    %r14
pop    %r15
jmp    1040 <_mm_free@plt>

LLVM IR (-O0):
define void @solve_tri_special(double* noalias %0, double %1, double %2, i32 %3) {
%5 = alloca double*
%6 = alloca double
%7 = alloca double
%8 = alloca i32
%9 = alloca double*
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
store double* %0, double** %5
store double %1, double* %6
store double %2, double* %7
store i32 %3, i32* %8
%16 = load i32, i32* %8
%17 = sext i32 %16 to i64
%18 = mul i64 8, %17
%19 = trunc i64 %18 to i32
%20 = call i64 @_mm_malloc(i32 %19, i32 64)
%21 = inttoptr i64 %20 to double*
store double* %21, double** %9
%22 = load double*, double** %9
%23 = getelementptr inbounds double, double* %22, i64 0
store double 0.000000e+00, double* %23
%24 = load double, double* %6
%25 = fneg double %24
store double %25, double* %10
%26 = load double, double* %7
%27 = fsub double 1.000000e+00, %26
store double %27, double* %11
%28 = load i32, i32* %8
%29 = sub nsw i32 %28, 1
store i32 %29, i32* %13
store i32 1, i32* %14
br label %30
30: ; preds = %73, %4
%31 = load i32, i32* %14
%32 = load i32, i32* %13
%33 = icmp slt i32 %31, %32
br i1 %33, label %34, label %76
34: ; preds = %30
%35 = load double, double* %11
%36 = load double, double* %10
%37 = load double*, double** %9
%38 = load i32, i32* %14
%39 = sub nsw i32 %38, 1
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds double, double* %37, i64 %40
%42 = load double, double* %41
%43 = fneg double %36
%44 = call double @llvm.fmuladd.f64(double %43, double %42, double %35)
%45 = fdiv double 1.000000e+00, %44
store double %45, double* %12
%46 = load double, double* %10
%47 = load double, double* %12
%48 = fmul double %46, %47
%49 = load double*, double** %9
%50 = load i32, i32* %14
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds double, double* %49, i64 %51
store double %48, double* %52
%53 = load double*, double** %5
%54 = load i32, i32* %14
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds double, double* %53, i64 %55
%57 = load double, double* %56
%58 = load double, double* %10
%59 = load double*, double** %5
%60 = load i32, i32* %14
%61 = sub nsw i32 %60, 1
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds double, double* %59, i64 %62
%64 = load double, double* %63
%65 = fneg double %58
%66 = call double @llvm.fmuladd.f64(double %65, double %64, double %57)
%67 = load double, double* %12
%68 = fmul double %66, %67
%69 = load double*, double** %5
%70 = load i32, i32* %14
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds double, double* %69, i64 %71
store double %68, double* %72
br label %73
73: ; preds = %34
%74 = load i32, i32* %14
%75 = add nsw i32 %74, 1
store i32 %75, i32* %14
br label %30
76: ; preds = %30
%77 = load double*, double** %9
%78 = load i32, i32* %13
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds double, double* %77, i64 %79
store double 0.000000e+00, double* %80
%81 = load i32, i32* %13
store i32 %81, i32* %15
br label %82
82: ; preds = %86, %76
%83 = load i32, i32* %15
%84 = add nsw i32 %83, -1
store i32 %84, i32* %15
%85 = icmp sgt i32 %83, 0
br i1 %85, label %86, label %109
86: ; preds = %82
%87 = load double*, double** %5
%88 = load i32, i32* %15
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds double, double* %87, i64 %89
%91 = load double, double* %90
%92 = load double*, double** %9
%93 = load i32, i32* %15
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds double, double* %92, i64 %94
%96 = load double, double* %95
%97 = load double*, double** %5
%98 = load i32, i32* %15
%99 = add nsw i32 %98, 1
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds double, double* %97, i64 %100
%102 = load double, double* %101
%103 = fneg double %96
%104 = call double @llvm.fmuladd.f64(double %103, double %102, double %91)
%105 = load double*, double** %5
%106 = load i32, i32* %15
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds double, double* %105, i64 %107
store double %104, double* %108
br label %82
109: ; preds = %82
%110 = load double*, double** %9
%111 = call i32 @_mm_free(double* %110)
ret void
}

LLVM IR (-O2):
define void @solve_tri_special(double* noalias nocapture %0, double %1, double %2, i32 %3) {
%5 = shl i32 %3, 3
%6 = tail call i64 @_mm_malloc(i32 %5, i32 64)
%7 = inttoptr i64 %6 to double*
store double 0.000000e+00, double* %7
%8 = fneg double %1
%9 = fsub double 1.000000e+00, %2
%10 = add i32 %3, -1
%11 = icmp sgt i32 %3, 2
br i1 %11, label %12, label %15
12: ; preds = %4
%13 = zext i32 %10 to i64
%14 = load double, double* %0
br label %120
15: ; preds = %120, %4
%16 = sext i32 %10 to i64
%17 = getelementptr inbounds double, double* %7, i64 %16
store double 0.000000e+00, double* %17
%18 = icmp sgt i32 %3, 1
br i1 %18, label %19, label %134
19: ; preds = %15
%20 = add nsw i32 %3, -2
%21 = zext i32 %20 to i64
%22 = add nuw nsw i64 %21, 1
%23 = icmp ult i32 %20, 3
br i1 %23, label %99, label %24
24: ; preds = %19
%25 = icmp eq i32 %10, 0
%26 = getelementptr double, double* %0, i64 %21
%27 = icmp ult double* %26, %0
%28 = zext i32 %10 to i64
%29 = getelementptr double, double* %0, i64 %28
%30 = sub nsw i64 0, %21
%31 = getelementptr double, double* %29, i64 %30
%32 = icmp ugt double* %31, %29
%33 = or i1 %25, %27
%34 = or i1 %33, %32
br i1 %34, label %99, label %35
35: ; preds = %24
%36 = add nuw nsw i64 %21, 1
%37 = getelementptr double, double* %0, i64 %36
%38 = zext i32 %10 to i64
%39 = sub nsw i64 %38, %21
%40 = getelementptr double, double* %0, i64 %39
%41 = add nuw nsw i64 %38, 1
%42 = getelementptr double, double* %0, i64 %41
%43 = icmp ugt double* %42, %0
%44 = icmp ult double* %40, %37
%45 = and i1 %43, %44
br i1 %45, label %99, label %46
46: ; preds = %35
%47 = and i64 %22, 8589934588
%48 = sub nsw i64 %21, %47
%49 = trunc i64 %47 to i32
%50 = sub i32 %10, %49
br label %51
51: ; preds = %51, %46
%52 = phi i64 [ 0, %46 ], [ %95, %51 ]
%53 = sub i64 %21, %52
%54 = trunc i64 %52 to i32
%55 = sub i32 %10, %54
%56 = getelementptr inbounds double, double* %0, i64 %53
%57 = getelementptr inbounds double, double* %56, i64 -1
%58 = bitcast double* %57 to <2 x double>*
%59 = load <2 x double>, <2 x double>* %58
%60 = shufflevector <2 x double> %59, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%61 = getelementptr inbounds double, double* %56, i64 -2
%62 = getelementptr inbounds double, double* %61, i64 -1
%63 = bitcast double* %62 to <2 x double>*
%64 = load <2 x double>, <2 x double>* %63
%65 = shufflevector <2 x double> %64, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%66 = getelementptr inbounds double, double* %7, i64 %53
%67 = getelementptr inbounds double, double* %66, i64 -1
%68 = bitcast double* %67 to <2 x double>*
%69 = load <2 x double>, <2 x double>* %68
%70 = shufflevector <2 x double> %69, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%71 = getelementptr inbounds double, double* %66, i64 -2
%72 = getelementptr inbounds double, double* %71, i64 -1
%73 = bitcast double* %72 to <2 x double>*
%74 = load <2 x double>, <2 x double>* %73
%75 = shufflevector <2 x double> %74, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%76 = zext i32 %55 to i64
%77 = getelementptr inbounds double, double* %0, i64 %76
%78 = getelementptr inbounds double, double* %77, i64 -1
%79 = bitcast double* %78 to <2 x double>*
%80 = load <2 x double>, <2 x double>* %79
%81 = shufflevector <2 x double> %80, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%82 = getelementptr inbounds double, double* %77, i64 -2
%83 = getelementptr inbounds double, double* %82, i64 -1
%84 = bitcast double* %83 to <2 x double>*
%85 = load <2 x double>, <2 x double>* %84
%86 = shufflevector <2 x double> %85, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%87 = fneg <2 x double> %70
%88 = fneg <2 x double> %75
%89 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %87, <2 x double> %81, <2 x double> %60)
%90 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %88, <2 x double> %86, <2 x double> %65)
%91 = shufflevector <2 x double> %89, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%92 = bitcast double* %57 to <2 x double>*
store <2 x double> %91, <2 x double>* %92
%93 = shufflevector <2 x double> %90, <2 x double> poison, <2 x i32> <i32 1, i32 0>
%94 = bitcast double* %62 to <2 x double>*
store <2 x double> %93, <2 x double>* %94
%95 = add nuw i64 %52, 4
%96 = icmp eq i64 %95, %47
br i1 %96, label %97, label %51
97: ; preds = %51
%98 = icmp eq i64 %22, %47
br i1 %98, label %134, label %99
99: ; preds = %35, %24, %19, %97
%100 = phi i64 [ %21, %35 ], [ %21, %24 ], [ %21, %19 ], [ %48, %97 ]
%101 = phi i32 [ %10, %35 ], [ %10, %24 ], [ %10, %19 ], [ %50, %97 ]
%102 = and i64 %100, 1
%103 = icmp eq i64 %102, 0
br i1 %103, label %104, label %116
104: ; preds = %99
%105 = getelementptr inbounds double, double* %0, i64 %100
%106 = load double, double* %105
%107 = getelementptr inbounds double, double* %7, i64 %100
%108 = load double, double* %107
%109 = zext i32 %101 to i64
%110 = getelementptr inbounds double, double* %0, i64 %109
%111 = load double, double* %110
%112 = fneg double %108
%113 = tail call double @llvm.fmuladd.f64(double %112, double %111, double %106)
store double %113, double* %105
%114 = add nsw i64 %100, -1
%115 = trunc i64 %100 to i32
br label %116
116: ; preds = %104, %99
%117 = phi i64 [ %100, %99 ], [ %114, %104 ]
%118 = phi i32 [ %101, %99 ], [ %115, %104 ]
%119 = icmp eq i64 %100, 0
br i1 %119, label %134, label %136
120: ; preds = %12, %120
%121 = phi double [ %14, %12 ], [ %131, %120 ]
%122 = phi double [ 0.000000e+00, %12 ], [ %126, %120 ]
%123 = phi i64 [ 1, %12 ], [ %132, %120 ]
%124 = tail call double @llvm.fmuladd.f64(double %1, double %122, double %9)
%125 = fdiv double 1.000000e+00, %124
%126 = fmul double %125, %8
%127 = getelementptr inbounds double, double* %7, i64 %123
store double %126, double* %127
%128 = getelementptr inbounds double, double* %0, i64 %123
%129 = load double, double* %128
%130 = tail call double @llvm.fmuladd.f64(double %1, double %121, double %129)
%131 = fmul double %125, %130
store double %131, double* %128
%132 = add nuw nsw i64 %123, 1
%133 = icmp eq i64 %132, %13
br i1 %133, label %15, label %120
134: ; preds = %116, %136, %97, %15
%135 = tail call i32 @_mm_free(double* %7)
ret void
136: ; preds = %116, %136
%137 = phi i64 [ %158, %136 ], [ %117, %116 ]
%138 = phi i32 [ %160, %136 ], [ %118, %116 ]
%139 = getelementptr inbounds double, double* %0, i64 %137
%140 = load double, double* %139
%141 = getelementptr inbounds double, double* %7, i64 %137
%142 = load double, double* %141
%143 = zext i32 %138 to i64
%144 = getelementptr inbounds double, double* %0, i64 %143
%145 = load double, double* %144
%146 = fneg double %142
%147 = tail call double @llvm.fmuladd.f64(double %146, double %145, double %140)
store double %147, double* %139
%148 = add nsw i64 %137, -1
%149 = getelementptr inbounds double, double* %0, i64 %148
%150 = load double, double* %149
%151 = getelementptr inbounds double, double* %7, i64 %148
%152 = load double, double* %151
%153 = and i64 %137, 4294967295
%154 = getelementptr inbounds double, double* %0, i64 %153
%155 = load double, double* %154
%156 = fneg double %152
%157 = tail call double @llvm.fmuladd.f64(double %156, double %155, double %150)
store double %157, double* %149
%158 = add nsw i64 %137, -2
%159 = icmp eq i64 %148, 0
%160 = trunc i64 %148 to i32
br i1 %159, label %134, label %136
}