? cdefs.h.diff ? o Index: cdefs.h =================================================================== RCS file: /cvsroot/src/sys/sys/cdefs.h,v retrieving revision 1.92 diff -u -p -u -r1.92 cdefs.h --- cdefs.h 22 Feb 2012 17:52:58 -0000 1.92 +++ cdefs.h 9 Mar 2012 15:44:50 -0000 @@ -530,4 +530,32 @@ #define __CAST(__dt, __st) ((__dt)(__st)) #endif +#define __type_mask(t) (/*LINTED*/sizeof(t) < sizeof(intmax_t) ? \ + (~((1ULL << (sizeof(t) * NBBY)) - 1)) : 0ULL) + +static inline long long __zero(void) { return 0; } +static __inline int __negative(double x) { return x < 0; } + +#define __type_min_s(t) ((t)((1ULL << (sizeof(t) * NBBY - 1)))) +#define __type_max_s(t) ((t)~((1ULL << (sizeof(t) * NBBY - 1)))) +#define __type_min_u(t) ((t)0ULL) +#define __type_max_u(t) ((t)~0ULL) +#define __type_is_signed(t) (/*LINTED*/__type_min_s(t) + (t)1 < (t)1) +#define __type_min(t) (__type_is_signed(t) ? __type_min_s(t) : __type_min_u(t)) +#define __type_max(t) (__type_is_signed(t) ? __type_max_s(t) : __type_max_u(t)) + + +#define __type_fit_u(t, a) (/*LINTED*/sizeof(t) < sizeof(intmax_t) ? \ + (((a) & __type_mask(t)) == 0) : !__negative(a)) + +#define __type_fit_s(t, a) (/*LINTED*/__negative(a) ? \ + ((intmax_t)((a) + __zero()) >= (intmax_t)__type_min_s(t)) : \ + ((intmax_t)((a) + __zero()) <= (intmax_t)__type_max_s(t))) + +/* + * return true if value 'a' fits in type 't' + */ +#define __type_fit(t, a) (__type_is_signed(t) ? \ + __type_fit_s(t, a) : __type_fit_u(t, a)) + #endif /* !_SYS_CDEFS_H_ */