#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 */
float initanticausal(float *, int, int, double);
float initcausal(float *, int, int, double);
void invspline1D(float *c, int step, int size, double *z, int npoles) {
  double lambda = 1;
  for (int k = npoles - 1; k >= 0; k--)
    lambda *= (1 - z[k]) * (1 - 1 / z[k]);
  for (int n = size - 1; n >= 0; n--)
    c[step * n] *= lambda;
  for (int k = 0; k < npoles; k++) {
    c[0] = initcausal(c, step, size, z[k]);
    for (int n = 1; n < size; n++)
      c[step * n] += z[k] * c[step * (n - 1)];
    c[step * (size - 1)] = initanticausal(c, step, size, z[k]);
    for (int n = size - 2; n >= 0; n--)
      c[step * n] = z[k] * (c[step * (n + 1)] - c[step * n]);
  }
}


x86 assembly (clang, -O0):
<invspline1D>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
movsd  0xebe(%rip),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jl     11ac <invspline1D+0x8c>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  0xe96(%rip),%xmm0
subsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  0xe81(%rip),%xmm2
divsd  (%rax,%rcx,8),%xmm2
movsd  0xe74(%rip),%xmm1
subsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
mulsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1150 <invspline1D+0x30>
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jl     11f6 <invspline1D+0xd6>
movsd  -0x28(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
imul   -0x30(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    11b5 <invspline1D+0x95>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    135e <invspline1D+0x23e>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
call   1030 <initcausal@plt>
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0x1,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    129f <invspline1D+0x17f>
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
mov    -0x38(%rbp),%edx
sub    $0x1,%edx
imul   %edx,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
cvtss2sd %xmm1,%xmm2
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
imul   -0x38(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
cvtss2sd %xmm1,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1234 <invspline1D+0x114>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
call   1040 <initanticausal@plt>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
mov    -0x10(%rbp),%edx
sub    $0x1,%edx
imul   %edx,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jl     134b <invspline1D+0x22b>
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
mov    -0x3c(%rbp),%edx
add    $0x1,%edx
imul   %edx,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
movslq %ecx,%rcx
subss  (%rax,%rcx,4),%xmm1
cvtss2sd %xmm1,%xmm1
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x3c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x3c(%rbp)
jmp    12dc <invspline1D+0x1bc>
jmp    1350 <invspline1D+0x230>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11fd <invspline1D+0xdd>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<invspline1D>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %r8d,%r11d
test   %r8d,%r8d
jle    1152 <invspline1D+0x32>
test   $0x1,%r11b
jne    115f <invspline1D+0x3f>
movsd  0xebc(%rip),%xmm0
mov    %r11,%rax
cmp    $0x1,%r8d
jne    1190 <invspline1D+0x70>
jmp    11fc <invspline1D+0xdc>
movsd  0xea6(%rip),%xmm0
jmp    11fc <invspline1D+0xdc>
lea    -0x1(%r11),%rax
mov    %eax,%ebp
movsd  (%rcx,%rbp,8),%xmm1
movsd  0xe8e(%rip),%xmm0
movapd %xmm0,%xmm2
subsd  %xmm1,%xmm2
movapd %xmm0,%xmm3
divsd  %xmm1,%xmm3
subsd  %xmm3,%xmm0
mulsd  %xmm2,%xmm0
cmp    $0x1,%r8d
je     11fc <invspline1D+0xdc>
add    $0xfffffffffffffffe,%rax
movsd  0xe64(%rip),%xmm1
nopl   0x0(%rax)
lea    0x1(%rax),%rbp
mov    %ebp,%ebx
movsd  (%rcx,%rbx,8),%xmm2
movapd %xmm1,%xmm3
subsd  %xmm2,%xmm3
movapd %xmm1,%xmm4
divsd  %xmm2,%xmm4
movapd %xmm1,%xmm2
subsd  %xmm4,%xmm2
mulsd  %xmm3,%xmm2
mulsd  %xmm0,%xmm2
mov    %eax,%ebx
movsd  (%rcx,%rbx,8),%xmm0
movapd %xmm1,%xmm3
subsd  %xmm0,%xmm3
movapd %xmm1,%xmm4
divsd  %xmm0,%xmm4
movapd %xmm1,%xmm0
subsd  %xmm4,%xmm0
mulsd  %xmm3,%xmm0
mulsd  %xmm2,%xmm0
add    $0xfffffffffffffffe,%rax
cmp    $0x1,%rbp
ja     11a0 <invspline1D+0x80>
mov    %edx,%r14d
movslq %esi,%r13
test   %edx,%edx
jle    12ab <invspline1D+0x18b>
test   $0x1,%r14b
jne    121d <invspline1D+0xfd>
mov    %r14,%r10
cmp    $0x1,%edx
jne    1243 <invspline1D+0x123>
jmp    12ab <invspline1D+0x18b>
lea    -0x1(%r14),%r10
mov    %r10,%rbp
imul   %r13,%rbp
movss  (%rdi,%rbp,4),%xmm1
cvtss2sd %xmm1,%xmm1
mulsd  %xmm0,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,(%rdi,%rbp,4)
cmp    $0x1,%edx
je     12ab <invspline1D+0x18b>
lea    -0x2(%r10),%rbp
imul   %r13,%rbp
lea    0x0(,%r13,8),%r9
neg    %r9
lea    0x1(%r10),%rbx
add    $0xffffffffffffffff,%r10
imul   %r13,%r10
mov    %rdi,%rax
cs nopw 0x0(%rax,%rax,1)
nop
movss  (%rax,%r10,4),%xmm1
cvtss2sd %xmm1,%xmm1
mulsd  %xmm0,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,(%rax,%r10,4)
movss  (%rax,%rbp,4),%xmm1
cvtss2sd %xmm1,%xmm1
mulsd  %xmm0,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,(%rax,%rbp,4)
add    %r9,%rax
add    $0xfffffffffffffffe,%rbx
cmp    $0x1,%rbx
ja     1270 <invspline1D+0x150>
mov    %rdx,0x18(%rsp)
mov    %rcx,0x20(%rsp)
test   %r8d,%r8d
jle    14bb <invspline1D+0x39b>
mov    0x18(%rsp),%rcx
lea    -0x1(%rcx),%eax
imul   %esi,%eax
cltq
mov    %rax,0x8(%rsp)
lea    -0x2(%rcx),%eax
movslq %eax,%rcx
add    $0xffffffffffffffff,%r14
lea    0x0(,%r13,8),%rax
mov    %rax,0x48(%rsp)
mov    %r14,%rax
mov    %r14,0x50(%rsp)
and    $0xfffffffffffffffe,%r14
neg    %r14
mov    %r14,0x40(%rsp)
mov    %r13,%r14
imul   %rcx,%r14
add    $0x1,%rcx
lea    0x0(,%r13,4),%rdx
neg    %rdx
mov    %rcx,0x28(%rsp)
mov    %rcx,%rbp
imul   %r13,%rbp
xor    %r12d,%r12d
mov    %rdi,(%rsp)
mov    %r11,0x10(%rsp)
mov    %rdx,0x38(%rsp)
mov    %rbp,0x30(%rsp)
mov    0x18(%rsp),%r15
jmp    136c <invspline1D+0x24c>
nopw   0x0(%rax,%rax,1)
mov    %ebp,%esi
mov    %r15d,%edx
call   1040 <initanticausal@plt>
mov    (%rsp),%rdi
mov    0x8(%rsp),%rax
movss  %xmm0,(%rdi,%rax,4)
mov    %ebp,%esi
mov    0x10(%rsp),%r11
add    $0x1,%r12
cmp    %r11,%r12
je     14bb <invspline1D+0x39b>
mov    0x20(%rsp),%rbx
movsd  (%rbx,%r12,8),%xmm0
mov    %r15d,%edx
mov    %esi,%ebp
call   1030 <initcausal@plt>
mov    (%rsp),%rdi
movss  %xmm0,(%rdi)
movsd  (%rbx,%r12,8),%xmm0
cmp    $0x2,%r15d
jl     1340 <invspline1D+0x220>
mov    $0x1,%eax
mov    0x48(%rsp),%rsi
mov    0x40(%rsp),%rbx
je     1409 <invspline1D+0x2e9>
mov    $0x1,%eax
mov    %rdi,%rcx
xchg   %ax,%ax
movss  (%rcx),%xmm1
cvtss2sd %xmm1,%xmm1
movss  (%rcx,%r13,4),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm0,%xmm1
addsd  %xmm2,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,(%rcx,%r13,4)
cvtss2sd %xmm1,%xmm1
movss  (%rcx,%r13,8),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm0,%xmm1
addsd  %xmm2,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,(%rcx,%r13,8)
add    %rsi,%rcx
lea    (%rbx,%rax,1),%rdx
add    $0x2,%rdx
add    $0x2,%rax
cmp    $0x1,%rdx
jne    13b0 <invspline1D+0x290>
testb  $0x1,0x50(%rsp)
mov    %ebp,%esi
je     1441 <invspline1D+0x321>
lea    -0x1(%rax),%rcx
imul   %r13,%rcx
movss  (%rdi,%rcx,4),%xmm1
cvtss2sd %xmm1,%xmm1
imul   %r13,%rax
movss  (%rdi,%rax,4),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm0,%xmm1
addsd  %xmm2,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,(%rdi,%rax,4)
mov    %r15d,%edx
call   1040 <initanticausal@plt>
mov    (%rsp),%rdi
mov    %ebp,%esi
mov    0x8(%rsp),%rax
movss  %xmm0,(%rdi,%rax,4)
cmp    $0x2,%r15d
mov    0x10(%rsp),%r11
mov    0x38(%rsp),%rdx
mov    0x30(%rsp),%rbp
jl     135f <invspline1D+0x23f>
mov    0x20(%rsp),%rax
movsd  (%rax,%r12,8),%xmm0
mov    %rdi,%rax
mov    0x28(%rsp),%rcx
cs nopw 0x0(%rax,%rax,1)
nop
movss  (%rax,%rbp,4),%xmm1
subss  (%rax,%r14,4),%xmm1
cvtss2sd %xmm1,%xmm1
mulsd  %xmm0,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,(%rax,%r14,4)
add    %rdx,%rax
add    $0xffffffffffffffff,%rcx
jg     1490 <invspline1D+0x370>
jmp    135f <invspline1D+0x23f>
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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