#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 */
scalar_t__ sqrt(float);
void SVBSP_PlaneFromPoints(float *plane4f, const float *p1, const float *p2,
                           const float *p3) {
  float ilength;
  plane4f[0] =
      (p1[1] - p2[1]) * (p3[2] - p2[2]) - (p1[2] - p2[2]) * (p3[1] - p2[1]);
  plane4f[1] =
      (p1[2] - p2[2]) * (p3[0] - p2[0]) - (p1[0] - p2[0]) * (p3[2] - p2[2]);
  plane4f[2] =
      (p1[0] - p2[0]) * (p3[1] - p2[1]) - (p1[1] - p2[1]) * (p3[0] - p2[0]);
  plane4f[3] = ((plane4f)[0] * (p1)[0] + (plane4f)[1] * (p1)[1] +
                (plane4f)[2] * (p1)[2]);
  ilength =
      (float)sqrt(((plane4f)[0] * (plane4f)[0] + (plane4f)[1] * (plane4f)[1] +
                   (plane4f)[2] * (plane4f)[2]));
  if (ilength)
    ilength = 1.0f / ilength;
  plane4f[0] *= ilength;
  plane4f[1] *= ilength;
  plane4f[2] *= ilength;
  plane4f[3] *= ilength;
}


x86 assembly (clang, -O0):
<SVBSP_PlaneFromPoints>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  0x4(%rax),%xmm0
mov    -0x20(%rbp),%rax
movss  0x8(%rax),%xmm2
mov    -0x18(%rbp),%rax
subss  0x8(%rax),%xmm2
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm1
mov    -0x18(%rbp),%rax
subss  0x8(%rax),%xmm1
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm3
mov    -0x18(%rbp),%rax
subss  0x4(%rax),%xmm3
mulss  %xmm3,%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  0x8(%rax),%xmm0
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm2
mov    -0x18(%rbp),%rax
subss  (%rax),%xmm2
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x18(%rbp),%rax
subss  (%rax),%xmm1
mov    -0x20(%rbp),%rax
movss  0x8(%rax),%xmm3
mov    -0x18(%rbp),%rax
subss  0x8(%rax),%xmm3
mulss  %xmm3,%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  (%rax),%xmm0
mov    -0x20(%rbp),%rax
movss  0x4(%rax),%xmm2
mov    -0x18(%rbp),%rax
subss  0x4(%rax),%xmm2
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm1
mov    -0x18(%rbp),%rax
subss  0x4(%rax),%xmm1
mov    -0x20(%rbp),%rax
movss  (%rax),%xmm3
mov    -0x18(%rbp),%rax
subss  (%rax),%xmm3
mulss  %xmm3,%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x8(%rax)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x10(%rbp),%rax
mulss  0x4(%rax),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0xc(%rax)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
mulss  0x4(%rax),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
call   1030 <sqrt@plt>
cvtsi2ss %rax,%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x24(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    1319 <SVBSP_PlaneFromPoints+0x209>
jp     1319 <SVBSP_PlaneFromPoints+0x209>
jmp    132b <SVBSP_PlaneFromPoints+0x21b>
movss  0xcdf(%rip),%xmm0
divss  -0x24(%rbp),%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x24(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mulss  (%rax),%xmm0
movss  %xmm0,(%rax)
movss  -0x24(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mulss  0x4(%rax),%xmm0
movss  %xmm0,0x4(%rax)
movss  -0x24(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mulss  0x8(%rax),%xmm0
movss  %xmm0,0x8(%rax)
movss  -0x24(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mulss  0xc(%rax),%xmm0
movss  %xmm0,0xc(%rax)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<SVBSP_PlaneFromPoints>:
push   %rbx
mov    %rdi,%rbx
movss  0x4(%rdx),%xmm0
movss  0x8(%rdx),%xmm2
movss  0x4(%rsi),%xmm3
movss  0x8(%rsi),%xmm4
subss  %xmm0,%xmm3
movss  0x4(%rcx),%xmm5
movss  0x8(%rcx),%xmm1
subss  %xmm2,%xmm1
mulss  %xmm3,%xmm1
subss  %xmm2,%xmm4
subss  %xmm0,%xmm5
mulss  %xmm4,%xmm5
subss  %xmm5,%xmm1
movss  %xmm1,(%rdi)
movss  (%rsi),%xmm0
movss  0x8(%rsi),%xmm3
movss  (%rdx),%xmm4
movss  0x8(%rdx),%xmm5
subss  %xmm5,%xmm3
movss  (%rcx),%xmm2
movss  0x8(%rcx),%xmm6
subss  %xmm4,%xmm2
mulss  %xmm3,%xmm2
subss  %xmm4,%xmm0
subss  %xmm5,%xmm6
mulss  %xmm0,%xmm6
subss  %xmm6,%xmm2
movss  %xmm2,0x4(%rdi)
movss  (%rdx),%xmm3
movss  0x4(%rdx),%xmm4
movss  (%rsi),%xmm5
movss  0x4(%rsi),%xmm6
subss  %xmm3,%xmm5
movss  (%rcx),%xmm7
movss  0x4(%rcx),%xmm0
subss  %xmm4,%xmm0
mulss  %xmm5,%xmm0
subss  %xmm4,%xmm6
subss  %xmm3,%xmm7
mulss  %xmm6,%xmm7
subss  %xmm7,%xmm0
movss  %xmm0,0x8(%rdi)
movss  0x4(%rsi),%xmm3
mulss  %xmm2,%xmm3
movss  (%rsi),%xmm4
mulss  %xmm1,%xmm4
addss  %xmm3,%xmm4
movss  0x8(%rsi),%xmm3
mulss  %xmm0,%xmm3
addss  %xmm4,%xmm3
movss  %xmm3,0xc(%rdi)
mulss  %xmm2,%xmm2
mulss  %xmm1,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm0,%xmm0
addss  %xmm1,%xmm0
call   1030 <sqrt@plt>
test   %rax,%rax
je     1225 <SVBSP_PlaneFromPoints+0x115>
xorps  %xmm1,%xmm1
cvtsi2ss %rax,%xmm1
movss  0xde1(%rip),%xmm0
divss  %xmm1,%xmm0
jmp    1228 <SVBSP_PlaneFromPoints+0x118>
xorps  %xmm0,%xmm0
movups (%rbx),%xmm1
shufps $0x0,%xmm0,%xmm0
mulps  %xmm1,%xmm0
movups %xmm0,(%rbx)
pop    %rbx
ret

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

LLVM IR (-O2):
define void @SVBSP_PlaneFromPoints(float* nocapture %0, float* nocapture %1, float* nocapture %2, float* nocapture %3) {
%5 = getelementptr inbounds float, float* %1, i64 1
%6 = load float, float* %5
%7 = getelementptr inbounds float, float* %2, i64 1
%8 = load float, float* %7
%9 = fsub float %6, %8
%10 = getelementptr inbounds float, float* %3, i64 2
%11 = load float, float* %10
%12 = getelementptr inbounds float, float* %2, i64 2
%13 = load float, float* %12
%14 = fsub float %11, %13
%15 = getelementptr inbounds float, float* %1, i64 2
%16 = load float, float* %15
%17 = fsub float %16, %13
%18 = getelementptr inbounds float, float* %3, i64 1
%19 = load float, float* %18
%20 = fsub float %19, %8
%21 = fneg float %17
%22 = fmul float %20, %21
%23 = tail call float @llvm.fmuladd.f32(float %9, float %14, float %22)
store float %23, float* %0
%24 = load float, float* %15
%25 = load float, float* %12
%26 = fsub float %24, %25
%27 = load float, float* %3
%28 = load float, float* %2
%29 = fsub float %27, %28
%30 = load float, float* %1
%31 = fsub float %30, %28
%32 = load float, float* %10
%33 = fsub float %32, %25
%34 = fneg float %31
%35 = fmul float %33, %34
%36 = tail call float @llvm.fmuladd.f32(float %26, float %29, float %35)
%37 = getelementptr inbounds float, float* %0, i64 1
store float %36, float* %37
%38 = load float, float* %1
%39 = load float, float* %2
%40 = fsub float %38, %39
%41 = load float, float* %18
%42 = load float, float* %7
%43 = fsub float %41, %42
%44 = load float, float* %5
%45 = fsub float %44, %42
%46 = load float, float* %3
%47 = fsub float %46, %39
%48 = fneg float %45
%49 = fmul float %47, %48
%50 = tail call float @llvm.fmuladd.f32(float %40, float %43, float %49)
%51 = getelementptr inbounds float, float* %0, i64 2
store float %50, float* %51
%52 = load float, float* %1
%53 = load float, float* %5
%54 = fmul float %36, %53
%55 = tail call float @llvm.fmuladd.f32(float %23, float %52, float %54)
%56 = load float, float* %15
%57 = tail call float @llvm.fmuladd.f32(float %50, float %56, float %55)
%58 = getelementptr inbounds float, float* %0, i64 3
store float %57, float* %58
%59 = fmul float %36, %36
%60 = tail call float @llvm.fmuladd.f32(float %23, float %23, float %59)
%61 = tail call float @llvm.fmuladd.f32(float %50, float %50, float %60)
%62 = tail call i64 @sqrt(float %61)
%63 = sitofp i64 %62 to float
%64 = icmp eq i64 %62, 0
%65 = fdiv float 1.000000e+00, %63
%66 = select i1 %64, float 0.000000e+00, float %65
%67 = bitcast float* %0 to <4 x float>*
%68 = load <4 x float>, <4 x float>* %67
%69 = insertelement <4 x float> poison, float %66, i64 0
%70 = shufflevector <4 x float> %69, <4 x float> poison, <4 x i32> zeroinitializer
%71 = fmul <4 x float> %68, %70
%72 = bitcast float* %0 to <4 x float>*
store <4 x float> %71, <4 x float>* %72
ret void
}