// File: /workspace/github_cpp_makefile_star2_O3/Luthaf[P]zeopp/./Eigen/src/Householder/Householder.h
// Function: void Eigen::MatrixBase<Eigen::Block<Eigen::Matrix<double, 3, 3, 0, 3, 3>, -1, -1, false>>::applyHouseholderOnTheLeft<Eigen::VectorBlock<Eigen::Block<Eigen::Matrix<double, 3, 3, 0, 3, 3>, 3, 1, true>, -1>>(Eigen::VectorBlock<Eigen::Block<Eigen::Matrix<double, 3, 3, 0, 3, 3>, 3, 1, true>, -1> const&, double const&, double*)
void MatrixBase<Derived>::applyHouseholderOnTheLeft(
  const EssentialPart& essential,
  const Scalar& tau,
  Scalar* workspace)
{
  if(rows() == 1)
  {
    *this *= Scalar(1)-tau;
  }
  else
  {
    Map<typename internal::plain_row_type<PlainObject>::type> tmp(workspace,cols());
    Block<Derived, EssentialPart::SizeAtCompileTime, Derived::ColsAtCompileTime> bottom(derived(), 1, 0, rows()-1, cols());
    tmp.noalias() = essential.adjoint() * bottom;
    tmp += this->row(0);
    this->row(0) -= tau * tmp;
    bottom.noalias() -= tau * essential * tmp;
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1d8, %rsp            # imm = 0x1D8
movq %rcx, %r13
movq %rdx, %r15
movq 0x8(%rdi), %rcx
cmpq $0x1, %rcx
jne 0x10c881
movsd 0x40825(%rip), %xmm0    # 0x14d058
subsd (%r15), %xmm0
movq %rdi, 0x140(%rsp)
leaq 0x50(%rsp), %rax
movq %rax, 0x148(%rsp)
movq 0x10(%rdi), %rcx
movq $0x1, (%rax)
movq %rcx, 0x8(%rax)
movsd %xmm0, 0x10(%rax)
testq %rcx, %rcx
js 0x10cbf1
leaq 0x140(%rsp), %rdi
leaq 0x50(%rsp), %rsi
callq 0x10ceea
jmp 0x10cba9
movq 0x10(%rdi), %r12
movq %r13, 0x30(%rsp)
movq %r12, 0x40(%rsp)
testq %r12, %r12
js 0x10cc10
movq %rsi, %r9
leaq -0x1(%rcx), %rdx
movq (%rdi), %rax
movq %rax, %rsi
addq $0x8, %rsi
movq %rsi, 0xf8(%rsp)
movq %rdx, 0x100(%rsp)
movq %r12, 0x108(%rsp)
sete %sil
movq %r12, %r8
orq %rdx, %r8
setns %r8b
orb %sil, %r8b
je 0x10cc2f
movups (%rdi), %xmm0
movupd 0x10(%rdi), %xmm1
movupd %xmm1, 0x120(%rsp)
movups %xmm0, 0x110(%rsp)
movq %rdi, 0x8(%rsp)
movq 0x20(%rdi), %rsi
movq %rsi, 0x130(%rsp)
movq %rsi, 0x138(%rsp)
testq %rcx, %rcx
jle 0x10cc4e
movq (%r9), %rcx
movq 0x8(%r9), %r8
movq 0x18(%r9), %rsi
movq 0x38(%r9), %rdi
leaq 0x90(%rsp), %rbp
movq %rcx, -0x40(%rbp)
movq %r8, -0x38(%rbp)
movq %rsi, -0x28(%rbp)
movups 0x28(%r9), %xmm0
movups %xmm0, -0x18(%rbp)
movq %rdi, -0x8(%rbp)
leaq 0xf8(%rsp), %rsi
movl $0x9, %ecx
movq %rbp, %rdi
rep  movsq (%rsi), %es:(%rdi)
movq $0x0, 0x60(%rbp)
cmpq %rdx, %r8
jne 0x10cc6d
cmpq 0xa0(%rsp), %r12
jne 0x10cc8c
movq %r9, 0x18(%rsp)
testq %r12, %r12
je 0x10c9f1
movq %r15, 0x10(%rsp)
xorl %r15d, %r15d
leaq 0x50(%rsp), %rbx
leaq 0x140(%rsp), %r14
xorl %edi, %edi
movq %r15, %rsi
movq %rbx, %rdx
movq %rbp, %rcx
movq %r14, %r8
callq 0x10cf6c
movsd 0x140(%rsp), %xmm0
movsd %xmm0, (%r13,%r15,8)
incq %r15
cmpq %r15, %r12
jne 0x10c994
movq 0x8(%rsp), %r12
movq (%r12), %rax
movq 0x10(%r12), %rcx
movq %rax, 0x50(%rsp)
movq %rcx, 0x60(%rsp)
testq %rax, %rax
sete %al
testq %rcx, %rcx
setns %cl
orb %al, %cl
movq 0x10(%rsp), %r15
jne 0x10ca04
jmp 0x10cbda
movq %rax, 0x50(%rsp)
movq $0x0, 0x60(%rsp)
movq 0x8(%rsp), %r12
movq 0x20(%r12), %rax
movq %rax, 0x88(%rsp)
movupd (%r12), %xmm0
movupd 0x10(%r12), %xmm1
movupd %xmm1, 0x78(%rsp)
movupd %xmm0, 0x68(%rsp)
movq $0x1, 0x90(%rsp)
cmpq $0x0, 0x8(%r12)
jle 0x10cbbb
leaq 0x30(%rsp), %r14
leaq 0x140(%rsp), %rbx
movq %r14, (%rbx)
leaq 0x20(%rsp), %rax
movq %rax, 0x8(%rbx)
leaq 0x50(%rsp), %r13
movq %rbx, %rdi
movq %r13, %rsi
callq 0x10d0cc
movsd (%r15), %xmm0
movq (%r14), %rax
movq 0x10(%r14), %rcx
movq %rax, (%rbx)
movq %rcx, 0x10(%rbx)
movsd %xmm0, 0x20(%rbx)
movq (%r12), %rax
movq 0x10(%r12), %rcx
movq %rax, (%r13)
movq %rcx, 0x10(%r13)
testq %rax, %rax
sete %al
testq %rcx, %rcx
setns %cl
orb %al, %cl
je 0x10cbda
movq 0x20(%r12), %rax
movq %rax, 0x88(%rsp)
movupd (%r12), %xmm0
movupd 0x10(%r12), %xmm1
movupd %xmm1, 0x78(%rsp)
movupd %xmm0, 0x68(%rsp)
movq $0x1, 0x90(%rsp)
cmpq $0x0, 0x8(%r12)
jle 0x10cbbb
leaq 0x20(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x7(%rsp), %rbx
movq %rbx, 0x8(%rdi)
leaq 0x140(%rsp), %rsi
callq 0x10d130
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rdx
cmpq $0x4, %rdx
jae 0x10ccab
testq %rdx, %rdx
je 0x10cb40
movsd (%r15), %xmm0
movq (%rax), %rax
xorl %ecx, %ecx
movsd (%rax,%rcx,8), %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, 0x140(%rsp,%rcx,8)
incq %rcx
cmpq %rcx, %rdx
jne 0x10cb26
movq 0x30(%rsp), %r14
movq 0x40(%rsp), %r15
xorpd %xmm0, %xmm0
movupd %xmm0, 0x1c8(%rsp)
movq %rdx, 0x68(%rsp)
testq %rdx, %rdx
je 0x10cb7b
shlq $0x3, %rdx
leaq 0x50(%rsp), %rdi
leaq 0x140(%rsp), %rsi
callq 0x4370
xorpd %xmm0, %xmm0
leaq 0x50(%rsp), %rsi
movq %r14, 0x20(%rsi)
movq %r15, 0x30(%rsi)
movupd %xmm0, 0x88(%rsi)
leaq 0x20(%rsp), %rdi
leaq 0xf8(%rsp), %rax
movq %rax, (%rdi)
movq %rbx, 0x8(%rdi)
callq 0x10d19e
addq $0x1d8, %rsp            # imm = 0x1D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x4af24(%rip), %rdi     # 0x157ae6
leaq 0x4afc4(%rip), %rsi     # 0x157b8d
leaq 0x4d071(%rip), %rcx     # 0x159c41
movl $0x77, %edx
callq 0x4290
leaq 0x4b06d(%rip), %rdi     # 0x157c4e
leaq 0x4b118(%rip), %rsi     # 0x157d00
leaq 0x4d10f(%rip), %rcx     # 0x159cfe
jmp 0x10cc44
leaq 0x4b674(%rip), %rdi     # 0x15826c
leaq 0x4b70a(%rip), %rsi     # 0x158309
leaq 0x4ba75(%rip), %rcx     # 0x15867b
movl $0x3f, %edx
callq 0x4290
leaq 0x4be40(%rip), %rdi     # 0x158a57
leaq 0x4b0e2(%rip), %rsi     # 0x157d00
leaq 0x4be3f(%rip), %rcx     # 0x158a64
movl $0x8a, %edx
callq 0x4290
leaq 0x4b018(%rip), %rdi     # 0x157c4e
leaq 0x4b0c3(%rip), %rsi     # 0x157d00
leaq 0x4bf9b(%rip), %rcx     # 0x158bdf
movl $0x94, %edx
callq 0x4290
leaq 0x4b0c6(%rip), %rdi     # 0x157d1b
leaq 0x4af31(%rip), %rsi     # 0x157b8d
leaq 0x4beac(%rip), %rcx     # 0x158b0f
movl $0x8e, %edx
callq 0x4290
leaq 0x4c029(%rip), %rdi     # 0x158c9d
leaq 0x4c0ae(%rip), %rsi     # 0x158d29
leaq 0x4c0d5(%rip), %rcx     # 0x158d57
movl $0x9e, %edx
callq 0x4290
leaq 0x4ac25(%rip), %rdi     # 0x1578b8
leaq 0x4ac4f(%rip), %rsi     # 0x1578e9
leaq 0x4c319(%rip), %rcx     # 0x158fba
movl $0x1f9, %edx            # imm = 0x1F9
callq 0x4290
leaq 0x4ac51(%rip), %rdi     # 0x157903
leaq 0x4ade5(%rip), %rsi     # 0x157a9e
leaq 0x4d5c7(%rip), %rcx     # 0x15a287
movl $0xf1, %edx
callq 0x4290