blob: 2703bdb64a3bc37b16e270dc54ee8e65e97b0e83 [file]
// This file is part of Eigen, a lightweight C++ template library
// for linear algebra.
//
// Copyright (C) 2008-2014 Gael Guennebaud <gael.guennebaud@inria.fr>
//
// This Source Code Form is subject to the terms of the Mozilla
// Public License v. 2.0. If a copy of the MPL was not distributed
// with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
// SPDX-License-Identifier: MPL-2.0
#ifndef EIGEN_SPARSEASSIGN_H
#define EIGEN_SPARSEASSIGN_H
// IWYU pragma: private
#include "./InternalHeaderCheck.h"
namespace Eigen {
template <typename Derived>
template <typename OtherDerived>
Derived &SparseMatrixBase<Derived>::operator=(const EigenBase<OtherDerived> &other) {
internal::call_assignment_no_alias(derived(), other.derived());
return derived();
}
template <typename Derived>
template <typename OtherDerived>
Derived &SparseMatrixBase<Derived>::operator=(const ReturnByValue<OtherDerived> &other) {
// TODO: use the evaluator mechanism
other.evalTo(derived());
return derived();
}
template <typename Derived>
template <typename OtherDerived>
inline Derived &SparseMatrixBase<Derived>::operator=(const SparseMatrixBase<OtherDerived> &other) {
// by default sparse evaluations do not alias, so we can safely bypass the generic call_assignment routine
internal::Assignment<Derived, OtherDerived, internal::assign_op<Scalar, typename OtherDerived::Scalar>>::run(
derived(), other.derived(), internal::assign_op<Scalar, typename OtherDerived::Scalar>());
return derived();
}
template <typename Derived>
inline Derived &SparseMatrixBase<Derived>::operator=(const Derived &other) {
internal::call_assignment_no_alias(derived(), other.derived());
return derived();
}
namespace internal {
template <>
struct storage_kind_to_evaluator_kind<Sparse> {
typedef IteratorBased Kind;
};
template <>
struct storage_kind_to_shape<Sparse> {
typedef SparseShape Shape;
};
struct Sparse2Sparse {};
struct Sparse2Dense {};
template <>
struct AssignmentKind<SparseShape, SparseShape> {
typedef Sparse2Sparse Kind;
};
template <>
struct AssignmentKind<SparseShape, SparseTriangularShape> {
typedef Sparse2Sparse Kind;
};
template <>
struct AssignmentKind<DenseShape, SparseShape> {
typedef Sparse2Dense Kind;
};
template <>
struct AssignmentKind<DenseShape, SparseTriangularShape> {
typedef Sparse2Dense Kind;
};
template <typename XprType>
Index sparse_assignment_total_size(const XprType &src) {
const Index rows = src.rows();
const Index cols = src.cols();
const Index maxIndex = NumTraits<Index>::highest();
if (rows == 0 || cols == 0) {
return 0;
}
return rows <= maxIndex / cols ? rows * cols : maxIndex;
}
template <typename XprType>
Index sparse_assignment_heuristic_reserve_size(const XprType &src) {
const Index maxSize = (std::max)(src.rows(), src.cols());
const Index maxIndex = NumTraits<Index>::highest();
const Index totalSize = sparse_assignment_total_size(src);
const Index vectorReserve = maxSize <= maxIndex / 2 ? 2 * maxSize : maxIndex;
return (std::min)(totalSize, vectorReserve);
}
inline Index scaled_sparse_assignment_reserve_size(Index count, Index numerator, Index denominator) {
eigen_internal_assert(denominator > 0);
if (count == 0 || numerator == 0) return 0;
const Index maxIndex = NumTraits<Index>::highest();
if (count > maxIndex / numerator) return maxIndex;
const Index product = count * numerator;
return product / denominator + Index(product % denominator != 0);
}
template <typename SrcXprType>
struct use_exact_sparse_assignment_reserve : std::true_type {};
template <typename SrcXprType>
struct use_exact_sparse_assignment_reserve<const SrcXprType> : use_exact_sparse_assignment_reserve<SrcXprType> {};
// SparseView over an index-based expression must scan the underlying dense coefficients to count non-zeros.
// Use an estimated reserve there to avoid traversing the full source twice.
template <typename ArgType>
struct use_exact_sparse_assignment_reserve<SparseView<ArgType>>
: std::is_same<typename evaluator_traits<remove_all_t<ArgType>>::Kind, IteratorBased> {};
// Detect whether a const SrcXprType exposes a member nonZeros(). Concrete sparse storage classes
// (SparseMatrix via SparseCompressedBase, SparseVector, SparseMap, SparseBlock, SparseTranspose)
// do; sparse expressions such as CwiseBinaryOp / CwiseUnaryOp / Product / SparseTriangularView /
// SparseView do not -- their evaluators only expose nonZerosEstimate().
template <typename T, typename = void>
struct has_member_nonZeros : std::false_type {};
template <typename T>
struct has_member_nonZeros<T, void_t<decltype(std::declval<const T &>().nonZeros())>> : std::true_type {};
template <typename SrcXprType, typename SrcEvaluatorType>
Index sparse_assignment_reserve_size_exact(const SrcXprType &, SrcEvaluatorType &srcEvaluator,
Index outerEvaluationSize, std::false_type /*has_member_nonZeros*/) {
Index reserveSize = 0;
for (Index j = 0; j < outerEvaluationSize; ++j)
for (typename SrcEvaluatorType::InnerIterator it(srcEvaluator, j); it; ++it) reserveSize++;
return reserveSize;
}
template <typename SrcXprType, typename SrcEvaluatorType>
Index sparse_assignment_reserve_size_exact(const SrcXprType &src, SrcEvaluatorType &srcEvaluator,
Index outerEvaluationSize, std::true_type /*has_member_nonZeros*/) {
// O(1) for compressed SparseMatrix, O(outerSize) uncompressed -- both cheaper than the O(nnz)
// iteration fallback. SparseBlock for general (non-inner-panel) blocks reports Dynamic; iterate
// in that case.
const Index nz = src.nonZeros();
if (nz != Dynamic) return nz;
return sparse_assignment_reserve_size_exact(src, srcEvaluator, outerEvaluationSize, std::false_type{});
}
template <typename SrcXprType, typename SrcEvaluatorType>
Index sparse_assignment_reserve_size(const SrcXprType &src, SrcEvaluatorType &srcEvaluator, Index outerEvaluationSize,
std::true_type) {
return sparse_assignment_reserve_size_exact(src, srcEvaluator, outerEvaluationSize,
has_member_nonZeros<SrcXprType>{});
}
template <typename SrcXprType, typename SrcEvaluatorType>
Index sparse_assignment_reserve_size(const SrcXprType &src, SrcEvaluatorType &srcEvaluator, Index outerEvaluationSize,
std::false_type) {
const Index totalSize = sparse_assignment_total_size(src);
// For small dense sources, reserve the full possible size instead of spending another pass counting
// entries. The 1024-slot cap bounds transient over-reservation to ~12 KB per assignment while still
// letting common small-matrix shapes (up to 32x32) avoid mid-fill reallocation when the source is
// densely populated.
if (totalSize <= 1024) return totalSize;
const Index heuristicReserveSize = sparse_assignment_heuristic_reserve_size(src);
// Avoid turning the sample into an almost-complete pre-scan for short, wide, or tall expressions.
if (outerEvaluationSize <= 8) return heuristicReserveSize;
// Scan up to 8 outer slices and scale the per-slice nnz to the full size. Small enough that the
// sample's scan cost is negligible against the assignment itself, large enough to keep variance
// low at typical sparsities; the result is then clamped by total size and the heuristic floor.
const Index sampleOuterSize = (std::min)(outerEvaluationSize, Index(8));
Index sampleReserveSize = 0;
for (Index j = 0; j < sampleOuterSize; ++j) {
for (typename SrcEvaluatorType::InnerIterator it(srcEvaluator, j); it; ++it) sampleReserveSize++;
}
const Index estimatedReserveSize =
scaled_sparse_assignment_reserve_size(sampleReserveSize, outerEvaluationSize, sampleOuterSize);
return (std::min)(totalSize, (std::max)(heuristicReserveSize, estimatedReserveSize));
}
template <typename DstXprType, typename SrcXprType>
void assign_sparse_to_sparse(DstXprType &dst, const SrcXprType &src) {
typedef typename DstXprType::Scalar Scalar;
typedef internal::evaluator<DstXprType> DstEvaluatorType;
typedef internal::evaluator<SrcXprType> SrcEvaluatorType;
SrcEvaluatorType srcEvaluator(src);
constexpr bool transpose = (DstEvaluatorType::Flags & RowMajorBit) != (SrcEvaluatorType::Flags & RowMajorBit);
const Index outerEvaluationSize = (SrcEvaluatorType::Flags & RowMajorBit) ? src.rows() : src.cols();
const Index reserveSize = sparse_assignment_reserve_size(src, srcEvaluator, outerEvaluationSize,
use_exact_sparse_assignment_reserve<SrcXprType>());
if ((!transpose) && src.isRValue()) {
// eval without temporary
dst.resize(src.rows(), src.cols());
dst.setZero();
dst.reserve(reserveSize);
for (Index j = 0; j < outerEvaluationSize; ++j) {
dst.startVec(j);
for (typename SrcEvaluatorType::InnerIterator it(srcEvaluator, j); it; ++it) {
Scalar v = it.value();
dst.insertBackByOuterInner(j, it.index()) = v;
}
}
dst.finalize();
} else {
// eval through a temporary
eigen_assert((((internal::traits<DstXprType>::SupportedAccessPatterns & OuterRandomAccessPattern) ==
OuterRandomAccessPattern) ||
(!transpose)) &&
"the transpose operation is supposed to be handled in SparseMatrix::operator=");
DstXprType temp(src.rows(), src.cols());
temp.reserve(reserveSize);
for (Index j = 0; j < outerEvaluationSize; ++j) {
temp.startVec(j);
for (typename SrcEvaluatorType::InnerIterator it(srcEvaluator, j); it; ++it) {
Scalar v = it.value();
temp.insertBackByOuterInner(transpose ? it.index() : j, transpose ? j : it.index()) = v;
}
}
temp.finalize();
dst = temp.markAsRValue();
}
}
// Generic Sparse to Sparse assignment
template <typename DstXprType, typename SrcXprType, typename Functor>
struct Assignment<DstXprType, SrcXprType, Functor, Sparse2Sparse> {
static void run(DstXprType &dst, const SrcXprType &src,
const internal::assign_op<typename DstXprType::Scalar, typename SrcXprType::Scalar> & /*func*/) {
assign_sparse_to_sparse(dst.derived(), src.derived());
}
};
// Generic Sparse to Dense assignment
template <typename DstXprType, typename SrcXprType, typename Functor, typename Weak>
struct Assignment<DstXprType, SrcXprType, Functor, Sparse2Dense, Weak> {
static void run(DstXprType &dst, const SrcXprType &src, const Functor &func) {
EIGEN_IF_CONSTEXPR ((std::is_same<Functor, internal::assign_op<typename DstXprType::Scalar,
typename SrcXprType::Scalar>>::value))
dst.setZero();
internal::evaluator<SrcXprType> srcEval(src);
resize_if_allowed(dst, src, func);
internal::evaluator<DstXprType> dstEval(dst);
const Index outerEvaluationSize = (internal::evaluator<SrcXprType>::Flags & RowMajorBit) ? src.rows() : src.cols();
for (Index j = 0; j < outerEvaluationSize; ++j)
for (typename internal::evaluator<SrcXprType>::InnerIterator i(srcEval, j); i; ++i)
func.assignCoeff(dstEval.coeffRef(i.row(), i.col()), i.value());
}
};
// Specialization for dense ?= dense +/- sparse and dense ?= sparse +/- dense
template <typename DstXprType, typename Func1, typename Func2>
struct assignment_from_dense_op_sparse {
template <typename SrcXprType, typename InitialFunc>
static EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE void run(DstXprType &dst, const SrcXprType &src,
const InitialFunc & /*func*/) {
#ifdef EIGEN_SPARSE_ASSIGNMENT_FROM_DENSE_OP_SPARSE_PLUGIN
EIGEN_SPARSE_ASSIGNMENT_FROM_DENSE_OP_SPARSE_PLUGIN
#endif
call_assignment_no_alias(dst, src.lhs(), Func1());
call_assignment_no_alias(dst, src.rhs(), Func2());
}
// Specialization for dense1 = sparse + dense2; -> dense1 = dense2; dense1 += sparse;
template <typename Lhs, typename Rhs, typename Scalar>
static EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE
std::enable_if_t<std::is_same<typename internal::evaluator_traits<Rhs>::Shape, DenseShape>::value>
run(DstXprType &dst, const CwiseBinaryOp<internal::scalar_sum_op<Scalar, Scalar>, const Lhs, const Rhs> &src,
const internal::assign_op<typename DstXprType::Scalar, Scalar> & /*func*/) {
#ifdef EIGEN_SPARSE_ASSIGNMENT_FROM_SPARSE_ADD_DENSE_PLUGIN
EIGEN_SPARSE_ASSIGNMENT_FROM_SPARSE_ADD_DENSE_PLUGIN
#endif
// Apply the dense matrix first, then the sparse one.
call_assignment_no_alias(dst, src.rhs(), Func1());
call_assignment_no_alias(dst, src.lhs(), Func2());
}
// Specialization for dense1 = sparse - dense2; -> dense1 = -dense2; dense1 += sparse;
template <typename Lhs, typename Rhs, typename Scalar>
static EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE
std::enable_if_t<std::is_same<typename internal::evaluator_traits<Rhs>::Shape, DenseShape>::value>
run(DstXprType &dst,
const CwiseBinaryOp<internal::scalar_difference_op<Scalar, Scalar>, const Lhs, const Rhs> &src,
const internal::assign_op<typename DstXprType::Scalar, Scalar> & /*func*/) {
#ifdef EIGEN_SPARSE_ASSIGNMENT_FROM_SPARSE_SUB_DENSE_PLUGIN
EIGEN_SPARSE_ASSIGNMENT_FROM_SPARSE_SUB_DENSE_PLUGIN
#endif
// Apply the dense matrix first, then the sparse one.
call_assignment_no_alias(dst, -src.rhs(), Func1());
call_assignment_no_alias(dst, src.lhs(), add_assign_op<typename DstXprType::Scalar, typename Lhs::Scalar>());
}
};
#define EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(ASSIGN_OP, BINOP, ASSIGN_OP2) \
template <typename DstXprType, typename Lhs, typename Rhs, typename Scalar> \
struct Assignment< \
DstXprType, CwiseBinaryOp<internal::BINOP<Scalar, Scalar>, const Lhs, const Rhs>, \
internal::ASSIGN_OP<typename DstXprType::Scalar, Scalar>, Sparse2Dense, \
std::enable_if_t<std::is_same<typename internal::evaluator_traits<Lhs>::Shape, DenseShape>::value || \
std::is_same<typename internal::evaluator_traits<Rhs>::Shape, DenseShape>::value>> \
: assignment_from_dense_op_sparse<DstXprType, \
internal::ASSIGN_OP<typename DstXprType::Scalar, typename Lhs::Scalar>, \
internal::ASSIGN_OP2<typename DstXprType::Scalar, typename Rhs::Scalar>> {}
EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(assign_op, scalar_sum_op, add_assign_op);
EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(add_assign_op, scalar_sum_op, add_assign_op);
EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(sub_assign_op, scalar_sum_op, sub_assign_op);
EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(assign_op, scalar_difference_op, sub_assign_op);
EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(add_assign_op, scalar_difference_op, sub_assign_op);
EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(sub_assign_op, scalar_difference_op, add_assign_op);
#undef EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE
// Specialization for "dst = dec.solve(rhs)"
// NOTE we need to specialize it for Sparse2Sparse to avoid ambiguous specialization error
template <typename DstXprType, typename DecType, typename RhsType, typename Scalar>
struct Assignment<DstXprType, Solve<DecType, RhsType>, internal::assign_op<Scalar, Scalar>, Sparse2Sparse> {
typedef Solve<DecType, RhsType> SrcXprType;
static void run(DstXprType &dst, const SrcXprType &src, const internal::assign_op<Scalar, Scalar> &) {
Index dstRows = src.rows();
Index dstCols = src.cols();
if ((dst.rows() != dstRows) || (dst.cols() != dstCols)) dst.resize(dstRows, dstCols);
src.dec()._solve_impl(src.rhs(), dst);
}
};
struct Diagonal2Sparse {};
template <>
struct AssignmentKind<SparseShape, DiagonalShape> {
typedef Diagonal2Sparse Kind;
};
template <typename DstXprType, typename SrcXprType, typename Functor>
struct Assignment<DstXprType, SrcXprType, Functor, Diagonal2Sparse> {
typedef typename DstXprType::StorageIndex StorageIndex;
typedef typename DstXprType::Scalar Scalar;
template <int Options, typename AssignFunc>
static void run(SparseMatrix<Scalar, Options, StorageIndex> &dst, const SrcXprType &src, const AssignFunc &func) {
dst.assignDiagonal(src.diagonal(), func);
}
template <typename DstDerived>
static void run(SparseMatrixBase<DstDerived> &dst, const SrcXprType &src,
const internal::assign_op<typename DstXprType::Scalar, typename SrcXprType::Scalar> & /*func*/) {
dst.derived().diagonal() = src.diagonal();
}
template <typename DstDerived>
static void run(SparseMatrixBase<DstDerived> &dst, const SrcXprType &src,
const internal::add_assign_op<typename DstXprType::Scalar, typename SrcXprType::Scalar> & /*func*/) {
dst.derived().diagonal() += src.diagonal();
}
template <typename DstDerived>
static void run(SparseMatrixBase<DstDerived> &dst, const SrcXprType &src,
const internal::sub_assign_op<typename DstXprType::Scalar, typename SrcXprType::Scalar> & /*func*/) {
dst.derived().diagonal() -= src.diagonal();
}
};
} // end namespace internal
} // end namespace Eigen
#endif // EIGEN_SPARSEASSIGN_H