[Boost-commit] svn:boost r47413 - trunk/libs/integer/test

From: dwalker07_at_[hidden]
Date: 2008-07-14 00:25:32

Author: dlwalker
Date: 2008-07-14 00:25:31 EDT (Mon, 14 Jul 2008)
New Revision: 47413
URL: http://svn.boost.org/trac/boost/changeset/47413

Log:
Improved/added testing for the processor-optimized integer template
Text files modified: 
   trunk/libs/integer/test/integer_test.cpp |    45 ++++++++++++++++++++++++++++++++++++++- 
   1 files changed, 43 insertions(+), 2 deletions(-)

Modified: trunk/libs/integer/test/integer_test.cpp
==============================================================================
--- trunk/libs/integer/test/integer_test.cpp	(original)
+++ trunk/libs/integer/test/integer_test.cpp	2008-07-14 00:25:31 EDT (Mon, 14 Jul 2008)
@@ -8,6 +8,7 @@
 //  See http://www.boost.org/libs/integer for documentation.
 
 //  Revision History
+//   14 Jul 08  Improved testing of fast-integer template. (Daryle Walker)
 //   13 Jul 08  Modernized tests w/ MPL instead of giant macros (Daryle Walker)
 //   07 Jul 08  Changed tests to use the unit-test system (Daryle Walker)
 //   04 Oct 01  Added tests for new templates; rewrote code (Daryle Walker)
@@ -49,6 +50,11 @@
 #include <typeinfo>  // for std::type_info
 
 
+// Control what the "fast" specialization of "short" is
+#ifndef CONTROL_FAST_SHORT
+#define CONTROL_FAST_SHORT  long
+#endif
+
 // Control if the names of the types for each version
 // of the integer templates will be printed.
 #ifndef CONTROL_SHOW_TYPES
@@ -57,13 +63,15 @@
 
 
 // If specializations have not already been done, then we can confirm
-// the effects of the "fast" types by making a specialization.
+// the effects of the "fast" types by making a specialization.  If there
+// is a specialization for "short," make sure that CONTROL_FAST_SHORT
+// is set to a type distinct from "short" and the default implementation.
 namespace boost
 {
     template < >
     struct int_fast_t< short >
     {
-        typedef long  fast;
+        typedef CONTROL_FAST_SHORT  fast;
     };
 }
 
@@ -177,6 +185,34 @@
 }  // unnamed namespace
 
 
+// Check the processor-optimzed type system
+BOOST_AUTO_TEST_SUITE( optimized_type_tests )
+
+// Check the optimzed type override of a given type
+BOOST_AUTO_TEST_CASE( fast_type_test )
+{
+#ifndef BOOST_NO_USING_TEMPLATE
+    using std::numeric_limits;
+#else
+    using namespace std;
+#endif
+
+    typedef short                               least_type;
+    typedef boost::int_fast_t<least_type>::fast  fast_type;
+    typedef numeric_limits<least_type>          least_limits;
+    typedef numeric_limits<fast_type>            fast_limits;
+
+    BOOST_MPL_ASSERT_RELATION( (boost::is_same<least_type, fast_type>::value),
+     ==, false );
+    BOOST_MPL_ASSERT_RELATION( fast_limits::is_specialized, ==, true );
+    BOOST_MPL_ASSERT_RELATION( fast_limits::is_signed &&
+     fast_limits::is_bounded, ==, true );
+    BOOST_MPL_ASSERT_RELATION( fast_limits::radix, ==, 2 );
+    BOOST_MPL_ASSERT_RELATION( fast_limits::digits, >=, least_limits::digits );
+}
+
+BOOST_AUTO_TEST_SUITE_END()
+
 // Check if given types can support given size parameters
 BOOST_AUTO_TEST_SUITE( show_type_tests )
 
@@ -404,3 +440,8 @@
 }
 
 BOOST_AUTO_TEST_SUITE_END()
+
+// Verification of bugs and their fixes
+BOOST_AUTO_TEST_SUITE( bug_fix_tests )
+
+BOOST_AUTO_TEST_SUITE_END()