map.cpp
Go to the documentation of this file.
00001 // This file is part of Eigen, a lightweight C++ template library
00002 // for linear algebra.
00003 //
00004 // Copyright (C) 2006-2010 Benoit Jacob <jacob.benoit.1@gmail.com>
00005 //
00006 // Eigen is free software; you can redistribute it and/or
00007 // modify it under the terms of the GNU Lesser General Public
00008 // License as published by the Free Software Foundation; either
00009 // version 3 of the License, or (at your option) any later version.
00010 //
00011 // Alternatively, you can redistribute it and/or
00012 // modify it under the terms of the GNU General Public License as
00013 // published by the Free Software Foundation; either version 2 of
00014 // the License, or (at your option) any later version.
00015 //
00016 // Eigen is distributed in the hope that it will be useful, but WITHOUT ANY
00017 // WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
00018 // FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License or the
00019 // GNU General Public License for more details.
00020 //
00021 // You should have received a copy of the GNU Lesser General Public
00022 // License and a copy of the GNU General Public License along with
00023 // Eigen. If not, see <http://www.gnu.org/licenses/>.
00024 
00025 #ifndef EIGEN_NO_STATIC_ASSERT
00026 #define EIGEN_NO_STATIC_ASSERT // turn static asserts into runtime asserts in order to check them
00027 #endif
00028 
00029 #include "main.h"
00030 
00031 template<typename VectorType> void map_class_vector(const VectorType& m)
00032 {
00033   typedef typename VectorType::Index Index;
00034   typedef typename VectorType::Scalar Scalar;
00035 
00036   Index size = m.size();
00037 
00038   // test Map.h
00039   Scalar* array1 = internal::aligned_new<Scalar>(size);
00040   Scalar* array2 = internal::aligned_new<Scalar>(size);
00041   Scalar* array3 = new Scalar[size+1];
00042   Scalar* array3unaligned = size_t(array3)%16 == 0 ? array3+1 : array3;
00043 
00044   Map<VectorType, Aligned>(array1, size) = VectorType::Random(size);
00045   Map<VectorType, Aligned>(array2, size) = Map<VectorType,Aligned>(array1, size);
00046   Map<VectorType>(array3unaligned, size) = Map<VectorType>(array1, size);
00047   VectorType ma1 = Map<VectorType, Aligned>(array1, size);
00048   VectorType ma2 = Map<VectorType, Aligned>(array2, size);
00049   VectorType ma3 = Map<VectorType>(array3unaligned, size);
00050   VERIFY_IS_EQUAL(ma1, ma2);
00051   VERIFY_IS_EQUAL(ma1, ma3);
00052   #ifdef EIGEN_VECTORIZE
00053   if(internal::packet_traits<Scalar>::Vectorizable)
00054     VERIFY_RAISES_ASSERT((Map<VectorType,Aligned>(array3unaligned, size)))
00055   #endif
00056 
00057   internal::aligned_delete(array1, size);
00058   internal::aligned_delete(array2, size);
00059   delete[] array3;
00060 }
00061 
00062 template<typename MatrixType> void map_class_matrix(const MatrixType& m)
00063 {
00064   typedef typename MatrixType::Index Index;
00065   typedef typename MatrixType::Scalar Scalar;
00066 
00067   Index rows = m.rows(), cols = m.cols(), size = rows*cols;
00068 
00069   // test Map.h
00070   Scalar* array1 = internal::aligned_new<Scalar>(size);
00071   for(int i = 0; i < size; i++) array1[i] = Scalar(1);
00072   Scalar* array2 = internal::aligned_new<Scalar>(size);
00073   for(int i = 0; i < size; i++) array2[i] = Scalar(1);
00074   Scalar* array3 = new Scalar[size+1];
00075   for(int i = 0; i < size+1; i++) array3[i] = Scalar(1);
00076   Scalar* array3unaligned = size_t(array3)%16 == 0 ? array3+1 : array3;
00077   Map<MatrixType, Aligned>(array1, rows, cols) = MatrixType::Ones(rows,cols);
00078   Map<MatrixType>(array2, rows, cols) = Map<MatrixType>(array1, rows, cols);
00079   Map<MatrixType>(array3unaligned, rows, cols) = Map<MatrixType>(array1, rows, cols);
00080   MatrixType ma1 = Map<MatrixType>(array1, rows, cols);
00081   MatrixType ma2 = Map<MatrixType, Aligned>(array2, rows, cols);
00082   VERIFY_IS_EQUAL(ma1, ma2);
00083   MatrixType ma3 = Map<MatrixType>(array3unaligned, rows, cols);
00084   VERIFY_IS_EQUAL(ma1, ma3);
00085 
00086   internal::aligned_delete(array1, size);
00087   internal::aligned_delete(array2, size);
00088   delete[] array3;
00089 }
00090 
00091 template<typename VectorType> void map_static_methods(const VectorType& m)
00092 {
00093   typedef typename VectorType::Index Index;
00094   typedef typename VectorType::Scalar Scalar;
00095 
00096   Index size = m.size();
00097 
00098   // test Map.h
00099   Scalar* array1 = internal::aligned_new<Scalar>(size);
00100   Scalar* array2 = internal::aligned_new<Scalar>(size);
00101   Scalar* array3 = new Scalar[size+1];
00102   Scalar* array3unaligned = size_t(array3)%16 == 0 ? array3+1 : array3;
00103 
00104   VectorType::MapAligned(array1, size) = VectorType::Random(size);
00105   VectorType::Map(array2, size) = VectorType::Map(array1, size);
00106   VectorType::Map(array3unaligned, size) = VectorType::Map(array1, size);
00107   VectorType ma1 = VectorType::Map(array1, size);
00108   VectorType ma2 = VectorType::MapAligned(array2, size);
00109   VectorType ma3 = VectorType::Map(array3unaligned, size);
00110   VERIFY_IS_EQUAL(ma1, ma2);
00111   VERIFY_IS_EQUAL(ma1, ma3);
00112 
00113   internal::aligned_delete(array1, size);
00114   internal::aligned_delete(array2, size);
00115   delete[] array3;
00116 }
00117 
00118 template<typename PlainObjectType> void check_const_correctness(const PlainObjectType&)
00119 {
00120   typedef typename PlainObjectType::Index Index;
00121   typedef typename PlainObjectType::Scalar Scalar;
00122 
00123   // there's a lot that we can't test here while still having this test compile!
00124   // the only possible approach would be to run a script trying to compile stuff and checking that it fails.
00125   // CMake can help with that.
00126 
00127   // verify that map-to-const don't have LvalueBit
00128   typedef typename internal::add_const<PlainObjectType>::type ConstPlainObjectType;
00129   VERIFY( !(internal::traits<Map<ConstPlainObjectType> >::Flags & LvalueBit) );
00130   VERIFY( !(internal::traits<Map<ConstPlainObjectType, Aligned> >::Flags & LvalueBit) );
00131   VERIFY( !(Map<ConstPlainObjectType>::Flags & LvalueBit) );
00132   VERIFY( !(Map<ConstPlainObjectType, Aligned>::Flags & LvalueBit) );
00133 }
00134 
00135 void test_map()
00136 {
00137   for(int i = 0; i < g_repeat; i++) {
00138     CALL_SUBTEST_1( map_class_vector(Matrix<float, 1, 1>()) );
00139     CALL_SUBTEST_1( check_const_correctness(Matrix<float, 1, 1>()) );
00140     CALL_SUBTEST_2( map_class_vector(Vector4d()) );
00141     CALL_SUBTEST_2( check_const_correctness(Matrix4d()) );
00142     CALL_SUBTEST_3( map_class_vector(RowVector4f()) );
00143     CALL_SUBTEST_4( map_class_vector(VectorXcf(8)) );
00144     CALL_SUBTEST_5( map_class_vector(VectorXi(12)) );
00145     CALL_SUBTEST_5( check_const_correctness(VectorXi(12)) );
00146 
00147     CALL_SUBTEST_1( map_class_matrix(Matrix<float, 1, 1>()) );
00148     CALL_SUBTEST_2( map_class_matrix(Matrix4d()) );
00149     CALL_SUBTEST_11( map_class_matrix(Matrix<float,3,5>()) );
00150     CALL_SUBTEST_4( map_class_matrix(MatrixXcf(internal::random<int>(1,10),internal::random<int>(1,10))) );
00151     CALL_SUBTEST_5( map_class_matrix(MatrixXi(internal::random<int>(1,10),internal::random<int>(1,10))) );
00152 
00153     CALL_SUBTEST_6( map_static_methods(Matrix<double, 1, 1>()) );
00154     CALL_SUBTEST_7( map_static_methods(Vector3f()) );
00155     CALL_SUBTEST_8( map_static_methods(RowVector3d()) );
00156     CALL_SUBTEST_9( map_static_methods(VectorXcd(8)) );
00157     CALL_SUBTEST_10( map_static_methods(VectorXf(12)) );
00158   }
00159 }


re_vision
Author(s): Dorian Galvez-Lopez
autogenerated on Sun Jan 5 2014 11:31:45