int left_(double *x1, double *y11, double *z1, double *x2, double *y2,
          double *z2, double *x0, double *y00, double *z0) {
  int ret_val;
  ret_val = *x0 * (*y11 * *z2 - *y2 * *z1) - *y00 * (*x1 * *z2 - *x2 * *z1) +
                *z0 * (*x1 * *y2 - *x2 * *y11) >=
            0.;
  return ret_val;
}


x86 assembly (clang, -O0):
<left_>:
push   %rbp
mov    %rsp,%rbp
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    0x10(%rbp),%rax
movsd  (%rax),%xmm1
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm2
mov    -0x30(%rbp),%rax
movsd  (%rax),%xmm3
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x18(%rbp),%rax
mulsd  (%rax),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
mulsd  %xmm3,%xmm2
addsd  %xmm0,%xmm2
mov    0x18(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm3
mov    -0x30(%rbp),%rax
movsd  (%rax),%xmm5
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm4
mov    -0x18(%rbp),%rax
mulsd  (%rax),%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
mov    0x20(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm2
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm4
mov    -0x20(%rbp),%rax
movsd  (%rax),%xmm3
mov    -0x10(%rbp),%rax
mulsd  (%rax),%xmm3
movq   %xmm3,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm3
mulsd  %xmm4,%xmm2
addsd  %xmm3,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<left_>:
mov    0x18(%rsp),%r10
mov    0x8(%rsp),%r11
mov    0x10(%rsp),%rax
movsd  (%rsi),%xmm0
movsd  (%r9),%xmm1
movsd  (%r8),%xmm2
movsd  (%rdx),%xmm3
movapd %xmm3,%xmm4
mulsd  %xmm2,%xmm4
movapd %xmm0,%xmm5
mulsd  %xmm1,%xmm5
subsd  %xmm4,%xmm5
movsd  (%rdi),%xmm4
movsd  (%rcx),%xmm6
mulsd  %xmm6,%xmm3
mulsd  %xmm4,%xmm1
subsd  %xmm3,%xmm1
mulsd  (%rax),%xmm1
mulsd  (%r11),%xmm5
subsd  %xmm1,%xmm5
mulsd  %xmm6,%xmm0
mulsd  %xmm2,%xmm4
subsd  %xmm0,%xmm4
mulsd  (%r10),%xmm4
addsd  %xmm5,%xmm4
xorpd  %xmm0,%xmm0
xor    %eax,%eax
ucomisd %xmm0,%xmm4
setae  %al
ret

LLVM IR (-O0):
define i32 @left_(double* %0, double* %1, double* %2, double* %3, double* %4, double* %5, double* %6, double* %7, double* %8) {
%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 i32
store double* %0, double** %10
store double* %1, double** %11
store double* %2, double** %12
store double* %3, double** %13
store double* %4, double** %14
store double* %5, double** %15
store double* %6, double** %16
store double* %7, double** %17
store double* %8, double** %18
%20 = load double*, double** %16
%21 = load double, double* %20
%22 = load double*, double** %11
%23 = load double, double* %22
%24 = load double*, double** %15
%25 = load double, double* %24
%26 = load double*, double** %14
%27 = load double, double* %26
%28 = load double*, double** %12
%29 = load double, double* %28
%30 = fmul double %27, %29
%31 = fneg double %30
%32 = call double @llvm.fmuladd.f64(double %23, double %25, double %31)
%33 = load double*, double** %17
%34 = load double, double* %33
%35 = load double*, double** %10
%36 = load double, double* %35
%37 = load double*, double** %15
%38 = load double, double* %37
%39 = load double*, double** %13
%40 = load double, double* %39
%41 = load double*, double** %12
%42 = load double, double* %41
%43 = fmul double %40, %42
%44 = fneg double %43
%45 = call double @llvm.fmuladd.f64(double %36, double %38, double %44)
%46 = fmul double %34, %45
%47 = fneg double %46
%48 = call double @llvm.fmuladd.f64(double %21, double %32, double %47)
%49 = load double*, double** %18
%50 = load double, double* %49
%51 = load double*, double** %10
%52 = load double, double* %51
%53 = load double*, double** %14
%54 = load double, double* %53
%55 = load double*, double** %13
%56 = load double, double* %55
%57 = load double*, double** %11
%58 = load double, double* %57
%59 = fmul double %56, %58
%60 = fneg double %59
%61 = call double @llvm.fmuladd.f64(double %52, double %54, double %60)
%62 = call double @llvm.fmuladd.f64(double %50, double %61, double %48)
%63 = fcmp oge double %62, 0.000000e+00
%64 = zext i1 %63 to i32
store i32 %64, i32* %19
%65 = load i32, i32* %19
ret i32 %65
}

LLVM IR (-O2):
define i32 @left_(double* nocapture %0, double* nocapture %1, double* nocapture %2, double* nocapture %3, double* nocapture %4, double* nocapture %5, double* nocapture %6, double* nocapture %7, double* nocapture %8) {
%10 = load double, double* %6
%11 = load double, double* %1
%12 = load double, double* %5
%13 = load double, double* %4
%14 = load double, double* %2
%15 = fneg double %13
%16 = fmul double %14, %15
%17 = tail call double @llvm.fmuladd.f64(double %11, double %12, double %16)
%18 = load double, double* %7
%19 = load double, double* %0
%20 = load double, double* %3
%21 = fneg double %20
%22 = fmul double %14, %21
%23 = tail call double @llvm.fmuladd.f64(double %19, double %12, double %22)
%24 = fneg double %18
%25 = fmul double %23, %24
%26 = tail call double @llvm.fmuladd.f64(double %10, double %17, double %25)
%27 = load double, double* %8
%28 = fmul double %11, %21
%29 = tail call double @llvm.fmuladd.f64(double %19, double %13, double %28)
%30 = tail call double @llvm.fmuladd.f64(double %27, double %29, double %26)
%31 = fcmp oge double %30, 0.000000e+00
%32 = zext i1 %31 to i32
ret i32 %32
}