// File: /workspace/github_cpp_makefile_star2_O2/canzarlab[P]Trajan/./Eigen/src/Core/products/GeneralMatrixMatrixTriangular.h
// Function: Eigen::internal::tribb_kernel<double, double, long, 4, 4, false, false, 1>::operator()(double*, long, double const*, double const*, long, long, double const&)
void operator()(ResScalar* _res, Index resStride, const LhsScalar* blockA, const RhsScalar* blockB, Index size, Index depth, const ResScalar& alpha)
  {
    typedef blas_data_mapper<ResScalar, Index, ColMajor> ResMapper;
    ResMapper res(_res, resStride);
    gebp_kernel<LhsScalar, RhsScalar, Index, ResMapper, mr, nr, ConjLhs, ConjRhs> gebp_kernel;

    Matrix<ResScalar,BlockSize,BlockSize,ColMajor> buffer((internal::constructor_without_unaligned_array_assert()));

    // let's process the block per panel of actual_mc x BlockSize,
    // again, each is split into three parts, etc.
    for (Index j=0; j<size; j+=BlockSize)
    {
      Index actualBlockSize = std::min<Index>(BlockSize,size - j);
      const RhsScalar* actual_b = blockB+j*depth;

      if(UpLo==Upper)
        gebp_kernel(res.getSubMapper(0, j), blockA, actual_b, j, depth, actualBlockSize, alpha,
                    -1, -1, 0, 0);

      // selfadjoint micro block
      {
        Index i = j;
        buffer.setZero();
        // 1 - apply the kernel on the temporary buffer
        gebp_kernel(ResMapper(buffer.data(), BlockSize), blockA+depth*i, actual_b, actualBlockSize, depth, actualBlockSize, alpha,
                    -1, -1, 0, 0);
        // 2 - triangular accumulation
        for(Index j1=0; j1<actualBlockSize; ++j1)
        {
          ResScalar* r = &res(i, j + j1);
          for(Index i1=UpLo==Lower ? j1 : 0;
              UpLo==Lower ? i1<actualBlockSize : i1<=j1; ++i1)
            r[i1] += buffer(i1,j1);
        }
      }

      if(UpLo==Lower)
      {
        Index i = j+actualBlockSize;
        gebp_kernel(res.getSubMapper(i, j), blockA+depth*i, actual_b, size-i, 
                    depth, actualBlockSize, alpha, -1, -1, 0, 0);
      }
    }
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x128, %rsp            # imm = 0x128
movq %r9, %rbx
movq %r8, 0x70(%rsp)
movq %rcx, %r13
movq %rdx, %rax
shlq $0x5, %rax
addq $0x20, %rax
movq %rax, 0x50(%rsp)
movq %rdx, 0x60(%rsp)
leaq 0x8(,%rdx,8), %rax
movq %rax, 0x98(%rsp)
xorl %eax, %eax
pushq $0x4
popq %rcx
leaq 0xa0(%rsp), %r14
movq %rsi, 0x58(%rsp)
movq %rsi, 0x30(%rsp)
movq %r9, %rdx
movq %r9, 0x78(%rsp)
movq %r13, 0x68(%rsp)
cmpq $0x4, %rdx
movq %rcx, %r15
cmovlq %rdx, %r15
testq %r15, %r15
movl $0x0, %r12d
cmovgq %r15, %r12
movq %rbx, %rbp
subq %rax, %rbp
jle 0x23ff5
movq %rdx, 0x88(%rsp)
cmpq $0x4, %rbp
cmovgeq %rcx, %rbp
movq %rax, 0x90(%rsp)
movq %rax, %rbx
movq 0x160(%rsp), %rax
imulq %rax, %rbx
movq 0x70(%rsp), %rax
leaq (%rax,%rbx,8), %rax
movq %rax, 0x38(%rsp)
movq %r14, %rdi
callq 0x24008
movq %r14, 0x40(%rsp)
movq $0x4, 0x48(%rsp)
leaq (,%rbx,8), %rdx
addq %r13, %rdx
movq 0x168(%rsp), %rax
movsd (%rax), %xmm0
xorps %xmm1, %xmm1
movups %xmm1, 0x18(%rsp)
orq $-0x1, 0x10(%rsp)
orq $-0x1, 0x8(%rsp)
movq %rbp, (%rsp)
leaq 0x2f(%rsp), %rdi
leaq 0x40(%rsp), %rsi
movq 0x38(%rsp), %rcx
movq %rbp, 0x80(%rsp)
movq %rbp, %r8
movq 0x160(%rsp), %r9
callq 0x179fe
movq 0x30(%rsp), %rbx
xorl %ebp, %ebp
cmpq %r12, %rbp
je 0x23f34
xorl %r13d, %r13d
cmpq %r13, %r15
je 0x23f24
movq %rbp, %rsi
addq %r13, %rsi
movq %r14, %rdi
movq %rbp, %rdx
callq 0x24018
movsd (%rax), %xmm0
addsd (%rbx,%r13,8), %xmm0
movsd %xmm0, (%rbx,%r13,8)
incq %r13
jmp 0x23ef9
incq %rbp
decq %r15
addq 0x98(%rsp), %rbx
jmp 0x23ef1
movq 0x90(%rsp), %r15
movq 0x80(%rsp), %rdi
leaq (%rdi,%r15), %rax
movq %r15, %rcx
movq 0x60(%rsp), %rdx
imulq %rdx, %rcx
movq 0x58(%rsp), %rsi
leaq (%rsi,%rcx,8), %rcx
leaq (%rcx,%rax,8), %rcx
movq %rcx, 0x40(%rsp)
movq %rdx, 0x48(%rsp)
movq 0x78(%rsp), %rbx
movq %rbx, %r8
subq %rax, %r8
movq 0x160(%rsp), %r9
imulq %r9, %rax
movq 0x68(%rsp), %r13
leaq (,%rax,8), %rdx
addq %r13, %rdx
movq 0x168(%rsp), %rbp
movsd (%rbp), %xmm0
xorps %xmm1, %xmm1
movups %xmm1, 0x18(%rsp)
orq $-0x1, 0x10(%rsp)
orq $-0x1, 0x8(%rsp)
movq %rdi, (%rsp)
leaq 0x2f(%rsp), %rdi
leaq 0x40(%rsp), %rsi
movq 0x38(%rsp), %rcx
callq 0x179fe
movq %r15, %rax
addq $0x4, %rax
movq 0x88(%rsp), %rdx
addq $-0x4, %rdx
movq 0x30(%rsp), %rcx
addq 0x50(%rsp), %rcx
movq %rcx, 0x30(%rsp)
pushq $0x4
popq %rcx
jmp 0x23e25
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop