| /* |
| Copyright 2005-2010 Intel Corporation. All Rights Reserved. |
| |
| This file is part of Threading Building Blocks. |
| |
| Threading Building Blocks is free software; you can redistribute it |
| and/or modify it under the terms of the GNU General Public License |
| version 2 as published by the Free Software Foundation. |
| |
| Threading Building Blocks is distributed in the hope that it will be |
| useful, but WITHOUT ANY WARRANTY; without even the implied warranty |
| of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| GNU General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with Threading Building Blocks; if not, write to the Free Software |
| Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
| |
| As a special exception, you may use this file as part of a free software |
| library without restriction. Specifically, if other files instantiate |
| templates or use macros or inline functions from this file, or you compile |
| this file and link it with other files to produce an executable, this |
| file does not by itself cause the resulting executable to be covered by |
| the GNU General Public License. This exception does not however |
| invalidate any other reasons why the executable file might be covered by |
| the GNU General Public License. |
| */ |
| |
| #include "tbb/tbb_config.h" |
| |
| #if __TBB_GCC_WARNING_SUPPRESSION_ENABLED |
| #pragma GCC diagnostic ignored "-Wstrict-aliasing" |
| #endif |
| |
| //! Wrapper around T where all members are private. |
| /** Used to prove that aligned_space<T,N> never calls member of T. */ |
| template<typename T> |
| class Minimal { |
| Minimal(); |
| Minimal( Minimal& min ); |
| ~Minimal(); |
| void operator=( const Minimal& ); |
| T pad; |
| template<typename U> |
| friend void AssignToCheckAlignment( Minimal<U>& dst, const Minimal<U>& src ) ; |
| }; |
| |
| template<typename T> |
| void AssignToCheckAlignment( Minimal<T>& dst, const Minimal<T>& src ) { |
| dst.pad = src.pad; |
| } |
| |
| #include "tbb/aligned_space.h" |
| #include "harness_assert.h" |
| |
| static bool SpaceWasted; |
| |
| template<typename U, size_t N> |
| void TestAlignedSpaceN() { |
| typedef Minimal<U> T; |
| struct { |
| //! Pad byte increases chance that subsequent member will be misaligned if there is a problem. |
| char pad; |
| tbb::aligned_space<T ,N> space; |
| } x; |
| AssertSameType( static_cast< T *>(0), x.space.begin() ); |
| AssertSameType( static_cast< T *>(0), x.space.end() ); |
| ASSERT( reinterpret_cast<void *>(x.space.begin())==reinterpret_cast< void *>(&x.space), NULL ); |
| ASSERT( x.space.end()-x.space.begin()==N, NULL ); |
| ASSERT( reinterpret_cast<void *>(x.space.begin())>=reinterpret_cast< void *>(&x.space), NULL ); |
| ASSERT( x.space.end()<=reinterpret_cast< T *>(&x.space+1), NULL ); |
| // Though not required, a good implementation of aligned_space<T,N> does not use any more space than a T[N]. |
| SpaceWasted |= sizeof(x.space)!=sizeof(T)*N; |
| for( size_t k=1; k<N; ++k ) |
| AssignToCheckAlignment( x.space.begin()[k-1], x.space.begin()[k] ); |
| } |
| |
| static void PrintSpaceWastingWarning( const char* type_name ); |
| |
| #include <typeinfo> |
| |
| template<typename T> |
| void TestAlignedSpace() { |
| SpaceWasted = false; |
| TestAlignedSpaceN<T,1>(); |
| TestAlignedSpaceN<T,2>(); |
| TestAlignedSpaceN<T,3>(); |
| TestAlignedSpaceN<T,4>(); |
| TestAlignedSpaceN<T,5>(); |
| TestAlignedSpaceN<T,6>(); |
| TestAlignedSpaceN<T,7>(); |
| TestAlignedSpaceN<T,8>(); |
| if( SpaceWasted ) |
| PrintSpaceWastingWarning( typeid(T).name() ); |
| } |
| |
| #define HARNESS_NO_PARSE_COMMAND_LINE 1 |
| #include "harness.h" |
| |
| #include "harness_m128.h" |
| |
| int TestMain () { |
| TestAlignedSpace<char>(); |
| TestAlignedSpace<short>(); |
| TestAlignedSpace<int>(); |
| TestAlignedSpace<float>(); |
| TestAlignedSpace<double>(); |
| TestAlignedSpace<long double>(); |
| TestAlignedSpace<size_t>(); |
| #if HAVE_m128 |
| TestAlignedSpace<__m128>(); |
| #endif /* HAVE_m128 */ |
| return Harness::Done; |
| } |
| |
| static void PrintSpaceWastingWarning( const char* type_name ) { |
| REPORT("Consider rewriting aligned_space<%s,N> to waste less space\n", type_name ); |
| } |
| |