2020-09-04 13:33:02 +00:00
|
|
|
/// Original is here https://github.com/cerevra/int
|
|
|
|
#pragma once
|
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
#include "throwError.h"
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
namespace wide
|
|
|
|
{
|
|
|
|
|
|
|
|
template <typename T>
|
|
|
|
struct IsWideInteger
|
|
|
|
{
|
|
|
|
static const constexpr bool value = false;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
struct IsWideInteger<wide::integer<Bits, Signed>>
|
|
|
|
{
|
|
|
|
static const constexpr bool value = true;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <typename T>
|
|
|
|
static constexpr bool ArithmeticConcept() noexcept
|
|
|
|
{
|
|
|
|
return std::is_arithmetic_v<T> || IsWideInteger<T>::value;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
|
|
|
static constexpr bool IntegralConcept() noexcept
|
|
|
|
{
|
|
|
|
return std::is_integral_v<T> || IsWideInteger<T>::value;
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
2020-09-04 13:33:02 +00:00
|
|
|
|
|
|
|
namespace std
|
|
|
|
{
|
|
|
|
|
|
|
|
// numeric limits
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
class numeric_limits<wide::integer<Bits, Signed>>
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
public:
|
|
|
|
static constexpr bool is_specialized = true;
|
|
|
|
static constexpr bool is_signed = is_same<Signed, signed>::value;
|
|
|
|
static constexpr bool is_integer = true;
|
|
|
|
static constexpr bool is_exact = true;
|
|
|
|
static constexpr bool has_infinity = false;
|
|
|
|
static constexpr bool has_quiet_NaN = false;
|
|
|
|
static constexpr bool has_signaling_NaN = true;
|
|
|
|
static constexpr std::float_denorm_style has_denorm = std::denorm_absent;
|
|
|
|
static constexpr bool has_denorm_loss = false;
|
|
|
|
static constexpr std::float_round_style round_style = std::round_toward_zero;
|
|
|
|
static constexpr bool is_iec559 = false;
|
|
|
|
static constexpr bool is_bounded = true;
|
|
|
|
static constexpr bool is_modulo = true;
|
|
|
|
static constexpr int digits = Bits - (is_same<Signed, signed>::value ? 1 : 0);
|
|
|
|
static constexpr int digits10 = digits * 0.30103 /*std::log10(2)*/;
|
|
|
|
static constexpr int max_digits10 = 0;
|
|
|
|
static constexpr int radix = 2;
|
|
|
|
static constexpr int min_exponent = 0;
|
|
|
|
static constexpr int min_exponent10 = 0;
|
|
|
|
static constexpr int max_exponent = 0;
|
|
|
|
static constexpr int max_exponent10 = 0;
|
|
|
|
static constexpr bool traps = true;
|
|
|
|
static constexpr bool tinyness_before = false;
|
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
static constexpr wide::integer<Bits, Signed> min() noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if (is_same<Signed, signed>::value)
|
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
using T = wide::integer<Bits, signed>;
|
2020-09-04 13:33:02 +00:00
|
|
|
T res{};
|
2020-09-18 09:51:44 +00:00
|
|
|
res.items[T::_impl::big(0)] = std::numeric_limits<typename wide::integer<Bits, Signed>::signed_base_type>::min();
|
2020-09-04 13:33:02 +00:00
|
|
|
return res;
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
static constexpr wide::integer<Bits, Signed> max() noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
using T = wide::integer<Bits, Signed>;
|
2020-09-04 13:33:02 +00:00
|
|
|
T res{};
|
2020-09-18 09:51:44 +00:00
|
|
|
res.items[T::_impl::big(0)] = is_same<Signed, signed>::value
|
2020-09-14 11:56:43 +00:00
|
|
|
? std::numeric_limits<typename wide::integer<Bits, Signed>::signed_base_type>::max()
|
|
|
|
: std::numeric_limits<typename wide::integer<Bits, Signed>::base_type>::max();
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 1; i < wide::integer<Bits, Signed>::_impl::item_count; ++i)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
res.items[T::_impl::big(i)] = std::numeric_limits<typename wide::integer<Bits, Signed>::base_type>::max();
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
static constexpr wide::integer<Bits, Signed> lowest() noexcept { return min(); }
|
|
|
|
static constexpr wide::integer<Bits, Signed> epsilon() noexcept { return 0; }
|
|
|
|
static constexpr wide::integer<Bits, Signed> round_error() noexcept { return 0; }
|
|
|
|
static constexpr wide::integer<Bits, Signed> infinity() noexcept { return 0; }
|
|
|
|
static constexpr wide::integer<Bits, Signed> quiet_NaN() noexcept { return 0; }
|
|
|
|
static constexpr wide::integer<Bits, Signed> signaling_NaN() noexcept { return 0; }
|
|
|
|
static constexpr wide::integer<Bits, Signed> denorm_min() noexcept { return 0; }
|
2020-09-04 13:33:02 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
// type traits
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
struct common_type<wide::integer<Bits, Signed>, wide::integer<Bits2, Signed2>>
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
using type = std::conditional_t < Bits == Bits2,
|
2020-09-14 11:56:43 +00:00
|
|
|
wide::integer<
|
2020-09-04 13:33:02 +00:00
|
|
|
Bits,
|
2020-09-14 11:56:43 +00:00
|
|
|
std::conditional_t<(std::is_same_v<Signed, Signed2> && std::is_same_v<Signed2, signed>), signed, unsigned>>,
|
|
|
|
std::conditional_t<Bits2<Bits, wide::integer<Bits, Signed>, wide::integer<Bits2, Signed2>>>;
|
2020-09-04 13:33:02 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, typename Arithmetic>
|
2020-09-14 11:56:43 +00:00
|
|
|
struct common_type<wide::integer<Bits, Signed>, Arithmetic>
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
static_assert(wide::ArithmeticConcept<Arithmetic>());
|
2020-09-04 13:33:02 +00:00
|
|
|
|
|
|
|
using type = std::conditional_t<
|
2020-09-14 11:56:43 +00:00
|
|
|
std::is_floating_point_v<Arithmetic>,
|
2020-09-04 13:33:02 +00:00
|
|
|
Arithmetic,
|
|
|
|
std::conditional_t<
|
|
|
|
sizeof(Arithmetic) < Bits * sizeof(long),
|
2020-09-14 11:56:43 +00:00
|
|
|
wide::integer<Bits, Signed>,
|
2020-09-04 13:33:02 +00:00
|
|
|
std::conditional_t<
|
|
|
|
Bits * sizeof(long) < sizeof(Arithmetic),
|
|
|
|
Arithmetic,
|
|
|
|
std::conditional_t<
|
2020-09-14 11:56:43 +00:00
|
|
|
Bits * sizeof(long) == sizeof(Arithmetic) && (std::is_same_v<Signed, signed> || std::is_signed_v<Arithmetic>),
|
2020-09-04 13:33:02 +00:00
|
|
|
Arithmetic,
|
2020-09-14 11:56:43 +00:00
|
|
|
wide::integer<Bits, Signed>>>>>;
|
2020-09-04 13:33:02 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
template <typename Arithmetic, size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
struct common_type<Arithmetic, wide::integer<Bits, Signed>> : common_type<wide::integer<Bits, Signed>, Arithmetic>
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
};
|
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
namespace wide
|
|
|
|
{
|
|
|
|
|
2020-09-04 13:33:02 +00:00
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
struct integer<Bits, Signed>::_impl
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
static constexpr size_t _Bits = Bits;
|
2020-09-18 09:51:44 +00:00
|
|
|
static constexpr const unsigned byte_count = Bits / 8;
|
|
|
|
static constexpr const unsigned item_count = byte_count / sizeof(base_type);
|
|
|
|
static constexpr const unsigned base_bits = sizeof(base_type) * 8;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(Bits % base_bits == 0);
|
|
|
|
|
|
|
|
/// Simple iteration in both directions
|
2020-09-04 13:33:02 +00:00
|
|
|
static constexpr unsigned little(unsigned idx) { return idx; }
|
2020-09-18 09:51:44 +00:00
|
|
|
static constexpr unsigned big(unsigned idx) { return item_count - 1 - idx; }
|
2020-09-04 13:33:02 +00:00
|
|
|
static constexpr unsigned any(unsigned idx) { return idx; }
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
template <class T>
|
|
|
|
constexpr static bool is_negative(const T & n) noexcept
|
|
|
|
{
|
|
|
|
if constexpr (std::is_signed_v<T>)
|
|
|
|
return n < 0;
|
|
|
|
else
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2020-09-04 13:33:02 +00:00
|
|
|
template <size_t B, class T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static bool is_negative(const integer<B, T> & n) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (std::is_same_v<T, signed>)
|
2020-09-18 09:51:44 +00:00
|
|
|
return static_cast<signed_base_type>(n.items[big(0)]) < 0;
|
2020-09-04 13:33:02 +00:00
|
|
|
else
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
template <typename T>
|
|
|
|
constexpr static auto make_positive(const T & n) noexcept
|
|
|
|
{
|
|
|
|
if constexpr (std::is_signed_v<T>)
|
|
|
|
return n < 0 ? -n : n;
|
|
|
|
else
|
|
|
|
return n;
|
|
|
|
}
|
|
|
|
|
2020-09-04 13:33:02 +00:00
|
|
|
template <size_t B, class S>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static integer<B, S> make_positive(const integer<B, S> & n) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
return is_negative(n) ? operator_unary_minus(n) : n;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
|
|
|
constexpr static auto to_Integral(T f) noexcept
|
|
|
|
{
|
|
|
|
if constexpr (std::is_same_v<T, __int128>)
|
|
|
|
return f;
|
|
|
|
else if constexpr (std::is_signed_v<T>)
|
|
|
|
return static_cast<int64_t>(f);
|
|
|
|
else
|
|
|
|
return static_cast<uint64_t>(f);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename Integral>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static void wide_integer_from_bultin(integer<Bits, Signed> & self, Integral rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
self.items[0] = _impl::to_Integral(rhs);
|
|
|
|
if constexpr (std::is_same_v<Integral, __int128>)
|
|
|
|
self.items[1] = rhs >> base_bits;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
constexpr const unsigned start = (sizeof(Integral) == 16) ? 2 : 1;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
if constexpr (std::is_signed_v<Integral>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if (rhs < 0)
|
|
|
|
{
|
|
|
|
for (unsigned i = start; i < item_count; ++i)
|
|
|
|
self.items[i] = -1;
|
|
|
|
return;
|
|
|
|
}
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
2020-09-18 09:51:44 +00:00
|
|
|
|
|
|
|
for (unsigned i = start; i < item_count; ++i)
|
|
|
|
self.items[i] = 0;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static void wide_integer_from_bultin(integer<Bits, Signed> & self, double rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if ((rhs > 0 && rhs < std::numeric_limits<uint64_t>::max()) || (rhs < 0 && rhs > std::numeric_limits<int64_t>::min()))
|
|
|
|
{
|
|
|
|
self = to_Integral(rhs);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
long double r = rhs;
|
|
|
|
if (r < 0)
|
|
|
|
r = -r;
|
|
|
|
|
|
|
|
size_t count = r / std::numeric_limits<uint64_t>::max();
|
|
|
|
self = count;
|
|
|
|
self *= std::numeric_limits<uint64_t>::max();
|
|
|
|
long double to_diff = count;
|
|
|
|
to_diff *= std::numeric_limits<uint64_t>::max();
|
|
|
|
|
|
|
|
self += to_Integral(r - to_diff);
|
|
|
|
|
|
|
|
if (rhs < 0)
|
|
|
|
self = -self;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits2, typename Signed2>
|
|
|
|
constexpr static void
|
2020-09-14 11:56:43 +00:00
|
|
|
wide_integer_from_wide_integer(integer<Bits, Signed> & self, const integer<Bits2, Signed2> & rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
constexpr const unsigned min_bits = (Bits < Bits2) ? Bits : Bits2;
|
|
|
|
constexpr const unsigned to_copy = min_bits / base_bits;
|
|
|
|
|
|
|
|
for (unsigned i = 0; i < to_copy; ++i)
|
|
|
|
self.items[i] = rhs.items[i];
|
|
|
|
|
|
|
|
if constexpr (Bits > Bits2)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if constexpr (std::is_signed_v<Signed2>)
|
|
|
|
{
|
|
|
|
if (rhs < 0)
|
|
|
|
{
|
|
|
|
for (unsigned i = to_copy; i < item_count; ++i)
|
|
|
|
self.items[i] = -1;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
for (unsigned i = to_copy; i < item_count; ++i)
|
|
|
|
self.items[i] = 0;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
|
|
|
constexpr static bool should_keep_size()
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
return sizeof(T) <= byte_count;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
constexpr static integer<Bits, Signed> shift_left(const integer<Bits, Signed> & rhs, unsigned n) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
integer<Bits, Signed> lhs;
|
|
|
|
unsigned items_shift = n / base_bits;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
if (unsigned bit_shift = n % base_bits)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
unsigned overflow_shift = base_bits - bit_shift;
|
|
|
|
|
|
|
|
lhs.items[big(0)] = rhs.items[big(items_shift)] << bit_shift;
|
|
|
|
for (unsigned i = 1; i < item_count - items_shift; ++i)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
lhs.items[big(i - 1)] |= rhs.items[big(items_shift + i)] >> overflow_shift;
|
|
|
|
lhs.items[big(i)] = rhs.items[big(items_shift + i)] << bit_shift;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
2020-09-18 09:51:44 +00:00
|
|
|
else
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < item_count - items_shift; ++i)
|
|
|
|
lhs.items[big(i)] = rhs.items[big(items_shift + i)];
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < items_shift; ++i)
|
|
|
|
lhs.items[little(i)] = 0;
|
|
|
|
return lhs;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
constexpr static integer<Bits, Signed> shift_right(const integer<Bits, Signed> & rhs, unsigned n) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
integer<Bits, Signed> lhs;
|
|
|
|
unsigned items_shift = n / base_bits;
|
|
|
|
unsigned bit_shift = n % base_bits;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
|
|
|
if (bit_shift)
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
unsigned overflow_shift = base_bits - bit_shift;
|
|
|
|
|
|
|
|
lhs.items[little(0)] = rhs.items[little(items_shift)] >> bit_shift;
|
|
|
|
for (unsigned i = 1; i < item_count - items_shift; ++i)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
lhs.items[little(i - 1)] |= rhs.items[little(items_shift + i)] << overflow_shift;
|
|
|
|
lhs.items[little(i)] = rhs.items[little(items_shift + i)] >> bit_shift;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
2020-09-18 09:51:44 +00:00
|
|
|
else
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < item_count - items_shift; ++i)
|
|
|
|
lhs.items[little(i)] = rhs.items[little(items_shift + i)];
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
if (is_negative(rhs))
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if (bit_shift)
|
|
|
|
lhs.items[big(items_shift)] |= std::numeric_limits<base_type>::max() << (base_bits - bit_shift);
|
|
|
|
|
|
|
|
for (unsigned i = item_count - items_shift; i < items_shift; ++i)
|
|
|
|
lhs.items[little(i)] = std::numeric_limits<base_type>::max();
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
2020-09-18 09:51:44 +00:00
|
|
|
else
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = item_count - items_shift; i < items_shift; ++i)
|
|
|
|
lhs.items[little(i)] = 0;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
2020-09-18 09:51:44 +00:00
|
|
|
|
2020-09-04 13:33:02 +00:00
|
|
|
return lhs;
|
|
|
|
}
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
private:
|
2020-09-04 13:33:02 +00:00
|
|
|
template <typename T>
|
2020-09-18 09:51:44 +00:00
|
|
|
constexpr static base_type get_item(const T & x, unsigned number)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if constexpr (IsWideInteger<T>::value)
|
|
|
|
{
|
|
|
|
if (number < T::_impl::item_count)
|
|
|
|
return x.items[number];
|
|
|
|
return 0;
|
|
|
|
}
|
2020-09-04 13:33:02 +00:00
|
|
|
else
|
2020-09-18 09:51:44 +00:00
|
|
|
{
|
|
|
|
if (number * sizeof(base_type) < sizeof(T))
|
|
|
|
return x >> (number * base_bits); // & std::numeric_limits<base_type>::max()
|
|
|
|
return 0;
|
|
|
|
}
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static integer<Bits, Signed>
|
2020-09-18 09:51:44 +00:00
|
|
|
op_minus(const integer<Bits, Signed> & lhs, T rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
integer<Bits, Signed> res;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
|
|
|
bool is_underflow = false;
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < item_count; ++i)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
base_type lhs_item = lhs.items[little(i)];
|
|
|
|
base_type rhs_item = get_item(rhs, i);
|
2020-09-04 13:33:02 +00:00
|
|
|
|
|
|
|
if (is_underflow)
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
is_underflow = (lhs_item == 0);
|
|
|
|
--lhs_item;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
if (lhs_item < rhs_item)
|
2020-09-04 13:33:02 +00:00
|
|
|
is_underflow = true;
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
res.items[little(i)] = lhs_item - rhs_item;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static integer<Bits, Signed>
|
2020-09-18 09:51:44 +00:00
|
|
|
op_plus(const integer<Bits, Signed> & lhs, T rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
integer<Bits, Signed> res;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
|
|
|
bool is_overflow = false;
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < item_count; ++i)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
base_type lhs_item = lhs.items[little(i)];
|
|
|
|
base_type rhs_item = get_item(rhs, i);
|
2020-09-04 13:33:02 +00:00
|
|
|
|
|
|
|
if (is_overflow)
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
++lhs_item;
|
|
|
|
is_overflow = (lhs_item == 0);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
base_type & res_item = res.items[little(i)];
|
|
|
|
res_item = lhs_item + rhs_item;
|
|
|
|
|
|
|
|
if (res_item < rhs_item)
|
2020-09-04 13:33:02 +00:00
|
|
|
is_overflow = true;
|
|
|
|
}
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
|
|
|
constexpr static auto op_multiply(const integer<Bits, Signed> & lhs, const T & rhs)
|
|
|
|
{
|
|
|
|
integer<Bits, Signed> res{};
|
|
|
|
#if 1
|
|
|
|
integer<Bits, Signed> lhs2 = op_plus(lhs, shift_left(lhs, 1));
|
|
|
|
integer<Bits, Signed> lhs3 = op_plus(lhs2, shift_left(lhs, 2));
|
|
|
|
#endif
|
|
|
|
for (unsigned i = 0; i < item_count; ++i)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
base_type rhs_item = get_item(rhs, i);
|
|
|
|
unsigned pos = i * base_bits;
|
|
|
|
|
|
|
|
while (rhs_item)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
#if 1 /// optimization
|
|
|
|
if ((rhs_item & 0x7) == 0x7)
|
|
|
|
{
|
|
|
|
res = op_plus(res, shift_left(lhs3, pos));
|
|
|
|
rhs_item >>= 3;
|
|
|
|
pos += 3;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ((rhs_item & 0x3) == 0x3)
|
|
|
|
{
|
|
|
|
res = op_plus(res, shift_left(lhs2, pos));
|
|
|
|
rhs_item >>= 2;
|
|
|
|
pos += 2;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
if (rhs_item & 1)
|
|
|
|
res = op_plus(res, shift_left(lhs, pos));
|
|
|
|
|
|
|
|
rhs_item >>= 1;
|
|
|
|
++pos;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
|
|
|
public:
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static integer<Bits, Signed> operator_unary_tilda(const integer<Bits, Signed> & lhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
integer<Bits, Signed> res;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < item_count; ++i)
|
|
|
|
res.items[any(i)] = ~lhs.items[any(i)];
|
2020-09-04 13:33:02 +00:00
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static integer<Bits, Signed>
|
|
|
|
operator_unary_minus(const integer<Bits, Signed> & lhs) noexcept(std::is_same_v<Signed, unsigned>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
return op_plus(operator_unary_tilda(lhs), 1);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static auto operator_plus(const integer<Bits, Signed> & lhs, const T & rhs) noexcept(std::is_same_v<Signed, unsigned>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (should_keep_size<T>())
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if (is_negative(rhs))
|
|
|
|
return op_minus(lhs, -rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
else
|
2020-09-18 09:51:44 +00:00
|
|
|
return op_plus(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(IsWideInteger<T>::value);
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<T::_impl::_Bits, Signed>>::_impl::operator_plus(
|
|
|
|
integer<T::_impl::_Bits, Signed>(lhs), rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static auto operator_minus(const integer<Bits, Signed> & lhs, const T & rhs) noexcept(std::is_same_v<Signed, unsigned>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (should_keep_size<T>())
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if (is_negative(rhs))
|
|
|
|
return op_plus(lhs, -rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
else
|
2020-09-18 09:51:44 +00:00
|
|
|
return op_minus(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(IsWideInteger<T>::value);
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<T::_impl::_Bits, Signed>>::_impl::operator_minus(
|
|
|
|
integer<T::_impl::_Bits, Signed>(lhs), rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static auto operator_star(const integer<Bits, Signed> & lhs, const T & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (should_keep_size<T>())
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
integer<Bits, Signed> res;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
if constexpr (std::is_signed_v<Signed>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
res = op_multiply((is_negative(lhs) ? make_positive(lhs) : lhs),
|
|
|
|
(is_negative(rhs) ? make_positive(rhs) : rhs));
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
res = op_multiply(lhs, (is_negative(rhs) ? make_positive(rhs) : rhs));
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
if (std::is_same_v<Signed, signed> && is_negative(lhs) != is_negative(rhs))
|
2020-09-04 13:33:02 +00:00
|
|
|
res = operator_unary_minus(res);
|
|
|
|
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(IsWideInteger<T>::value);
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, T>::_impl::operator_star(T(lhs), rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static bool operator_more(const integer<Bits, Signed> & lhs, const T & rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (should_keep_size<T>())
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if (std::numeric_limits<T>::is_signed && (is_negative(lhs) != is_negative(rhs)))
|
|
|
|
return is_negative(rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < item_count; ++i)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
base_type rhs_item = get_item(rhs, big(i));
|
|
|
|
|
|
|
|
if (lhs.items[big(i)] != rhs_item)
|
|
|
|
return lhs.items[big(i)] > rhs_item;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(IsWideInteger<T>::value);
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, T>::_impl::operator_more(T(lhs), rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static bool operator_less(const integer<Bits, Signed> & lhs, const T & rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (should_keep_size<T>())
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if (std::numeric_limits<T>::is_signed && (is_negative(lhs) != is_negative(rhs)))
|
2020-09-04 13:33:02 +00:00
|
|
|
return is_negative(lhs);
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < item_count; ++i)
|
|
|
|
{
|
|
|
|
base_type rhs_item = get_item(rhs, big(i));
|
|
|
|
|
|
|
|
if (lhs.items[big(i)] != rhs_item)
|
|
|
|
return lhs.items[big(i)] < rhs_item;
|
|
|
|
}
|
2020-09-04 13:33:02 +00:00
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(IsWideInteger<T>::value);
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, T>::_impl::operator_less(T(lhs), rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static bool operator_eq(const integer<Bits, Signed> & lhs, const T & rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (should_keep_size<T>())
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < item_count; ++i)
|
|
|
|
{
|
|
|
|
base_type rhs_item = get_item(rhs, any(i));
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
if (lhs.items[any(i)] != rhs_item)
|
2020-09-04 13:33:02 +00:00
|
|
|
return false;
|
2020-09-18 09:51:44 +00:00
|
|
|
}
|
2020-09-04 13:33:02 +00:00
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(IsWideInteger<T>::value);
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, T>::_impl::operator_eq(T(lhs), rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static auto operator_pipe(const integer<Bits, Signed> & lhs, const T & rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (should_keep_size<T>())
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
integer<Bits, Signed> res;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < item_count; ++i)
|
|
|
|
res.items[little(i)] = lhs.items[little(i)] | get_item(rhs, i);
|
2020-09-04 13:33:02 +00:00
|
|
|
return res;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(IsWideInteger<T>::value);
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, T>::_impl::operator_pipe(T(lhs), rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static auto operator_amp(const integer<Bits, Signed> & lhs, const T & rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (should_keep_size<T>())
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
integer<Bits, Signed> res;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < item_count; ++i)
|
|
|
|
res.items[little(i)] = lhs.items[little(i)] & get_item(rhs, i);
|
2020-09-04 13:33:02 +00:00
|
|
|
return res;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(IsWideInteger<T>::value);
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, T>::_impl::operator_amp(T(lhs), rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
template <typename T>
|
2020-09-18 09:51:44 +00:00
|
|
|
constexpr static bool is_zero(const T & x)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
bool is_zero = true;
|
2020-09-18 09:51:44 +00:00
|
|
|
for (auto item : x.items)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if (item != 0)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
is_zero = false;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
2020-09-18 09:51:44 +00:00
|
|
|
return is_zero;
|
|
|
|
}
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
/// returns quotient as result and remainder in numerator.
|
|
|
|
template <typename T>
|
|
|
|
constexpr static T divide(T & numerator, T && denominator)
|
|
|
|
{
|
|
|
|
if (is_zero(denominator))
|
2020-09-14 11:56:43 +00:00
|
|
|
throwError("divide by zero");
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
T & n = numerator;
|
|
|
|
T & d = denominator;
|
2020-09-04 13:33:02 +00:00
|
|
|
T x = 1;
|
2020-09-18 09:51:44 +00:00
|
|
|
T quotient = 0;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
while (!operator_more(d, n) && operator_eq(operator_amp(shift_right(d, base_bits * item_count - 1), 1), 0))
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
x = shift_left(x, 1);
|
|
|
|
d = shift_left(d, 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
while (!operator_eq(x, 0))
|
|
|
|
{
|
|
|
|
if (!operator_more(d, n))
|
|
|
|
{
|
|
|
|
n = operator_minus(n, d);
|
2020-09-18 09:51:44 +00:00
|
|
|
quotient = operator_pipe(quotient, x);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
x = shift_right(x, 1);
|
|
|
|
d = shift_right(d, 1);
|
|
|
|
}
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
return quotient;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
public:
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static auto operator_slash(const integer<Bits, Signed> & lhs, const T & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (should_keep_size<T>())
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
integer<Bits, Signed> numerator = make_positive(lhs);
|
|
|
|
integer<Bits, Signed> quotient = divide(numerator, make_positive(integer<Bits, Signed>(rhs)));
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
if (std::is_same_v<Signed, signed> && is_negative(rhs) != is_negative(lhs))
|
2020-09-04 13:33:02 +00:00
|
|
|
quotient = operator_unary_minus(quotient);
|
|
|
|
return quotient;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(IsWideInteger<T>::value);
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<T::_impl::_Bits, Signed>>::operator_slash(T(lhs), rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static auto operator_percent(const integer<Bits, Signed> & lhs, const T & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (should_keep_size<T>())
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
integer<Bits, Signed> remainder = make_positive(lhs);
|
|
|
|
divide(remainder, make_positive(integer<Bits, Signed>(rhs)));
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
if (std::is_same_v<Signed, signed> && is_negative(lhs))
|
2020-09-04 13:33:02 +00:00
|
|
|
remainder = operator_unary_minus(remainder);
|
|
|
|
return remainder;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(IsWideInteger<T>::value);
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<T::_impl::_Bits, Signed>>::operator_percent(T(lhs), rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// ^
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static auto operator_circumflex(const integer<Bits, Signed> & lhs, const T & rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (should_keep_size<T>())
|
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
integer<Bits, Signed> t(rhs);
|
|
|
|
integer<Bits, Signed> res = lhs;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < item_count; ++i)
|
|
|
|
res.items[any(i)] ^= t.items[any(i)];
|
2020-09-04 13:33:02 +00:00
|
|
|
return res;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(IsWideInteger<T>::value);
|
2020-09-04 13:33:02 +00:00
|
|
|
return T::operator_circumflex(T(lhs), rhs);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr static integer<Bits, Signed> from_str(const char * c)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
integer<Bits, Signed> res = 0;
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
bool is_neg = std::is_same_v<Signed, signed> && *c == '-';
|
2020-09-04 13:33:02 +00:00
|
|
|
if (is_neg)
|
|
|
|
++c;
|
|
|
|
|
|
|
|
if (*c == '0' && (*(c + 1) == 'x' || *(c + 1) == 'X'))
|
|
|
|
{ // hex
|
|
|
|
++c;
|
|
|
|
++c;
|
|
|
|
while (*c)
|
|
|
|
{
|
|
|
|
if (*c >= '0' && *c <= '9')
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
res = op_multiply(res, 16U);
|
|
|
|
res = op_plus(res, *c - '0');
|
2020-09-04 13:33:02 +00:00
|
|
|
++c;
|
|
|
|
}
|
|
|
|
else if (*c >= 'a' && *c <= 'f')
|
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
res = op_multiply(res, 16U);
|
|
|
|
res = op_plus(res, *c - 'a' + 10U);
|
2020-09-04 13:33:02 +00:00
|
|
|
++c;
|
|
|
|
}
|
|
|
|
else if (*c >= 'A' && *c <= 'F')
|
|
|
|
{ // tolower must be used, but it is not constexpr
|
2020-09-18 09:51:44 +00:00
|
|
|
res = op_multiply(res, 16U);
|
|
|
|
res = op_plus(res, *c - 'A' + 10U);
|
2020-09-04 13:33:02 +00:00
|
|
|
++c;
|
|
|
|
}
|
|
|
|
else
|
2020-09-14 11:56:43 +00:00
|
|
|
throwError("invalid char from");
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{ // dec
|
|
|
|
while (*c)
|
|
|
|
{
|
|
|
|
if (*c < '0' || *c > '9')
|
2020-09-14 11:56:43 +00:00
|
|
|
throwError("invalid char from");
|
2020-09-04 13:33:02 +00:00
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
res = op_multiply(res, 10U);
|
|
|
|
res = op_plus(res, *c - '0');
|
2020-09-04 13:33:02 +00:00
|
|
|
++c;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (is_neg)
|
|
|
|
res = operator_unary_minus(res);
|
|
|
|
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
// Members
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed>::integer(T rhs) noexcept
|
2020-09-18 09:51:44 +00:00
|
|
|
: items{}
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if constexpr (IsWideInteger<T>::value)
|
|
|
|
_impl::wide_integer_from_wide_integer(*this, rhs);
|
|
|
|
else
|
|
|
|
_impl::wide_integer_from_bultin(*this, rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed>::integer(std::initializer_list<T> il) noexcept
|
2020-09-18 09:51:44 +00:00
|
|
|
: items{}
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if (il.size() == 1)
|
|
|
|
{
|
|
|
|
if constexpr (IsWideInteger<T>::value)
|
|
|
|
_impl::wide_integer_from_wide_integer(*this, *il.begin());
|
|
|
|
else
|
|
|
|
_impl::wide_integer_from_bultin(*this, *il.begin());
|
|
|
|
}
|
|
|
|
else
|
|
|
|
_impl::wide_integer_from_bultin(*this, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator=(const integer<Bits2, Signed2> & rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
_impl::wide_integer_from_wide_integer(*this, rhs);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator=(T rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
_impl::wide_integer_from_bultin(*this, rhs);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator*=(const T & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
*this = *this * rhs;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator/=(const T & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
*this = *this / rhs;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator+=(const T & rhs) noexcept(std::is_same_v<Signed, unsigned>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
*this = *this + rhs;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator-=(const T & rhs) noexcept(std::is_same_v<Signed, unsigned>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
*this = *this - rhs;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator%=(const T & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
*this = *this % rhs;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator&=(const T & rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
*this = *this & rhs;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator|=(const T & rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
*this = *this | rhs;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <typename T>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator^=(const T & rhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
*this = *this ^ rhs;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator<<=(int n) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if (static_cast<size_t>(n) >= Bits)
|
|
|
|
*this = 0;
|
|
|
|
else if (n > 0)
|
|
|
|
*this = _impl::shift_left(*this, n);
|
2020-09-04 13:33:02 +00:00
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator>>=(int n) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if (static_cast<size_t>(n) >= Bits)
|
|
|
|
{
|
|
|
|
if (is_negative(*this))
|
|
|
|
*this = -1;
|
|
|
|
else
|
|
|
|
*this = 0;
|
|
|
|
}
|
|
|
|
else if (n > 0)
|
|
|
|
*this = _impl::shift_right(*this, n);
|
2020-09-04 13:33:02 +00:00
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator++() noexcept(std::is_same_v<Signed, unsigned>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
*this = _impl::operator_plus(*this, 1);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> integer<Bits, Signed>::operator++(int) noexcept(std::is_same_v<Signed, unsigned>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
auto tmp = *this;
|
|
|
|
*this = _impl::operator_plus(*this, 1);
|
|
|
|
return tmp;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> & integer<Bits, Signed>::operator--() noexcept(std::is_same_v<Signed, unsigned>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
*this = _impl::operator_minus(*this, 1);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> integer<Bits, Signed>::operator--(int) noexcept(std::is_same_v<Signed, unsigned>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
auto tmp = *this;
|
|
|
|
*this = _impl::operator_minus(*this, 1);
|
|
|
|
return tmp;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed>::operator bool() const noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
return !_impl::operator_eq(*this, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
|
|
|
template <class T, class>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed>::operator T() const noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if constexpr (std::is_same_v<T, __int128>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
static_assert(Bits >= 128);
|
|
|
|
return (__int128(items[1]) << 64) | items[0];
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
static_assert(std::numeric_limits<T>::is_integer);
|
|
|
|
return items[0];
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed>::operator long double() const noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
if (_impl::operator_eq(*this, 0))
|
|
|
|
return 0;
|
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
integer<Bits, Signed> tmp = *this;
|
2020-09-04 13:33:02 +00:00
|
|
|
if (_impl::is_negative(*this))
|
|
|
|
tmp = -tmp;
|
|
|
|
|
|
|
|
long double res = 0;
|
2020-09-18 09:51:44 +00:00
|
|
|
for (unsigned i = 0; i < _impl::item_count; ++i)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
long double t = res;
|
|
|
|
res *= std::numeric_limits<base_type>::max();
|
|
|
|
res += t;
|
2020-09-18 09:51:44 +00:00
|
|
|
res += tmp.items[_impl::big(i)];
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (_impl::is_negative(*this))
|
|
|
|
res = -res;
|
|
|
|
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed>::operator double() const noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
return static_cast<long double>(*this);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed>::operator float() const noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
return static_cast<long double>(*this);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Unary operators
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> operator~(const integer<Bits, Signed> & lhs) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return integer<Bits, Signed>::_impl::operator_unary_tilda(lhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> operator-(const integer<Bits, Signed> & lhs) noexcept(std::is_same_v<Signed, unsigned>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return integer<Bits, Signed>::_impl::operator_unary_minus(lhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> operator+(const integer<Bits, Signed> & lhs) noexcept(std::is_same_v<Signed, unsigned>)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
return lhs;
|
|
|
|
}
|
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
#define CT(x) \
|
|
|
|
std::common_type_t<std::decay_t<decltype(rhs)>, std::decay_t<decltype(lhs)>> { x }
|
|
|
|
|
2020-09-04 13:33:02 +00:00
|
|
|
// Binary operators
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>> constexpr
|
|
|
|
operator*(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_star(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
template <typename Arithmetic, typename Arithmetic2, class>
|
|
|
|
std::common_type_t<Arithmetic, Arithmetic2> constexpr operator*(const Arithmetic & lhs, const Arithmetic2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) * CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>> constexpr
|
|
|
|
operator/(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_slash(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Arithmetic, typename Arithmetic2, class>
|
|
|
|
std::common_type_t<Arithmetic, Arithmetic2> constexpr operator/(const Arithmetic & lhs, const Arithmetic2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) / CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>> constexpr
|
|
|
|
operator+(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_plus(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Arithmetic, typename Arithmetic2, class>
|
|
|
|
std::common_type_t<Arithmetic, Arithmetic2> constexpr operator+(const Arithmetic & lhs, const Arithmetic2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) + CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>> constexpr
|
|
|
|
operator-(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_minus(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Arithmetic, typename Arithmetic2, class>
|
|
|
|
std::common_type_t<Arithmetic, Arithmetic2> constexpr operator-(const Arithmetic & lhs, const Arithmetic2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) - CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>> constexpr
|
|
|
|
operator%(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_percent(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Integral, typename Integral2, class>
|
|
|
|
std::common_type_t<Integral, Integral2> constexpr operator%(const Integral & lhs, const Integral2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) % CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>> constexpr
|
|
|
|
operator&(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_amp(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Integral, typename Integral2, class>
|
|
|
|
std::common_type_t<Integral, Integral2> constexpr operator&(const Integral & lhs, const Integral2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) & CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>> constexpr
|
|
|
|
operator|(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_pipe(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Integral, typename Integral2, class>
|
|
|
|
std::common_type_t<Integral, Integral2> constexpr operator|(const Integral & lhs, const Integral2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) | CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>> constexpr
|
|
|
|
operator^(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_circumflex(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Integral, typename Integral2, class>
|
|
|
|
std::common_type_t<Integral, Integral2> constexpr operator^(const Integral & lhs, const Integral2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) ^ CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> operator<<(const integer<Bits, Signed> & lhs, int n) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if (static_cast<size_t>(n) >= Bits)
|
|
|
|
return 0;
|
|
|
|
if (n <= 0)
|
|
|
|
return lhs;
|
2020-09-14 11:56:43 +00:00
|
|
|
return integer<Bits, Signed>::_impl::shift_left(lhs, n);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr integer<Bits, Signed> operator>>(const integer<Bits, Signed> & lhs, int n) noexcept
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-18 09:51:44 +00:00
|
|
|
if (static_cast<size_t>(n) >= Bits)
|
|
|
|
return 0;
|
|
|
|
if (n <= 0)
|
|
|
|
return lhs;
|
2020-09-14 11:56:43 +00:00
|
|
|
return integer<Bits, Signed>::_impl::shift_right(lhs, n);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr bool operator<(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_less(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Arithmetic, typename Arithmetic2, class>
|
|
|
|
constexpr bool operator<(const Arithmetic & lhs, const Arithmetic2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) < CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr bool operator>(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_more(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Arithmetic, typename Arithmetic2, class>
|
|
|
|
constexpr bool operator>(const Arithmetic & lhs, const Arithmetic2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) > CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr bool operator<=(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_less(lhs, rhs)
|
|
|
|
|| std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_eq(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Arithmetic, typename Arithmetic2, class>
|
|
|
|
constexpr bool operator<=(const Arithmetic & lhs, const Arithmetic2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) <= CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr bool operator>=(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_more(lhs, rhs)
|
|
|
|
|| std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_eq(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Arithmetic, typename Arithmetic2, class>
|
|
|
|
constexpr bool operator>=(const Arithmetic & lhs, const Arithmetic2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) >= CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr bool operator==(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_eq(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Arithmetic, typename Arithmetic2, class>
|
|
|
|
constexpr bool operator==(const Arithmetic & lhs, const Arithmetic2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) == CT(rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <size_t Bits, typename Signed, size_t Bits2, typename Signed2>
|
2020-09-14 11:56:43 +00:00
|
|
|
constexpr bool operator!=(const integer<Bits, Signed> & lhs, const integer<Bits2, Signed2> & rhs)
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
return !std::common_type_t<integer<Bits, Signed>, integer<Bits2, Signed2>>::_impl::operator_eq(lhs, rhs);
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
template <typename Arithmetic, typename Arithmetic2, class>
|
|
|
|
constexpr bool operator!=(const Arithmetic & lhs, const Arithmetic2 & rhs)
|
|
|
|
{
|
|
|
|
return CT(lhs) != CT(rhs);
|
|
|
|
}
|
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
#undef CT
|
2020-09-04 13:33:02 +00:00
|
|
|
|
|
|
|
}
|
|
|
|
|
2020-09-14 11:56:43 +00:00
|
|
|
namespace std
|
|
|
|
{
|
|
|
|
|
2020-09-04 13:33:02 +00:00
|
|
|
template <size_t Bits, typename Signed>
|
2020-09-14 11:56:43 +00:00
|
|
|
struct hash<wide::integer<Bits, Signed>>
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
2020-09-14 11:56:43 +00:00
|
|
|
std::size_t operator()(const wide::integer<Bits, Signed> & lhs) const
|
2020-09-04 13:33:02 +00:00
|
|
|
{
|
|
|
|
static_assert(Bits % (sizeof(size_t) * 8) == 0);
|
|
|
|
|
2020-09-18 09:51:44 +00:00
|
|
|
const auto * ptr = reinterpret_cast<const size_t *>(lhs.items);
|
2020-09-04 13:33:02 +00:00
|
|
|
unsigned count = Bits / (sizeof(size_t) * 8);
|
|
|
|
|
|
|
|
size_t res = 0;
|
|
|
|
for (unsigned i = 0; i < count; ++i)
|
|
|
|
res ^= ptr[i];
|
2020-09-14 11:56:43 +00:00
|
|
|
return res;
|
2020-09-04 13:33:02 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|