xref: /aosp_15_r20/external/eigen/test/mapstride.cpp (revision bf2c37156dfe67e5dfebd6d394bad8b2ab5804d4)
1*bf2c3715SXin Li // This file is part of Eigen, a lightweight C++ template library
2*bf2c3715SXin Li // for linear algebra.
3*bf2c3715SXin Li //
4*bf2c3715SXin Li // Copyright (C) 2010 Benoit Jacob <[email protected]>
5*bf2c3715SXin Li //
6*bf2c3715SXin Li // This Source Code Form is subject to the terms of the Mozilla
7*bf2c3715SXin Li // Public License v. 2.0. If a copy of the MPL was not distributed
8*bf2c3715SXin Li // with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
9*bf2c3715SXin Li 
10*bf2c3715SXin Li #include "main.h"
11*bf2c3715SXin Li 
map_class_vector(const VectorType & m)12*bf2c3715SXin Li template<int Alignment,typename VectorType> void map_class_vector(const VectorType& m)
13*bf2c3715SXin Li {
14*bf2c3715SXin Li   typedef typename VectorType::Scalar Scalar;
15*bf2c3715SXin Li 
16*bf2c3715SXin Li   Index size = m.size();
17*bf2c3715SXin Li 
18*bf2c3715SXin Li   VectorType v = VectorType::Random(size);
19*bf2c3715SXin Li 
20*bf2c3715SXin Li   Index arraysize = 3*size;
21*bf2c3715SXin Li 
22*bf2c3715SXin Li   Scalar* a_array = internal::aligned_new<Scalar>(arraysize+1);
23*bf2c3715SXin Li   Scalar* array = a_array;
24*bf2c3715SXin Li   if(Alignment!=Aligned)
25*bf2c3715SXin Li     array = (Scalar*)(internal::IntPtr(a_array) + (internal::packet_traits<Scalar>::AlignedOnScalar?sizeof(Scalar):sizeof(typename NumTraits<Scalar>::Real)));
26*bf2c3715SXin Li 
27*bf2c3715SXin Li   {
28*bf2c3715SXin Li     Map<VectorType, Alignment, InnerStride<3> > map(array, size);
29*bf2c3715SXin Li     map = v;
30*bf2c3715SXin Li     for(int i = 0; i < size; ++i)
31*bf2c3715SXin Li     {
32*bf2c3715SXin Li       VERIFY(array[3*i] == v[i]);
33*bf2c3715SXin Li       VERIFY(map[i] == v[i]);
34*bf2c3715SXin Li     }
35*bf2c3715SXin Li   }
36*bf2c3715SXin Li 
37*bf2c3715SXin Li   {
38*bf2c3715SXin Li     Map<VectorType, Unaligned, InnerStride<Dynamic> > map(array, size, InnerStride<Dynamic>(2));
39*bf2c3715SXin Li     map = v;
40*bf2c3715SXin Li     for(int i = 0; i < size; ++i)
41*bf2c3715SXin Li     {
42*bf2c3715SXin Li       VERIFY(array[2*i] == v[i]);
43*bf2c3715SXin Li       VERIFY(map[i] == v[i]);
44*bf2c3715SXin Li     }
45*bf2c3715SXin Li   }
46*bf2c3715SXin Li 
47*bf2c3715SXin Li   internal::aligned_delete(a_array, arraysize+1);
48*bf2c3715SXin Li }
49*bf2c3715SXin Li 
map_class_matrix(const MatrixType & _m)50*bf2c3715SXin Li template<int Alignment,typename MatrixType> void map_class_matrix(const MatrixType& _m)
51*bf2c3715SXin Li {
52*bf2c3715SXin Li   typedef typename MatrixType::Scalar Scalar;
53*bf2c3715SXin Li 
54*bf2c3715SXin Li   Index rows = _m.rows(), cols = _m.cols();
55*bf2c3715SXin Li 
56*bf2c3715SXin Li   MatrixType m = MatrixType::Random(rows,cols);
57*bf2c3715SXin Li   Scalar s1 = internal::random<Scalar>();
58*bf2c3715SXin Li 
59*bf2c3715SXin Li   Index arraysize = 4*(rows+4)*(cols+4);
60*bf2c3715SXin Li 
61*bf2c3715SXin Li   Scalar* a_array1 = internal::aligned_new<Scalar>(arraysize+1);
62*bf2c3715SXin Li   Scalar* array1 = a_array1;
63*bf2c3715SXin Li   if(Alignment!=Aligned)
64*bf2c3715SXin Li     array1 = (Scalar*)(internal::IntPtr(a_array1) + (internal::packet_traits<Scalar>::AlignedOnScalar?sizeof(Scalar):sizeof(typename NumTraits<Scalar>::Real)));
65*bf2c3715SXin Li 
66*bf2c3715SXin Li   Scalar a_array2[256];
67*bf2c3715SXin Li   Scalar* array2 = a_array2;
68*bf2c3715SXin Li   if(Alignment!=Aligned)
69*bf2c3715SXin Li     array2 = (Scalar*)(internal::IntPtr(a_array2) + (internal::packet_traits<Scalar>::AlignedOnScalar?sizeof(Scalar):sizeof(typename NumTraits<Scalar>::Real)));
70*bf2c3715SXin Li   else
71*bf2c3715SXin Li     array2 = (Scalar*)(((internal::UIntPtr(a_array2)+EIGEN_MAX_ALIGN_BYTES-1)/EIGEN_MAX_ALIGN_BYTES)*EIGEN_MAX_ALIGN_BYTES);
72*bf2c3715SXin Li   Index maxsize2 = a_array2 - array2 + 256;
73*bf2c3715SXin Li 
74*bf2c3715SXin Li   // test no inner stride and some dynamic outer stride
75*bf2c3715SXin Li   for(int k=0; k<2; ++k)
76*bf2c3715SXin Li   {
77*bf2c3715SXin Li     if(k==1 && (m.innerSize()+1)*m.outerSize() > maxsize2)
78*bf2c3715SXin Li       break;
79*bf2c3715SXin Li     Scalar* array = (k==0 ? array1 : array2);
80*bf2c3715SXin Li 
81*bf2c3715SXin Li     Map<MatrixType, Alignment, OuterStride<Dynamic> > map(array, rows, cols, OuterStride<Dynamic>(m.innerSize()+1));
82*bf2c3715SXin Li     map = m;
83*bf2c3715SXin Li     VERIFY(map.outerStride() == map.innerSize()+1);
84*bf2c3715SXin Li     for(int i = 0; i < m.outerSize(); ++i)
85*bf2c3715SXin Li       for(int j = 0; j < m.innerSize(); ++j)
86*bf2c3715SXin Li       {
87*bf2c3715SXin Li         VERIFY(array[map.outerStride()*i+j] == m.coeffByOuterInner(i,j));
88*bf2c3715SXin Li         VERIFY(map.coeffByOuterInner(i,j) == m.coeffByOuterInner(i,j));
89*bf2c3715SXin Li       }
90*bf2c3715SXin Li     VERIFY_IS_APPROX(s1*map,s1*m);
91*bf2c3715SXin Li     map *= s1;
92*bf2c3715SXin Li     VERIFY_IS_APPROX(map,s1*m);
93*bf2c3715SXin Li   }
94*bf2c3715SXin Li 
95*bf2c3715SXin Li   // test no inner stride and an outer stride of +4. This is quite important as for fixed-size matrices,
96*bf2c3715SXin Li   // this allows to hit the special case where it's vectorizable.
97*bf2c3715SXin Li   for(int k=0; k<2; ++k)
98*bf2c3715SXin Li   {
99*bf2c3715SXin Li     if(k==1 && (m.innerSize()+4)*m.outerSize() > maxsize2)
100*bf2c3715SXin Li       break;
101*bf2c3715SXin Li     Scalar* array = (k==0 ? array1 : array2);
102*bf2c3715SXin Li 
103*bf2c3715SXin Li     enum {
104*bf2c3715SXin Li       InnerSize = MatrixType::InnerSizeAtCompileTime,
105*bf2c3715SXin Li       OuterStrideAtCompileTime = InnerSize==Dynamic ? Dynamic : InnerSize+4
106*bf2c3715SXin Li     };
107*bf2c3715SXin Li     Map<MatrixType, Alignment, OuterStride<OuterStrideAtCompileTime> >
108*bf2c3715SXin Li       map(array, rows, cols, OuterStride<OuterStrideAtCompileTime>(m.innerSize()+4));
109*bf2c3715SXin Li     map = m;
110*bf2c3715SXin Li     VERIFY(map.outerStride() == map.innerSize()+4);
111*bf2c3715SXin Li     for(int i = 0; i < m.outerSize(); ++i)
112*bf2c3715SXin Li       for(int j = 0; j < m.innerSize(); ++j)
113*bf2c3715SXin Li       {
114*bf2c3715SXin Li         VERIFY(array[map.outerStride()*i+j] == m.coeffByOuterInner(i,j));
115*bf2c3715SXin Li         VERIFY(map.coeffByOuterInner(i,j) == m.coeffByOuterInner(i,j));
116*bf2c3715SXin Li       }
117*bf2c3715SXin Li     VERIFY_IS_APPROX(s1*map,s1*m);
118*bf2c3715SXin Li     map *= s1;
119*bf2c3715SXin Li     VERIFY_IS_APPROX(map,s1*m);
120*bf2c3715SXin Li   }
121*bf2c3715SXin Li 
122*bf2c3715SXin Li   // test both inner stride and outer stride
123*bf2c3715SXin Li   for(int k=0; k<2; ++k)
124*bf2c3715SXin Li   {
125*bf2c3715SXin Li     if(k==1 && (2*m.innerSize()+1)*(m.outerSize()*2) > maxsize2)
126*bf2c3715SXin Li       break;
127*bf2c3715SXin Li     Scalar* array = (k==0 ? array1 : array2);
128*bf2c3715SXin Li 
129*bf2c3715SXin Li     Map<MatrixType, Alignment, Stride<Dynamic,Dynamic> > map(array, rows, cols, Stride<Dynamic,Dynamic>(2*m.innerSize()+1, 2));
130*bf2c3715SXin Li     map = m;
131*bf2c3715SXin Li     VERIFY(map.outerStride() == 2*map.innerSize()+1);
132*bf2c3715SXin Li     VERIFY(map.innerStride() == 2);
133*bf2c3715SXin Li     for(int i = 0; i < m.outerSize(); ++i)
134*bf2c3715SXin Li       for(int j = 0; j < m.innerSize(); ++j)
135*bf2c3715SXin Li       {
136*bf2c3715SXin Li         VERIFY(array[map.outerStride()*i+map.innerStride()*j] == m.coeffByOuterInner(i,j));
137*bf2c3715SXin Li         VERIFY(map.coeffByOuterInner(i,j) == m.coeffByOuterInner(i,j));
138*bf2c3715SXin Li       }
139*bf2c3715SXin Li     VERIFY_IS_APPROX(s1*map,s1*m);
140*bf2c3715SXin Li     map *= s1;
141*bf2c3715SXin Li     VERIFY_IS_APPROX(map,s1*m);
142*bf2c3715SXin Li   }
143*bf2c3715SXin Li 
144*bf2c3715SXin Li   // test inner stride and no outer stride
145*bf2c3715SXin Li   for(int k=0; k<2; ++k)
146*bf2c3715SXin Li   {
147*bf2c3715SXin Li     if(k==1 && (m.innerSize()*2)*m.outerSize() > maxsize2)
148*bf2c3715SXin Li       break;
149*bf2c3715SXin Li     Scalar* array = (k==0 ? array1 : array2);
150*bf2c3715SXin Li 
151*bf2c3715SXin Li     Map<MatrixType, Alignment, InnerStride<Dynamic> > map(array, rows, cols, InnerStride<Dynamic>(2));
152*bf2c3715SXin Li     map = m;
153*bf2c3715SXin Li     VERIFY(map.outerStride() == map.innerSize()*2);
154*bf2c3715SXin Li     for(int i = 0; i < m.outerSize(); ++i)
155*bf2c3715SXin Li       for(int j = 0; j < m.innerSize(); ++j)
156*bf2c3715SXin Li       {
157*bf2c3715SXin Li         VERIFY(array[map.innerSize()*i*2+j*2] == m.coeffByOuterInner(i,j));
158*bf2c3715SXin Li         VERIFY(map.coeffByOuterInner(i,j) == m.coeffByOuterInner(i,j));
159*bf2c3715SXin Li       }
160*bf2c3715SXin Li     VERIFY_IS_APPROX(s1*map,s1*m);
161*bf2c3715SXin Li     map *= s1;
162*bf2c3715SXin Li     VERIFY_IS_APPROX(map,s1*m);
163*bf2c3715SXin Li   }
164*bf2c3715SXin Li 
165*bf2c3715SXin Li   // test negative strides
166*bf2c3715SXin Li   {
167*bf2c3715SXin Li     Matrix<Scalar,Dynamic,1>::Map(a_array1, arraysize+1).setRandom();
168*bf2c3715SXin Li     Index outerstride = m.innerSize()+4;
169*bf2c3715SXin Li     Scalar* array = array1;
170*bf2c3715SXin Li 
171*bf2c3715SXin Li     {
172*bf2c3715SXin Li       Map<MatrixType, Alignment, OuterStride<> > map1(array, rows, cols, OuterStride<>( outerstride));
173*bf2c3715SXin Li       Map<MatrixType, Unaligned, OuterStride<> > map2(array+(m.outerSize()-1)*outerstride, rows, cols, OuterStride<>(-outerstride));
174*bf2c3715SXin Li       if(MatrixType::IsRowMajor)  VERIFY_IS_APPROX(map1.colwise().reverse(), map2);
175*bf2c3715SXin Li       else                        VERIFY_IS_APPROX(map1.rowwise().reverse(), map2);
176*bf2c3715SXin Li     }
177*bf2c3715SXin Li 
178*bf2c3715SXin Li     {
179*bf2c3715SXin Li       Map<MatrixType, Alignment, OuterStride<> > map1(array, rows, cols, OuterStride<>( outerstride));
180*bf2c3715SXin Li       Map<MatrixType, Unaligned, Stride<Dynamic,Dynamic> > map2(array+(m.outerSize()-1)*outerstride+m.innerSize()-1, rows, cols, Stride<Dynamic,Dynamic>(-outerstride,-1));
181*bf2c3715SXin Li       VERIFY_IS_APPROX(map1.reverse(), map2);
182*bf2c3715SXin Li     }
183*bf2c3715SXin Li 
184*bf2c3715SXin Li     {
185*bf2c3715SXin Li       Map<MatrixType, Alignment, OuterStride<> > map1(array, rows, cols, OuterStride<>( outerstride));
186*bf2c3715SXin Li       Map<MatrixType, Unaligned, Stride<Dynamic,-1> > map2(array+(m.outerSize()-1)*outerstride+m.innerSize()-1, rows, cols, Stride<Dynamic,-1>(-outerstride,-1));
187*bf2c3715SXin Li       VERIFY_IS_APPROX(map1.reverse(), map2);
188*bf2c3715SXin Li     }
189*bf2c3715SXin Li   }
190*bf2c3715SXin Li 
191*bf2c3715SXin Li   internal::aligned_delete(a_array1, arraysize+1);
192*bf2c3715SXin Li }
193*bf2c3715SXin Li 
194*bf2c3715SXin Li // Additional tests for inner-stride but no outer-stride
195*bf2c3715SXin Li template<int>
bug1453()196*bf2c3715SXin Li void bug1453()
197*bf2c3715SXin Li {
198*bf2c3715SXin Li   const int data[] = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31};
199*bf2c3715SXin Li   typedef Matrix<int,Dynamic,Dynamic,RowMajor> RowMatrixXi;
200*bf2c3715SXin Li   typedef Matrix<int,2,3,ColMajor> ColMatrix23i;
201*bf2c3715SXin Li   typedef Matrix<int,3,2,ColMajor> ColMatrix32i;
202*bf2c3715SXin Li   typedef Matrix<int,2,3,RowMajor> RowMatrix23i;
203*bf2c3715SXin Li   typedef Matrix<int,3,2,RowMajor> RowMatrix32i;
204*bf2c3715SXin Li 
205*bf2c3715SXin Li   VERIFY_IS_APPROX(MatrixXi::Map(data, 2, 3, InnerStride<2>()), MatrixXi::Map(data, 2, 3, Stride<4,2>()));
206*bf2c3715SXin Li   VERIFY_IS_APPROX(MatrixXi::Map(data, 2, 3, InnerStride<>(2)), MatrixXi::Map(data, 2, 3, Stride<4,2>()));
207*bf2c3715SXin Li   VERIFY_IS_APPROX(MatrixXi::Map(data, 3, 2, InnerStride<2>()), MatrixXi::Map(data, 3, 2, Stride<6,2>()));
208*bf2c3715SXin Li   VERIFY_IS_APPROX(MatrixXi::Map(data, 3, 2, InnerStride<>(2)), MatrixXi::Map(data, 3, 2, Stride<6,2>()));
209*bf2c3715SXin Li 
210*bf2c3715SXin Li   VERIFY_IS_APPROX(RowMatrixXi::Map(data, 2, 3, InnerStride<2>()), RowMatrixXi::Map(data, 2, 3, Stride<6,2>()));
211*bf2c3715SXin Li   VERIFY_IS_APPROX(RowMatrixXi::Map(data, 2, 3, InnerStride<>(2)), RowMatrixXi::Map(data, 2, 3, Stride<6,2>()));
212*bf2c3715SXin Li   VERIFY_IS_APPROX(RowMatrixXi::Map(data, 3, 2, InnerStride<2>()), RowMatrixXi::Map(data, 3, 2, Stride<4,2>()));
213*bf2c3715SXin Li   VERIFY_IS_APPROX(RowMatrixXi::Map(data, 3, 2, InnerStride<>(2)), RowMatrixXi::Map(data, 3, 2, Stride<4,2>()));
214*bf2c3715SXin Li 
215*bf2c3715SXin Li   VERIFY_IS_APPROX(ColMatrix23i::Map(data, InnerStride<2>()), MatrixXi::Map(data, 2, 3, Stride<4,2>()));
216*bf2c3715SXin Li   VERIFY_IS_APPROX(ColMatrix23i::Map(data, InnerStride<>(2)), MatrixXi::Map(data, 2, 3, Stride<4,2>()));
217*bf2c3715SXin Li   VERIFY_IS_APPROX(ColMatrix32i::Map(data, InnerStride<2>()), MatrixXi::Map(data, 3, 2, Stride<6,2>()));
218*bf2c3715SXin Li   VERIFY_IS_APPROX(ColMatrix32i::Map(data, InnerStride<>(2)), MatrixXi::Map(data, 3, 2, Stride<6,2>()));
219*bf2c3715SXin Li 
220*bf2c3715SXin Li   VERIFY_IS_APPROX(RowMatrix23i::Map(data, InnerStride<2>()), RowMatrixXi::Map(data, 2, 3, Stride<6,2>()));
221*bf2c3715SXin Li   VERIFY_IS_APPROX(RowMatrix23i::Map(data, InnerStride<>(2)), RowMatrixXi::Map(data, 2, 3, Stride<6,2>()));
222*bf2c3715SXin Li   VERIFY_IS_APPROX(RowMatrix32i::Map(data, InnerStride<2>()), RowMatrixXi::Map(data, 3, 2, Stride<4,2>()));
223*bf2c3715SXin Li   VERIFY_IS_APPROX(RowMatrix32i::Map(data, InnerStride<>(2)), RowMatrixXi::Map(data, 3, 2, Stride<4,2>()));
224*bf2c3715SXin Li }
225*bf2c3715SXin Li 
EIGEN_DECLARE_TEST(mapstride)226*bf2c3715SXin Li EIGEN_DECLARE_TEST(mapstride)
227*bf2c3715SXin Li {
228*bf2c3715SXin Li   for(int i = 0; i < g_repeat; i++) {
229*bf2c3715SXin Li     int maxn = 3;
230*bf2c3715SXin Li     CALL_SUBTEST_1( map_class_vector<Aligned>(Matrix<float, 1, 1>()) );
231*bf2c3715SXin Li     CALL_SUBTEST_1( map_class_vector<Unaligned>(Matrix<float, 1, 1>()) );
232*bf2c3715SXin Li     CALL_SUBTEST_2( map_class_vector<Aligned>(Vector4d()) );
233*bf2c3715SXin Li     CALL_SUBTEST_2( map_class_vector<Unaligned>(Vector4d()) );
234*bf2c3715SXin Li     CALL_SUBTEST_3( map_class_vector<Aligned>(RowVector4f()) );
235*bf2c3715SXin Li     CALL_SUBTEST_3( map_class_vector<Unaligned>(RowVector4f()) );
236*bf2c3715SXin Li     CALL_SUBTEST_4( map_class_vector<Aligned>(VectorXcf(internal::random<int>(1,maxn))) );
237*bf2c3715SXin Li     CALL_SUBTEST_4( map_class_vector<Unaligned>(VectorXcf(internal::random<int>(1,maxn))) );
238*bf2c3715SXin Li     CALL_SUBTEST_5( map_class_vector<Aligned>(VectorXi(internal::random<int>(1,maxn))) );
239*bf2c3715SXin Li     CALL_SUBTEST_5( map_class_vector<Unaligned>(VectorXi(internal::random<int>(1,maxn))) );
240*bf2c3715SXin Li 
241*bf2c3715SXin Li     CALL_SUBTEST_1( map_class_matrix<Aligned>(Matrix<float, 1, 1>()) );
242*bf2c3715SXin Li     CALL_SUBTEST_1( map_class_matrix<Unaligned>(Matrix<float, 1, 1>()) );
243*bf2c3715SXin Li     CALL_SUBTEST_2( map_class_matrix<Aligned>(Matrix4d()) );
244*bf2c3715SXin Li     CALL_SUBTEST_2( map_class_matrix<Unaligned>(Matrix4d()) );
245*bf2c3715SXin Li     CALL_SUBTEST_3( map_class_matrix<Aligned>(Matrix<float,3,5>()) );
246*bf2c3715SXin Li     CALL_SUBTEST_3( map_class_matrix<Unaligned>(Matrix<float,3,5>()) );
247*bf2c3715SXin Li     CALL_SUBTEST_3( map_class_matrix<Aligned>(Matrix<float,4,8>()) );
248*bf2c3715SXin Li     CALL_SUBTEST_3( map_class_matrix<Unaligned>(Matrix<float,4,8>()) );
249*bf2c3715SXin Li     CALL_SUBTEST_4( map_class_matrix<Aligned>(MatrixXcf(internal::random<int>(1,maxn),internal::random<int>(1,maxn))) );
250*bf2c3715SXin Li     CALL_SUBTEST_4( map_class_matrix<Unaligned>(MatrixXcf(internal::random<int>(1,maxn),internal::random<int>(1,maxn))) );
251*bf2c3715SXin Li     CALL_SUBTEST_5( map_class_matrix<Aligned>(MatrixXi(internal::random<int>(1,maxn),internal::random<int>(1,maxn))) );
252*bf2c3715SXin Li     CALL_SUBTEST_5( map_class_matrix<Unaligned>(MatrixXi(internal::random<int>(1,maxn),internal::random<int>(1,maxn))) );
253*bf2c3715SXin Li     CALL_SUBTEST_6( map_class_matrix<Aligned>(MatrixXcd(internal::random<int>(1,maxn),internal::random<int>(1,maxn))) );
254*bf2c3715SXin Li     CALL_SUBTEST_6( map_class_matrix<Unaligned>(MatrixXcd(internal::random<int>(1,maxn),internal::random<int>(1,maxn))) );
255*bf2c3715SXin Li 
256*bf2c3715SXin Li     CALL_SUBTEST_5( bug1453<0>() );
257*bf2c3715SXin Li 
258*bf2c3715SXin Li     TEST_SET_BUT_UNUSED_VARIABLE(maxn);
259*bf2c3715SXin Li   }
260*bf2c3715SXin Li }
261