35 #ifndef _BLAZE_MATH_EXPRESSIONS_DMATTDMATADDEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_DMATTDMATADDEXPR_H_
99 template<
typename MT1
139 template<
typename MT >
142 enum { value = useAssign };
155 template<
typename MT >
156 struct UseSMPAssign {
157 enum { value = ( !MT1::smpAssignable || !MT2::smpAssignable ) && useAssign };
185 enum { vectorizable = 0 };
188 enum { smpAssignable = MT1::smpAssignable && MT2::smpAssignable };
236 return lhs_.columns();
266 template<
typename T >
279 template<
typename T >
281 return (
lhs_.isAliased( alias ) ||
rhs_.isAliased( alias ) );
291 return lhs_.isAligned() &&
rhs_.isAligned();
301 return lhs_.canSMPAssign() ||
rhs_.canSMPAssign() ||
326 template<
typename MT
336 const size_t m( rhs.
rows() );
337 const size_t n( rhs.
columns() );
338 const size_t block( 16UL );
340 for(
size_t ii=0UL; ii<m; ii+=block ) {
341 const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
342 for(
size_t jj=0UL; jj<n; jj+=block ) {
343 const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
344 for(
size_t i=ii; i<iend; ++i ) {
345 for(
size_t j=jj; j<jend; ++j ) {
346 (~lhs)(i,j) = rhs.
lhs_(i,j) + rhs.
rhs_(i,j);
369 template<
typename MT
382 else if( !IsExpression<MT2>::value &&
isSame( ~lhs, rhs.
rhs_ ) ) {
405 template<
typename MT
411 typedef typename SelectType< SO2, OppositeType, ResultType >::Type TmpType;
423 const TmpType tmp(
serial( rhs ) );
443 template<
typename MT
445 friend inline typename DisableIf< UseAssign<MT> >::Type
453 const size_t m( rhs.rows() );
454 const size_t n( rhs.columns() );
455 const size_t block( 16UL );
457 for(
size_t ii=0UL; ii<m; ii+=block ) {
458 const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
459 for(
size_t jj=0UL; jj<n; jj+=block ) {
460 const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
461 for(
size_t i=ii; i<iend; ++i ) {
462 for(
size_t j=jj; j<jend; ++j ) {
463 (~lhs)(i,j) += rhs.lhs_(i,j) + rhs.rhs_(i,j);
486 template<
typename MT
488 friend inline typename EnableIf< UseAssign<MT> >::Type
520 template<
typename MT
522 friend inline typename DisableIf< UseAssign<MT> >::Type
530 const size_t m( rhs.rows() );
531 const size_t n( rhs.columns() );
532 const size_t block( 16UL );
534 for(
size_t ii=0UL; ii<m; ii+=block ) {
535 const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
536 for(
size_t jj=0UL; jj<n; jj+=block ) {
537 const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
538 for(
size_t i=ii; i<iend; ++i ) {
539 for(
size_t j=jj; j<jend; ++j ) {
540 (~lhs)(i,j) -= rhs.lhs_(i,j) + rhs.rhs_(i,j);
563 template<
typename MT
565 friend inline typename EnableIf< UseAssign<MT> >::Type
605 template<
typename MT
607 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
615 if( !IsExpression<MT1>::value &&
isSame( ~lhs, rhs.lhs_ ) ) {
618 else if( !IsExpression<MT2>::value &&
isSame( ~lhs, rhs.rhs_ ) ) {
643 template<
typename MT
645 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
650 typedef typename SelectType< SO2, OppositeType, ResultType >::Type TmpType;
662 const TmpType tmp( rhs );
683 template<
typename MT
685 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
718 template<
typename MT
720 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
796 template<
typename T1
798 inline typename EnableIf< And< Not< IsSymmetric<T1> >, Not< IsSymmetric<T2> > >
799 ,
const DMatTDMatAddExpr<T1,T2> >::Type
805 throw std::invalid_argument(
"Matrix sizes do not match" );
841 template<
typename T1
843 inline typename EnableIf< And< Not< IsSymmetric<T1> >, Not< IsSymmetric<T2> > >
844 ,
const DMatTDMatAddExpr<T2,T1> >::Type
850 throw std::invalid_argument(
"Matrix sizes do not match" );
879 template<
typename T1
881 inline typename EnableIf< And< IsSymmetric<T1>, Not< IsSymmetric<T2> > >
882 ,
const typename AddExprTrait<T1,T2>::Type >::Type
883 operator+(
const DenseMatrix<T1,false>& lhs,
const DenseMatrix<T2,true>& rhs )
888 throw std::invalid_argument(
"Matrix sizes do not match" );
890 return trans( ~lhs ) + ~rhs;
910 template<
typename T1
912 inline typename EnableIf< IsSymmetric<T2>
913 ,
const typename AddExprTrait<T1,T2>::Type >::Type
914 operator+(
const DenseMatrix<T1,false>& lhs,
const DenseMatrix<T2,true>& rhs )
919 throw std::invalid_argument(
"Matrix sizes do not match" );
921 return (~lhs) +
trans( ~rhs );
941 template<
typename T1
943 inline typename EnableIf< And< Not< IsSymmetric<T1> >, IsSymmetric<T2> >
944 ,
const typename AddExprTrait<T2,T1>::Type >::Type
945 operator+(
const DenseMatrix<T1,true>& lhs,
const DenseMatrix<T2,false>& rhs )
950 throw std::invalid_argument(
"Matrix sizes do not match" );
952 return trans( ~rhs ) + (~lhs);
972 template<
typename T1
974 inline typename EnableIf< IsSymmetric<T1>
975 ,
const typename AddExprTrait<T2,T1>::Type >::Type
976 operator+(
const DenseMatrix<T1,true>& lhs,
const DenseMatrix<T2,false>& rhs )
981 throw std::invalid_argument(
"Matrix sizes do not match" );
983 return (~rhs) +
trans( ~lhs );
999 template<
typename MT1,
typename MT2 >
1001 :
public Max< Rows<MT1>, Rows<MT2> >::Type
1017 template<
typename MT1,
typename MT2 >
1019 :
public Max< Columns<MT1>, Columns<MT2> >::Type
1035 template<
typename MT1,
typename MT2 >
1037 :
public IsTrue< IsSymmetric<MT1>::value && IsSymmetric<MT2>::value >
1053 template<
typename MT1,
typename MT2 >
1055 :
public IsTrue< And< IsLower<MT1>, IsLower<MT2> >::value >
1071 template<
typename MT1,
typename MT2 >
1073 :
public IsTrue< Or< And< IsUniLower<MT1>, IsStrictlyLower<MT2> >
1074 , And< IsUniLower<MT2>, IsStrictlyLower<MT1> > >::value >
1090 template<
typename MT1,
typename MT2 >
1092 :
public IsTrue< And< IsStrictlyLower<MT1>, IsStrictlyLower<MT2> >::value >
1108 template<
typename MT1,
typename MT2 >
1110 :
public IsTrue< And< IsUpper<MT1>, IsUpper<MT2> >::value >
1126 template<
typename MT1,
typename MT2 >
1128 :
public IsTrue< Or< And< IsUniUpper<MT1>, IsStrictlyUpper<MT2> >
1129 , And< IsUniUpper<MT2>, IsStrictlyUpper<MT1> > >::value >
1145 template<
typename MT1,
typename MT2 >
1147 :
public IsTrue< And< IsStrictlyUpper<MT1>, IsStrictlyUpper<MT2> >::value >
1163 template<
typename MT1,
typename MT2,
bool AF >
1168 typedef typename AddExprTrait< typename SubmatrixExprTrait<const MT1,AF>::Type
1169 ,
typename SubmatrixExprTrait<const MT2,AF>::Type >::Type Type;
1178 template<
typename MT1,
typename MT2 >
1183 typedef typename AddExprTrait< typename RowExprTrait<const MT1>::Type
1184 ,
typename RowExprTrait<const MT2>::Type >::Type Type;
1193 template<
typename MT1,
typename MT2 >
1198 typedef typename AddExprTrait< typename ColumnExprTrait<const MT1>::Type
1199 ,
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.
Header file for the IsUniUpper type trait.
Header file for basic type definitions.
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:209
#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:166
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: DMatTDMatAddExpr.h:167
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:2507
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:261
Header file for the And class template.
AddTrait< RT1, RT2 >::Type ResultType
Result type for expression template evaluations.
Definition: DMatTDMatAddExpr.h:165
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:699
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:267
Header file for the RequiresEvaluation type trait.
Header file for the IsUniLower type trait.
MT1::CompositeType CT1
Composite type of the left-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:111
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:197
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:109
size_t rows() const
Returns the current number of rows of the matrix.
Definition: DMatTDMatAddExpr.h:225
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 IsStrictlyUpper type trait.
Header file for the IsSymmetric type trait.
const ResultType CompositeType
Data type for composite expression templates.
Definition: DMatTDMatAddExpr.h:174
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
#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:171
Header file for the Or class template.
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.
Header file for the Not class template.
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:125
#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:235
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:280
Header file for the EnableIf class template.
Header file for the IsStrictlyLower type trait.
DMatTDMatAddExpr< MT1, MT2 > This
Type of this DMatTDMatAdd instance.
Definition: DMatTDMatAddExpr.h:164
Header file for the serial shim.
MT2::ResultType RT2
Result type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:108
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:180
#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:2506
LeftOperand lhs_
Left-hand side dense matrix of the addition expression.
Definition: DMatTDMatAddExpr.h:308
Header file for run time assertion macros.
Base template for the AddTrait class.
Definition: AddTrait.h:150
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:168
RightOperand rhs_
Right-hand side dense matrix of the addition expression.
Definition: DMatTDMatAddExpr.h:309
RightOperand rightOperand() const
Returns the right-hand side transpose dense matrix operand.
Definition: DMatTDMatAddExpr.h:255
LeftOperand leftOperand() const
Returns the left-hand side dense matrix operand.
Definition: DMatTDMatAddExpr.h:245
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:110
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:177
MT1::ResultType RT1
Result type of the left-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:107
ReturnType operator()(size_t i, size_t j) const
2D-access to the matrix elements.
Definition: DMatTDMatAddExpr.h:213
const DMatTransExpr< MT,!SO > trans(const DenseMatrix< MT, SO > &dm)
Calculation of the transpose of the given dense matrix.
Definition: DMatTransExpr.h:937
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:290
This ResultType
Result type for expression template evaluations.
Definition: CompressedMatrix.h:2502
Header file for the IsTrue value trait.
Header file for the IsUpper type trait.
MT2::CompositeType CT2
Composite type of the right-hand side dense matrix expression.
Definition: DMatTDMatAddExpr.h:112
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:300
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:101
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