123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251 |
- // Copyright John Maddock 2011.
- // Use, modification and distribution are subject to the
- // Boost Software License, Version 1.0. (See accompanying file
- // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- //
- // This tests that cpp_dec_float_50 meets our
- // conceptual requirements.
- //
- #ifdef _MSC_VER
- #define _SCL_SECURE_NO_WARNINGS
- #pragma warning(disable : 4800)
- #pragma warning(disable : 4512)
- #pragma warning(disable : 4127)
- #pragma warning(disable : 4512)
- #pragma warning(disable : 4503) // decorated name length exceeded, name was truncated
- #endif
- #include <boost/container_hash/hash.hpp>
- #include <libs/math/test/compile_test/poison.hpp>
- #if !defined(TEST_MPF_50) && !defined(TEST_BACKEND) && !defined(TEST_MPZ) && !defined(TEST_CPP_DEC_FLOAT) && !defined(TEST_MPFR_50) && !defined(TEST_MPFR_6) && !defined(TEST_MPFR_15) && !defined(TEST_MPFR_17) && !defined(TEST_MPFR_30) && !defined(TEST_CPP_DEC_FLOAT_NO_ET) && !defined(TEST_LOGGED_ADAPTER) && !defined(TEST_CPP_BIN_FLOAT)
- #define TEST_MPF_50
- #define TEST_BACKEND
- #define TEST_MPZ
- #define TEST_MPFR_50
- #define TEST_MPFR_6
- #define TEST_MPFR_15
- #define TEST_MPFR_17
- #define TEST_MPFR_30
- #define TEST_CPP_DEC_FLOAT
- #define TEST_CPP_DEC_FLOAT_NO_ET
- #define TEST_LOGGED_ADAPTER
- #define TEST_CPP_BIN_FLOAT
- #ifdef _MSC_VER
- #pragma message("CAUTION!!: No backend type specified so testing everything.... this will take some time!!")
- #endif
- #ifdef __GNUC__
- #pragma warning "CAUTION!!: No backend type specified so testing everything.... this will take some time!!"
- #endif
- #endif
- #if defined(TEST_MPF_50) || defined(TEST_MPZ)
- #include <boost/multiprecision/gmp.hpp>
- #endif
- #ifdef TEST_BACKEND
- #include <boost/multiprecision/concepts/mp_number_archetypes.hpp>
- #endif
- #if defined(TEST_CPP_DEC_FLOAT) || defined(TEST_CPP_DEC_FLOAT_NO_ET) || defined(TEST_LOGGED_ADAPTER)
- #include <boost/multiprecision/cpp_dec_float.hpp>
- #endif
- #if defined(TEST_CPP_BIN_FLOAT)
- #include <boost/multiprecision/cpp_bin_float.hpp>
- #endif
- #if defined(TEST_MPFR_50) || defined(TEST_MPFR_6) || defined(TEST_MPFR_15) || defined(TEST_MPFR_17) || defined(TEST_MPFR_30)
- #include <boost/multiprecision/mpfr.hpp>
- #endif
- #ifdef TEST_LOGGED_ADAPTER
- #include <boost/multiprecision/logged_adaptor.hpp>
- #endif
- #include <boost/math/concepts/real_type_concept.hpp>
- template <class T>
- void test_extra(T)
- {
- T t = 1;
- t = abs(t);
- t = abs(t * t);
- t = fabs(t);
- t = fabs(t * t);
- t = sqrt(t);
- t = sqrt(t * t);
- t = floor(t);
- t = floor(t * t);
- t = ceil(t);
- t = ceil(t * t);
- t = trunc(t);
- t = trunc(t * t);
- t = round(t);
- t = round(t * t);
- t = exp(t);
- t = exp(t * t);
- t = log(t);
- t = log(t * t);
- t = log10(t);
- t = log10(t * t);
- t = cos(t);
- t = cos(t * t);
- t = sin(t);
- t = sin(t * t);
- t = tan(t);
- t = tan(t * t);
- t = asin(t);
- t = asin(t * t);
- t = atan(t);
- t = atan(t * t);
- t = acos(t);
- t = acos(t * t);
- t = cosh(t);
- t = cosh(t * t);
- t = sinh(t);
- t = sinh(t * t);
- t = tanh(t);
- t = tanh(t * t);
- double dval = 2;
- t = pow(t, t);
- t = pow(t, t * t);
- t = pow(t, dval);
- t = pow(t * t, t);
- t = pow(t * t, t * t);
- t = pow(t * t, dval);
- t = pow(dval, t);
- t = pow(dval, t * t);
- t = atan2(t, t);
- t = atan2(t, t * t);
- t = atan2(t, dval);
- t = atan2(t * t, t);
- t = atan2(t * t, t * t);
- t = atan2(t * t, dval);
- t = atan2(dval, t);
- t = atan2(dval, t * t);
- t = fmod(t, t);
- t = fmod(t, t * t);
- t = fmod(t, dval);
- t = fmod(t * t, t);
- t = fmod(t * t, t * t);
- t = fmod(t * t, dval);
- t = fmod(dval, t);
- t = fmod(dval, t * t);
- typedef typename T::backend_type backend_type;
- typedef typename backend_type::exponent_type exp_type;
- exp_type e = 0;
- int i = 0;
- t = ldexp(t, i);
- t = ldexp(t * t, i);
- t = ldexp(t, e);
- t = ldexp(t * t, e);
- t = frexp(t, &i);
- t = frexp(t * t, &i);
- t = frexp(t, &e);
- t = frexp(t * t, &e);
- t = scalbn(t, i);
- t = scalbn(t * t, i);
- t = scalbn(t, e);
- t = scalbn(t * t, e);
- t = logb(t);
- t = logb(t * t);
- e = ilogb(t);
- e = ilogb(t * t);
- }
- void foo()
- {
- #ifdef TEST_BACKEND
- test_extra(boost::multiprecision::concepts::mp_number_float_architype());
- #endif
- #ifdef TEST_MPF_50
- test_extra(boost::multiprecision::mpf_float_50());
- #endif
- #ifdef TEST_MPFR_50
- test_extra(boost::multiprecision::mpfr_float_50());
- #endif
- #ifdef TEST_MPFR_6
- test_extra(boost::multiprecision::number<boost::multiprecision::mpfr_float_backend<6> >());
- #endif
- #ifdef TEST_MPFR_15
- test_extra(boost::multiprecision::number<boost::multiprecision::mpfr_float_backend<15> >());
- #endif
- #ifdef TEST_MPFR_17
- test_extra(boost::multiprecision::number<boost::multiprecision::mpfr_float_backend<17> >());
- #endif
- #ifdef TEST_MPFR_30
- test_extra(boost::multiprecision::number<boost::multiprecision::mpfr_float_backend<30> >());
- #endif
- #ifdef TEST_CPP_DEC_FLOAT
- test_extra(boost::multiprecision::cpp_dec_float_50());
- #endif
- #ifdef TEST_CPP_BIN_FLOAT
- test_extra(boost::multiprecision::cpp_bin_float_50());
- #endif
- #ifdef TEST_CPP_DEC_FLOAT_NO_ET
- test_extra(boost::multiprecision::number<boost::multiprecision::cpp_dec_float<100>, boost::multiprecision::et_off>());
- #endif
- }
- int main()
- {
- #ifdef TEST_BACKEND
- BOOST_CONCEPT_ASSERT((boost::math::concepts::RealTypeConcept<boost::multiprecision::concepts::mp_number_float_architype>));
- #endif
- #ifdef TEST_MPF_50
- BOOST_CONCEPT_ASSERT((boost::math::concepts::RealTypeConcept<boost::multiprecision::mpf_float_50>));
- #endif
- #ifdef TEST_MPFR_50
- BOOST_CONCEPT_ASSERT((boost::math::concepts::RealTypeConcept<boost::multiprecision::mpfr_float_50>));
- #endif
- #ifdef TEST_MPFR_6
- BOOST_CONCEPT_ASSERT((boost::math::concepts::RealTypeConcept<boost::multiprecision::number<boost::multiprecision::mpfr_float_backend<6> > >));
- #endif
- #ifdef TEST_MPFR_15
- BOOST_CONCEPT_ASSERT((boost::math::concepts::RealTypeConcept<boost::multiprecision::number<boost::multiprecision::mpfr_float_backend<15> > >));
- #endif
- #ifdef TEST_MPFR_17
- BOOST_CONCEPT_ASSERT((boost::math::concepts::RealTypeConcept<boost::multiprecision::number<boost::multiprecision::mpfr_float_backend<17> > >));
- #endif
- #ifdef TEST_MPFR_30
- BOOST_CONCEPT_ASSERT((boost::math::concepts::RealTypeConcept<boost::multiprecision::number<boost::multiprecision::mpfr_float_backend<30> > >));
- #endif
- #ifdef TEST_MPFR_50
- BOOST_CONCEPT_ASSERT((boost::math::concepts::RealTypeConcept<boost::multiprecision::mpfr_float_50>));
- #endif
- #ifdef TEST_CPP_DEC_FLOAT
- BOOST_CONCEPT_ASSERT((boost::math::concepts::RealTypeConcept<boost::multiprecision::cpp_dec_float_50>));
- #endif
- #ifdef TEST_CPP_BIN_FLOAT
- BOOST_CONCEPT_ASSERT((boost::math::concepts::RealTypeConcept<boost::multiprecision::cpp_bin_float_50>));
- #endif
- #ifdef TEST_LOGGED_ADAPTER
- typedef boost::multiprecision::number<boost::multiprecision::logged_adaptor<boost::multiprecision::cpp_dec_float<50> > > num_t;
- test_extra(num_t());
- #endif
- }
|