float Fondu(float milieu, float pos) {
  if (milieu < 0 || milieu > 1)
    milieu = 0.5;
  if (pos > milieu)
    return (0.5 + (pos - milieu) * 0.5 / (1 - milieu));
  else
    return (pos / milieu * 0.5);
}


x86 assembly (clang, -O0):
<Fondu>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x8(%rbp)
movss  %xmm1,-0xc(%rbp)
xorps  %xmm0,%xmm0
ucomiss -0x8(%rbp),%xmm0
ja     1131 <Fondu+0x31>
movss  -0x8(%rbp),%xmm0
movss  0xed8(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    113e <Fondu+0x3e>
movss  0xecb(%rip),%xmm0
movss  %xmm0,-0x8(%rbp)
movss  -0xc(%rbp),%xmm0
ucomiss -0x8(%rbp),%xmm0
jbe    1196 <Fondu+0x96>
movss  -0xc(%rbp),%xmm0
subss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xea5(%rip),%xmm0
mulsd  %xmm0,%xmm1
movss  0xe91(%rip),%xmm0
subss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
divsd  %xmm0,%xmm1
movsd  0xe84(%rip),%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    11b9 <Fondu+0xb9>
movss  -0xc(%rbp),%xmm0
divss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe5c(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<Fondu>:
movss  0xef8(%rip),%xmm2
movaps %xmm2,%xmm3
cmpltss %xmm0,%xmm3
movss  0xeec(%rip),%xmm4
movaps %xmm3,%xmm5
andps  %xmm4,%xmm5
andnps %xmm0,%xmm3
orps   %xmm5,%xmm3
xorps  %xmm5,%xmm5
cmpltss %xmm5,%xmm0
movaps %xmm0,%xmm5
andnps %xmm3,%xmm5
andps  %xmm4,%xmm0
orps   %xmm5,%xmm0
ucomiss %xmm0,%xmm1
jbe    116c <Fondu+0x6c>
subss  %xmm0,%xmm1
cvtss2sd %xmm1,%xmm1
movsd  0xebb(%rip),%xmm3
mulsd  %xmm3,%xmm1
subss  %xmm0,%xmm2
xorps  %xmm0,%xmm0
cvtss2sd %xmm2,%xmm0
divsd  %xmm0,%xmm1
addsd  %xmm3,%xmm1
xorps  %xmm0,%xmm0
cvtsd2ss %xmm1,%xmm0
ret
divss  %xmm0,%xmm1
mulss  0xe8c(%rip),%xmm1
movaps %xmm1,%xmm0
ret

LLVM IR (-O0):
define float @Fondu(float %0, float %1) {
%3 = alloca float
%4 = alloca float
%5 = alloca float
store float %0, float* %4
store float %1, float* %5
%6 = load float, float* %4
%7 = fcmp olt float %6, 0.000000e+00
br i1 %7, label %11, label %8
8: ; preds = %2
%9 = load float, float* %4
%10 = fcmp ogt float %9, 1.000000e+00
br i1 %10, label %11, label %12
11: ; preds = %8, %2
store float 5.000000e-01, float* %4
br label %12
12: ; preds = %11, %8
%13 = load float, float* %5
%14 = load float, float* %4
%15 = fcmp ogt float %13, %14
br i1 %15, label %16, label %28
16: ; preds = %12
%17 = load float, float* %5
%18 = load float, float* %4
%19 = fsub float %17, %18
%20 = fpext float %19 to double
%21 = fmul double %20, 5.000000e-01
%22 = load float, float* %4
%23 = fsub float 1.000000e+00, %22
%24 = fpext float %23 to double
%25 = fdiv double %21, %24
%26 = fadd double 5.000000e-01, %25
%27 = fptrunc double %26 to float
store float %27, float* %3
br label %35
28: ; preds = %12
%29 = load float, float* %5
%30 = load float, float* %4
%31 = fdiv float %29, %30
%32 = fpext float %31 to double
%33 = fmul double %32, 5.000000e-01
%34 = fptrunc double %33 to float
store float %34, float* %3
br label %35
35: ; preds = %28, %16
%36 = load float, float* %3
ret float %36
}

LLVM IR (-O2):
define float @Fondu(float %0, float %1) {
%3 = fcmp olt float %0, 0.000000e+00
%4 = fcmp ogt float %0, 1.000000e+00
%5 = or i1 %3, %4
%6 = select i1 %5, float 5.000000e-01, float %0
%7 = fcmp olt float %6, %1
br i1 %7, label %8, label %17
8: ; preds = %2
%9 = fsub float %1, %6
%10 = fpext float %9 to double
%11 = fmul double %10, 5.000000e-01
%12 = fsub float 1.000000e+00, %6
%13 = fpext float %12 to double
%14 = fdiv double %11, %13
%15 = fadd double %14, 5.000000e-01
%16 = fptrunc double %15 to float
br label %20
17: ; preds = %2
%18 = fdiv float %1, %6
%19 = fmul float %18, 5.000000e-01
br label %20
20: ; preds = %17, %8
%21 = phi float [ %16, %8 ], [ %19, %17 ]
ret float %21
}