Home | History | Annotate | Line # | Download | only in std
      1      1.1  mrg // <bit> -*- C++ -*-
      2      1.1  mrg 
      3  1.1.1.5  mrg // Copyright (C) 2018-2024 Free Software Foundation, Inc.
      4      1.1  mrg //
      5      1.1  mrg // This file is part of the GNU ISO C++ Library.  This library is free
      6      1.1  mrg // software; you can redistribute it and/or modify it under the
      7      1.1  mrg // terms of the GNU General Public License as published by the
      8      1.1  mrg // Free Software Foundation; either version 3, or (at your option)
      9      1.1  mrg // any later version.
     10      1.1  mrg 
     11      1.1  mrg // This library is distributed in the hope that it will be useful,
     12      1.1  mrg // but WITHOUT ANY WARRANTY; without even the implied warranty of
     13      1.1  mrg // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     14      1.1  mrg // GNU General Public License for more details.
     15      1.1  mrg 
     16      1.1  mrg // Under Section 7 of GPL version 3, you are granted additional
     17      1.1  mrg // permissions described in the GCC Runtime Library Exception, version
     18      1.1  mrg // 3.1, as published by the Free Software Foundation.
     19      1.1  mrg 
     20      1.1  mrg // You should have received a copy of the GNU General Public License and
     21      1.1  mrg // a copy of the GCC Runtime Library Exception along with this program;
     22      1.1  mrg // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
     23      1.1  mrg // <http://www.gnu.org/licenses/>.
     24      1.1  mrg 
     25      1.1  mrg /** @file include/bit
     26      1.1  mrg  *  This is a Standard C++ Library header.
     27      1.1  mrg  */
     28      1.1  mrg 
     29      1.1  mrg #ifndef _GLIBCXX_BIT
     30      1.1  mrg #define _GLIBCXX_BIT 1
     31      1.1  mrg 
     32      1.1  mrg #pragma GCC system_header
     33      1.1  mrg 
     34      1.1  mrg #if __cplusplus >= 201402L
     35      1.1  mrg 
     36  1.1.1.5  mrg #include <concepts> // for std::integral
     37      1.1  mrg #include <type_traits>
     38  1.1.1.3  mrg 
     39  1.1.1.5  mrg #if _GLIBCXX_HOSTED || __has_include(<ext/numeric_traits.h>)
     40  1.1.1.3  mrg # include <ext/numeric_traits.h>
     41  1.1.1.3  mrg #else
     42  1.1.1.3  mrg # include <limits>
     43  1.1.1.3  mrg /// @cond undocumented
     44  1.1.1.3  mrg namespace __gnu_cxx
     45  1.1.1.3  mrg {
     46  1.1.1.3  mrg   template<typename _Tp>
     47  1.1.1.3  mrg     struct __int_traits
     48  1.1.1.3  mrg     {
     49  1.1.1.3  mrg       static constexpr int __digits = std::numeric_limits<_Tp>::digits;
     50  1.1.1.3  mrg       static constexpr _Tp __max = std::numeric_limits<_Tp>::max();
     51  1.1.1.3  mrg     };
     52  1.1.1.3  mrg }
     53  1.1.1.3  mrg /// @endcond
     54  1.1.1.3  mrg #endif
     55      1.1  mrg 
     56  1.1.1.5  mrg #define __glibcxx_want_bit_cast
     57  1.1.1.5  mrg #define __glibcxx_want_byteswap
     58  1.1.1.5  mrg #define __glibcxx_want_bitops
     59  1.1.1.5  mrg #define __glibcxx_want_int_pow2
     60  1.1.1.5  mrg #define __glibcxx_want_endian
     61  1.1.1.5  mrg #include <bits/version.h>
     62  1.1.1.5  mrg 
     63      1.1  mrg namespace std _GLIBCXX_VISIBILITY(default)
     64      1.1  mrg {
     65      1.1  mrg _GLIBCXX_BEGIN_NAMESPACE_VERSION
     66      1.1  mrg 
     67  1.1.1.2  mrg   /**
     68  1.1.1.2  mrg    * @defgroup bit_manip Bit manipulation
     69  1.1.1.2  mrg    * @ingroup numerics
     70  1.1.1.2  mrg    *
     71  1.1.1.2  mrg    * Utilities for examining and manipulating individual bits.
     72  1.1.1.2  mrg    *
     73  1.1.1.2  mrg    * @{
     74  1.1.1.2  mrg    */
     75  1.1.1.2  mrg 
     76  1.1.1.5  mrg #ifdef __cpp_lib_bit_cast // C++ >= 20
     77  1.1.1.4  mrg 
     78  1.1.1.4  mrg   /// Create a value of type `To` from the bits of `from`.
     79  1.1.1.4  mrg   /**
     80  1.1.1.4  mrg    * @tparam _To   A trivially-copyable type.
     81  1.1.1.4  mrg    * @param __from A trivially-copyable object of the same size as `_To`.
     82  1.1.1.4  mrg    * @return       An object of type `_To`.
     83  1.1.1.4  mrg    * @since C++20
     84  1.1.1.4  mrg    */
     85  1.1.1.4  mrg   template<typename _To, typename _From>
     86  1.1.1.4  mrg     [[nodiscard]]
     87  1.1.1.4  mrg     constexpr _To
     88  1.1.1.4  mrg     bit_cast(const _From& __from) noexcept
     89  1.1.1.4  mrg #ifdef __cpp_concepts
     90  1.1.1.4  mrg     requires (sizeof(_To) == sizeof(_From))
     91  1.1.1.5  mrg       && is_trivially_copyable_v<_To> && is_trivially_copyable_v<_From>
     92  1.1.1.4  mrg #endif
     93  1.1.1.4  mrg     {
     94  1.1.1.4  mrg       return __builtin_bit_cast(_To, __from);
     95  1.1.1.4  mrg     }
     96  1.1.1.5  mrg #endif // __cpp_lib_bit_cast
     97  1.1.1.4  mrg 
     98  1.1.1.5  mrg #ifdef __cpp_lib_byteswap // C++ >= 23
     99  1.1.1.4  mrg 
    100  1.1.1.4  mrg   /// Reverse order of bytes in the object representation of `value`.
    101  1.1.1.4  mrg   /**
    102  1.1.1.4  mrg    * @tparam _Tp     An integral type.
    103  1.1.1.4  mrg    * @param __value  An object of integer type.
    104  1.1.1.4  mrg    * @return         An object of the same type, with the bytes reversed.
    105  1.1.1.4  mrg    * @since C++23
    106  1.1.1.4  mrg    */
    107  1.1.1.5  mrg   template<integral _Tp>
    108  1.1.1.4  mrg     [[nodiscard]]
    109  1.1.1.5  mrg     constexpr _Tp
    110  1.1.1.4  mrg     byteswap(_Tp __value) noexcept
    111  1.1.1.4  mrg     {
    112  1.1.1.4  mrg       if constexpr (sizeof(_Tp) == 1)
    113  1.1.1.4  mrg 	return __value;
    114  1.1.1.4  mrg #if __cpp_if_consteval >= 202106L && __CHAR_BIT__ == 8
    115  1.1.1.4  mrg       if !consteval
    116  1.1.1.4  mrg 	{
    117  1.1.1.4  mrg 	  if constexpr (sizeof(_Tp) == 2)
    118  1.1.1.4  mrg 	    return __builtin_bswap16(__value);
    119  1.1.1.4  mrg 	  if constexpr (sizeof(_Tp) == 4)
    120  1.1.1.4  mrg 	    return __builtin_bswap32(__value);
    121  1.1.1.4  mrg 	  if constexpr (sizeof(_Tp) == 8)
    122  1.1.1.4  mrg 	    return __builtin_bswap64(__value);
    123  1.1.1.4  mrg 	  if constexpr (sizeof(_Tp) == 16)
    124  1.1.1.4  mrg #if __has_builtin(__builtin_bswap128)
    125  1.1.1.4  mrg 	    return __builtin_bswap128(__value);
    126  1.1.1.4  mrg #else
    127  1.1.1.4  mrg 	    return (__builtin_bswap64(__value >> 64)
    128  1.1.1.4  mrg 		    | (static_cast<_Tp>(__builtin_bswap64(__value)) << 64));
    129  1.1.1.4  mrg #endif
    130  1.1.1.4  mrg 	}
    131  1.1.1.4  mrg #endif
    132  1.1.1.4  mrg 
    133  1.1.1.4  mrg       // Fallback implementation that handles even __int24 etc.
    134  1.1.1.4  mrg       using _Up = typename __make_unsigned<__remove_cv_t<_Tp>>::__type;
    135  1.1.1.4  mrg       size_t __diff = __CHAR_BIT__ * (sizeof(_Tp) - 1);
    136  1.1.1.4  mrg       _Up __mask1 = static_cast<unsigned char>(~0);
    137  1.1.1.4  mrg       _Up __mask2 = __mask1 << __diff;
    138  1.1.1.4  mrg       _Up __val = __value;
    139  1.1.1.4  mrg       for (size_t __i = 0; __i < sizeof(_Tp) / 2; ++__i)
    140  1.1.1.4  mrg 	{
    141  1.1.1.4  mrg 	  _Up __byte1 = __val & __mask1;
    142  1.1.1.4  mrg 	  _Up __byte2 = __val & __mask2;
    143  1.1.1.4  mrg 	  __val = (__val ^ __byte1 ^ __byte2
    144  1.1.1.4  mrg 		   ^ (__byte1 << __diff) ^ (__byte2 >> __diff));
    145  1.1.1.4  mrg 	  __mask1 <<= __CHAR_BIT__;
    146  1.1.1.4  mrg 	  __mask2 >>= __CHAR_BIT__;
    147  1.1.1.4  mrg 	  __diff -= 2 * __CHAR_BIT__;
    148  1.1.1.4  mrg 	}
    149  1.1.1.4  mrg       return __val;
    150  1.1.1.4  mrg     }
    151  1.1.1.5  mrg #endif // __cpp_lib_byteswap
    152  1.1.1.4  mrg 
    153  1.1.1.5  mrg   /// @cond undocumented
    154  1.1.1.2  mrg 
    155      1.1  mrg   template<typename _Tp>
    156      1.1  mrg     constexpr _Tp
    157      1.1  mrg     __rotl(_Tp __x, int __s) noexcept
    158      1.1  mrg     {
    159  1.1.1.2  mrg       constexpr auto _Nd = __gnu_cxx::__int_traits<_Tp>::__digits;
    160  1.1.1.4  mrg       if _GLIBCXX17_CONSTEXPR ((_Nd & (_Nd - 1)) == 0)
    161  1.1.1.4  mrg 	{
    162  1.1.1.4  mrg 	  // Variant for power of two _Nd which the compiler can
    163  1.1.1.4  mrg 	  // easily pattern match.
    164  1.1.1.4  mrg 	  constexpr unsigned __uNd = _Nd;
    165  1.1.1.4  mrg 	  const unsigned __r = __s;
    166  1.1.1.4  mrg 	  return (__x << (__r % __uNd)) | (__x >> ((-__r) % __uNd));
    167  1.1.1.4  mrg 	}
    168      1.1  mrg       const int __r = __s % _Nd;
    169      1.1  mrg       if (__r == 0)
    170      1.1  mrg 	return __x;
    171      1.1  mrg       else if (__r > 0)
    172      1.1  mrg 	return (__x << __r) | (__x >> ((_Nd - __r) % _Nd));
    173      1.1  mrg       else
    174      1.1  mrg 	return (__x >> -__r) | (__x << ((_Nd + __r) % _Nd)); // rotr(x, -r)
    175      1.1  mrg     }
    176      1.1  mrg 
    177      1.1  mrg   template<typename _Tp>
    178      1.1  mrg     constexpr _Tp
    179      1.1  mrg     __rotr(_Tp __x, int __s) noexcept
    180      1.1  mrg     {
    181  1.1.1.2  mrg       constexpr auto _Nd = __gnu_cxx::__int_traits<_Tp>::__digits;
    182  1.1.1.4  mrg       if _GLIBCXX17_CONSTEXPR ((_Nd & (_Nd - 1)) == 0)
    183  1.1.1.4  mrg 	{
    184  1.1.1.4  mrg 	  // Variant for power of two _Nd which the compiler can
    185  1.1.1.4  mrg 	  // easily pattern match.
    186  1.1.1.4  mrg 	  constexpr unsigned __uNd = _Nd;
    187  1.1.1.4  mrg 	  const unsigned __r = __s;
    188  1.1.1.4  mrg 	  return (__x >> (__r % __uNd)) | (__x << ((-__r) % __uNd));
    189  1.1.1.4  mrg 	}
    190      1.1  mrg       const int __r = __s % _Nd;
    191      1.1  mrg       if (__r == 0)
    192      1.1  mrg 	return __x;
    193      1.1  mrg       else if (__r > 0)
    194      1.1  mrg 	return (__x >> __r) | (__x << ((_Nd - __r) % _Nd));
    195      1.1  mrg       else
    196      1.1  mrg 	return (__x << -__r) | (__x >> ((_Nd + __r) % _Nd)); // rotl(x, -r)
    197      1.1  mrg     }
    198      1.1  mrg 
    199      1.1  mrg   template<typename _Tp>
    200      1.1  mrg     constexpr int
    201      1.1  mrg     __countl_zero(_Tp __x) noexcept
    202      1.1  mrg     {
    203  1.1.1.2  mrg       using __gnu_cxx::__int_traits;
    204  1.1.1.2  mrg       constexpr auto _Nd = __int_traits<_Tp>::__digits;
    205      1.1  mrg 
    206      1.1  mrg       if (__x == 0)
    207      1.1  mrg         return _Nd;
    208      1.1  mrg 
    209  1.1.1.2  mrg       constexpr auto _Nd_ull = __int_traits<unsigned long long>::__digits;
    210  1.1.1.2  mrg       constexpr auto _Nd_ul = __int_traits<unsigned long>::__digits;
    211  1.1.1.2  mrg       constexpr auto _Nd_u = __int_traits<unsigned>::__digits;
    212      1.1  mrg 
    213      1.1  mrg       if _GLIBCXX17_CONSTEXPR (_Nd <= _Nd_u)
    214      1.1  mrg 	{
    215      1.1  mrg 	  constexpr int __diff = _Nd_u - _Nd;
    216      1.1  mrg 	  return __builtin_clz(__x) - __diff;
    217      1.1  mrg 	}
    218      1.1  mrg       else if _GLIBCXX17_CONSTEXPR (_Nd <= _Nd_ul)
    219      1.1  mrg 	{
    220      1.1  mrg 	  constexpr int __diff = _Nd_ul - _Nd;
    221      1.1  mrg 	  return __builtin_clzl(__x) - __diff;
    222      1.1  mrg 	}
    223      1.1  mrg       else if _GLIBCXX17_CONSTEXPR (_Nd <= _Nd_ull)
    224      1.1  mrg 	{
    225      1.1  mrg 	  constexpr int __diff = _Nd_ull - _Nd;
    226      1.1  mrg 	  return __builtin_clzll(__x) - __diff;
    227      1.1  mrg 	}
    228      1.1  mrg       else // (_Nd > _Nd_ull)
    229      1.1  mrg 	{
    230      1.1  mrg 	  static_assert(_Nd <= (2 * _Nd_ull),
    231      1.1  mrg 			"Maximum supported integer size is 128-bit");
    232      1.1  mrg 
    233      1.1  mrg 	  unsigned long long __high = __x >> _Nd_ull;
    234      1.1  mrg 	  if (__high != 0)
    235      1.1  mrg 	    {
    236      1.1  mrg 	      constexpr int __diff = (2 * _Nd_ull) - _Nd;
    237      1.1  mrg 	      return __builtin_clzll(__high) - __diff;
    238      1.1  mrg 	    }
    239  1.1.1.2  mrg 	  constexpr auto __max_ull = __int_traits<unsigned long long>::__max;
    240      1.1  mrg 	  unsigned long long __low = __x & __max_ull;
    241      1.1  mrg 	  return (_Nd - _Nd_ull) + __builtin_clzll(__low);
    242      1.1  mrg 	}
    243      1.1  mrg     }
    244      1.1  mrg 
    245      1.1  mrg   template<typename _Tp>
    246      1.1  mrg     constexpr int
    247      1.1  mrg     __countl_one(_Tp __x) noexcept
    248      1.1  mrg     {
    249      1.1  mrg       return std::__countl_zero<_Tp>((_Tp)~__x);
    250      1.1  mrg     }
    251      1.1  mrg 
    252      1.1  mrg   template<typename _Tp>
    253      1.1  mrg     constexpr int
    254      1.1  mrg     __countr_zero(_Tp __x) noexcept
    255      1.1  mrg     {
    256  1.1.1.2  mrg       using __gnu_cxx::__int_traits;
    257  1.1.1.2  mrg       constexpr auto _Nd = __int_traits<_Tp>::__digits;
    258      1.1  mrg 
    259      1.1  mrg       if (__x == 0)
    260      1.1  mrg         return _Nd;
    261      1.1  mrg 
    262  1.1.1.2  mrg       constexpr auto _Nd_ull = __int_traits<unsigned long long>::__digits;
    263  1.1.1.2  mrg       constexpr auto _Nd_ul = __int_traits<unsigned long>::__digits;
    264  1.1.1.2  mrg       constexpr auto _Nd_u = __int_traits<unsigned>::__digits;
    265      1.1  mrg 
    266      1.1  mrg       if _GLIBCXX17_CONSTEXPR (_Nd <= _Nd_u)
    267      1.1  mrg 	return __builtin_ctz(__x);
    268      1.1  mrg       else if _GLIBCXX17_CONSTEXPR (_Nd <= _Nd_ul)
    269      1.1  mrg 	return __builtin_ctzl(__x);
    270      1.1  mrg       else if _GLIBCXX17_CONSTEXPR (_Nd <= _Nd_ull)
    271      1.1  mrg 	return __builtin_ctzll(__x);
    272      1.1  mrg       else // (_Nd > _Nd_ull)
    273      1.1  mrg 	{
    274      1.1  mrg 	  static_assert(_Nd <= (2 * _Nd_ull),
    275      1.1  mrg 			"Maximum supported integer size is 128-bit");
    276      1.1  mrg 
    277  1.1.1.2  mrg 	  constexpr auto __max_ull = __int_traits<unsigned long long>::__max;
    278      1.1  mrg 	  unsigned long long __low = __x & __max_ull;
    279      1.1  mrg 	  if (__low != 0)
    280      1.1  mrg 	    return __builtin_ctzll(__low);
    281      1.1  mrg 	  unsigned long long __high = __x >> _Nd_ull;
    282      1.1  mrg 	  return __builtin_ctzll(__high) + _Nd_ull;
    283      1.1  mrg 	}
    284      1.1  mrg     }
    285      1.1  mrg 
    286      1.1  mrg   template<typename _Tp>
    287      1.1  mrg     constexpr int
    288      1.1  mrg     __countr_one(_Tp __x) noexcept
    289      1.1  mrg     {
    290      1.1  mrg       return std::__countr_zero((_Tp)~__x);
    291      1.1  mrg     }
    292      1.1  mrg 
    293      1.1  mrg   template<typename _Tp>
    294      1.1  mrg     constexpr int
    295      1.1  mrg     __popcount(_Tp __x) noexcept
    296      1.1  mrg     {
    297  1.1.1.2  mrg       using __gnu_cxx::__int_traits;
    298  1.1.1.2  mrg       constexpr auto _Nd = __int_traits<_Tp>::__digits;
    299      1.1  mrg 
    300  1.1.1.2  mrg       constexpr auto _Nd_ull = __int_traits<unsigned long long>::__digits;
    301  1.1.1.2  mrg       constexpr auto _Nd_ul = __int_traits<unsigned long>::__digits;
    302  1.1.1.2  mrg       constexpr auto _Nd_u = __int_traits<unsigned>::__digits;
    303      1.1  mrg 
    304      1.1  mrg       if _GLIBCXX17_CONSTEXPR (_Nd <= _Nd_u)
    305      1.1  mrg 	return __builtin_popcount(__x);
    306      1.1  mrg       else if _GLIBCXX17_CONSTEXPR (_Nd <= _Nd_ul)
    307      1.1  mrg 	return __builtin_popcountl(__x);
    308      1.1  mrg       else if _GLIBCXX17_CONSTEXPR (_Nd <= _Nd_ull)
    309      1.1  mrg 	return __builtin_popcountll(__x);
    310      1.1  mrg       else // (_Nd > _Nd_ull)
    311      1.1  mrg 	{
    312      1.1  mrg 	  static_assert(_Nd <= (2 * _Nd_ull),
    313      1.1  mrg 			"Maximum supported integer size is 128-bit");
    314      1.1  mrg 
    315  1.1.1.2  mrg 	  constexpr auto __max_ull = __int_traits<unsigned long long>::__max;
    316      1.1  mrg 	  unsigned long long __low = __x & __max_ull;
    317      1.1  mrg 	  unsigned long long __high = __x >> _Nd_ull;
    318      1.1  mrg 	  return __builtin_popcountll(__low) + __builtin_popcountll(__high);
    319      1.1  mrg 	}
    320      1.1  mrg     }
    321      1.1  mrg 
    322      1.1  mrg   template<typename _Tp>
    323      1.1  mrg     constexpr bool
    324  1.1.1.2  mrg     __has_single_bit(_Tp __x) noexcept
    325      1.1  mrg     { return std::__popcount(__x) == 1; }
    326      1.1  mrg 
    327      1.1  mrg   template<typename _Tp>
    328      1.1  mrg     constexpr _Tp
    329  1.1.1.2  mrg     __bit_ceil(_Tp __x) noexcept
    330      1.1  mrg     {
    331  1.1.1.2  mrg       using __gnu_cxx::__int_traits;
    332  1.1.1.2  mrg       constexpr auto _Nd = __int_traits<_Tp>::__digits;
    333      1.1  mrg       if (__x == 0 || __x == 1)
    334      1.1  mrg         return 1;
    335      1.1  mrg       auto __shift_exponent = _Nd - std::__countl_zero((_Tp)(__x - 1u));
    336      1.1  mrg       // If the shift exponent equals _Nd then the correct result is not
    337      1.1  mrg       // representable as a value of _Tp, and so the result is undefined.
    338      1.1  mrg       // Want that undefined behaviour to be detected in constant expressions,
    339      1.1  mrg       // by UBSan, and by debug assertions.
    340  1.1.1.4  mrg       if (!std::__is_constant_evaluated())
    341  1.1.1.2  mrg 	{
    342  1.1.1.2  mrg 	  __glibcxx_assert( __shift_exponent != __int_traits<_Tp>::__digits );
    343  1.1.1.2  mrg 	}
    344  1.1.1.4  mrg 
    345      1.1  mrg       using __promoted_type = decltype(__x << 1);
    346      1.1  mrg       if _GLIBCXX17_CONSTEXPR (!is_same<__promoted_type, _Tp>::value)
    347      1.1  mrg 	{
    348      1.1  mrg 	  // If __x undergoes integral promotion then shifting by _Nd is
    349      1.1  mrg 	  // not undefined. In order to make the shift undefined, so that
    350      1.1  mrg 	  // it is diagnosed in constant expressions and by UBsan, we also
    351      1.1  mrg 	  // need to "promote" the shift exponent to be too large for the
    352      1.1  mrg 	  // promoted type.
    353      1.1  mrg 	  const int __extra_exp = sizeof(__promoted_type) / sizeof(_Tp) / 2;
    354      1.1  mrg 	  __shift_exponent |= (__shift_exponent & _Nd) << __extra_exp;
    355      1.1  mrg 	}
    356      1.1  mrg       return (_Tp)1u << __shift_exponent;
    357      1.1  mrg     }
    358      1.1  mrg 
    359      1.1  mrg   template<typename _Tp>
    360      1.1  mrg     constexpr _Tp
    361  1.1.1.2  mrg     __bit_floor(_Tp __x) noexcept
    362      1.1  mrg     {
    363  1.1.1.2  mrg       constexpr auto _Nd = __gnu_cxx::__int_traits<_Tp>::__digits;
    364      1.1  mrg       if (__x == 0)
    365      1.1  mrg         return 0;
    366      1.1  mrg       return (_Tp)1u << (_Nd - std::__countl_zero((_Tp)(__x >> 1)));
    367      1.1  mrg     }
    368      1.1  mrg 
    369      1.1  mrg   template<typename _Tp>
    370  1.1.1.5  mrg     constexpr int
    371  1.1.1.2  mrg     __bit_width(_Tp __x) noexcept
    372      1.1  mrg     {
    373  1.1.1.2  mrg       constexpr auto _Nd = __gnu_cxx::__int_traits<_Tp>::__digits;
    374      1.1  mrg       return _Nd - std::__countl_zero(__x);
    375      1.1  mrg     }
    376      1.1  mrg 
    377  1.1.1.2  mrg   /// @endcond
    378      1.1  mrg 
    379  1.1.1.5  mrg #ifdef __cpp_lib_bitops // C++ >= 20
    380      1.1  mrg 
    381  1.1.1.5  mrg   /// @cond undocumented
    382  1.1.1.5  mrg   template<typename _Tp>
    383  1.1.1.5  mrg     concept __unsigned_integer = __is_unsigned_integer<_Tp>::value;
    384  1.1.1.2  mrg   /// @endcond
    385      1.1  mrg 
    386      1.1  mrg   // [bit.rot], rotating
    387      1.1  mrg 
    388  1.1.1.2  mrg   /// Rotate `x` to the left by `s` bits.
    389  1.1.1.5  mrg   template<__unsigned_integer _Tp>
    390  1.1.1.5  mrg     [[nodiscard]] constexpr _Tp
    391      1.1  mrg     rotl(_Tp __x, int __s) noexcept
    392      1.1  mrg     { return std::__rotl(__x, __s); }
    393      1.1  mrg 
    394  1.1.1.2  mrg   /// Rotate `x` to the right by `s` bits.
    395  1.1.1.5  mrg   template<__unsigned_integer _Tp>
    396  1.1.1.5  mrg     [[nodiscard]] constexpr _Tp
    397      1.1  mrg     rotr(_Tp __x, int __s) noexcept
    398      1.1  mrg     { return std::__rotr(__x, __s); }
    399      1.1  mrg 
    400      1.1  mrg   // [bit.count], counting
    401      1.1  mrg 
    402  1.1.1.2  mrg   /// The number of contiguous zero bits, starting from the highest bit.
    403  1.1.1.5  mrg   template<__unsigned_integer _Tp>
    404  1.1.1.5  mrg     constexpr int
    405      1.1  mrg     countl_zero(_Tp __x) noexcept
    406      1.1  mrg     { return std::__countl_zero(__x); }
    407      1.1  mrg 
    408  1.1.1.2  mrg   /// The number of contiguous one bits, starting from the highest bit.
    409  1.1.1.5  mrg   template<__unsigned_integer _Tp>
    410  1.1.1.5  mrg     constexpr int
    411      1.1  mrg     countl_one(_Tp __x) noexcept
    412      1.1  mrg     { return std::__countl_one(__x); }
    413      1.1  mrg 
    414  1.1.1.2  mrg   /// The number of contiguous zero bits, starting from the lowest bit.
    415  1.1.1.5  mrg   template<__unsigned_integer _Tp>
    416  1.1.1.5  mrg     constexpr int
    417      1.1  mrg     countr_zero(_Tp __x) noexcept
    418      1.1  mrg     { return std::__countr_zero(__x); }
    419      1.1  mrg 
    420  1.1.1.2  mrg   /// The number of contiguous one bits, starting from the lowest bit.
    421  1.1.1.5  mrg   template<__unsigned_integer _Tp>
    422  1.1.1.5  mrg     constexpr int
    423      1.1  mrg     countr_one(_Tp __x) noexcept
    424      1.1  mrg     { return std::__countr_one(__x); }
    425      1.1  mrg 
    426  1.1.1.2  mrg   /// The number of bits set in `x`.
    427  1.1.1.5  mrg   template<__unsigned_integer _Tp>
    428  1.1.1.5  mrg     constexpr int
    429      1.1  mrg     popcount(_Tp __x) noexcept
    430      1.1  mrg     { return std::__popcount(__x); }
    431  1.1.1.5  mrg #endif // __cpp_lib_bitops
    432      1.1  mrg 
    433  1.1.1.5  mrg #ifdef __cpp_lib_int_pow2 // C++ >= 20
    434      1.1  mrg   // [bit.pow.two], integral powers of 2
    435      1.1  mrg 
    436  1.1.1.2  mrg   /// True if `x` is a power of two, false otherwise.
    437  1.1.1.5  mrg   template<__unsigned_integer _Tp>
    438  1.1.1.5  mrg     constexpr bool
    439  1.1.1.2  mrg     has_single_bit(_Tp __x) noexcept
    440  1.1.1.2  mrg     { return std::__has_single_bit(__x); }
    441      1.1  mrg 
    442  1.1.1.2  mrg   /// The smallest power-of-two not less than `x`.
    443  1.1.1.5  mrg   template<__unsigned_integer _Tp>
    444  1.1.1.5  mrg     constexpr _Tp
    445  1.1.1.2  mrg     bit_ceil(_Tp __x) noexcept
    446  1.1.1.2  mrg     { return std::__bit_ceil(__x); }
    447      1.1  mrg 
    448  1.1.1.2  mrg   /// The largest power-of-two not greater than `x`.
    449  1.1.1.5  mrg   template<__unsigned_integer _Tp>
    450  1.1.1.5  mrg     constexpr _Tp
    451  1.1.1.2  mrg     bit_floor(_Tp __x) noexcept
    452  1.1.1.2  mrg     { return std::__bit_floor(__x); }
    453      1.1  mrg 
    454  1.1.1.5  mrg   // _GLIBCXX_RESOLVE_LIB_DEFECTS
    455  1.1.1.5  mrg   // 3656. Inconsistent bit operations returning a count
    456  1.1.1.2  mrg   /// The smallest integer greater than the base-2 logarithm of `x`.
    457  1.1.1.5  mrg   template<__unsigned_integer _Tp>
    458  1.1.1.5  mrg     constexpr int
    459  1.1.1.2  mrg     bit_width(_Tp __x) noexcept
    460  1.1.1.2  mrg     { return std::__bit_width(__x); }
    461  1.1.1.5  mrg #endif // defined (__cpp_lib_int_pow2)
    462      1.1  mrg 
    463  1.1.1.5  mrg #ifdef __cpp_lib_endian // C++ >= 20
    464      1.1  mrg 
    465  1.1.1.4  mrg   /// Byte order constants
    466  1.1.1.4  mrg   /**
    467  1.1.1.4  mrg    * The platform endianness can be checked by comparing `std::endian::native`
    468  1.1.1.4  mrg    * to one of `std::endian::big` or `std::endian::little`.
    469  1.1.1.4  mrg    *
    470  1.1.1.4  mrg    * @since C++20
    471  1.1.1.4  mrg    */
    472      1.1  mrg   enum class endian
    473      1.1  mrg   {
    474      1.1  mrg     little = __ORDER_LITTLE_ENDIAN__,
    475      1.1  mrg     big    = __ORDER_BIG_ENDIAN__,
    476      1.1  mrg     native = __BYTE_ORDER__
    477      1.1  mrg   };
    478  1.1.1.5  mrg #endif // __cpp_lib_endian
    479      1.1  mrg 
    480  1.1.1.2  mrg   /// @}
    481  1.1.1.2  mrg 
    482      1.1  mrg _GLIBCXX_END_NAMESPACE_VERSION
    483      1.1  mrg } // namespace std
    484      1.1  mrg 
    485      1.1  mrg #endif // C++14
    486      1.1  mrg #endif // _GLIBCXX_BIT
    487