#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__ pow(float, double);
float sqrt(scalar_t__);
float dist_retas_reversas(float *x, float *y, float *z) {
  float prod_misto;
  x[4] = y[0] * z[1] - z[0] * y[1];
  y[4] = z[0] * x[1] - x[0] * z[1];
  z[4] = x[0] * y[1] - y[0] * x[1];
  prod_misto = x[0] * y[1] * (z[2] - z[3]) + y[0] * z[1] * (x[2] - x[3]) +
               z[0] * x[1] * (y[2] - y[3]) - y[0] * x[1] * (z[2] - z[3]) -
               x[0] * z[1] * (y[2] - y[3]) - z[0] * y[1] * (x[2] - x[3]);
  if (prod_misto < 0)
    prod_misto *= -1;
  return prod_misto / sqrt(pow(x[4], 2.0) + pow(y[4], 2.0) + pow(z[4], 2.0));
}


x86 assembly (clang, -O0):
<dist_retas_reversas>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm2
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x10(%rbp),%rax
mulss  0x4(%rax),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x10(%rax)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x18(%rbp),%rax
mulss  0x4(%rax),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x10(%rax)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm2
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x8(%rbp),%rax
mulss  0x4(%rax),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x10(%rax)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
mulss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm2
mov    -0x18(%rbp),%rax
subss  0xc(%rax),%xmm2
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x18(%rbp),%rax
mulss  0x4(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm3
mov    -0x8(%rbp),%rax
subss  0xc(%rax),%xmm3
mulss  %xmm3,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x8(%rbp),%rax
mulss  0x4(%rax),%xmm1
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm2
mov    -0x10(%rbp),%rax
subss  0xc(%rax),%xmm2
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
mulss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm2
mov    -0x18(%rbp),%rax
subss  0xc(%rax),%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x18(%rbp),%rax
mulss  0x4(%rax),%xmm1
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm2
mov    -0x10(%rbp),%rax
subss  0xc(%rax),%xmm2
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
mulss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm2
mov    -0x8(%rbp),%rax
subss  0xc(%rax),%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x1c(%rbp)
xorps  %xmm0,%xmm0
ucomiss -0x1c(%rbp),%xmm0
jbe    133d <dist_retas_reversas+0x21d>
movss  0xccd(%rip),%xmm0
mulss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x1c(%rbp)
movss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movss  0x10(%rax),%xmm0
movsd  0xcb0(%rip),%xmm1
call   1030 <pow@plt>
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movss  0x10(%rax),%xmm0
movsd  0xc96(%rip),%xmm1
call   1030 <pow@plt>
mov    %rax,%rcx
mov    -0x30(%rbp),%rax
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
movss  0x10(%rax),%xmm0
movsd  0xc72(%rip),%xmm1
call   1030 <pow@plt>
mov    -0x28(%rbp),%rdi
add    %rax,%rdi
call   1040 <sqrt@plt>
movaps %xmm0,%xmm1
movss  -0x20(%rbp),%xmm0
divss  %xmm1,%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dist_retas_reversas>:
push   %r15
push   %r14
push   %rbx
sub    $0x10,%rsp
mov    %rdx,%r14
mov    %rsi,%r15
movss  (%rsi),%xmm0
movss  0x4(%rsi),%xmm1
mulss  (%rdx),%xmm1
mulss  0x4(%rdx),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,0x10(%rdi)
movss  (%rdx),%xmm0
movss  0x4(%rdx),%xmm1
mulss  (%rdi),%xmm1
mulss  0x4(%rdi),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,0x10(%rsi)
movss  (%rdi),%xmm0
movss  0x4(%rdi),%xmm1
mulss  (%rsi),%xmm1
mulss  0x4(%rsi),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,0x10(%rdx)
movss  (%rsi),%xmm8
movss  0x4(%rsi),%xmm0
movss  (%rdi),%xmm4
movss  0x4(%rdi),%xmm2
movss  0x4(%rdx),%xmm3
movaps %xmm8,%xmm5
mulss  %xmm3,%xmm5
mulss  %xmm4,%xmm3
mulss  %xmm0,%xmm4
movss  0x8(%rdx),%xmm6
subss  0xc(%rdx),%xmm6
movss  (%rdx),%xmm7
movss  0x8(%rdi),%xmm1
subss  0xc(%rdi),%xmm1
mulss  %xmm1,%xmm5
mulss  %xmm6,%xmm4
addss  %xmm5,%xmm4
mulss  %xmm7,%xmm0
mulss  %xmm2,%xmm7
movss  0x8(%rsi),%xmm5
subss  0xc(%rsi),%xmm5
mulss  %xmm5,%xmm7
addss  %xmm4,%xmm7
mulss  %xmm8,%xmm2
mulss  %xmm6,%xmm2
subss  %xmm2,%xmm7
mulss  %xmm5,%xmm3
subss  %xmm3,%xmm7
mulss  %xmm1,%xmm0
subss  %xmm0,%xmm7
movaps 0xdf6(%rip),%xmm0
xorps  %xmm7,%xmm0
xorps  %xmm1,%xmm1
movaps %xmm7,%xmm2
cmpltss %xmm1,%xmm2
andps  %xmm2,%xmm0
andnps %xmm7,%xmm2
orps   %xmm0,%xmm2
movaps %xmm2,(%rsp)
movss  0x10(%rdi),%xmm0
movsd  0xdde(%rip),%xmm1
call   1030 <pow@plt>
mov    %rax,%rbx
movss  0x10(%r15),%xmm0
movsd  0xdc8(%rip),%xmm1
call   1030 <pow@plt>
add    %rax,%rbx
movss  0x10(%r14),%xmm0
movsd  0xdb2(%rip),%xmm1
call   1030 <pow@plt>
add    %rax,%rbx
mov    %rbx,%rdi
call   1040 <sqrt@plt>
movaps (%rsp),%xmm1
divss  %xmm0,%xmm1
movaps %xmm1,%xmm0
add    $0x10,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
define float @dist_retas_reversas(float* nocapture %0, float* nocapture %1, float* nocapture %2) {
%4 = load float, float* %1
%5 = getelementptr inbounds float, float* %2, i64 1
%6 = load float, float* %5
%7 = load float, float* %2
%8 = getelementptr inbounds float, float* %1, i64 1
%9 = load float, float* %8
%10 = fneg float %7
%11 = fmul float %9, %10
%12 = tail call float @llvm.fmuladd.f32(float %4, float %6, float %11)
%13 = getelementptr inbounds float, float* %0, i64 4
store float %12, float* %13
%14 = load float, float* %2
%15 = getelementptr inbounds float, float* %0, i64 1
%16 = load float, float* %15
%17 = load float, float* %0
%18 = load float, float* %5
%19 = fneg float %17
%20 = fmul float %18, %19
%21 = tail call float @llvm.fmuladd.f32(float %14, float %16, float %20)
%22 = getelementptr inbounds float, float* %1, i64 4
store float %21, float* %22
%23 = load float, float* %0
%24 = load float, float* %8
%25 = load float, float* %1
%26 = load float, float* %15
%27 = fneg float %25
%28 = fmul float %26, %27
%29 = tail call float @llvm.fmuladd.f32(float %23, float %24, float %28)
%30 = getelementptr inbounds float, float* %2, i64 4
store float %29, float* %30
%31 = load float, float* %0
%32 = load float, float* %8
%33 = fmul float %31, %32
%34 = getelementptr inbounds float, float* %2, i64 2
%35 = load float, float* %34
%36 = getelementptr inbounds float, float* %2, i64 3
%37 = load float, float* %36
%38 = fsub float %35, %37
%39 = load float, float* %1
%40 = load float, float* %5
%41 = fmul float %39, %40
%42 = getelementptr inbounds float, float* %0, i64 2
%43 = load float, float* %42
%44 = getelementptr inbounds float, float* %0, i64 3
%45 = load float, float* %44
%46 = fsub float %43, %45
%47 = fmul float %41, %46
%48 = tail call float @llvm.fmuladd.f32(float %33, float %38, float %47)
%49 = load float, float* %2
%50 = load float, float* %15
%51 = fmul float %49, %50
%52 = getelementptr inbounds float, float* %1, i64 2
%53 = load float, float* %52
%54 = getelementptr inbounds float, float* %1, i64 3
%55 = load float, float* %54
%56 = fsub float %53, %55
%57 = tail call float @llvm.fmuladd.f32(float %51, float %56, float %48)
%58 = fneg float %39
%59 = fmul float %50, %58
%60 = tail call float @llvm.fmuladd.f32(float %59, float %38, float %57)
%61 = fneg float %31
%62 = fmul float %40, %61
%63 = tail call float @llvm.fmuladd.f32(float %62, float %56, float %60)
%64 = fneg float %49
%65 = fmul float %32, %64
%66 = tail call float @llvm.fmuladd.f32(float %65, float %46, float %63)
%67 = fcmp olt float %66, 0.000000e+00
%68 = fneg float %66
%69 = select i1 %67, float %68, float %66
%70 = load float, float* %13
%71 = tail call i64 @pow(float %70, double 2.000000e+00)
%72 = load float, float* %22
%73 = tail call i64 @pow(float %72, double 2.000000e+00)
%74 = add nsw i64 %73, %71
%75 = load float, float* %30
%76 = tail call i64 @pow(float %75, double 2.000000e+00)
%77 = add nsw i64 %74, %76
%78 = tail call float @sqrt(i64 %77)
%79 = fdiv float %69, %78
ret float %79
}