35 #ifndef _BLAZE_MATH_EXPRESSIONS_DMATTDMATADDEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_DMATTDMATADDEXPR_H_
92 template<
typename MT1
132 template<
typename MT >
135 enum { value = useAssign };
148 template<
typename MT >
149 struct UseSMPAssign {
150 enum { value = ( !MT1::smpAssignable || !MT2::smpAssignable ) && useAssign };
178 enum { vectorizable = 0 };
181 enum { smpAssignable = MT1::smpAssignable && MT2::smpAssignable };
229 return lhs_.columns();
259 template<
typename T >
272 template<
typename T >
274 return (
lhs_.isAliased( alias ) ||
rhs_.isAliased( alias ) );
284 return lhs_.isAligned() &&
rhs_.isAligned();
294 return lhs_.canSMPAssign() ||
rhs_.canSMPAssign() ||
319 template<
typename MT
329 const size_t m( rhs.
rows() );
330 const size_t n( rhs.
columns() );
331 const size_t block( 16UL );
333 for(
size_t ii=0UL; ii<m; ii+=block ) {
334 const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
335 for(
size_t jj=0UL; jj<n; jj+=block ) {
336 const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
337 for(
size_t i=ii; i<iend; ++i ) {
338 for(
size_t j=jj; j<jend; ++j ) {
339 (~lhs)(i,j) = rhs.
lhs_(i,j) + rhs.
rhs_(i,j);
362 template<
typename MT
375 else if( !IsExpression<MT2>::value &&
isSame( ~lhs, rhs.
rhs_ ) ) {
398 template<
typename MT
404 typedef typename SelectType< SO2, OppositeType, ResultType >::Type TmpType;
416 const TmpType tmp(
serial( rhs ) );
436 template<
typename MT
438 friend inline typename DisableIf< UseAssign<MT> >::Type
446 const size_t m( rhs.rows() );
447 const size_t n( rhs.columns() );
448 const size_t block( 16UL );
450 for(
size_t ii=0UL; ii<m; ii+=block ) {
451 const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
452 for(
size_t jj=0UL; jj<n; jj+=block ) {
453 const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
454 for(
size_t i=ii; i<iend; ++i ) {
455 for(
size_t j=jj; j<jend; ++j ) {
456 (~lhs)(i,j) += rhs.lhs_(i,j) + rhs.rhs_(i,j);
479 template<
typename MT
481 friend inline typename EnableIf< UseAssign<MT> >::Type
513 template<
typename MT
515 friend inline typename DisableIf< UseAssign<MT> >::Type
523 const size_t m( rhs.rows() );
524 const size_t n( rhs.columns() );
525 const size_t block( 16UL );
527 for(
size_t ii=0UL; ii<m; ii+=block ) {
528 const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
529 for(
size_t jj=0UL; jj<n; jj+=block ) {
530 const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
531 for(
size_t i=ii; i<iend; ++i ) {
532 for(
size_t j=jj; j<jend; ++j ) {
533 (~lhs)(i,j) -= rhs.lhs_(i,j) + rhs.rhs_(i,j);
556 template<
typename MT
558 friend inline typename EnableIf< UseAssign<MT> >::Type
598 template<
typename MT
600 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
608 if( !IsExpression<MT1>::value &&
isSame( ~lhs, rhs.lhs_ ) ) {
611 else if( !IsExpression<MT2>::value &&
isSame( ~lhs, rhs.rhs_ ) ) {
636 template<
typename MT
638 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
643 typedef typename SelectType< SO2, OppositeType, ResultType >::Type TmpType;
655 const TmpType tmp( rhs );
676 template<
typename MT
678 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
711 template<
typename MT
713 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
789 template<
typename T1
791 inline typename EnableIf< And< Not< IsSymmetric<T1> >, Not< IsSymmetric<T2> > >
792 ,
const DMatTDMatAddExpr<T1,T2> >::Type
798 throw std::invalid_argument(
"Matrix sizes do not match" );
834 template<
typename T1
836 inline typename EnableIf< And< Not< IsSymmetric<T1> >, Not< IsSymmetric<T2> > >
837 ,
const DMatTDMatAddExpr<T2,T1> >::Type
843 throw std::invalid_argument(
"Matrix sizes do not match" );
872 template<
typename T1
874 inline typename EnableIf< And< IsSymmetric<T1>, Not< IsSymmetric<T2> > >
875 ,
const typename AddExprTrait<T1,T2>::Type >::Type
876 operator+(
const DenseMatrix<T1,false>& lhs,
const DenseMatrix<T2,true>& rhs )
881 throw std::invalid_argument(
"Matrix sizes do not match" );
883 return trans( ~lhs ) + ~rhs;
903 template<
typename T1
905 inline typename EnableIf< IsSymmetric<T2>
906 ,
const typename AddExprTrait<T1,T2>::Type >::Type
907 operator+(
const DenseMatrix<T1,false>& lhs,
const DenseMatrix<T2,true>& rhs )
912 throw std::invalid_argument(
"Matrix sizes do not match" );
914 return (~lhs) +
trans( ~rhs );
934 template<
typename T1
936 inline typename EnableIf< And< Not< IsSymmetric<T1> >, IsSymmetric<T2> >
937 ,
const typename AddExprTrait<T2,T1>::Type >::Type
938 operator+(
const DenseMatrix<T1,true>& lhs,
const DenseMatrix<T2,false>& rhs )
943 throw std::invalid_argument(
"Matrix sizes do not match" );
945 return trans( ~rhs ) + (~lhs);
965 template<
typename T1
967 inline typename EnableIf< IsSymmetric<T1>
968 ,
const typename AddExprTrait<T2,T1>::Type >::Type
969 operator+(
const DenseMatrix<T1,true>& lhs,
const DenseMatrix<T2,false>& rhs )
974 throw std::invalid_argument(
"Matrix sizes do not match" );
976 return (~rhs) +
trans( ~lhs );
992 template<
typename MT1,
typename MT2 >
994 :
public Max< Rows<MT1>, Rows<MT2> >::Type
1010 template<
typename MT1,
typename MT2 >
1012 :
public Max< Columns<MT1>, Columns<MT2> >::Type
1028 template<
typename MT1,
typename MT2 >
1030 :
public IsTrue< IsSymmetric<MT1>::value && IsSymmetric<MT2>::value >
1046 template<
typename MT1,
typename MT2 >
1048 :
public IsTrue< IsLower<MT1>::value && IsLower<MT2>::value >
1064 template<
typename MT1,
typename MT2 >
1066 :
public IsTrue< IsUpper<MT1>::value && IsUpper<MT2>::value >
1082 template<
typename MT1,
typename MT2,
bool AF >
1087 typedef typename AddExprTrait< typename SubmatrixExprTrait<const MT1,AF>::Type
1088 ,
typename SubmatrixExprTrait<const MT2,AF>::Type >::Type Type;
1097 template<
typename MT1,
typename MT2 >
1102 typedef typename AddExprTrait< typename RowExprTrait<const MT1>::Type
1103 ,
typename RowExprTrait<const MT2>::Type >::Type Type;
1112 template<
typename MT1,
typename MT2 >
1117 typedef typename AddExprTrait< typename ColumnExprTrait<const MT1>::Type
1118 ,
typename ColumnExprTrait<const MT2>::Type >::Type Type;
Header file for the Max class template.
Evaluation of the return type of an addition expression.Via this type trait it is possible to evaluat...
Definition: AddExprTrait.h:104
Compile time check whether the given type is a temporary vector or matrix type.This type trait class ...
Definition: IsTemporary.h:87
Header file for the Rows type trait.
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:205
#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
BLAZE_ALWAYS_INLINE 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:946
Header file for the ColumnExprTrait class template.
ResultType::OppositeType OppositeType
Result type with opposite storage order for expression template evaluations.
Definition: DMatTDMatAddExpr.h:159
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: DMatTDMatAddExpr.h:160
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:2478
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:257
AddTrait< RT1, RT2 >::Type ResultType
Result type for expression template evaluations.
Definition: DMatTDMatAddExpr.h:158
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:695
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:260
Header file for the RequiresEvaluation type trait.
MT1::CompositeType CT1
Composite type of the left-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:104
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:190
Constraint on the data type.
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:102
size_t rows() const
Returns the current number of rows of the matrix.
Definition: DMatTDMatAddExpr.h:218
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.
Header file for the IsSymmetric type trait.
const ResultType CompositeType
Data type for composite expression templates.
Definition: DMatTDMatAddExpr.h:167
#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:164
Header file for the DenseMatrix base class.
BLAZE_ALWAYS_INLINE 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:635
Header file for the Columns type trait.
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
Header file for the IsLower type trait.
AddExprTrait< RN1, RN2 >::Type ExprReturnType
Expression return type for the subscript operator.
Definition: DMatTDMatAddExpr.h:118
#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:228
Constraints on the storage order of matrix types.
#define BLAZE_CONSTRAINT_MUST_FORM_VALID_MATMATADDEXPR(T1, T2)
Constraint on the data type.In case the given data types T1 and T2 do not form a valid matrix/matrix ...
Definition: MatMatAddExpr.h:165
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:273
Header file for the EnableIf class template.
DMatTDMatAddExpr< MT1, MT2 > This
Type of this DMatTDMatAdd instance.
Definition: DMatTDMatAddExpr.h:157
Header file for the serial shim.
MT2::ResultType RT2
Result type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:101
EnableIf< IsDenseMatrix< MT1 > >::Type smpSubAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP subtraction assignment of a matrix to dense matrix.
Definition: DenseMatrix.h:160
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:173
#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:2477
LeftOperand lhs_
Left-hand side dense matrix of the addition expression.
Definition: DMatTDMatAddExpr.h:301
Header file for run time assertion macros.
Base template for the AddTrait class.
Definition: AddTrait.h:142
EnableIf< IsDenseMatrix< MT1 > >::Type smpAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP assignment of a matrix to a dense matrix.
Definition: DenseMatrix.h:98
Header file for the addition trait.
BLAZE_ALWAYS_INLINE 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:742
ResultType::ElementType ElementType
Resulting element type.
Definition: DMatTDMatAddExpr.h:161
RightOperand rhs_
Right-hand side dense matrix of the addition expression.
Definition: DMatTDMatAddExpr.h:302
RightOperand rightOperand() const
Returns the right-hand side transpose dense matrix operand.
Definition: DMatTDMatAddExpr.h:248
LeftOperand leftOperand() const
Returns the left-hand side dense matrix operand.
Definition: DMatTDMatAddExpr.h:238
Constraint on the data type.
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
MT2::ReturnType RN2
Return type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:103
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:170
MT1::ResultType RT1
Result type of the left-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:100
ReturnType operator()(size_t i, size_t j) const
2D-access to the matrix elements.
Definition: DMatTDMatAddExpr.h:206
const DMatTransExpr< MT,!SO > trans(const DenseMatrix< MT, SO > &dm)
Calculation of the transpose of the given dense matrix.
Definition: DMatTransExpr.h:932
Base class for all compute expression templates.The Computation class serves as a tag for all computa...
Definition: Computation.h:59
EnableIf< IsDenseMatrix< MT1 > >::Type smpAddAssign(Matrix< 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:129
#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:283
This ResultType
Result type for expression template evaluations.
Definition: CompressedMatrix.h:2473
Header file for the IsTrue value trait.
Header file for basic type definitions.
Header file for the IsUpper type trait.
MT2::CompositeType CT2
Composite type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:105
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:293
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:94
BLAZE_ALWAYS_INLINE 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:849