count_leading_zeros.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#pragma once
#include "../uint128/uint128.hpp"
#include "../uint256/uint256.hpp"
#include <cstdint>
 
namespace bb::numeric {
 
template <typename T> constexpr inline size_t count_leading_zeros(T const& u);
 
template <> constexpr inline size_t count_leading_zeros<uint32_t>(uint32_t const& u)
{
    return static_cast<size_t>(__builtin_clz(u));
}
 
template <> constexpr inline size_t count_leading_zeros<uint64_t>(uint64_t const& u)
{
    return static_cast<size_t>(__builtin_clzll(u));
}
 
template <> constexpr inline size_t count_leading_zeros<uint128_t>(uint128_t const& u)
{
    auto hi = static_cast<uint64_t>(u >> 64);
    if (hi != 0U) {
        return static_cast<size_t>(__builtin_clzll(hi));
    }
    auto lo = static_cast<uint64_t>(u);
    return static_cast<size_t>(__builtin_clzll(lo)) + 64;
}
 
template <> constexpr inline size_t count_leading_zeros<uint256_t>(uint256_t const& u)
{
    if (u.data[3] != 0U) {
        return count_leading_zeros(u.data[3]);
    }
    if (u.data[2] != 0U) {
        return count_leading_zeros(u.data[2]) + 64;
    }
    if (u.data[1] != 0U) {
        return count_leading_zeros(u.data[1]) + 128;
    }
    if (u.data[0] != 0U) {
        return count_leading_zeros(u.data[0]) + 192;
    }
    return 256;
}
 
} // namespace bb::numeric