| 1 | // constexpr test for boost/core/bit.hpp (countl_zero, countl_one) |
| 2 | // |
| 3 | // Copyright 2023 Peter Dimov |
| 4 | // Distributed under the Boost Software License, Version 1.0. |
| 5 | // https://www.boost.org/LICENSE_1_0.txt |
| 6 | |
| 7 | #if defined(_MSC_VER) |
| 8 | # pragma warning(disable: 4310) // cast truncates constant value |
| 9 | #endif |
| 10 | |
| 11 | #include <boost/config.hpp> |
| 12 | #include <boost/config/pragma_message.hpp> |
| 13 | |
| 14 | #if defined(BOOST_NO_CXX14_CONSTEXPR) |
| 15 | |
| 16 | BOOST_PRAGMA_MESSAGE( "Test skipped because BOOST_NO_CXX14_CONSTEXPR is defined" ) |
| 17 | |
| 18 | #elif defined(BOOST_MSVC) && BOOST_MSVC / 10 == 191 |
| 19 | |
| 20 | BOOST_PRAGMA_MESSAGE( "Test skipped because BOOST_MSVC is " BOOST_STRINGIZE(BOOST_MSVC) ) |
| 21 | |
| 22 | #else |
| 23 | |
| 24 | #include <boost/core/bit.hpp> |
| 25 | #include <climits> |
| 26 | |
| 27 | #define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__) |
| 28 | |
| 29 | STATIC_ASSERT( boost::core::countl_zero( (unsigned char)0x1F ) == CHAR_BIT - 5 ); |
| 30 | STATIC_ASSERT( boost::core::countl_zero( (unsigned short)0x1F ) == sizeof(unsigned short) * CHAR_BIT - 5 ); |
| 31 | STATIC_ASSERT( boost::core::countl_zero( 0x1Fu ) == sizeof(unsigned int) * CHAR_BIT - 5 ); |
| 32 | STATIC_ASSERT( boost::core::countl_zero( 0x1Ful ) == sizeof(unsigned long) * CHAR_BIT - 5 ); |
| 33 | STATIC_ASSERT( boost::core::countl_zero( 0x1Full ) == sizeof(unsigned long long) * CHAR_BIT - 5 ); |
| 34 | |
| 35 | STATIC_ASSERT( boost::core::countl_one( (unsigned char)~0x1Fu ) == CHAR_BIT - 5 ); |
| 36 | STATIC_ASSERT( boost::core::countl_one( (unsigned short)~0x1Fu ) == sizeof(unsigned short) * CHAR_BIT - 5 ); |
| 37 | STATIC_ASSERT( boost::core::countl_one( ~0x1Fu ) == sizeof(unsigned int) * CHAR_BIT - 5 ); |
| 38 | STATIC_ASSERT( boost::core::countl_one( ~0x1Ful ) == sizeof(unsigned long) * CHAR_BIT - 5 ); |
| 39 | STATIC_ASSERT( boost::core::countl_one( ~0x1Full ) == sizeof(unsigned long long) * CHAR_BIT - 5 ); |
| 40 | |
| 41 | #endif |
| 42 | |