float *crossProductR3(const float *v1, const float *v2) {
  int flen = (sizeof(v1) / sizeof((v1)[0])) + 1;
  int slen = (sizeof(v2) / sizeof((v2)[0])) + 1;
  float result[] = {0, 0, 0};
  if (flen != 3 || slen != 3) {
    return result;
  }
  result[0] = (v1[1] * v2[2]) - (v2[1] * v1[2]);
  result[1] = (v2[0] * v1[2]) - (v1[0] * v2[2]);
  result[2] = (v1[0] * v2[1]) - (v2[0] * v1[1]);
  return result;
}


x86 assembly (clang, -O0):
<crossProductR3>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x3,-0x1c(%rbp)
movl   $0x3,-0x20(%rbp)
lea    -0x2c(%rbp),%rdi
xor    %esi,%esi
mov    $0xc,%edx
call   1030 <memset@plt>
cmpl   $0x3,-0x1c(%rbp)
jne    1152 <crossProductR3+0x42>
cmpl   $0x3,-0x20(%rbp)
je     115f <crossProductR3+0x4f>
lea    -0x2c(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    121d <crossProductR3+0x10d>
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm2
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm1
mov    -0x10(%rbp),%rax
mulss  0x8(%rax),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm2
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x18(%rbp),%rax
mulss  0x8(%rax),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x28(%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
movss  %xmm0,-0x24(%rbp)
lea    -0x2c(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<crossProductR3>:
lea    -0xc(%rsp),%rax
ret

LLVM IR (-O0):
define float* @crossProductR3(float* %0, float* %1) {
%3 = alloca float*
%4 = alloca float*
%5 = alloca float*
%6 = alloca i32
%7 = alloca i32
%8 = alloca [3 x float]
store float* %0, float** %4
store float* %1, float** %5
store i32 3, i32* %6
store i32 3, i32* %7
%9 = bitcast [3 x float]* %8 to i8*
%10 = load i32, i32* %6
%11 = icmp ne i32 %10, 3
br i1 %11, label %15, label %12
12: ; preds = %2
%13 = load i32, i32* %7
%14 = icmp ne i32 %13, 3
br i1 %14, label %15, label %17
15: ; preds = %12, %2
%16 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
store float* %16, float** %3
br label %67
17: ; preds = %12
%18 = load float*, float** %4
%19 = getelementptr inbounds float, float* %18, i64 1
%20 = load float, float* %19
%21 = load float*, float** %5
%22 = getelementptr inbounds float, float* %21, i64 2
%23 = load float, float* %22
%24 = load float*, float** %5
%25 = getelementptr inbounds float, float* %24, i64 1
%26 = load float, float* %25
%27 = load float*, float** %4
%28 = getelementptr inbounds float, float* %27, i64 2
%29 = load float, float* %28
%30 = fmul float %26, %29
%31 = fneg float %30
%32 = call float @llvm.fmuladd.f32(float %20, float %23, float %31)
%33 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
store float %32, float* %33
%34 = load float*, float** %5
%35 = getelementptr inbounds float, float* %34, i64 0
%36 = load float, float* %35
%37 = load float*, float** %4
%38 = getelementptr inbounds float, float* %37, i64 2
%39 = load float, float* %38
%40 = load float*, float** %4
%41 = getelementptr inbounds float, float* %40, i64 0
%42 = load float, float* %41
%43 = load float*, float** %5
%44 = getelementptr inbounds float, float* %43, i64 2
%45 = load float, float* %44
%46 = fmul float %42, %45
%47 = fneg float %46
%48 = call float @llvm.fmuladd.f32(float %36, float %39, float %47)
%49 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 1
store float %48, float* %49
%50 = load float*, float** %4
%51 = getelementptr inbounds float, float* %50, i64 0
%52 = load float, float* %51
%53 = load float*, float** %5
%54 = getelementptr inbounds float, float* %53, i64 1
%55 = load float, float* %54
%56 = load float*, float** %5
%57 = getelementptr inbounds float, float* %56, i64 0
%58 = load float, float* %57
%59 = load float*, float** %4
%60 = getelementptr inbounds float, float* %59, i64 1
%61 = load float, float* %60
%62 = fmul float %58, %61
%63 = fneg float %62
%64 = call float @llvm.fmuladd.f32(float %52, float %55, float %63)
%65 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 2
store float %64, float* %65
%66 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
store float* %66, float** %3
br label %67
67: ; preds = %17, %15
%68 = load float*, float** %3
ret float* %68
}

LLVM IR (-O2):
define noalias float* @crossProductR3(float* nocapture %0, float* nocapture %1) {
%3 = alloca [3 x float]
%4 = bitcast [3 x float]* %3 to i8*
%5 = getelementptr inbounds [3 x float], [3 x float]* %3, i64 0, i64 0
ret float* %5
}