LLVM 22.0.0git
bit.h
Go to the documentation of this file.
1//===-- llvm/ADT/bit.h - C++20 <bit> ----------------------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// This file implements the C++20 <bit> header.
11///
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_ADT_BIT_H
15#define LLVM_ADT_BIT_H
16
18#include <cstddef> // for std::size_t
19#include <cstdint>
20#include <limits>
21#include <type_traits>
22
23#if !__has_builtin(__builtin_bit_cast)
24#include <cstring>
25#endif
26
27#if defined(_MSC_VER) && !defined(_DEBUG)
28#include <cstdlib> // for _byteswap_{ushort,ulong,uint64}
29#endif
30
31#if defined(__linux__) || defined(__GNU__) || defined(__HAIKU__) || \
32 defined(__Fuchsia__) || defined(__EMSCRIPTEN__) || defined(__NetBSD__) || \
33 defined(__OpenBSD__) || defined(__DragonFly__) || defined(__managarm__)
34#include <endian.h>
35#elif defined(_AIX)
36#include <sys/machine.h>
37#elif defined(__sun)
38/* Solaris provides _BIG_ENDIAN/_LITTLE_ENDIAN selector in sys/types.h */
39#include <sys/types.h>
40#define BIG_ENDIAN 4321
41#define LITTLE_ENDIAN 1234
42#if defined(_BIG_ENDIAN)
43#define BYTE_ORDER BIG_ENDIAN
44#else
45#define BYTE_ORDER LITTLE_ENDIAN
46#endif
47#elif defined(__MVS__)
48#define BIG_ENDIAN 4321
49#define LITTLE_ENDIAN 1234
50#define BYTE_ORDER BIG_ENDIAN
51#else
52#if !defined(BYTE_ORDER) && !defined(_WIN32)
53#include <machine/endian.h>
54#endif
55#endif
56
57#ifdef _MSC_VER
58// Declare these intrinsics manually rather including intrin.h. It's very
59// expensive, and bit.h is popular via MathExtras.h.
60// #include <intrin.h>
61extern "C" {
62unsigned char _BitScanForward(unsigned long *_Index, unsigned long _Mask);
63unsigned char _BitScanForward64(unsigned long *_Index, unsigned __int64 _Mask);
64unsigned char _BitScanReverse(unsigned long *_Index, unsigned long _Mask);
65unsigned char _BitScanReverse64(unsigned long *_Index, unsigned __int64 _Mask);
66}
67#endif
68
69namespace llvm {
70
71enum class endianness {
74#if defined(BYTE_ORDER) && defined(BIG_ENDIAN) && BYTE_ORDER == BIG_ENDIAN
75 native = big
76#else
78#endif
79};
80
81// This implementation of bit_cast is different from the C++20 one in two ways:
82// - It isn't constexpr because that requires compiler support.
83// - It requires trivially-constructible To, to avoid UB in the implementation.
84template <
85 typename To, typename From,
86 typename = std::enable_if_t<sizeof(To) == sizeof(From)>,
87 typename = std::enable_if_t<std::is_trivially_constructible<To>::value>,
88 typename = std::enable_if_t<std::is_trivially_copyable<To>::value>,
89 typename = std::enable_if_t<std::is_trivially_copyable<From>::value>>
90[[nodiscard]] inline To bit_cast(const From &from) noexcept {
91#if __has_builtin(__builtin_bit_cast)
92 return __builtin_bit_cast(To, from);
93#else
94 To to;
95 std::memcpy(&to, &from, sizeof(To));
96 return to;
97#endif
98}
99
100/// Reverses the bytes in the given integer value V.
101template <typename T, typename = std::enable_if_t<std::is_integral_v<T>>>
102[[nodiscard]] constexpr T byteswap(T V) noexcept {
103 if constexpr (sizeof(T) == 1) {
104 return V;
105 } else if constexpr (sizeof(T) == 2) {
106 uint16_t UV = V;
107#if defined(_MSC_VER) && !defined(_DEBUG)
108 // The DLL version of the runtime lacks these functions (bug!?), but in a
109 // release build they're replaced with BSWAP instructions anyway.
110 return _byteswap_ushort(UV);
111#else
112 uint16_t Hi = UV << 8;
113 uint16_t Lo = UV >> 8;
114 return Hi | Lo;
115#endif
116 } else if constexpr (sizeof(T) == 4) {
117 uint32_t UV = V;
118#if __has_builtin(__builtin_bswap32)
119 return __builtin_bswap32(UV);
120#elif defined(_MSC_VER) && !defined(_DEBUG)
121 return _byteswap_ulong(UV);
122#else
123 uint32_t Byte0 = UV & 0x000000FF;
124 uint32_t Byte1 = UV & 0x0000FF00;
125 uint32_t Byte2 = UV & 0x00FF0000;
126 uint32_t Byte3 = UV & 0xFF000000;
127 return (Byte0 << 24) | (Byte1 << 8) | (Byte2 >> 8) | (Byte3 >> 24);
128#endif
129 } else if constexpr (sizeof(T) == 8) {
130 uint64_t UV = V;
131#if __has_builtin(__builtin_bswap64)
132 return __builtin_bswap64(UV);
133#elif defined(_MSC_VER) && !defined(_DEBUG)
134 return _byteswap_uint64(UV);
135#else
138 return (Hi << 32) | Lo;
139#endif
140 } else {
141 static_assert(!sizeof(T *), "Don't know how to handle the given type.");
142 return 0;
143 }
144}
145
146template <typename T, typename = std::enable_if_t<std::is_unsigned_v<T>>>
147[[nodiscard]] constexpr inline bool has_single_bit(T Value) noexcept {
148 return (Value != 0) && ((Value & (Value - 1)) == 0);
149}
150
151/// Count the number of set bits in a value.
152/// Ex. popcount(0xF000F000) = 8
153/// Returns 0 if Value is zero.
154template <typename T> [[nodiscard]] inline int popcount(T Value) noexcept {
155 static_assert(std::is_unsigned_v<T>, "T must be an unsigned integer type");
156 static_assert(sizeof(T) <= 8, "T must be 8 bytes or less");
157
158 if constexpr (sizeof(T) <= 4) {
159#if defined(__GNUC__)
160 return (int)__builtin_popcount(Value);
161#else
162 uint32_t V = Value;
163 V = V - ((V >> 1) & 0x55555555);
164 V = (V & 0x33333333) + ((V >> 2) & 0x33333333);
165 return int(((V + (V >> 4) & 0xF0F0F0F) * 0x1010101) >> 24);
166#endif
167 } else {
168#if defined(__GNUC__)
169 return (int)__builtin_popcountll(Value);
170#else
171 uint64_t V = Value;
172 V = V - ((V >> 1) & 0x5555555555555555ULL);
173 V = (V & 0x3333333333333333ULL) + ((V >> 2) & 0x3333333333333333ULL);
174 V = (V + (V >> 4)) & 0x0F0F0F0F0F0F0F0FULL;
175 return int((uint64_t)(V * 0x0101010101010101ULL) >> 56);
176#endif
177 }
178}
179
180/// Count number of 0's from the least significant bit to the most
181/// stopping at the first 1.
182///
183/// Only unsigned integral types are allowed.
184///
185/// Returns std::numeric_limits<T>::digits on an input of 0.
186template <typename T> [[nodiscard]] int countr_zero(T Val) {
187 static_assert(std::is_unsigned_v<T>,
188 "Only unsigned integral types are allowed.");
189 if (!Val)
190 return std::numeric_limits<T>::digits;
191
192 // Use the intrinsic if available.
193 if constexpr (sizeof(T) <= 4) {
194#if __has_builtin(__builtin_ctz) || defined(__GNUC__)
195 return __builtin_ctz(Val);
196#elif defined(_MSC_VER)
197 unsigned long Index;
198 _BitScanForward(&Index, Val);
199 return Index;
200#endif
201 } else if constexpr (sizeof(T) == 8) {
202#if __has_builtin(__builtin_ctzll) || defined(__GNUC__)
203 return __builtin_ctzll(Val);
204#elif defined(_MSC_VER) && defined(_M_X64)
205 unsigned long Index;
206 _BitScanForward64(&Index, Val);
207 return Index;
208#endif
209 }
210
211 // Fallback to popcount. "(Val & -Val) - 1" is a bitmask with all bits below
212 // the least significant 1 set.
213 return llvm::popcount(static_cast<std::make_unsigned_t<T>>((Val & -Val) - 1));
214}
215
216/// Count number of 0's from the most significant bit to the least
217/// stopping at the first 1.
218///
219/// Only unsigned integral types are allowed.
220///
221/// Returns std::numeric_limits<T>::digits on an input of 0.
222template <typename T> [[nodiscard]] int countl_zero(T Val) {
223 static_assert(std::is_unsigned_v<T>,
224 "Only unsigned integral types are allowed.");
225 if (!Val)
226 return std::numeric_limits<T>::digits;
227
228 // Use the intrinsic if available.
229 if constexpr (sizeof(T) == 4) {
230#if __has_builtin(__builtin_clz) || defined(__GNUC__)
231 return __builtin_clz(Val);
232#elif defined(_MSC_VER)
233 unsigned long Index;
234 _BitScanReverse(&Index, Val);
235 return Index ^ 31;
236#endif
237 } else if constexpr (sizeof(T) == 8) {
238#if __has_builtin(__builtin_clzll) || defined(__GNUC__)
239 return __builtin_clzll(Val);
240#elif defined(_MSC_VER) && defined(_M_X64)
241 unsigned long Index;
242 _BitScanReverse64(&Index, Val);
243 return Index ^ 63;
244#endif
245 }
246
247 // Fall back to the bisection method.
248 unsigned ZeroBits = 0;
249 for (T Shift = std::numeric_limits<T>::digits >> 1; Shift; Shift >>= 1) {
250 T Tmp = Val >> Shift;
251 if (Tmp)
252 Val = Tmp;
253 else
254 ZeroBits |= Shift;
255 }
256 return ZeroBits;
257}
258
259/// Count the number of ones from the most significant bit to the first
260/// zero bit.
261///
262/// Ex. countl_one(0xFF0FFF00) == 8.
263/// Only unsigned integral types are allowed.
264///
265/// Returns std::numeric_limits<T>::digits on an input of all ones.
266template <typename T> [[nodiscard]] int countl_one(T Value) {
267 static_assert(std::is_unsigned_v<T>,
268 "Only unsigned integral types are allowed.");
270}
271
272/// Count the number of ones from the least significant bit to the first
273/// zero bit.
274///
275/// Ex. countr_one(0x00FF00FF) == 8.
276/// Only unsigned integral types are allowed.
277///
278/// Returns std::numeric_limits<T>::digits on an input of all ones.
279template <typename T> [[nodiscard]] int countr_one(T Value) {
280 static_assert(std::is_unsigned_v<T>,
281 "Only unsigned integral types are allowed.");
283}
284
285/// Returns the number of bits needed to represent Value if Value is nonzero.
286/// Returns 0 otherwise.
287///
288/// Ex. bit_width(5) == 3.
289template <typename T> [[nodiscard]] int bit_width(T Value) {
290 static_assert(std::is_unsigned_v<T>,
291 "Only unsigned integral types are allowed.");
292 return std::numeric_limits<T>::digits - llvm::countl_zero(Value);
293}
294
295/// Returns the largest integral power of two no greater than Value if Value is
296/// nonzero. Returns 0 otherwise.
297///
298/// Ex. bit_floor(5) == 4.
299template <typename T> [[nodiscard]] T bit_floor(T Value) {
300 static_assert(std::is_unsigned_v<T>,
301 "Only unsigned integral types are allowed.");
302 if (!Value)
303 return 0;
304 return T(1) << (llvm::bit_width(Value) - 1);
305}
306
307/// Returns the smallest integral power of two no smaller than Value if Value is
308/// nonzero. Returns 1 otherwise.
309///
310/// Ex. bit_ceil(5) == 8.
311///
312/// The return value is undefined if the input is larger than the largest power
313/// of two representable in T.
314template <typename T> [[nodiscard]] T bit_ceil(T Value) {
315 static_assert(std::is_unsigned_v<T>,
316 "Only unsigned integral types are allowed.");
317 if (Value < 2)
318 return 1;
319 return T(1) << llvm::bit_width<T>(Value - 1u);
320}
321
322// Forward-declare rotr so that rotl can use it.
323template <typename T, typename = std::enable_if_t<std::is_unsigned_v<T>>>
324[[nodiscard]] constexpr T rotr(T V, int R);
325
326template <typename T, typename = std::enable_if_t<std::is_unsigned_v<T>>>
327[[nodiscard]] constexpr T rotl(T V, int R) {
328 unsigned N = std::numeric_limits<T>::digits;
329
330 R = R % N;
331 if (!R)
332 return V;
333
334 if (R < 0)
335 return llvm::rotr(V, -R);
336
337 return (V << R) | (V >> (N - R));
338}
339
340template <typename T, typename> [[nodiscard]] constexpr T rotr(T V, int R) {
341 unsigned N = std::numeric_limits<T>::digits;
342
343 R = R % N;
344 if (!R)
345 return V;
346
347 if (R < 0)
348 return llvm::rotl(V, -R);
349
350 return (V >> R) | (V << (N - R));
351}
352
353} // namespace llvm
354
355#endif
#define T
LLVM Value Representation.
Definition Value.h:75
This is an optimization pass for GlobalISel generic memory operations.
constexpr T rotr(T V, int R)
Definition bit.h:340
int countr_one(T Value)
Count the number of ones from the least significant bit to the first zero bit.
Definition bit.h:279
constexpr T byteswap(T V) noexcept
Reverses the bytes in the given integer value V.
Definition bit.h:102
int bit_width(T Value)
Returns the number of bits needed to represent Value if Value is nonzero.
Definition bit.h:289
T bit_ceil(T Value)
Returns the smallest integral power of two no smaller than Value if Value is nonzero.
Definition bit.h:314
int countr_zero(T Val)
Count number of 0's from the least significant bit to the most stopping at the first 1.
Definition bit.h:186
constexpr bool has_single_bit(T Value) noexcept
Definition bit.h:147
int countl_zero(T Val)
Count number of 0's from the most significant bit to the least stopping at the first 1.
Definition bit.h:222
int countl_one(T Value)
Count the number of ones from the most significant bit to the first zero bit.
Definition bit.h:266
To bit_cast(const From &from) noexcept
Definition bit.h:90
endianness
Definition bit.h:71
T bit_floor(T Value)
Returns the largest integral power of two no greater than Value if Value is nonzero.
Definition bit.h:299
constexpr T rotl(T V, int R)
Definition bit.h:327
int popcount(T Value) noexcept
Count the number of set bits in a value.
Definition bit.h:154
#define N