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