// File: /workspace/github_c_makefile_star2_O0/halcy[P]quasi_crystals_bot/Vector/Quaternion.c
// Function: quatmat3x3
quat_t quatmat3x3(mat3x3_t m)
{
	if(mat3x3_11(m)>mat3x3_22(m) && mat3x3_11(m)>mat3x3_33(m))
	{
		float r=sqrtf(1+mat3x3_11(m)-mat3x3_22(m)-mat3x3_33(m));
		if(r==0) return quatone;
		return quat(
			(mat3x3_32(m)-mat3x3_23(m))/(2*r),
			vec3(
				r/2,
				(mat3x3_12(m)+mat3x3_21(m))/(2*r),
				(mat3x3_31(m)+mat3x3_13(m))/(2*r)
			)
		);
	}
	else if(mat3x3_22(m)>mat3x3_11(m) && mat3x3_22(m)>mat3x3_33(m))
	{
		float r=sqrtf(1+mat3x3_22(m)-mat3x3_33(m)-mat3x3_11(m));
		if(r==0) return quatone;
		return quat(
			(mat3x3_13(m)-mat3x3_31(m))/(2*r),
			vec3(
				(mat3x3_12(m)+mat3x3_21(m))/(2*r),
				r/2,
				(mat3x3_23(m)+mat3x3_32(m))/(2*r)
			)
		);
	}
	else
	{
		float r=sqrtf(1+mat3x3_33(m)-mat3x3_11(m)-mat3x3_22(m));
		if(r==0) return quatone;
		return quat(
			(mat3x3_21(m)-mat3x3_12(m))/(2*r),
			vec3(
				(mat3x3_31(m)+mat3x3_13(m))/(2*r),
				(mat3x3_23(m)+mat3x3_32(m))/(2*r),
				r/2
			)
		);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
leaq -0x180(%rsp), %rsp
leaq 0x10(%rbp), %rcx
movq %rcx, -0xb0(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15400
movq -0xb0(%rbp), %rcx
movss %xmm0, -0xa4(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15410
movaps %xmm0, %xmm1
movss -0xa4(%rbp), %xmm0
ucomiss %xmm1, %xmm0
jbe 0x14db5
movq -0xb0(%rbp), %rcx
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15400
movq -0xb0(%rbp), %rcx
movss %xmm0, -0xb4(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15420
movaps %xmm0, %xmm1
movss -0xb4(%rbp), %xmm0
ucomiss %xmm1, %xmm0
jbe 0x14db5
movq -0xb0(%rbp), %rcx
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15400
movq -0xb0(%rbp), %rcx
movaps %xmm0, %xmm1
movss 0x24cb(%rip), %xmm0     # 0x17004
addss %xmm1, %xmm0
movss %xmm0, -0xbc(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15410
movq -0xb0(%rbp), %rcx
movaps %xmm0, %xmm1
movss -0xbc(%rbp), %xmm0
subss %xmm1, %xmm0
movss %xmm0, -0xb8(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15420
movaps %xmm0, %xmm1
movss -0xb8(%rbp), %xmm0
subss %xmm1, %xmm0
sqrtss %xmm0, %xmm0
movss %xmm0, -0x14(%rbp)
movss -0x14(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jne 0x14bde
jp 0x14bde
movss 0x243a(%rip), %xmm0     # 0x17004
callq 0x15430
movlpd %xmm0, -0x10(%rbp)
movlpd %xmm1, -0x8(%rbp)
jmp 0x153e1
movq -0xb0(%rbp), %rcx
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x154d0
movq -0xb0(%rbp), %rcx
movss %xmm0, -0xe8(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x154e0
movss -0xe8(%rbp), %xmm1
movq -0xb0(%rbp), %rcx
subss %xmm0, %xmm1
movss -0x14(%rbp), %xmm0
movaps %xmm0, %xmm2
addss %xmm2, %xmm2
divss %xmm2, %xmm1
movss %xmm1, -0xd4(%rbp)
movss 0x28b9(%rip), %xmm1     # 0x17518
mulss %xmm1, %xmm0
movss %xmm0, -0xd8(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15540
movq -0xb0(%rbp), %rcx
movss %xmm0, -0xe4(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15550
movq -0xb0(%rbp), %rcx
movaps %xmm0, %xmm1
movss -0xe4(%rbp), %xmm0
addss %xmm1, %xmm0
movss -0x14(%rbp), %xmm1
addss %xmm1, %xmm1
divss %xmm1, %xmm0
movss %xmm0, -0xdc(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15560
movq -0xb0(%rbp), %rcx
movss %xmm0, -0xe0(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15570
movss -0xe0(%rbp), %xmm2
movss -0xdc(%rbp), %xmm1
movaps %xmm0, %xmm3
movss -0xd8(%rbp), %xmm0
addss %xmm3, %xmm2
movss -0x14(%rbp), %xmm3
addss %xmm3, %xmm3
divss %xmm3, %xmm2
callq 0x154f0
movaps %xmm0, %xmm2
movss -0xd4(%rbp), %xmm0
movaps %xmm2, -0xd0(%rbp)
movaps %xmm1, %xmm2
movaps -0xd0(%rbp), %xmm1
movss %xmm2, -0x28(%rbp)
movlpd %xmm1, -0x30(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x18(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x20(%rbp)
movl -0x18(%rbp), %eax
movl %eax, -0x38(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x40(%rbp)
movsd -0x40(%rbp), %xmm1
movss -0x38(%rbp), %xmm2
callq 0x15480
movlpd %xmm0, -0x10(%rbp)
movlpd %xmm1, -0x8(%rbp)
jmp 0x153e1
movq -0xb0(%rbp), %rcx
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15410
movq -0xb0(%rbp), %rcx
movss %xmm0, -0xec(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15400
movaps %xmm0, %xmm1
movss -0xec(%rbp), %xmm0
ucomiss %xmm1, %xmm0
jbe 0x1512a
movq -0xb0(%rbp), %rcx
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15410
movq -0xb0(%rbp), %rcx
movss %xmm0, -0xf0(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15420
movaps %xmm0, %xmm1
movss -0xf0(%rbp), %xmm0
ucomiss %xmm1, %xmm0
jbe 0x1512a
movq -0xb0(%rbp), %rcx
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15410
movq -0xb0(%rbp), %rcx
movaps %xmm0, %xmm1
movss 0x2156(%rip), %xmm0     # 0x17004
addss %xmm1, %xmm0
movss %xmm0, -0xf8(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15420
movq -0xb0(%rbp), %rcx
movaps %xmm0, %xmm1
movss -0xf8(%rbp), %xmm0
subss %xmm1, %xmm0
movss %xmm0, -0xf4(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15400
movaps %xmm0, %xmm1
movss -0xf4(%rbp), %xmm0
subss %xmm1, %xmm0
sqrtss %xmm0, %xmm0
movss %xmm0, -0x44(%rbp)
movss -0x44(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jne 0x14f53
jp 0x14f53
movss 0x20c5(%rip), %xmm0     # 0x17004
callq 0x15430
movlpd %xmm0, -0x10(%rbp)
movlpd %xmm1, -0x8(%rbp)
jmp 0x153e1
movq -0xb0(%rbp), %rcx
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15570
movq -0xb0(%rbp), %rcx
movss %xmm0, -0x128(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15560
movq -0xb0(%rbp), %rcx
movaps %xmm0, %xmm1
movss -0x128(%rbp), %xmm0
subss %xmm1, %xmm0
movss -0x44(%rbp), %xmm1
addss %xmm1, %xmm1
divss %xmm1, %xmm0
movss %xmm0, -0x114(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15540
movq -0xb0(%rbp), %rcx
movss %xmm0, -0x124(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15550
movss -0x124(%rbp), %xmm1
movq -0xb0(%rbp), %rcx
addss %xmm0, %xmm1
movss -0x44(%rbp), %xmm0
movaps %xmm0, %xmm2
addss %xmm2, %xmm2
divss %xmm2, %xmm1
movss %xmm1, -0x118(%rbp)
movss 0x24d2(%rip), %xmm1     # 0x17518
mulss %xmm1, %xmm0
movss %xmm0, -0x11c(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x154e0
movq -0xb0(%rbp), %rcx
movss %xmm0, -0x120(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x154d0
movss -0x120(%rbp), %xmm2
movss -0x11c(%rbp), %xmm1
movaps %xmm0, %xmm3
movss -0x118(%rbp), %xmm0
addss %xmm3, %xmm2
movss -0x44(%rbp), %xmm3
addss %xmm3, %xmm3
divss %xmm3, %xmm2
callq 0x154f0
movaps %xmm0, %xmm2
movss -0x114(%rbp), %xmm0
movaps %xmm2, -0x110(%rbp)
movaps %xmm1, %xmm2
movaps -0x110(%rbp), %xmm1
movss %xmm2, -0x58(%rbp)
movlpd %xmm1, -0x60(%rbp)
movl -0x58(%rbp), %eax
movl %eax, -0x48(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x50(%rbp)
movl -0x48(%rbp), %eax
movl %eax, -0x68(%rbp)
movq -0x50(%rbp), %rax
movq %rax, -0x70(%rbp)
movsd -0x70(%rbp), %xmm1
movss -0x68(%rbp), %xmm2
callq 0x15480
movlpd %xmm0, -0x10(%rbp)
movlpd %xmm1, -0x8(%rbp)
jmp 0x153e1
movq -0xb0(%rbp), %rcx
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15420
movq -0xb0(%rbp), %rcx
movaps %xmm0, %xmm1
movss 0x1ea5(%rip), %xmm0     # 0x17004
addss %xmm1, %xmm0
movss %xmm0, -0x130(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15400
movq -0xb0(%rbp), %rcx
movaps %xmm0, %xmm1
movss -0x130(%rbp), %xmm0
subss %xmm1, %xmm0
movss %xmm0, -0x12c(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15410
movaps %xmm0, %xmm1
movss -0x12c(%rbp), %xmm0
subss %xmm1, %xmm0
sqrtss %xmm0, %xmm0
movss %xmm0, -0x74(%rbp)
movss -0x74(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jne 0x15204
jp 0x15204
movss 0x1e14(%rip), %xmm0     # 0x17004
callq 0x15430
movlpd %xmm0, -0x10(%rbp)
movlpd %xmm1, -0x8(%rbp)
jmp 0x153e1
movq -0xb0(%rbp), %rcx
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15550
movq -0xb0(%rbp), %rcx
movss %xmm0, -0x154(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15540
movq -0xb0(%rbp), %rcx
movaps %xmm0, %xmm1
movss -0x154(%rbp), %xmm0
subss %xmm1, %xmm0
movss -0x74(%rbp), %xmm1
addss %xmm1, %xmm1
divss %xmm1, %xmm0
movss %xmm0, -0x144(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15560
movq -0xb0(%rbp), %rcx
movss %xmm0, -0x150(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x15570
movq -0xb0(%rbp), %rcx
movaps %xmm0, %xmm1
movss -0x150(%rbp), %xmm0
addss %xmm1, %xmm0
movss -0x74(%rbp), %xmm1
addss %xmm1, %xmm1
divss %xmm1, %xmm0
movss %xmm0, -0x148(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x154e0
movq -0xb0(%rbp), %rcx
movss %xmm0, -0x14c(%rbp)
movl 0x20(%rcx), %edx
movq %rsp, %rax
movl %edx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
callq 0x154d0
movss -0x14c(%rbp), %xmm1
movaps %xmm0, %xmm2
movss -0x148(%rbp), %xmm0
addss %xmm2, %xmm1
movss -0x74(%rbp), %xmm2
movaps %xmm2, %xmm3
addss %xmm3, %xmm3
divss %xmm3, %xmm1
movss 0x21b3(%rip), %xmm3     # 0x17518
mulss %xmm3, %xmm2
callq 0x154f0
movaps %xmm0, %xmm2
movss -0x144(%rbp), %xmm0
movaps %xmm2, -0x140(%rbp)
movaps %xmm1, %xmm2
movaps -0x140(%rbp), %xmm1
movss %xmm2, -0x88(%rbp)
movlpd %xmm1, -0x90(%rbp)
movl -0x88(%rbp), %eax
movl %eax, -0x78(%rbp)
movq -0x90(%rbp), %rax
movq %rax, -0x80(%rbp)
movl -0x78(%rbp), %eax
movl %eax, -0x98(%rbp)
movq -0x80(%rbp), %rax
movq %rax, -0xa0(%rbp)
movsd -0xa0(%rbp), %xmm1
movss -0x98(%rbp), %xmm2
callq 0x15480
movlpd %xmm0, -0x10(%rbp)
movlpd %xmm1, -0x8(%rbp)
movsd -0x10(%rbp), %xmm0
movsd -0x8(%rbp), %xmm1
leaq 0x180(%rsp), %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
nop