blob: 24a7641ff8c6ab2f93d3b12ddfb5bda6ee6e8743 [file] [log] [blame]
Gael Guennebaudcb71dc42009-01-07 22:20:03 +00001// This file is part of Eigen, a lightweight C++ template library
Benoit Jacob6347b1d2009-05-22 20:25:33 +02002// for linear algebra.
Gael Guennebaudcb71dc42009-01-07 22:20:03 +00003//
Gael Guennebaud836da912015-12-11 10:06:28 +01004// Copyright (C) 2015 Gael Guennebaud <gael.guennebaud@inria.fr>
Gael Guennebaudcb71dc42009-01-07 22:20:03 +00005//
Benoit Jacob69124cf2012-07-13 14:42:47 -04006// 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/.
Gael Guennebaudcb71dc42009-01-07 22:20:03 +00009
Gael Guennebaude68e1652016-05-24 21:54:03 +020010#ifdef EIGEN_TEST_PART_1
11#define EIGEN_UNALIGNED_VECTORIZE 1
12#endif
13
14#ifdef EIGEN_TEST_PART_2
15#define EIGEN_UNALIGNED_VECTORIZE 0
16#endif
17
Gael Guennebaud836da912015-12-11 10:06:28 +010018#ifdef EIGEN_DEFAULT_TO_ROW_MAJOR
19#undef EIGEN_DEFAULT_TO_ROW_MAJOR
20#endif
Benoit Jacob27f52502010-02-27 19:04:22 -050021#define EIGEN_DEBUG_ASSIGN
Gael Guennebaudcb71dc42009-01-07 22:20:03 +000022#include "main.h"
23#include <typeinfo>
24
Gael Guennebaud0fc89542015-10-27 10:38:49 +010025using internal::demangle_flags;
26using internal::demangle_traversal;
27using internal::demangle_unrolling;
Gael Guennebaud51ec1882010-07-08 23:30:16 +020028
Gael Guennebaudcb71dc42009-01-07 22:20:03 +000029template<typename Dst, typename Src>
Benoit Jacob94c706d2009-11-18 11:57:07 -050030bool test_assign(const Dst&, const Src&, int traversal, int unrolling)
Gael Guennebaudcb71dc42009-01-07 22:20:03 +000031{
Gael Guennebauda3950242014-03-12 18:14:58 +010032 typedef internal::copy_using_evaluator_traits<internal::evaluator<Dst>,internal::evaluator<Src>, internal::assign_op<typename Dst::Scalar> > traits;
Gael Guennebaud512ba0a2016-04-13 18:16:35 +020033 bool res = traits::Traversal==traversal;
34 if(unrolling==InnerUnrolling+CompleteUnrolling)
Gael Guennebauda95e1a22016-04-13 22:00:38 +020035 res = res && (int(traits::Unrolling)==InnerUnrolling || int(traits::Unrolling)==CompleteUnrolling);
Gael Guennebaud512ba0a2016-04-13 18:16:35 +020036 else
Gael Guennebauda95e1a22016-04-13 22:00:38 +020037 res = res && int(traits::Unrolling)==unrolling;
Gael Guennebaud51ec1882010-07-08 23:30:16 +020038 if(!res)
39 {
Gael Guennebauda3950242014-03-12 18:14:58 +010040 std::cerr << "Src: " << demangle_flags(Src::Flags) << std::endl;
Gael Guennebauda3950242014-03-12 18:14:58 +010041 std::cerr << " " << demangle_flags(internal::evaluator<Src>::Flags) << std::endl;
Gael Guennebauda3950242014-03-12 18:14:58 +010042 std::cerr << "Dst: " << demangle_flags(Dst::Flags) << std::endl;
Gael Guennebauda3950242014-03-12 18:14:58 +010043 std::cerr << " " << demangle_flags(internal::evaluator<Dst>::Flags) << std::endl;
Gael Guennebauda3950242014-03-12 18:14:58 +010044 traits::debug();
Gael Guennebaud51ec1882010-07-08 23:30:16 +020045 std::cerr << " Expected Traversal == " << demangle_traversal(traversal)
Gael Guennebauda3950242014-03-12 18:14:58 +010046 << " got " << demangle_traversal(traits::Traversal) << "\n";
Gael Guennebaud51ec1882010-07-08 23:30:16 +020047 std::cerr << " Expected Unrolling == " << demangle_unrolling(unrolling)
Gael Guennebauda3950242014-03-12 18:14:58 +010048 << " got " << demangle_unrolling(traits::Unrolling) << "\n";
Gael Guennebaud51ec1882010-07-08 23:30:16 +020049 }
50 return res;
Gael Guennebaudcb71dc42009-01-07 22:20:03 +000051}
52
Benoit Jacobb1f666d2010-02-26 20:12:51 -050053template<typename Dst, typename Src>
54bool test_assign(int traversal, int unrolling)
55{
Gael Guennebauda3950242014-03-12 18:14:58 +010056 typedef internal::copy_using_evaluator_traits<internal::evaluator<Dst>,internal::evaluator<Src>, internal::assign_op<typename Dst::Scalar> > traits;
Gael Guennebauda3950242014-03-12 18:14:58 +010057 bool res = traits::Traversal==traversal && traits::Unrolling==unrolling;
Gael Guennebaud51ec1882010-07-08 23:30:16 +020058 if(!res)
59 {
Gael Guennebauda3950242014-03-12 18:14:58 +010060 std::cerr << "Src: " << demangle_flags(Src::Flags) << std::endl;
Gael Guennebauda3950242014-03-12 18:14:58 +010061 std::cerr << " " << demangle_flags(internal::evaluator<Src>::Flags) << std::endl;
Gael Guennebauda3950242014-03-12 18:14:58 +010062 std::cerr << "Dst: " << demangle_flags(Dst::Flags) << std::endl;
Gael Guennebauda3950242014-03-12 18:14:58 +010063 std::cerr << " " << demangle_flags(internal::evaluator<Dst>::Flags) << std::endl;
Gael Guennebauda3950242014-03-12 18:14:58 +010064 traits::debug();
Gael Guennebaud51ec1882010-07-08 23:30:16 +020065 std::cerr << " Expected Traversal == " << demangle_traversal(traversal)
Gael Guennebauda3950242014-03-12 18:14:58 +010066 << " got " << demangle_traversal(traits::Traversal) << "\n";
Gael Guennebaud51ec1882010-07-08 23:30:16 +020067 std::cerr << " Expected Unrolling == " << demangle_unrolling(unrolling)
Gael Guennebauda3950242014-03-12 18:14:58 +010068 << " got " << demangle_unrolling(traits::Unrolling) << "\n";
Gael Guennebaud51ec1882010-07-08 23:30:16 +020069 }
70 return res;
Benoit Jacobb1f666d2010-02-26 20:12:51 -050071}
72
Gael Guennebaudcb71dc42009-01-07 22:20:03 +000073template<typename Xpr>
Benoit Jacob94c706d2009-11-18 11:57:07 -050074bool test_redux(const Xpr&, int traversal, int unrolling)
Gael Guennebaudcb71dc42009-01-07 22:20:03 +000075{
Gael Guennebauda3950242014-03-12 18:14:58 +010076 typedef internal::redux_traits<internal::scalar_sum_op<typename Xpr::Scalar>,internal::redux_evaluator<Xpr> > traits;
Gael Guennebauda3950242014-03-12 18:14:58 +010077
Gael Guennebaud51ec1882010-07-08 23:30:16 +020078 bool res = traits::Traversal==traversal && traits::Unrolling==unrolling;
79 if(!res)
80 {
Gael Guennebauda3950242014-03-12 18:14:58 +010081 std::cerr << demangle_flags(Xpr::Flags) << std::endl;
Gael Guennebauda3950242014-03-12 18:14:58 +010082 std::cerr << demangle_flags(internal::evaluator<Xpr>::Flags) << std::endl;
Gael Guennebauda3950242014-03-12 18:14:58 +010083 traits::debug();
84
Gael Guennebaud51ec1882010-07-08 23:30:16 +020085 std::cerr << " Expected Traversal == " << demangle_traversal(traversal)
86 << " got " << demangle_traversal(traits::Traversal) << "\n";
87 std::cerr << " Expected Unrolling == " << demangle_unrolling(unrolling)
88 << " got " << demangle_unrolling(traits::Unrolling) << "\n";
89 }
90 return res;
Gael Guennebaudcb71dc42009-01-07 22:20:03 +000091}
92
Gael Guennebaudfebcce32015-08-07 20:05:31 +020093template<typename Scalar, bool Enable = internal::packet_traits<Scalar>::Vectorizable>
94struct vectorization_logic
Gael Guennebaud51ec1882010-07-08 23:30:16 +020095{
Christoph Hertzberg4f440b82014-07-14 14:36:20 +020096 typedef internal::packet_traits<Scalar> PacketTraits;
Gael Guennebaudfebcce32015-08-07 20:05:31 +020097
98 typedef typename internal::packet_traits<Scalar>::type PacketType;
99 typedef typename internal::unpacket_traits<PacketType>::half HalfPacketType;
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200100 enum {
Gael Guennebaudfebcce32015-08-07 20:05:31 +0200101 PacketSize = internal::unpacket_traits<PacketType>::size,
102 HalfPacketSize = internal::unpacket_traits<HalfPacketType>::size
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200103 };
104 static void run()
105 {
106
107 typedef Matrix<Scalar,PacketSize,1> Vector1;
108 typedef Matrix<Scalar,Dynamic,1> VectorX;
109 typedef Matrix<Scalar,Dynamic,Dynamic> MatrixXX;
110 typedef Matrix<Scalar,PacketSize,PacketSize> Matrix11;
111 typedef Matrix<Scalar,2*PacketSize,2*PacketSize> Matrix22;
Gael Guennebaud64356a62011-01-04 14:18:07 +0100112 typedef Matrix<Scalar,(Matrix11::Flags&RowMajorBit)?16:4*PacketSize,(Matrix11::Flags&RowMajorBit)?4*PacketSize:16> Matrix44;
113 typedef Matrix<Scalar,(Matrix11::Flags&RowMajorBit)?16:4*PacketSize,(Matrix11::Flags&RowMajorBit)?4*PacketSize:16,DontAlign|EIGEN_DEFAULT_MATRIX_STORAGE_ORDER_OPTION> Matrix44u;
Gael Guennebaud2606abe2014-04-18 21:14:40 +0200114 typedef Matrix<Scalar,4*PacketSize,4*PacketSize,ColMajor> Matrix44c;
115 typedef Matrix<Scalar,4*PacketSize,4*PacketSize,RowMajor> Matrix44r;
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200116
117 typedef Matrix<Scalar,
118 (PacketSize==8 ? 4 : PacketSize==4 ? 2 : PacketSize==2 ? 1 : /*PacketSize==1 ?*/ 1),
119 (PacketSize==8 ? 2 : PacketSize==4 ? 2 : PacketSize==2 ? 2 : /*PacketSize==1 ?*/ 1)
120 > Matrix1;
121
122 typedef Matrix<Scalar,
123 (PacketSize==8 ? 4 : PacketSize==4 ? 2 : PacketSize==2 ? 1 : /*PacketSize==1 ?*/ 1),
124 (PacketSize==8 ? 2 : PacketSize==4 ? 2 : PacketSize==2 ? 2 : /*PacketSize==1 ?*/ 1),
125 DontAlign|((Matrix1::Flags&RowMajorBit)?RowMajor:ColMajor)> Matrix1u;
126
Gael Guennebaud64356a62011-01-04 14:18:07 +0100127 // this type is made such that it can only be vectorized when viewed as a linear 1D vector
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200128 typedef Matrix<Scalar,
Gael Guennebaud64356a62011-01-04 14:18:07 +0100129 (PacketSize==8 ? 4 : PacketSize==4 ? 6 : PacketSize==2 ? ((Matrix11::Flags&RowMajorBit)?2:3) : /*PacketSize==1 ?*/ 1),
130 (PacketSize==8 ? 6 : PacketSize==4 ? 2 : PacketSize==2 ? ((Matrix11::Flags&RowMajorBit)?3:2) : /*PacketSize==1 ?*/ 3)
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200131 > Matrix3;
Gael Guennebaud501bc602011-05-19 21:52:40 +0200132
133 #if !EIGEN_GCC_AND_ARCH_DOESNT_WANT_STACK_ALIGNMENT
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200134 VERIFY(test_assign(Vector1(),Vector1(),
135 InnerVectorizedTraversal,CompleteUnrolling));
136 VERIFY(test_assign(Vector1(),Vector1()+Vector1(),
137 InnerVectorizedTraversal,CompleteUnrolling));
138 VERIFY(test_assign(Vector1(),Vector1().cwiseProduct(Vector1()),
139 InnerVectorizedTraversal,CompleteUnrolling));
140 VERIFY(test_assign(Vector1(),Vector1().template cast<Scalar>(),
141 InnerVectorizedTraversal,CompleteUnrolling));
142
143
144 VERIFY(test_assign(Vector1(),Vector1(),
145 InnerVectorizedTraversal,CompleteUnrolling));
146 VERIFY(test_assign(Vector1(),Vector1()+Vector1(),
147 InnerVectorizedTraversal,CompleteUnrolling));
148 VERIFY(test_assign(Vector1(),Vector1().cwiseProduct(Vector1()),
149 InnerVectorizedTraversal,CompleteUnrolling));
150
151 VERIFY(test_assign(Matrix44(),Matrix44()+Matrix44(),
152 InnerVectorizedTraversal,InnerUnrolling));
153
154 VERIFY(test_assign(Matrix44u(),Matrix44()+Matrix44(),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200155 EIGEN_UNALIGNED_VECTORIZE ? InnerVectorizedTraversal : LinearTraversal,
156 EIGEN_UNALIGNED_VECTORIZE ? InnerUnrolling : NoUnrolling));
157
158 VERIFY(test_assign(Matrix1(),Matrix1()+Matrix1(),
159 (Matrix1::InnerSizeAtCompileTime % PacketSize)==0 ? InnerVectorizedTraversal : LinearVectorizedTraversal,
160 CompleteUnrolling));
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200161
162 VERIFY(test_assign(Matrix1u(),Matrix1()+Matrix1(),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200163 EIGEN_UNALIGNED_VECTORIZE ? ((Matrix1::InnerSizeAtCompileTime % PacketSize)==0 ? InnerVectorizedTraversal : LinearVectorizedTraversal)
164 : LinearTraversal, CompleteUnrolling));
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200165
Gael Guennebaudaa2b46a2010-07-23 16:29:29 +0200166 VERIFY(test_assign(Matrix44c().col(1),Matrix44c().col(2)+Matrix44c().col(3),
167 InnerVectorizedTraversal,CompleteUnrolling));
Benoit Steiner25d05c42016-04-12 14:13:25 -0700168
Gael Guennebaudaa2b46a2010-07-23 16:29:29 +0200169 VERIFY(test_assign(Matrix44r().row(2),Matrix44r().row(1)+Matrix44r().row(1),
170 InnerVectorizedTraversal,CompleteUnrolling));
Benoit Steiner25d05c42016-04-12 14:13:25 -0700171
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200172 if(PacketSize>1)
173 {
Gael Guennebaudaa2b46a2010-07-23 16:29:29 +0200174 typedef Matrix<Scalar,3,3,ColMajor> Matrix33c;
Gael Guennebaude68e1652016-05-24 21:54:03 +0200175 typedef Matrix<Scalar,3,1,ColMajor> Vector3;
Gael Guennebaudaa2b46a2010-07-23 16:29:29 +0200176 VERIFY(test_assign(Matrix33c().row(2),Matrix33c().row(1)+Matrix33c().row(1),
177 LinearTraversal,CompleteUnrolling));
Gael Guennebaude68e1652016-05-24 21:54:03 +0200178 VERIFY(test_assign(Vector3(),Vector3()+Vector3(),
179 EIGEN_UNALIGNED_VECTORIZE ? (HalfPacketSize==1 ? InnerVectorizedTraversal : LinearVectorizedTraversal) : (HalfPacketSize==1 ? InnerVectorizedTraversal : LinearTraversal), CompleteUnrolling));
Gael Guennebaudaa2b46a2010-07-23 16:29:29 +0200180 VERIFY(test_assign(Matrix33c().col(0),Matrix33c().col(1)+Matrix33c().col(1),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200181 EIGEN_UNALIGNED_VECTORIZE ? (HalfPacketSize==1 ? InnerVectorizedTraversal : LinearVectorizedTraversal) : (HalfPacketSize==1 ? SliceVectorizedTraversal : LinearTraversal),
182 ((!EIGEN_UNALIGNED_VECTORIZE) && HalfPacketSize==1) ? NoUnrolling : CompleteUnrolling));
Benoit Steiner25d05c42016-04-12 14:13:25 -0700183
184 VERIFY(test_assign(Matrix3(),Matrix3().cwiseProduct(Matrix3()),
185 LinearVectorizedTraversal,CompleteUnrolling));
186
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200187 VERIFY(test_assign(Matrix<Scalar,17,17>(),Matrix<Scalar,17,17>()+Matrix<Scalar,17,17>(),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200188 HalfPacketSize==1 ? InnerVectorizedTraversal :
189 EIGEN_UNALIGNED_VECTORIZE ? LinearVectorizedTraversal :
190 LinearTraversal,
191 NoUnrolling));
192
193 VERIFY(test_assign(Matrix11(), Matrix11()+Matrix11(),InnerVectorizedTraversal,CompleteUnrolling));
194
Benoit Steiner25d05c42016-04-12 14:13:25 -0700195
Gael Guennebaud2606abe2014-04-18 21:14:40 +0200196 VERIFY(test_assign(Matrix11(),Matrix<Scalar,17,17>().template block<PacketSize,PacketSize>(2,3)+Matrix<Scalar,17,17>().template block<PacketSize,PacketSize>(8,4),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200197 (EIGEN_UNALIGNED_VECTORIZE) ? InnerVectorizedTraversal : DefaultTraversal,
198 (EIGEN_UNALIGNED_VECTORIZE || PacketSize<=4) ? CompleteUnrolling : InnerUnrolling ));
Gael Guennebaud512ba0a2016-04-13 18:16:35 +0200199
200 VERIFY(test_assign(Vector1(),Matrix11()*Vector1(),
201 InnerVectorizedTraversal,CompleteUnrolling));
202
203 VERIFY(test_assign(Matrix11(),Matrix11().lazyProduct(Matrix11()),
204 InnerVectorizedTraversal,InnerUnrolling+CompleteUnrolling));
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200205 }
Benoit Steiner25d05c42016-04-12 14:13:25 -0700206
Gael Guennebaud512ba0a2016-04-13 18:16:35 +0200207 VERIFY(test_redux(Vector1(),
208 LinearVectorizedTraversal,CompleteUnrolling));
209
210 VERIFY(test_redux(Matrix<Scalar,PacketSize,3>(),
211 LinearVectorizedTraversal,CompleteUnrolling));
212
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200213 VERIFY(test_redux(Matrix3(),
214 LinearVectorizedTraversal,CompleteUnrolling));
215
216 VERIFY(test_redux(Matrix44(),
217 LinearVectorizedTraversal,NoUnrolling));
218
Gael Guennebaud64356a62011-01-04 14:18:07 +0100219 VERIFY(test_redux(Matrix44().template block<(Matrix1::Flags&RowMajorBit)?4:PacketSize,(Matrix1::Flags&RowMajorBit)?PacketSize:4>(1,2),
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200220 DefaultTraversal,CompleteUnrolling));
221
222 VERIFY(test_redux(Matrix44c().template block<2*PacketSize,1>(1,2),
223 LinearVectorizedTraversal,CompleteUnrolling));
224
225 VERIFY(test_redux(Matrix44r().template block<1,2*PacketSize>(2,1),
226 LinearVectorizedTraversal,CompleteUnrolling));
Gael Guennebaud2606abe2014-04-18 21:14:40 +0200227
Gael Guennebaud501bc602011-05-19 21:52:40 +0200228 VERIFY((test_assign<
Gael Guennebaud1f502432015-08-06 15:31:07 +0200229 Map<Matrix22, AlignedMax, OuterStride<3*PacketSize> >,
Gael Guennebaud501bc602011-05-19 21:52:40 +0200230 Matrix22
231 >(InnerVectorizedTraversal,CompleteUnrolling)));
232
233 VERIFY((test_assign<
Gael Guennebaud1f502432015-08-06 15:31:07 +0200234 Map<Matrix<Scalar,EIGEN_PLAIN_ENUM_MAX(2,PacketSize),EIGEN_PLAIN_ENUM_MAX(2,PacketSize)>, AlignedMax, InnerStride<3*PacketSize> >,
Gael Guennebaud2606abe2014-04-18 21:14:40 +0200235 Matrix<Scalar,EIGEN_PLAIN_ENUM_MAX(2,PacketSize),EIGEN_PLAIN_ENUM_MAX(2,PacketSize)>
Gael Guennebaud501bc602011-05-19 21:52:40 +0200236 >(DefaultTraversal,CompleteUnrolling)));
237
Gael Guennebaud2606abe2014-04-18 21:14:40 +0200238 VERIFY((test_assign(Matrix11(), Matrix<Scalar,PacketSize,EIGEN_PLAIN_ENUM_MIN(2,PacketSize)>()*Matrix<Scalar,EIGEN_PLAIN_ENUM_MIN(2,PacketSize),PacketSize>(),
Gael Guennebaud1330f8b2015-03-13 21:15:50 +0100239 InnerVectorizedTraversal, CompleteUnrolling)));
Gael Guennebaud501bc602011-05-19 21:52:40 +0200240 #endif
241
242 VERIFY(test_assign(MatrixXX(10,10),MatrixXX(20,20).block(10,10,2,3),
243 SliceVectorizedTraversal,NoUnrolling));
244
245 VERIFY(test_redux(VectorX(10),
246 LinearVectorizedTraversal,NoUnrolling));
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200247 }
248};
249
250template<typename Scalar> struct vectorization_logic<Scalar,false>
251{
252 static void run() {}
253};
254
Gael Guennebaudfebcce32015-08-07 20:05:31 +0200255template<typename Scalar, bool Enable = !internal::is_same<typename internal::unpacket_traits<typename internal::packet_traits<Scalar>::type>::half,
256 typename internal::packet_traits<Scalar>::type>::value >
257struct vectorization_logic_half
258{
259 typedef internal::packet_traits<Scalar> PacketTraits;
260 typedef typename internal::unpacket_traits<typename internal::packet_traits<Scalar>::type>::half PacketType;
261 enum {
262 PacketSize = internal::unpacket_traits<PacketType>::size
263 };
264 static void run()
265 {
266
267 typedef Matrix<Scalar,PacketSize,1> Vector1;
268 typedef Matrix<Scalar,PacketSize,PacketSize> Matrix11;
269 typedef Matrix<Scalar,5*PacketSize,7,ColMajor> Matrix57;
Gael Guennebaud512ba0a2016-04-13 18:16:35 +0200270 typedef Matrix<Scalar,3*PacketSize,5,ColMajor> Matrix35;
Gael Guennebaudfebcce32015-08-07 20:05:31 +0200271 typedef Matrix<Scalar,5*PacketSize,7,DontAlign|ColMajor> Matrix57u;
272// typedef Matrix<Scalar,(Matrix11::Flags&RowMajorBit)?16:4*PacketSize,(Matrix11::Flags&RowMajorBit)?4*PacketSize:16> Matrix44;
273// typedef Matrix<Scalar,(Matrix11::Flags&RowMajorBit)?16:4*PacketSize,(Matrix11::Flags&RowMajorBit)?4*PacketSize:16,DontAlign|EIGEN_DEFAULT_MATRIX_STORAGE_ORDER_OPTION> Matrix44u;
274// typedef Matrix<Scalar,4*PacketSize,4*PacketSize,ColMajor> Matrix44c;
275// typedef Matrix<Scalar,4*PacketSize,4*PacketSize,RowMajor> Matrix44r;
276
277 typedef Matrix<Scalar,
278 (PacketSize==8 ? 4 : PacketSize==4 ? 2 : PacketSize==2 ? 1 : /*PacketSize==1 ?*/ 1),
279 (PacketSize==8 ? 2 : PacketSize==4 ? 2 : PacketSize==2 ? 2 : /*PacketSize==1 ?*/ 1)
280 > Matrix1;
281
282 typedef Matrix<Scalar,
283 (PacketSize==8 ? 4 : PacketSize==4 ? 2 : PacketSize==2 ? 1 : /*PacketSize==1 ?*/ 1),
284 (PacketSize==8 ? 2 : PacketSize==4 ? 2 : PacketSize==2 ? 2 : /*PacketSize==1 ?*/ 1),
285 DontAlign|((Matrix1::Flags&RowMajorBit)?RowMajor:ColMajor)> Matrix1u;
286
287 // this type is made such that it can only be vectorized when viewed as a linear 1D vector
288 typedef Matrix<Scalar,
289 (PacketSize==8 ? 4 : PacketSize==4 ? 6 : PacketSize==2 ? ((Matrix11::Flags&RowMajorBit)?2:3) : /*PacketSize==1 ?*/ 1),
290 (PacketSize==8 ? 6 : PacketSize==4 ? 2 : PacketSize==2 ? ((Matrix11::Flags&RowMajorBit)?3:2) : /*PacketSize==1 ?*/ 3)
291 > Matrix3;
292
293 #if !EIGEN_GCC_AND_ARCH_DOESNT_WANT_STACK_ALIGNMENT
294 VERIFY(test_assign(Vector1(),Vector1(),
295 InnerVectorizedTraversal,CompleteUnrolling));
296 VERIFY(test_assign(Vector1(),Vector1()+Vector1(),
297 InnerVectorizedTraversal,CompleteUnrolling));
Gael Guennebaude68e1652016-05-24 21:54:03 +0200298 VERIFY(test_assign(Vector1(),Vector1().template segment<PacketSize>(0).derived(),
299 EIGEN_UNALIGNED_VECTORIZE ? InnerVectorizedTraversal : LinearVectorizedTraversal,CompleteUnrolling));
300 VERIFY(test_assign(Vector1(),Scalar(2.1)*Vector1()-Vector1(),
301 InnerVectorizedTraversal,CompleteUnrolling));
302 VERIFY(test_assign(Vector1(),(Scalar(2.1)*Vector1().template segment<PacketSize>(0)-Vector1().template segment<PacketSize>(0)).derived(),
303 EIGEN_UNALIGNED_VECTORIZE ? InnerVectorizedTraversal : LinearVectorizedTraversal,CompleteUnrolling));
Gael Guennebaudfebcce32015-08-07 20:05:31 +0200304 VERIFY(test_assign(Vector1(),Vector1().cwiseProduct(Vector1()),
305 InnerVectorizedTraversal,CompleteUnrolling));
306 VERIFY(test_assign(Vector1(),Vector1().template cast<Scalar>(),
307 InnerVectorizedTraversal,CompleteUnrolling));
308
309
310 VERIFY(test_assign(Vector1(),Vector1(),
311 InnerVectorizedTraversal,CompleteUnrolling));
312 VERIFY(test_assign(Vector1(),Vector1()+Vector1(),
313 InnerVectorizedTraversal,CompleteUnrolling));
314 VERIFY(test_assign(Vector1(),Vector1().cwiseProduct(Vector1()),
315 InnerVectorizedTraversal,CompleteUnrolling));
316
317 VERIFY(test_assign(Matrix57(),Matrix57()+Matrix57(),
318 InnerVectorizedTraversal,InnerUnrolling));
319
320 VERIFY(test_assign(Matrix57u(),Matrix57()+Matrix57(),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200321 EIGEN_UNALIGNED_VECTORIZE ? InnerVectorizedTraversal : LinearTraversal,
322 EIGEN_UNALIGNED_VECTORIZE ? InnerUnrolling : NoUnrolling));
Gael Guennebaudfebcce32015-08-07 20:05:31 +0200323
324 VERIFY(test_assign(Matrix1u(),Matrix1()+Matrix1(),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200325 EIGEN_UNALIGNED_VECTORIZE ? ((Matrix1::InnerSizeAtCompileTime % PacketSize)==0 ? InnerVectorizedTraversal : LinearVectorizedTraversal) : LinearTraversal,CompleteUnrolling));
Gael Guennebaudfebcce32015-08-07 20:05:31 +0200326
327 if(PacketSize>1)
328 {
329 typedef Matrix<Scalar,3,3,ColMajor> Matrix33c;
330 VERIFY(test_assign(Matrix33c().row(2),Matrix33c().row(1)+Matrix33c().row(1),
331 LinearTraversal,CompleteUnrolling));
332 VERIFY(test_assign(Matrix33c().col(0),Matrix33c().col(1)+Matrix33c().col(1),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200333 EIGEN_UNALIGNED_VECTORIZE ? (PacketSize==1 ? InnerVectorizedTraversal : LinearVectorizedTraversal) : LinearTraversal,CompleteUnrolling));
Gael Guennebaudfebcce32015-08-07 20:05:31 +0200334
335 VERIFY(test_assign(Matrix3(),Matrix3().cwiseQuotient(Matrix3()),
336 PacketTraits::HasDiv ? LinearVectorizedTraversal : LinearTraversal,CompleteUnrolling));
337
338 VERIFY(test_assign(Matrix<Scalar,17,17>(),Matrix<Scalar,17,17>()+Matrix<Scalar,17,17>(),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200339 EIGEN_UNALIGNED_VECTORIZE ? (PacketSize==1 ? InnerVectorizedTraversal : LinearVectorizedTraversal) : LinearTraversal,
340 NoUnrolling));
Gael Guennebaudfebcce32015-08-07 20:05:31 +0200341
342 VERIFY(test_assign(Matrix11(),Matrix<Scalar,17,17>().template block<PacketSize,PacketSize>(2,3)+Matrix<Scalar,17,17>().template block<PacketSize,PacketSize>(8,4),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200343 EIGEN_UNALIGNED_VECTORIZE ? InnerVectorizedTraversal : DefaultTraversal,PacketSize>4?InnerUnrolling:CompleteUnrolling));
Gael Guennebaud512ba0a2016-04-13 18:16:35 +0200344
345 VERIFY(test_assign(Vector1(),Matrix11()*Vector1(),
346 InnerVectorizedTraversal,CompleteUnrolling));
347
348 VERIFY(test_assign(Matrix11(),Matrix11().lazyProduct(Matrix11()),
349 InnerVectorizedTraversal,InnerUnrolling+CompleteUnrolling));
Gael Guennebaudfebcce32015-08-07 20:05:31 +0200350 }
351
Gael Guennebaud512ba0a2016-04-13 18:16:35 +0200352 VERIFY(test_redux(Vector1(),
353 LinearVectorizedTraversal,CompleteUnrolling));
354
355 VERIFY(test_redux(Matrix<Scalar,PacketSize,3>(),
356 LinearVectorizedTraversal,CompleteUnrolling));
357
Gael Guennebaudfebcce32015-08-07 20:05:31 +0200358 VERIFY(test_redux(Matrix3(),
359 LinearVectorizedTraversal,CompleteUnrolling));
360
Gael Guennebaud512ba0a2016-04-13 18:16:35 +0200361 VERIFY(test_redux(Matrix35(),
Gael Guennebaudfebcce32015-08-07 20:05:31 +0200362 LinearVectorizedTraversal,CompleteUnrolling));
363
364 VERIFY(test_redux(Matrix57().template block<PacketSize,3>(1,0),
365 DefaultTraversal,CompleteUnrolling));
366
367 VERIFY((test_assign<
368 Map<Matrix<Scalar,EIGEN_PLAIN_ENUM_MAX(2,PacketSize),EIGEN_PLAIN_ENUM_MAX(2,PacketSize)>, AlignedMax, InnerStride<3*PacketSize> >,
369 Matrix<Scalar,EIGEN_PLAIN_ENUM_MAX(2,PacketSize),EIGEN_PLAIN_ENUM_MAX(2,PacketSize)>
370 >(DefaultTraversal,CompleteUnrolling)));
371
372 VERIFY((test_assign(Matrix57(), Matrix<Scalar,5*PacketSize,3>()*Matrix<Scalar,3,7>(),
373 InnerVectorizedTraversal, CompleteUnrolling)));
374 #endif
375 }
376};
377
378template<typename Scalar> struct vectorization_logic_half<Scalar,false>
379{
380 static void run() {}
381};
382
Gael Guennebaudcb71dc42009-01-07 22:20:03 +0000383void test_vectorization_logic()
384{
385
386#ifdef EIGEN_VECTORIZE
387
Christoph Hertzberg4f440b82014-07-14 14:36:20 +0200388 CALL_SUBTEST( vectorization_logic<int>::run() );
Gael Guennebaud501bc602011-05-19 21:52:40 +0200389 CALL_SUBTEST( vectorization_logic<float>::run() );
390 CALL_SUBTEST( vectorization_logic<double>::run() );
391 CALL_SUBTEST( vectorization_logic<std::complex<float> >::run() );
392 CALL_SUBTEST( vectorization_logic<std::complex<double> >::run() );
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200393
Gael Guennebaudfebcce32015-08-07 20:05:31 +0200394 CALL_SUBTEST( vectorization_logic_half<int>::run() );
395 CALL_SUBTEST( vectorization_logic_half<float>::run() );
396 CALL_SUBTEST( vectorization_logic_half<double>::run() );
397 CALL_SUBTEST( vectorization_logic_half<std::complex<float> >::run() );
398 CALL_SUBTEST( vectorization_logic_half<std::complex<double> >::run() );
399
Benoit Jacob47160402010-10-25 10:15:22 -0400400 if(internal::packet_traits<float>::Vectorizable)
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200401 {
402 VERIFY(test_assign(Matrix<float,3,3>(),Matrix<float,3,3>()+Matrix<float,3,3>(),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200403 EIGEN_UNALIGNED_VECTORIZE ? LinearVectorizedTraversal : LinearTraversal,CompleteUnrolling));
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200404
405 VERIFY(test_redux(Matrix<float,5,2>(),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200406 EIGEN_UNALIGNED_VECTORIZE ? LinearVectorizedTraversal : DefaultTraversal,CompleteUnrolling));
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200407 }
408
Benoit Jacob47160402010-10-25 10:15:22 -0400409 if(internal::packet_traits<double>::Vectorizable)
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200410 {
411 VERIFY(test_assign(Matrix<double,3,3>(),Matrix<double,3,3>()+Matrix<double,3,3>(),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200412 EIGEN_UNALIGNED_VECTORIZE ? LinearVectorizedTraversal : LinearTraversal,CompleteUnrolling));
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200413
414 VERIFY(test_redux(Matrix<double,7,3>(),
Gael Guennebaude68e1652016-05-24 21:54:03 +0200415 EIGEN_UNALIGNED_VECTORIZE ? LinearVectorizedTraversal : DefaultTraversal,CompleteUnrolling));
Gael Guennebaud51ec1882010-07-08 23:30:16 +0200416 }
Gael Guennebaudcb71dc42009-01-07 22:20:03 +0000417#endif // EIGEN_VECTORIZE
418
419}