ceph/src/boost/libs/multiprecision/test/test_gmp_conversions.cpp

   1 ///////////////////////////////////////////////////////////////
   2 //  Copyright Christopher Kormanyos 2002 - 2011.
   3 //  Copyright 2011 John Maddock. Distributed under the Boost
   4 //  Software License, Version 1.0. (See accompanying file
   5 //  LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt
   6 //
   7 // This work is based on an earlier work:
   8 // "Algorithm 910: A Portable C++ Multiple-Precision System for Special-Function Calculations",
   9 // in ACM TOMS, {VOL 37, ISSUE 4, (February 2011)} (C) ACM, 2011. http://doi.acm.org/10.1145/1916461.1916469
  10
  11 #ifdef _MSC_VER
  12 #define _SCL_SECURE_NO_WARNINGS
  13 #endif
  14
  15 #include <boost/detail/lightweight_test.hpp>
  16 #include <boost/array.hpp>
  17 #include "test.hpp"
  18
  19 #include <boost/multiprecision/gmp.hpp>
  20
  21 int main()
  22 {
  23    using namespace boost::multiprecision;
  24    //
  25    // Test interconversions between GMP supported backends:
  26    //
  27    mpf_t mpf;
  28    mpz_t mpz;
  29    mpq_t mpq;
  30    mpf_init2(mpf, 100);
  31    mpf_set_ui(mpf, 2u);
  32    mpz_init(mpz);
  33    mpz_set_ui(mpz, 2u);
  34    mpq_init(mpq);
  35    mpq_set_ui(mpq, 2u, 1u);
  36
  37    BOOST_TEST(mpf_float(mpf) == 2);
  38    BOOST_TEST(mpf_float_50(mpf) == 2);
  39    BOOST_TEST(mpf_float(mpz) == 2);
  40    BOOST_TEST(mpf_float_50(mpz) == 2);
  41    BOOST_TEST(mpf_float(mpq) == 2);
  42    BOOST_TEST(mpf_float_50(mpq) == 2);
  43
  44    mpf_float    f0;
  45    mpf_float_50 f50;
  46    f0 = mpf;
  47    BOOST_TEST(f0 == 2);
  48    f0 = 0;
  49    f0 = mpz;
  50    BOOST_TEST(f0 == 2);
  51    f0 = 0;
  52    f0 = mpq;
  53    BOOST_TEST(f0 == 2);
  54
  55    f50 = mpf;
  56    BOOST_TEST(f50 == 2);
  57    f50 = 0;
  58    f50 = mpz;
  59    BOOST_TEST(f50 == 2);
  60    f50 = 0;
  61    f50 = mpq;
  62    BOOST_TEST(f50 == 2);
  63
  64    f50 = 4;
  65    f0  = f50;
  66    BOOST_TEST(f0 == 4);
  67    f0  = 3;
  68    f50 = f0;
  69    BOOST_TEST(f50 == 3);
  70    f50 = 4;
  71    BOOST_TEST(mpf_float(f50) == 4);
  72    BOOST_TEST(mpf_float_50(f0) == 3);
  73
  74    mpz_int      iz(2);
  75    mpq_rational rat(2);
  76    f50 = iz;
  77    BOOST_TEST(f50 == 2);
  78    f0 = iz;
  79    BOOST_TEST(f0 == 2);
  80    BOOST_TEST(mpf_float(iz) == 2);
  81    BOOST_TEST(mpf_float_50(iz) == 2);
  82    BOOST_TEST(mpf_float(rat) == 2);
  83    BOOST_TEST(mpf_float_50(rat) == 2);
  84
  85    BOOST_TEST(mpz_int(mpf) == 2);
  86    BOOST_TEST(mpz_int(mpz) == 2);
  87    BOOST_TEST(mpz_int(mpq) == 2);
  88    iz = 3;
  89    iz = mpz_int(mpf); // explicit conversion only
  90    BOOST_TEST(iz == 2);
  91    iz = 3;
  92    iz = mpz;
  93    BOOST_TEST(iz == 2);
  94    iz = 4;
  95    iz = mpz_int(mpq); // explicit conversion only
  96    BOOST_TEST(iz == 2);
  97    f0  = 2;
  98    f50 = 2;
  99
 100    BOOST_TEST(mpz_int(f0) == 2);
 101    BOOST_TEST(mpz_int(f50) == 2);
 102    rat = 2;
 103    BOOST_TEST(mpz_int(rat) == 2);
 104    iz = 3;
 105    iz = static_cast<mpz_int>(f0);
 106    BOOST_TEST(iz == 2);
 107    iz = 3;
 108    iz = static_cast<mpz_int>(f50);
 109    BOOST_TEST(iz == 2);
 110    iz = 3;
 111    iz = static_cast<mpz_int>(rat);
 112    BOOST_TEST(iz == 2);
 113
 114    BOOST_TEST(mpq_rational(mpz) == 2);
 115    BOOST_TEST(mpq_rational(mpq) == 2);
 116    BOOST_TEST(mpq_rational(iz) == 2);
 117    rat = 3;
 118    rat = mpz;
 119    BOOST_TEST(rat == 2);
 120    rat = 3;
 121    rat = mpq;
 122    BOOST_TEST(rat == 2);
 123    rat = 3;
 124    rat = iz;
 125    BOOST_TEST(rat == 2);
 126
 127    iz = numerator(rat);
 128    BOOST_TEST(iz == 2);
 129    iz = denominator(rat);
 130    BOOST_TEST(iz == 1);
 131
 132    //
 133    // Conversions involving precision only,
 134    // note that mpf_t precisions are only approximate:
 135    //
 136    mpf_float::default_precision(30);
 137    f50 = 2;
 138    mpf_float_100 f100(3);
 139    mpf_float     f0a(4);
 140    mpf_float     f0b(f100);
 141    BOOST_TEST(f0a.precision() >= 30);
 142    BOOST_TEST(f0b.precision() >= 100);
 143    f0a = f100;
 144    BOOST_TEST(f0a == 3);
 145    BOOST_TEST(f0a.precision() >= 100);
 146
 147    f100 = f50;
 148    BOOST_TEST(f100 == 2);
 149
 150    mpf_clear(mpf);
 151    mpz_clear(mpz);
 152    mpq_clear(mpq);
 153
 154    return boost::report_errors();
 155 }