double spf(dx, x, y, k, m, key)
double dx;
float *x, *y, *k;
int m, key;
{
  float h, t, d, tm, a, b;
  double val;
  h = *(x + m) - *(x + m - 1);
  d = (*(y + m) - *(y + m - 1)) / h;
  t = dx / h;
  tm = 1. - t;
  a = (*(k + m - 1) - d) * tm;
  b = (*(k + m) - d) * t;
  if (!key) {
    val = t * *(y + m) + tm * *(y + m - 1) + h * t * tm * (a - b);
  } else {
    val = d + a * (1. - 3. * t) - b * (2. - 3. * t);
  }
  return val;
}


x86 assembly (clang, -O0):
<spf>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8d,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
subss  -0x4(%rax,%rcx,4),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
subss  -0x4(%rax,%rcx,4),%xmm0
divss  -0x2c(%rbp),%xmm0
movss  %xmm0,-0x34(%rbp)
movsd  -0x8(%rbp),%xmm0
movss  -0x2c(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x30(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe73(%rip),%xmm0
subsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  -0x4(%rax,%rcx,4),%xmm0
subss  -0x34(%rbp),%xmm0
mulss  -0x38(%rbp),%xmm0
movss  %xmm0,-0x3c(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
subss  -0x34(%rbp),%xmm0
mulss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x40(%rbp)
cmpl   $0x0,-0x28(%rbp)
jne    1239 <spf+0x139>
movss  -0x30(%rbp),%xmm1
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
movss  -0x38(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
mulss  -0x4(%rax,%rcx,4),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x2c(%rbp),%xmm0
mulss  -0x30(%rbp),%xmm0
mulss  -0x38(%rbp),%xmm0
movss  -0x3c(%rbp),%xmm2
subss  -0x40(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
jmp    12c2 <spf+0x1c2>
movss  -0x34(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  -0x3c(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
movss  -0x30(%rbp),%xmm2
cvtss2sd %xmm2,%xmm2
movsd  0xdac(%rip),%xmm3
mulsd  %xmm3,%xmm2
movsd  0xd98(%rip),%xmm3
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movss  -0x40(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  -0x30(%rbp),%xmm2
cvtss2sd %xmm2,%xmm2
movsd  0xd7a(%rip),%xmm3
mulsd  %xmm3,%xmm2
movsd  0xd76(%rip),%xmm3
addsd  %xmm3,%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<spf>:
movslq %ecx,%rax
movss  (%rdi,%rax,4),%xmm1
subss  -0x4(%rdi,%rax,4),%xmm1
movss  -0x4(%rsi,%rax,4),%xmm4
movss  (%rsi,%rax,4),%xmm2
movaps %xmm2,%xmm6
subss  %xmm4,%xmm6
divss  %xmm1,%xmm6
cvtss2sd %xmm1,%xmm3
divsd  %xmm3,%xmm0
cvtsd2ss %xmm0,%xmm5
movss  0xec8(%rip),%xmm7
subss  %xmm5,%xmm7
movss  -0x4(%rdx,%rax,4),%xmm0
movss  (%rdx,%rax,4),%xmm3
subss  %xmm6,%xmm0
mulss  %xmm7,%xmm0
subss  %xmm6,%xmm3
mulss  %xmm5,%xmm3
test   %r8d,%r8d
je     11a5 <spf+0xa5>
xorps  %xmm1,%xmm1
cvtss2sd %xmm5,%xmm1
xorps  %xmm2,%xmm2
cvtss2sd %xmm6,%xmm2
xorps  %xmm4,%xmm4
cvtss2sd %xmm0,%xmm4
mulsd  0xe8f(%rip),%xmm1
movsd  0xe8f(%rip),%xmm0
addsd  %xmm1,%xmm0
mulsd  %xmm4,%xmm0
addsd  %xmm2,%xmm0
xorps  %xmm2,%xmm2
cvtss2sd %xmm3,%xmm2
addsd  0xe7c(%rip),%xmm1
mulsd  %xmm2,%xmm1
subsd  %xmm1,%xmm0
ret
mulss  %xmm7,%xmm4
mulss  %xmm5,%xmm2
addss  %xmm4,%xmm2
mulss  %xmm5,%xmm1
mulss  %xmm7,%xmm1
subss  %xmm3,%xmm0
mulss  %xmm1,%xmm0
addss  %xmm2,%xmm0
cvtss2sd %xmm0,%xmm0
ret

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

LLVM IR (-O2):
define double @spf(double %0, float* nocapture %1, float* nocapture %2, float* nocapture %3, i32 %4, i32 %5) {
%7 = sext i32 %4 to i64
%8 = getelementptr inbounds float, float* %1, i64 %7
%9 = load float, float* %8
%10 = getelementptr inbounds float, float* %8, i64 -1
%11 = load float, float* %10
%12 = fsub float %9, %11
%13 = getelementptr inbounds float, float* %2, i64 %7
%14 = load float, float* %13
%15 = getelementptr inbounds float, float* %13, i64 -1
%16 = load float, float* %15
%17 = fsub float %14, %16
%18 = fdiv float %17, %12
%19 = fpext float %12 to double
%20 = fdiv double %0, %19
%21 = fptrunc double %20 to float
%22 = fpext float %21 to double
%23 = fsub float 1.000000e+00, %21
%24 = getelementptr inbounds float, float* %3, i64 %7
%25 = getelementptr inbounds float, float* %24, i64 -1
%26 = load float, float* %25
%27 = fsub float %26, %18
%28 = fmul float %27, %23
%29 = load float, float* %24
%30 = fsub float %29, %18
%31 = fmul float %30, %21
%32 = icmp eq i32 %5, 0
br i1 %32, label %33, label %41
33: ; preds = %6
%34 = fmul float %16, %23
%35 = tail call float @llvm.fmuladd.f32(float %21, float %14, float %34)
%36 = fmul float %12, %21
%37 = fmul float %36, %23
%38 = fsub float %28, %31
%39 = tail call float @llvm.fmuladd.f32(float %37, float %38, float %35)
%40 = fpext float %39 to double
br label %50
41: ; preds = %6
%42 = fpext float %18 to double
%43 = fpext float %28 to double
%44 = tail call double @llvm.fmuladd.f64(double %22, double -3.000000e+00, double 1.000000e+00)
%45 = tail call double @llvm.fmuladd.f64(double %43, double %44, double %42)
%46 = fpext float %31 to double
%47 = tail call double @llvm.fmuladd.f64(double %22, double -3.000000e+00, double 2.000000e+00)
%48 = fneg double %46
%49 = tail call double @llvm.fmuladd.f64(double %48, double %47, double %45)
br label %50
50: ; preds = %41, %33
%51 = phi double [ %49, %41 ], [ %40, %33 ]
ret double %51
}