float mudaintervalo(float min1, float max1, float min2, float max2, float x1) {
  if ((min1 - max1) == 0.0)
    return 0.0;
  return (x1 * ((min2 - max2) / (min1 - max1)) + max2 -
          max1 * ((min2 - max2) / (min1 - max1)));
}


x86 assembly (clang, -O0):
<mudaintervalo>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x8(%rbp)
movss  %xmm1,-0xc(%rbp)
movss  %xmm2,-0x10(%rbp)
movss  %xmm3,-0x14(%rbp)
movss  %xmm4,-0x18(%rbp)
movss  -0x8(%rbp),%xmm0
subss  -0xc(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    114b <mudaintervalo+0x4b>
jp     114b <mudaintervalo+0x4b>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    11ac <mudaintervalo+0xac>
movss  -0x18(%rbp),%xmm1
movss  -0x10(%rbp),%xmm2
subss  -0x14(%rbp),%xmm2
movss  -0x8(%rbp),%xmm0
subss  -0xc(%rbp),%xmm0
divss  %xmm0,%xmm2
movss  -0x14(%rbp),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0xc(%rbp),%xmm0
movss  -0x10(%rbp),%xmm2
subss  -0x14(%rbp),%xmm2
movss  -0x8(%rbp),%xmm3
subss  -0xc(%rbp),%xmm3
divss  %xmm3,%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<mudaintervalo>:
subss  %xmm1,%xmm0
xorps  %xmm5,%xmm5
ucomiss %xmm5,%xmm0
jne    1112 <mudaintervalo+0x12>
jp     1112 <mudaintervalo+0x12>
xorps  %xmm0,%xmm0
ret
subss  %xmm3,%xmm2
divss  %xmm0,%xmm2
mulss  %xmm2,%xmm4
addss  %xmm3,%xmm4
mulss  %xmm2,%xmm1
subss  %xmm1,%xmm4
movaps %xmm4,%xmm0
ret

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

LLVM IR (-O2):
define float @mudaintervalo(float %0, float %1, float %2, float %3, float %4) {
%6 = fsub float %0, %1
%7 = fcmp oeq float %6, 0.000000e+00
br i1 %7, label %14, label %8
8: ; preds = %5
%9 = fsub float %2, %3
%10 = fdiv float %9, %6
%11 = tail call float @llvm.fmuladd.f32(float %4, float %10, float %3)
%12 = fneg float %1
%13 = tail call float @llvm.fmuladd.f32(float %12, float %10, float %11)
br label %14
14: ; preds = %5, %8
%15 = phi float [ %13, %8 ], [ 0.000000e+00, %5 ]
ret float %15
}