// File: 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
movq %rsp, %rbp
subq $0x210, %rsp            # imm = 0x210
movq 0x18(%rbp), %rax
movq 0x10(%rbp), %rax
movq %rdi, -0xa8(%rbp)
movq %rsi, -0xb0(%rbp)
movq %rdx, -0xb8(%rbp)
movq %rcx, -0xc0(%rbp)
movq %r8, -0xc8(%rbp)
movq %r9, -0xd0(%rbp)
movq -0xb0(%rbp), %rcx
movq -0xb8(%rbp), %rax
leaq -0xe0(%rbp), %rdx
movq %rdx, -0x90(%rbp)
movq %rcx, -0x98(%rbp)
movq %rax, -0xa0(%rbp)
movq -0x90(%rbp), %rax
movq -0x98(%rbp), %rcx
movq %rcx, (%rax)
movq -0xa0(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq -0x170(%rbp), %rdi
callq 0x6cb20
movq $0x0, -0x180(%rbp)
movq -0x180(%rbp), %rax
cmpq -0xd0(%rbp), %rax
jge 0x6cb0b
movq $0x4, -0x190(%rbp)
movq -0xd0(%rbp), %rax
subq -0x180(%rbp), %rax
movq %rax, -0x198(%rbp)
leaq -0x190(%rbp), %rdi
leaq -0x198(%rbp), %rsi
callq 0x2b810
movq (%rax), %rax
movq %rax, -0x188(%rbp)
movq -0xc8(%rbp), %rax
movq -0x180(%rbp), %rcx
imulq 0x10(%rbp), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x1a0(%rbp)
movq -0x180(%rbp), %rax
movq %rax, -0x1a8(%rbp)
leaq -0x170(%rbp), %rdi
callq 0x6cb40
leaq -0x170(%rbp), %rdi
callq 0x6cb70
leaq -0x1b8(%rbp), %rcx
movq %rcx, -0x78(%rbp)
movq %rax, -0x80(%rbp)
movq $0x4, -0x88(%rbp)
movq -0x78(%rbp), %rax
movq -0x80(%rbp), %rcx
movq %rcx, (%rax)
movq -0x88(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0xc0(%rbp), %rdx
movq 0x10(%rbp), %rax
imulq -0x1a8(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x1a0(%rbp), %rcx
movq -0x188(%rbp), %r8
movq 0x10(%rbp), %r9
movq -0x188(%rbp), %rax
movq 0x18(%rbp), %rsi
movsd (%rsi), %xmm0
leaq -0xe1(%rbp), %rdi
leaq -0x1b8(%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 0x3af50
movq $0x0, -0x1c0(%rbp)
movq -0x1c0(%rbp), %rax
cmpq -0x188(%rbp), %rax
jge 0x6c9c8
movq -0x1a8(%rbp), %rcx
movq -0x180(%rbp), %rax
addq -0x1c0(%rbp), %rax
leaq -0xe0(%rbp), %rdx
movq %rdx, -0x8(%rbp)
movq %rcx, -0x10(%rbp)
movq %rax, -0x18(%rbp)
movq -0x8(%rbp), %rsi
movq (%rsi), %rax
movq -0x10(%rbp), %rcx
movq -0x18(%rbp), %rdx
imulq 0x8(%rsi), %rdx
addq %rdx, %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x1c8(%rbp)
movq -0x1c0(%rbp), %rax
movq %rax, -0x1d0(%rbp)
movq -0x1d0(%rbp), %rax
cmpq -0x188(%rbp), %rax
jge 0x6c9af
movq -0x1d0(%rbp), %rsi
movq -0x1c0(%rbp), %rdx
leaq -0x170(%rbp), %rdi
callq 0x6cb90
movsd (%rax), %xmm0
movq -0x1c8(%rbp), %rax
movq -0x1d0(%rbp), %rcx
addsd (%rax,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
movq -0x1d0(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x1d0(%rbp)
jmp 0x6c955
jmp 0x6c9b1
movq -0x1c0(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x1c0(%rbp)
jmp 0x6c8e6
movq -0x180(%rbp), %rax
movq -0x188(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x1d8(%rbp)
movq -0x1d8(%rbp), %rcx
movq -0x180(%rbp), %rax
leaq -0xe0(%rbp), %rdx
movq %rdx, -0x60(%rbp)
movq %rcx, -0x68(%rbp)
movq %rax, -0x70(%rbp)
movq -0x60(%rbp), %rax
movq -0x68(%rbp), %rdx
movq -0x70(%rbp), %rcx
movq %rax, -0x20(%rbp)
movq %rdx, -0x28(%rbp)
movq %rcx, -0x30(%rbp)
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rdx
movq -0x30(%rbp), %rsi
movq (%rdi), %rcx
movq 0x8(%rdi), %rdi
imulq %rdi, %rsi
addq %rsi, %rdx
leaq (%rcx,%rdx,8), %rcx
movq 0x8(%rax), %rax
leaq -0x58(%rbp), %rdx
movq %rdx, -0x38(%rbp)
movq %rcx, -0x40(%rbp)
movq %rax, -0x48(%rbp)
movq -0x38(%rbp), %rax
movq -0x40(%rbp), %rcx
movq %rcx, (%rax)
movq -0x48(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0x58(%rbp), %rcx
movq -0x50(%rbp), %rax
movq %rcx, -0x1e8(%rbp)
movq %rax, -0x1e0(%rbp)
movq -0xc0(%rbp), %rdx
movq 0x10(%rbp), %rax
imulq -0x1d8(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x1a0(%rbp), %rcx
movq -0xd0(%rbp), %r8
subq -0x1d8(%rbp), %r8
movq 0x10(%rbp), %r9
movq -0x188(%rbp), %rax
movq 0x18(%rbp), %rsi
movsd (%rsi), %xmm0
leaq -0xe1(%rbp), %rdi
leaq -0x1e8(%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 0x3af50
movq -0x180(%rbp), %rax
addq $0x4, %rax
movq %rax, -0x180(%rbp)
jmp 0x6c79a
addq $0x210, %rsp            # imm = 0x210
popq %rbp
retq
nopw %cs:(%rax,%rax)
nop