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


x86 assembly (clang, -O0):
<dist_retas>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%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
subss  0x8(%rax),%xmm2
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm3
mov    -0x10(%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,0xc(%rax)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm2
mov    -0x8(%rbp),%rax
subss  0x8(%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x18(%rbp),%rax
movss  0x4(%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    -0x10(%rbp),%rax
movss  %xmm0,0xc(%rax)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm2
mov    -0x10(%rbp),%rax
subss  0x8(%rax),%xmm2
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm3
mov    -0x8(%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    -0x18(%rbp),%rax
movss  %xmm0,0xc(%rax)
mov    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm0
movsd  0xdb9(%rip),%xmm1
call   1030 <pow@plt>
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movss  0xc(%rax),%xmm0
movsd  0xd9f(%rip),%xmm1
call   1030 <pow@plt>
mov    %rax,%rcx
mov    -0x40(%rbp),%rax
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%rax
movss  0xc(%rax),%xmm0
movsd  0xd7b(%rip),%xmm1
call   1030 <pow@plt>
mov    -0x38(%rbp),%rdi
add    %rax,%rdi
call   1040 <sqrt@plt>
movss  %xmm0,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
movsd  0xd55(%rip),%xmm1
call   1030 <pow@plt>
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movsd  0xd3c(%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  (%rax),%xmm0
movsd  0xd19(%rip),%xmm1
call   1030 <pow@plt>
mov    -0x28(%rbp),%rdi
add    %rax,%rdi
call   1040 <sqrt@plt>
movaps %xmm0,%xmm1
movss  -0x1c(%rbp),%xmm0
divss  %xmm1,%xmm0
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dist_retas>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%r12
movss  0x4(%rdx),%xmm0
subss  0x8(%rdx),%xmm0
movss  0x4(%rsi),%xmm1
subss  0x8(%rsi),%xmm1
mulss  (%rdx),%xmm1
mulss  (%rsi),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,0xc(%rdi)
movss  0x4(%rdi),%xmm0
subss  0x8(%rdi),%xmm0
movss  0x4(%rdx),%xmm1
subss  0x8(%rdx),%xmm1
mulss  (%rdi),%xmm1
mulss  (%rdx),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,0xc(%rsi)
movss  0x4(%rsi),%xmm0
subss  0x8(%rsi),%xmm0
movss  0x4(%rdi),%xmm1
subss  0x8(%rdi),%xmm1
mulss  (%rsi),%xmm1
mulss  (%rdi),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,0xc(%rdx)
movss  0xc(%rdi),%xmm0
movsd  0xe53(%rip),%xmm1
call   1030 <pow@plt>
mov    %rax,%rbx
movss  0xc(%r15),%xmm0
movsd  0xe3d(%rip),%xmm1
call   1030 <pow@plt>
add    %rax,%rbx
movss  0xc(%r14),%xmm0
movsd  0xe27(%rip),%xmm1
call   1030 <pow@plt>
add    %rax,%rbx
mov    %rbx,%rdi
call   1040 <sqrt@plt>
movss  %xmm0,0x4(%rsp)
movss  (%r12),%xmm0
movsd  0xe03(%rip),%xmm1
call   1030 <pow@plt>
mov    %rax,%rbx
movss  (%r15),%xmm0
movsd  0xdee(%rip),%xmm1
call   1030 <pow@plt>
add    %rax,%rbx
movss  (%r14),%xmm0
movsd  0xdd9(%rip),%xmm1
call   1030 <pow@plt>
add    %rax,%rbx
mov    %rbx,%rdi
call   1040 <sqrt@plt>
movss  0x4(%rsp),%xmm1
divss  %xmm0,%xmm1
movaps %xmm1,%xmm0
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define float @dist_retas(float* %0, float* %1, float* %2) {
%4 = alloca float*
%5 = alloca float*
%6 = alloca float*
store float* %0, float** %4
store float* %1, float** %5
store float* %2, float** %6
%7 = load float*, float** %5
%8 = getelementptr inbounds float, float* %7, i64 0
%9 = load float, float* %8
%10 = load float*, float** %6
%11 = getelementptr inbounds float, float* %10, i64 1
%12 = load float, float* %11
%13 = load float*, float** %6
%14 = getelementptr inbounds float, float* %13, i64 2
%15 = load float, float* %14
%16 = fsub float %12, %15
%17 = load float*, float** %6
%18 = getelementptr inbounds float, float* %17, i64 0
%19 = load float, float* %18
%20 = load float*, float** %5
%21 = getelementptr inbounds float, float* %20, i64 1
%22 = load float, float* %21
%23 = load float*, float** %5
%24 = getelementptr inbounds float, float* %23, i64 2
%25 = load float, float* %24
%26 = fsub float %22, %25
%27 = fmul float %19, %26
%28 = fneg float %27
%29 = call float @llvm.fmuladd.f32(float %9, float %16, float %28)
%30 = load float*, float** %4
%31 = getelementptr inbounds float, float* %30, i64 3
store float %29, float* %31
%32 = load float*, float** %6
%33 = getelementptr inbounds float, float* %32, i64 0
%34 = load float, float* %33
%35 = load float*, float** %4
%36 = getelementptr inbounds float, float* %35, i64 1
%37 = load float, float* %36
%38 = load float*, float** %4
%39 = getelementptr inbounds float, float* %38, i64 2
%40 = load float, float* %39
%41 = fsub float %37, %40
%42 = load float*, float** %4
%43 = getelementptr inbounds float, float* %42, i64 0
%44 = load float, float* %43
%45 = load float*, float** %6
%46 = getelementptr inbounds float, float* %45, i64 1
%47 = load float, float* %46
%48 = load float*, float** %6
%49 = getelementptr inbounds float, float* %48, i64 2
%50 = load float, float* %49
%51 = fsub float %47, %50
%52 = fmul float %44, %51
%53 = fneg float %52
%54 = call float @llvm.fmuladd.f32(float %34, float %41, float %53)
%55 = load float*, float** %5
%56 = getelementptr inbounds float, float* %55, i64 3
store float %54, float* %56
%57 = load float*, float** %4
%58 = getelementptr inbounds float, float* %57, i64 0
%59 = load float, float* %58
%60 = load float*, float** %5
%61 = getelementptr inbounds float, float* %60, i64 1
%62 = load float, float* %61
%63 = load float*, float** %5
%64 = getelementptr inbounds float, float* %63, i64 2
%65 = load float, float* %64
%66 = fsub float %62, %65
%67 = load float*, float** %5
%68 = getelementptr inbounds float, float* %67, i64 0
%69 = load float, float* %68
%70 = load float*, float** %4
%71 = getelementptr inbounds float, float* %70, i64 1
%72 = load float, float* %71
%73 = load float*, float** %4
%74 = getelementptr inbounds float, float* %73, i64 2
%75 = load float, float* %74
%76 = fsub float %72, %75
%77 = fmul float %69, %76
%78 = fneg float %77
%79 = call float @llvm.fmuladd.f32(float %59, float %66, float %78)
%80 = load float*, float** %6
%81 = getelementptr inbounds float, float* %80, i64 3
store float %79, float* %81
%82 = load float*, float** %4
%83 = getelementptr inbounds float, float* %82, i64 3
%84 = load float, float* %83
%85 = call i64 @pow(float %84, double 2.000000e+00)
%86 = load float*, float** %5
%87 = getelementptr inbounds float, float* %86, i64 3
%88 = load float, float* %87
%89 = call i64 @pow(float %88, double 2.000000e+00)
%90 = add nsw i64 %85, %89
%91 = load float*, float** %6
%92 = getelementptr inbounds float, float* %91, i64 3
%93 = load float, float* %92
%94 = call i64 @pow(float %93, double 2.000000e+00)
%95 = add nsw i64 %90, %94
%96 = call float @sqrt(i64 %95)
%97 = load float*, float** %4
%98 = getelementptr inbounds float, float* %97, i64 0
%99 = load float, float* %98
%100 = call i64 @pow(float %99, double 2.000000e+00)
%101 = load float*, float** %5
%102 = getelementptr inbounds float, float* %101, i64 0
%103 = load float, float* %102
%104 = call i64 @pow(float %103, double 2.000000e+00)
%105 = add nsw i64 %100, %104
%106 = load float*, float** %6
%107 = getelementptr inbounds float, float* %106, i64 0
%108 = load float, float* %107
%109 = call i64 @pow(float %108, double 2.000000e+00)
%110 = add nsw i64 %105, %109
%111 = call float @sqrt(i64 %110)
%112 = fdiv float %96, %111
ret float %112
}

LLVM IR (-O2):
define float @dist_retas(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 = getelementptr inbounds float, float* %2, i64 2
%8 = load float, float* %7
%9 = fsub float %6, %8
%10 = load float, float* %2
%11 = getelementptr inbounds float, float* %1, i64 1
%12 = load float, float* %11
%13 = getelementptr inbounds float, float* %1, i64 2
%14 = load float, float* %13
%15 = fsub float %12, %14
%16 = fneg float %10
%17 = fmul float %15, %16
%18 = tail call float @llvm.fmuladd.f32(float %4, float %9, float %17)
%19 = getelementptr inbounds float, float* %0, i64 3
store float %18, float* %19
%20 = load float, float* %2
%21 = getelementptr inbounds float, float* %0, i64 1
%22 = load float, float* %21
%23 = getelementptr inbounds float, float* %0, i64 2
%24 = load float, float* %23
%25 = fsub float %22, %24
%26 = load float, float* %0
%27 = load float, float* %5
%28 = load float, float* %7
%29 = fsub float %27, %28
%30 = fneg float %26
%31 = fmul float %29, %30
%32 = tail call float @llvm.fmuladd.f32(float %20, float %25, float %31)
%33 = getelementptr inbounds float, float* %1, i64 3
store float %32, float* %33
%34 = load float, float* %0
%35 = load float, float* %11
%36 = load float, float* %13
%37 = fsub float %35, %36
%38 = load float, float* %1
%39 = load float, float* %21
%40 = load float, float* %23
%41 = fsub float %39, %40
%42 = fneg float %38
%43 = fmul float %41, %42
%44 = tail call float @llvm.fmuladd.f32(float %34, float %37, float %43)
%45 = getelementptr inbounds float, float* %2, i64 3
store float %44, float* %45
%46 = load float, float* %19
%47 = tail call i64 @pow(float %46, double 2.000000e+00)
%48 = load float, float* %33
%49 = tail call i64 @pow(float %48, double 2.000000e+00)
%50 = add nsw i64 %49, %47
%51 = load float, float* %45
%52 = tail call i64 @pow(float %51, double 2.000000e+00)
%53 = add nsw i64 %50, %52
%54 = tail call float @sqrt(i64 %53)
%55 = load float, float* %0
%56 = tail call i64 @pow(float %55, double 2.000000e+00)
%57 = load float, float* %1
%58 = tail call i64 @pow(float %57, double 2.000000e+00)
%59 = add nsw i64 %58, %56
%60 = load float, float* %2
%61 = tail call i64 @pow(float %60, double 2.000000e+00)
%62 = add nsw i64 %59, %61
%63 = tail call float @sqrt(i64 %62)
%64 = fdiv float %54, %63
ret float %64
}