#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 det3i4(double *, int, int, int, int);
double fabs(double);
int idet3i4(double *vertex, int v1, int v2, int v3, int v4) {
  double d = det3i4(vertex, v1, v2, v3, v4);
  double r = fabs(vertex[3 * v1 + 0] - vertex[3 * v4 + 0]) +
             fabs(vertex[3 * v1 + 1] - vertex[3 * v4 + 1]) +
             fabs(vertex[3 * v1 + 2] - vertex[3 * v4 + 2]) +
             fabs(vertex[3 * v2 + 0] - vertex[3 * v4 + 0]) +
             fabs(vertex[3 * v2 + 1] - vertex[3 * v4 + 1]) +
             fabs(vertex[3 * v2 + 2] - vertex[3 * v4 + 2]) +
             fabs(vertex[3 * v3 + 0] - vertex[3 * v4 + 0]) +
             fabs(vertex[3 * v3 + 1] - vertex[3 * v4 + 1]) +
             fabs(vertex[3 * v3 + 2] - vertex[3 * v4 + 2]);
  r *= r * r;
  if (d * 1125899906842624.0 > r)
    return +1;
  else if (d * 1125899906842624.0 < -r)
    return -1;
  else
    return 0;
}


x86 assembly (clang, -O0):
<idet3i4>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%r8d
call   1030 <det3i4@plt>
movsd  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
imul   $0x3,-0x14(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
imul   $0x3,-0x20(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm0
movaps 0xe9f(%rip),%xmm1
pand   %xmm1,%xmm0
mov    -0x10(%rbp),%rax
imul   $0x3,-0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x10(%rbp),%rax
imul   $0x3,-0x20(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm1
movaps 0xe6e(%rip),%xmm2
pand   %xmm2,%xmm1
addsd  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
imul   $0x3,-0x14(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x10(%rbp),%rax
imul   $0x3,-0x20(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm1
movaps 0xe39(%rip),%xmm2
pand   %xmm2,%xmm1
addsd  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
imul   $0x3,-0x18(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x10(%rbp),%rax
imul   $0x3,-0x20(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm1
movaps 0xe04(%rip),%xmm2
pand   %xmm2,%xmm1
addsd  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
imul   $0x3,-0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x10(%rbp),%rax
imul   $0x3,-0x20(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm1
movaps 0xdcf(%rip),%xmm2
pand   %xmm2,%xmm1
addsd  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
imul   $0x3,-0x18(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x10(%rbp),%rax
imul   $0x3,-0x20(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm1
movaps 0xd9a(%rip),%xmm2
pand   %xmm2,%xmm1
addsd  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
imul   $0x3,-0x1c(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x10(%rbp),%rax
imul   $0x3,-0x20(%rbp),%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm1
movaps 0xd65(%rip),%xmm2
pand   %xmm2,%xmm1
addsd  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
imul   $0x3,-0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x10(%rbp),%rax
imul   $0x3,-0x20(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm1
movaps 0xd30(%rip),%xmm2
pand   %xmm2,%xmm1
addsd  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
imul   $0x3,-0x1c(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x10(%rbp),%rax
imul   $0x3,-0x20(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
subsd  (%rax,%rcx,8),%xmm1
movaps 0xcfb(%rip),%xmm2
pand   %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xcc2(%rip),%xmm0
mulsd  -0x28(%rbp),%xmm0
ucomisd -0x30(%rbp),%xmm0
jbe    135a <idet3i4+0x24a>
movl   $0x1,-0x4(%rbp)
jmp    13a0 <idet3i4+0x290>
movsd  0xc9e(%rip),%xmm1
mulsd  -0x28(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
ucomisd %xmm1,%xmm0
jbe    1399 <idet3i4+0x289>
movl   $0xffffffff,-0x4(%rbp)
jmp    13a0 <idet3i4+0x290>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<idet3i4>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r8d,%r12d
mov    %ecx,%r14d
mov    %edx,%r15d
mov    %esi,%r13d
mov    %rdi,%rbx
call   1030 <det3i4@plt>
lea    0x0(%r13,%r13,2),%eax
cltq
lea    (%r12,%r12,2),%ecx
movslq %ecx,%rcx
movsd  (%rbx,%rcx,8),%xmm3
movsd  0x8(%rbx,%rcx,8),%xmm2
movupd (%rbx,%rax,8),%xmm4
movupd (%rbx,%rcx,8),%xmm1
subpd  %xmm1,%xmm4
movapd 0xea4(%rip),%xmm1
andpd  %xmm1,%xmm4
pshufd $0xee,%xmm4,%xmm5
addsd  %xmm4,%xmm5
movsd  0x10(%rbx,%rax,8),%xmm6
movsd  0x10(%rbx,%rcx,8),%xmm4
subsd  %xmm4,%xmm6
andpd  %xmm1,%xmm6
addsd  %xmm5,%xmm6
lea    (%r15,%r15,2),%eax
cltq
movsd  (%rbx,%rax,8),%xmm5
movsd  0x8(%rbx,%rax,8),%xmm7
subsd  %xmm3,%xmm5
andpd  %xmm1,%xmm5
addsd  %xmm6,%xmm5
subsd  %xmm2,%xmm7
andpd  %xmm1,%xmm7
addsd  %xmm5,%xmm7
movsd  0x10(%rbx,%rax,8),%xmm5
subsd  %xmm4,%xmm5
andpd  %xmm1,%xmm5
addsd  %xmm7,%xmm5
lea    (%r14,%r14,2),%eax
cltq
movsd  (%rbx,%rax,8),%xmm6
movsd  0x8(%rbx,%rax,8),%xmm7
subsd  %xmm3,%xmm6
andpd  %xmm1,%xmm6
addsd  %xmm5,%xmm6
subsd  %xmm2,%xmm7
andpd  %xmm1,%xmm7
addsd  %xmm6,%xmm7
movsd  0x10(%rbx,%rax,8),%xmm2
subsd  %xmm4,%xmm2
andpd  %xmm1,%xmm2
addsd  %xmm7,%xmm2
movapd %xmm2,%xmm1
mulsd  %xmm2,%xmm1
mulsd  0xe19(%rip),%xmm0
mulsd  %xmm2,%xmm1
movapd 0xdfd(%rip),%xmm2
xorpd  %xmm1,%xmm2
xor    %ecx,%ecx
ucomisd %xmm0,%xmm2
seta   %cl
neg    %ecx
ucomisd %xmm1,%xmm0
mov    $0x1,%eax
cmovbe %ecx,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @idet3i4(double* %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i32
%7 = alloca double*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca double
%13 = alloca double
store double* %0, double** %7
store i32 %1, i32* %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store i32 %4, i32* %11
%14 = load double*, double** %7
%15 = load i32, i32* %8
%16 = load i32, i32* %9
%17 = load i32, i32* %10
%18 = load i32, i32* %11
%19 = call double @det3i4(double* %14, i32 %15, i32 %16, i32 %17, i32 %18)
store double %19, double* %12
%20 = load double*, double** %7
%21 = load i32, i32* %8
%22 = mul nsw i32 3, %21
%23 = add nsw i32 %22, 0
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds double, double* %20, i64 %24
%26 = load double, double* %25
%27 = load double*, double** %7
%28 = load i32, i32* %11
%29 = mul nsw i32 3, %28
%30 = add nsw i32 %29, 0
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds double, double* %27, i64 %31
%33 = load double, double* %32
%34 = fsub double %26, %33
%35 = call double @llvm.fabs.f64(double %34)
%36 = load double*, double** %7
%37 = load i32, i32* %8
%38 = mul nsw i32 3, %37
%39 = add nsw i32 %38, 1
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds double, double* %36, i64 %40
%42 = load double, double* %41
%43 = load double*, double** %7
%44 = load i32, i32* %11
%45 = mul nsw i32 3, %44
%46 = add nsw i32 %45, 1
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds double, double* %43, i64 %47
%49 = load double, double* %48
%50 = fsub double %42, %49
%51 = call double @llvm.fabs.f64(double %50)
%52 = fadd double %35, %51
%53 = load double*, double** %7
%54 = load i32, i32* %8
%55 = mul nsw i32 3, %54
%56 = add nsw i32 %55, 2
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds double, double* %53, i64 %57
%59 = load double, double* %58
%60 = load double*, double** %7
%61 = load i32, i32* %11
%62 = mul nsw i32 3, %61
%63 = add nsw i32 %62, 2
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds double, double* %60, i64 %64
%66 = load double, double* %65
%67 = fsub double %59, %66
%68 = call double @llvm.fabs.f64(double %67)
%69 = fadd double %52, %68
%70 = load double*, double** %7
%71 = load i32, i32* %9
%72 = mul nsw i32 3, %71
%73 = add nsw i32 %72, 0
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds double, double* %70, i64 %74
%76 = load double, double* %75
%77 = load double*, double** %7
%78 = load i32, i32* %11
%79 = mul nsw i32 3, %78
%80 = add nsw i32 %79, 0
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds double, double* %77, i64 %81
%83 = load double, double* %82
%84 = fsub double %76, %83
%85 = call double @llvm.fabs.f64(double %84)
%86 = fadd double %69, %85
%87 = load double*, double** %7
%88 = load i32, i32* %9
%89 = mul nsw i32 3, %88
%90 = add nsw i32 %89, 1
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds double, double* %87, i64 %91
%93 = load double, double* %92
%94 = load double*, double** %7
%95 = load i32, i32* %11
%96 = mul nsw i32 3, %95
%97 = add nsw i32 %96, 1
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds double, double* %94, i64 %98
%100 = load double, double* %99
%101 = fsub double %93, %100
%102 = call double @llvm.fabs.f64(double %101)
%103 = fadd double %86, %102
%104 = load double*, double** %7
%105 = load i32, i32* %9
%106 = mul nsw i32 3, %105
%107 = add nsw i32 %106, 2
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds double, double* %104, i64 %108
%110 = load double, double* %109
%111 = load double*, double** %7
%112 = load i32, i32* %11
%113 = mul nsw i32 3, %112
%114 = add nsw i32 %113, 2
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds double, double* %111, i64 %115
%117 = load double, double* %116
%118 = fsub double %110, %117
%119 = call double @llvm.fabs.f64(double %118)
%120 = fadd double %103, %119
%121 = load double*, double** %7
%122 = load i32, i32* %10
%123 = mul nsw i32 3, %122
%124 = add nsw i32 %123, 0
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds double, double* %121, i64 %125
%127 = load double, double* %126
%128 = load double*, double** %7
%129 = load i32, i32* %11
%130 = mul nsw i32 3, %129
%131 = add nsw i32 %130, 0
%132 = sext i32 %131 to i64
%133 = getelementptr inbounds double, double* %128, i64 %132
%134 = load double, double* %133
%135 = fsub double %127, %134
%136 = call double @llvm.fabs.f64(double %135)
%137 = fadd double %120, %136
%138 = load double*, double** %7
%139 = load i32, i32* %10
%140 = mul nsw i32 3, %139
%141 = add nsw i32 %140, 1
%142 = sext i32 %141 to i64
%143 = getelementptr inbounds double, double* %138, i64 %142
%144 = load double, double* %143
%145 = load double*, double** %7
%146 = load i32, i32* %11
%147 = mul nsw i32 3, %146
%148 = add nsw i32 %147, 1
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds double, double* %145, i64 %149
%151 = load double, double* %150
%152 = fsub double %144, %151
%153 = call double @llvm.fabs.f64(double %152)
%154 = fadd double %137, %153
%155 = load double*, double** %7
%156 = load i32, i32* %10
%157 = mul nsw i32 3, %156
%158 = add nsw i32 %157, 2
%159 = sext i32 %158 to i64
%160 = getelementptr inbounds double, double* %155, i64 %159
%161 = load double, double* %160
%162 = load double*, double** %7
%163 = load i32, i32* %11
%164 = mul nsw i32 3, %163
%165 = add nsw i32 %164, 2
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds double, double* %162, i64 %166
%168 = load double, double* %167
%169 = fsub double %161, %168
%170 = call double @llvm.fabs.f64(double %169)
%171 = fadd double %154, %170
store double %171, double* %13
%172 = load double, double* %13
%173 = load double, double* %13
%174 = fmul double %172, %173
%175 = load double, double* %13
%176 = fmul double %175, %174
store double %176, double* %13
%177 = load double, double* %12
%178 = fmul double %177, 0x4310000000000000
%179 = load double, double* %13
%180 = fcmp ogt double %178, %179
br i1 %180, label %181, label %182
181: ; preds = %5
store i32 1, i32* %6
br label %190
182: ; preds = %5
%183 = load double, double* %12
%184 = fmul double %183, 0x4310000000000000
%185 = load double, double* %13
%186 = fneg double %185
%187 = fcmp olt double %184, %186
br i1 %187, label %188, label %189
188: ; preds = %182
store i32 -1, i32* %6
br label %190
189: ; preds = %182
store i32 0, i32* %6
br label %190
190: ; preds = %189, %188, %181
%191 = load i32, i32* %6
ret i32 %191
}

LLVM IR (-O2):
define i32 @idet3i4(double* %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = tail call double @det3i4(double* %0, i32 %1, i32 %2, i32 %3, i32 %4)
%7 = mul nsw i32 %1, 3
%8 = sext i32 %7 to i64
%9 = getelementptr inbounds double, double* %0, i64 %8
%10 = load double, double* %9
%11 = mul nsw i32 %4, 3
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds double, double* %0, i64 %12
%14 = load double, double* %13
%15 = add nsw i32 %7, 1
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds double, double* %0, i64 %16
%18 = load double, double* %17
%19 = add nsw i32 %11, 1
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds double, double* %0, i64 %20
%22 = load double, double* %21
%23 = insertelement <2 x double> poison, double %10, i64 0
%24 = insertelement <2 x double> %23, double %18, i64 1
%25 = insertelement <2 x double> poison, double %14, i64 0
%26 = insertelement <2 x double> %25, double %22, i64 1
%27 = fsub <2 x double> %24, %26
%28 = call <2 x double> @llvm.fabs.v2f64(<2 x double> %27)
%29 = shufflevector <2 x double> %28, <2 x double> poison, <2 x i32> <i32 1, i32 undef>
%30 = fadd <2 x double> %28, %29
%31 = extractelement <2 x double> %30, i64 0
%32 = add nsw i32 %7, 2
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds double, double* %0, i64 %33
%35 = load double, double* %34
%36 = add nsw i32 %11, 2
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds double, double* %0, i64 %37
%39 = load double, double* %38
%40 = fsub double %35, %39
%41 = tail call double @llvm.fabs.f64(double %40)
%42 = fadd double %31, %41
%43 = mul nsw i32 %2, 3
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds double, double* %0, i64 %44
%46 = load double, double* %45
%47 = fsub double %46, %14
%48 = tail call double @llvm.fabs.f64(double %47)
%49 = fadd double %42, %48
%50 = add nsw i32 %43, 1
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds double, double* %0, i64 %51
%53 = load double, double* %52
%54 = fsub double %53, %22
%55 = tail call double @llvm.fabs.f64(double %54)
%56 = fadd double %49, %55
%57 = add nsw i32 %43, 2
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds double, double* %0, i64 %58
%60 = load double, double* %59
%61 = fsub double %60, %39
%62 = tail call double @llvm.fabs.f64(double %61)
%63 = fadd double %56, %62
%64 = mul nsw i32 %3, 3
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds double, double* %0, i64 %65
%67 = load double, double* %66
%68 = fsub double %67, %14
%69 = tail call double @llvm.fabs.f64(double %68)
%70 = fadd double %63, %69
%71 = add nsw i32 %64, 1
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds double, double* %0, i64 %72
%74 = load double, double* %73
%75 = fsub double %74, %22
%76 = tail call double @llvm.fabs.f64(double %75)
%77 = fadd double %70, %76
%78 = add nsw i32 %64, 2
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds double, double* %0, i64 %79
%81 = load double, double* %80
%82 = fsub double %81, %39
%83 = tail call double @llvm.fabs.f64(double %82)
%84 = fadd double %77, %83
%85 = fmul double %84, %84
%86 = fmul double %84, %85
%87 = fmul double %6, 0x4310000000000000
%88 = fcmp ogt double %87, %86
%89 = fneg double %86
%90 = fcmp olt double %87, %89
%91 = sext i1 %90 to i32
%92 = select i1 %88, i32 1, i32 %91
ret i32 %92
}