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

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //  Copyright 2015 John Maddock. Distributed under the Boost
   3 //  Software License, Version 1.0. (See accompanying file
   4 //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   5
   6 #include <boost/multiprecision/cpp_int.hpp>
   7 #include <type_traits>
   8
   9 typedef boost::multiprecision::number<boost::multiprecision::rational_adaptor<boost::multiprecision::int128_t::backend_type> >  rat128_t;
  10 typedef boost::multiprecision::number<boost::multiprecision::rational_adaptor<boost::multiprecision::uint128_t::backend_type> > urat128_t;
  11 typedef boost::multiprecision::number<boost::multiprecision::rational_adaptor<boost::multiprecision::int512_t::backend_type> >  rat512_t;
  12 typedef boost::multiprecision::number<boost::multiprecision::rational_adaptor<boost::multiprecision::uint512_t::backend_type> > urat512_t;
  13
  14 typedef boost::multiprecision::number<boost::multiprecision::rational_adaptor<boost::multiprecision::checked_int128_t::backend_type> >  checked_rat128_t;
  15 typedef boost::multiprecision::number<boost::multiprecision::rational_adaptor<boost::multiprecision::checked_uint128_t::backend_type> > checked_urat128_t;
  16 typedef boost::multiprecision::number<boost::multiprecision::rational_adaptor<boost::multiprecision::checked_int512_t::backend_type> >  checked_rat512_t;
  17 typedef boost::multiprecision::number<boost::multiprecision::rational_adaptor<boost::multiprecision::checked_uint512_t::backend_type> > checked_urat512_t;
  18
  19 //
  20 // Move construct:
  21 //
  22 static_assert(std::is_nothrow_move_constructible<boost::multiprecision::cpp_rational>::value, "is_nothrow_move_constructible test");
  23 static_assert(std::is_nothrow_move_constructible<rat128_t>::value, "is_nothrow_move_constructible test");
  24 static_assert(std::is_nothrow_move_constructible<checked_rat128_t>::value, "is_nothrow_move_constructible test");
  25 static_assert(std::is_nothrow_move_constructible<urat128_t>::value, "is_nothrow_move_constructible test");
  26 static_assert(std::is_nothrow_move_constructible<checked_urat128_t>::value, "is_nothrow_move_constructible test");
  27 static_assert(std::is_nothrow_move_constructible<rat512_t>::value, "is_nothrow_move_constructible test");
  28 static_assert(std::is_nothrow_move_constructible<checked_rat512_t>::value, "is_nothrow_move_constructible test");
  29 static_assert(std::is_nothrow_move_constructible<urat512_t>::value, "is_nothrow_move_constructible test");
  30 static_assert(std::is_nothrow_move_constructible<checked_urat512_t>::value, "is_nothrow_move_constructible test");
  31 //
  32 // Move assign:
  33 //
  34 static_assert(std::is_nothrow_move_assignable<boost::multiprecision::cpp_rational>::value, "is_nothrow_move_assignable test");
  35 static_assert(std::is_nothrow_move_assignable<rat128_t>::value, "is_nothrow_move_assignable test");
  36 static_assert(std::is_nothrow_move_assignable<checked_rat128_t>::value, "is_nothrow_move_assignable test");
  37 static_assert(std::is_nothrow_move_assignable<urat128_t>::value, "is_nothrow_move_assignable test");
  38 static_assert(std::is_nothrow_move_assignable<checked_urat128_t>::value, "is_nothrow_move_assignable test");
  39 static_assert(std::is_nothrow_move_assignable<rat512_t>::value, "is_nothrow_move_assignable test");
  40 static_assert(std::is_nothrow_move_assignable<checked_rat512_t>::value, "is_nothrow_move_assignable test");
  41 static_assert(std::is_nothrow_move_assignable<urat512_t>::value, "is_nothrow_move_assignable test");
  42 static_assert(std::is_nothrow_move_assignable<checked_urat512_t>::value, "is_nothrow_move_assignable test");
  43
  44 #if 0
  45 //
  46 // Everything below could/should be made to work, given modifications to Boost.Rational
  47 //
  48
  49
  50 //
  51 // Construct:
  52 //
  53 #ifdef BOOST_HAS_NOTHROW_CONSTRUCTOR
  54 static_assert(boost::has_nothrow_constructor<boost::multiprecision::cpp_rational>::value);
  55 static_assert(boost::has_nothrow_constructor<rat128_t>::value);
  56 static_assert(boost::has_nothrow_constructor<checked_rat128_t>::value);
  57 static_assert(boost::has_nothrow_constructor<urat128_t>::value);
  58 static_assert(boost::has_nothrow_constructor<checked_urat128_t>::value);
  59 static_assert(boost::has_nothrow_constructor<rat512_t>::value);
  60 static_assert(boost::has_nothrow_constructor<checked_rat512_t>::value);
  61 static_assert(boost::has_nothrow_constructor<urat512_t>::value);
  62 static_assert(boost::has_nothrow_constructor<checked_urat512_t>::value);
  63 #endif
  64 //
  65 // Copy construct:
  66 //
  67 #ifdef BOOST_HAS_NOTHROW_COPY
  68 static_assert(!boost::has_nothrow_copy<boost::multiprecision::cpp_rational>::value);
  69 static_assert(boost::has_nothrow_copy<rat128_t>::value);
  70 static_assert(boost::has_nothrow_copy<checked_rat128_t>::value);
  71 static_assert(boost::has_nothrow_copy<urat128_t>::value);
  72 static_assert(boost::has_nothrow_copy<checked_urat128_t>::value);
  73 static_assert(boost::has_nothrow_copy<rat512_t>::value);
  74 static_assert(boost::has_nothrow_copy<checked_rat512_t>::value);
  75 static_assert(boost::has_nothrow_copy<urat512_t>::value);
  76 static_assert(boost::has_nothrow_copy<checked_urat512_t>::value);
  77 #endif
  78 //
  79 // Assign:
  80 //
  81 #ifdef BOOST_HAS_NOTHROW_ASSIGN
  82 static_assert(!boost::has_nothrow_assign<boost::multiprecision::cpp_rational>::value);
  83 static_assert(boost::has_nothrow_assign<rat128_t>::value);
  84 static_assert(boost::has_nothrow_assign<checked_rat128_t>::value);
  85 static_assert(boost::has_nothrow_assign<urat128_t>::value);
  86 static_assert(boost::has_nothrow_assign<checked_urat128_t>::value);
  87 static_assert(boost::has_nothrow_assign<rat512_t>::value);
  88 static_assert(boost::has_nothrow_assign<checked_rat512_t>::value);
  89 static_assert(boost::has_nothrow_assign<urat512_t>::value);
  90 static_assert(boost::has_nothrow_assign<checked_urat512_t>::value);
  91 #endif
  92 //
  93 // Construct from int:
  94 //
  95 static_assert(noexcept(boost::multiprecision::cpp_rational(std::declval<boost::multiprecision::signed_limb_type>())));
  96 static_assert(noexcept(rat128_t(std::declval<boost::multiprecision::signed_limb_type>())));
  97 static_assert(noexcept(checked_rat128_t(std::declval<boost::multiprecision::signed_limb_type>())));
  98 static_assert(noexcept(urat128_t(std::declval<boost::multiprecision::signed_limb_type>())));
  99 static_assert(!noexcept(checked_urat128_t(std::declval<boost::multiprecision::signed_limb_type>())));
 100 static_assert(noexcept(rat512_t(std::declval<boost::multiprecision::signed_limb_type>())));
 101 static_assert(noexcept(checked_rat512_t(std::declval<boost::multiprecision::signed_limb_type>())));
 102 static_assert(noexcept(urat512_t(std::declval<boost::multiprecision::signed_limb_type>())));
 103 static_assert(!noexcept(checked_urat512_t(std::declval<boost::multiprecision::signed_limb_type>())));
 104 //
 105 // Construct from unsigned int:
 106 //
 107 static_assert(noexcept(boost::multiprecision::cpp_rational(std::declval<boost::multiprecision::limb_type>())));
 108 static_assert(noexcept(rat128_t(std::declval<boost::multiprecision::limb_type>())));
 109 static_assert(noexcept(checked_rat128_t(std::declval<boost::multiprecision::limb_type>())));
 110 static_assert(noexcept(urat128_t(std::declval<boost::multiprecision::limb_type>())));
 111 static_assert(noexcept(checked_urat128_t(std::declval<boost::multiprecision::limb_type>())));
 112 static_assert(noexcept(rat512_t(std::declval<boost::multiprecision::limb_type>())));
 113 static_assert(noexcept(checked_rat512_t(std::declval<boost::multiprecision::limb_type>())));
 114 static_assert(noexcept(urat512_t(std::declval<boost::multiprecision::limb_type>())));
 115 static_assert(noexcept(checked_urat512_t(std::declval<boost::multiprecision::limb_type>())));
 116 //
 117 // Assign from int:
 118 //
 119 static_assert(noexcept(std::declval<boost::multiprecision::cpp_rational>() = std::declval<boost::multiprecision::signed_limb_type>()));
 120 static_assert(noexcept(std::declval<rat128_t>() = std::declval<boost::multiprecision::signed_limb_type>()));
 121 static_assert(noexcept(std::declval<checked_rat128_t>() = std::declval<boost::multiprecision::signed_limb_type>()));
 122 static_assert(noexcept(std::declval<urat128_t>() = std::declval<boost::multiprecision::signed_limb_type>()));
 123 static_assert(!noexcept(std::declval<checked_urat128_t>() = std::declval<boost::multiprecision::signed_limb_type>()));
 124 static_assert(noexcept(std::declval<rat512_t>() = std::declval<boost::multiprecision::signed_limb_type>()));
 125 static_assert(noexcept(std::declval<checked_rat512_t>() = std::declval<boost::multiprecision::signed_limb_type>()));
 126 static_assert(noexcept(std::declval<urat512_t>() = std::declval<boost::multiprecision::signed_limb_type>()));
 127 static_assert(!noexcept(std::declval<checked_urat512_t>() = std::declval<boost::multiprecision::signed_limb_type>()));
 128 //
 129 // Assign from unsigned int:
 130 //
 131 static_assert(noexcept(std::declval<boost::multiprecision::cpp_rational>() = std::declval<boost::multiprecision::limb_type>()));
 132 static_assert(noexcept(std::declval<rat128_t>() = std::declval<boost::multiprecision::limb_type>()));
 133 static_assert(noexcept(std::declval<checked_rat128_t>() = std::declval<boost::multiprecision::limb_type>()));
 134 static_assert(noexcept(std::declval<urat128_t>() = std::declval<boost::multiprecision::limb_type>()));
 135 static_assert(noexcept(std::declval<checked_urat128_t>() = std::declval<boost::multiprecision::limb_type>()));
 136 static_assert(noexcept(std::declval<rat512_t>() = std::declval<boost::multiprecision::limb_type>()));
 137 static_assert(noexcept(std::declval<checked_rat512_t>() = std::declval<boost::multiprecision::limb_type>()));
 138 static_assert(noexcept(std::declval<urat512_t>() = std::declval<boost::multiprecision::limb_type>()));
 139 static_assert(noexcept(std::declval<checked_urat512_t>() = std::declval<boost::multiprecision::limb_type>()));
 140
 141 #if defined(BOOST_LITTLE_ENDIAN)
 142 //
 143 // Construct from int:
 144 //
 145 static_assert(noexcept(boost::multiprecision::cpp_rational(std::declval<boost::multiprecision::signed_double_limb_type>())));
 146 static_assert(noexcept(rat128_t(std::declval<boost::multiprecision::signed_double_limb_type>())));
 147 static_assert(noexcept(checked_rat128_t(std::declval<boost::multiprecision::signed_double_limb_type>())));
 148 static_assert(noexcept(urat128_t(std::declval<boost::multiprecision::signed_double_limb_type>())));
 149 static_assert(!noexcept(checked_urat128_t(std::declval<boost::multiprecision::signed_double_limb_type>())));
 150 static_assert(noexcept(rat512_t(std::declval<boost::multiprecision::signed_double_limb_type>())));
 151 static_assert(noexcept(checked_rat512_t(std::declval<boost::multiprecision::signed_double_limb_type>())));
 152 static_assert(noexcept(urat512_t(std::declval<boost::multiprecision::signed_double_limb_type>())));
 153 static_assert(!noexcept(checked_urat512_t(std::declval<boost::multiprecision::signed_double_limb_type>())));
 154 //
 155 // Construct from unsigned int:
 156 //
 157 static_assert(noexcept(boost::multiprecision::cpp_rational(std::declval<boost::multiprecision::double_limb_type>())));
 158 static_assert(noexcept(rat128_t(std::declval<boost::multiprecision::double_limb_type>())));
 159 static_assert(noexcept(checked_rat128_t(std::declval<boost::multiprecision::double_limb_type>())));
 160 static_assert(noexcept(urat128_t(std::declval<boost::multiprecision::double_limb_type>())));
 161 static_assert(noexcept(checked_urat128_t(std::declval<boost::multiprecision::double_limb_type>())));
 162 static_assert(noexcept(rat512_t(std::declval<boost::multiprecision::double_limb_type>())));
 163 static_assert(noexcept(checked_rat512_t(std::declval<boost::multiprecision::double_limb_type>())));
 164 static_assert(noexcept(urat512_t(std::declval<boost::multiprecision::double_limb_type>())));
 165 static_assert(noexcept(checked_urat512_t(std::declval<boost::multiprecision::double_limb_type>())));
 166 //
 167 // Assign from int:
 168 //
 169 static_assert(noexcept(std::declval<boost::multiprecision::cpp_rational>() = std::declval<boost::multiprecision::signed_double_limb_type>()));
 170 static_assert(noexcept(std::declval<rat128_t>() = std::declval<boost::multiprecision::signed_double_limb_type>()));
 171 static_assert(noexcept(std::declval<checked_rat128_t>() = std::declval<boost::multiprecision::signed_double_limb_type>()));
 172 static_assert(noexcept(std::declval<urat128_t>() = std::declval<boost::multiprecision::signed_double_limb_type>()));
 173 static_assert(!noexcept(std::declval<checked_urat128_t>() = std::declval<boost::multiprecision::signed_double_limb_type>()));
 174 static_assert(noexcept(std::declval<rat512_t>() = std::declval<boost::multiprecision::signed_double_limb_type>()));
 175 static_assert(noexcept(std::declval<checked_rat512_t>() = std::declval<boost::multiprecision::signed_double_limb_type>()));
 176 static_assert(noexcept(std::declval<urat512_t>() = std::declval<boost::multiprecision::signed_double_limb_type>()));
 177 static_assert(!noexcept(std::declval<checked_urat512_t>() = std::declval<boost::multiprecision::signed_double_limb_type>()));
 178 //
 179 // Assign from unsigned int:
 180 //
 181 static_assert(noexcept(std::declval<boost::multiprecision::cpp_rational>() = std::declval<boost::multiprecision::double_limb_type>()));
 182 static_assert(noexcept(std::declval<rat128_t>() = std::declval<boost::multiprecision::double_limb_type>()));
 183 static_assert(noexcept(std::declval<checked_rat128_t>() = std::declval<boost::multiprecision::double_limb_type>()));
 184 static_assert(noexcept(std::declval<urat128_t>() = std::declval<boost::multiprecision::double_limb_type>()));
 185 static_assert(noexcept(std::declval<checked_urat128_t>() = std::declval<boost::multiprecision::double_limb_type>()));
 186 static_assert(noexcept(std::declval<rat512_t>() = std::declval<boost::multiprecision::double_limb_type>()));
 187 static_assert(noexcept(std::declval<checked_rat512_t>() = std::declval<boost::multiprecision::double_limb_type>()));
 188 static_assert(noexcept(std::declval<urat512_t>() = std::declval<boost::multiprecision::double_limb_type>()));
 189 static_assert(noexcept(std::declval<checked_urat512_t>() = std::declval<boost::multiprecision::double_limb_type>()));
 190
 191 #endif
 192 #endif // little endian