1 // This file is part of Eigen, a lightweight C++ template library
2 // for linear algebra. Eigen itself is part of the KDE project.
3 //
4 // Copyright (C) 2008 Benoit Jacob <jacob.benoit.1@gmail.com>
5 //
6 // 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/.
9 
10 #include "main.h"
11 
12 struct Good1
13 {
14   MatrixXd m; // good: m will allocate its own array, taking care of alignment.
Good1Good115   Good1() : m(20,20) {}
16 };
17 
18 struct Good2
19 {
20   Matrix3d m; // good: m's size isn't a multiple of 16 bytes, so m doesn't have to be aligned
21 };
22 
23 struct Good3
24 {
25   Vector2f m; // good: same reason
26 };
27 
28 struct Bad4
29 {
30   Vector2d m; // bad: sizeof(m)%16==0 so alignment is required
31 };
32 
33 struct Bad5
34 {
35   Matrix<float, 2, 6> m; // bad: same reason
36 };
37 
38 struct Bad6
39 {
40   Matrix<double, 3, 4> m; // bad: same reason
41 };
42 
43 struct Good7
44 {
45   EIGEN_MAKE_ALIGNED_OPERATOR_NEW
46   Vector2d m;
47   float f; // make the struct have sizeof%16!=0 to make it a little more tricky when we allow an array of 2 such objects
48 };
49 
50 struct Good8
51 {
52   EIGEN_MAKE_ALIGNED_OPERATOR_NEW
53   float f; // try the f at first -- the EIGEN_ALIGN_128 attribute of m should make that still work
54   Matrix4f m;
55 };
56 
57 struct Good9
58 {
59   Matrix<float,2,2,DontAlign> m; // good: no alignment requested
60   float f;
61 };
62 
63 template<bool Align> struct Depends
64 {
65   EIGEN_MAKE_ALIGNED_OPERATOR_NEW_IF(Align)
66   Vector2d m;
67   float f;
68 };
69 
70 template<typename T>
check_unalignedassert_good()71 void check_unalignedassert_good()
72 {
73   T *x, *y;
74   x = new T;
75   delete x;
76   y = new T[2];
77   delete[] y;
78 }
79 
80 #if EIGEN_ARCH_WANTS_ALIGNMENT
81 template<typename T>
check_unalignedassert_bad()82 void check_unalignedassert_bad()
83 {
84   float buf[sizeof(T)+16];
85   float *unaligned = buf;
86   while((reinterpret_cast<std::size_t>(unaligned)&0xf)==0) ++unaligned; // make sure unaligned is really unaligned
87   T *x = ::new(static_cast<void*>(unaligned)) T;
88   x->~T();
89 }
90 #endif
91 
unalignedassert()92 void unalignedassert()
93 {
94   check_unalignedassert_good<Good1>();
95   check_unalignedassert_good<Good2>();
96   check_unalignedassert_good<Good3>();
97 #if EIGEN_ARCH_WANTS_ALIGNMENT
98   VERIFY_RAISES_ASSERT(check_unalignedassert_bad<Bad4>());
99   VERIFY_RAISES_ASSERT(check_unalignedassert_bad<Bad5>());
100   VERIFY_RAISES_ASSERT(check_unalignedassert_bad<Bad6>());
101 #endif
102 
103   check_unalignedassert_good<Good7>();
104   check_unalignedassert_good<Good8>();
105   check_unalignedassert_good<Good9>();
106   check_unalignedassert_good<Depends<true> >();
107 
108 #if EIGEN_ARCH_WANTS_ALIGNMENT
109   VERIFY_RAISES_ASSERT(check_unalignedassert_bad<Depends<false> >());
110 #endif
111 }
112 
test_eigen2_unalignedassert()113 void test_eigen2_unalignedassert()
114 {
115   CALL_SUBTEST(unalignedassert());
116 }
117