void plane(x1, x2, x3, y1, y2, y3, z1, z2, z3, a, b, c, d) double x1, x2, x3,
    y1, y2, y3, z1, z2, z3, *a, *b, *c, *d;
{
  *a = y1 * (z2 - z3) + y2 * (z3 - z1) + y3 * (z1 - z2);
  *b = z1 * (x2 - x3) + z2 * (x3 - x1) + z3 * (x1 - x2);
  *c = x1 * (y2 - y3) + x2 * (y3 - y1) + x3 * (y1 - y2);
  *d = -x1 * (y2 * z3 - y3 * z2) - x2 * (y3 * z1 - y1 * z3) -
       x3 * (y1 * z2 - y2 * z1);
}


x86 assembly (clang, -O0):
<plane>:
push   %rbp
mov    %rsp,%rbp
movsd  0x10(%rbp),%xmm8
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
movsd  %xmm4,-0x28(%rbp)
movsd  %xmm5,-0x30(%rbp)
movsd  %xmm6,-0x38(%rbp)
movsd  %xmm7,-0x40(%rbp)
mov    %rdi,-0x48(%rbp)
mov    %rsi,-0x50(%rbp)
mov    %rdx,-0x58(%rbp)
mov    %rcx,-0x60(%rbp)
movsd  -0x20(%rbp),%xmm1
movsd  -0x40(%rbp),%xmm2
subsd  0x10(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm0
movsd  0x10(%rbp),%xmm3
subsd  -0x38(%rbp),%xmm3
mulsd  %xmm3,%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x30(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm2
subsd  -0x40(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x48(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x38(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm2
subsd  -0x18(%rbp),%xmm2
movsd  -0x40(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm3
subsd  -0x8(%rbp),%xmm3
mulsd  %xmm3,%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  0x10(%rbp),%xmm0
movsd  -0x8(%rbp),%xmm2
subsd  -0x10(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x50(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x8(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm2
subsd  -0x30(%rbp),%xmm2
movsd  -0x10(%rbp),%xmm0
movsd  -0x30(%rbp),%xmm3
subsd  -0x20(%rbp),%xmm3
mulsd  %xmm3,%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm2
subsd  -0x28(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x58(%rbp),%rax
movsd  %xmm0,(%rax)
movsd  -0x8(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
movsd  -0x28(%rbp),%xmm2
movsd  0x10(%rbp),%xmm3
movsd  -0x30(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm3,%xmm2
addsd  %xmm0,%xmm2
movsd  -0x10(%rbp),%xmm0
movsd  -0x30(%rbp),%xmm3
movsd  -0x38(%rbp),%xmm5
movsd  -0x20(%rbp),%xmm4
mulsd  0x10(%rbp),%xmm4
movq   %xmm4,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm4
mulsd  %xmm5,%xmm3
addsd  %xmm4,%xmm3
mulsd  %xmm3,%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm2
movsd  -0x40(%rbp),%xmm4
movsd  -0x28(%rbp),%xmm3
mulsd  -0x38(%rbp),%xmm3
movq   %xmm3,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm3
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x60(%rbp),%rax
movsd  %xmm0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<plane>:
movsd  0x8(%rsp),%xmm8
movapd %xmm7,%xmm9
subsd  %xmm8,%xmm9
movapd %xmm8,%xmm10
subsd  %xmm6,%xmm10
mulsd  %xmm4,%xmm10
mulsd  %xmm3,%xmm9
addsd  %xmm10,%xmm9
movapd %xmm6,%xmm10
subsd  %xmm7,%xmm10
mulsd  %xmm5,%xmm10
addsd  %xmm9,%xmm10
movsd  %xmm10,(%rdi)
movapd %xmm0,%xmm9
subsd  %xmm1,%xmm9
mulsd  %xmm8,%xmm9
movapd %xmm4,%xmm10
subsd  %xmm5,%xmm10
movapd %xmm5,%xmm11
subsd  %xmm3,%xmm11
mulsd  %xmm1,%xmm11
movapd %xmm5,%xmm12
movapd %xmm4,%xmm13
mulsd  %xmm8,%xmm13
mulsd  %xmm3,%xmm8
mulsd  %xmm6,%xmm5
subsd  %xmm8,%xmm5
mulsd  %xmm1,%xmm5
subsd  %xmm2,%xmm1
mulsd  %xmm6,%xmm1
movapd %xmm3,%xmm8
subsd  %xmm4,%xmm8
mulsd  %xmm6,%xmm4
mulsd  %xmm7,%xmm3
subsd  %xmm4,%xmm3
mulsd  %xmm2,%xmm8
mulsd  %xmm2,%xmm3
subsd  %xmm0,%xmm2
mulsd  %xmm7,%xmm2
addsd  %xmm2,%xmm1
addsd  %xmm1,%xmm9
movsd  %xmm9,(%rsi)
mulsd  %xmm0,%xmm10
addsd  %xmm11,%xmm10
addsd  %xmm10,%xmm8
movsd  %xmm8,(%rdx)
xorpd  0xe1b(%rip),%xmm0
mulsd  %xmm7,%xmm12
subsd  %xmm12,%xmm13
mulsd  %xmm0,%xmm13
subsd  %xmm5,%xmm13
subsd  %xmm3,%xmm13
movsd  %xmm13,(%rcx)
ret

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

LLVM IR (-O2):
define void @plane(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double* nocapture writeonly %9, double* nocapture writeonly %10, double* nocapture writeonly %11, double* nocapture writeonly %12) {
%14 = fsub double %7, %8
%15 = fsub double %8, %6
%16 = fmul double %15, %4
%17 = tail call double @llvm.fmuladd.f64(double %3, double %14, double %16)
%18 = fsub double %6, %7
%19 = tail call double @llvm.fmuladd.f64(double %5, double %18, double %17)
store double %19, double* %9
%20 = fsub double %1, %2
%21 = fsub double %2, %0
%22 = fmul double %21, %7
%23 = tail call double @llvm.fmuladd.f64(double %6, double %20, double %22)
%24 = fsub double %0, %1
%25 = tail call double @llvm.fmuladd.f64(double %8, double %24, double %23)
store double %25, double* %10
%26 = fsub double %4, %5
%27 = fsub double %5, %3
%28 = fmul double %27, %1
%29 = tail call double @llvm.fmuladd.f64(double %0, double %26, double %28)
%30 = fsub double %3, %4
%31 = tail call double @llvm.fmuladd.f64(double %2, double %30, double %29)
store double %31, double* %11
%32 = fneg double %0
%33 = fneg double %5
%34 = fmul double %33, %7
%35 = tail call double @llvm.fmuladd.f64(double %4, double %8, double %34)
%36 = fneg double %3
%37 = fmul double %36, %8
%38 = tail call double @llvm.fmuladd.f64(double %5, double %6, double %37)
%39 = fneg double %38
%40 = fmul double %39, %1
%41 = tail call double @llvm.fmuladd.f64(double %32, double %35, double %40)
%42 = fneg double %4
%43 = fmul double %42, %6
%44 = tail call double @llvm.fmuladd.f64(double %3, double %7, double %43)
%45 = fneg double %2
%46 = tail call double @llvm.fmuladd.f64(double %45, double %44, double %41)
store double %46, double* %12
ret void
}