// File: j-faria[P]kima/eigen/Eigen/src/Core/products/GeneralMatrixMatrixTriangular.h
// Function: Eigen::internal::tribb_kernel<double, double, long, 4, 4, false, false, 1, 1>::operator()(double*, long, long, double const*, double const*, long, long, double const&)
void operator()(ResScalar* _res, Index resIncr, Index resStride, const LhsScalar* blockA, const RhsScalar* blockB, Index size, Index depth, const ResScalar& alpha)
  {
    typedef blas_data_mapper<ResScalar, Index, ColMajor, Unaligned, ResInnerStride> ResMapper;
    typedef blas_data_mapper<ResScalar, Index, ColMajor, Unaligned> BufferMapper;
    ResMapper res(_res, resStride, resIncr);
    gebp_kernel<LhsScalar, RhsScalar, Index, ResMapper, mr, nr, ConjLhs, ConjRhs> gebp_kernel1;
    gebp_kernel<LhsScalar, RhsScalar, Index, BufferMapper, mr, nr, ConjLhs, ConjRhs> gebp_kernel2;

    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_kernel1(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_kernel2(BufferMapper(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)
        {
          typename ResMapper::LinearMapper r = res.getLinearMapper(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_kernel1(res.getSubMapper(i, j), blockA+depth*i, actual_b, size-i, 
                     depth, actualBlockSize, alpha, -1, -1, 0, 0);
      }
    }
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x270, %rsp            # imm = 0x270
movq 0x20(%rbp), %rax
movq 0x18(%rbp), %rax
movq 0x10(%rbp), %rax
movq %rdi, -0x108(%rbp)
movq %rsi, -0x110(%rbp)
movq %rdx, -0x118(%rbp)
movq %rcx, -0x120(%rbp)
movq %r8, -0x128(%rbp)
movq %r9, -0x130(%rbp)
movq -0x110(%rbp), %rdx
movq -0x120(%rbp), %rcx
movq -0x118(%rbp), %rax
leaq -0x140(%rbp), %rsi
movq %rsi, -0xe8(%rbp)
movq %rdx, -0xf0(%rbp)
movq %rcx, -0xf8(%rbp)
movq %rax, -0x100(%rbp)
movq -0xe8(%rbp), %rax
movq -0xf0(%rbp), %rcx
movq %rcx, (%rax)
movq -0xf8(%rbp), %rcx
movq %rcx, 0x8(%rax)
cmpq $0x1, -0x100(%rbp)
je 0x4a57e
leaq 0x706dd(%rip), %rdi     # 0xbac43
leaq 0x706de(%rip), %rsi     # 0xbac4b
movl $0xd1, %edx
leaq 0x7213b(%rip), %rcx     # 0xbc6b4
callq 0x6340
leaq -0x1d0(%rbp), %rdi
callq 0x4aa20
movq $0x0, -0x1e0(%rbp)
movq -0x1e0(%rbp), %rax
cmpq 0x10(%rbp), %rax
jge 0x4aa09
movq $0x4, -0x1f0(%rbp)
movq 0x10(%rbp), %rax
subq -0x1e0(%rbp), %rax
movq %rax, -0x1f8(%rbp)
leaq -0x1f0(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
callq 0x7cf0
movq (%rax), %rax
movq %rax, -0x1e8(%rbp)
movq -0x130(%rbp), %rax
movq -0x1e0(%rbp), %rcx
imulq 0x18(%rbp), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x200(%rbp)
movq -0x1e0(%rbp), %rax
movq %rax, -0x208(%rbp)
leaq -0x1d0(%rbp), %rdi
callq 0x4aa40
leaq -0x1d0(%rbp), %rdi
callq 0x4aa70
leaq -0x218(%rbp), %rcx
movq %rcx, -0xc8(%rbp)
movq %rax, -0xd0(%rbp)
movq $0x4, -0xd8(%rbp)
movq $0x1, -0xe0(%rbp)
movq -0xc8(%rbp), %rax
movq -0xd0(%rbp), %rcx
movq %rcx, (%rax)
movq -0xd8(%rbp), %rcx
movq %rcx, 0x8(%rax)
cmpq $0x1, -0xe0(%rbp)
je 0x4a697
leaq 0x705c4(%rip), %rdi     # 0xbac43
leaq 0x705c5(%rip), %rsi     # 0xbac4b
movl $0xd1, %edx
leaq 0x72022(%rip), %rcx     # 0xbc6b4
callq 0x6340
movq -0x128(%rbp), %rdx
movq 0x18(%rbp), %rax
imulq -0x208(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x200(%rbp), %rcx
movq -0x1e8(%rbp), %r8
movq 0x18(%rbp), %r9
movq -0x1e8(%rbp), %rax
movq 0x20(%rbp), %rsi
movsd (%rsi), %xmm0
leaq -0x142(%rbp), %rdi
leaq -0x218(%rbp), %rsi
xorl %r10d, %r10d
movq %rax, (%rsp)
movq $-0x1, 0x8(%rsp)
movq $-0x1, 0x10(%rsp)
movq $0x0, 0x18(%rsp)
movq $0x0, 0x20(%rsp)
callq 0x42ef0
movq $0x0, -0x220(%rbp)
movq -0x220(%rbp), %rax
cmpq -0x1e8(%rbp), %rax
jge 0x4a871
movq -0x208(%rbp), %rcx
movq -0x1e0(%rbp), %rax
addq -0x220(%rbp), %rax
leaq -0x140(%rbp), %rdx
movq %rdx, -0x68(%rbp)
movq %rcx, -0x70(%rbp)
movq %rax, -0x78(%rbp)
movq -0x68(%rbp), %rdx
movq -0x70(%rbp), %rcx
movq -0x78(%rbp), %rax
movq %rdx, -0x38(%rbp)
movq %rcx, -0x40(%rbp)
movq %rax, -0x48(%rbp)
movq -0x38(%rbp), %rsi
movq (%rsi), %rax
movq -0x40(%rbp), %rcx
movq -0x48(%rbp), %rdx
imulq 0x8(%rsi), %rdx
addq %rdx, %rcx
shlq $0x3, %rcx
addq %rcx, %rax
leaq -0x60(%rbp), %rcx
movq %rcx, -0x8(%rbp)
movq %rax, -0x10(%rbp)
movq $0x1, -0x18(%rbp)
movq -0x8(%rbp), %rax
movq -0x10(%rbp), %rcx
movq %rcx, (%rax)
cmpq $0x1, -0x18(%rbp)
je 0x4a7d2
leaq 0x70489(%rip), %rdi     # 0xbac43
leaq 0x7048a(%rip), %rsi     # 0xbac4b
movl $0xa9, %edx
leaq 0x7238f(%rip), %rcx     # 0xbcb5c
callq 0x6340
movq -0x60(%rbp), %rax
movq %rax, -0x228(%rbp)
movq -0x220(%rbp), %rax
movq %rax, -0x230(%rbp)
movq -0x230(%rbp), %rax
cmpq -0x1e8(%rbp), %rax
jge 0x4a858
movq -0x230(%rbp), %rsi
movq -0x220(%rbp), %rdx
leaq -0x1d0(%rbp), %rdi
callq 0x4aa90
movsd (%rax), %xmm0
movq -0x230(%rbp), %rax
leaq -0x228(%rbp), %rcx
movq %rcx, -0x50(%rbp)
movq %rax, -0x58(%rbp)
movq -0x50(%rbp), %rax
movq (%rax), %rax
movq -0x58(%rbp), %rcx
addsd (%rax,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
movq -0x230(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x230(%rbp)
jmp 0x4a7eb
jmp 0x4a85a
movq -0x220(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x220(%rbp)
jmp 0x4a71b
movq -0x1e0(%rbp), %rax
addq -0x1e8(%rbp), %rax
movq %rax, -0x238(%rbp)
movq -0x238(%rbp), %rcx
movq -0x1e0(%rbp), %rax
leaq -0x140(%rbp), %rdx
movq %rdx, -0xb0(%rbp)
movq %rcx, -0xb8(%rbp)
movq %rax, -0xc0(%rbp)
movq -0xb0(%rbp), %rax
movq -0xb8(%rbp), %rdx
movq -0xc0(%rbp), %rcx
movq %rax, -0x20(%rbp)
movq %rdx, -0x28(%rbp)
movq %rcx, -0x30(%rbp)
movq -0x20(%rbp), %rdi
movq (%rdi), %rcx
movq -0x28(%rbp), %rdx
movq -0x30(%rbp), %rsi
imulq 0x8(%rdi), %rsi
addq %rsi, %rdx
shlq $0x3, %rdx
addq %rdx, %rcx
movq 0x8(%rax), %rax
leaq -0xa8(%rbp), %rdx
movq %rdx, -0x80(%rbp)
movq %rcx, -0x88(%rbp)
movq %rax, -0x90(%rbp)
movq $0x1, -0x98(%rbp)
movq -0x80(%rbp), %rax
movq -0x88(%rbp), %rcx
movq %rcx, (%rax)
movq -0x90(%rbp), %rcx
movq %rcx, 0x8(%rax)
cmpq $0x1, -0x98(%rbp)
je 0x4a959
leaq 0x70302(%rip), %rdi     # 0xbac43
leaq 0x70303(%rip), %rsi     # 0xbac4b
movl $0xd1, %edx
leaq 0x71d60(%rip), %rcx     # 0xbc6b4
callq 0x6340
movq -0xa8(%rbp), %rcx
movq -0xa0(%rbp), %rax
movq %rcx, -0x248(%rbp)
movq %rax, -0x240(%rbp)
movq -0x128(%rbp), %rdx
movq 0x18(%rbp), %rax
imulq -0x238(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x200(%rbp), %rcx
movq 0x10(%rbp), %r8
subq -0x238(%rbp), %r8
movq 0x18(%rbp), %r9
movq -0x1e8(%rbp), %rax
movq 0x20(%rbp), %rsi
movsd (%rsi), %xmm0
leaq -0x141(%rbp), %rdi
leaq -0x248(%rbp), %rsi
xorl %r10d, %r10d
movq %rax, (%rsp)
movq $-0x1, 0x8(%rsp)
movq $-0x1, 0x10(%rsp)
movq $0x0, 0x18(%rsp)
movq $0x0, 0x20(%rsp)
callq 0x42ef0
movq -0x1e0(%rbp), %rax
addq $0x4, %rax
movq %rax, -0x1e0(%rbp)
jmp 0x4a595
addq $0x270, %rsp            # imm = 0x270
popq %rbp
retq
nopw %cs:(%rax,%rax)
nopl (%rax)