mirror of
https://github.com/c3lang/c3c.git
synced 2026-02-27 12:01:16 +00:00
79 lines
2.1 KiB
C
79 lines
2.1 KiB
C
module std::bits;
|
|
|
|
/**
|
|
* @require types::is_intlike($typeof(i)) `The input must be an integer or integer vector`
|
|
**/
|
|
macro popcount(i)
|
|
{
|
|
return $$popcount(i);
|
|
}
|
|
|
|
/**
|
|
* @require types::is_intlike($typeof(i)) `The input must be an integer or integer vector`
|
|
**/
|
|
macro reverse(i)
|
|
{
|
|
return $$bitreverse(i);
|
|
}
|
|
|
|
/**
|
|
* @require types::is_intlike($typeof(i)) `The input must be an integer or integer vector`
|
|
**/
|
|
macro bswap(i) @builtin
|
|
{
|
|
return $$bswap(i);
|
|
}
|
|
|
|
/**
|
|
* @require types::is_intlike($typeof(i)) `The input must be an integer or integer vector`
|
|
**/
|
|
macro ctz(i) @builtin
|
|
{
|
|
return $$ctz(i);
|
|
}
|
|
|
|
/**
|
|
* @require types::is_intlike($typeof(i)) `The input must be an integer or integer vector`
|
|
**/
|
|
macro clz(i) @builtin
|
|
{
|
|
return $$clz(i);
|
|
}
|
|
|
|
/**
|
|
* @require types::is_intlike($typeof(hi)) && types::is_intlike($typeof(lo)) && types::is_intlike($typeof(shift)) `The input must be an integer or integer vector`
|
|
* @require $typeof(hi).typeid == $typeof(lo).typeid `Hi and low arguments must have the same type`
|
|
* @require $typeof(hi).typeid == $typeof(shift).typeid `The shift value must have the same type`
|
|
**/
|
|
macro fshl(hi, lo, shift) @builtin
|
|
{
|
|
return $$fshl(hi, lo, ($typeof(hi))shift);
|
|
}
|
|
|
|
/**
|
|
* @require types::is_intlike($typeof(hi)) && types::is_intlike($typeof(lo)) && types::is_intlike($typeof(shift)) `The input must be an integer or integer vector`
|
|
* @require $typeof(hi).typeid == $typeof(lo).typeid `Hi and low arguments must have the same type`
|
|
* @require $typeof(hi).typeid == $typeof(shift).typeid `The shift value must have the same type`
|
|
**/
|
|
macro fshr(hi, lo, shift) @builtin
|
|
{
|
|
return $$fshr(hi, lo, ($typeof(hi))shift);
|
|
}
|
|
|
|
/**
|
|
* @require types::is_intlike($typeof(i)) && types::is_intlike($typeof(amount)) `The input must be an integer or integer vector`
|
|
**/
|
|
macro rotate_left(i, amount) @builtin
|
|
{
|
|
return $$fshl(i, i, ($typeof(i))amount);
|
|
}
|
|
|
|
/**
|
|
* @require types::is_intlike($typeof(i)) && types::is_intlike($typeof(amount)) `The input must be an integer or integer vector`
|
|
**/
|
|
macro rotate_right(i, amount) @builtin
|
|
{
|
|
return $$fshr(i, i, ($typeof(i))amount);
|
|
}
|
|
|