integer.hpp

Go to the documentation of this file.

#pragma once
 
#include <asmgrader/common/aliases.hpp>
 
#include <boost/mp11/algorithm.hpp>
#include <boost/mp11/detail/mp_list.hpp>
#include <boost/mp11/integral.hpp>
 
#include <bit>
#include <cmath>
#include <concepts>
#include <cstddef>
#include <cstdint>
#include <limits>
#include <type_traits>
 
namespace asmgrader {
 
namespace detail {
namespace mp = boost::mp11;
 
using sized_uint_map = mp::mp_list<u8, std::uint16_t, std::uint32_t, std::uint64_t>;
using sized_int_map = mp::mp_list<i8, std::int16_t, std::int32_t, std::int64_t>;
 
template <std::size_t I>
using sized_int_impl = mp::mp_at<sized_int_map, mp::mp_int<I>>;
 
template <std::size_t I>
using sized_uint_impl = mp::mp_at<sized_uint_map, mp::mp_int<I>>;
} // namespace detail
 
template <std::size_t NumBits>
using sized_int_t = detail::sized_int_impl<std::bit_width(NumBits) - 1>;
 
template <std::size_t NumBits>
using sized_uint_t = detail::sized_uint_impl<std::bit_width(NumBits) - 1>;
 
template <typename IntType>
    requires std::integral<std::decay_t<IntType>>
constexpr std::size_t digits10_max_count = std::numeric_limits<std::decay_t<IntType>>::digits10 + 1;
 
static_assert(digits10_max_count<i8> == 3);
static_assert(digits10_max_count<u8> == 3);
static_assert(digits10_max_count<i16> == 5);
static_assert(digits10_max_count<u16> == 5);
static_assert(digits10_max_count<i32> == 10);
static_assert(digits10_max_count<u32> == 10);
static_assert(digits10_max_count<i64> == 19);
static_assert(digits10_max_count<u64> == 20);
 
} // namespace asmgrader