double poly_step(double x, double a, double b, double ya, double yb) {
  double y;
  if (x <= a)
    y = ya;
  else if (x >= b)
    y = yb;
  else {
    double X = (2 * x - (a + b)) / (b - a);
    double Y = 15.0 * X / 8.0 * (1.0 - 2.0 * X * X / 3.0 + X * X * X * X / 5.0);
    y = 0.5 * (yb - ya) * Y + 0.5 * (ya + yb);
  }
  return y;
}


x86 assembly (clang, -O0):
<poly_step>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
movsd  %xmm4,-0x28(%rbp)
movsd  -0x8(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     1140 <poly_step+0x40>
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
jmp    1253 <poly_step+0x153>
movsd  -0x8(%rbp),%xmm0
ucomisd -0x18(%rbp),%xmm0
jb     115f <poly_step+0x5f>
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
jmp    124e <poly_step+0x14e>
movsd  -0x8(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
addsd  -0x18(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
addsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
subsd  -0x10(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  0xe88(%rip),%xmm0
mulsd  -0x38(%rbp),%xmm0
movsd  0xe73(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xe5f(%rip),%xmm2
mulsd  -0x38(%rbp),%xmm2
mulsd  -0x38(%rbp),%xmm2
movsd  0xe45(%rip),%xmm1
divsd  %xmm1,%xmm2
movsd  0xe31(%rip),%xmm1
subsd  %xmm2,%xmm1
movsd  -0x38(%rbp),%xmm2
mulsd  -0x38(%rbp),%xmm2
mulsd  -0x38(%rbp),%xmm2
mulsd  -0x38(%rbp),%xmm2
movsd  0xe09(%rip),%xmm3
divsd  %xmm3,%xmm2
addsd  %xmm2,%xmm1
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x28(%rbp),%xmm1
subsd  -0x20(%rbp),%xmm1
movsd  0xdde(%rip),%xmm0
mulsd  %xmm1,%xmm0
movsd  -0x40(%rbp),%xmm2
movsd  -0x20(%rbp),%xmm3
addsd  -0x28(%rbp),%xmm3
movsd  0xdc3(%rip),%xmm1
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
jmp    1253 <poly_step+0x153>
movsd  -0x30(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<poly_step>:
ucomisd %xmm0,%xmm1
jae    11a4 <poly_step+0xa4>
ucomisd %xmm2,%xmm0
jae    11a9 <poly_step+0xa9>
movapd %xmm1,%xmm5
addsd  %xmm2,%xmm5
addsd  %xmm0,%xmm0
subsd  %xmm5,%xmm0
subsd  %xmm1,%xmm2
divsd  %xmm2,%xmm0
movsd  0xecc(%rip),%xmm1
mulsd  %xmm0,%xmm1
mulsd  0xec8(%rip),%xmm1
movapd %xmm0,%xmm2
mulsd  %xmm0,%xmm2
unpcklpd %xmm0,%xmm0
movapd 0xecc(%rip),%xmm5
unpcklpd %xmm2,%xmm5
mulpd  %xmm0,%xmm5
mulpd  %xmm0,%xmm5
divpd  0xec8(%rip),%xmm5
movsd  0xea0(%rip),%xmm0
subsd  %xmm5,%xmm0
unpckhpd %xmm5,%xmm5
addsd  %xmm0,%xmm5
mulsd  %xmm1,%xmm5
movapd %xmm4,%xmm0
subsd  %xmm3,%xmm0
movsd  0xe88(%rip),%xmm1
mulsd  %xmm1,%xmm0
mulsd  %xmm5,%xmm0
addsd  %xmm4,%xmm3
mulsd  %xmm1,%xmm3
addsd  %xmm0,%xmm3
movapd %xmm3,%xmm0
ret
movaps %xmm4,%xmm0
ret

LLVM IR (-O0):
define double @poly_step(double %0, double %1, double %2, double %3, double %4) {
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca double
store double %0, double* %6
store double %1, double* %7
store double %2, double* %8
store double %3, double* %9
store double %4, double* %10
%14 = load double, double* %6
%15 = load double, double* %7
%16 = fcmp ole double %14, %15
br i1 %16, label %17, label %19
17: ; preds = %5
%18 = load double, double* %9
store double %18, double* %11
br label %66
19: ; preds = %5
%20 = load double, double* %6
%21 = load double, double* %8
%22 = fcmp oge double %20, %21
br i1 %22, label %23, label %25
23: ; preds = %19
%24 = load double, double* %10
store double %24, double* %11
br label %65
25: ; preds = %19
%26 = load double, double* %6
%27 = load double, double* %7
%28 = load double, double* %8
%29 = fadd double %27, %28
%30 = fneg double %29
%31 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %26, double %30)
%32 = load double, double* %8
%33 = load double, double* %7
%34 = fsub double %32, %33
%35 = fdiv double %31, %34
store double %35, double* %12
%36 = load double, double* %12
%37 = fmul double 1.500000e+01, %36
%38 = fdiv double %37, 8.000000e+00
%39 = load double, double* %12
%40 = fmul double 2.000000e+00, %39
%41 = load double, double* %12
%42 = fmul double %40, %41
%43 = fdiv double %42, 3.000000e+00
%44 = fsub double 1.000000e+00, %43
%45 = load double, double* %12
%46 = load double, double* %12
%47 = fmul double %45, %46
%48 = load double, double* %12
%49 = fmul double %47, %48
%50 = load double, double* %12
%51 = fmul double %49, %50
%52 = fdiv double %51, 5.000000e+00
%53 = fadd double %44, %52
%54 = fmul double %38, %53
store double %54, double* %13
%55 = load double, double* %10
%56 = load double, double* %9
%57 = fsub double %55, %56
%58 = fmul double 5.000000e-01, %57
%59 = load double, double* %13
%60 = load double, double* %9
%61 = load double, double* %10
%62 = fadd double %60, %61
%63 = fmul double 5.000000e-01, %62
%64 = call double @llvm.fmuladd.f64(double %58, double %59, double %63)
store double %64, double* %11
br label %65
65: ; preds = %25, %23
br label %66
66: ; preds = %65, %17
%67 = load double, double* %11
ret double %67
}

LLVM IR (-O2):
define double @poly_step(double %0, double %1, double %2, double %3, double %4) {
%6 = fcmp ugt double %0, %1
br i1 %6, label %7, label %34
7: ; preds = %5
%8 = fcmp ult double %0, %2
br i1 %8, label %9, label %34
9: ; preds = %7
%10 = fadd double %1, %2
%11 = fneg double %10
%12 = tail call double @llvm.fmuladd.f64(double %0, double 2.000000e+00, double %11)
%13 = fsub double %2, %1
%14 = fdiv double %12, %13
%15 = fmul double %14, 1.500000e+01
%16 = fmul double %15, 1.250000e-01
%17 = fmul double %14, %14
%18 = insertelement <2 x double> poison, double %14, i64 0
%19 = shufflevector <2 x double> %18, <2 x double> poison, <2 x i32> zeroinitializer
%20 = insertelement <2 x double> <double 2.000000e+00, double poison>, double %17, i64 1
%21 = fmul <2 x double> %19, %20
%22 = fmul <2 x double> %19, %21
%23 = fdiv <2 x double> %22, <double 3.000000e+00, double 5.000000e+00>
%24 = extractelement <2 x double> %23, i64 0
%25 = fsub double 1.000000e+00, %24
%26 = extractelement <2 x double> %23, i64 1
%27 = fadd double %25, %26
%28 = fmul double %16, %27
%29 = fsub double %4, %3
%30 = fmul double %29, 5.000000e-01
%31 = fadd double %3, %4
%32 = fmul double %31, 5.000000e-01
%33 = tail call double @llvm.fmuladd.f64(double %30, double %28, double %32)
br label %34
34: ; preds = %7, %5, %9
%35 = phi double [ %33, %9 ], [ %3, %5 ], [ %4, %7 ]
ret double %35
}