Eigen  5.0.1
 
Loading...
Searching...
No Matches
SparseAssign.h
1// This file is part of Eigen, a lightweight C++ template library
2// for linear algebra.
3//
4// Copyright (C) 2008-2014 Gael Guennebaud <gael.guennebaud@inria.fr>
5//
6// This Source Code Form is subject to the terms of the Mozilla
7// Public License v. 2.0. If a copy of the MPL was not distributed
8// with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
9// SPDX-License-Identifier: MPL-2.0
10
11#ifndef EIGEN_SPARSEASSIGN_H
12#define EIGEN_SPARSEASSIGN_H
13
14// IWYU pragma: private
15#include "./InternalHeaderCheck.h"
16
17namespace Eigen {
18
19template <typename Derived>
20template <typename OtherDerived>
21Derived &SparseMatrixBase<Derived>::operator=(const EigenBase<OtherDerived> &other) {
22 internal::call_assignment_no_alias(derived(), other.derived());
23 return derived();
24}
25
26template <typename Derived>
27template <typename OtherDerived>
28Derived &SparseMatrixBase<Derived>::operator=(const ReturnByValue<OtherDerived> &other) {
29 // TODO: use the evaluator mechanism
30 other.evalTo(derived());
31 return derived();
32}
33
34template <typename Derived>
35template <typename OtherDerived>
36inline Derived &SparseMatrixBase<Derived>::operator=(const SparseMatrixBase<OtherDerived> &other) {
37 // by default sparse evaluations do not alias, so we can safely bypass the generic call_assignment routine
38 internal::Assignment<Derived, OtherDerived, internal::assign_op<Scalar, typename OtherDerived::Scalar>>::run(
39 derived(), other.derived(), internal::assign_op<Scalar, typename OtherDerived::Scalar>());
40 return derived();
41}
42
43template <typename Derived>
44inline Derived &SparseMatrixBase<Derived>::operator=(const Derived &other) {
45 internal::call_assignment_no_alias(derived(), other.derived());
46 return derived();
47}
48
49namespace internal {
50
51template <>
52struct storage_kind_to_evaluator_kind<Sparse> {
53 using Kind = IteratorBased;
54};
55
56template <>
57struct storage_kind_to_shape<Sparse> {
58 using Shape = SparseShape;
59};
60
61struct Sparse2Sparse {};
62struct Sparse2Dense {};
63
64template <>
65struct AssignmentKind<SparseShape, SparseShape> {
66 using Kind = Sparse2Sparse;
67};
68template <>
69struct AssignmentKind<SparseShape, SparseTriangularShape> {
70 using Kind = Sparse2Sparse;
71};
72template <>
73struct AssignmentKind<DenseShape, SparseShape> {
74 using Kind = Sparse2Dense;
75};
76template <>
77struct AssignmentKind<DenseShape, SparseTriangularShape> {
78 using Kind = Sparse2Dense;
79};
80
81template <typename XprType>
82Index sparse_assignment_total_size(const XprType &src) {
83 const Index rows = src.rows();
84 const Index cols = src.cols();
85 const Index maxIndex = NumTraits<Index>::highest();
86
87 if (rows == 0 || cols == 0) {
88 return 0;
89 }
90 return rows <= maxIndex / cols ? rows * cols : maxIndex;
91}
92
93template <typename XprType>
94Index sparse_assignment_heuristic_reserve_size(const XprType &src) {
95 const Index maxSize = (std::max)(src.rows(), src.cols());
96 const Index maxIndex = NumTraits<Index>::highest();
97 const Index totalSize = sparse_assignment_total_size(src);
98 const Index vectorReserve = maxSize <= maxIndex / 2 ? 2 * maxSize : maxIndex;
99 return (std::min)(totalSize, vectorReserve);
100}
101
102inline Index scaled_sparse_assignment_reserve_size(Index count, Index numerator, Index denominator) {
103 eigen_internal_assert(denominator > 0);
104 if (count == 0 || numerator == 0) return 0;
105
106 const Index maxIndex = NumTraits<Index>::highest();
107 if (count > maxIndex / numerator) return maxIndex;
108
109 const Index product = count * numerator;
110 return product / denominator + Index(product % denominator != 0);
111}
112
113template <typename SrcXprType>
114struct use_exact_sparse_assignment_reserve : std::true_type {};
115
116template <typename SrcXprType>
117struct use_exact_sparse_assignment_reserve<const SrcXprType> : use_exact_sparse_assignment_reserve<SrcXprType> {};
118
119// SparseView over an index-based expression must scan the underlying dense coefficients to count non-zeros.
120// Use an estimated reserve there to avoid traversing the full source twice.
121template <typename ArgType>
122struct use_exact_sparse_assignment_reserve<SparseView<ArgType>>
123 : std::is_same<typename evaluator_traits<remove_all_t<ArgType>>::Kind, IteratorBased> {};
124
125// Detect whether a const SrcXprType exposes a member nonZeros(). Concrete sparse storage classes
126// (SparseMatrix via SparseCompressedBase, SparseVector, SparseMap, SparseBlock, SparseTranspose)
127// do; sparse expressions such as CwiseBinaryOp / CwiseUnaryOp / Product / SparseTriangularView /
128// SparseView do not -- their evaluators only expose nonZerosEstimate().
129template <typename T, typename = void>
130struct has_member_nonZeros : std::false_type {};
131
132template <typename T>
133struct has_member_nonZeros<T, void_t<decltype(std::declval<const T &>().nonZeros())>> : std::true_type {};
134
135template <typename SrcXprType, typename SrcEvaluatorType>
136Index sparse_assignment_reserve_size_exact(const SrcXprType &, SrcEvaluatorType &srcEvaluator,
137 Index outerEvaluationSize, std::false_type /*has_member_nonZeros*/) {
138 Index reserveSize = 0;
139 for (Index j = 0; j < outerEvaluationSize; ++j)
140 for (typename SrcEvaluatorType::InnerIterator it(srcEvaluator, j); it; ++it) reserveSize++;
141 return reserveSize;
142}
143
144template <typename SrcXprType, typename SrcEvaluatorType>
145Index sparse_assignment_reserve_size_exact(const SrcXprType &src, SrcEvaluatorType &srcEvaluator,
146 Index outerEvaluationSize, std::true_type /*has_member_nonZeros*/) {
147 // O(1) for compressed SparseMatrix, O(outerSize) uncompressed -- both cheaper than the O(nnz)
148 // iteration fallback. SparseBlock for general (non-inner-panel) blocks reports Dynamic; iterate
149 // in that case.
150 const Index nz = src.nonZeros();
151 if (nz != Dynamic) return nz;
152 return sparse_assignment_reserve_size_exact(src, srcEvaluator, outerEvaluationSize, std::false_type{});
153}
154
155template <typename SrcXprType, typename SrcEvaluatorType>
156Index sparse_assignment_reserve_size(const SrcXprType &src, SrcEvaluatorType &srcEvaluator, Index outerEvaluationSize,
157 std::true_type) {
158 return sparse_assignment_reserve_size_exact(src, srcEvaluator, outerEvaluationSize,
159 has_member_nonZeros<SrcXprType>{});
160}
161
162template <typename SrcXprType, typename SrcEvaluatorType>
163Index sparse_assignment_reserve_size(const SrcXprType &src, SrcEvaluatorType &srcEvaluator, Index outerEvaluationSize,
164 std::false_type) {
165 const Index totalSize = sparse_assignment_total_size(src);
166 // For small dense sources, reserve the full possible size instead of spending another pass counting
167 // entries. The 1024-slot cap bounds transient over-reservation to ~12 KB per assignment while still
168 // letting common small-matrix shapes (up to 32x32) avoid mid-fill reallocation when the source is
169 // densely populated.
170 if (totalSize <= 1024) return totalSize;
171
172 const Index heuristicReserveSize = sparse_assignment_heuristic_reserve_size(src);
173 // Avoid turning the sample into an almost-complete pre-scan for short, wide, or tall expressions.
174 if (outerEvaluationSize <= 8) return heuristicReserveSize;
175
176 // Scan up to 8 outer slices and scale the per-slice nnz to the full size. Small enough that the
177 // sample's scan cost is negligible against the assignment itself, large enough to keep variance
178 // low at typical sparsities; the result is then clamped by total size and the heuristic floor.
179 const Index sampleOuterSize = (std::min)(outerEvaluationSize, Index(8));
180 Index sampleReserveSize = 0;
181 for (Index j = 0; j < sampleOuterSize; ++j) {
182 for (typename SrcEvaluatorType::InnerIterator it(srcEvaluator, j); it; ++it) sampleReserveSize++;
183 }
184
185 const Index estimatedReserveSize =
186 scaled_sparse_assignment_reserve_size(sampleReserveSize, outerEvaluationSize, sampleOuterSize);
187 return (std::min)(totalSize, (std::max)(heuristicReserveSize, estimatedReserveSize));
188}
189
190template <typename DstXprType, typename SrcXprType>
191void assign_sparse_to_sparse(DstXprType &dst, const SrcXprType &src) {
192 using Scalar = typename DstXprType::Scalar;
193 using DstEvaluatorType = internal::evaluator<DstXprType>;
194 using SrcEvaluatorType = internal::evaluator<SrcXprType>;
195
196 SrcEvaluatorType srcEvaluator(src);
197
198 constexpr bool transpose = (DstEvaluatorType::Flags & RowMajorBit) != (SrcEvaluatorType::Flags & RowMajorBit);
199 const Index outerEvaluationSize = (SrcEvaluatorType::Flags & RowMajorBit) ? src.rows() : src.cols();
200
201 const Index reserveSize = sparse_assignment_reserve_size(src, srcEvaluator, outerEvaluationSize,
202 use_exact_sparse_assignment_reserve<SrcXprType>());
203
204 if ((!transpose) && src.isRValue()) {
205 // eval without temporary
206 dst.resize(src.rows(), src.cols());
207 dst.setZero();
208 dst.reserve(reserveSize);
209 for (Index j = 0; j < outerEvaluationSize; ++j) {
210 dst.startVec(j);
211 for (typename SrcEvaluatorType::InnerIterator it(srcEvaluator, j); it; ++it) {
212 Scalar v = it.value();
213 dst.insertBackByOuterInner(j, it.index()) = v;
214 }
215 }
216 dst.finalize();
217 } else {
218 // eval through a temporary
219 eigen_assert((((internal::traits<DstXprType>::SupportedAccessPatterns & OuterRandomAccessPattern) ==
220 OuterRandomAccessPattern) ||
221 (!transpose)) &&
222 "the transpose operation is supposed to be handled in SparseMatrix::operator=");
223
224 DstXprType temp(src.rows(), src.cols());
225
226 temp.reserve(reserveSize);
227 for (Index j = 0; j < outerEvaluationSize; ++j) {
228 temp.startVec(j);
229 for (typename SrcEvaluatorType::InnerIterator it(srcEvaluator, j); it; ++it) {
230 Scalar v = it.value();
231 temp.insertBackByOuterInner(transpose ? it.index() : j, transpose ? j : it.index()) = v;
232 }
233 }
234 temp.finalize();
235
236 dst = temp.markAsRValue();
237 }
238}
239
240// Generic Sparse to Sparse assignment
241template <typename DstXprType, typename SrcXprType, typename Functor>
242struct Assignment<DstXprType, SrcXprType, Functor, Sparse2Sparse> {
243 static void run(DstXprType &dst, const SrcXprType &src,
244 const internal::assign_op<typename DstXprType::Scalar, typename SrcXprType::Scalar> & /*func*/) {
245 assign_sparse_to_sparse(dst.derived(), src.derived());
246 }
247};
248
249// Generic Sparse to Dense assignment
250template <typename DstXprType, typename SrcXprType, typename Functor, typename Weak>
251struct Assignment<DstXprType, SrcXprType, Functor, Sparse2Dense, Weak> {
252 static void run(DstXprType &dst, const SrcXprType &src, const Functor &func) {
253 EIGEN_IF_CONSTEXPR ((std::is_same<Functor, internal::assign_op<typename DstXprType::Scalar,
254 typename SrcXprType::Scalar>>::value))
255 dst.setZero();
256
257 internal::evaluator<SrcXprType> srcEval(src);
258 resize_if_allowed(dst, src, func);
259 internal::evaluator<DstXprType> dstEval(dst);
260
261 const Index outerEvaluationSize = (internal::evaluator<SrcXprType>::Flags & RowMajorBit) ? src.rows() : src.cols();
262 for (Index j = 0; j < outerEvaluationSize; ++j)
263 for (typename internal::evaluator<SrcXprType>::InnerIterator i(srcEval, j); i; ++i)
264 func.assignCoeff(dstEval.coeffRef(i.row(), i.col()), i.value());
265 }
266};
267
268// Specialization for dense ?= dense +/- sparse and dense ?= sparse +/- dense
269template <typename DstXprType, typename Func1, typename Func2>
270struct assignment_from_dense_op_sparse {
271 template <typename SrcXprType, typename InitialFunc>
272 static EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE void run(DstXprType &dst, const SrcXprType &src,
273 const InitialFunc & /*func*/) {
274#ifdef EIGEN_SPARSE_ASSIGNMENT_FROM_DENSE_OP_SPARSE_PLUGIN
275 EIGEN_SPARSE_ASSIGNMENT_FROM_DENSE_OP_SPARSE_PLUGIN
276#endif
277
278 call_assignment_no_alias(dst, src.lhs(), Func1());
279 call_assignment_no_alias(dst, src.rhs(), Func2());
280 }
281
282 // Specialization for dense1 = sparse + dense2; -> dense1 = dense2; dense1 += sparse;
283 template <typename Lhs, typename Rhs, typename Scalar>
284 static EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE
285 std::enable_if_t<std::is_same<typename internal::evaluator_traits<Rhs>::Shape, DenseShape>::value>
286 run(DstXprType &dst, const CwiseBinaryOp<internal::scalar_sum_op<Scalar, Scalar>, const Lhs, const Rhs> &src,
287 const internal::assign_op<typename DstXprType::Scalar, Scalar> & /*func*/) {
288#ifdef EIGEN_SPARSE_ASSIGNMENT_FROM_SPARSE_ADD_DENSE_PLUGIN
289 EIGEN_SPARSE_ASSIGNMENT_FROM_SPARSE_ADD_DENSE_PLUGIN
290#endif
291
292 // Apply the dense matrix first, then the sparse one.
293 call_assignment_no_alias(dst, src.rhs(), Func1());
294 call_assignment_no_alias(dst, src.lhs(), Func2());
295 }
296
297 // Specialization for dense1 = sparse - dense2; -> dense1 = -dense2; dense1 += sparse;
298 template <typename Lhs, typename Rhs, typename Scalar>
299 static EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE
300 std::enable_if_t<std::is_same<typename internal::evaluator_traits<Rhs>::Shape, DenseShape>::value>
301 run(DstXprType &dst,
302 const CwiseBinaryOp<internal::scalar_difference_op<Scalar, Scalar>, const Lhs, const Rhs> &src,
303 const internal::assign_op<typename DstXprType::Scalar, Scalar> & /*func*/) {
304#ifdef EIGEN_SPARSE_ASSIGNMENT_FROM_SPARSE_SUB_DENSE_PLUGIN
305 EIGEN_SPARSE_ASSIGNMENT_FROM_SPARSE_SUB_DENSE_PLUGIN
306#endif
307
308 // Apply the dense matrix first, then the sparse one.
309 call_assignment_no_alias(dst, -src.rhs(), Func1());
310 call_assignment_no_alias(dst, src.lhs(), add_assign_op<typename DstXprType::Scalar, typename Lhs::Scalar>());
311 }
312};
313
314#define EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(ASSIGN_OP, BINOP, ASSIGN_OP2) \
315 template <typename DstXprType, typename Lhs, typename Rhs, typename Scalar> \
316 struct Assignment< \
317 DstXprType, CwiseBinaryOp<internal::BINOP<Scalar, Scalar>, const Lhs, const Rhs>, \
318 internal::ASSIGN_OP<typename DstXprType::Scalar, Scalar>, Sparse2Dense, \
319 std::enable_if_t<std::is_same<typename internal::evaluator_traits<Lhs>::Shape, DenseShape>::value || \
320 std::is_same<typename internal::evaluator_traits<Rhs>::Shape, DenseShape>::value>> \
321 : assignment_from_dense_op_sparse<DstXprType, \
322 internal::ASSIGN_OP<typename DstXprType::Scalar, typename Lhs::Scalar>, \
323 internal::ASSIGN_OP2<typename DstXprType::Scalar, typename Rhs::Scalar>> {}
324
325EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(assign_op, scalar_sum_op, add_assign_op);
326EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(add_assign_op, scalar_sum_op, add_assign_op);
327EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(sub_assign_op, scalar_sum_op, sub_assign_op);
328
329EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(assign_op, scalar_difference_op, sub_assign_op);
330EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(add_assign_op, scalar_difference_op, sub_assign_op);
331EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE(sub_assign_op, scalar_difference_op, add_assign_op);
332
333#undef EIGEN_CATCH_ASSIGN_DENSE_OP_SPARSE
334
335// Specialization for "dst = dec.solve(rhs)"
336// NOTE we need to specialize it for Sparse2Sparse to avoid ambiguous specialization error
337template <typename DstXprType, typename DecType, typename RhsType, typename Scalar>
338struct Assignment<DstXprType, Solve<DecType, RhsType>, internal::assign_op<Scalar, Scalar>, Sparse2Sparse> {
339 using SrcXprType = Solve<DecType, RhsType>;
340 static void run(DstXprType &dst, const SrcXprType &src, const internal::assign_op<Scalar, Scalar> &) {
341 Index dstRows = src.rows();
342 Index dstCols = src.cols();
343 if ((dst.rows() != dstRows) || (dst.cols() != dstCols)) dst.resize(dstRows, dstCols);
344
345 src.dec()._solve_impl(src.rhs(), dst);
346 }
347};
348
349struct Diagonal2Sparse {};
350
351template <>
352struct AssignmentKind<SparseShape, DiagonalShape> {
353 using Kind = Diagonal2Sparse;
354};
355
356template <typename DstXprType, typename SrcXprType, typename Functor>
357struct Assignment<DstXprType, SrcXprType, Functor, Diagonal2Sparse> {
358 using StorageIndex = typename DstXprType::StorageIndex;
359 using Scalar = typename DstXprType::Scalar;
360
361 template <int Options, typename AssignFunc>
362 static void run(SparseMatrix<Scalar, Options, StorageIndex> &dst, const SrcXprType &src, const AssignFunc &func) {
363 dst.assignDiagonal(src.diagonal(), func);
364 }
365
366 template <typename DstDerived>
367 static void run(SparseMatrixBase<DstDerived> &dst, const SrcXprType &src,
368 const internal::assign_op<typename DstXprType::Scalar, typename SrcXprType::Scalar> & /*func*/) {
369 dst.derived().diagonal() = src.diagonal();
370 }
371
372 template <typename DstDerived>
373 static void run(SparseMatrixBase<DstDerived> &dst, const SrcXprType &src,
374 const internal::add_assign_op<typename DstXprType::Scalar, typename SrcXprType::Scalar> & /*func*/) {
375 dst.derived().diagonal() += src.diagonal();
376 }
377
378 template <typename DstDerived>
379 static void run(SparseMatrixBase<DstDerived> &dst, const SrcXprType &src,
380 const internal::sub_assign_op<typename DstXprType::Scalar, typename SrcXprType::Scalar> & /*func*/) {
381 dst.derived().diagonal() -= src.diagonal();
382 }
383};
384} // end namespace internal
385
386} // end namespace Eigen
387
388#endif // EIGEN_SPARSEASSIGN_H
Base class of any sparse matrices or sparse expressions.
Definition SparseMatrixBase.h:31
constexpr unsigned int RowMajorBit
Definition Constants.h:71
Definition EigenBase.h:34