int qualfa_2d(float *a, float *b, float *c, float *q) {
  double cal, abx, aby, acx, acy, bcx, bcy;
  double h1, h2, h3, aire;
  cal = 1e+20;
  abx = b[0] - a[0];
  aby = b[1] - a[1];
  acx = c[0] - a[0];
  acy = c[1] - a[1];
  bcx = c[0] - b[0];
  bcy = c[1] - b[1];
  aire = abx * acy - aby * acx;
  if (aire <= 0)
    return (0);
  h1 = abx * abx + aby * aby;
  h2 = acx * acx + acy * acy;
  h3 = bcx * bcx + bcy * bcy;
  (*q) = aire / (h1 + h2 + h3);
  return (1);
}


x86 assembly (clang, -O0):
<qualfa_2d>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
movsd  0xee4(%rip),%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  (%rax),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x4(%rax),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  (%rax),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x4(%rax),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  (%rax),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x58(%rbp)
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  0x4(%rax),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
movsd  -0x40(%rbp),%xmm1
mulsd  -0x48(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x80(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x80(%rbp),%xmm0
jb     120f <qualfa_2d+0x10f>
movl   $0x0,-0x4(%rbp)
jmp    129d <qualfa_2d+0x19d>
movsd  -0x38(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm2
movsd  -0x40(%rbp),%xmm1
mulsd  -0x40(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  -0x48(%rbp),%xmm2
movsd  -0x50(%rbp),%xmm1
mulsd  -0x50(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x58(%rbp),%xmm0
movsd  -0x58(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm1
mulsd  -0x60(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x80(%rbp),%xmm0
movsd  -0x68(%rbp),%xmm1
addsd  -0x70(%rbp),%xmm1
addsd  -0x78(%rbp),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x28(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<qualfa_2d>:
movss  (%rsi),%xmm8
movss  0x4(%rsi),%xmm9
movss  (%rdi),%xmm1
movss  0x4(%rdi),%xmm2
movaps %xmm8,%xmm0
subss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movaps %xmm9,%xmm3
subss  %xmm2,%xmm3
cvtss2sd %xmm3,%xmm5
movss  (%rdx),%xmm7
movss  0x4(%rdx),%xmm3
movaps %xmm7,%xmm6
subss  %xmm1,%xmm6
xorps  %xmm1,%xmm1
cvtss2sd %xmm6,%xmm1
movaps %xmm3,%xmm6
subss  %xmm2,%xmm6
cvtss2sd %xmm6,%xmm6
movaps %xmm5,%xmm4
mulsd  %xmm1,%xmm4
movaps %xmm0,%xmm2
mulsd  %xmm6,%xmm2
subsd  %xmm4,%xmm2
xor    %eax,%eax
xorpd  %xmm4,%xmm4
ucomisd %xmm2,%xmm4
jae    11c1 <qualfa_2d+0xc1>
subss  %xmm9,%xmm3
cvtss2sd %xmm3,%xmm3
subss  %xmm8,%xmm7
xorps  %xmm4,%xmm4
cvtss2sd %xmm7,%xmm4
mulsd  %xmm5,%xmm5
mulsd  %xmm0,%xmm0
addsd  %xmm5,%xmm0
mulsd  %xmm6,%xmm6
mulsd  %xmm1,%xmm1
addsd  %xmm6,%xmm1
addsd  %xmm0,%xmm1
mulsd  %xmm3,%xmm3
mulsd  %xmm4,%xmm4
addsd  %xmm3,%xmm4
addsd  %xmm1,%xmm4
divsd  %xmm4,%xmm2
xorps  %xmm0,%xmm0
cvtsd2ss %xmm2,%xmm0
movss  %xmm0,(%rcx)
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @qualfa_2d(float* %0, float* %1, float* %2, float* %3) {
%5 = alloca i32
%6 = alloca float*
%7 = alloca float*
%8 = alloca float*
%9 = alloca float*
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
%17 = alloca double
%18 = alloca double
%19 = alloca double
%20 = alloca double
store float* %0, float** %6
store float* %1, float** %7
store float* %2, float** %8
store float* %3, float** %9
store double 1.000000e+20, double* %10
%21 = load float*, float** %7
%22 = getelementptr inbounds float, float* %21, i64 0
%23 = load float, float* %22
%24 = load float*, float** %6
%25 = getelementptr inbounds float, float* %24, i64 0
%26 = load float, float* %25
%27 = fsub float %23, %26
%28 = fpext float %27 to double
store double %28, double* %11
%29 = load float*, float** %7
%30 = getelementptr inbounds float, float* %29, i64 1
%31 = load float, float* %30
%32 = load float*, float** %6
%33 = getelementptr inbounds float, float* %32, i64 1
%34 = load float, float* %33
%35 = fsub float %31, %34
%36 = fpext float %35 to double
store double %36, double* %12
%37 = load float*, float** %8
%38 = getelementptr inbounds float, float* %37, i64 0
%39 = load float, float* %38
%40 = load float*, float** %6
%41 = getelementptr inbounds float, float* %40, i64 0
%42 = load float, float* %41
%43 = fsub float %39, %42
%44 = fpext float %43 to double
store double %44, double* %13
%45 = load float*, float** %8
%46 = getelementptr inbounds float, float* %45, i64 1
%47 = load float, float* %46
%48 = load float*, float** %6
%49 = getelementptr inbounds float, float* %48, i64 1
%50 = load float, float* %49
%51 = fsub float %47, %50
%52 = fpext float %51 to double
store double %52, double* %14
%53 = load float*, float** %8
%54 = getelementptr inbounds float, float* %53, i64 0
%55 = load float, float* %54
%56 = load float*, float** %7
%57 = getelementptr inbounds float, float* %56, i64 0
%58 = load float, float* %57
%59 = fsub float %55, %58
%60 = fpext float %59 to double
store double %60, double* %15
%61 = load float*, float** %8
%62 = getelementptr inbounds float, float* %61, i64 1
%63 = load float, float* %62
%64 = load float*, float** %7
%65 = getelementptr inbounds float, float* %64, i64 1
%66 = load float, float* %65
%67 = fsub float %63, %66
%68 = fpext float %67 to double
store double %68, double* %16
%69 = load double, double* %11
%70 = load double, double* %14
%71 = load double, double* %12
%72 = load double, double* %13
%73 = fmul double %71, %72
%74 = fneg double %73
%75 = call double @llvm.fmuladd.f64(double %69, double %70, double %74)
store double %75, double* %20
%76 = load double, double* %20
%77 = fcmp ole double %76, 0.000000e+00
br i1 %77, label %78, label %79
78: ; preds = %4
store i32 0, i32* %5
br label %107
79: ; preds = %4
%80 = load double, double* %11
%81 = load double, double* %11
%82 = load double, double* %12
%83 = load double, double* %12
%84 = fmul double %82, %83
%85 = call double @llvm.fmuladd.f64(double %80, double %81, double %84)
store double %85, double* %17
%86 = load double, double* %13
%87 = load double, double* %13
%88 = load double, double* %14
%89 = load double, double* %14
%90 = fmul double %88, %89
%91 = call double @llvm.fmuladd.f64(double %86, double %87, double %90)
store double %91, double* %18
%92 = load double, double* %15
%93 = load double, double* %15
%94 = load double, double* %16
%95 = load double, double* %16
%96 = fmul double %94, %95
%97 = call double @llvm.fmuladd.f64(double %92, double %93, double %96)
store double %97, double* %19
%98 = load double, double* %20
%99 = load double, double* %17
%100 = load double, double* %18
%101 = fadd double %99, %100
%102 = load double, double* %19
%103 = fadd double %101, %102
%104 = fdiv double %98, %103
%105 = fptrunc double %104 to float
%106 = load float*, float** %9
store float %105, float* %106
store i32 1, i32* %5
br label %107
107: ; preds = %79, %78
%108 = load i32, i32* %5
ret i32 %108
}

LLVM IR (-O2):
define i32 @qualfa_2d(float* nocapture %0, float* nocapture %1, float* nocapture %2, float* nocapture writeonly %3) {
%5 = load float, float* %1
%6 = load float, float* %0
%7 = fsub float %5, %6
%8 = fpext float %7 to double
%9 = getelementptr inbounds float, float* %1, i64 1
%10 = load float, float* %9
%11 = getelementptr inbounds float, float* %0, i64 1
%12 = load float, float* %11
%13 = fsub float %10, %12
%14 = fpext float %13 to double
%15 = load float, float* %2
%16 = fsub float %15, %6
%17 = fpext float %16 to double
%18 = getelementptr inbounds float, float* %2, i64 1
%19 = load float, float* %18
%20 = fsub float %19, %12
%21 = fpext float %20 to double
%22 = fneg double %14
%23 = fmul double %22, %17
%24 = tail call double @llvm.fmuladd.f64(double %8, double %21, double %23)
%25 = fcmp ugt double %24, 0.000000e+00
br i1 %25, label %26, label %41
26: ; preds = %4
%27 = fsub float %19, %10
%28 = fpext float %27 to double
%29 = fsub float %15, %5
%30 = fpext float %29 to double
%31 = fmul double %14, %14
%32 = tail call double @llvm.fmuladd.f64(double %8, double %8, double %31)
%33 = fmul double %21, %21
%34 = tail call double @llvm.fmuladd.f64(double %17, double %17, double %33)
%35 = fmul double %28, %28
%36 = tail call double @llvm.fmuladd.f64(double %30, double %30, double %35)
%37 = fadd double %32, %34
%38 = fadd double %36, %37
%39 = fdiv double %24, %38
%40 = fptrunc double %39 to float
store float %40, float* %3
br label %41
41: ; preds = %4, %26
%42 = phi i32 [ 1, %26 ], [ 0, %4 ]
ret i32 %42
}