#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__ fabsf(float const);
int /*<<< orphan*/ geom_cross3f(float const *, float *, float *);
int geom_norm2f(float const *);
float geom_norm3f(float const *);
void geom_maketriad3f(const float a[3], float b[3], float c[3]) {
  float alen = geom_norm3f(a);
  const float an[3] = {a[0] / alen, a[1] / alen, a[2] / alen};
  if (fabsf(a[0]) > fabsf(a[2])) {
    float invLen = 1.f / geom_norm2f(&an[0]);
    b[0] = -an[1] * invLen;
    b[1] = an[0] * invLen;
    b[2] = 0;
  } else {
    float invLen = 1. / geom_norm2f(&an[1]);
    b[0] = 0;
    b[1] = an[2] * invLen;
    b[2] = -an[1] * invLen;
  }
  geom_cross3f(an, b, c);
}


x86 assembly (clang, -O0):
<geom_maketriad3f>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <geom_norm3f@plt>
movss  %xmm0,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
divss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
divss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x24(%rbp)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
divss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
call   1030 <fabsf@plt>
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
call   1030 <fabsf@plt>
mov    %rax,%rcx
mov    -0x38(%rbp),%rax
cmp    %rcx,%rax
jle    122a <geom_maketriad3f+0xea>
lea    -0x28(%rbp),%rdi
call   1050 <geom_norm2f@plt>
cvtsi2ss %eax,%xmm1
movss  0xe2a(%rip),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x24(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x28(%rbp),%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x10(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x8(%rax)
jmp    128e <geom_maketriad3f+0x14e>
lea    -0x28(%rbp),%rdi
add    $0x4,%rdi
call   1050 <geom_norm2f@plt>
cvtsi2sd %eax,%xmm1
movsd  0xdbd(%rip),%xmm0
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,(%rax)
movss  -0x20(%rbp),%xmm0
mulss  -0x30(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x4(%rax)
movss  -0x24(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  -0x30(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,0x8(%rax)
lea    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1060 <geom_cross3f@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<geom_maketriad3f>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%rbx
call   1040 <geom_norm3f@plt>
movss  (%rbx),%xmm1
movaps %xmm1,%xmm2
divss  %xmm0,%xmm2
movss  %xmm2,0xc(%rsp)
movss  0x4(%rbx),%xmm2
divss  %xmm0,%xmm2
movss  %xmm2,0x10(%rsp)
movss  0x8(%rbx),%xmm2
divss  %xmm0,%xmm2
movss  %xmm2,0x14(%rsp)
movaps %xmm1,%xmm0
call   1030 <fabsf@plt>
mov    %rax,%r12
movss  0x8(%rbx),%xmm0
call   1030 <fabsf@plt>
cmp    %rax,%r12
jle    11e0 <geom_maketriad3f+0xa0>
lea    0xc(%rsp),%rdi
call   1050 <geom_norm2f@plt>
xorps  %xmm1,%xmm1
cvtsi2ss %eax,%xmm1
movss  0xe65(%rip),%xmm0
divss  %xmm1,%xmm0
movss  0x10(%rsp),%xmm1
xorps  0xe44(%rip),%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,(%r15)
mulss  0xc(%rsp),%xmm0
xorps  %xmm1,%xmm1
jmp    1226 <geom_maketriad3f+0xe6>
lea    0x10(%rsp),%rdi
call   1050 <geom_norm2f@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
movsd  0xe07(%rip),%xmm1
divsd  %xmm0,%xmm1
xorps  %xmm2,%xmm2
cvtsd2ss %xmm1,%xmm2
movl   $0x0,(%r15)
movss  0x14(%rsp),%xmm0
mulss  %xmm2,%xmm0
movss  0x10(%rsp),%xmm1
xorps  0xdee(%rip),%xmm1
mulss  %xmm2,%xmm1
movss  %xmm0,0x4(%r15)
movss  %xmm1,0x8(%r15)
lea    0xc(%rsp),%rdi
mov    %r15,%rsi
mov    %r14,%rdx
call   1060 <geom_cross3f@plt>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @geom_maketriad3f(float* %0, float* %1, float* %2) {
%4 = alloca float*
%5 = alloca float*
%6 = alloca float*
%7 = alloca float
%8 = alloca [3 x float]
%9 = alloca float
%10 = alloca float
store float* %0, float** %4
store float* %1, float** %5
store float* %2, float** %6
%11 = load float*, float** %4
%12 = call float @geom_norm3f(float* %11)
store float %12, float* %7
%13 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
%14 = load float*, float** %4
%15 = getelementptr inbounds float, float* %14, i64 0
%16 = load float, float* %15
%17 = load float, float* %7
%18 = fdiv float %16, %17
store float %18, float* %13
%19 = getelementptr inbounds float, float* %13, i64 1
%20 = load float*, float** %4
%21 = getelementptr inbounds float, float* %20, i64 1
%22 = load float, float* %21
%23 = load float, float* %7
%24 = fdiv float %22, %23
store float %24, float* %19
%25 = getelementptr inbounds float, float* %19, i64 1
%26 = load float*, float** %4
%27 = getelementptr inbounds float, float* %26, i64 2
%28 = load float, float* %27
%29 = load float, float* %7
%30 = fdiv float %28, %29
store float %30, float* %25
%31 = load float*, float** %4
%32 = getelementptr inbounds float, float* %31, i64 0
%33 = load float, float* %32
%34 = call i64 @fabsf(float %33)
%35 = load float*, float** %4
%36 = getelementptr inbounds float, float* %35, i64 2
%37 = load float, float* %36
%38 = call i64 @fabsf(float %37)
%39 = icmp sgt i64 %34, %38
br i1 %39, label %40, label %60
40: ; preds = %3
%41 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
%42 = call i32 @geom_norm2f(float* %41)
%43 = sitofp i32 %42 to float
%44 = fdiv float 1.000000e+00, %43
store float %44, float* %9
%45 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 1
%46 = load float, float* %45
%47 = fneg float %46
%48 = load float, float* %9
%49 = fmul float %47, %48
%50 = load float*, float** %5
%51 = getelementptr inbounds float, float* %50, i64 0
store float %49, float* %51
%52 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
%53 = load float, float* %52
%54 = load float, float* %9
%55 = fmul float %53, %54
%56 = load float*, float** %5
%57 = getelementptr inbounds float, float* %56, i64 1
store float %55, float* %57
%58 = load float*, float** %5
%59 = getelementptr inbounds float, float* %58, i64 2
store float 0.000000e+00, float* %59
br label %81
60: ; preds = %3
%61 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 1
%62 = call i32 @geom_norm2f(float* %61)
%63 = sitofp i32 %62 to double
%64 = fdiv double 1.000000e+00, %63
%65 = fptrunc double %64 to float
store float %65, float* %10
%66 = load float*, float** %5
%67 = getelementptr inbounds float, float* %66, i64 0
store float 0.000000e+00, float* %67
%68 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 2
%69 = load float, float* %68
%70 = load float, float* %10
%71 = fmul float %69, %70
%72 = load float*, float** %5
%73 = getelementptr inbounds float, float* %72, i64 1
store float %71, float* %73
%74 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 1
%75 = load float, float* %74
%76 = fneg float %75
%77 = load float, float* %10
%78 = fmul float %76, %77
%79 = load float*, float** %5
%80 = getelementptr inbounds float, float* %79, i64 2
store float %78, float* %80
br label %81
81: ; preds = %60, %40
%82 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
%83 = load float*, float** %5
%84 = load float*, float** %6
%85 = call i32 @geom_cross3f(float* %82, float* %83, float* %84)
ret void
}

LLVM IR (-O2):
define void @geom_maketriad3f(float* %0, float* %1, float* %2) {
%4 = alloca [3 x float]
%5 = tail call float @geom_norm3f(float* %0)
%6 = bitcast [3 x float]* %4 to i8*
%7 = getelementptr inbounds [3 x float], [3 x float]* %4, i64 0, i64 0
%8 = load float, float* %0
%9 = fdiv float %8, %5
store float %9, float* %7
%10 = getelementptr inbounds [3 x float], [3 x float]* %4, i64 0, i64 1
%11 = getelementptr inbounds float, float* %0, i64 1
%12 = load float, float* %11
%13 = fdiv float %12, %5
store float %13, float* %10
%14 = getelementptr inbounds [3 x float], [3 x float]* %4, i64 0, i64 2
%15 = getelementptr inbounds float, float* %0, i64 2
%16 = load float, float* %15
%17 = fdiv float %16, %5
store float %17, float* %14
%18 = tail call i64 @fabsf(float %8)
%19 = load float, float* %15
%20 = tail call i64 @fabsf(float %19)
%21 = icmp sgt i64 %18, %20
br i1 %21, label %22, label %31
22: ; preds = %3
%23 = call i32 @geom_norm2f(float* %7)
%24 = sitofp i32 %23 to float
%25 = fdiv float 1.000000e+00, %24
%26 = load float, float* %10
%27 = fneg float %26
%28 = fmul float %25, %27
store float %28, float* %1
%29 = load float, float* %7
%30 = fmul float %25, %29
br label %41
31: ; preds = %3
%32 = call i32 @geom_norm2f(float* %10)
%33 = sitofp i32 %32 to double
%34 = fdiv double 1.000000e+00, %33
%35 = fptrunc double %34 to float
store float 0.000000e+00, float* %1
%36 = load float, float* %14
%37 = fmul float %36, %35
%38 = load float, float* %10
%39 = fneg float %38
%40 = fmul float %35, %39
br label %41
41: ; preds = %31, %22
%42 = phi float [ %30, %22 ], [ %37, %31 ]
%43 = phi float [ 0.000000e+00, %22 ], [ %40, %31 ]
%44 = getelementptr inbounds float, float* %1, i64 1
store float %42, float* %44
%45 = getelementptr inbounds float, float* %1, i64 2
store float %43, float* %45
%46 = call i32 @geom_cross3f(float* %7, float* %1, float* %2)
ret void
}