boost/multiprecision
2
0
Fork 0
mirror of https://github.com/boostorg/multiprecision.git synced 2026-02-19 02:22:17 +00:00
Code Issues Projects Releases Wiki Activity
Files
e1b66e8e7e62cc170c56a43336a11873ca703bdf
multiprecision/test/test_sf_import_c99.cpp
jzmaddock 963c150746 Add fdim support.
2016-08-10 19:03:00 +01:00

293 lines
12 KiB
C++
Raw Blame History

// (C) Copyright John Maddock 2016.
// 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)
#ifdef _MSC_VER
# define _SCL_SECURE_NO_WARNINGS
#endif
#if !defined(TEST_MPF_50) && !defined(TEST_MPF) && !defined(TEST_BACKEND) && !defined(TEST_CPP_DEC_FLOAT)\
&& !defined(TEST_MPFR) && !defined(TEST_MPFR_50) && !defined(TEST_MPFI_50) && !defined(TEST_FLOAT128)\
&& !defined(TEST_CPP_BIN_FLOAT)
# define TEST_MPF_50
# define TEST_MPFR_50
# define TEST_MPFI_50
# define TEST_CPP_DEC_FLOAT
# define TEST_FLOAT128
# 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)
#include <boost/multiprecision/gmp.hpp>
#endif
#ifdef TEST_MPFR_50
#include <boost/multiprecision/mpfr.hpp>
#endif
#ifdef TEST_MPFI_50
#include <boost/multiprecision/mpfi.hpp>
#endif
#ifdef TEST_CPP_DEC_FLOAT
#include <boost/multiprecision/cpp_dec_float.hpp>
#endif
#ifdef TEST_CPP_BIN_FLOAT
#include <boost/multiprecision/cpp_bin_float.hpp>
#endif
#ifdef TEST_FLOAT128
#include <boost/multiprecision/float128.hpp>
#endif
#include "test.hpp"
#ifdef signbit
#undef signbit
#endif
#ifdef sign
#undef sign
#endif
#ifdef changesign
#undef changesign
#endif
#ifdef copysign
#undef copysign
#endif
#ifdef fpclassify
#undef fpclassify
#endif
#ifdef isinf
#undef isinf
#endif
#ifdef isnan
#undef isnan
#endif
#ifdef isnormal
#undef isnormal
#endif
template <class T>
void test()
{
//
// Basic sanity checks for C99 functions which are just imported versions
// from Boost.Math. These should still be found via ADL so no using declarations here...
//
T val = 2;
BOOST_CHECK(signbit(val) == 0);
BOOST_CHECK(signbit(val + 2) == 0);
val = -val;
BOOST_CHECK(signbit(val));
BOOST_CHECK(signbit(val * 2));
val = 2;
BOOST_CHECK_EQUAL(sign(val), 1);
BOOST_CHECK_EQUAL(sign(val + 2), 1);
val = -val;
BOOST_CHECK_EQUAL(sign(val), -1);
BOOST_CHECK_EQUAL(sign(val * 2), -1);
val = 0;
BOOST_CHECK_EQUAL(sign(val), 0);
BOOST_CHECK_EQUAL(sign(val * 2), 0);
val = 2;
BOOST_CHECK_EQUAL(changesign(val), -2);
BOOST_CHECK_EQUAL(changesign(val * 2), -4);
val = -2;
BOOST_CHECK_EQUAL(changesign(val), 2);
BOOST_CHECK_EQUAL(changesign(val * 2), 4);
val = 0;
BOOST_CHECK_EQUAL(changesign(val), 0);
BOOST_CHECK_EQUAL(changesign(val * 2), 0);
// Things involving signed zero, need to detect it first:
T neg_zero_test = -(std::numeric_limits<T>::min)();
neg_zero_test /= (std::numeric_limits<T>::max)();
T one(1);
bool test_signed_zero = !boost::multiprecision::is_interval_number<T>::value && std::numeric_limits<T>::has_infinity && (one / neg_zero_test < 0);
if(test_signed_zero)
{
BOOST_CHECK(signbit(changesign(val)));
BOOST_CHECK(signbit(changesign(val * 2)));
}
T s = 2;
val = 3;
BOOST_CHECK_EQUAL(copysign(val, s), 3);
BOOST_CHECK_EQUAL(copysign(val, s * -2), -3);
BOOST_CHECK_EQUAL(copysign(-2 * val, s), 6);
BOOST_CHECK_EQUAL(copysign(-2 * val, 2 * s), 6);
s = -2;
BOOST_CHECK_EQUAL(copysign(val, s), -3);
BOOST_CHECK_EQUAL(copysign(val, s * -2), 3);
BOOST_CHECK_EQUAL(copysign(-2 * val, s), -6);
BOOST_CHECK_EQUAL(copysign(-2 * val, 2 * s), -6);
val = -3;
BOOST_CHECK_EQUAL(copysign(val, s), -3);
BOOST_CHECK_EQUAL(copysign(val, s * -2), 3);
BOOST_CHECK_EQUAL(copysign(-2 * val, s), -6);
BOOST_CHECK_EQUAL(copysign(-2 * val, 2 * s), -6);
s = 0;
BOOST_CHECK_EQUAL(copysign(val, s), 3);
// Things involving signed zero, need to detect it first:
if(test_signed_zero)
{
BOOST_CHECK_EQUAL(copysign(val, s * -2), -3);
}
BOOST_CHECK_EQUAL(copysign(-2 * val, s), 6);
BOOST_CHECK_EQUAL(copysign(-2 * val, 2 * s), 6);
// Things involving signed zero, need to detect it first:
if(test_signed_zero)
{
s = changesign(s);
if(signbit(s))
{
BOOST_CHECK_EQUAL(copysign(val, s), -3);
BOOST_CHECK_EQUAL(copysign(val, s * -2), 3);
BOOST_CHECK_EQUAL(copysign(-2 * val, s), -6);
BOOST_CHECK_EQUAL(copysign(-2 * val, 2 * s), -6);
}
}
val = 3;
BOOST_CHECK_EQUAL(fpclassify(val), FP_NORMAL);
BOOST_CHECK_EQUAL(fpclassify(val * 3), FP_NORMAL);
BOOST_CHECK(!isinf(val));
BOOST_CHECK(!isinf(val + 2));
BOOST_CHECK(!isnan(val));
BOOST_CHECK(!isnan(val + 2));
BOOST_CHECK(isnormal(val));
BOOST_CHECK(isnormal(val + 2));
val = -3;
BOOST_CHECK_EQUAL(fpclassify(val), FP_NORMAL);
BOOST_CHECK_EQUAL(fpclassify(val * 3), FP_NORMAL);
BOOST_CHECK(!isinf(val));
BOOST_CHECK(!isinf(val + 2));
BOOST_CHECK(!isnan(val));
BOOST_CHECK(!isnan(val + 2));
BOOST_CHECK(isnormal(val));
BOOST_CHECK(isnormal(val + 2));
val = 0;
BOOST_CHECK_EQUAL(fpclassify(val), FP_ZERO);
BOOST_CHECK_EQUAL(fpclassify(val * 3), FP_ZERO);
BOOST_CHECK(!isinf(val));
BOOST_CHECK(!isinf(val + 2));
BOOST_CHECK(!isnan(val));
BOOST_CHECK(!isnan(val + 2));
BOOST_CHECK(!isnormal(val));
BOOST_CHECK(!isnormal(val * 2));
BOOST_CHECK(!isnormal(val * -2));
if(std::numeric_limits<T>::has_infinity)
{
val = std::numeric_limits<T>::infinity();
BOOST_CHECK_EQUAL(fpclassify(val), FP_INFINITE);
BOOST_CHECK_EQUAL(fpclassify(val * 3), FP_INFINITE);
BOOST_CHECK(isinf(val));
BOOST_CHECK(isinf(val + 2));
BOOST_CHECK(!isnan(val));
BOOST_CHECK(!isnan(val + 2));
BOOST_CHECK(!isnormal(val));
BOOST_CHECK(!isnormal(val + 2));
val = -val;
BOOST_CHECK_EQUAL(fpclassify(val), FP_INFINITE);
BOOST_CHECK_EQUAL(fpclassify(val * 3), FP_INFINITE);
BOOST_CHECK(isinf(val));
BOOST_CHECK(isinf(val + 2));
BOOST_CHECK(!isnan(val));
BOOST_CHECK(!isnan(val + 2));
BOOST_CHECK(!isnormal(val));
BOOST_CHECK(!isnormal(val + 2));
}
if(std::numeric_limits<T>::has_quiet_NaN)
{
val = std::numeric_limits <T>::quiet_NaN();
BOOST_CHECK_EQUAL(fpclassify(val), FP_NAN);
BOOST_CHECK_EQUAL(fpclassify(val * 3), FP_NAN);
BOOST_CHECK(!isinf(val));
BOOST_CHECK(!isinf(val + 2));
BOOST_CHECK(isnan(val));
BOOST_CHECK(isnan(val + 2));
BOOST_CHECK(!isnormal(val));
BOOST_CHECK(!isnormal(val + 2));
}
s = 8 * std::numeric_limits<T>::epsilon();
val = 2.5;
BOOST_CHECK_CLOSE_FRACTION(asinh(val), T("1.6472311463710957106248586104436196635044144301932365282203100930843983757633104078778420255069424907777006132075516484778755360595913172299093829522950397895699619540523579875476513967578478619028438291006578604823887119907434"), s);
BOOST_CHECK_CLOSE_FRACTION(asinh(val + T(0)), T("1.6472311463710957106248586104436196635044144301932365282203100930843983757633104078778420255069424907777006132075516484778755360595913172299093829522950397895699619540523579875476513967578478619028438291006578604823887119907434"), s);
BOOST_CHECK_CLOSE_FRACTION(acosh(val), T("1.5667992369724110786640568625804834938620823510926588639329459980122148134693922696279968499622201141051039184050936311066453565386393240356562374302417843319480223211857615778787272615171906055455922537080327062362258846337050"), s);
BOOST_CHECK_CLOSE_FRACTION(acosh(val + T(0)), T("1.5667992369724110786640568625804834938620823510926588639329459980122148134693922696279968499622201141051039184050936311066453565386393240356562374302417843319480223211857615778787272615171906055455922537080327062362258846337050"), s);
val = 0.5;
BOOST_CHECK_CLOSE_FRACTION(atanh(val), T("0.5493061443340548456976226184612628523237452789113747258673471668187471466093044834368078774068660443939850145329789328711840021129652599105264009353836387053015813845916906835896868494221804799518712851583979557605727959588753"), s);
BOOST_CHECK_CLOSE_FRACTION(atanh(val + T(0)), T("0.5493061443340548456976226184612628523237452789113747258673471668187471466093044834368078774068660443939850145329789328711840021129652599105264009353836387053015813845916906835896868494221804799518712851583979557605727959588753"), s);
val = 55.25;
BOOST_CHECK_CLOSE_FRACTION(cbrt(val), T("3.8087058015466360309383876359583281382991983919300128125378938779672144843676192684301168479657279498120767424724024965319869248797423276064015643361426189576415670917818313417529572608229017809069355688606687557031643655896118"), s);
BOOST_CHECK_CLOSE_FRACTION(cbrt(val + T(0)), T("3.8087058015466360309383876359583281382991983919300128125378938779672144843676192684301168479657279498120767424724024965319869248797423276064015643361426189576415670917818313417529572608229017809069355688606687557031643655896118"), s);
if(!boost::multiprecision::is_interval_number<T>::value)
{
val = 2.75;
BOOST_CHECK_CLOSE_FRACTION(erf(val), T("0.9998993780778803631630956080249130432349352621422640655161095794654526422025908961447328296681056892975214344779300734620255391682713519265048496199034963706976420982849598189071465666866369396765001072187538732800143945532487"), s);
BOOST_CHECK_CLOSE_FRACTION(erf(val + T(0)), T("0.9998993780778803631630956080249130432349352621422640655161095794654526422025908961447328296681056892975214344779300734620255391682713519265048496199034963706976420982849598189071465666866369396765001072187538732800143945532487"), s);
BOOST_CHECK_CLOSE_FRACTION(erfc(val), T("0.0001006219221196368369043919750869567650647378577359344838904205345473577974091038552671703318943107024785655220699265379744608317286480734951503800965036293023579017150401810928534333133630603234998927812461267199856054467512"), s);
BOOST_CHECK_CLOSE_FRACTION(erfc(val + T(0)), T("0.0001006219221196368369043919750869567650647378577359344838904205345473577974091038552671703318943107024785655220699265379744608317286480734951503800965036293023579017150401810928534333133630603234998927812461267199856054467512"), s);
}
val = 0.125;
BOOST_CHECK_CLOSE_FRACTION(expm1(val), T("0.1331484530668263168290072278117938725655031317451816259128200360788235778800483865139399907949417285732315270156473075657048210452584733998785564025916995261162759280700397984729320345630340659469435372721057879969170503978449"), s);
BOOST_CHECK_CLOSE_FRACTION(expm1(val + T(0)), T("0.1331484530668263168290072278117938725655031317451816259128200360788235778800483865139399907949417285732315270156473075657048210452584733998785564025916995261162759280700397984729320345630340659469435372721057879969170503978449"), s);
val = 20;
s = 2;
BOOST_CHECK_EQUAL(fdim(val, s), 18);
BOOST_CHECK_EQUAL(fdim(s, val), 0);
BOOST_CHECK_EQUAL(fdim(val, s * 2), 16);
BOOST_CHECK_EQUAL(fdim(s * 2, val), 0);
BOOST_CHECK_EQUAL(fdim(val, 2), 18);
BOOST_CHECK_EQUAL(fdim(2, val), 0);
}
int main()
{
#ifdef TEST_MPF_50
test<boost::multiprecision::mpf_float_50>();
test<boost::multiprecision::mpf_float_100>();
#endif
#ifdef TEST_MPFR_50
test<boost::multiprecision::mpfr_float_50>();
test<boost::multiprecision::mpfr_float_100>();
#endif
#ifdef TEST_MPFI_50
test<boost::multiprecision::mpfi_float_50>();
test<boost::multiprecision::mpfi_float_100>();
#endif
#ifdef TEST_CPP_DEC_FLOAT
test<boost::multiprecision::cpp_dec_float_50>();
test<boost::multiprecision::cpp_dec_float_100>();
#ifndef SLOW_COMPLER
// Some "peculiar" digit counts which stress our code:
test<boost::multiprecision::number<boost::multiprecision::cpp_dec_float<65> > >();
test<boost::multiprecision::number<boost::multiprecision::cpp_dec_float<64> > >();
test<boost::multiprecision::number<boost::multiprecision::cpp_dec_float<63> > >();
test<boost::multiprecision::number<boost::multiprecision::cpp_dec_float<62> > >();
test<boost::multiprecision::number<boost::multiprecision::cpp_dec_float<61, long long> > >();
test<boost::multiprecision::number<boost::multiprecision::cpp_dec_float<60, long long> > >();
test<boost::multiprecision::number<boost::multiprecision::cpp_dec_float<59, long long, std::allocator<void> > > >();
test<boost::multiprecision::number<boost::multiprecision::cpp_dec_float<58, long long, std::allocator<void> > > >();
#endif
#endif
#ifdef TEST_CPP_BIN_FLOAT
test<boost::multiprecision::cpp_bin_float_50>();
test<boost::multiprecision::number<boost::multiprecision::cpp_bin_float<100>, boost::multiprecision::et_on> >();
#endif
#ifdef TEST_FLOAT128
test<boost::multiprecision::float128>();
#endif
return boost::report_errors();
}
Reference in New Issue View Git Blame Copy Permalink