double Splint(xa, ya, y2a, n, nx, x)
double xa[];
double ya[];
double y2a[];
int n;
int nx;
double x;
{
  int khi, klo;
  double h, a, b;
  double y;
  khi = nx + 1;
  klo = nx;
  while ((xa[klo] > x) || (xa[khi] < x)) {
    if (xa[klo] > x) {
      --klo;
      --khi;
    }
    if (xa[khi] < x) {
      ++klo;
      ++khi;
    }
  }
  h = xa[khi] - xa[klo];
  a = (xa[khi] - x) / h;
  b = (x - xa[klo]) / h;
  y = a * ya[klo] + b * ya[khi] +
      ((a * a * a - a) * y2a[klo] + (b * b * b - b) * y2a[khi]) * (h * h) / 6.0;
  return y;
}


x86 assembly (clang, -O0):
<Splint>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
movsd  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    $0x1,%al
ucomisd -0x28(%rbp),%xmm0
mov    %al,-0x51(%rbp)
ja     1164 <Splint+0x64>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
movsd  -0x28(%rbp),%xmm0
ucomisd %xmm1,%xmm0
seta   %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
test   $0x1,%al
jne    1174 <Splint+0x74>
jmp    11d1 <Splint+0xd1>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd -0x28(%rbp),%xmm0
jbe    119e <Splint+0x9e>
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
movsd  -0x28(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11cc <Splint+0xcc>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    112b <Splint+0x2b>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x28(%rbp),%xmm0
divsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x28(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
divsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x48(%rbp),%xmm1
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mulsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x40(%rbp),%xmm1
mulsd  -0x40(%rbp),%xmm1
movsd  -0x40(%rbp),%xmm3
movsd  -0x40(%rbp),%xmm2
movq   %xmm2,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm2
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm3
movsd  -0x48(%rbp),%xmm2
mulsd  -0x48(%rbp),%xmm2
movsd  -0x48(%rbp),%xmm5
movsd  -0x48(%rbp),%xmm4
movq   %xmm4,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm4
mulsd  %xmm5,%xmm2
addsd  %xmm4,%xmm2
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mulsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
movsd  -0x38(%rbp),%xmm2
mulsd  -0x38(%rbp),%xmm2
mulsd  %xmm2,%xmm1
movsd  0xd0e(%rip),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x50(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<Splint>:
lea    0x1(%r8),%ecx
jmp    1130 <Splint+0x30>
cs nopw 0x0(%rax,%rax,1)
xor    %eax,%eax
ucomisd %xmm0,%xmm3
seta   %al
sub    %eax,%r8d
sub    %eax,%ecx
movslq %ecx,%rcx
xor    %eax,%eax
ucomisd (%rdi,%rcx,8),%xmm0
seta   %al
add    %eax,%r8d
add    %eax,%ecx
movslq %r8d,%r9
movsd  (%rdi,%r9,8),%xmm3
ucomisd %xmm0,%xmm3
ja     1110 <Splint+0x10>
movslq %ecx,%rax
movsd  (%rdi,%rax,8),%xmm2
ucomisd %xmm2,%xmm0
ja     1110 <Splint+0x10>
movapd %xmm2,%xmm1
subsd  %xmm3,%xmm1
subsd  %xmm0,%xmm2
divsd  %xmm1,%xmm2
subsd  %xmm3,%xmm0
divsd  %xmm1,%xmm0
movsd  (%rsi,%rax,8),%xmm3
mulsd  %xmm0,%xmm3
movsd  (%rsi,%r9,8),%xmm4
mulsd  %xmm2,%xmm4
addsd  %xmm3,%xmm4
movapd %xmm2,%xmm3
mulsd  %xmm2,%xmm3
mulsd  %xmm2,%xmm3
subsd  %xmm2,%xmm3
movapd %xmm0,%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm0,%xmm2
subsd  %xmm0,%xmm2
mulsd  (%rdx,%rax,8),%xmm2
mulsd  (%rdx,%r9,8),%xmm3
addsd  %xmm2,%xmm3
mulsd  %xmm1,%xmm1
mulsd  %xmm3,%xmm1
divsd  0xe45(%rip),%xmm1
addsd  %xmm4,%xmm1
movapd %xmm1,%xmm0
ret

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

LLVM IR (-O2):
define double @Splint(double* nocapture %0, double* nocapture %1, double* nocapture %2, i32 %3, i32 %4, double %5) {
%7 = add nsw i32 %4, 1
br label %8
8: ; preds = %20, %6
%9 = phi i32 [ %4, %6 ], [ %29, %20 ]
%10 = phi i32 [ %7, %6 ], [ %30, %20 ]
%11 = sext i32 %9 to i64
%12 = getelementptr inbounds double, double* %0, i64 %11
%13 = load double, double* %12
%14 = fcmp ogt double %13, %5
br i1 %14, label %20, label %15
15: ; preds = %8
%16 = sext i32 %10 to i64
%17 = getelementptr inbounds double, double* %0, i64 %16
%18 = load double, double* %17
%19 = fcmp olt double %18, %5
br i1 %19, label %20, label %31
20: ; preds = %8, %15
%21 = sext i1 %14 to i32
%22 = add nsw i32 %9, %21
%23 = add nsw i32 %10, %21
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds double, double* %0, i64 %24
%26 = load double, double* %25
%27 = fcmp olt double %26, %5
%28 = zext i1 %27 to i32
%29 = add nsw i32 %22, %28
%30 = add nsw i32 %23, %28
br label %8
31: ; preds = %15
%32 = fsub double %18, %13
%33 = fsub double %18, %5
%34 = fdiv double %33, %32
%35 = fsub double %5, %13
%36 = fdiv double %35, %32
%37 = getelementptr inbounds double, double* %1, i64 %11
%38 = load double, double* %37
%39 = getelementptr inbounds double, double* %1, i64 %16
%40 = load double, double* %39
%41 = fmul double %36, %40
%42 = tail call double @llvm.fmuladd.f64(double %34, double %38, double %41)
%43 = fmul double %34, %34
%44 = fneg double %34
%45 = tail call double @llvm.fmuladd.f64(double %43, double %34, double %44)
%46 = getelementptr inbounds double, double* %2, i64 %11
%47 = load double, double* %46
%48 = fmul double %36, %36
%49 = fneg double %36
%50 = tail call double @llvm.fmuladd.f64(double %48, double %36, double %49)
%51 = getelementptr inbounds double, double* %2, i64 %16
%52 = load double, double* %51
%53 = fmul double %50, %52
%54 = tail call double @llvm.fmuladd.f64(double %45, double %47, double %53)
%55 = fmul double %32, %32
%56 = fmul double %55, %54
%57 = fdiv double %56, 6.000000e+00
%58 = fadd double %42, %57
ret double %58
}