35 #ifndef _BLAZE_MATH_EXPRESSIONS_DMATTDMATADDEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_DMATTDMATADDEXPR_H_
84 template<
typename MT1
124 template<
typename MT >
127 enum { value = useAssign };
140 template<
typename MT >
141 struct UseSMPAssign {
142 enum { value = ( !MT1::smpAssignable || !MT2::smpAssignable ) && useAssign };
170 enum { vectorizable = 0 };
173 enum { smpAssignable = MT1::smpAssignable && MT2::smpAssignable };
221 return lhs_.columns();
251 template<
typename T >
264 template<
typename T >
266 return (
lhs_.isAliased( alias ) ||
rhs_.isAliased( alias ) );
276 return lhs_.isAligned() &&
rhs_.isAligned();
286 return lhs_.canSMPAssign() ||
rhs_.canSMPAssign() ||
311 template<
typename MT
321 const size_t m( rhs.
rows() );
322 const size_t n( rhs.
columns() );
323 const size_t block( 16UL );
325 for(
size_t ii=0UL; ii<m; ii+=block ) {
326 const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
327 for(
size_t jj=0UL; jj<n; jj+=block ) {
328 const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
329 for(
size_t i=ii; i<iend; ++i ) {
330 for(
size_t j=jj; j<jend; ++j ) {
331 (~lhs)(i,j) = rhs.
lhs_(i,j) + rhs.
rhs_(i,j);
354 template<
typename MT
367 else if( !IsExpression<MT2>::value &&
isSame( ~lhs, rhs.
rhs_ ) ) {
390 template<
typename MT
396 typedef typename SelectType< SO2, OppositeType, ResultType >::Type TmpType;
408 const TmpType tmp(
serial( rhs ) );
428 template<
typename MT
430 friend inline typename DisableIf< UseAssign<MT> >::Type
438 const size_t m( rhs.rows() );
439 const size_t n( rhs.columns() );
440 const size_t block( 16UL );
442 for(
size_t ii=0UL; ii<m; ii+=block ) {
443 const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
444 for(
size_t jj=0UL; jj<n; jj+=block ) {
445 const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
446 for(
size_t i=ii; i<iend; ++i ) {
447 for(
size_t j=jj; j<jend; ++j ) {
448 (~lhs)(i,j) += rhs.lhs_(i,j) + rhs.rhs_(i,j);
471 template<
typename MT
473 friend inline typename EnableIf< UseAssign<MT> >::Type
505 template<
typename MT
507 friend inline typename DisableIf< UseAssign<MT> >::Type
515 const size_t m( rhs.rows() );
516 const size_t n( rhs.columns() );
517 const size_t block( 16UL );
519 for(
size_t ii=0UL; ii<m; ii+=block ) {
520 const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
521 for(
size_t jj=0UL; jj<n; jj+=block ) {
522 const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
523 for(
size_t i=ii; i<iend; ++i ) {
524 for(
size_t j=jj; j<jend; ++j ) {
525 (~lhs)(i,j) -= rhs.lhs_(i,j) + rhs.rhs_(i,j);
548 template<
typename MT
550 friend inline typename EnableIf< UseAssign<MT> >::Type
590 template<
typename MT
592 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
600 if( !IsExpression<MT1>::value &&
isSame( ~lhs, rhs.lhs_ ) ) {
603 else if( !IsExpression<MT2>::value &&
isSame( ~lhs, rhs.rhs_ ) ) {
628 template<
typename MT
630 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
635 typedef typename SelectType< SO2, OppositeType, ResultType >::Type TmpType;
647 const TmpType tmp( rhs );
668 template<
typename MT
670 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
703 template<
typename MT
705 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
780 template<
typename T1
782 inline const DMatTDMatAddExpr<T1,T2>
788 throw std::invalid_argument(
"Matrix sizes do not match" );
824 template<
typename T1
826 inline const DMatTDMatAddExpr<T2,T1>
832 throw std::invalid_argument(
"Matrix sizes do not match" );
849 template<
typename MT1,
typename MT2,
bool AF >
854 typedef typename AddExprTrait< typename SubmatrixExprTrait<const MT1,AF>::Type
855 ,
typename SubmatrixExprTrait<const MT2,AF>::Type >::Type Type;
864 template<
typename MT1,
typename MT2 >
869 typedef typename AddExprTrait< typename RowExprTrait<const MT1>::Type
870 ,
typename RowExprTrait<const MT2>::Type >::Type Type;
879 template<
typename MT1,
typename MT2 >
884 typedef typename AddExprTrait< typename ColumnExprTrait<const MT1>::Type
885 ,
typename ColumnExprTrait<const MT2>::Type >::Type Type;
Evaluation of the return type of an addition expression.Via this type trait it is possible to evaluat...
Definition: AddExprTrait.h:103
Compile time check whether the given type is a temporary vector or matrix type.This type trait class ...
Definition: IsTemporary.h:87
void smpSubAssign(DenseMatrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP subtraction assignment of a matrix to dense matrix.
Definition: DenseMatrix.h:152
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:199
#define BLAZE_CONSTRAINT_MUST_BE_DENSE_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a dense, N-dimensional matrix type...
Definition: DenseMatrix.h:79
Header file for the ColumnExprTrait class template.
ResultType::OppositeType OppositeType
Result type with opposite storage order for expression template evaluations.
Definition: DMatTDMatAddExpr.h:151
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: DMatTDMatAddExpr.h:152
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:2408
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:251
AddTrait< RT1, RT2 >::Type ResultType
Result type for expression template evaluations.
Definition: DMatTDMatAddExpr.h:150
Header file for the AddExprTrait class template.
const DMatSerialExpr< MT, SO > serial(const DenseMatrix< MT, SO > &dm)
Forces the serial evaluation of the given dense matrix expression dm.
Definition: DMatSerialExpr.h:690
Header file for the Computation base class.
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: DMatTDMatAddExpr.h:252
Header file for the RequiresEvaluation type trait.
MT1::CompositeType CT1
Composite type of the left-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:96
bool isSame(const Matrix< MT1, SO1 > &a, const Matrix< MT2, SO2 > &b)
Returns whether the two given matrices represent the same observable state.
Definition: Matrix.h:409
Base class for dense matrices.The DenseMatrix class is a base class for all dense matrix classes...
Definition: DenseMatrix.h:70
Constraint on the data type.
DMatTDMatAddExpr(const MT1 &lhs, const MT2 &rhs)
Constructor for the DMatTDMatAddExpr class.
Definition: DMatTDMatAddExpr.h:182
Constraint on the data type.
void smpAddAssign(DenseMatrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP addition assignment of a matrix to a dense matrix.
Definition: DenseMatrix.h:122
Compile time check to query the requirement to evaluate an expression.Via this type trait it is possi...
Definition: RequiresEvaluation.h:90
MT1::ReturnType RN1
Return type of the left-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:94
size_t rows() const
Returns the current number of rows of the matrix.
Definition: DMatTDMatAddExpr.h:210
Compile time type selection.The SelectType class template selects one of the two given types T1 and T...
Definition: SelectType.h:59
Header file for the DisableIf class template.
Header file for the IsTemporary type trait class.
const ResultType CompositeType
Data type for composite expression templates.
Definition: DMatTDMatAddExpr.h:159
#define BLAZE_CONSTRAINT_MUST_BE_COLUMN_MAJOR_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a column-major dense or sparse matri...
Definition: StorageOrder.h:161
const SelectType< returnExpr, ExprReturnType, ElementType >::Type ReturnType
Return type for expression template evaluations.
Definition: DMatTDMatAddExpr.h:156
Header file for the DenseMatrix base class.
void assign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the assignment of a matrix to a matrix.
Definition: Matrix.h:271
Base class for all matrix/matrix addition expression templates.The MatMatAddExpr class serves as a ta...
Definition: MatMatAddExpr.h:65
const DenseIterator< Type > operator+(const DenseIterator< Type > &it, ptrdiff_t inc)
Addition between a DenseIterator and an integral value.
Definition: DenseIterator.h:556
AddExprTrait< RN1, RN2 >::Type ExprReturnType
Expression return type for the subscript operator.
Definition: DMatTDMatAddExpr.h:110
#define BLAZE_CONSTRAINT_MUST_BE_REFERENCE_TYPE(T)
Constraint on the data type.In case the given data type T is not a reference type, a compilation error is created.
Definition: Reference.h:78
size_t columns() const
Returns the current number of columns of the matrix.
Definition: DMatTDMatAddExpr.h:220
Constraints on the storage order of matrix types.
Header file for the SelectType class template.
Header file for the RowExprTrait class template.
Header file for all forward declarations for expression class templates.
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: DMatTDMatAddExpr.h:265
Header file for the EnableIf class template.
DMatTDMatAddExpr< MT1, MT2 > This
Type of this DMatTDMatAdd instance.
Definition: DMatTDMatAddExpr.h:149
Header file for the serial shim.
MT2::ResultType RT2
Result type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:93
void smpAssign(DenseMatrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP assignment of a matrix to a dense matrix.
Definition: DenseMatrix.h:92
Header file for the SubmatrixExprTrait class template.
SelectType< IsExpression< MT2 >::value, const MT2, const MT2 & >::Type RightOperand
Composite type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:165
#define BLAZE_CONSTRAINT_MUST_BE_ROW_MAJOR_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a row-major dense or sparse matrix t...
Definition: StorageOrder.h:81
const Type & ReturnType
Return type for expression template evaluations.
Definition: CompressedMatrix.h:2407
LeftOperand lhs_
Left-hand side dense matrix of the addition expression.
Definition: DMatTDMatAddExpr.h:293
Header file for run time assertion macros.
Base template for the AddTrait class.
Definition: AddTrait.h:141
Header file for the addition trait.
void addAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the addition assignment of a matrix to a matrix.
Definition: Matrix.h:301
ResultType::ElementType ElementType
Resulting element type.
Definition: DMatTDMatAddExpr.h:153
RightOperand rhs_
Right-hand side dense matrix of the addition expression.
Definition: DMatTDMatAddExpr.h:294
RightOperand rightOperand() const
Returns the right-hand side transpose dense matrix operand.
Definition: DMatTDMatAddExpr.h:240
LeftOperand leftOperand() const
Returns the left-hand side dense matrix operand.
Definition: DMatTDMatAddExpr.h:230
Substitution Failure Is Not An Error (SFINAE) class.The EnableIf class template is an auxiliary tool ...
Definition: EnableIf.h:184
const size_t SMP_DMATTDMATADD_THRESHOLD
SMP row-major dense matrix/column-major dense matrix addition threshold.This threshold specifies when...
Definition: Thresholds.h:739
void subAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the subtraction assignment of a matrix to matrix.
Definition: Matrix.h:331
MT2::ReturnType RN2
Return type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:95
Header file for the MatMatAddExpr base class.
Substitution Failure Is Not An Error (SFINAE) class.The DisableIf class template is an auxiliary tool...
Definition: DisableIf.h:184
#define BLAZE_CONSTRAINT_MATRICES_MUST_HAVE_SAME_STORAGE_ORDER(T1, T2)
Constraint on the data type.In case either of the two given data types T1 or T2 is not a matrix type ...
Definition: StorageOrder.h:283
SelectType< IsExpression< MT1 >::value, const MT1, const MT1 & >::Type LeftOperand
Composite type of the left-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:162
MT1::ResultType RT1
Result type of the left-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:92
ReturnType operator()(size_t i, size_t j) const
2D-access to the matrix elements.
Definition: DMatTDMatAddExpr.h:198
Base class for all compute expression templates.The Computation class serves as a tag for all computa...
Definition: Computation.h:59
#define BLAZE_FUNCTION_TRACE
Function trace macro.This macro can be used to reliably trace function calls. In case function tracin...
Definition: FunctionTrace.h:157
bool isAligned() const
Returns whether the operands of the expression are properly aligned in memory.
Definition: DMatTDMatAddExpr.h:275
This ResultType
Result type for expression template evaluations.
Definition: CompressedMatrix.h:2403
Header file for basic type definitions.
MT2::CompositeType CT2
Composite type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:97
Header file for the thresholds for matrix/vector and matrix/matrix multiplications.
#define BLAZE_INTERNAL_ASSERT(expr, msg)
Run time assertion macro for internal checks.In case of an invalid run time expression, the program execution is terminated. The BLAZE_INTERNAL_ASSERT macro can be disabled by setting the BLAZE_USER_ASSERTION flag to zero or by defining NDEBUG during the compilation.
Definition: Assert.h:101
bool canSMPAssign() const
Returns whether the expression can be used in SMP assignments.
Definition: DMatTDMatAddExpr.h:285
Compile time check whether the given type is an expression template.This type trait class tests wheth...
Definition: IsExpression.h:87
Header file for the IsExpression type trait class.
Header file for the FunctionTrace class.
Expression object for dense matrix-transpose dense matrix additions.The DMatTDMatAddExpr class repres...
Definition: DMatTDMatAddExpr.h:86