// File: /workspace/github_c_makefile_star2_O1/halcy[P]quasi_crystals_bot/Vector/MatrixDouble.c
// Function: dmat4x4affinemul
dmat4x4_t dmat4x4affinemul(dmat4x4_t a,dmat4x4_t b)
{
	return dmat4x4(a.m[0]*b.m[0]+a.m[4]*b.m[1]+a.m[8]*b.m[2],
	              a.m[0]*b.m[4]+a.m[4]*b.m[5]+a.m[8]*b.m[6],
	              a.m[0]*b.m[8]+a.m[4]*b.m[9]+a.m[8]*b.m[10],
	              a.m[0]*b.m[12]+a.m[4]*b.m[13]+a.m[8]*b.m[14]+a.m[12],

	              a.m[1]*b.m[0]+a.m[5]*b.m[1]+a.m[9]*b.m[2],
	              a.m[1]*b.m[4]+a.m[5]*b.m[5]+a.m[9]*b.m[6],
	              a.m[1]*b.m[8]+a.m[5]*b.m[9]+a.m[9]*b.m[10],
	              a.m[1]*b.m[12]+a.m[5]*b.m[13]+a.m[9]*b.m[14]+a.m[13],

	              a.m[2]*b.m[0]+a.m[6]*b.m[1]+a.m[10]*b.m[2],
	              a.m[2]*b.m[4]+a.m[6]*b.m[5]+a.m[10]*b.m[6],
	              a.m[2]*b.m[8]+a.m[6]*b.m[9]+a.m[10]*b.m[10],
	              a.m[2]*b.m[12]+a.m[6]*b.m[13]+a.m[10]*b.m[14]+a.m[14],

	              0,0,0,1);
}

// Assembly:
movsd 0x88(%rsp), %xmm1
movsd 0x90(%rsp), %xmm11
movsd 0x8(%rsp), %xmm5
movapd %xmm1, %xmm3
movapd %xmm1, %xmm14
movsd 0x28(%rsp), %xmm6
movapd %xmm11, %xmm1
mulsd %xmm5, %xmm3
mulsd %xmm6, %xmm1
movsd 0xa8(%rsp), %xmm4
movsd %xmm4, -0x40(%rsp)
movsd 0xb0(%rsp), %xmm7
movapd %xmm7, %xmm2
movapd %xmm7, %xmm8
mulsd %xmm5, %xmm4
mulsd %xmm6, %xmm2
addsd %xmm3, %xmm1
movsd 0x48(%rsp), %xmm15
movsd 0x98(%rsp), %xmm7
movsd %xmm7, -0x8(%rsp)
movsd 0xb8(%rsp), %xmm3
movsd %xmm3, -0x10(%rsp)
mulsd %xmm15, %xmm7
movapd %xmm7, %xmm9
movapd %xmm3, %xmm7
addsd %xmm4, %xmm2
mulsd %xmm15, %xmm7
movsd 0xc8(%rsp), %xmm12
movsd 0xd0(%rsp), %xmm0
movsd %xmm0, -0x58(%rsp)
movapd %xmm12, %xmm4
movapd %xmm0, %xmm10
mulsd %xmm5, %xmm4
mulsd %xmm6, %xmm10
movsd 0xe8(%rsp), %xmm3
movsd %xmm3, -0x60(%rsp)
movsd 0xf0(%rsp), %xmm0
movsd %xmm0, -0x48(%rsp)
mulsd %xmm3, %xmm5
mulsd %xmm0, %xmm6
movq %rdi, %rax
addsd %xmm1, %xmm9
movsd %xmm9, -0x20(%rsp)
addsd %xmm2, %xmm7
movsd %xmm7, -0x18(%rsp)
addsd %xmm4, %xmm10
movsd %xmm10, -0x30(%rsp)
addsd %xmm5, %xmm6
movsd %xmm6, -0x28(%rsp)
movsd 0x10(%rsp), %xmm10
movsd 0x30(%rsp), %xmm13
movapd %xmm10, %xmm2
movapd %xmm13, %xmm0
movapd %xmm14, %xmm1
mulsd %xmm14, %xmm2
movsd %xmm2, -0x38(%rsp)
mulsd %xmm11, %xmm0
movsd %xmm0, -0x50(%rsp)
movapd %xmm10, %xmm6
movapd %xmm13, %xmm9
movsd -0x40(%rsp), %xmm5
mulsd %xmm5, %xmm6
mulsd %xmm8, %xmm9
movapd %xmm10, %xmm4
movapd %xmm13, %xmm14
mulsd %xmm12, %xmm4
movsd -0x58(%rsp), %xmm3
mulsd %xmm3, %xmm14
mulsd -0x60(%rsp), %xmm10
movsd -0x48(%rsp), %xmm2
mulsd %xmm2, %xmm13
movsd 0x18(%rsp), %xmm0
movsd 0x38(%rsp), %xmm7
mulsd %xmm0, %xmm1
mulsd %xmm7, %xmm11
mulsd %xmm0, %xmm5
mulsd %xmm7, %xmm8
mulsd %xmm0, %xmm12
mulsd %xmm7, %xmm3
mulsd -0x60(%rsp), %xmm0
mulsd %xmm2, %xmm7
movsd -0x50(%rsp), %xmm2
addsd -0x38(%rsp), %xmm2
movsd %xmm2, -0x50(%rsp)
addsd %xmm6, %xmm9
addsd %xmm4, %xmm14
addsd %xmm10, %xmm13
addsd %xmm1, %xmm11
addsd %xmm5, %xmm8
movsd %xmm8, -0x60(%rsp)
addsd %xmm12, %xmm3
movsd %xmm3, -0x58(%rsp)
movsd 0xd8(%rsp), %xmm4
addsd %xmm0, %xmm7
movapd %xmm4, %xmm10
mulsd %xmm15, %xmm10
movsd 0xf8(%rsp), %xmm5
mulsd %xmm5, %xmm15
movsd 0x50(%rsp), %xmm1
movapd %xmm1, %xmm2
movsd 0x58(%rsp), %xmm6
movsd -0x8(%rsp), %xmm8
mulsd %xmm8, %xmm2
mulsd %xmm6, %xmm8
movapd %xmm1, %xmm3
movapd %xmm1, %xmm12
movsd -0x10(%rsp), %xmm0
mulsd %xmm0, %xmm3
mulsd %xmm4, %xmm12
mulsd %xmm5, %xmm1
mulsd %xmm6, %xmm0
mulsd %xmm6, %xmm4
mulsd %xmm5, %xmm6
addsd -0x30(%rsp), %xmm10
addsd -0x50(%rsp), %xmm2
addsd -0x28(%rsp), %xmm15
addsd %xmm11, %xmm8
addsd %xmm9, %xmm3
addsd %xmm14, %xmm12
addsd %xmm13, %xmm1
addsd -0x60(%rsp), %xmm0
addsd -0x58(%rsp), %xmm4
addsd %xmm7, %xmm6
movsd -0x20(%rsp), %xmm5
movsd %xmm5, (%rdi)
movsd %xmm2, 0x8(%rdi)
movsd %xmm8, 0x10(%rdi)
xorl %ecx, %ecx
movq %rcx, 0x18(%rdi)
movsd -0x18(%rsp), %xmm2
movsd %xmm2, 0x20(%rdi)
addsd 0x68(%rsp), %xmm15
addsd 0x70(%rsp), %xmm1
movsd %xmm3, 0x28(%rdi)
movsd %xmm0, 0x30(%rdi)
addsd 0x78(%rsp), %xmm6
movq %rcx, 0x38(%rdi)
movsd %xmm10, 0x40(%rdi)
movsd %xmm12, 0x48(%rdi)
movsd %xmm4, 0x50(%rdi)
movq %rcx, 0x58(%rdi)
movsd %xmm15, 0x60(%rdi)
movsd %xmm1, 0x68(%rdi)
movabsq $0x3ff0000000000000, %rcx # imm = 0x3FF0000000000000
movsd %xmm6, 0x70(%rdi)
movq %rcx, 0x78(%rdi)
retq