28#include "ruby/internal/config.h"
31#include "internal/compilers.h"
37#if defined(HAVE_X86INTRIN_H)
38# include <x86intrin.h>
39#elif defined(_MSC_VER)
43#if defined(_MSC_VER) && defined(__AVX__)
44# pragma intrinsic(__popcnt)
45# pragma intrinsic(__popcnt64)
48#if defined(_MSC_VER) && defined(__AVX2__)
49# pragma intrinsic(__lzcnt)
50# pragma intrinsic(__lzcnt64)
54# pragma intrinsic(_rotl)
55# pragma intrinsic(_rotr)
57# pragma intrinsic(_rotl64)
58# pragma intrinsic(_rotr64)
60# pragma intrinsic(_BitScanForward)
61# pragma intrinsic(_BitScanReverse)
63# pragma intrinsic(_BitScanForward64)
64# pragma intrinsic(_BitScanReverse64)
69#include "internal/static_assert.h"
75#define HALF_LONG_MSB ((SIGNED_VALUE)1<<((SIZEOF_LONG*CHAR_BIT-1)/2))
77#define SIGNED_INTEGER_TYPE_P(T) (0 > ((T)0)-1)
79#define SIGNED_INTEGER_MIN(T) \
80 ((sizeof(T) == sizeof(int8_t)) ? ((T)INT8_MIN) : \
81 ((sizeof(T) == sizeof(int16_t)) ? ((T)INT16_MIN) : \
82 ((sizeof(T) == sizeof(int32_t)) ? ((T)INT32_MIN) : \
83 ((sizeof(T) == sizeof(int64_t)) ? ((T)INT64_MIN) : \
86#define SIGNED_INTEGER_MAX(T) ((T)(SIGNED_INTEGER_MIN(T) ^ ((T)~(T)0)))
88#define UNSIGNED_INTEGER_MAX(T) ((T)~(T)0)
90#ifndef MUL_OVERFLOW_SIGNED_INTEGER_P
91#if __has_builtin(__builtin_mul_overflow_p)
92# define MUL_OVERFLOW_P(a, b) \
93 __builtin_mul_overflow_p((a), (b), (__typeof__(a * b))0)
94#elif __has_builtin(__builtin_mul_overflow)
95# define MUL_OVERFLOW_P(a, b) \
96 __extension__ ({ __typeof__(a) c; __builtin_mul_overflow((a), (b), &c); })
99#define MUL_OVERFLOW_SIGNED_INTEGER_P(a, b, min, max) ( \
101 (a) == -1 ? (b) < -(max) : \
103 ((b) > 0 ? (max) / (a) < (b) : (min) / (a) > (b)) : \
104 ((b) > 0 ? (min) / (a) < (b) : (max) / (a) > (b)))
106#define MUL_OVERFLOW_UNSIGNED_INTEGER_P(a, b, max) ((a) > 0 && ((b) > (max) / (a)))
108#if __has_builtin(__builtin_mul_overflow_p)
111# define MUL_OVERFLOW_FIXNUM_P(a, b) \
113 struct { long fixnum : sizeof(long) * CHAR_BIT - 1; } c = { 0 }; \
114 __builtin_mul_overflow_p((a), (b), c.fixnum); \
117# define MUL_OVERFLOW_FIXNUM_P(a, b) \
118 MUL_OVERFLOW_SIGNED_INTEGER_P(a, b, FIXNUM_MIN, FIXNUM_MAX)
121#if defined(MUL_OVERFLOW_P) && defined(USE___BUILTIN_MUL_OVERFLOW_LONG_LONG)
122# define MUL_OVERFLOW_LONG_LONG_P(a, b) MUL_OVERFLOW_P(a, b)
124# define MUL_OVERFLOW_LONG_LONG_P(a, b) MUL_OVERFLOW_SIGNED_INTEGER_P(a, b, LLONG_MIN, LLONG_MAX)
128# define MUL_OVERFLOW_LONG_P(a, b) MUL_OVERFLOW_P(a, b)
129# define MUL_OVERFLOW_INT_P(a, b) MUL_OVERFLOW_P(a, b)
131# define MUL_OVERFLOW_LONG_P(a, b) MUL_OVERFLOW_SIGNED_INTEGER_P(a, b, LONG_MIN, LONG_MAX)
132# define MUL_OVERFLOW_INT_P(a, b) MUL_OVERFLOW_SIGNED_INTEGER_P(a, b, INT_MIN, INT_MAX)
135#if SIZEOF_RB_LEN_T > SIZEOF_LONG
136# define MUL_OVERFLOW_LEN_P(a, b) MUL_OVERFLOW_LONG_LONG_P(a, b)
137#elif SIZEOF_RB_LEN_T > SIZEOF_INT
138# define MUL_OVERFLOW_LEN_P(a, b) MUL_OVERFLOW_LONG_P(a, b)
140# define MUL_OVERFLOW_LEN_P(a, b) MUL_OVERFLOW_INT_P(a, b)
143#define MUL_OVERFLOW_SIZE_P(a, b) MUL_OVERFLOW_UNSIGNED_INTEGER_P(a, b, SIZE_MAX)
146#ifndef ADD_OVERFLOW_SIGNED_INTEGER_P
147#if __has_builtin(__builtin_add_overflow_p)
148# define ADD_OVERFLOW_P(a, b) \
149 __builtin_add_overflow_p((a), (b), (__typeof__(a * b))0)
150#elif __has_builtin(__builtin_add_overflow)
151# define ADD_OVERFLOW_P(a, b) \
152 __extension__ ({ __typeof__(a) c; __builtin_add_overflow((a), (b), &c); })
155#define ADD_OVERFLOW_SIGNED_INTEGER_P(a, b, min, max) ( \
156 (a) > 0 ? (b) > (max) - (a) : (b) < (min) - (a))
158#define ADD_OVERFLOW_UNSIGNED_INTEGER_P(a, b, max) ((b) > (max) - (a))
160#if __has_builtin(__builtin_add_overflow_p)
163# define ADD_OVERFLOW_FIXNUM_P(a, b) \
165 struct { long fixnum : sizeof(long) * CHAR_BIT - 1; } c = { 0 }; \
166 __builtin_add_overflow_p((a), (b), c.fixnum); \
169# define ADD_OVERFLOW_FIXNUM_P(a, b) \
170 ADD_OVERFLOW_SIGNED_INTEGER_P(a, b, FIXNUM_MIN, FIXNUM_MAX)
173#if defined(ADD_OVERFLOW_P) && defined(USE___BUILTIN_ADD_OVERFLOW_LONG_LONG)
174# define ADD_OVERFLOW_LONG_LONG_P(a, b) ADD_OVERFLOW_P(a, b)
176# define ADD_OVERFLOW_LONG_LONG_P(a, b) ADD_OVERFLOW_SIGNED_INTEGER_P(a, b, LLONG_MIN, LLONG_MAX)
180# define ADD_OVERFLOW_LONG_P(a, b) ADD_OVERFLOW_P(a, b)
181# define ADD_OVERFLOW_INT_P(a, b) ADD_OVERFLOW_P(a, b)
183# define ADD_OVERFLOW_LONG_P(a, b) ADD_OVERFLOW_SIGNED_INTEGER_P(a, b, LONG_MIN, LONG_MAX)
184# define ADD_OVERFLOW_INT_P(a, b) ADD_OVERFLOW_SIGNED_INTEGER_P(a, b, INT_MIN, INT_MAX)
187#if SIZEOF_RB_LEN_T > SIZEOF_LONG
188# define ADD_OVERFLOW_LEN_P(a, b) ADD_OVERFLOW_LONG_LONG_P(a, b)
189#elif SIZEOF_RB_LEN_T > SIZEOF_INT
190# define ADD_OVERFLOW_LEN_P(a, b) ADD_OVERFLOW_LONG_P(a, b)
192# define ADD_OVERFLOW_LEN_P(a, b) ADD_OVERFLOW_INT_P(a, b)
195#define ADD_OVERFLOW_SIZE_P(a, b) ADD_OVERFLOW_UNSIGNED_INTEGER_P(a, b SIZE_MAX)
198#ifndef SUB_OVERFLOW_SIGNED_INTEGER_P
199#if __has_builtin(__builtin_sub_overflow_p)
200# define SUB_OVERFLOW_P(a, b) \
201 __builtin_sub_overflow_p((a), (b), (__typeof__(a * b))0)
202#elif __has_builtin(__builtin_sub_overflow)
203# define SUB_OVERFLOW_P(a, b) \
204 __extension__ ({ __typeof__(a) c; __builtin_sub_overflow((a), (b), &c); })
207#define SUB_OVERFLOW_SIGNED_INTEGER_P(a, b, min, max) ( \
208 (b) > 0 ? (a) < (min) + (b) : (a) > (max) + (b))
210#define SUB_OVERFLOW_UNSIGNED_INTEGER_P(a, b) ((a) < (b))
212#if __has_builtin(__builtin_sub_overflow_p)
215# define SUB_OVERFLOW_FIXNUM_P(a, b) \
217 struct { long fixnum : sizeof(long) * CHAR_BIT - 1; } c = { 0 }; \
218 __builtin_sub_overflow_p((a), (b), c.fixnum); \
221# define SUB_OVERFLOW_FIXNUM_P(a, b) \
222 SUB_OVERFLOW_SIGNED_INTEGER_P(a, b, FIXNUM_MIN, FIXNUM_MAX)
225#if defined(SUB_OVERFLOW_P) && defined(USE___BUILTIN_SUB_OVERFLOW_LONG_LONG)
226# define SUB_OVERFLOW_LONG_LONG_P(a, b) SUB_OVERFLOW_P(a, b)
228# define SUB_OVERFLOW_LONG_LONG_P(a, b) SUB_OVERFLOW_SIGNED_INTEGER_P(a, b, LLONG_MIN, LLONG_MAX)
232# define SUB_OVERFLOW_LONG_P(a, b) SUB_OVERFLOW_P(a, b)
233# define SUB_OVERFLOW_INT_P(a, b) SUB_OVERFLOW_P(a, b)
235# define SUB_OVERFLOW_LONG_P(a, b) SUB_OVERFLOW_SIGNED_INTEGER_P(a, b, LONG_MIN, LONG_MAX)
236# define SUB_OVERFLOW_INT_P(a, b) SUB_OVERFLOW_SIGNED_INTEGER_P(a, b, INT_MIN, INT_MAX)
239#if SIZEOF_RB_LEN_T > SIZEOF_LONG
240# define SUB_OVERFLOW_LEN_P(a, b) SUB_OVERFLOW_LONG_LONG_P(a, b)
241#elif SIZEOF_RB_LEN_T > SIZEOF_INT
242# define SUB_OVERFLOW_LEN_P(a, b) SUB_OVERFLOW_LONG_P(a, b)
244# define SUB_OVERFLOW_LEN_P(a, b) SUB_OVERFLOW_INT_P(a, b)
247#define SUB_OVERFLOW_SIZE_P(a, b) SUB_OVERFLOW_UNSIGNED_INTEGER_P(a, b SIZE_MAX)
251# define bit_length(x) \
253 (sizeof(x) <= sizeof(int32_t) ? 32 - nlz_int32((uint32_t)(x)) : \
254 sizeof(x) <= sizeof(int64_t) ? 64 - nlz_int64((uint64_t)(x)) : \
255 128 - nlz_int128((uint128_t)(x)))
257# define bit_length(x) \
259 (sizeof(x) <= sizeof(int32_t) ? 32 - nlz_int32((uint32_t)(x)) : \
260 64 - nlz_int64((uint64_t)(x)))
264# define swap16 ruby_swap16
268# define swap32 ruby_swap32
272# define swap64 ruby_swap64
275static inline uint16_t ruby_swap16(uint16_t);
276static inline uint32_t ruby_swap32(uint32_t);
277static inline uint64_t ruby_swap64(uint64_t);
278static inline unsigned nlz_int(
unsigned x);
279static inline unsigned nlz_long(
unsigned long x);
280static inline unsigned nlz_long_long(
unsigned long long x);
281static inline unsigned nlz_intptr(uintptr_t x);
282static inline unsigned nlz_int32(uint32_t x);
283static inline unsigned nlz_int64(uint64_t x);
285static inline unsigned nlz_int128(uint128_t x);
287static inline unsigned rb_popcount32(uint32_t x);
288static inline unsigned rb_popcount64(uint64_t x);
289static inline unsigned rb_popcount_intptr(uintptr_t x);
290static inline int ntz_int32(uint32_t x);
291static inline int ntz_int64(uint64_t x);
292static inline int ntz_intptr(uintptr_t x);
296static inline uint16_t
297ruby_swap16(uint16_t x)
299#if __has_builtin(__builtin_bswap16)
300 return __builtin_bswap16(x);
302#elif defined(_MSC_VER)
303 return _byteswap_ushort(x);
306 return (x << 8) | (x >> 8);
311static inline uint32_t
312ruby_swap32(uint32_t x)
314#if __has_builtin(__builtin_bswap32)
315 return __builtin_bswap32(x);
317#elif defined(_MSC_VER)
318 return _byteswap_ulong(x);
321 x = ((x & 0x0000FFFF) << 16) | ((x & 0xFFFF0000) >> 16);
322 x = ((x & 0x00FF00FF) << 8) | ((x & 0xFF00FF00) >> 8);
328static inline uint64_t
329ruby_swap64(uint64_t x)
331#if __has_builtin(__builtin_bswap64)
332 return __builtin_bswap64(x);
334#elif defined(_MSC_VER)
335 return _byteswap_uint64(x);
338 x = ((x & 0x00000000FFFFFFFFULL) << 32) | ((x & 0xFFFFFFFF00000000ULL) >> 32);
339 x = ((x & 0x0000FFFF0000FFFFULL) << 16) | ((x & 0xFFFF0000FFFF0000ULL) >> 16);
340 x = ((x & 0x00FF00FF00FF00FFULL) << 8) | ((x & 0xFF00FF00FF00FF00ULL) >> 8);
346static inline unsigned int
349#if defined(_MSC_VER) && defined(__AVX2__)
354 return (
unsigned int)__lzcnt(x);
356#elif defined(__x86_64__) && defined(__LZCNT__)
357 return (
unsigned int)_lzcnt_u32(x);
359#elif defined(_MSC_VER)
361 return _BitScanReverse(&r, x) ? (31 - (int)r) : 32;
363#elif __has_builtin(__builtin_clz)
364 STATIC_ASSERT(sizeof_int,
sizeof(
int) * CHAR_BIT == 32);
365 return x ? (
unsigned int)__builtin_clz(x) : 32;
370 y = x >> 16;
if (y) {n -= 16; x = y;}
371 y = x >> 8;
if (y) {n -= 8; x = y;}
372 y = x >> 4;
if (y) {n -= 4; x = y;}
373 y = x >> 2;
if (y) {n -= 2; x = y;}
374 y = x >> 1;
if (y) {
return n - 2;}
375 return (
unsigned int)(n - x);
379static inline unsigned int
382#if defined(_MSC_VER) && defined(__AVX2__)
383 return (
unsigned int)__lzcnt64(x);
385#elif defined(__x86_64__) && defined(__LZCNT__)
386 return (
unsigned int)_lzcnt_u64(x);
388#elif defined(_WIN64) && defined(_MSC_VER)
390 return _BitScanReverse64(&r, x) ? (63u - (
unsigned int)r) : 64;
392#elif __has_builtin(__builtin_clzl)
396 else if (
sizeof(
long) * CHAR_BIT == 64) {
397 return (
unsigned int)__builtin_clzl((
unsigned long)x);
399 else if (
sizeof(
long long) * CHAR_BIT == 64) {
400 return (
unsigned int)__builtin_clzll((
unsigned long long)x);
410 y = x >> 32;
if (y) {n -= 32; x = y;}
411 y = x >> 16;
if (y) {n -= 16; x = y;}
412 y = x >> 8;
if (y) {n -= 8; x = y;}
413 y = x >> 4;
if (y) {n -= 4; x = y;}
414 y = x >> 2;
if (y) {n -= 2; x = y;}
415 y = x >> 1;
if (y) {
return n - 2;}
416 return (
unsigned int)(n - x);
422static inline unsigned int
423nlz_int128(uint128_t x)
425 uint64_t y = (uint64_t)(x >> 64);
431 return (
unsigned int)nlz_int64(x) + 64;
434 return (
unsigned int)nlz_int64(y);
439static inline unsigned int
440nlz_int(
unsigned int x)
442 if (
sizeof(
unsigned int) * CHAR_BIT == 32) {
443 return nlz_int32((uint32_t)x);
445 else if (
sizeof(
unsigned int) * CHAR_BIT == 64) {
446 return nlz_int64((uint64_t)x);
453static inline unsigned int
454nlz_long(
unsigned long x)
456 if (
sizeof(
unsigned long) * CHAR_BIT == 32) {
457 return nlz_int32((uint32_t)x);
459 else if (
sizeof(
unsigned long) * CHAR_BIT == 64) {
460 return nlz_int64((uint64_t)x);
467static inline unsigned int
468nlz_long_long(
unsigned long long x)
470 if (
sizeof(
unsigned long long) * CHAR_BIT == 64) {
471 return nlz_int64((uint64_t)x);
474 else if (
sizeof(
unsigned long long) * CHAR_BIT == 128) {
475 return nlz_int128((uint128_t)x);
483static inline unsigned int
484nlz_intptr(uintptr_t x)
486 if (
sizeof(uintptr_t) ==
sizeof(
unsigned int)) {
487 return nlz_int((
unsigned int)x);
489 if (
sizeof(uintptr_t) ==
sizeof(
unsigned long)) {
490 return nlz_long((
unsigned long)x);
492 if (
sizeof(uintptr_t) ==
sizeof(
unsigned long long)) {
493 return nlz_long_long((
unsigned long long)x);
500static inline unsigned int
501rb_popcount32(uint32_t x)
503#if defined(_MSC_VER) && defined(__AVX__)
507 return (
unsigned int)__popcnt(x);
509#elif __has_builtin(__builtin_popcount)
510 STATIC_ASSERT(sizeof_int,
sizeof(
int) * CHAR_BIT >= 32);
511 return (
unsigned int)__builtin_popcount(x);
514 x = (x & 0x55555555) + (x >> 1 & 0x55555555);
515 x = (x & 0x33333333) + (x >> 2 & 0x33333333);
516 x = (x & 0x07070707) + (x >> 4 & 0x07070707);
517 x = (x & 0x000f000f) + (x >> 8 & 0x000f000f);
518 x = (x & 0x0000001f) + (x >>16 & 0x0000001f);
519 return (
unsigned int)x;
524static inline unsigned int
525rb_popcount64(uint64_t x)
527#if defined(_MSC_VER) && defined(__AVX__)
528 return (
unsigned int)__popcnt64(x);
530#elif __has_builtin(__builtin_popcount)
531 if (
sizeof(
long) * CHAR_BIT == 64) {
532 return (
unsigned int)__builtin_popcountl((
unsigned long)x);
534 else if (
sizeof(
long long) * CHAR_BIT == 64) {
535 return (
unsigned int)__builtin_popcountll((
unsigned long long)x);
543 x = (x & 0x5555555555555555) + (x >> 1 & 0x5555555555555555);
544 x = (x & 0x3333333333333333) + (x >> 2 & 0x3333333333333333);
545 x = (x & 0x0707070707070707) + (x >> 4 & 0x0707070707070707);
546 x = (x & 0x000f000f000f000f) + (x >> 8 & 0x000f000f000f000f);
547 x = (x & 0x0000001f0000001f) + (x >>16 & 0x0000001f0000001f);
548 x = (x & 0x000000000000003f) + (x >>32 & 0x000000000000003f);
549 return (
unsigned int)x;
554static inline unsigned int
555rb_popcount_intptr(uintptr_t x)
557 if (
sizeof(uintptr_t) * CHAR_BIT == 64) {
558 return rb_popcount64((uint64_t)x);
560 else if (
sizeof(uintptr_t) * CHAR_BIT == 32) {
561 return rb_popcount32((uint32_t)x);
571#if defined(__x86_64__) && defined(__BMI__)
572 return (
unsigned)_tzcnt_u32(x);
574#elif defined(_MSC_VER)
578 return _BitScanForward(&r, x) ? (int)r : 32;
580#elif __has_builtin(__builtin_ctz)
581 STATIC_ASSERT(sizeof_int,
sizeof(
int) * CHAR_BIT == 32);
582 return x ? (unsigned)__builtin_ctz(x) : 32;
585 return rb_popcount32((~x) & (x-1));
593#if defined(__x86_64__) && defined(__BMI__)
594 return (
unsigned)_tzcnt_u64(x);
596#elif defined(_WIN64) && defined(_MSC_VER)
598 return _BitScanForward64(&r, x) ? (int)r : 64;
600#elif __has_builtin(__builtin_ctzl)
604 else if (
sizeof(
long) * CHAR_BIT == 64) {
605 return (
unsigned)__builtin_ctzl((
unsigned long)x);
607 else if (
sizeof(
long long) * CHAR_BIT == 64) {
608 return (
unsigned)__builtin_ctzll((
unsigned long long)x);
616 return rb_popcount64((~x) & (x-1));
622ntz_intptr(uintptr_t x)
624 if (
sizeof(uintptr_t) * CHAR_BIT == 64) {
625 return ntz_int64((uint64_t)x);
627 else if (
sizeof(uintptr_t) * CHAR_BIT == 32) {
628 return ntz_int32((uint32_t)x);
636RUBY_BIT_ROTL(
VALUE v,
int n)
638#if __has_builtin(__builtin_rotateleft32) && (SIZEOF_VALUE * CHAR_BIT == 32)
639 return __builtin_rotateleft32(v, n);
641#elif __has_builtin(__builtin_rotateleft64) && (SIZEOF_VALUE * CHAR_BIT == 64)
642 return __builtin_rotateleft64(v, n);
644#elif defined(_MSC_VER) && (SIZEOF_VALUE * CHAR_BIT == 32)
647#elif defined(_MSC_VER) && (SIZEOF_VALUE * CHAR_BIT == 64)
648 return _rotl64(v, n);
650#elif defined(_lrotl) && (SIZEOF_VALUE == SIZEOF_LONG)
654 const int m = (
sizeof(
VALUE) * CHAR_BIT) - 1;
655 return (v << (n & m)) | (v >> (-n & m));
660RUBY_BIT_ROTR(
VALUE v,
int n)
662#if __has_builtin(__builtin_rotateright32) && (SIZEOF_VALUE * CHAR_BIT == 32)
663 return __builtin_rotateright32(v, n);
665#elif __has_builtin(__builtin_rotateright64) && (SIZEOF_VALUE * CHAR_BIT == 64)
666 return __builtin_rotateright64(v, n);
668#elif defined(_MSC_VER) && (SIZEOF_VALUE * CHAR_BIT == 32)
671#elif defined(_MSC_VER) && (SIZEOF_VALUE * CHAR_BIT == 64)
672 return _rotr64(v, n);
674#elif defined(_lrotr) && (SIZEOF_VALUE == SIZEOF_LONG)
678 const int m = (
sizeof(
VALUE) * CHAR_BIT) - 1;
679 return (v << (-n & m)) | (v >> (n & m));
#define UNREACHABLE_RETURN
Old name of RBIMPL_UNREACHABLE_RETURN.
uintptr_t VALUE
Type that represents a Ruby object.