#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
double detsarrus(double, double, double, double, double, double, double, double,
                 double);
double determinator(double x1, double x2, double x3, double x4, double y1,
                    double y2, double y3, double y4, double z1, double z2,
                    double z3, double z4) {
  return detsarrus(x1, y1, z1, x2, y2, z2, x3, y3, z3) -
         detsarrus(x1, y1, z1, x2, y2, z2, x4, y4, z4) +
         detsarrus(x1, y1, z1, x3, y3, z3, x4, y4, z4) -
         detsarrus(x2, y2, z2, x3, y3, z3, x4, y4, z4);
}


x86 assembly (clang, -O0):
<determinator>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movsd  0x28(%rbp),%xmm8
movsd  0x20(%rbp),%xmm8
movsd  0x18(%rbp),%xmm8
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)
movsd  -0x8(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
movsd  0x10(%rbp),%xmm2
movsd  -0x10(%rbp),%xmm3
movsd  -0x30(%rbp),%xmm4
movsd  0x18(%rbp),%xmm5
movsd  -0x18(%rbp),%xmm6
movsd  -0x38(%rbp),%xmm7
movsd  0x20(%rbp),%xmm8
movsd  %xmm8,(%rsp)
call   1030 <detsarrus@plt>
movsd  %xmm0,-0x58(%rbp)
movsd  -0x8(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
movsd  0x10(%rbp),%xmm2
movsd  -0x10(%rbp),%xmm3
movsd  -0x30(%rbp),%xmm4
movsd  0x18(%rbp),%xmm5
movsd  -0x20(%rbp),%xmm6
movsd  -0x40(%rbp),%xmm7
movsd  0x28(%rbp),%xmm8
movsd  %xmm8,(%rsp)
call   1030 <detsarrus@plt>
movaps %xmm0,%xmm1
movsd  -0x58(%rbp),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x8(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
movsd  0x10(%rbp),%xmm2
movsd  -0x18(%rbp),%xmm3
movsd  -0x38(%rbp),%xmm4
movsd  0x20(%rbp),%xmm5
movsd  -0x20(%rbp),%xmm6
movsd  -0x40(%rbp),%xmm7
movsd  0x28(%rbp),%xmm8
movsd  %xmm8,(%rsp)
call   1030 <detsarrus@plt>
movaps %xmm0,%xmm1
movsd  -0x50(%rbp),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  -0x30(%rbp),%xmm1
movsd  0x18(%rbp),%xmm2
movsd  -0x18(%rbp),%xmm3
movsd  -0x38(%rbp),%xmm4
movsd  0x20(%rbp),%xmm5
movsd  -0x20(%rbp),%xmm6
movsd  -0x40(%rbp),%xmm7
movsd  0x28(%rbp),%xmm8
movsd  %xmm8,(%rsp)
call   1030 <detsarrus@plt>
movaps %xmm0,%xmm1
movsd  -0x48(%rbp),%xmm0
subsd  %xmm1,%xmm0
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<determinator>:
sub    $0x58,%rsp
movsd  %xmm7,0x20(%rsp)
movaps %xmm6,%xmm8
movsd  %xmm6,0x50(%rsp)
movaps %xmm5,%xmm7
movsd  %xmm5,0x48(%rsp)
movsd  %xmm4,0x30(%rsp)
movsd  %xmm3,0x18(%rsp)
movaps %xmm2,%xmm6
movsd  %xmm2,0x40(%rsp)
movaps %xmm1,%xmm3
movsd  %xmm1,0x38(%rsp)
movsd  %xmm0,0x28(%rsp)
movsd  0x60(%rsp),%xmm2
movsd  0x68(%rsp),%xmm5
movsd  0x70(%rsp),%xmm1
movsd  %xmm1,(%rsp)
movaps %xmm4,%xmm1
movaps %xmm7,%xmm4
movaps %xmm8,%xmm7
call   1030 <detsarrus@plt>
movsd  %xmm0,0x10(%rsp)
movsd  0x78(%rsp),%xmm0
movsd  %xmm0,(%rsp)
movsd  0x28(%rsp),%xmm0
movsd  0x30(%rsp),%xmm1
movsd  0x60(%rsp),%xmm2
movsd  0x38(%rsp),%xmm3
movsd  0x48(%rsp),%xmm4
movsd  0x68(%rsp),%xmm5
movsd  0x18(%rsp),%xmm6
movsd  0x20(%rsp),%xmm7
call   1030 <detsarrus@plt>
movsd  0x10(%rsp),%xmm1
subsd  %xmm0,%xmm1
movsd  %xmm1,0x10(%rsp)
movsd  0x78(%rsp),%xmm0
movsd  %xmm0,(%rsp)
movsd  0x28(%rsp),%xmm0
movsd  0x30(%rsp),%xmm1
movsd  0x60(%rsp),%xmm2
movsd  0x40(%rsp),%xmm3
movsd  0x50(%rsp),%xmm4
movsd  0x70(%rsp),%xmm5
movsd  0x18(%rsp),%xmm6
movsd  0x20(%rsp),%xmm7
call   1030 <detsarrus@plt>
addsd  0x10(%rsp),%xmm0
movsd  %xmm0,0x10(%rsp)
movsd  0x78(%rsp),%xmm0
movsd  %xmm0,(%rsp)
movsd  0x38(%rsp),%xmm0
movsd  0x48(%rsp),%xmm1
movsd  0x68(%rsp),%xmm2
movsd  0x40(%rsp),%xmm3
movsd  0x50(%rsp),%xmm4
movsd  0x70(%rsp),%xmm5
movsd  0x18(%rsp),%xmm6
movsd  0x20(%rsp),%xmm7
call   1030 <detsarrus@plt>
movsd  0x10(%rsp),%xmm1
subsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
add    $0x58,%rsp
ret

LLVM IR (-O0):
define double @determinator(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9, double %10, double %11) {
%13 = alloca double
%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
store double %0, double* %13
store double %1, double* %14
store double %2, double* %15
store double %3, double* %16
store double %4, double* %17
store double %5, double* %18
store double %6, double* %19
store double %7, double* %20
store double %8, double* %21
store double %9, double* %22
store double %10, double* %23
store double %11, double* %24
%25 = load double, double* %13
%26 = load double, double* %17
%27 = load double, double* %21
%28 = load double, double* %14
%29 = load double, double* %18
%30 = load double, double* %22
%31 = load double, double* %15
%32 = load double, double* %19
%33 = load double, double* %23
%34 = call double @detsarrus(double %25, double %26, double %27, double %28, double %29, double %30, double %31, double %32, double %33)
%35 = load double, double* %13
%36 = load double, double* %17
%37 = load double, double* %21
%38 = load double, double* %14
%39 = load double, double* %18
%40 = load double, double* %22
%41 = load double, double* %16
%42 = load double, double* %20
%43 = load double, double* %24
%44 = call double @detsarrus(double %35, double %36, double %37, double %38, double %39, double %40, double %41, double %42, double %43)
%45 = fsub double %34, %44
%46 = load double, double* %13
%47 = load double, double* %17
%48 = load double, double* %21
%49 = load double, double* %15
%50 = load double, double* %19
%51 = load double, double* %23
%52 = load double, double* %16
%53 = load double, double* %20
%54 = load double, double* %24
%55 = call double @detsarrus(double %46, double %47, double %48, double %49, double %50, double %51, double %52, double %53, double %54)
%56 = fadd double %45, %55
%57 = load double, double* %14
%58 = load double, double* %18
%59 = load double, double* %22
%60 = load double, double* %15
%61 = load double, double* %19
%62 = load double, double* %23
%63 = load double, double* %16
%64 = load double, double* %20
%65 = load double, double* %24
%66 = call double @detsarrus(double %57, double %58, double %59, double %60, double %61, double %62, double %63, double %64, double %65)
%67 = fsub double %56, %66
ret double %67
}

LLVM IR (-O2):
define double @determinator(double %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, double %9, double %10, double %11) {
%13 = tail call double @detsarrus(double %0, double %4, double %8, double %1, double %5, double %9, double %2, double %6, double %10)
%14 = tail call double @detsarrus(double %0, double %4, double %8, double %1, double %5, double %9, double %3, double %7, double %11)
%15 = fsub double %13, %14
%16 = tail call double @detsarrus(double %0, double %4, double %8, double %2, double %6, double %10, double %3, double %7, double %11)
%17 = fadd double %15, %16
%18 = tail call double @detsarrus(double %1, double %5, double %9, double %2, double %6, double %10, double %3, double %7, double %11)
%19 = fsub double %17, %18
ret double %19
}