// File: /workspace/github_cpp_makefile_star2_O3/Kingsford-Group[P]ghost2/include/Eigen/src/Core/GeneralProduct.h
// Function: void Eigen::internal::gemv_selector<2, 1, true>::run<Eigen::GeneralProduct<Eigen::Transpose<Eigen::Matrix<double, -1, -1, 0, -1, -1> const>, Eigen::Transpose<Eigen::Transpose<Eigen::Matrix<double, -1, 1, 0, -1, 1>> const>, 4>, Eigen::Transpose<Eigen::Matrix<double, 1, -1, 1, 1, -1>>>(Eigen::GeneralProduct<Eigen::Transpose<Eigen::Matrix<double, -1, -1, 0, -1, -1> const>, Eigen::Transpose<Eigen::Transpose<Eigen::Matrix<double, -1, 1, 0, -1, 1>> const>, 4> const&, Eigen::Transpose<Eigen::Matrix<double, 1, -1, 1, 1, -1>>&, Eigen::GeneralProduct<Eigen::Transpose<Eigen::Matrix<double, -1, -1, 0, -1, -1> const>, Eigen::Transpose<Eigen::Transpose<Eigen::Matrix<double, -1, 1, 0, -1, 1>> const>, 4>::Scalar const&)
static void run(const ProductType& prod, Dest& dest, const typename ProductType::Scalar& alpha)
  {
    typedef typename ProductType::LhsScalar LhsScalar;
    typedef typename ProductType::RhsScalar RhsScalar;
    typedef typename ProductType::Scalar    ResScalar;
    typedef typename ProductType::Index Index;
    typedef typename ProductType::ActualLhsType ActualLhsType;
    typedef typename ProductType::ActualRhsType ActualRhsType;
    typedef typename ProductType::_ActualRhsType _ActualRhsType;
    typedef typename ProductType::LhsBlasTraits LhsBlasTraits;
    typedef typename ProductType::RhsBlasTraits RhsBlasTraits;

    typename add_const<ActualLhsType>::type actualLhs = LhsBlasTraits::extract(prod.lhs());
    typename add_const<ActualRhsType>::type actualRhs = RhsBlasTraits::extract(prod.rhs());

    ResScalar actualAlpha = alpha * LhsBlasTraits::extractScalarFactor(prod.lhs())
                                  * RhsBlasTraits::extractScalarFactor(prod.rhs());

    enum {
      // FIXME find a way to allow an inner stride on the result if packet_traits<Scalar>::size==1
      // on, the other hand it is good for the cache to pack the vector anyways...
      DirectlyUseRhs = _ActualRhsType::InnerStrideAtCompileTime==1
    };

    gemv_static_vector_if<RhsScalar,_ActualRhsType::SizeAtCompileTime,_ActualRhsType::MaxSizeAtCompileTime,!DirectlyUseRhs> static_rhs;

    ei_declare_aligned_stack_constructed_variable(RhsScalar,actualRhsPtr,actualRhs.size(),
        DirectlyUseRhs ? const_cast<RhsScalar*>(actualRhs.data()) : static_rhs.data());

    if(!DirectlyUseRhs)
    {
      #ifdef EIGEN_DENSE_STORAGE_CTOR_PLUGIN
      int size = actualRhs.size();
      EIGEN_DENSE_STORAGE_CTOR_PLUGIN
      #endif
      Map<typename _ActualRhsType::PlainObject>(actualRhsPtr, actualRhs.size()) = actualRhs;
    }

    general_matrix_vector_product
      <Index,LhsScalar,RowMajor,LhsBlasTraits::NeedToConjugate,RhsScalar,RhsBlasTraits::NeedToConjugate>::run(
        actualLhs.rows(), actualLhs.cols(),
        actualLhs.data(), actualLhs.outerStride(),
        actualRhsPtr, 1,
        dest.data(), dest.innerStride(),
        actualAlpha);
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq 0x8(%rdi), %rax
movq 0x8(%rax), %r15
movq %r15, %rcx
shrq $0x3d, %rcx
jne 0x2cf4a
movq %rsi, %r14
movq (%rdi), %r12
movsd (%rdx), %xmm0
movq (%rax), %r8
testq %r8, %r8
je 0x2cec4
xorl %ebx, %ebx
jmp 0x2cf05
leaq (,%r15,8), %rdi
cmpq $0x9c4, %r15            # imm = 0x9C4
ja 0x2ceeb
movq %rsp, %rbx
addq $0xf, %rdi
andq $-0x10, %rdi
subq %rdi, %rbx
movq %rbx, %rsp
movq %rbx, %r8
jmp 0x2cf05
movsd %xmm0, -0x28(%rbp)
callq 0xc750
movsd -0x28(%rbp), %xmm0
movq %rax, %rbx
movq %rax, %r8
testq %rax, %rax
je 0x2cf78
movq 0x10(%r12), %rdi
movq (%r12), %rdx
movq 0x8(%r12), %rcx
movq (%r14), %rax
movl $0x1, %r9d
movq %rcx, %rsi
pushq $0x1
pushq (%rax)
callq 0x2c110
addq $0x10, %rsp
cmpq $0x9c5, %r15            # imm = 0x9C5
jb 0x2cf3d
movq %rbx, %rdi
callq 0xc660
leaq -0x20(%rbp), %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movl $0x8, %edi
callq 0xc260
movq 0x4b015(%rip), %rcx     # 0x77f70
addq $0x10, %rcx
movq %rcx, (%rax)
movq 0x4b037(%rip), %rsi     # 0x77fa0
movq 0x4afd0(%rip), %rdx     # 0x77f40
movq %rax, %rdi
callq 0xc990
jmp 0x2cf4a
movq %rax, %r14
cmpq $0x9c5, %r15            # imm = 0x9C5
jb 0x2cf8e
movq %rbx, %rdi
callq 0xc660
movq %r14, %rdi
callq 0xc9c0