Line data    Source code

       1           0 : // Distributed under the MIT License.
       2             : // See LICENSE.txt for details.
       3             : 
       4             : #pragma once
       5             : 
       6             : #include <bit>
       7             : 
       8             : #if defined(__cpp_lib_int_pow2) && __cpp_lib_int_pow2 >= 202002L
       9             : // std::bit_floor and std::has_single_bit are defined in <bit>
      10             : #else
      11             : // std::bit_floor and std::has_single_bit are not defined in <bit> and
      12             : // therefore we provide the definitions
      13             : #include <cstdint>
      14             : #include <limits>
      15             : 
      16             : #include "Utilities/Requires.hpp"
      17             : 
      18             : // NOLINTNEXTLINE(cert-dcl58-cpp)
      19             : namespace std {
      20             : template <typename T,
      21             :           Requires<std::is_same_v<T, uint8_t> or std::is_same_v<T, uint16_t> or
      22             :                    std::is_same_v<T, uint32_t> or std::is_same_v<T, uint64_t> or
      23             :                    std::is_same_v<T, size_t> > = nullptr>
      24             : // NOLINTNEXTLINE(cert-dcl58-cpp)
      25             : constexpr T bit_floor(T x) noexcept {
      26             :   if (x != 0) {
      27             :     return T(1) << (std::numeric_limits<T>::digits - std::countl_zero(x) - 1);
      28             :   }
      29             :   return 0;
      30             : }
      31             : 
      32             : template <typename T,
      33             :           Requires<std::is_same_v<T, uint8_t> or std::is_same_v<T, uint16_t> or
      34             :                    std::is_same_v<T, uint32_t> or std::is_same_v<T, uint64_t> or
      35             :                    std::is_same_v<T, size_t> > = nullptr>
      36             : // NOLINTNEXTLINE(cert-dcl58-cpp)
      37             : constexpr bool has_single_bit(T x) noexcept {
      38             :   return std::popcount(x) == 1;
      39             : }
      40             : }  // namespace std
      41             : #endif