#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 */
float sqrtf(float);
void vec4_GetQuaternionRotation(float q[4], float v0[3], float v1[3]) {
  float t;
  {
    (q)[0] = (v0)[1] * (v1)[2] - (v0)[2] * (v1)[1];
    (q)[1] = (v0)[2] * (v1)[0] - (v0)[0] * (v1)[2];
    (q)[2] = (v0)[0] * (v1)[1] - (v0)[1] * (v1)[0];
  };
  q[3] = ((v0)[0] * (v1)[0] + (v0)[1] * (v1)[1] + (v0)[2] * (v1)[2]);
  q[3] += sqrtf(((v0)[0] * (v0)[0] + (v0)[1] * (v0)[1] + (v0)[2] * (v0)[2]) *
                ((v1)[0] * (v1)[0] + (v1)[1] * (v1)[1] + (v1)[2] * (v1)[2]));
  t = (sqrtf((q)[0] * (q)[0] + (q)[1] * (q)[1] + (q)[2] * (q)[2] +
             (q)[3] * (q)[3]));
  q[0] /= t;
  q[1] /= t;
  q[2] /= t;
  q[3] /= t;
}


x86 assembly (clang, -O0):
<vec4_GetQuaternionRotation>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm2
mov    -0x10(%rbp),%rax
movss  0x8(%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    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  (%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
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm2
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm1
mov    -0x18(%rbp),%rax
mulss  (%rax),%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    -0x10(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm2
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
mulss  0x4(%rax),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0xc(%rax)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm2
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x10(%rbp),%rax
mulss  0x4(%rax),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm2
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm3
mov    -0x18(%rbp),%rax
movss  0x4(%rax),%xmm1
mov    -0x18(%rbp),%rax
mulss  0x4(%rax),%xmm1
mulss  %xmm3,%xmm2
addss  %xmm1,%xmm2
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm1
mov    -0x18(%rbp),%rax
movss  0x8(%rax),%xmm3
mulss  %xmm3,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm1,%xmm0
call   1030 <sqrtf@plt>
mov    -0x8(%rbp),%rax
addss  0xc(%rax),%xmm0
movss  %xmm0,0xc(%rax)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm2
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm1
mov    -0x8(%rbp),%rax
mulss  0x4(%rax),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm1
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm2
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
call   1030 <sqrtf@plt>
movss  %xmm0,-0x1c(%rbp)
movss  -0x1c(%rbp),%xmm1
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,(%rax)
movss  -0x1c(%rbp),%xmm1
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,0x4(%rax)
movss  -0x1c(%rbp),%xmm1
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,0x8(%rax)
movss  -0x1c(%rbp),%xmm1
mov    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,0xc(%rax)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<vec4_GetQuaternionRotation>:
push   %rbx
mov    %rdi,%rbx
movss  0x4(%rsi),%xmm0
movss  0x4(%rdx),%xmm1
mulss  0x8(%rsi),%xmm1
mulss  0x8(%rdx),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,(%rdi)
movss  0x8(%rsi),%xmm0
movss  0x8(%rdx),%xmm1
mulss  (%rsi),%xmm1
mulss  (%rdx),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,0x4(%rdi)
movss  (%rsi),%xmm0
movss  (%rdx),%xmm1
mulss  0x4(%rsi),%xmm1
mulss  0x4(%rdx),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,0x8(%rdi)
movss  (%rsi),%xmm0
movss  0x4(%rsi),%xmm1
mulss  0x4(%rdx),%xmm1
mulss  (%rdx),%xmm0
addss  %xmm1,%xmm0
movss  0x8(%rsi),%xmm1
mulss  0x8(%rdx),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0xc(%rdi)
movss  (%rsi),%xmm0
movss  0x4(%rsi),%xmm1
mulss  %xmm1,%xmm1
mulss  %xmm0,%xmm0
addss  %xmm1,%xmm0
movss  0x8(%rsi),%xmm1
mulss  %xmm1,%xmm1
addss  %xmm0,%xmm1
movss  (%rdx),%xmm2
movss  0x4(%rdx),%xmm0
mulss  %xmm0,%xmm0
mulss  %xmm2,%xmm2
addss  %xmm0,%xmm2
movss  0x8(%rdx),%xmm0
mulss  %xmm0,%xmm0
addss  %xmm2,%xmm0
mulss  %xmm1,%xmm0
xorps  %xmm3,%xmm3
ucomiss %xmm3,%xmm0
jb     11e5 <vec4_GetQuaternionRotation+0xd5>
sqrtss %xmm0,%xmm0
jmp    11ed <vec4_GetQuaternionRotation+0xdd>
call   1030 <sqrtf@plt>
xorps  %xmm3,%xmm3
addss  0xc(%rbx),%xmm0
movss  %xmm0,0xc(%rbx)
movss  (%rbx),%xmm1
movss  0x4(%rbx),%xmm2
mulss  %xmm2,%xmm2
mulss  %xmm1,%xmm1
addss  %xmm2,%xmm1
movss  0x8(%rbx),%xmm2
mulss  %xmm2,%xmm2
addss  %xmm1,%xmm2
mulss  %xmm0,%xmm0
addss  %xmm2,%xmm0
ucomiss %xmm3,%xmm0
jb     122c <vec4_GetQuaternionRotation+0x11c>
sqrtss %xmm0,%xmm0
jmp    1231 <vec4_GetQuaternionRotation+0x121>
call   1030 <sqrtf@plt>
movups (%rbx),%xmm1
shufps $0x0,%xmm0,%xmm0
divps  %xmm0,%xmm1
movups %xmm1,(%rbx)
pop    %rbx
ret

LLVM IR (-O0):
define void @vec4_GetQuaternionRotation(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 1
%10 = load float, float* %9
%11 = load float*, float** %6
%12 = getelementptr inbounds float, float* %11, i64 2
%13 = load float, float* %12
%14 = load float*, float** %5
%15 = getelementptr inbounds float, float* %14, i64 2
%16 = load float, float* %15
%17 = load float*, float** %6
%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 0
store float %22, float* %24
%25 = load float*, float** %5
%26 = getelementptr inbounds float, float* %25, i64 2
%27 = load float, float* %26
%28 = load float*, float** %6
%29 = getelementptr inbounds float, float* %28, i64 0
%30 = load float, float* %29
%31 = load float*, float** %5
%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 2
%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** %4
%41 = getelementptr inbounds float, float* %40, i64 1
store float %39, float* %41
%42 = load float*, float** %5
%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** %5
%49 = getelementptr inbounds float, float* %48, i64 1
%50 = load float, float* %49
%51 = load float*, float** %6
%52 = getelementptr inbounds float, float* %51, i64 0
%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** %4
%58 = getelementptr inbounds float, float* %57, i64 2
store float %56, float* %58
%59 = load float*, float** %5
%60 = getelementptr inbounds float, float* %59, i64 0
%61 = load float, float* %60
%62 = load float*, float** %6
%63 = getelementptr inbounds float, float* %62, i64 0
%64 = load float, float* %63
%65 = load float*, float** %5
%66 = getelementptr inbounds float, float* %65, i64 1
%67 = load float, float* %66
%68 = load float*, float** %6
%69 = getelementptr inbounds float, float* %68, i64 1
%70 = load float, float* %69
%71 = fmul float %67, %70
%72 = call float @llvm.fmuladd.f32(float %61, float %64, float %71)
%73 = load float*, float** %5
%74 = getelementptr inbounds float, float* %73, i64 2
%75 = load float, float* %74
%76 = load float*, float** %6
%77 = getelementptr inbounds float, float* %76, i64 2
%78 = load float, float* %77
%79 = call float @llvm.fmuladd.f32(float %75, float %78, float %72)
%80 = load float*, float** %4
%81 = getelementptr inbounds float, float* %80, i64 3
store float %79, float* %81
%82 = load float*, float** %5
%83 = getelementptr inbounds float, float* %82, i64 0
%84 = load float, float* %83
%85 = load float*, float** %5
%86 = getelementptr inbounds float, float* %85, i64 0
%87 = load float, float* %86
%88 = load float*, float** %5
%89 = getelementptr inbounds float, float* %88, i64 1
%90 = load float, float* %89
%91 = load float*, float** %5
%92 = getelementptr inbounds float, float* %91, i64 1
%93 = load float, float* %92
%94 = fmul float %90, %93
%95 = call float @llvm.fmuladd.f32(float %84, float %87, float %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 2
%101 = load float, float* %100
%102 = call float @llvm.fmuladd.f32(float %98, float %101, float %95)
%103 = load float*, float** %6
%104 = getelementptr inbounds float, float* %103, i64 0
%105 = load float, float* %104
%106 = load float*, float** %6
%107 = getelementptr inbounds float, float* %106, i64 0
%108 = load float, float* %107
%109 = load float*, float** %6
%110 = getelementptr inbounds float, float* %109, i64 1
%111 = load float, float* %110
%112 = load float*, float** %6
%113 = getelementptr inbounds float, float* %112, i64 1
%114 = load float, float* %113
%115 = fmul float %111, %114
%116 = call float @llvm.fmuladd.f32(float %105, float %108, float %115)
%117 = load float*, float** %6
%118 = getelementptr inbounds float, float* %117, i64 2
%119 = load float, float* %118
%120 = load float*, float** %6
%121 = getelementptr inbounds float, float* %120, i64 2
%122 = load float, float* %121
%123 = call float @llvm.fmuladd.f32(float %119, float %122, float %116)
%124 = fmul float %102, %123
%125 = call float @sqrtf(float %124)
%126 = load float*, float** %4
%127 = getelementptr inbounds float, float* %126, i64 3
%128 = load float, float* %127
%129 = fadd float %128, %125
store float %129, float* %127
%130 = load float*, float** %4
%131 = getelementptr inbounds float, float* %130, i64 0
%132 = load float, float* %131
%133 = load float*, float** %4
%134 = getelementptr inbounds float, float* %133, i64 0
%135 = load float, float* %134
%136 = load float*, float** %4
%137 = getelementptr inbounds float, float* %136, i64 1
%138 = load float, float* %137
%139 = load float*, float** %4
%140 = getelementptr inbounds float, float* %139, i64 1
%141 = load float, float* %140
%142 = fmul float %138, %141
%143 = call float @llvm.fmuladd.f32(float %132, float %135, float %142)
%144 = load float*, float** %4
%145 = getelementptr inbounds float, float* %144, i64 2
%146 = load float, float* %145
%147 = load float*, float** %4
%148 = getelementptr inbounds float, float* %147, i64 2
%149 = load float, float* %148
%150 = call float @llvm.fmuladd.f32(float %146, float %149, float %143)
%151 = load float*, float** %4
%152 = getelementptr inbounds float, float* %151, i64 3
%153 = load float, float* %152
%154 = load float*, float** %4
%155 = getelementptr inbounds float, float* %154, i64 3
%156 = load float, float* %155
%157 = call float @llvm.fmuladd.f32(float %153, float %156, float %150)
%158 = call float @sqrtf(float %157)
store float %158, float* %7
%159 = load float, float* %7
%160 = load float*, float** %4
%161 = getelementptr inbounds float, float* %160, i64 0
%162 = load float, float* %161
%163 = fdiv float %162, %159
store float %163, float* %161
%164 = load float, float* %7
%165 = load float*, float** %4
%166 = getelementptr inbounds float, float* %165, i64 1
%167 = load float, float* %166
%168 = fdiv float %167, %164
store float %168, float* %166
%169 = load float, float* %7
%170 = load float*, float** %4
%171 = getelementptr inbounds float, float* %170, i64 2
%172 = load float, float* %171
%173 = fdiv float %172, %169
store float %173, float* %171
%174 = load float, float* %7
%175 = load float*, float** %4
%176 = getelementptr inbounds float, float* %175, i64 3
%177 = load float, float* %176
%178 = fdiv float %177, %174
store float %178, float* %176
ret void
}

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