blob: 7a4be3ce4c383e7b7768e929937c7f59d9b3fdb1 [file] [log] [blame]
Ed Warnickecb9cada2015-12-08 15:45:58 -07001/*
2 * Copyright (c) 2015 Cisco and/or its affiliates.
3 * Licensed under the Apache License, Version 2.0 (the "License");
4 * you may not use this file except in compliance with the License.
5 * You may obtain a copy of the License at:
6 *
7 * http://www.apache.org/licenses/LICENSE-2.0
8 *
9 * Unless required by applicable law or agreed to in writing, software
10 * distributed under the License is distributed on an "AS IS" BASIS,
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 * See the License for the specific language governing permissions and
13 * limitations under the License.
14 */
15/*
16 Copyright (c) 2005 Eliot Dresselhaus
17
18 Permission is hereby granted, free of charge, to any person obtaining
19 a copy of this software and associated documentation files (the
20 "Software"), to deal in the Software without restriction, including
21 without limitation the rights to use, copy, modify, merge, publish,
22 distribute, sublicense, and/or sell copies of the Software, and to
23 permit persons to whom the Software is furnished to do so, subject to
24 the following conditions:
25
26 The above copyright notice and this permission notice shall be
27 included in all copies or substantial portions of the Software.
28
29 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
30 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
31 MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
32 NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
33 LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
34 OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
35 WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
36*/
37
38#ifndef included_clib_bitops_h
39#define included_clib_bitops_h
40
Zachary Leaf268d7be2022-05-12 02:26:00 -050041#define SET_BIT(i) (1 << i)
42#define GET_BIT(n, i) (n >> i) & 1U
43
Damjan Marion7b90f662022-01-13 00:28:14 +010044static_always_inline uword
45clear_lowest_set_bit (uword x)
46{
47#ifdef __BMI__
48 return uword_bits > 32 ? _blsr_u64 (x) : _blsr_u32 (x);
49#else
50 return x & (x - 1);
51#endif
52}
53
54static_always_inline uword
55get_lowest_set_bit (uword x)
56{
57#ifdef __BMI__
58 return uword_bits > 32 ? _blsi_u64 (x) : _blsi_u32 (x);
59#else
60 return x & -x;
61#endif
62}
63
64static_always_inline u8
65get_lowest_set_bit_index (uword x)
66{
67 return uword_bits > 32 ? __builtin_ctzll (x) : __builtin_ctz (x);
68}
Ed Warnickecb9cada2015-12-08 15:45:58 -070069
70/* Population count from Hacker's Delight. */
Dave Barachc3799992016-08-15 11:12:27 -040071always_inline uword
72count_set_bits (uword x)
Ed Warnickecb9cada2015-12-08 15:45:58 -070073{
Damjan Marion23e310a2018-05-10 03:04:08 +020074#ifdef __POPCNT__
Damjan Marion7b90f662022-01-13 00:28:14 +010075 return uword_bits > 32 ? __builtin_popcountll (x) : __builtin_popcount (x);
Damjan Marion23e310a2018-05-10 03:04:08 +020076#else
Ed Warnickecb9cada2015-12-08 15:45:58 -070077#if uword_bits == 64
78 const uword c1 = 0x5555555555555555;
79 const uword c2 = 0x3333333333333333;
80 const uword c3 = 0x0f0f0f0f0f0f0f0f;
81#else
82 const uword c1 = 0x55555555;
83 const uword c2 = 0x33333333;
84 const uword c3 = 0x0f0f0f0f;
85#endif
86
87 /* Sum 1 bit at a time. */
88 x = x - ((x >> (uword) 1) & c1);
89
90 /* 2 bits at a time. */
91 x = (x & c2) + ((x >> (uword) 2) & c2);
92
93 /* 4 bits at a time. */
94 x = (x + (x >> (uword) 4)) & c3;
95
96 /* 8, 16, 32 bits at a time. */
97 x = x + (x >> (uword) 8);
98 x = x + (x >> (uword) 16);
99#if uword_bits == 64
100 x = x + (x >> (uword) 32);
101#endif
102
Dave Barachc3799992016-08-15 11:12:27 -0400103 return x & (2 * BITS (uword) - 1);
Damjan Marion23e310a2018-05-10 03:04:08 +0200104#endif
Ed Warnickecb9cada2015-12-08 15:45:58 -0700105}
106
Damjan Marion7b90f662022-01-13 00:28:14 +0100107#if uword_bits == 64
108#define count_leading_zeros(x) __builtin_clzll (x)
109#else
110#define count_leading_zeros(x) __builtin_clzll (x)
111#endif
112
113#define count_trailing_zeros(x) get_lowest_set_bit_index (x)
114#define log2_first_set(x) get_lowest_set_bit_index (x)
115
Ed Warnickecb9cada2015-12-08 15:45:58 -0700116/* Based on "Hacker's Delight" code from GLS. */
Dave Barachc3799992016-08-15 11:12:27 -0400117typedef struct
118{
Ed Warnickecb9cada2015-12-08 15:45:58 -0700119 uword masks[1 + log2_uword_bits];
120} compress_main_t;
121
122always_inline void
123compress_init (compress_main_t * cm, uword mask)
124{
125 uword q, m, zm, n, i;
126
127 m = ~mask;
128 zm = mask;
129
130 cm->masks[0] = mask;
131 for (i = 0; i < log2_uword_bits; i++)
132 {
133 q = m;
134 m ^= m << 1;
135 m ^= m << 2;
136 m ^= m << 4;
137 m ^= m << 8;
138 m ^= m << 16;
139#if uword_bits > 32
140 m ^= m << (uword) 32;
141#endif
142 cm->masks[1 + i] = n = (m << 1) & zm;
143 m = q & ~m;
144 q = zm & n;
145 zm = zm ^ q ^ (q >> (1 << i));
146 }
147}
148
149always_inline uword
150compress_bits (compress_main_t * cm, uword x)
151{
152 uword q, r;
153
154 r = x & cm->masks[0];
Dave Barachc3799992016-08-15 11:12:27 -0400155 q = r & cm->masks[1];
156 r ^= q ^ (q >> 1);
157 q = r & cm->masks[2];
158 r ^= q ^ (q >> 2);
159 q = r & cm->masks[3];
160 r ^= q ^ (q >> 4);
161 q = r & cm->masks[4];
162 r ^= q ^ (q >> 8);
163 q = r & cm->masks[5];
164 r ^= q ^ (q >> 16);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700165#if uword_bits > 32
Dave Barachc3799992016-08-15 11:12:27 -0400166 q = r & cm->masks[6];
167 r ^= q ^ (q >> (uword) 32);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700168#endif
169
170 return r;
171}
172
173always_inline uword
174rotate_left (uword x, uword i)
Dave Barachc3799992016-08-15 11:12:27 -0400175{
176 return (x << i) | (x >> (BITS (i) - i));
177}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700178
179always_inline uword
180rotate_right (uword x, uword i)
Dave Barachc3799992016-08-15 11:12:27 -0400181{
182 return (x >> i) | (x << (BITS (i) - i));
183}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700184
185/* Returns snoob from Hacker's Delight. Next highest number
186 with same number of set bits. */
187always_inline uword
188next_with_same_number_of_set_bits (uword x)
189{
190 uword smallest, ripple, ones;
191 smallest = x & -x;
192 ripple = x + smallest;
193 ones = x ^ ripple;
194 ones = ones >> (2 + log2_first_set (x));
195 return ripple | ones;
196}
197
Damjan Marion7b90f662022-01-13 00:28:14 +0100198#define foreach_set_bit_index(i, v) \
199 for (uword _tmp = (v) + 0 * (uword) (i = get_lowest_set_bit_index (v)); \
200 _tmp; \
201 i = get_lowest_set_bit_index (_tmp = clear_lowest_set_bit (_tmp)))
Ed Warnickecb9cada2015-12-08 15:45:58 -0700202
Damjan Marionfdc874a2022-01-05 14:06:34 +0100203#else
Damjan Marion7b90f662022-01-13 00:28:14 +0100204#warning "already included"
Ed Warnickecb9cada2015-12-08 15:45:58 -0700205#endif /* included_clib_bitops_h */
Dave Barachc3799992016-08-15 11:12:27 -0400206
207/*
208 * fd.io coding-style-patch-verification: ON
209 *
210 * Local Variables:
211 * eval: (c-set-style "gnu")
212 * End:
213 */