xref: /linux-6.15/tools/include/linux/bitfield.h (revision 590b9495)
1*590b9495SRicardo Koller /* SPDX-License-Identifier: GPL-2.0-only */
2*590b9495SRicardo Koller /*
3*590b9495SRicardo Koller  * Copyright (C) 2014 Felix Fietkau <[email protected]>
4*590b9495SRicardo Koller  * Copyright (C) 2004 - 2009 Ivo van Doorn <[email protected]>
5*590b9495SRicardo Koller  */
6*590b9495SRicardo Koller 
7*590b9495SRicardo Koller #ifndef _LINUX_BITFIELD_H
8*590b9495SRicardo Koller #define _LINUX_BITFIELD_H
9*590b9495SRicardo Koller 
10*590b9495SRicardo Koller #include <linux/build_bug.h>
11*590b9495SRicardo Koller #include <asm/byteorder.h>
12*590b9495SRicardo Koller 
13*590b9495SRicardo Koller /*
14*590b9495SRicardo Koller  * Bitfield access macros
15*590b9495SRicardo Koller  *
16*590b9495SRicardo Koller  * FIELD_{GET,PREP} macros take as first parameter shifted mask
17*590b9495SRicardo Koller  * from which they extract the base mask and shift amount.
18*590b9495SRicardo Koller  * Mask must be a compilation time constant.
19*590b9495SRicardo Koller  *
20*590b9495SRicardo Koller  * Example:
21*590b9495SRicardo Koller  *
22*590b9495SRicardo Koller  *  #define REG_FIELD_A  GENMASK(6, 0)
23*590b9495SRicardo Koller  *  #define REG_FIELD_B  BIT(7)
24*590b9495SRicardo Koller  *  #define REG_FIELD_C  GENMASK(15, 8)
25*590b9495SRicardo Koller  *  #define REG_FIELD_D  GENMASK(31, 16)
26*590b9495SRicardo Koller  *
27*590b9495SRicardo Koller  * Get:
28*590b9495SRicardo Koller  *  a = FIELD_GET(REG_FIELD_A, reg);
29*590b9495SRicardo Koller  *  b = FIELD_GET(REG_FIELD_B, reg);
30*590b9495SRicardo Koller  *
31*590b9495SRicardo Koller  * Set:
32*590b9495SRicardo Koller  *  reg = FIELD_PREP(REG_FIELD_A, 1) |
33*590b9495SRicardo Koller  *	  FIELD_PREP(REG_FIELD_B, 0) |
34*590b9495SRicardo Koller  *	  FIELD_PREP(REG_FIELD_C, c) |
35*590b9495SRicardo Koller  *	  FIELD_PREP(REG_FIELD_D, 0x40);
36*590b9495SRicardo Koller  *
37*590b9495SRicardo Koller  * Modify:
38*590b9495SRicardo Koller  *  reg &= ~REG_FIELD_C;
39*590b9495SRicardo Koller  *  reg |= FIELD_PREP(REG_FIELD_C, c);
40*590b9495SRicardo Koller  */
41*590b9495SRicardo Koller 
42*590b9495SRicardo Koller #define __bf_shf(x) (__builtin_ffsll(x) - 1)
43*590b9495SRicardo Koller 
44*590b9495SRicardo Koller #define __scalar_type_to_unsigned_cases(type)				\
45*590b9495SRicardo Koller 		unsigned type:	(unsigned type)0,			\
46*590b9495SRicardo Koller 		signed type:	(unsigned type)0
47*590b9495SRicardo Koller 
48*590b9495SRicardo Koller #define __unsigned_scalar_typeof(x) typeof(				\
49*590b9495SRicardo Koller 		_Generic((x),						\
50*590b9495SRicardo Koller 			char:	(unsigned char)0,			\
51*590b9495SRicardo Koller 			__scalar_type_to_unsigned_cases(char),		\
52*590b9495SRicardo Koller 			__scalar_type_to_unsigned_cases(short),		\
53*590b9495SRicardo Koller 			__scalar_type_to_unsigned_cases(int),		\
54*590b9495SRicardo Koller 			__scalar_type_to_unsigned_cases(long),		\
55*590b9495SRicardo Koller 			__scalar_type_to_unsigned_cases(long long),	\
56*590b9495SRicardo Koller 			default: (x)))
57*590b9495SRicardo Koller 
58*590b9495SRicardo Koller #define __bf_cast_unsigned(type, x)	((__unsigned_scalar_typeof(type))(x))
59*590b9495SRicardo Koller 
60*590b9495SRicardo Koller #define __BF_FIELD_CHECK(_mask, _reg, _val, _pfx)			\
61*590b9495SRicardo Koller 	({								\
62*590b9495SRicardo Koller 		BUILD_BUG_ON_MSG(!__builtin_constant_p(_mask),		\
63*590b9495SRicardo Koller 				 _pfx "mask is not constant");		\
64*590b9495SRicardo Koller 		BUILD_BUG_ON_MSG((_mask) == 0, _pfx "mask is zero");	\
65*590b9495SRicardo Koller 		BUILD_BUG_ON_MSG(__builtin_constant_p(_val) ?		\
66*590b9495SRicardo Koller 				 ~((_mask) >> __bf_shf(_mask)) & (_val) : 0, \
67*590b9495SRicardo Koller 				 _pfx "value too large for the field"); \
68*590b9495SRicardo Koller 		BUILD_BUG_ON_MSG(__bf_cast_unsigned(_mask, _mask) >	\
69*590b9495SRicardo Koller 				 __bf_cast_unsigned(_reg, ~0ull),	\
70*590b9495SRicardo Koller 				 _pfx "type of reg too small for mask"); \
71*590b9495SRicardo Koller 		__BUILD_BUG_ON_NOT_POWER_OF_2((_mask) +			\
72*590b9495SRicardo Koller 					      (1ULL << __bf_shf(_mask))); \
73*590b9495SRicardo Koller 	})
74*590b9495SRicardo Koller 
75*590b9495SRicardo Koller /**
76*590b9495SRicardo Koller  * FIELD_MAX() - produce the maximum value representable by a field
77*590b9495SRicardo Koller  * @_mask: shifted mask defining the field's length and position
78*590b9495SRicardo Koller  *
79*590b9495SRicardo Koller  * FIELD_MAX() returns the maximum value that can be held in the field
80*590b9495SRicardo Koller  * specified by @_mask.
81*590b9495SRicardo Koller  */
82*590b9495SRicardo Koller #define FIELD_MAX(_mask)						\
83*590b9495SRicardo Koller 	({								\
84*590b9495SRicardo Koller 		__BF_FIELD_CHECK(_mask, 0ULL, 0ULL, "FIELD_MAX: ");	\
85*590b9495SRicardo Koller 		(typeof(_mask))((_mask) >> __bf_shf(_mask));		\
86*590b9495SRicardo Koller 	})
87*590b9495SRicardo Koller 
88*590b9495SRicardo Koller /**
89*590b9495SRicardo Koller  * FIELD_FIT() - check if value fits in the field
90*590b9495SRicardo Koller  * @_mask: shifted mask defining the field's length and position
91*590b9495SRicardo Koller  * @_val:  value to test against the field
92*590b9495SRicardo Koller  *
93*590b9495SRicardo Koller  * Return: true if @_val can fit inside @_mask, false if @_val is too big.
94*590b9495SRicardo Koller  */
95*590b9495SRicardo Koller #define FIELD_FIT(_mask, _val)						\
96*590b9495SRicardo Koller 	({								\
97*590b9495SRicardo Koller 		__BF_FIELD_CHECK(_mask, 0ULL, 0ULL, "FIELD_FIT: ");	\
98*590b9495SRicardo Koller 		!((((typeof(_mask))_val) << __bf_shf(_mask)) & ~(_mask)); \
99*590b9495SRicardo Koller 	})
100*590b9495SRicardo Koller 
101*590b9495SRicardo Koller /**
102*590b9495SRicardo Koller  * FIELD_PREP() - prepare a bitfield element
103*590b9495SRicardo Koller  * @_mask: shifted mask defining the field's length and position
104*590b9495SRicardo Koller  * @_val:  value to put in the field
105*590b9495SRicardo Koller  *
106*590b9495SRicardo Koller  * FIELD_PREP() masks and shifts up the value.  The result should
107*590b9495SRicardo Koller  * be combined with other fields of the bitfield using logical OR.
108*590b9495SRicardo Koller  */
109*590b9495SRicardo Koller #define FIELD_PREP(_mask, _val)						\
110*590b9495SRicardo Koller 	({								\
111*590b9495SRicardo Koller 		__BF_FIELD_CHECK(_mask, 0ULL, _val, "FIELD_PREP: ");	\
112*590b9495SRicardo Koller 		((typeof(_mask))(_val) << __bf_shf(_mask)) & (_mask);	\
113*590b9495SRicardo Koller 	})
114*590b9495SRicardo Koller 
115*590b9495SRicardo Koller /**
116*590b9495SRicardo Koller  * FIELD_GET() - extract a bitfield element
117*590b9495SRicardo Koller  * @_mask: shifted mask defining the field's length and position
118*590b9495SRicardo Koller  * @_reg:  value of entire bitfield
119*590b9495SRicardo Koller  *
120*590b9495SRicardo Koller  * FIELD_GET() extracts the field specified by @_mask from the
121*590b9495SRicardo Koller  * bitfield passed in as @_reg by masking and shifting it down.
122*590b9495SRicardo Koller  */
123*590b9495SRicardo Koller #define FIELD_GET(_mask, _reg)						\
124*590b9495SRicardo Koller 	({								\
125*590b9495SRicardo Koller 		__BF_FIELD_CHECK(_mask, _reg, 0U, "FIELD_GET: ");	\
126*590b9495SRicardo Koller 		(typeof(_mask))(((_reg) & (_mask)) >> __bf_shf(_mask));	\
127*590b9495SRicardo Koller 	})
128*590b9495SRicardo Koller 
129*590b9495SRicardo Koller extern void __compiletime_error("value doesn't fit into mask")
130*590b9495SRicardo Koller __field_overflow(void);
131*590b9495SRicardo Koller extern void __compiletime_error("bad bitfield mask")
132*590b9495SRicardo Koller __bad_mask(void);
field_multiplier(u64 field)133*590b9495SRicardo Koller static __always_inline u64 field_multiplier(u64 field)
134*590b9495SRicardo Koller {
135*590b9495SRicardo Koller 	if ((field | (field - 1)) & ((field | (field - 1)) + 1))
136*590b9495SRicardo Koller 		__bad_mask();
137*590b9495SRicardo Koller 	return field & -field;
138*590b9495SRicardo Koller }
field_mask(u64 field)139*590b9495SRicardo Koller static __always_inline u64 field_mask(u64 field)
140*590b9495SRicardo Koller {
141*590b9495SRicardo Koller 	return field / field_multiplier(field);
142*590b9495SRicardo Koller }
143*590b9495SRicardo Koller #define field_max(field)	((typeof(field))field_mask(field))
144*590b9495SRicardo Koller #define ____MAKE_OP(type,base,to,from)					\
145*590b9495SRicardo Koller static __always_inline __##type type##_encode_bits(base v, base field)	\
146*590b9495SRicardo Koller {									\
147*590b9495SRicardo Koller 	if (__builtin_constant_p(v) && (v & ~field_mask(field)))	\
148*590b9495SRicardo Koller 		__field_overflow();					\
149*590b9495SRicardo Koller 	return to((v & field_mask(field)) * field_multiplier(field));	\
150*590b9495SRicardo Koller }									\
151*590b9495SRicardo Koller static __always_inline __##type type##_replace_bits(__##type old,	\
152*590b9495SRicardo Koller 					base val, base field)		\
153*590b9495SRicardo Koller {									\
154*590b9495SRicardo Koller 	return (old & ~to(field)) | type##_encode_bits(val, field);	\
155*590b9495SRicardo Koller }									\
156*590b9495SRicardo Koller static __always_inline void type##p_replace_bits(__##type *p,		\
157*590b9495SRicardo Koller 					base val, base field)		\
158*590b9495SRicardo Koller {									\
159*590b9495SRicardo Koller 	*p = (*p & ~to(field)) | type##_encode_bits(val, field);	\
160*590b9495SRicardo Koller }									\
161*590b9495SRicardo Koller static __always_inline base type##_get_bits(__##type v, base field)	\
162*590b9495SRicardo Koller {									\
163*590b9495SRicardo Koller 	return (from(v) & field)/field_multiplier(field);		\
164*590b9495SRicardo Koller }
165*590b9495SRicardo Koller #define __MAKE_OP(size)							\
166*590b9495SRicardo Koller 	____MAKE_OP(le##size,u##size,cpu_to_le##size,le##size##_to_cpu)	\
167*590b9495SRicardo Koller 	____MAKE_OP(be##size,u##size,cpu_to_be##size,be##size##_to_cpu)	\
168*590b9495SRicardo Koller 	____MAKE_OP(u##size,u##size,,)
169*590b9495SRicardo Koller ____MAKE_OP(u8,u8,,)
170*590b9495SRicardo Koller __MAKE_OP(16)
171*590b9495SRicardo Koller __MAKE_OP(32)
172*590b9495SRicardo Koller __MAKE_OP(64)
173*590b9495SRicardo Koller #undef __MAKE_OP
174*590b9495SRicardo Koller #undef ____MAKE_OP
175*590b9495SRicardo Koller 
176*590b9495SRicardo Koller #endif
177