float incirclefast(pa, pb, pc, pd)
float *pa;
float *pb;
float *pc;
float *pd;
{
  float adx, ady, bdx, bdy, cdx, cdy;
  float abdet, bcdet, cadet;
  float alift, blift, clift;
  adx = pa[0] - pd[0];
  ady = pa[1] - pd[1];
  bdx = pb[0] - pd[0];
  bdy = pb[1] - pd[1];
  cdx = pc[0] - pd[0];
  cdy = pc[1] - pd[1];
  abdet = adx * bdy - bdx * ady;
  bcdet = bdx * cdy - cdx * bdy;
  cadet = cdx * ady - adx * cdy;
  alift = adx * adx + ady * ady;
  blift = bdx * bdx + bdy * bdy;
  clift = cdx * cdx + cdy * cdy;
  return alift * bcdet + blift * cadet + clift * abdet;
}


x86 assembly (clang, -O0):
<incirclefast>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x20(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x24(%rbp)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x20(%rbp),%rax
subss  0x4(%rax),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x20(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x20(%rbp),%rax
subss  0x4(%rax),%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x20(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x20(%rbp),%rax
subss  0x4(%rax),%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0x24(%rbp),%xmm0
movss  -0x30(%rbp),%xmm2
movss  -0x2c(%rbp),%xmm1
mulss  -0x28(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x2c(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0x34(%rbp),%xmm1
mulss  -0x30(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x40(%rbp)
movss  -0x34(%rbp),%xmm0
movss  -0x28(%rbp),%xmm2
movss  -0x24(%rbp),%xmm1
mulss  -0x38(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x24(%rbp),%xmm0
movss  -0x24(%rbp),%xmm2
movss  -0x28(%rbp),%xmm1
mulss  -0x28(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x2c(%rbp),%xmm0
movss  -0x2c(%rbp),%xmm2
movss  -0x30(%rbp),%xmm1
mulss  -0x30(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  -0x34(%rbp),%xmm0
movss  -0x34(%rbp),%xmm2
movss  -0x38(%rbp),%xmm1
mulss  -0x38(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x50(%rbp)
movss  -0x48(%rbp),%xmm1
movss  -0x40(%rbp),%xmm2
movss  -0x4c(%rbp),%xmm0
mulss  -0x44(%rbp),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x50(%rbp),%xmm0
movss  -0x3c(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<incirclefast>:
movss  (%rdi),%xmm1
movss  0x4(%rdi),%xmm2
movss  (%rcx),%xmm4
movss  0x4(%rcx),%xmm5
subss  %xmm4,%xmm1
subss  %xmm5,%xmm2
movss  (%rdx),%xmm0
movss  0x4(%rdx),%xmm6
movss  (%rsi),%xmm3
unpcklps %xmm0,%xmm3
movss  0x4(%rsi),%xmm0
unpcklps %xmm6,%xmm0
shufps $0x0,%xmm4,%xmm4
subps  %xmm4,%xmm3
shufps $0x0,%xmm5,%xmm5
subps  %xmm5,%xmm0
movaps %xmm2,%xmm5
mulss  %xmm3,%xmm5
movaps %xmm1,%xmm4
mulss  %xmm0,%xmm4
subss  %xmm5,%xmm4
movaps %xmm3,%xmm5
movaps %xmm2,%xmm8
movlhps %xmm3,%xmm2
shufps $0xe2,%xmm3,%xmm2
mulps  %xmm3,%xmm2
shufps $0x55,%xmm3,%xmm3
movaps %xmm0,%xmm7
movaps 0xe8f(%rip),%xmm6
xorps  %xmm1,%xmm6
movlhps %xmm0,%xmm6
shufps $0xe2,%xmm0,%xmm6
mulps  %xmm0,%xmm6
mulss  %xmm3,%xmm0
shufps $0x55,%xmm7,%xmm7
mulss  %xmm7,%xmm5
subss  %xmm0,%xmm5
mulss  %xmm8,%xmm8
mulss  %xmm1,%xmm1
addss  %xmm8,%xmm1
mulss  %xmm5,%xmm1
addps  %xmm6,%xmm2
mulss  %xmm7,%xmm7
mulss  %xmm3,%xmm3
addss  %xmm7,%xmm3
mulss  %xmm4,%xmm3
movaps %xmm2,%xmm0
shufps $0x55,%xmm2,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
addss  %xmm3,%xmm0
ret

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

LLVM IR (-O2):
define float @incirclefast(float* nocapture %0, float* nocapture %1, float* nocapture %2, float* nocapture %3) {
%5 = load float, float* %0
%6 = load float, float* %3
%7 = fsub float %5, %6
%8 = getelementptr inbounds float, float* %0, i64 1
%9 = load float, float* %8
%10 = getelementptr inbounds float, float* %3, i64 1
%11 = load float, float* %10
%12 = fsub float %9, %11
%13 = load float, float* %1
%14 = getelementptr inbounds float, float* %1, i64 1
%15 = load float, float* %14
%16 = load float, float* %2
%17 = insertelement <2 x float> poison, float %13, i64 0
%18 = insertelement <2 x float> %17, float %16, i64 1
%19 = insertelement <2 x float> poison, float %6, i64 0
%20 = shufflevector <2 x float> %19, <2 x float> poison, <2 x i32> zeroinitializer
%21 = fsub <2 x float> %18, %20
%22 = getelementptr inbounds float, float* %2, i64 1
%23 = load float, float* %22
%24 = insertelement <2 x float> poison, float %15, i64 0
%25 = insertelement <2 x float> %24, float %23, i64 1
%26 = insertelement <2 x float> poison, float %11, i64 0
%27 = shufflevector <2 x float> %26, <2 x float> poison, <2 x i32> zeroinitializer
%28 = fsub <2 x float> %25, %27
%29 = extractelement <2 x float> %21, i64 0
%30 = fneg float %29
%31 = fmul float %12, %30
%32 = extractelement <2 x float> %28, i64 0
%33 = tail call float @llvm.fmuladd.f32(float %7, float %32, float %31)
%34 = extractelement <2 x float> %21, i64 1
%35 = fneg float %34
%36 = fmul float %32, %35
%37 = extractelement <2 x float> %28, i64 1
%38 = tail call float @llvm.fmuladd.f32(float %29, float %37, float %36)
%39 = fneg float %7
%40 = fmul float %12, %12
%41 = tail call float @llvm.fmuladd.f32(float %7, float %7, float %40)
%42 = insertelement <2 x float> %28, float %39, i64 1
%43 = fmul <2 x float> %28, %42
%44 = insertelement <2 x float> %21, float %12, i64 1
%45 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %21, <2 x float> %44, <2 x float> %43)
%46 = fmul float %37, %37
%47 = tail call float @llvm.fmuladd.f32(float %34, float %34, float %46)
%48 = shufflevector <2 x float> %45, <2 x float> poison, <2 x i32> <i32 1, i32 undef>
%49 = fmul <2 x float> %45, %48
%50 = extractelement <2 x float> %49, i64 0
%51 = tail call float @llvm.fmuladd.f32(float %41, float %38, float %50)
%52 = tail call float @llvm.fmuladd.f32(float %47, float %33, float %51)
ret float %52
}