1 /* integer_length_l - find most significant bit in an 'unsigned long'.
2 Copyright (C) 2011-2024 Free Software Foundation, Inc.
4 This file is free software: you can redistribute it and/or modify
5 it under the terms of the GNU Lesser General Public License as
6 published by the Free Software Foundation; either version 2.1 of the
7 License, or (at your option) any later version.
9 This file is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU Lesser General Public License for more details.
14 You should have received a copy of the GNU Lesser General Public License
15 along with this program. If not, see <https://www.gnu.org/licenses/>. */
17 /* Written by Bruno Haible <bruno@clisp.org>, 2011. */
22 #include "integer_length.h"
28 #define MIN(a,b) ((a) < (b) ? (a) : (b))
31 # define FUNC integer_length_ll
32 # define TYPE unsigned long long
33 # define GCC_BUILTIN __builtin_clzll
35 # define MSVC_BUILTIN _BitScanReverse64
38 # define FUNC integer_length_l
39 # define TYPE unsigned long
40 # define GCC_BUILTIN __builtin_clzl
41 # define MSVC_BUILTIN _BitScanReverse
44 #if defined _MSC_VER && !(__clang_major__ >= 4)
46 /* Copied from integer_length.c. */
48 integer_length (unsigned int x
)
51 <https://docs.microsoft.com/en-us/cpp/intrinsics/bitscanreverse-bitscanreverse64> */
53 if (_BitScanReverse (&bit
, x
))
60 #define NBITS (sizeof (TYPE) * CHAR_BIT)
62 /* Modify shift count to be in bounds, even in dead code, otherwise GCC
63 emits warnings "right shift count >= width of type". */
64 #define MSC(i) MIN (i, NBITS - 1)
69 #if __GNUC__ > 3 || (__GNUC__ == 3 && __GNUC_MINOR__ >= 4) || (__clang_major__ >= 4)
73 return NBITS
- GCC_BUILTIN (x
);
74 #elif defined _MSC_VER && defined MSVC_BUILTIN
75 /* _BitScanReverse, _BitScanReverse64
76 <https://docs.microsoft.com/en-us/cpp/intrinsics/bitscanreverse-bitscanreverse64> */
78 if (MSVC_BUILTIN (&bit
, x
))
83 /* Split x into chunks, and look at one chunk after the other. */
84 if (sizeof (TYPE
) > 2 * sizeof (unsigned int))
89 for (i
= (sizeof (TYPE
) - 1) / sizeof (unsigned int); i
>= 2; i
--)
91 unsigned int y
= x
>> (i
* sizeof (unsigned int) * CHAR_BIT
);
93 return i
* sizeof (unsigned int) * CHAR_BIT
+ integer_length (y
);
97 /* Unrolled the last 2 loop rounds. */
99 if (sizeof (TYPE
) > 1 * sizeof (unsigned int))
101 unsigned int y
= x
>> MSC (1 * sizeof (unsigned int) * CHAR_BIT
);
103 return 1 * sizeof (unsigned int) * CHAR_BIT
+ integer_length (y
);
107 return integer_length ((unsigned int) x
);