blob: 9908190d8c2fbf512571c316626309a9fcb8b2b9 [file] [log] [blame]
/* SPDX-License-Identifier: MIT */
/*
* Helper functions for manipulation & testing of integer values
* like zero or sign-extensions.
*
* Copyright (C) 2017 Luc Van Oostenryck
*
*/
#ifndef BITS_H
#define BITS_H
static inline unsigned long long sign_bit(unsigned size)
{
return 1ULL << (size - 1);
}
static inline unsigned long long sign_mask(unsigned size)
{
unsigned long long sbit = sign_bit(size);
return sbit - 1;
}
static inline unsigned long long bits_mask(unsigned size)
{
unsigned long long sbit = sign_bit(size);
return sbit | (sbit - 1);
}
static inline long long zero_extend(long long val, unsigned size)
{
return val & bits_mask(size);
}
static inline long long sign_extend(long long val, unsigned size)
{
if (val & sign_bit(size))
val |= ~sign_mask(size);
return val;
}
///
// sign extend @val but only if exactly representable
static inline long long sign_extend_safe(long long val, unsigned size)
{
unsigned long long mask = bits_mask(size);
if (!(val & ~mask))
val = sign_extend(val, size);
return val;
}
static inline long long bits_extend(long long val, unsigned size, int is_signed)
{
val = zero_extend(val, size);
if (is_signed)
val = sign_extend(val, size);
return val;
}
static inline int is_power_of_2(long long val)
{
return val && !(val & (val - 1));
}
///
// log base 2 of an exact power-of-2
static inline int log2_exact(unsigned long long val)
{
return 8 * sizeof(val) - __builtin_clzl(val) - 1;
}
#endif