double casoDos(double a, double b, double c) {
  double f;
  double d = (a * b) + 5;
  f = a + (d * c);
  double r = b * b;
  if (r > f) {
    r = r + f;
  } else {
    r = r * 2.75;
    f++;
  }
  double k = r - f;
  return k * k;
}


x86 assembly (clang, -O0):
<casoDos>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  -0x8(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xed7(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x8(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x10(%rbp),%xmm0
mulsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jbe    1181 <casoDos+0x81>
movsd  -0x30(%rbp),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
jmp    11a5 <casoDos+0xa5>
movsd  0xe87(%rip),%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xe6d(%rip),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x30(%rbp),%xmm0
subsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm0
mulsd  -0x38(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<casoDos>:
movapd %xmm0,%xmm3
mulsd  %xmm1,%xmm3
addsd  0xef0(%rip),%xmm3
mulsd  %xmm2,%xmm3
addsd  %xmm0,%xmm3
mulsd  %xmm1,%xmm1
ucomisd %xmm3,%xmm1
movsd  0xee8(%rip),%xmm2
addsd  %xmm3,%xmm2
ja     113c <casoDos+0x3c>
movsd  0xed2(%rip),%xmm0
mulsd  %xmm1,%xmm0
jmp    1144 <casoDos+0x44>
movapd %xmm1,%xmm0
addsd  %xmm3,%xmm0
movapd %xmm3,%xmm4
cmpltsd %xmm1,%xmm4
andpd  %xmm4,%xmm3
andnpd %xmm2,%xmm4
orpd   %xmm3,%xmm4
subsd  %xmm4,%xmm0
mulsd  %xmm0,%xmm0
ret

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

LLVM IR (-O2):
define double @casoDos(double %0, double %1, double %2) {
%4 = tail call double @llvm.fmuladd.f64(double %0, double %1, double 5.000000e+00)
%5 = tail call double @llvm.fmuladd.f64(double %4, double %2, double %0)
%6 = fmul double %1, %1
%7 = fcmp ogt double %6, %5
%8 = fadd double %6, %5
%9 = fmul double %6, 2.750000e+00
%10 = fadd double %5, 1.000000e+00
%11 = select i1 %7, double %8, double %9
%12 = select i1 %7, double %5, double %10
%13 = fsub double %11, %12
%14 = fmul double %13, %13
ret double %14
}