#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*/ printf(char *);
void splint(double *xa, double *ya, double *y2a, int n, double x, double *y) {
  int klo = 0;
  int khi = n - 1;
  int k;
  double h;
  double a, b, yi;
  while ((khi - klo) > 1) {
    k = (khi + klo) / 2;
    if (xa[k] > x)
      khi = k;
    else
      klo = k;
  }
  h = xa[khi] - xa[klo];
  if (h == 0.0)
    printf("bad XA input to splint");
  a = (xa[khi] - x) / h;
  b = (x - xa[klo]) / h;
  yi = a * ya[klo] + b * ya[khi] +
       ((a * a * a - a) * y2a[klo] + (b * b * b - b) * y2a[khi]) * h * h / 6.0;
  *y = yi;
}


x86 assembly (clang, -O0):
<splint>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
movsd  %xmm0,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
sub    -0x34(%rbp),%eax
cmp    $0x1,%eax
jle    118e <splint+0x7e>
mov    -0x38(%rbp),%eax
add    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd -0x28(%rbp),%xmm0
jbe    1183 <splint+0x73>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x38(%rbp)
jmp    1189 <splint+0x79>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x34(%rbp)
jmp    1140 <splint+0x30>
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    11d1 <splint+0xc1>
jp     11d1 <splint+0xc1>
lea    0xe3c(%rip),%rdi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  -0x28(%rbp),%xmm0
divsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x28(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
divsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x50(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x58(%rbp),%xmm1
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mulsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x50(%rbp),%xmm1
mulsd  -0x50(%rbp),%xmm1
movsd  -0x50(%rbp),%xmm3
movsd  -0x50(%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 -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm3
movsd  -0x58(%rbp),%xmm2
mulsd  -0x58(%rbp),%xmm2
movsd  -0x58(%rbp),%xmm5
movsd  -0x58(%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 -0x38(%rbp),%rcx
mulsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
mulsd  -0x48(%rbp),%xmm1
mulsd  -0x48(%rbp),%xmm1
movsd  0xd31(%rip),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x60(%rbp),%xmm0
mov    -0x30(%rbp),%rax
movsd  %xmm0,(%rax)
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<splint>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r8,%r14
mov    %rdx,%r15
mov    %rsi,%r12
mov    %rdi,%r13
lea    -0x1(%rcx),%eax
xor    %ebx,%ebx
cmp    $0x3,%ecx
jge    114b <splint+0x3b>
jmp    116e <splint+0x5e>
cs nopw 0x0(%rax,%rax,1)
mov    %ecx,%ebx
mov    %eax,%ecx
sub    %ebx,%ecx
cmp    $0x1,%ecx
jle    116b <splint+0x5b>
lea    (%rbx,%rax,1),%edx
mov    %edx,%ecx
shr    $0x1f,%ecx
add    %edx,%ecx
sar    %ecx
movslq %ecx,%rdx
movsd  0x0(%r13,%rdx,8),%xmm1
ucomisd %xmm0,%xmm1
jbe    1140 <splint+0x30>
mov    %ecx,%eax
jmp    1142 <splint+0x32>
movslq %ebx,%rbx
movslq %eax,%rbp
movsd  0x0(%r13,%rbp,8),%xmm4
movsd  0x0(%r13,%rbx,8),%xmm1
movapd %xmm4,%xmm5
subsd  %xmm1,%xmm5
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm5
jne    11c5 <splint+0xb5>
jp     11c5 <splint+0xb5>
lea    0xe6e(%rip),%rdi
movsd  %xmm0,0x10(%rsp)
movsd  %xmm5,0x8(%rsp)
call   1030 <printf@plt>
movsd  0x8(%rsp),%xmm5
movsd  0x10(%rsp),%xmm0
movsd  0x0(%r13,%rbp,8),%xmm4
movsd  0x0(%r13,%rbx,8),%xmm1
subsd  %xmm0,%xmm4
divsd  %xmm5,%xmm4
subsd  %xmm1,%xmm0
divsd  %xmm5,%xmm0
movsd  (%r12,%rbp,8),%xmm1
mulsd  %xmm0,%xmm1
movsd  (%r12,%rbx,8),%xmm2
mulsd  %xmm4,%xmm2
movapd %xmm4,%xmm3
mulsd  %xmm4,%xmm3
mulsd  %xmm4,%xmm3
subsd  %xmm4,%xmm3
movapd %xmm0,%xmm4
mulsd  %xmm0,%xmm4
mulsd  %xmm0,%xmm4
subsd  %xmm0,%xmm4
mulsd  (%r15,%rbp,8),%xmm4
mulsd  (%r15,%rbx,8),%xmm3
addsd  %xmm1,%xmm2
addsd  %xmm4,%xmm3
mulsd  %xmm5,%xmm3
mulsd  %xmm5,%xmm3
divsd  0xdd3(%rip),%xmm3
addsd  %xmm2,%xmm3
movsd  %xmm3,(%r14)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [23 x i8] c"bad XA input to splint\00"
define void @splint(double* nocapture %0, double* nocapture %1, double* nocapture %2, i32 %3, double %4, double* nocapture writeonly %5) {
%7 = add nsw i32 %3, -1
%8 = icmp sgt i32 %3, 2
br i1 %8, label %9, label %24
9: ; preds = %6, %9
%10 = phi i32 [ %19, %9 ], [ 0, %6 ]
%11 = phi i32 [ %18, %9 ], [ %7, %6 ]
%12 = add nsw i32 %10, %11
%13 = sdiv i32 %12, 2
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds double, double* %0, i64 %14
%16 = load double, double* %15
%17 = fcmp ogt double %16, %4
%18 = select i1 %17, i32 %13, i32 %11
%19 = select i1 %17, i32 %10, i32 %13
%20 = sub nsw i32 %18, %19
%21 = icmp sgt i32 %20, 1
br i1 %21, label %9, label %22
22: ; preds = %9
%23 = sext i32 %19 to i64
br label %24
24: ; preds = %22, %6
%25 = phi i32 [ %7, %6 ], [ %18, %22 ]
%26 = phi i64 [ 0, %6 ], [ %23, %22 ]
%27 = sext i32 %25 to i64
%28 = getelementptr inbounds double, double* %0, i64 %27
%29 = load double, double* %28
%30 = getelementptr inbounds double, double* %0, i64 %26
%31 = load double, double* %30
%32 = fsub double %29, %31
%33 = fcmp oeq double %32, 0.000000e+00
br i1 %33, label %34, label %38
34: ; preds = %24
%35 = tail call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0))
%36 = load double, double* %28
%37 = load double, double* %30
br label %38
38: ; preds = %34, %24
%39 = phi double [ %37, %34 ], [ %31, %24 ]
%40 = phi double [ %36, %34 ], [ %29, %24 ]
%41 = fsub double %40, %4
%42 = fdiv double %41, %32
%43 = fsub double %4, %39
%44 = fdiv double %43, %32
%45 = getelementptr inbounds double, double* %1, i64 %26
%46 = load double, double* %45
%47 = getelementptr inbounds double, double* %1, i64 %27
%48 = load double, double* %47
%49 = fmul double %44, %48
%50 = tail call double @llvm.fmuladd.f64(double %42, double %46, double %49)
%51 = fmul double %42, %42
%52 = fneg double %42
%53 = tail call double @llvm.fmuladd.f64(double %51, double %42, double %52)
%54 = getelementptr inbounds double, double* %2, i64 %26
%55 = load double, double* %54
%56 = fmul double %44, %44
%57 = fneg double %44
%58 = tail call double @llvm.fmuladd.f64(double %56, double %44, double %57)
%59 = getelementptr inbounds double, double* %2, i64 %27
%60 = load double, double* %59
%61 = fmul double %58, %60
%62 = tail call double @llvm.fmuladd.f64(double %53, double %55, double %61)
%63 = fmul double %32, %62
%64 = fmul double %32, %63
%65 = fdiv double %64, 6.000000e+00
%66 = fadd double %50, %65
store double %66, double* %5
ret void
}