$darkmode
Eigen  5.0.1-dev
Transpose.h
1 // This file is part of Eigen, a lightweight C++ template library
2 // for linear algebra.
3 //
4 // Copyright (C) 2006-2008 Benoit Jacob <jacob.benoit.1@gmail.com>
5 // Copyright (C) 2009-2014 Gael Guennebaud <gael.guennebaud@inria.fr>
6 //
7 // This Source Code Form is subject to the terms of the Mozilla
8 // Public License v. 2.0. If a copy of the MPL was not distributed
9 // with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
10 
11 #ifndef EIGEN_TRANSPOSE_H
12 #define EIGEN_TRANSPOSE_H
13 
14 // IWYU pragma: private
15 #include "./InternalHeaderCheck.h"
16 
17 namespace Eigen {
18 
19 namespace internal {
20 template <typename MatrixType>
21 struct traits<Transpose<MatrixType> > : public traits<MatrixType> {
22  typedef typename ref_selector<MatrixType>::type MatrixTypeNested;
23  typedef std::remove_reference_t<MatrixTypeNested> MatrixTypeNestedPlain;
24  enum {
25  RowsAtCompileTime = MatrixType::ColsAtCompileTime,
26  ColsAtCompileTime = MatrixType::RowsAtCompileTime,
27  MaxRowsAtCompileTime = MatrixType::MaxColsAtCompileTime,
28  MaxColsAtCompileTime = MatrixType::MaxRowsAtCompileTime,
29  FlagsLvalueBit = is_lvalue<MatrixType>::value ? LvalueBit : 0,
30  Flags0 = traits<MatrixTypeNestedPlain>::Flags & ~(LvalueBit | NestByRefBit),
31  Flags1 = Flags0 | FlagsLvalueBit,
32  Flags = Flags1 ^ RowMajorBit,
33  InnerStrideAtCompileTime = inner_stride_at_compile_time<MatrixType>::ret,
34  OuterStrideAtCompileTime = outer_stride_at_compile_time<MatrixType>::ret
35  };
36 };
37 } // namespace internal
38 
39 template <typename MatrixType, typename StorageKind>
40 class TransposeImpl;
41 
55 template <typename MatrixType>
56 class Transpose : public TransposeImpl<MatrixType, typename internal::traits<MatrixType>::StorageKind> {
57  public:
58  typedef typename internal::ref_selector<MatrixType>::non_const_type MatrixTypeNested;
59 
60  typedef typename TransposeImpl<MatrixType, typename internal::traits<MatrixType>::StorageKind>::Base Base;
61  EIGEN_GENERIC_PUBLIC_INTERFACE(Transpose)
62  typedef internal::remove_all_t<MatrixType> NestedExpression;
63 
64  EIGEN_DEVICE_FUNC explicit EIGEN_STRONG_INLINE Transpose(MatrixType& matrix) : m_matrix(matrix) {}
65 
66  EIGEN_INHERIT_ASSIGNMENT_OPERATORS(Transpose)
67 
68  EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE constexpr Index rows() const noexcept { return m_matrix.cols(); }
69  EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE constexpr Index cols() const noexcept { return m_matrix.rows(); }
70 
72  EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE const internal::remove_all_t<MatrixTypeNested>& nestedExpression() const {
73  return m_matrix;
74  }
75 
77  EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE std::remove_reference_t<MatrixTypeNested>& nestedExpression() {
78  return m_matrix;
79  }
80 
82  EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE void resize(Index nrows, Index ncols) { m_matrix.resize(ncols, nrows); }
83 
84  protected:
85  typename internal::ref_selector<MatrixType>::non_const_type m_matrix;
86 };
87 
88 namespace internal {
89 
90 template <typename MatrixType, bool HasDirectAccess = has_direct_access<MatrixType>::ret>
91 struct TransposeImpl_base {
92  typedef typename dense_xpr_base<Transpose<MatrixType> >::type type;
93 };
94 
95 template <typename MatrixType>
96 struct TransposeImpl_base<MatrixType, false> {
97  typedef typename dense_xpr_base<Transpose<MatrixType> >::type type;
98 };
99 
100 } // end namespace internal
101 
102 // Generic API dispatcher
103 template <typename XprType, typename StorageKind>
104 class TransposeImpl : public internal::generic_xpr_base<Transpose<XprType> >::type {
105  public:
106  typedef typename internal::generic_xpr_base<Transpose<XprType> >::type Base;
107 };
108 
109 template <typename MatrixType>
110 class TransposeImpl<MatrixType, Dense> : public internal::TransposeImpl_base<MatrixType>::type {
111  public:
112  typedef typename internal::TransposeImpl_base<MatrixType>::type Base;
113  using Base::coeffRef;
114  EIGEN_DENSE_PUBLIC_INTERFACE(Transpose<MatrixType>)
115  EIGEN_INHERIT_ASSIGNMENT_OPERATORS(TransposeImpl)
116 
117  EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE Index innerStride() const { return derived().nestedExpression().innerStride(); }
118  EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE Index outerStride() const { return derived().nestedExpression().outerStride(); }
119 
120  typedef std::conditional_t<internal::is_lvalue<MatrixType>::value, Scalar, const Scalar> ScalarWithConstIfNotLvalue;
121 
122  EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE constexpr ScalarWithConstIfNotLvalue* data() {
123  return derived().nestedExpression().data();
124  }
125  EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE constexpr const Scalar* data() const {
126  return derived().nestedExpression().data();
127  }
128 
129  // FIXME: shall we keep the const version of coeffRef?
130  EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE const Scalar& coeffRef(Index rowId, Index colId) const {
131  return derived().nestedExpression().coeffRef(colId, rowId);
132  }
133 
134  EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE const Scalar& coeffRef(Index index) const {
135  return derived().nestedExpression().coeffRef(index);
136  }
137 
138  protected:
139  EIGEN_DEFAULT_EMPTY_CONSTRUCTOR_AND_DESTRUCTOR(TransposeImpl)
140 };
141 
161 template <typename Derived>
162 EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE typename DenseBase<Derived>::TransposeReturnType DenseBase<Derived>::transpose() {
163  return TransposeReturnType(derived());
164 }
165 
171 template <typename Derived>
172 EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE const typename DenseBase<Derived>::ConstTransposeReturnType
174  return ConstTransposeReturnType(derived());
175 }
176 
196 template <typename Derived>
197 EIGEN_DEVICE_FUNC inline const typename MatrixBase<Derived>::AdjointReturnType MatrixBase<Derived>::adjoint() const {
198  return AdjointReturnType(this->transpose());
199 }
200 
201 /***************************************************************************
202  * "in place" transpose implementation
203  ***************************************************************************/
204 
205 namespace internal {
206 
207 template <typename MatrixType,
208  bool IsSquare = (MatrixType::RowsAtCompileTime == MatrixType::ColsAtCompileTime) &&
209  MatrixType::RowsAtCompileTime != Dynamic,
210  bool MatchPacketSize =
211  (int(MatrixType::RowsAtCompileTime) == int(internal::packet_traits<typename MatrixType::Scalar>::size)) &&
212  (internal::evaluator<MatrixType>::Flags & PacketAccessBit)>
213 struct inplace_transpose_selector;
214 
215 template <typename MatrixType>
216 struct inplace_transpose_selector<MatrixType, true, false> { // square matrix
217  static void run(MatrixType& m) {
218  m.matrix().template triangularView<StrictlyUpper>().swap(
219  m.matrix().transpose().template triangularView<StrictlyUpper>());
220  }
221 };
222 
223 template <typename MatrixType>
224 struct inplace_transpose_selector<MatrixType, true, true> { // PacketSize x PacketSize
225  static void run(MatrixType& m) {
226  typedef typename MatrixType::Scalar Scalar;
227  typedef typename internal::packet_traits<typename MatrixType::Scalar>::type Packet;
228  const Index PacketSize = internal::packet_traits<Scalar>::size;
229  const Index Alignment = internal::evaluator<MatrixType>::Alignment;
230  PacketBlock<Packet> A;
231  for (Index i = 0; i < PacketSize; ++i) A.packet[i] = m.template packetByOuterInner<Alignment>(i, 0);
232  internal::ptranspose(A);
233  for (Index i = 0; i < PacketSize; ++i)
234  m.template writePacket<Alignment>(m.rowIndexByOuterInner(i, 0), m.colIndexByOuterInner(i, 0), A.packet[i]);
235  }
236 };
237 
238 template <typename MatrixType, Index Alignment>
239 void BlockedInPlaceTranspose(MatrixType& m) {
240  typedef typename MatrixType::Scalar Scalar;
241  typedef typename internal::packet_traits<typename MatrixType::Scalar>::type Packet;
242  const Index PacketSize = internal::packet_traits<Scalar>::size;
243  eigen_assert(m.rows() == m.cols());
244  int row_start = 0;
245  for (; row_start + PacketSize <= m.rows(); row_start += PacketSize) {
246  for (int col_start = row_start; col_start + PacketSize <= m.cols(); col_start += PacketSize) {
247  PacketBlock<Packet> A;
248  if (row_start == col_start) {
249  for (Index i = 0; i < PacketSize; ++i)
250  A.packet[i] = m.template packetByOuterInner<Alignment>(row_start + i, col_start);
251  internal::ptranspose(A);
252  for (Index i = 0; i < PacketSize; ++i)
253  m.template writePacket<Alignment>(m.rowIndexByOuterInner(row_start + i, col_start),
254  m.colIndexByOuterInner(row_start + i, col_start), A.packet[i]);
255  } else {
256  PacketBlock<Packet> B;
257  for (Index i = 0; i < PacketSize; ++i) {
258  A.packet[i] = m.template packetByOuterInner<Alignment>(row_start + i, col_start);
259  B.packet[i] = m.template packetByOuterInner<Alignment>(col_start + i, row_start);
260  }
261  internal::ptranspose(A);
262  internal::ptranspose(B);
263  for (Index i = 0; i < PacketSize; ++i) {
264  m.template writePacket<Alignment>(m.rowIndexByOuterInner(row_start + i, col_start),
265  m.colIndexByOuterInner(row_start + i, col_start), B.packet[i]);
266  m.template writePacket<Alignment>(m.rowIndexByOuterInner(col_start + i, row_start),
267  m.colIndexByOuterInner(col_start + i, row_start), A.packet[i]);
268  }
269  }
270  }
271  }
272  for (Index row = row_start; row < m.rows(); ++row) {
273  m.matrix().row(row).head(row).swap(m.matrix().col(row).head(row).transpose());
274  }
275 }
276 
277 template <typename MatrixType, bool MatchPacketSize>
278 struct inplace_transpose_selector<MatrixType, false, MatchPacketSize> { // non square or dynamic matrix
279  static void run(MatrixType& m) {
280  typedef typename MatrixType::Scalar Scalar;
281  if (m.rows() == m.cols()) {
282  const Index PacketSize = internal::packet_traits<Scalar>::size;
283  if (!NumTraits<Scalar>::IsComplex && m.rows() >= PacketSize) {
284  if ((m.rows() % PacketSize) == 0)
285  BlockedInPlaceTranspose<MatrixType, internal::evaluator<MatrixType>::Alignment>(m);
286  else
287  BlockedInPlaceTranspose<MatrixType, Unaligned>(m);
288  } else {
289  m.matrix().template triangularView<StrictlyUpper>().swap(
290  m.matrix().transpose().template triangularView<StrictlyUpper>());
291  }
292  } else {
293  m = m.transpose().eval();
294  }
295  }
296 };
297 
298 } // end namespace internal
299 
319 template <typename Derived>
320 EIGEN_DEVICE_FUNC inline void DenseBase<Derived>::transposeInPlace() {
321  eigen_assert((rows() == cols() || (RowsAtCompileTime == Dynamic && ColsAtCompileTime == Dynamic)) &&
322  "transposeInPlace() called on a non-square non-resizable matrix");
323  internal::inplace_transpose_selector<Derived>::run(derived());
324 }
325 
326 /***************************************************************************
327  * "in place" adjoint implementation
328  ***************************************************************************/
329 
349 template <typename Derived>
350 EIGEN_DEVICE_FUNC inline void MatrixBase<Derived>::adjointInPlace() {
351  derived() = adjoint().eval();
352 }
353 
354 #ifndef EIGEN_NO_DEBUG
355 
356 // The following is to detect aliasing problems in most common cases.
357 
358 namespace internal {
359 
360 template <bool DestIsTransposed, typename OtherDerived>
361 struct check_transpose_aliasing_compile_time_selector {
362  enum { ret = bool(blas_traits<OtherDerived>::IsTransposed) != DestIsTransposed };
363 };
364 
365 template <bool DestIsTransposed, typename BinOp, typename DerivedA, typename DerivedB>
366 struct check_transpose_aliasing_compile_time_selector<DestIsTransposed, CwiseBinaryOp<BinOp, DerivedA, DerivedB> > {
367  enum {
368  ret = bool(blas_traits<DerivedA>::IsTransposed) != DestIsTransposed ||
369  bool(blas_traits<DerivedB>::IsTransposed) != DestIsTransposed
370  };
371 };
372 
373 template <typename Scalar, bool DestIsTransposed, typename OtherDerived>
374 struct check_transpose_aliasing_run_time_selector {
375  EIGEN_DEVICE_FUNC static bool run(const Scalar* dest, const OtherDerived& src) {
376  return (bool(blas_traits<OtherDerived>::IsTransposed) != DestIsTransposed) &&
377  (dest != 0 && dest == (const Scalar*)extract_data(src));
378  }
379 };
380 
381 template <typename Scalar, bool DestIsTransposed, typename BinOp, typename DerivedA, typename DerivedB>
382 struct check_transpose_aliasing_run_time_selector<Scalar, DestIsTransposed, CwiseBinaryOp<BinOp, DerivedA, DerivedB> > {
383  EIGEN_DEVICE_FUNC static bool run(const Scalar* dest, const CwiseBinaryOp<BinOp, DerivedA, DerivedB>& src) {
384  return ((blas_traits<DerivedA>::IsTransposed != DestIsTransposed) &&
385  (dest != 0 && dest == (const Scalar*)extract_data(src.lhs()))) ||
386  ((blas_traits<DerivedB>::IsTransposed != DestIsTransposed) &&
387  (dest != 0 && dest == (const Scalar*)extract_data(src.rhs())));
388  }
389 };
390 
391 // the following selector, checkTransposeAliasing_impl, based on MightHaveTransposeAliasing,
392 // is because when the condition controlling the assert is known at compile time, ICC emits a warning.
393 // This is actually a good warning: in expressions that don't have any transposing, the condition is
394 // known at compile time to be false, and using that, we can avoid generating the code of the assert again
395 // and again for all these expressions that don't need it.
396 
397 template <typename Derived, typename OtherDerived,
398  bool MightHaveTransposeAliasing =
399  check_transpose_aliasing_compile_time_selector<blas_traits<Derived>::IsTransposed, OtherDerived>::ret>
400 struct checkTransposeAliasing_impl {
401  EIGEN_DEVICE_FUNC static void run(const Derived& dst, const OtherDerived& other) {
402  eigen_assert(
403  (!check_transpose_aliasing_run_time_selector<typename Derived::Scalar, blas_traits<Derived>::IsTransposed,
404  OtherDerived>::run(extract_data(dst), other)) &&
405  "aliasing detected during transposition, use transposeInPlace() "
406  "or evaluate the rhs into a temporary using .eval()");
407  }
408 };
409 
410 template <typename Derived, typename OtherDerived>
411 struct checkTransposeAliasing_impl<Derived, OtherDerived, false> {
412  EIGEN_DEVICE_FUNC static void run(const Derived&, const OtherDerived&) {}
413 };
414 
415 template <typename Dst, typename Src>
416 EIGEN_DEVICE_FUNC inline void check_for_aliasing(const Dst& dst, const Src& src) {
417  if ((!Dst::IsVectorAtCompileTime) && dst.rows() > 1 && dst.cols() > 1)
418  internal::checkTransposeAliasing_impl<Dst, Src>::run(dst, src);
419 }
420 
421 } // end namespace internal
422 
423 #endif // EIGEN_NO_DEBUG
424 
425 } // end namespace Eigen
426 
427 #endif // EIGEN_TRANSPOSE_H
const AdjointReturnType adjoint() const
Definition: Transpose.h:197
Expression of the transpose of a matrix.
Definition: Transpose.h:56
const unsigned int LvalueBit
Definition: Constants.h:148
Namespace containing all symbols from the Eigen library.
Definition: B01_Experimental.dox:1
const unsigned int RowMajorBit
Definition: Constants.h:70
const unsigned int PacketAccessBit
Definition: Constants.h:97
EIGEN_DEFAULT_DENSE_INDEX_TYPE Index
The Index type as used for the API.
Definition: Meta.h:82
std::enable_if_t< std::is_base_of< DenseBase< std::decay_t< DerivedA > >, std::decay_t< DerivedA > >::value &&std::is_base_of< DenseBase< std::decay_t< DerivedB > >, std::decay_t< DerivedB > >::value, void > swap(DerivedA &&a, DerivedB &&b)
Definition: DenseBase.h:667
void adjointInPlace()
Definition: Transpose.h:350
std::remove_reference_t< MatrixTypeNested > & nestedExpression()
Definition: Transpose.h:77
const internal::remove_all_t< MatrixTypeNested > & nestedExpression() const
Definition: Transpose.h:72
TransposeReturnType transpose()
Definition: Transpose.h:162
const int Dynamic
Definition: Constants.h:25
void transposeInPlace()
Definition: Transpose.h:320
Base class for all dense matrices, vectors, and expressions.
Definition: MatrixBase.h:52