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