#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 */
double acos(double);
int fabs(double);
double sin(float);
void lib3ds_quat_slerp(float c[4], float a[4], float b[4], float t) {
  double l;
  double om, sinom;
  double sp, sq;
  float flip = 1.0f;
  int i;
  l = a[0] * b[0] + a[1] * b[1] + a[2] * b[2] + a[3] * b[3];
  if (l < 0) {
    flip = -1.0f;
    l = -l;
  }
  om = acos(l);
  sinom = sin(om);
  if (fabs(sinom) > (1e-5)) {
    sp = sin((1.0f - t) * om) / sinom;
    sq = sin(t * om) / sinom;
  } else {
    sp = 1.0f - t;
    sq = t;
  }
  sq *= flip;
  for (i = 0; i < 4; ++i) {
    c[i] = (float)(sp * a[i] + sq * b[i]);
  }
}


x86 assembly (clang, -O0):
<lib3ds_quat_slerp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movss  %xmm0,-0x1c(%rbp)
movss  0xeaf(%rip),%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm2
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm1
mov    -0x18(%rbp),%rax
mulss  0x4(%rax),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm1
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm2
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x10(%rbp),%rax
movss  0xc(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0xc(%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x28(%rbp),%xmm0
jbe    11f9 <lib3ds_quat_slerp+0xc9>
movss  0xe31(%rip),%xmm0
movss  %xmm0,-0x4c(%rbp)
movsd  -0x28(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
call   1030 <acos@plt>
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
call   1050 <sin@plt>
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm0
call   1040 <fabs@plt>
cvtsi2sd %eax,%xmm0
movsd  0xdd7(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    128a <lib3ds_quat_slerp+0x15a>
movss  0xdbd(%rip),%xmm0
subss  -0x1c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
mulsd  -0x30(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
call   1050 <sin@plt>
divsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movss  -0x1c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
mulsd  -0x30(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
call   1050 <sin@plt>
divsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
jmp    12ae <lib3ds_quat_slerp+0x17e>
movss  0xd6e(%rip),%xmm0
subss  -0x1c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x40(%rbp)
movss  -0x1c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
movss  -0x4c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
mulsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movl   $0x0,-0x50(%rbp)
cmpl   $0x4,-0x50(%rbp)
jge    1329 <lib3ds_quat_slerp+0x1f9>
movsd  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
cvtss2sd %xmm1,%xmm2
movsd  -0x48(%rbp),%xmm1
mov    -0x18(%rbp),%rax
movslq -0x50(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm3
cvtss2sd %xmm3,%xmm3
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
movslq -0x50(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    12c8 <lib3ds_quat_slerp+0x198>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<lib3ds_quat_slerp>:
push   %r15
push   %r14
push   %rbx
sub    $0x30,%rsp
movaps %xmm0,%xmm3
mov    %rdx,%r15
mov    %rsi,%rbx
mov    %rdi,%r14
movss  0x4(%rsi),%xmm0
mulss  0x4(%rdx),%xmm0
movss  (%rsi),%xmm1
mulss  (%rdx),%xmm1
addss  %xmm0,%xmm1
movss  0x8(%rsi),%xmm0
mulss  0x8(%rdx),%xmm0
addss  %xmm1,%xmm0
movss  0xc(%rsi),%xmm2
mulss  0xc(%rdx),%xmm2
addss  %xmm0,%xmm2
xorps  %xmm0,%xmm0
cvtss2sd %xmm2,%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm2,%xmm1
movss  %xmm2,0x4(%rsp)
movss  %xmm3,(%rsp)
jbe    1198 <lib3ds_quat_slerp+0x68>
xorps  0xe68(%rip),%xmm0
call   1030 <acos@plt>
movsd  %xmm0,0x8(%rsp)
cvtsd2ss %xmm0,%xmm0
call   1050 <sin@plt>
movaps %xmm0,0x20(%rsp)
call   1040 <fabs@plt>
movss  0xe52(%rip),%xmm0
movss  (%rsp),%xmm1
subss  %xmm1,%xmm0
xorps  %xmm3,%xmm3
cvtss2sd %xmm0,%xmm3
test   %eax,%eax
jle    1219 <lib3ds_quat_slerp+0xe9>
mulsd  0x8(%rsp),%xmm3
xorps  %xmm0,%xmm0
cvtsd2ss %xmm3,%xmm0
call   1050 <sin@plt>
movaps %xmm0,0x10(%rsp)
movss  (%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
mulsd  0x8(%rsp),%xmm0
cvtsd2ss %xmm0,%xmm0
call   1050 <sin@plt>
movaps 0x10(%rsp),%xmm3
movlhps %xmm0,%xmm3
movapd 0x20(%rsp),%xmm0
unpcklpd %xmm0,%xmm0
divpd  %xmm0,%xmm3
jmp    1223 <lib3ds_quat_slerp+0xf3>
xorps  %xmm0,%xmm0
cvtss2sd %xmm1,%xmm0
movlhps %xmm0,%xmm3
xorps  %xmm0,%xmm0
ucomiss 0x4(%rsp),%xmm0
movaps %xmm3,%xmm0
unpckhpd %xmm3,%xmm0
jbe    123b <lib3ds_quat_slerp+0x10b>
xorps  0xdc5(%rip),%xmm0
movss  (%rbx),%xmm1
cvtss2sd %xmm1,%xmm1
movss  (%r15),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,(%r14)
movss  0x4(%rbx),%xmm1
cvtss2sd %xmm1,%xmm1
movss  0x4(%r15),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,0x4(%r14)
movss  0x8(%rbx),%xmm1
cvtss2sd %xmm1,%xmm1
movss  0x8(%r15),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,0x8(%r14)
movss  0xc(%rbx),%xmm1
cvtss2sd %xmm1,%xmm1
movss  0xc(%r15),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
xorps  %xmm0,%xmm0
cvtsd2ss %xmm1,%xmm0
movss  %xmm0,0xc(%r14)
add    $0x30,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
define void @lib3ds_quat_slerp(float* nocapture writeonly %0, float* nocapture %1, float* nocapture %2, float %3) {
%5 = load float, float* %1
%6 = load float, float* %2
%7 = getelementptr inbounds float, float* %1, i64 1
%8 = load float, float* %7
%9 = getelementptr inbounds float, float* %2, i64 1
%10 = load float, float* %9
%11 = fmul float %8, %10
%12 = tail call float @llvm.fmuladd.f32(float %5, float %6, float %11)
%13 = getelementptr inbounds float, float* %1, i64 2
%14 = load float, float* %13
%15 = getelementptr inbounds float, float* %2, i64 2
%16 = load float, float* %15
%17 = tail call float @llvm.fmuladd.f32(float %14, float %16, float %12)
%18 = getelementptr inbounds float, float* %1, i64 3
%19 = load float, float* %18
%20 = getelementptr inbounds float, float* %2, i64 3
%21 = load float, float* %20
%22 = tail call float @llvm.fmuladd.f32(float %19, float %21, float %17)
%23 = fpext float %22 to double
%24 = fcmp olt float %22, 0.000000e+00
%25 = fneg double %23
%26 = select i1 %24, double %25, double %23
%27 = tail call double @acos(double %26)
%28 = fptrunc double %27 to float
%29 = tail call double @sin(float %28)
%30 = tail call i32 @fabs(double %29)
%31 = icmp sgt i32 %30, 0
%32 = fsub float 1.000000e+00, %3
%33 = fpext float %32 to double
br i1 %31, label %34, label %47
34: ; preds = %4
%35 = fmul double %27, %33
%36 = fptrunc double %35 to float
%37 = tail call double @sin(float %36)
%38 = fpext float %3 to double
%39 = fmul double %27, %38
%40 = fptrunc double %39 to float
%41 = tail call double @sin(float %40)
%42 = insertelement <2 x double> poison, double %37, i64 0
%43 = insertelement <2 x double> %42, double %41, i64 1
%44 = insertelement <2 x double> poison, double %29, i64 0
%45 = shufflevector <2 x double> %44, <2 x double> poison, <2 x i32> zeroinitializer
%46 = fdiv <2 x double> %43, %45
br label %51
47: ; preds = %4
%48 = fpext float %3 to double
%49 = insertelement <2 x double> poison, double %33, i64 0
%50 = insertelement <2 x double> %49, double %48, i64 1
br label %51
51: ; preds = %47, %34
%52 = phi <2 x double> [ %46, %34 ], [ %50, %47 ]
%53 = extractelement <2 x double> %52, i64 1
%54 = fneg double %53
%55 = select i1 %24, double %54, double %53
%56 = load float, float* %1
%57 = fpext float %56 to double
%58 = load float, float* %2
%59 = fpext float %58 to double
%60 = fmul double %55, %59
%61 = extractelement <2 x double> %52, i64 0
%62 = tail call double @llvm.fmuladd.f64(double %61, double %57, double %60)
%63 = fptrunc double %62 to float
store float %63, float* %0
%64 = load float, float* %7
%65 = fpext float %64 to double
%66 = load float, float* %9
%67 = fpext float %66 to double
%68 = fmul double %55, %67
%69 = tail call double @llvm.fmuladd.f64(double %61, double %65, double %68)
%70 = fptrunc double %69 to float
%71 = getelementptr inbounds float, float* %0, i64 1
store float %70, float* %71
%72 = load float, float* %13
%73 = fpext float %72 to double
%74 = load float, float* %15
%75 = fpext float %74 to double
%76 = fmul double %55, %75
%77 = tail call double @llvm.fmuladd.f64(double %61, double %73, double %76)
%78 = fptrunc double %77 to float
%79 = getelementptr inbounds float, float* %0, i64 2
store float %78, float* %79
%80 = load float, float* %18
%81 = fpext float %80 to double
%82 = load float, float* %20
%83 = fpext float %82 to double
%84 = fmul double %55, %83
%85 = tail call double @llvm.fmuladd.f64(double %61, double %81, double %84)
%86 = fptrunc double %85 to float
%87 = getelementptr inbounds float, float* %0, i64 3
store float %86, float* %87
ret void
}