[136] | 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 |
|
---|
| 12 | struct TestNew1
|
---|
| 13 | {
|
---|
| 14 | MatrixXd m; // good: m will allocate its own array, taking care of alignment.
|
---|
| 15 | TestNew1() : m(20,20) {}
|
---|
| 16 | };
|
---|
| 17 |
|
---|
| 18 | struct 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 |
|
---|
| 24 | struct 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 |
|
---|
| 29 | struct 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 |
|
---|
| 36 | struct 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 |
|
---|
| 43 | struct TestNew6
|
---|
| 44 | {
|
---|
| 45 | Matrix<float,2,2,DontAlign> m; // good: no alignment requested
|
---|
| 46 | float f;
|
---|
| 47 | };
|
---|
| 48 |
|
---|
| 49 | template<bool Align> struct Depends
|
---|
| 50 | {
|
---|
| 51 | EIGEN_MAKE_ALIGNED_OPERATOR_NEW_IF(Align)
|
---|
| 52 | Vector2d m;
|
---|
| 53 | float f;
|
---|
| 54 | };
|
---|
| 55 |
|
---|
| 56 | template<typename T>
|
---|
| 57 | void 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
|
---|
| 67 | template<typename T>
|
---|
| 68 | void 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 |
|
---|
| 80 | void 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 |
|
---|
| 124 | void test_unalignedassert()
|
---|
| 125 | {
|
---|
| 126 | CALL_SUBTEST(unalignedassert());
|
---|
| 127 | }
|
---|