blob: 1c74866ba3d28324202b8bcf874650b85df86b1f [file] [log] [blame]
Gael Guennebaudf52d1192008-09-03 00:32:56 +00001// This file is part of Eigen, a lightweight C++ template library
Benoit Jacob6347b1d2009-05-22 20:25:33 +02002// for linear algebra.
Gael Guennebaudf52d1192008-09-03 00:32:56 +00003//
Gael Guennebaud28e64b02010-06-24 23:21:58 +02004// Copyright (C) 2008 Gael Guennebaud <gael.guennebaud@inria.fr>
Gael Guennebaudf52d1192008-09-03 00:32:56 +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 Guennebaudf52d1192008-09-03 00:32:56 +00009
10#include "main.h"
11
Gael Guennebaudaec48142015-07-29 11:11:23 +020012#if EIGEN_MAX_ALIGN_BYTES>0
13#define ALIGNMENT EIGEN_MAX_ALIGN_BYTES
Benoit Jacob93a089a2009-02-04 16:53:03 +000014#else
15#define ALIGNMENT 1
16#endif
17
Gustavo Lima Chaves2bf1cc82018-08-02 15:55:36 -070018typedef Matrix<float,16,1> Vector16f;
Gael Guennebaud2606abe2014-04-18 21:14:40 +020019typedef Matrix<float,8,1> Vector8f;
20
Benoit Jacobfd831d52009-01-09 14:56:44 +000021void check_handmade_aligned_malloc()
22{
23 for(int i = 1; i < 1000; i++)
24 {
Benoit Jacob47160402010-10-25 10:15:22 -040025 char *p = (char*)internal::handmade_aligned_malloc(i);
Gael Guennebaudfdcad682016-05-26 17:41:28 +020026 VERIFY(internal::UIntPtr(p)%ALIGNMENT==0);
Benoit Jacobfd831d52009-01-09 14:56:44 +000027 // if the buffer is wrongly allocated this will give a bad write --> check with valgrind
28 for(int j = 0; j < i; j++) p[j]=0;
Benoit Jacob47160402010-10-25 10:15:22 -040029 internal::handmade_aligned_free(p);
Benoit Jacobfd831d52009-01-09 14:56:44 +000030 }
31}
32
33void check_aligned_malloc()
34{
Gael Guennebaud5b2d2872016-02-05 21:46:39 +010035 for(int i = ALIGNMENT; i < 1000; i++)
Benoit Jacobfd831d52009-01-09 14:56:44 +000036 {
Benoit Jacob47160402010-10-25 10:15:22 -040037 char *p = (char*)internal::aligned_malloc(i);
Gael Guennebaudfdcad682016-05-26 17:41:28 +020038 VERIFY(internal::UIntPtr(p)%ALIGNMENT==0);
Benoit Jacobfd831d52009-01-09 14:56:44 +000039 // if the buffer is wrongly allocated this will give a bad write --> check with valgrind
40 for(int j = 0; j < i; j++) p[j]=0;
Benoit Jacob47160402010-10-25 10:15:22 -040041 internal::aligned_free(p);
Benoit Jacobfd831d52009-01-09 14:56:44 +000042 }
43}
44
45void check_aligned_new()
46{
Gael Guennebaud5b2d2872016-02-05 21:46:39 +010047 for(int i = ALIGNMENT; i < 1000; i++)
Benoit Jacobfd831d52009-01-09 14:56:44 +000048 {
Benoit Jacob47160402010-10-25 10:15:22 -040049 float *p = internal::aligned_new<float>(i);
Gael Guennebaudfdcad682016-05-26 17:41:28 +020050 VERIFY(internal::UIntPtr(p)%ALIGNMENT==0);
Benoit Jacobfd831d52009-01-09 14:56:44 +000051 // if the buffer is wrongly allocated this will give a bad write --> check with valgrind
52 for(int j = 0; j < i; j++) p[j]=0;
Benoit Jacob47160402010-10-25 10:15:22 -040053 internal::aligned_delete(p,i);
Benoit Jacobfd831d52009-01-09 14:56:44 +000054 }
55}
56
57void check_aligned_stack_alloc()
58{
Gael Guennebaud5b2d2872016-02-05 21:46:39 +010059 for(int i = ALIGNMENT; i < 400; i++)
Benoit Jacobfd831d52009-01-09 14:56:44 +000060 {
Gael Guennebaudbbb4b352011-03-19 08:51:38 +010061 ei_declare_aligned_stack_constructed_variable(float,p,i,0);
Gael Guennebaudfdcad682016-05-26 17:41:28 +020062 VERIFY(internal::UIntPtr(p)%ALIGNMENT==0);
Benoit Jacobfd831d52009-01-09 14:56:44 +000063 // if the buffer is wrongly allocated this will give a bad write --> check with valgrind
64 for(int j = 0; j < i; j++) p[j]=0;
Benoit Jacobfd831d52009-01-09 14:56:44 +000065 }
66}
67
68
Gael Guennebaudf52d1192008-09-03 00:32:56 +000069// test compilation with both a struct and a class...
Benoit Jacob1d52bd42009-01-08 15:20:21 +000070struct MyStruct
Gael Guennebaudf52d1192008-09-03 00:32:56 +000071{
Benoit Jacobeb7dcbb2009-01-08 15:37:13 +000072 EIGEN_MAKE_ALIGNED_OPERATOR_NEW
Gael Guennebaudf52d1192008-09-03 00:32:56 +000073 char dummychar;
Gustavo Lima Chaves2bf1cc82018-08-02 15:55:36 -070074 Vector16f avec;
Gael Guennebaudf52d1192008-09-03 00:32:56 +000075};
76
Benoit Jacob1d52bd42009-01-08 15:20:21 +000077class MyClassA
Gael Guennebaudf52d1192008-09-03 00:32:56 +000078{
79 public:
Benoit Jacobeb7dcbb2009-01-08 15:37:13 +000080 EIGEN_MAKE_ALIGNED_OPERATOR_NEW
Gael Guennebaudf52d1192008-09-03 00:32:56 +000081 char dummychar;
Gustavo Lima Chaves2bf1cc82018-08-02 15:55:36 -070082 Vector16f avec;
Gael Guennebaudf52d1192008-09-03 00:32:56 +000083};
84
85template<typename T> void check_dynaligned()
86{
Gael Guennebaud2606abe2014-04-18 21:14:40 +020087 // TODO have to be updated once we support multiple alignment values
88 if(T::SizeAtCompileTime % ALIGNMENT == 0)
89 {
90 T* obj = new T;
91 VERIFY(T::NeedsToAlign==1);
Gael Guennebaudfdcad682016-05-26 17:41:28 +020092 VERIFY(internal::UIntPtr(obj)%ALIGNMENT==0);
Gael Guennebaud2606abe2014-04-18 21:14:40 +020093 delete obj;
94 }
Gael Guennebaudf52d1192008-09-03 00:32:56 +000095}
96
Gael Guennebaudba694ce2014-07-30 09:32:35 +020097template<typename T> void check_custom_new_delete()
98{
99 {
100 T* t = new T;
101 delete t;
102 }
103
104 {
105 std::size_t N = internal::random<std::size_t>(1,10);
106 T* t = new T[N];
107 delete[] t;
108 }
109
Gael Guennebaudaec48142015-07-29 11:11:23 +0200110#if EIGEN_MAX_ALIGN_BYTES>0
Gael Guennebaudba694ce2014-07-30 09:32:35 +0200111 {
112 T* t = static_cast<T *>((T::operator new)(sizeof(T)));
113 (T::operator delete)(t, sizeof(T));
114 }
115
116 {
117 T* t = static_cast<T *>((T::operator new)(sizeof(T)));
118 (T::operator delete)(t);
119 }
120#endif
121}
122
Gael Guennebaud82f0ce22018-07-17 14:46:15 +0200123EIGEN_DECLARE_TEST(dynalloc)
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000124{
Benoit Jacobfd831d52009-01-09 14:56:44 +0000125 // low level dynamic memory allocation
126 CALL_SUBTEST(check_handmade_aligned_malloc());
127 CALL_SUBTEST(check_aligned_malloc());
128 CALL_SUBTEST(check_aligned_new());
129 CALL_SUBTEST(check_aligned_stack_alloc());
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000130
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000131 for (int i=0; i<g_repeat*100; ++i)
132 {
Gael Guennebaudba694ce2014-07-30 09:32:35 +0200133 CALL_SUBTEST( check_custom_new_delete<Vector4f>() );
134 CALL_SUBTEST( check_custom_new_delete<Vector2f>() );
135 CALL_SUBTEST( check_custom_new_delete<Matrix4f>() );
136 CALL_SUBTEST( check_custom_new_delete<MatrixXi>() );
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000137 }
138
139 // check static allocation, who knows ?
Gael Guennebaudaec48142015-07-29 11:11:23 +0200140 #if EIGEN_MAX_STATIC_ALIGN_BYTES
Gael Guennebaud84456192015-11-30 22:36:14 +0100141 for (int i=0; i<g_repeat*100; ++i)
142 {
143 CALL_SUBTEST(check_dynaligned<Vector4f>() );
144 CALL_SUBTEST(check_dynaligned<Vector2d>() );
145 CALL_SUBTEST(check_dynaligned<Matrix4f>() );
146 CALL_SUBTEST(check_dynaligned<Vector4d>() );
147 CALL_SUBTEST(check_dynaligned<Vector4i>() );
148 CALL_SUBTEST(check_dynaligned<Vector8f>() );
Gustavo Lima Chaves2bf1cc82018-08-02 15:55:36 -0700149 CALL_SUBTEST(check_dynaligned<Vector16f>() );
Gael Guennebaud84456192015-11-30 22:36:14 +0100150 }
151
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000152 {
Gael Guennebaudfdcad682016-05-26 17:41:28 +0200153 MyStruct foo0; VERIFY(internal::UIntPtr(foo0.avec.data())%ALIGNMENT==0);
154 MyClassA fooA; VERIFY(internal::UIntPtr(fooA.avec.data())%ALIGNMENT==0);
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000155 }
Gael Guennebaud23594862011-03-15 09:53:23 +0100156
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000157 // dynamic allocation, single object
158 for (int i=0; i<g_repeat*100; ++i)
159 {
Gael Guennebaudfdcad682016-05-26 17:41:28 +0200160 MyStruct *foo0 = new MyStruct(); VERIFY(internal::UIntPtr(foo0->avec.data())%ALIGNMENT==0);
161 MyClassA *fooA = new MyClassA(); VERIFY(internal::UIntPtr(fooA->avec.data())%ALIGNMENT==0);
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000162 delete foo0;
163 delete fooA;
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000164 }
165
166 // dynamic allocation, array
167 const int N = 10;
168 for (int i=0; i<g_repeat*100; ++i)
169 {
Gael Guennebaudfdcad682016-05-26 17:41:28 +0200170 MyStruct *foo0 = new MyStruct[N]; VERIFY(internal::UIntPtr(foo0->avec.data())%ALIGNMENT==0);
171 MyClassA *fooA = new MyClassA[N]; VERIFY(internal::UIntPtr(fooA->avec.data())%ALIGNMENT==0);
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000172 delete[] foo0;
173 delete[] fooA;
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000174 }
Gael Guennebaud23594862011-03-15 09:53:23 +0100175 #endif
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000176
Gael Guennebaudf52d1192008-09-03 00:32:56 +0000177}