#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 MaxFloat(float, int /*<<< orphan*/);
int /*<<< orphan*/ MinFloat(float, int /*<<< orphan*/);
int /*<<< orphan*/ floorf(float const);
float EvaluateCatmullRomSpline(const float value, float const *K,
                               const int numKnots) {
  const float scaledValue = (float)(numKnots - 1) * value;
  const float scaledValueFloor =
      MaxFloat(0.0f, MinFloat((float)(numKnots - 1), floorf(scaledValue)));
  const float t = scaledValue - scaledValueFloor;
  const int k = (int)scaledValueFloor;
  float p0 = 0.0f;
  float p1 = 0.0f;
  float m0 = 0.0f;
  float m1 = 0.0f;
  if (k == 0) {
    p0 = K[0];
    m0 = K[1] - K[0];
    p1 = K[1];
    m1 = 0.5f * (K[2] - K[0]);
  } else if (k < numKnots - 2) {
    p0 = K[k];
    m0 = 0.5f * (K[k + 1] - K[k - 1]);
    p1 = K[k + 1];
    m1 = 0.5f * (K[k + 2] - K[k]);
  } else if (k == numKnots - 2) {
    p0 = K[k];
    m0 = 0.5f * (K[k + 1] - K[k - 1]);
    p1 = K[k + 1];
    m1 = K[k + 1] - K[k];
  } else if (k == numKnots - 1) {
    p0 = K[k];
    m0 = K[k] - K[k - 1];
    p1 = p0 + m0;
    m1 = m0;
  }
  const float omt = 1.0f - t;
  const float res = (p0 * (1.0f + 2.0f * t) + m0 * t) * omt * omt +
                    (p1 * (1.0f + 2.0f * omt) - m1 * omt) * t * t;
  return res;
}


x86 assembly (clang, -O0):
<EvaluateCatmullRomSpline>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movss  %xmm0,-0x4(%rbp)
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
cvtsi2ss %eax,%xmm0
mulss  -0x4(%rbp),%xmm0
movss  %xmm0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x40(%rbp)
movss  -0x18(%rbp),%xmm0
call   1040 <floorf@plt>
movss  -0x40(%rbp),%xmm0
mov    %eax,%edi
call   1030 <MinFloat@plt>
mov    %eax,%edi
xorps  %xmm0,%xmm0
call   1050 <MaxFloat@plt>
movss  %xmm0,-0x1c(%rbp)
movss  -0x18(%rbp),%xmm0
subss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x20(%rbp)
cvttss2si -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x28(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x2c(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x30(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x34(%rbp)
cmpl   $0x0,-0x24(%rbp)
jne    1225 <EvaluateCatmullRomSpline+0xf5>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm1
mov    -0x10(%rbp),%rax
subss  (%rax),%xmm1
movss  0xde9(%rip),%xmm0
mulss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
jmp    13d0 <EvaluateCatmullRomSpline+0x2a0>
mov    -0x24(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jge    12c9 <EvaluateCatmullRomSpline+0x199>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
subss  (%rax,%rcx,4),%xmm1
movss  0xd8c(%rip),%xmm0
mulss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm1
movss  0xd45(%rip),%xmm0
mulss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
jmp    13cb <EvaluateCatmullRomSpline+0x29b>
mov    -0x24(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jne    1361 <EvaluateCatmullRomSpline+0x231>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
subss  (%rax,%rcx,4),%xmm1
movss  0xce8(%rip),%xmm0
mulss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x34(%rbp)
jmp    13c6 <EvaluateCatmullRomSpline+0x296>
mov    -0x24(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    13c1 <EvaluateCatmullRomSpline+0x291>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
subss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x28(%rbp),%xmm0
addss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x34(%rbp)
jmp    13c6 <EvaluateCatmullRomSpline+0x296>
jmp    13cb <EvaluateCatmullRomSpline+0x29b>
jmp    13d0 <EvaluateCatmullRomSpline+0x2a0>
movss  0xc2c(%rip),%xmm0
subss  -0x20(%rbp),%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0x28(%rbp),%xmm0
movss  -0x20(%rbp),%xmm2
addss  %xmm2,%xmm2
movss  0xc0c(%rip),%xmm1
addss  %xmm1,%xmm2
movss  -0x30(%rbp),%xmm1
mulss  -0x20(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mulss  -0x38(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0x2c(%rbp),%xmm1
movss  -0x38(%rbp),%xmm4
addss  %xmm4,%xmm4
movss  0xbd6(%rip),%xmm3
addss  %xmm3,%xmm4
movss  -0x34(%rbp),%xmm3
mulss  -0x38(%rbp),%xmm3
movd   %xmm3,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm3
mulss  %xmm4,%xmm1
addss  %xmm3,%xmm1
mulss  -0x20(%rbp),%xmm1
mulss  -0x20(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x3c(%rbp),%xmm0
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<EvaluateCatmullRomSpline>:
push   %rbp
push   %r14
push   %rbx
sub    $0x10,%rsp
mov    %esi,%r14d
mov    %rdi,%rbx
lea    -0x1(%r14),%ebp
cvtsi2ss %ebp,%xmm1
movss  %xmm1,0x8(%rsp)
mulss  %xmm1,%xmm0
movss  %xmm0,0xc(%rsp)
call   1040 <floorf@plt>
movss  0x8(%rsp),%xmm0
mov    %eax,%edi
call   1030 <MinFloat@plt>
xorps  %xmm0,%xmm0
mov    %eax,%edi
call   1050 <MaxFloat@plt>
movss  0xc(%rsp),%xmm7
subss  %xmm0,%xmm7
cvttss2si %xmm0,%eax
test   %eax,%eax
je     11be <EvaluateCatmullRomSpline+0x8e>
lea    -0x2(%r14),%ecx
cmp    %eax,%ecx
jle    11e1 <EvaluateCatmullRomSpline+0xb1>
cltq
movss  (%rbx,%rax,4),%xmm3
movss  0x4(%rbx,%rax,4),%xmm1
movaps %xmm1,%xmm0
subss  -0x4(%rbx,%rax,4),%xmm0
movss  0xe56(%rip),%xmm4
mulss  %xmm4,%xmm0
movss  0x8(%rbx,%rax,4),%xmm2
subss  %xmm3,%xmm2
mulss  %xmm4,%xmm2
jmp    1238 <EvaluateCatmullRomSpline+0x108>
movss  (%rbx),%xmm3
movss  0x4(%rbx),%xmm1
movaps %xmm1,%xmm0
subss  %xmm3,%xmm0
movss  0x8(%rbx),%xmm2
subss  %xmm3,%xmm2
mulss  0xe21(%rip),%xmm2
jmp    1238 <EvaluateCatmullRomSpline+0x108>
jne    120a <EvaluateCatmullRomSpline+0xda>
cltq
movss  0x4(%rbx,%rax,4),%xmm1
movaps %xmm1,%xmm0
subss  -0x4(%rbx,%rax,4),%xmm0
movss  (%rbx,%rax,4),%xmm3
mulss  0xdff(%rip),%xmm0
movaps %xmm1,%xmm2
subss  %xmm3,%xmm2
jmp    1238 <EvaluateCatmullRomSpline+0x108>
xorps  %xmm0,%xmm0
xorps  %xmm2,%xmm2
xorps  %xmm1,%xmm1
xorps  %xmm3,%xmm3
cmp    %eax,%ebp
jne    1238 <EvaluateCatmullRomSpline+0x108>
movslq %ebp,%rax
movss  (%rbx,%rax,4),%xmm3
movslq %r14d,%rax
movaps %xmm3,%xmm0
subss  -0x8(%rbx,%rax,4),%xmm0
movaps %xmm3,%xmm1
addss  %xmm0,%xmm1
movaps %xmm0,%xmm2
movss  0xdc4(%rip),%xmm4
movaps %xmm4,%xmm5
subss  %xmm7,%xmm5
movaps %xmm7,%xmm6
addss  %xmm7,%xmm6
addss  %xmm4,%xmm6
mulss  %xmm3,%xmm6
mulss  %xmm7,%xmm0
addss  %xmm6,%xmm0
mulss  %xmm5,%xmm0
mulss  %xmm5,%xmm2
mulss  %xmm5,%xmm0
addss  %xmm5,%xmm5
addss  %xmm4,%xmm5
mulss  %xmm1,%xmm5
subss  %xmm2,%xmm5
mulss  %xmm7,%xmm5
mulss  %xmm7,%xmm5
addss  %xmm5,%xmm0
add    $0x10,%rsp
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define float @EvaluateCatmullRomSpline(float %0, float* nocapture %1, i32 %2) {
%4 = add nsw i32 %2, -1
%5 = sitofp i32 %4 to float
%6 = fmul float %5, %0
%7 = tail call i32 @floorf(float %6)
%8 = tail call i32 @MinFloat(float %5, i32 %7)
%9 = tail call float @MaxFloat(float 0.000000e+00, i32 %8)
%10 = fsub float %6, %9
%11 = fptosi float %9 to i32
%12 = icmp eq i32 %11, 0
br i1 %12, label %13, label %22
13: ; preds = %3
%14 = load float, float* %1
%15 = getelementptr inbounds float, float* %1, i64 1
%16 = load float, float* %15
%17 = fsub float %16, %14
%18 = getelementptr inbounds float, float* %1, i64 2
%19 = load float, float* %18
%20 = fsub float %19, %14
%21 = fmul float %20, 5.000000e-01
br label %74
22: ; preds = %3
%23 = add nsw i32 %2, -2
%24 = icmp sgt i32 %23, %11
br i1 %24, label %25, label %45
25: ; preds = %22
%26 = sext i32 %11 to i64
%27 = getelementptr inbounds float, float* %1, i64 %26
%28 = load float, float* %27
%29 = add nsw i32 %11, 1
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds float, float* %1, i64 %30
%32 = load float, float* %31
%33 = add nsw i32 %11, -1
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds float, float* %1, i64 %34
%36 = load float, float* %35
%37 = fsub float %32, %36
%38 = fmul float %37, 5.000000e-01
%39 = add nsw i32 %11, 2
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds float, float* %1, i64 %40
%42 = load float, float* %41
%43 = fsub float %42, %28
%44 = fmul float %43, 5.000000e-01
br label %74
45: ; preds = %22
%46 = icmp eq i32 %23, %11
br i1 %46, label %47, label %62
47: ; preds = %45
%48 = sext i32 %11 to i64
%49 = getelementptr inbounds float, float* %1, i64 %48
%50 = load float, float* %49
%51 = add nsw i32 %11, 1
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds float, float* %1, i64 %52
%54 = load float, float* %53
%55 = add nsw i32 %11, -1
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds float, float* %1, i64 %56
%58 = load float, float* %57
%59 = fsub float %54, %58
%60 = fmul float %59, 5.000000e-01
%61 = fsub float %54, %50
br label %74
62: ; preds = %45
%63 = icmp eq i32 %4, %11
br i1 %63, label %64, label %74
64: ; preds = %62
%65 = sext i32 %4 to i64
%66 = getelementptr inbounds float, float* %1, i64 %65
%67 = load float, float* %66
%68 = add nsw i32 %2, -2
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds float, float* %1, i64 %69
%71 = load float, float* %70
%72 = fsub float %67, %71
%73 = fadd float %67, %72
br label %74
74: ; preds = %25, %62, %64, %47, %13
%75 = phi float [ %17, %13 ], [ %38, %25 ], [ %60, %47 ], [ %72, %64 ], [ 0.000000e+00, %62 ]
%76 = phi float [ %21, %13 ], [ %44, %25 ], [ %61, %47 ], [ %72, %64 ], [ 0.000000e+00, %62 ]
%77 = phi float [ %16, %13 ], [ %32, %25 ], [ %54, %47 ], [ %73, %64 ], [ 0.000000e+00, %62 ]
%78 = phi float [ %14, %13 ], [ %28, %25 ], [ %50, %47 ], [ %67, %64 ], [ 0.000000e+00, %62 ]
%79 = fsub float 1.000000e+00, %10
%80 = tail call float @llvm.fmuladd.f32(float %10, float 2.000000e+00, float 1.000000e+00)
%81 = fmul float %10, %75
%82 = tail call float @llvm.fmuladd.f32(float %78, float %80, float %81)
%83 = fmul float %79, %82
%84 = tail call float @llvm.fmuladd.f32(float %79, float 2.000000e+00, float 1.000000e+00)
%85 = fneg float %76
%86 = fmul float %79, %85
%87 = tail call float @llvm.fmuladd.f32(float %77, float %84, float %86)
%88 = fmul float %10, %87
%89 = fmul float %10, %88
%90 = tail call float @llvm.fmuladd.f32(float %83, float %79, float %89)
ret float %90
}