float almostIdentity(float x, float m, float n) {
  if (x > m)
    return x;
  float a = 2.0 * n - m;
  float b = 2.0 * m - 3.0 * n;
  float t = x / m;
  return (a * t + b) * t * t + n;
}


x86 assembly (clang, -O0):
<almostIdentity>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x8(%rbp)
movss  %xmm1,-0xc(%rbp)
movss  %xmm2,-0x10(%rbp)
movss  -0x8(%rbp),%xmm0
ucomiss -0xc(%rbp),%xmm0
jbe    1131 <almostIdentity+0x31>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    11f3 <almostIdentity+0xf3>
movss  -0x10(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  -0xc(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
addsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0xc(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  -0x10(%rbp),%xmm1
cvtss2sd %xmm1,%xmm2
movsd  0xe7b(%rip),%xmm1
mulsd  %xmm2,%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
addsd  %xmm0,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x8(%rbp),%xmm0
divss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x1c(%rbp)
movss  -0x14(%rbp),%xmm0
movss  -0x1c(%rbp),%xmm2
movss  -0x18(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mulss  -0x1c(%rbp),%xmm0
movss  -0x1c(%rbp),%xmm2
movss  -0x10(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<almostIdentity>:
ucomiss %xmm1,%xmm0
ja     114e <almostIdentity+0x4e>
cvtss2sd %xmm2,%xmm4
cvtss2sd %xmm1,%xmm5
movaps %xmm4,%xmm3
addsd  %xmm4,%xmm3
subsd  %xmm5,%xmm3
cvtsd2ss %xmm3,%xmm3
mulsd  0xedc(%rip),%xmm4
addsd  %xmm5,%xmm5
addsd  %xmm4,%xmm5
xorps  %xmm4,%xmm4
cvtsd2ss %xmm5,%xmm4
divss  %xmm1,%xmm0
mulss  %xmm0,%xmm3
addss  %xmm4,%xmm3
mulss  %xmm0,%xmm3
mulss  %xmm0,%xmm3
addss  %xmm2,%xmm3
movaps %xmm3,%xmm0
ret

LLVM IR (-O0):
define float @almostIdentity(float %0, float %1, float %2) {
%4 = alloca float
%5 = alloca float
%6 = alloca float
%7 = alloca float
%8 = alloca float
%9 = alloca float
%10 = alloca float
store float %0, float* %5
store float %1, float* %6
store float %2, float* %7
%11 = load float, float* %5
%12 = load float, float* %6
%13 = fcmp ogt float %11, %12
br i1 %13, label %14, label %16
14: ; preds = %3
%15 = load float, float* %5
store float %15, float* %4
br label %44
16: ; preds = %3
%17 = load float, float* %7
%18 = fpext float %17 to double
%19 = load float, float* %6
%20 = fpext float %19 to double
%21 = fneg double %20
%22 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %18, double %21)
%23 = fptrunc double %22 to float
store float %23, float* %8
%24 = load float, float* %6
%25 = fpext float %24 to double
%26 = load float, float* %7
%27 = fpext float %26 to double
%28 = fmul double 3.000000e+00, %27
%29 = fneg double %28
%30 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %25, double %29)
%31 = fptrunc double %30 to float
store float %31, float* %9
%32 = load float, float* %5
%33 = load float, float* %6
%34 = fdiv float %32, %33
store float %34, float* %10
%35 = load float, float* %8
%36 = load float, float* %10
%37 = load float, float* %9
%38 = call float @llvm.fmuladd.f32(float %35, float %36, float %37)
%39 = load float, float* %10
%40 = fmul float %38, %39
%41 = load float, float* %10
%42 = load float, float* %7
%43 = call float @llvm.fmuladd.f32(float %40, float %41, float %42)
store float %43, float* %4
br label %44
44: ; preds = %16, %14
%45 = load float, float* %4
ret float %45
}

LLVM IR (-O2):
define float @almostIdentity(float %0, float %1, float %2) {
%4 = fcmp ogt float %0, %1
br i1 %4, label %18, label %5
5: ; preds = %3
%6 = fpext float %2 to double
%7 = fpext float %1 to double
%8 = fneg double %7
%9 = tail call double @llvm.fmuladd.f64(double %6, double 2.000000e+00, double %8)
%10 = fptrunc double %9 to float
%11 = fmul double %6, -3.000000e+00
%12 = tail call double @llvm.fmuladd.f64(double %7, double 2.000000e+00, double %11)
%13 = fptrunc double %12 to float
%14 = fdiv float %0, %1
%15 = tail call float @llvm.fmuladd.f32(float %10, float %14, float %13)
%16 = fmul float %14, %15
%17 = tail call float @llvm.fmuladd.f32(float %16, float %14, float %2)
br label %18
18: ; preds = %3, %5
%19 = phi float [ %17, %5 ], [ %0, %3 ]
ret float %19
}