unalignedassert.cpp revision c981c48f5bc9aefeffc0bcb0cc3934c2fae179dd 
1// This file is part of Eigen, a lightweight C++ template library
2// for linear algebra.
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
12struct TestNew1
13{
14  MatrixXd m; // good: m will allocate its own array, taking care of alignment.
15  TestNew1() : m(20,20) {}
16};
17
18struct TestNew2
19{
20  Matrix3d m; // good: m's size isn't a multiple of 16 bytes, so m doesn't have to be 16-byte aligned,
21              // 8-byte alignment is good enough here, which we'll get automatically
22};
23
24struct TestNew3
25{
26  Vector2f m; // good: m's size isn't a multiple of 16 bytes, so m doesn't have to be 16-byte aligned
27};
28
29struct TestNew4
30{
31  EIGEN_MAKE_ALIGNED_OPERATOR_NEW
32  Vector2d m;
33  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
34};
35
36struct TestNew5
37{
38  EIGEN_MAKE_ALIGNED_OPERATOR_NEW
39  float f; // try the f at first -- the EIGEN_ALIGN16 attribute of m should make that still work
40  Matrix4f m;
41};
42
43struct TestNew6
44{
45  Matrix<float,2,2,DontAlign> m; // good: no alignment requested
46  float f;
47};
48
49template<bool Align> struct Depends
50{
51  EIGEN_MAKE_ALIGNED_OPERATOR_NEW_IF(Align)
52  Vector2d m;
53  float f;
54};
55
56template<typename T>
57void check_unalignedassert_good()
58{
59  T *x, *y;
60  x = new T;
61  delete x;
62  y = new T[2];
63  delete[] y;
64}
65
66#if EIGEN_ALIGN_STATICALLY
67template<typename T>
68void construct_at_boundary(int boundary)
69{
70  char buf[sizeof(T)+256];
71  size_t _buf = reinterpret_cast<size_t>(buf);
72  _buf += (16 - (_buf % 16)); // make 16-byte aligned
73  _buf += boundary; // make exact boundary-aligned
74  T *x = ::new(reinterpret_cast<void*>(_buf)) T;
75  x[0].setZero(); // just in order to silence warnings
76  x->~T();
77}
78#endif
79
80void unalignedassert()
81{
82  #if EIGEN_ALIGN_STATICALLY
83  construct_at_boundary<Vector2f>(4);
84  construct_at_boundary<Vector3f>(4);
85  construct_at_boundary<Vector4f>(16);
86  construct_at_boundary<Matrix2f>(16);
87  construct_at_boundary<Matrix3f>(4);
88  construct_at_boundary<Matrix4f>(16);
89
90  construct_at_boundary<Vector2d>(16);
91  construct_at_boundary<Vector3d>(4);
92  construct_at_boundary<Vector4d>(16);
93  construct_at_boundary<Matrix2d>(16);
94  construct_at_boundary<Matrix3d>(4);
95  construct_at_boundary<Matrix4d>(16);
96
97  construct_at_boundary<Vector2cf>(16);
98  construct_at_boundary<Vector3cf>(4);
99  construct_at_boundary<Vector2cd>(16);
100  construct_at_boundary<Vector3cd>(16);
101  #endif
102
103  check_unalignedassert_good<TestNew1>();
104  check_unalignedassert_good<TestNew2>();
105  check_unalignedassert_good<TestNew3>();
106
107  check_unalignedassert_good<TestNew4>();
108  check_unalignedassert_good<TestNew5>();
109  check_unalignedassert_good<TestNew6>();
110  check_unalignedassert_good<Depends<true> >();
111
112#if EIGEN_ALIGN_STATICALLY
113  VERIFY_RAISES_ASSERT(construct_at_boundary<Vector4f>(8));
114  VERIFY_RAISES_ASSERT(construct_at_boundary<Matrix4f>(8));
115  VERIFY_RAISES_ASSERT(construct_at_boundary<Vector2d>(8));
116  VERIFY_RAISES_ASSERT(construct_at_boundary<Vector4d>(8));
117  VERIFY_RAISES_ASSERT(construct_at_boundary<Matrix2d>(8));
118  VERIFY_RAISES_ASSERT(construct_at_boundary<Matrix4d>(8));
119  VERIFY_RAISES_ASSERT(construct_at_boundary<Vector2cf>(8));
120  VERIFY_RAISES_ASSERT(construct_at_boundary<Vector2cd>(8));
121#endif
122}
123
124void test_unalignedassert()
125{
126  CALL_SUBTEST(unalignedassert());
127}
128