1c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// This file is part of Eigen, a lightweight C++ template library 2c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// for linear algebra. 3c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// 4c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// Copyright (C) 2006-2010 Benoit Jacob <jacob.benoit.1@gmail.com> 5c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// 6c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// This Source Code Form is subject to the terms of the Mozilla 7c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// Public License v. 2.0. If a copy of the MPL was not distributed 8c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath// with this file, You can obtain one at http://mozilla.org/MPL/2.0/. 9c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 10c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#ifndef EIGEN_NO_STATIC_ASSERT 11c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#define EIGEN_NO_STATIC_ASSERT // turn static asserts into runtime asserts in order to check them 12c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#endif 13c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 14c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath#include "main.h" 15c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 16c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename VectorType> void map_class_vector(const VectorType& m) 17c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 18c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename VectorType::Index Index; 19c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename VectorType::Scalar Scalar; 20c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 21c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Index size = m.size(); 22c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 23c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // test Map.h 24c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Scalar* array1 = internal::aligned_new<Scalar>(size); 25c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Scalar* array2 = internal::aligned_new<Scalar>(size); 26c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Scalar* array3 = new Scalar[size+1]; 27c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Scalar* array3unaligned = size_t(array3)%16 == 0 ? array3+1 : array3; 28c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 29c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Map<VectorType, Aligned>(array1, size) = VectorType::Random(size); 30c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Map<VectorType, Aligned>(array2, size) = Map<VectorType,Aligned>(array1, size); 31c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Map<VectorType>(array3unaligned, size) = Map<VectorType>(array1, size); 32c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VectorType ma1 = Map<VectorType, Aligned>(array1, size); 33c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VectorType ma2 = Map<VectorType, Aligned>(array2, size); 34c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VectorType ma3 = Map<VectorType>(array3unaligned, size); 35c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY_IS_EQUAL(ma1, ma2); 36c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY_IS_EQUAL(ma1, ma3); 37c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath #ifdef EIGEN_VECTORIZE 38c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath if(internal::packet_traits<Scalar>::Vectorizable) 39c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY_RAISES_ASSERT((Map<VectorType,Aligned>(array3unaligned, size))) 40c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath #endif 41c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 42c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath internal::aligned_delete(array1, size); 43c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath internal::aligned_delete(array2, size); 44c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath delete[] array3; 45c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 46c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 47c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename MatrixType> void map_class_matrix(const MatrixType& m) 48c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 49c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename MatrixType::Index Index; 50c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename MatrixType::Scalar Scalar; 51c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 52c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Index rows = m.rows(), cols = m.cols(), size = rows*cols; 53c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 54c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // test Map.h 55c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Scalar* array1 = internal::aligned_new<Scalar>(size); 56c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath for(int i = 0; i < size; i++) array1[i] = Scalar(1); 57c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Scalar* array2 = internal::aligned_new<Scalar>(size); 58c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath for(int i = 0; i < size; i++) array2[i] = Scalar(1); 59c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Scalar* array3 = new Scalar[size+1]; 60c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath for(int i = 0; i < size+1; i++) array3[i] = Scalar(1); 61c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Scalar* array3unaligned = size_t(array3)%16 == 0 ? array3+1 : array3; 62c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Map<MatrixType, Aligned>(array1, rows, cols) = MatrixType::Ones(rows,cols); 63c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Map<MatrixType>(array2, rows, cols) = Map<MatrixType>(array1, rows, cols); 64c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Map<MatrixType>(array3unaligned, rows, cols) = Map<MatrixType>(array1, rows, cols); 65c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath MatrixType ma1 = Map<MatrixType>(array1, rows, cols); 66c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath MatrixType ma2 = Map<MatrixType, Aligned>(array2, rows, cols); 67c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY_IS_EQUAL(ma1, ma2); 68c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath MatrixType ma3 = Map<MatrixType>(array3unaligned, rows, cols); 69c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY_IS_EQUAL(ma1, ma3); 70c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 71c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath internal::aligned_delete(array1, size); 72c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath internal::aligned_delete(array2, size); 73c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath delete[] array3; 74c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 75c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 76c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename VectorType> void map_static_methods(const VectorType& m) 77c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 78c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename VectorType::Index Index; 79c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename VectorType::Scalar Scalar; 80c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 81c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Index size = m.size(); 82c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 83c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // test Map.h 84c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Scalar* array1 = internal::aligned_new<Scalar>(size); 85c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Scalar* array2 = internal::aligned_new<Scalar>(size); 86c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Scalar* array3 = new Scalar[size+1]; 87c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath Scalar* array3unaligned = size_t(array3)%16 == 0 ? array3+1 : array3; 88c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 89c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VectorType::MapAligned(array1, size) = VectorType::Random(size); 90c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VectorType::Map(array2, size) = VectorType::Map(array1, size); 91c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VectorType::Map(array3unaligned, size) = VectorType::Map(array1, size); 92c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VectorType ma1 = VectorType::Map(array1, size); 93c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VectorType ma2 = VectorType::MapAligned(array2, size); 94c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VectorType ma3 = VectorType::Map(array3unaligned, size); 95c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY_IS_EQUAL(ma1, ma2); 96c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY_IS_EQUAL(ma1, ma3); 97c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 98c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath internal::aligned_delete(array1, size); 99c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath internal::aligned_delete(array2, size); 100c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath delete[] array3; 101c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 102c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 103c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathtemplate<typename PlainObjectType> void check_const_correctness(const PlainObjectType&) 104c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 105c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename PlainObjectType::Index Index; 106c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename PlainObjectType::Scalar Scalar; 107c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 108c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // there's a lot that we can't test here while still having this test compile! 109c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // the only possible approach would be to run a script trying to compile stuff and checking that it fails. 110c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // CMake can help with that. 111c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 112c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath // verify that map-to-const don't have LvalueBit 113c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath typedef typename internal::add_const<PlainObjectType>::type ConstPlainObjectType; 114c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY( !(internal::traits<Map<ConstPlainObjectType> >::Flags & LvalueBit) ); 115c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY( !(internal::traits<Map<ConstPlainObjectType, Aligned> >::Flags & LvalueBit) ); 116c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY( !(Map<ConstPlainObjectType>::Flags & LvalueBit) ); 117c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath VERIFY( !(Map<ConstPlainObjectType, Aligned>::Flags & LvalueBit) ); 118c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 119c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 120c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamathvoid test_map() 121c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath{ 122c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath for(int i = 0; i < g_repeat; i++) { 123c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_1( map_class_vector(Matrix<float, 1, 1>()) ); 124c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_1( check_const_correctness(Matrix<float, 1, 1>()) ); 125c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_2( map_class_vector(Vector4d()) ); 126c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_2( check_const_correctness(Matrix4d()) ); 127c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_3( map_class_vector(RowVector4f()) ); 128c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_4( map_class_vector(VectorXcf(8)) ); 129c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_5( map_class_vector(VectorXi(12)) ); 130c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_5( check_const_correctness(VectorXi(12)) ); 131c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 132c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_1( map_class_matrix(Matrix<float, 1, 1>()) ); 133c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_2( map_class_matrix(Matrix4d()) ); 134c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_11( map_class_matrix(Matrix<float,3,5>()) ); 135c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_4( map_class_matrix(MatrixXcf(internal::random<int>(1,10),internal::random<int>(1,10))) ); 136c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_5( map_class_matrix(MatrixXi(internal::random<int>(1,10),internal::random<int>(1,10))) ); 137c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath 138c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_6( map_static_methods(Matrix<double, 1, 1>()) ); 139c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_7( map_static_methods(Vector3f()) ); 140c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_8( map_static_methods(RowVector3d()) ); 141c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_9( map_static_methods(VectorXcd(8)) ); 142c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath CALL_SUBTEST_10( map_static_methods(VectorXf(12)) ); 143c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath } 144c981c48f5bc9aefeffc0bcb0cc3934c2fae179ddNarayan Kamath} 145