mirror of
https://github.com/ETLCPP/etl.git
synced 2026-11-09 22:59:47 +08:00
C++14 compiler compatibility Updated test run scripts Changed some ETL_ASSERT macros to ETL_ASSERT_OR_RETURN Changed unit test macros for C++20 compaibility Updated test run scripts Updated CMake files to allow C++ standard selection Replaced ETL_ASSERT_AND_RETURN with ETL_ASSERT_OR_RETURN Updated C++14 & C++20 unit test compatibility Changed native char8_t check Added optional optimisation argument to bash script
3918 lines
137 KiB
C++
3918 lines
137 KiB
C++
///\file
|
|
/******************************************************************************
|
|
The MIT License(MIT)
|
|
|
|
Embedded Template Library.
|
|
https://github.com/ETLCPP/etl
|
|
https://www.etlcpp.com
|
|
|
|
Copyright(c) 2022 John Wellbelove
|
|
|
|
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
of this software and associated documentation files(the "Software"), to deal
|
|
in the Software without restriction, including without limitation the rights
|
|
to use, copy, modify, merge, publish, distribute, sublicense, and / or sell
|
|
copies of the Software, and to permit persons to whom the Software is
|
|
furnished to do so, subject to the following conditions :
|
|
|
|
The above copyright notice and this permission notice shall be included in all
|
|
copies or substantial portions of the Software.
|
|
|
|
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.IN NO EVENT SHALL THE
|
|
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
SOFTWARE.
|
|
******************************************************************************/
|
|
|
|
#ifndef ETL_BITSET_NEW_INCLUDED
|
|
#define ETL_BITSET_NEW_INCLUDED
|
|
|
|
#include "../platform.h"
|
|
#include "../algorithm.h"
|
|
#include "../iterator.h"
|
|
#include "../integral_limits.h"
|
|
#include "../algorithm.h"
|
|
#include "../nullptr.h"
|
|
#include "../log.h"
|
|
#include "../exception.h"
|
|
#include "../integral_limits.h"
|
|
#include "../binary.h"
|
|
#include "../char_traits.h"
|
|
#include "../static_assert.h"
|
|
#include "../error_handler.h"
|
|
#include "../span.h"
|
|
#include "../string.h"
|
|
|
|
#include <string.h>
|
|
#include <stddef.h>
|
|
#include <stdint.h>
|
|
|
|
#include "minmax_push.h"
|
|
|
|
#if defined(ETL_COMPILER_KEIL)
|
|
#pragma diag_suppress 1300
|
|
#endif
|
|
|
|
#if ETL_USING_CPP11
|
|
#define ETL_STR(x) x
|
|
#define ETL_STRL(x) L##x
|
|
#define ETL_STRu(x) u##x
|
|
#define ETL_STRU(x) U##x
|
|
#else
|
|
#define ETL_STR(x) x
|
|
#define ETL_STRL(x) x
|
|
#define ETL_STRu(x) x
|
|
#define ETL_STRU(x) x
|
|
#endif
|
|
|
|
//*****************************************************************************
|
|
///\defgroup bitset bitset
|
|
/// Similar to std::bitset but without requiring std::string.
|
|
///\ingroup containers
|
|
//*****************************************************************************
|
|
|
|
namespace etl
|
|
{
|
|
struct bitset_constants
|
|
{
|
|
static ETL_CONSTANT size_t npos = etl::integral_limits<size_t>::max;
|
|
};
|
|
|
|
//***************************************************************************
|
|
/// Exception base for bitset
|
|
///\ingroup bitset
|
|
//***************************************************************************
|
|
class bitset_exception : public etl::exception
|
|
{
|
|
public:
|
|
|
|
bitset_exception(string_type reason_, string_type file_name_, numeric_type line_number_)
|
|
: exception(reason_, file_name_, line_number_)
|
|
{
|
|
}
|
|
};
|
|
|
|
//***************************************************************************
|
|
/// Bitset type_too_small exception.
|
|
///\ingroup bitset
|
|
//***************************************************************************
|
|
class bitset_string_too_small : public bitset_exception
|
|
{
|
|
public:
|
|
|
|
bitset_string_too_small(string_type file_name_, numeric_type line_number_)
|
|
: bitset_exception(ETL_ERROR_TEXT("bitset:type_too_small", ETL_BITSET_FILE_ID"A"), file_name_, line_number_)
|
|
{
|
|
}
|
|
};
|
|
|
|
//*************************************************************************
|
|
/// The implementation class for multi-element etl::bitset
|
|
///\ingroup bitset
|
|
//*************************************************************************
|
|
template <typename TElement>
|
|
class bitset_impl : public bitset_constants
|
|
{
|
|
public:
|
|
|
|
typedef typename etl::make_unsigned<TElement>::type element_type;
|
|
|
|
typedef element_type* pointer;
|
|
typedef const element_type* const_pointer;
|
|
|
|
static ETL_CONSTANT size_t Bits_Per_Element = etl::integral_limits<element_type>::bits;
|
|
static ETL_CONSTANT element_type All_Set_Element = etl::integral_limits<element_type>::max;
|
|
static ETL_CONSTANT element_type All_Clear_Element = element_type(0);
|
|
|
|
//*************************************************************************
|
|
/// Count the number of bits set.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t count(const_pointer pbuffer, size_t number_of_elements) const ETL_NOEXCEPT
|
|
{
|
|
size_t n = 0UL;
|
|
|
|
for (size_t i = 0UL; i < number_of_elements; ++i)
|
|
{
|
|
n += etl::count_bits(pbuffer[i]);
|
|
}
|
|
|
|
return n;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Tests a bit at a position.
|
|
/// Positions greater than the number of configured bits will return <b>false</b>.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool test(const_pointer pbuffer, size_t number_of_elements, size_t position) const ETL_NOEXCEPT
|
|
{
|
|
size_t index = 0U;
|
|
element_type mask = element_type(0);
|
|
|
|
if (number_of_elements == 1U)
|
|
{
|
|
index = 0;
|
|
mask = element_type(1) << position;
|
|
}
|
|
else
|
|
{
|
|
index = position >> etl::log2<Bits_Per_Element>::value;
|
|
mask = element_type(1) << (position & (Bits_Per_Element - 1));
|
|
}
|
|
|
|
return (pbuffer[index] & mask) != 0;
|
|
}
|
|
|
|
|
|
//*************************************************************************
|
|
/// Set the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void set(pointer pbuffer, size_t number_of_elements, size_t position, bool value = true) ETL_NOEXCEPT
|
|
{
|
|
size_t index = 0;
|
|
element_type bit = 0;
|
|
|
|
if (number_of_elements == 0)
|
|
{
|
|
return;
|
|
}
|
|
else if (number_of_elements == 1U)
|
|
{
|
|
index = 0;
|
|
bit = element_type(1) << position;
|
|
}
|
|
else
|
|
{
|
|
index = position >> etl::log2<Bits_Per_Element>::value;
|
|
bit = element_type(1) << (position & (Bits_Per_Element - 1));
|
|
}
|
|
|
|
if (value)
|
|
{
|
|
pbuffer[index] |= bit;
|
|
}
|
|
else
|
|
{
|
|
pbuffer[index] &= ~bit;
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void from_string(pointer pbuffer, size_t number_of_elements, size_t total_bits, const char* text) ETL_NOEXCEPT
|
|
{
|
|
if (text == ETL_NULLPTR)
|
|
{
|
|
etl::fill_n(pbuffer, number_of_elements, All_Clear_Element);
|
|
}
|
|
else
|
|
{
|
|
size_t string_length = etl::strlen(text);
|
|
size_t element_index = etl::min(number_of_elements - 1U, (string_length / Bits_Per_Element));
|
|
|
|
// Only reset elements we need to.
|
|
while (element_index != number_of_elements)
|
|
{
|
|
pbuffer[element_index++] = All_Clear_Element;
|
|
}
|
|
|
|
// Build from the string.
|
|
size_t i = etl::min(total_bits, string_length);
|
|
|
|
while (i > 0)
|
|
{
|
|
set(pbuffer, number_of_elements, --i, *text++ == ETL_STR('1'));
|
|
}
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a wide string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void from_string(pointer pbuffer, size_t number_of_elements, size_t total_bits, const wchar_t* text) ETL_NOEXCEPT
|
|
{
|
|
if (text == ETL_NULLPTR)
|
|
{
|
|
etl::fill_n(pbuffer, number_of_elements, All_Clear_Element);
|
|
}
|
|
else
|
|
{
|
|
size_t string_length = etl::strlen(text);
|
|
size_t element_index = etl::min(number_of_elements - 1U, (string_length / Bits_Per_Element));
|
|
|
|
// Only reset elements we need to.
|
|
while (element_index != number_of_elements)
|
|
{
|
|
pbuffer[element_index++] = All_Clear_Element;
|
|
}
|
|
|
|
// Build from the string.
|
|
size_t i = etl::min(total_bits, string_length);
|
|
|
|
while (i > 0)
|
|
{
|
|
set(pbuffer, number_of_elements, --i, *text++ == ETL_STRL('1'));
|
|
}
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a u16 string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void from_string(pointer pbuffer, size_t number_of_elements, size_t total_bits, const char16_t* text) ETL_NOEXCEPT
|
|
{
|
|
if (text == ETL_NULLPTR)
|
|
{
|
|
etl::fill_n(pbuffer, number_of_elements, All_Clear_Element);
|
|
}
|
|
else
|
|
{
|
|
size_t string_length = etl::strlen(text);
|
|
size_t element_index = etl::min(number_of_elements - 1U, (string_length / Bits_Per_Element));
|
|
|
|
// Only reset elements we need to.
|
|
while (element_index != number_of_elements)
|
|
{
|
|
pbuffer[element_index++] = All_Clear_Element;
|
|
}
|
|
|
|
// Build from the string.
|
|
size_t i = etl::min(total_bits, string_length);
|
|
|
|
while (i > 0)
|
|
{
|
|
set(pbuffer, number_of_elements, --i, *text++ == ETL_STRu('1'));
|
|
}
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a u32 string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void from_string(pointer pbuffer, size_t number_of_elements, size_t total_bits, const char32_t* text) ETL_NOEXCEPT
|
|
{
|
|
if (text == ETL_NULLPTR)
|
|
{
|
|
etl::fill_n(pbuffer, number_of_elements, All_Clear_Element);
|
|
}
|
|
else
|
|
{
|
|
size_t string_length = etl::strlen(text);
|
|
size_t element_index = etl::min(number_of_elements - 1U, (string_length / Bits_Per_Element));
|
|
|
|
// Only reset elements we need to.
|
|
while (element_index != number_of_elements)
|
|
{
|
|
pbuffer[element_index++] = All_Clear_Element;
|
|
}
|
|
|
|
// Build from the string.
|
|
size_t i = etl::min(total_bits, string_length);
|
|
|
|
while (i > 0)
|
|
{
|
|
set(pbuffer, number_of_elements, --i, *text++ == ETL_STRU('1'));
|
|
}
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void set(pointer pbuffer, size_t number_of_elements, size_t total_bits, const char* text) ETL_NOEXCEPT
|
|
{
|
|
from_string(pbuffer, number_of_elements, total_bits, text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a wstring.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void set(pointer pbuffer, size_t number_of_elements, size_t total_bits, const wchar_t* text) ETL_NOEXCEPT
|
|
{
|
|
from_string(pbuffer, number_of_elements, total_bits, text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a u16string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void set(pointer pbuffer, size_t number_of_elements, size_t total_bits, const char16_t* text) ETL_NOEXCEPT
|
|
{
|
|
from_string(pbuffer, number_of_elements, total_bits, text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a u32string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void set(pointer pbuffer, size_t number_of_elements, size_t total_bits, const char32_t* text) ETL_NOEXCEPT
|
|
{
|
|
from_string(pbuffer, number_of_elements, total_bits, text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as a value.
|
|
//*************************************************************************
|
|
template <typename T>
|
|
ETL_CONSTEXPR14
|
|
typename etl::enable_if<etl::is_integral<T>::value, T>::type
|
|
value(const_pointer pbuffer, size_t number_of_elements) const ETL_NOEXCEPT
|
|
{
|
|
T v = T(0);
|
|
|
|
const bool OK = (sizeof(T) * CHAR_BIT) >= (number_of_elements * Bits_Per_Element);
|
|
|
|
if (OK)
|
|
{
|
|
uint_least8_t shift = 0U;
|
|
|
|
for (size_t i = 0UL; i < number_of_elements; ++i)
|
|
{
|
|
v |= T(typename etl::make_unsigned<T>::type(pbuffer[i]) << shift);
|
|
shift += uint_least8_t(Bits_Per_Element);
|
|
}
|
|
}
|
|
|
|
return v;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Reset the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void reset(pointer pbuffer, size_t number_of_elements, size_t position) ETL_NOEXCEPT
|
|
{
|
|
size_t index = 0U;
|
|
element_type bit = element_type(0);
|
|
|
|
if (number_of_elements == 0)
|
|
{
|
|
return;
|
|
}
|
|
else if (number_of_elements == 1)
|
|
{
|
|
index = 0;
|
|
bit = element_type(1) << position;
|
|
}
|
|
else
|
|
{
|
|
index = position >> etl::log2<Bits_Per_Element>::value;
|
|
bit = element_type(1) << (position & (Bits_Per_Element - 1));
|
|
}
|
|
|
|
pbuffer[index] &= ~bit;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Flip all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void flip(pointer pbuffer, size_t number_of_elements) ETL_NOEXCEPT
|
|
{
|
|
for (size_t i = 0UL; i < number_of_elements; ++i)
|
|
{
|
|
pbuffer[i] = ~pbuffer[i];
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Flip the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void flip(pointer pbuffer, size_t number_of_elements, size_t total_bits, size_t position) ETL_NOEXCEPT
|
|
{
|
|
if (position < total_bits)
|
|
{
|
|
size_t index = 0U;
|
|
element_type bit = element_type(0);
|
|
|
|
if (number_of_elements == 0)
|
|
{
|
|
return;
|
|
}
|
|
else if (number_of_elements == 1)
|
|
{
|
|
index = 0;
|
|
bit = element_type(1) << position;
|
|
}
|
|
else
|
|
{
|
|
index = position >> log2<Bits_Per_Element>::value;
|
|
bit = element_type(1) << (position & (Bits_Per_Element - 1));
|
|
}
|
|
|
|
pbuffer[index] ^= bit;
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
// Are all the bits sets?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool all(const_pointer pbuffer, size_t number_of_elements, element_type top_mask) const ETL_NOEXCEPT
|
|
{
|
|
if (number_of_elements == 0UL)
|
|
{
|
|
return true;
|
|
}
|
|
|
|
// All but the last.
|
|
for (size_t i = 0UL; i < (number_of_elements - 1U); ++i)
|
|
{
|
|
if (pbuffer[i] != All_Set_Element)
|
|
{
|
|
return false;
|
|
}
|
|
}
|
|
|
|
// The last.
|
|
if (pbuffer[number_of_elements - 1U] != (All_Set_Element & top_mask))
|
|
{
|
|
return false;
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are none of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool none(const_pointer pbuffer, size_t number_of_elements) const ETL_NOEXCEPT
|
|
{
|
|
for (size_t i = 0UL; i < number_of_elements; ++i)
|
|
{
|
|
if (pbuffer[i] != 0)
|
|
{
|
|
return false;
|
|
}
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Finds the first bit in the specified state.
|
|
///\param state The state to search for.
|
|
///\returns The position of the bit or Number_Of_Elements if none were found.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t find_first(const_pointer pbuffer, size_t number_of_elements, size_t total_bits, bool state) const ETL_NOEXCEPT
|
|
{
|
|
return find_next(pbuffer, number_of_elements, total_bits, state, 0);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Finds the next bit in the specified state.
|
|
///\param state The state to search for.
|
|
///\param position The position to start from.
|
|
///\returns The position of the bit or npos if none were found.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t find_next(const_pointer pbuffer, size_t number_of_elements, size_t total_bits, bool state, size_t position) const ETL_NOEXCEPT
|
|
{
|
|
// Where to start.
|
|
size_t index = position >> log2<Bits_Per_Element>::value;
|
|
size_t bit = position & (Bits_Per_Element - 1);
|
|
|
|
element_type mask = 1 << bit;
|
|
|
|
// For each element in the bitset...
|
|
while (index < number_of_elements)
|
|
{
|
|
element_type value = pbuffer[index];
|
|
|
|
// Needs checking?
|
|
if ((state && (value != All_Clear_Element)) ||
|
|
(!state && (value != All_Set_Element)))
|
|
{
|
|
// For each bit in the element...
|
|
while ((bit < Bits_Per_Element) && (position < total_bits))
|
|
{
|
|
// Equal to the required state?
|
|
if (((value & mask) != 0) == state)
|
|
{
|
|
return position;
|
|
}
|
|
|
|
// Move on to the next bit.
|
|
mask <<= 1;
|
|
++position;
|
|
++bit;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
position += (Bits_Per_Element - bit);
|
|
}
|
|
|
|
// Start at the beginning for all other elements.
|
|
bit = 0;
|
|
mask = 1;
|
|
|
|
++index;
|
|
}
|
|
|
|
return npos;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Returns a string representing the bitset.
|
|
//*************************************************************************
|
|
template <typename TString>
|
|
ETL_CONSTEXPR14 TString to_string(const_pointer pbuffer,
|
|
size_t number_of_elements,
|
|
size_t active_bits,
|
|
typename TString::value_type zero,
|
|
typename TString::value_type one) const
|
|
{
|
|
TString result;
|
|
|
|
result.resize(active_bits, '\0');
|
|
|
|
// Check that the string type can contain the digits.
|
|
ETL_ASSERT_OR_RETURN_VALUE(result.size() == active_bits, ETL_ERROR(etl::bitset_string_too_small), result);
|
|
|
|
for (size_t i = active_bits; i > 0; --i)
|
|
{
|
|
result[active_bits - i] = test(pbuffer, number_of_elements, i - 1) ? one : zero;
|
|
}
|
|
|
|
return result;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// shift_left_equals
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void shift_left_equals(pointer pbuffer, size_t number_of_elements, size_t shift) ETL_NOEXCEPT
|
|
{
|
|
if (number_of_elements == 1U)
|
|
{
|
|
// Just one element.
|
|
pbuffer[0] <<= shift;
|
|
}
|
|
else if ((shift % Bits_Per_Element) == 0U)
|
|
{
|
|
// Shift by whole element.
|
|
const size_t element_shift = shift / Bits_Per_Element;
|
|
etl::copy_backward(pbuffer, pbuffer + number_of_elements - element_shift, pbuffer + number_of_elements);
|
|
etl::fill_n(pbuffer, element_shift, All_Clear_Element);
|
|
}
|
|
else
|
|
{
|
|
// The place where the elements are split when shifting.
|
|
const size_t split_position = Bits_Per_Element - (shift % Bits_Per_Element);
|
|
|
|
// Where we are shifting from.
|
|
int src_index = int(number_of_elements - (shift / Bits_Per_Element) - 1U);
|
|
|
|
// Where we are shifting to.
|
|
int dst_index = int(number_of_elements - 1U);
|
|
|
|
// Shift control constants.
|
|
const size_t lsb_shift = Bits_Per_Element - split_position;
|
|
const size_t msb_shift = split_position;
|
|
|
|
const element_type lsb_mask = element_type(etl::integral_limits<element_type>::max >> (Bits_Per_Element - split_position));
|
|
const element_type msb_mask = etl::integral_limits<element_type>::max - lsb_mask;
|
|
const element_type lsb_shifted_mask = element_type(lsb_mask << lsb_shift);
|
|
|
|
// First lsb.
|
|
element_type lsb = element_type((pbuffer[src_index] & lsb_mask) << lsb_shift);
|
|
pbuffer[dst_index] = lsb;
|
|
--src_index;
|
|
|
|
// Now do the shifting.
|
|
while (src_index >= 0)
|
|
{
|
|
// Shift msb.
|
|
element_type msb = element_type((pbuffer[src_index] & msb_mask) >> msb_shift);
|
|
pbuffer[dst_index] = pbuffer[dst_index] | msb;
|
|
--dst_index;
|
|
|
|
// Shift lsb.
|
|
element_type lsb = element_type((pbuffer[src_index] & lsb_mask) << lsb_shift);
|
|
pbuffer[dst_index] = lsb;
|
|
--src_index;
|
|
}
|
|
|
|
// Clear the remaining bits.
|
|
// First lsb.
|
|
pbuffer[dst_index] &= lsb_shifted_mask;
|
|
--dst_index;
|
|
|
|
// The other remaining bytes on the right.
|
|
while (dst_index >= 0)
|
|
{
|
|
pbuffer[dst_index] = 0;
|
|
--dst_index;
|
|
}
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// shift_right_equals
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void shift_right_equals(pointer pbuffer, size_t number_of_elements, size_t shift) ETL_NOEXCEPT
|
|
{
|
|
if (number_of_elements == 1U)
|
|
{
|
|
// Just one element.
|
|
pbuffer[0] >>= shift;
|
|
}
|
|
else if ((shift % Bits_Per_Element) == 0U)
|
|
{
|
|
// Shift by whole elements.
|
|
const size_t element_shift = (shift / Bits_Per_Element);
|
|
pointer pzeros_begin = etl::copy(pbuffer + element_shift, pbuffer + number_of_elements, pbuffer);
|
|
etl::fill_n(pzeros_begin, element_shift, All_Clear_Element);
|
|
}
|
|
else
|
|
{
|
|
// The place where the elements are split when shifting.
|
|
const size_t split_position = shift % Bits_Per_Element;
|
|
|
|
// Where we are shifting from.
|
|
int src_index = int(shift / Bits_Per_Element);
|
|
|
|
// Where we are shifting to.
|
|
int dst_index = 0;
|
|
|
|
// Shift control constants.
|
|
const size_t lsb_shift = Bits_Per_Element - split_position;
|
|
const size_t msb_shift = split_position;
|
|
|
|
const element_type lsb_mask = element_type(etl::integral_limits<element_type>::max >> (Bits_Per_Element - split_position));
|
|
const element_type msb_mask = etl::integral_limits<element_type>::max - lsb_mask;
|
|
const element_type msb_shifted_mask = element_type(msb_mask >> msb_shift);
|
|
|
|
// Now do the shifting.
|
|
while (src_index < int(number_of_elements - 1))
|
|
{
|
|
// Shift msb.
|
|
element_type msb = element_type((pbuffer[src_index] & msb_mask) >> msb_shift);
|
|
++src_index;
|
|
|
|
// Shift lsb.
|
|
element_type lsb = element_type((pbuffer[src_index] & lsb_mask) << lsb_shift);
|
|
|
|
// Combine them.
|
|
pbuffer[dst_index] = lsb | msb;
|
|
++dst_index;
|
|
}
|
|
|
|
// Final msb.
|
|
element_type msb = element_type((pbuffer[src_index] & msb_mask) >> msb_shift);
|
|
pbuffer[dst_index] = msb;
|
|
|
|
// Clear the remaining bits.
|
|
// First msb.
|
|
pbuffer[dst_index] &= msb_shifted_mask;
|
|
++dst_index;
|
|
|
|
// The other remaining bytes.
|
|
while (dst_index < int(number_of_elements))
|
|
{
|
|
pbuffer[dst_index] = 0;
|
|
++dst_index;
|
|
}
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// and_equals
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void and_equals(pointer pbuffer, const_pointer pbuffer2, size_t number_of_elements) ETL_NOEXCEPT
|
|
{
|
|
for (size_t i = 0U; i < number_of_elements; ++i)
|
|
{
|
|
pbuffer[i] &= pbuffer2[i];
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// or_equals
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void or_equals(pointer pbuffer, const_pointer pbuffer2, size_t number_of_elements) ETL_NOEXCEPT
|
|
{
|
|
for (size_t i = 0U; i < number_of_elements; ++i)
|
|
{
|
|
pbuffer[i] |= pbuffer2[i];
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// xor_equals
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void xor_equals(pointer pbuffer, const_pointer pbuffer2, size_t number_of_elements) ETL_NOEXCEPT
|
|
{
|
|
for (size_t i = 0U; i < number_of_elements; ++i)
|
|
{
|
|
pbuffer[i] ^= pbuffer2[i];
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Initialise from an unsigned long long.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void initialise(pointer pbuffer, size_t number_of_elements, unsigned long long value) ETL_NOEXCEPT
|
|
{
|
|
const size_t Shift = (etl::integral_limits<unsigned long long>::bits <= (int)Bits_Per_Element) ? 0 : Bits_Per_Element;
|
|
|
|
// Can we do it in one hit?
|
|
if (Shift == 0)
|
|
{
|
|
pbuffer[0] = element_type(value);
|
|
}
|
|
else
|
|
{
|
|
size_t i = 0UL;
|
|
|
|
// Set the non-zero elements.
|
|
while ((value != 0) && (i != number_of_elements))
|
|
{
|
|
pbuffer[i++] = value & All_Set_Element;
|
|
value = value >> Shift;
|
|
}
|
|
|
|
// Clear the remaining elements.
|
|
while (i != number_of_elements)
|
|
{
|
|
pbuffer[i++] = All_Clear_Element;
|
|
}
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Swap bitset buffers.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void swap(pointer pbuffer1, pointer pbuffer2, size_t number_of_elements)
|
|
{
|
|
const pointer pbuffer1_end = pbuffer1 + number_of_elements;
|
|
|
|
while (pbuffer1 != pbuffer1_end)
|
|
{
|
|
element_type temp = *pbuffer1;
|
|
*pbuffer1 = *pbuffer2;
|
|
*pbuffer2 = temp;
|
|
++pbuffer1;
|
|
++pbuffer2;
|
|
}
|
|
}
|
|
};
|
|
|
|
//***************************************************************************
|
|
template <size_t Active_Bits = 0U,
|
|
typename TElement = void,
|
|
bool IsSingleElement = etl::integral_limits<TElement>::bits == Active_Bits>
|
|
class bitset;
|
|
|
|
//***************************************************************************
|
|
/// Specialisation for zero bits.
|
|
/// Just defines 'npos'.
|
|
//***************************************************************************
|
|
template <>
|
|
class bitset<0U, void, true> : public bitset_constants
|
|
{
|
|
};
|
|
|
|
//***************************************************************************
|
|
/// Specialisation for zero bits.
|
|
//***************************************************************************
|
|
template <>
|
|
class bitset<0U, void, false> : public bitset_constants
|
|
{
|
|
};
|
|
|
|
//***************************************************************************
|
|
/// Specialisation that uses a single element if the element type is the
|
|
/// same size as the number of active bits.
|
|
//***************************************************************************
|
|
template <size_t Active_Bits, typename TElement>
|
|
class bitset<Active_Bits, TElement, true> : public bitset_constants
|
|
{
|
|
public:
|
|
|
|
// The element type is the unsigned variant of 'TElement'.
|
|
typedef typename etl::make_unsigned<TElement>::type element_type;
|
|
|
|
typedef element_type* pointer;
|
|
typedef const element_type* const_pointer;
|
|
|
|
static ETL_CONSTANT size_t Bits_Per_Element = etl::integral_limits<element_type>::bits;
|
|
static ETL_CONSTANT size_t Number_Of_Elements = 1U;
|
|
static ETL_CONSTANT size_t Allocated_Bits = Bits_Per_Element;
|
|
static ETL_CONSTANT element_type All_Set_Element = etl::integral_limits<typename etl::make_unsigned<element_type>::type>::max;
|
|
static ETL_CONSTANT element_type All_Clear_Element = element_type(0);
|
|
static ETL_CONSTANT size_t Top_Mask_Shift = 0U;
|
|
static ETL_CONSTANT element_type Top_Mask = All_Set_Element;
|
|
|
|
typedef etl::span<element_type, Number_Of_Elements> span_type;
|
|
typedef etl::span<const element_type, Number_Of_Elements> const_span_type;
|
|
|
|
//*************************************************************************
|
|
/// The reference type returned.
|
|
//*************************************************************************
|
|
class bit_reference
|
|
{
|
|
public:
|
|
|
|
friend class bitset;
|
|
|
|
//*******************************
|
|
/// Conversion operator.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 operator bool() const ETL_NOEXCEPT
|
|
{
|
|
return p_bitset->test(position);
|
|
}
|
|
|
|
//*******************************
|
|
/// Assignment operator.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference& operator = (bool b) ETL_NOEXCEPT
|
|
{
|
|
p_bitset->set(position, b);
|
|
return *this;
|
|
}
|
|
|
|
//*******************************
|
|
/// Assignment operator.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference& operator = (const bit_reference& r) ETL_NOEXCEPT
|
|
{
|
|
p_bitset->set(position, bool(r));
|
|
return *this;
|
|
}
|
|
|
|
//*******************************
|
|
/// Flip the bit.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference& flip() ETL_NOEXCEPT
|
|
{
|
|
p_bitset->flip(position);
|
|
return *this;
|
|
}
|
|
|
|
//*******************************
|
|
/// Return the logical inverse of the bit.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bool operator~() const ETL_NOEXCEPT
|
|
{
|
|
return !p_bitset->test(position);
|
|
}
|
|
|
|
private:
|
|
|
|
//*******************************
|
|
/// Default constructor.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference() ETL_NOEXCEPT
|
|
: p_bitset(ETL_NULLPTR)
|
|
, position(0)
|
|
{
|
|
}
|
|
|
|
//*******************************
|
|
/// Constructor.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference(bitset<Active_Bits, TElement, true>& r_bitset, size_t position_) ETL_NOEXCEPT
|
|
: p_bitset(&r_bitset)
|
|
, position(position_)
|
|
{
|
|
}
|
|
|
|
bitset<Active_Bits, TElement, true>* p_bitset; ///< The bitset.
|
|
size_t position; ///< The position in the bitset.
|
|
};
|
|
|
|
//*************************************************************************
|
|
/// Default constructor.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset() ETL_NOEXCEPT
|
|
: buffer(All_Clear_Element)
|
|
{
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Copy constructor.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset(const bitset<Active_Bits, TElement, true>& other) ETL_NOEXCEPT
|
|
: buffer(other.buffer)
|
|
{
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a value.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset(unsigned long long value) ETL_NOEXCEPT
|
|
: buffer(element_type(value))
|
|
{
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset(const char* text) ETL_NOEXCEPT
|
|
: buffer(All_Clear_Element)
|
|
{
|
|
set(text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset(const wchar_t* text) ETL_NOEXCEPT
|
|
: buffer(All_Clear_Element)
|
|
{
|
|
set(text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset(const char16_t* text) ETL_NOEXCEPT
|
|
: buffer(All_Clear_Element)
|
|
{
|
|
set(text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset(const char32_t* text) ETL_NOEXCEPT
|
|
: buffer(All_Clear_Element)
|
|
{
|
|
set(text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Assignment operator.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset& operator =(const bitset<Active_Bits, TElement, true>& other) ETL_NOEXCEPT
|
|
{
|
|
buffer = other.buffer;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& set() ETL_NOEXCEPT
|
|
{
|
|
buffer = All_Set_Element;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a value.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& set(element_type value) ETL_NOEXCEPT
|
|
{
|
|
buffer = value;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& set(size_t position, bool value = true) ETL_NOEXCEPT
|
|
{
|
|
if (position < Active_Bits)
|
|
{
|
|
const element_type mask = element_type(element_type(1) << position);
|
|
if (value == true)
|
|
{
|
|
buffer |= mask;
|
|
}
|
|
else
|
|
{
|
|
buffer &= ~mask;
|
|
}
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& set(const char* text) ETL_NOEXCEPT
|
|
{
|
|
from_string(text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& set(const wchar_t* text) ETL_NOEXCEPT
|
|
{
|
|
from_string(text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& set(const char16_t* text) ETL_NOEXCEPT
|
|
{
|
|
from_string(text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& set(const char32_t* text) ETL_NOEXCEPT
|
|
{
|
|
from_string(text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& from_string(const char* text) ETL_NOEXCEPT
|
|
{
|
|
if (text == ETL_NULLPTR)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
size_t string_length = etl::strlen(text);
|
|
|
|
// Build from the string.
|
|
string_length = etl::min(Active_Bits, string_length);
|
|
|
|
element_type mask = element_type(element_type(1) << (string_length - 1U));
|
|
|
|
for (size_t i = 0U; i < string_length; ++i)
|
|
{
|
|
if (text[i] == ETL_STR('1'))
|
|
{
|
|
buffer |= mask;
|
|
}
|
|
else
|
|
{
|
|
buffer &= ~mask;
|
|
}
|
|
|
|
mask >>= 1U;
|
|
}
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a wide string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& from_string(const wchar_t* text) ETL_NOEXCEPT
|
|
{
|
|
if (text == ETL_NULLPTR)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
size_t string_length = etl::strlen(text);
|
|
|
|
// Build from the string.
|
|
string_length = etl::min(Active_Bits, string_length);
|
|
|
|
element_type mask = element_type(element_type(1) << (string_length - 1U));
|
|
|
|
for (size_t i = 0U; i < string_length; ++i)
|
|
{
|
|
if (text[i] == ETL_STRL('1'))
|
|
{
|
|
buffer |= mask;
|
|
}
|
|
else
|
|
{
|
|
buffer &= ~mask;
|
|
}
|
|
|
|
mask >>= 1U;
|
|
}
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a u16 string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& from_string(const char16_t* text) ETL_NOEXCEPT
|
|
{
|
|
if (text == ETL_NULLPTR)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
size_t string_length = etl::strlen(text);
|
|
|
|
// Build from the string.
|
|
string_length = etl::min(Active_Bits, string_length);
|
|
|
|
element_type mask = element_type(element_type(1) << (string_length - 1U));
|
|
|
|
for (size_t i = 0U; i < string_length; ++i)
|
|
{
|
|
if (text[i] == ETL_STRu('1'))
|
|
{
|
|
buffer |= mask;
|
|
}
|
|
else
|
|
{
|
|
buffer &= ~mask;
|
|
}
|
|
|
|
mask >>= 1U;
|
|
}
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a u32 string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& from_string(const char32_t* text) ETL_NOEXCEPT
|
|
{
|
|
if (text == ETL_NULLPTR)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
size_t string_length = etl::strlen(text);
|
|
|
|
// Build from the string.
|
|
string_length = etl::min(Active_Bits, string_length);
|
|
|
|
element_type mask = element_type(element_type(1) << (string_length - 1U));
|
|
|
|
for (size_t i = 0U; i < string_length; ++i)
|
|
{
|
|
if (text[i] == ETL_STRU('1'))
|
|
{
|
|
buffer |= mask;
|
|
}
|
|
else
|
|
{
|
|
buffer &= ~mask;
|
|
}
|
|
|
|
mask >>= 1U;
|
|
}
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as an integral value.
|
|
//*************************************************************************
|
|
template <typename T>
|
|
ETL_CONSTEXPR14
|
|
typename etl::enable_if<etl::is_integral<T>::value, T>::type
|
|
value() const ETL_NOEXCEPT
|
|
{
|
|
ETL_STATIC_ASSERT(etl::is_integral<T>::value, "Only integral types are supported");
|
|
ETL_STATIC_ASSERT((sizeof(T) * CHAR_BIT) >= (Number_Of_Elements * Bits_Per_Element), "Integral type too small");
|
|
|
|
T v = T(0);
|
|
|
|
const bool OK = (sizeof(T) * CHAR_BIT) >= Bits_Per_Element;
|
|
|
|
if (OK)
|
|
{
|
|
v = T(typename etl::make_unsigned<T>::type(buffer));
|
|
}
|
|
|
|
return v;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as an unsigned long.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 unsigned long to_ulong() const ETL_NOEXCEPT
|
|
{
|
|
return value<unsigned long>();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as an unsigned long long.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 unsigned long long to_ullong() const ETL_NOEXCEPT
|
|
{
|
|
return value<unsigned long long>();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Reset all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& reset() ETL_NOEXCEPT
|
|
{
|
|
buffer = All_Clear_Element;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Reset the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& reset(size_t position) ETL_NOEXCEPT
|
|
{
|
|
if (position < Active_Bits)
|
|
{
|
|
const element_type mask = element_type(element_type(1) << position);
|
|
buffer &= ~mask;
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Tests a bit at a position.
|
|
/// Positions greater than the number of configured bits will return <b>false</b>.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool test(size_t position) const ETL_NOEXCEPT
|
|
{
|
|
if (position < Active_Bits)
|
|
{
|
|
const element_type mask = element_type(element_type(1) << position);
|
|
return (buffer & mask) != 0U;
|
|
}
|
|
|
|
return false;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// The number of bits in the bitset.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t size() const ETL_NOEXCEPT
|
|
{
|
|
return Active_Bits;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Count the number of bits set.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t count() const ETL_NOEXCEPT
|
|
{
|
|
return etl::count_bits(buffer);
|
|
}
|
|
|
|
//*************************************************************************
|
|
// Are all the bits sets?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool all() const ETL_NOEXCEPT
|
|
{
|
|
return buffer == All_Set_Element;
|
|
}
|
|
|
|
//*************************************************************************
|
|
// Are all the bits sets?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool all(element_type mask) const ETL_NOEXCEPT
|
|
{
|
|
return buffer == (All_Set_Element & mask);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are none of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool none() const ETL_NOEXCEPT
|
|
{
|
|
return buffer == All_Clear_Element;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are none of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool none(element_type mask) const ETL_NOEXCEPT
|
|
{
|
|
return (buffer & mask) == All_Clear_Element;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are any of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool any() const ETL_NOEXCEPT
|
|
{
|
|
return !none();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are any of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool any(element_type mask) const ETL_NOEXCEPT
|
|
{
|
|
return !none(mask);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Flip all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& flip() ETL_NOEXCEPT
|
|
{
|
|
buffer = ~buffer;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Flip some of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& flip_bits(element_type mask = etl::integral_limits<element_type>::max) ETL_NOEXCEPT
|
|
{
|
|
buffer ^= mask;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Flip the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& flip(size_t position) ETL_NOEXCEPT
|
|
{
|
|
if (position < Active_Bits)
|
|
{
|
|
const element_type mask = element_type(element_type(1) << position);
|
|
buffer ^= mask;
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Read [] operator.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool operator[] (size_t position) const ETL_NOEXCEPT
|
|
{
|
|
if (position < Active_Bits)
|
|
{
|
|
const element_type mask = element_type(element_type(1) << position);
|
|
return (buffer & mask) != 0U;
|
|
}
|
|
|
|
return false;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Write [] operator.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bit_reference operator [] (size_t position) ETL_NOEXCEPT
|
|
{
|
|
return bit_reference(*this, position);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Returns a string representing the bitset.
|
|
//*************************************************************************
|
|
#if ETL_USING_CPP11
|
|
template <typename TString = etl::string<Active_Bits>>
|
|
#else
|
|
template <typename TString>
|
|
#endif
|
|
ETL_CONSTEXPR14 TString to_string(typename TString::value_type zero = typename TString::value_type('0'),
|
|
typename TString::value_type one = typename TString::value_type('1')) const
|
|
{
|
|
TString result;
|
|
|
|
result.resize(Active_Bits, '\0');
|
|
|
|
// Check that the string type can contain the digits.
|
|
ETL_ASSERT_OR_RETURN_VALUE(result.size() == Active_Bits, ETL_ERROR(etl::bitset_string_too_small), result);
|
|
|
|
for (size_t i = Active_Bits; i > 0; --i)
|
|
{
|
|
result[Active_Bits - i] = test(i - 1) ? one : zero;
|
|
}
|
|
|
|
return result;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Finds the first bit in the specified state.
|
|
///\param state The state to search for.
|
|
///\returns The position of the bit or npos if none were found.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t find_first(bool state) const ETL_NOEXCEPT
|
|
{
|
|
return find_next(state, 0U);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Finds the next bit in the specified state.
|
|
///\param state The state to search for.
|
|
///\param position The position to start from.
|
|
///\returns The position of the bit or npos if none were found.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t find_next(bool state, size_t position) const ETL_NOEXCEPT
|
|
{
|
|
if (position < Active_Bits)
|
|
{
|
|
// Where to start.
|
|
size_t bit = position;
|
|
|
|
element_type mask = 1U << position;
|
|
|
|
// Needs checking?
|
|
if ((state && (buffer != All_Clear_Element)) || (!state && (buffer != All_Set_Element)))
|
|
{
|
|
// For each bit in the element...
|
|
while (bit < Active_Bits)
|
|
{
|
|
// Equal to the required state?
|
|
if (((buffer & mask) != 0) == state)
|
|
{
|
|
return bit;
|
|
}
|
|
|
|
// Move on to the next bit.
|
|
mask <<= 1;
|
|
++bit;
|
|
}
|
|
}
|
|
}
|
|
|
|
return npos;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator &
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true> operator &(const bitset<Active_Bits, TElement, true>& other) const ETL_NOEXCEPT
|
|
{
|
|
etl::bitset<Active_Bits, TElement, true> temp(*this);
|
|
|
|
temp &= other;
|
|
|
|
return temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator &=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& operator &=(const bitset<Active_Bits, TElement, true>& other) ETL_NOEXCEPT
|
|
{
|
|
buffer &= other.buffer;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator |
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true> operator |(const bitset<Active_Bits, TElement, true>& other) const ETL_NOEXCEPT
|
|
{
|
|
etl::bitset<Active_Bits, TElement, true> temp(*this);
|
|
|
|
temp |= other;
|
|
|
|
return temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator |=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& operator |=(const bitset<Active_Bits, TElement, true>& other) ETL_NOEXCEPT
|
|
{
|
|
buffer |= other.buffer;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator ^
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true> operator ^(const bitset<Active_Bits, TElement, true>& other) const ETL_NOEXCEPT
|
|
{
|
|
etl::bitset<Active_Bits, TElement, true> temp(*this);
|
|
|
|
temp ^= other;
|
|
|
|
return temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator ^=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& operator ^=(const bitset<Active_Bits, TElement, true>& other) ETL_NOEXCEPT
|
|
{
|
|
buffer ^= other.buffer;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator ~
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true> operator ~() const ETL_NOEXCEPT
|
|
{
|
|
etl::bitset<Active_Bits, TElement, true> temp(*this);
|
|
|
|
temp.flip();
|
|
|
|
return temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator <<
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true> operator <<(size_t shift) const ETL_NOEXCEPT
|
|
{
|
|
etl::bitset<Active_Bits, TElement, true> temp(*this);
|
|
|
|
temp <<= shift;
|
|
|
|
return temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator <<=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& operator <<=(size_t shift) ETL_NOEXCEPT
|
|
{
|
|
if (shift >= Active_Bits)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
buffer <<= shift;
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator >>
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true> operator >>(size_t shift) const ETL_NOEXCEPT
|
|
{
|
|
etl::bitset<Active_Bits, TElement> temp(*this);
|
|
|
|
temp >>= shift;
|
|
|
|
return temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator >>=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, true>& operator >>=(size_t shift) ETL_NOEXCEPT
|
|
{
|
|
if (shift >= Active_Bits)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
buffer >>= shift;
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator ==
|
|
//*************************************************************************
|
|
friend ETL_CONSTEXPR14 bool operator ==(const bitset<Active_Bits, TElement, true>& lhs, const bitset<Active_Bits, TElement, true>& rhs) ETL_NOEXCEPT
|
|
{
|
|
return (lhs.buffer == rhs.buffer);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// swap
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void swap(etl::bitset<Active_Bits, TElement, true>& other) ETL_NOEXCEPT
|
|
{
|
|
element_type temp = buffer;
|
|
buffer = other.buffer;
|
|
other.buffer = temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// span
|
|
/// Returns a span of the underlying buffer.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 span_type span() ETL_NOEXCEPT
|
|
{
|
|
return span_type(&buffer, 1);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// span
|
|
/// Returns a const span of the underlying buffer.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 const_span_type span() const ETL_NOEXCEPT
|
|
{
|
|
return const_span_type(&buffer, 1);
|
|
}
|
|
|
|
private:
|
|
|
|
element_type buffer;
|
|
};
|
|
|
|
//*************************************************************************
|
|
/// The specialisation that uses an array of the default element type.
|
|
//*************************************************************************
|
|
template <size_t Active_Bits, typename TElement>
|
|
class bitset<Active_Bits, TElement, false> : public bitset_constants
|
|
{
|
|
private:
|
|
|
|
//*************************************************************************
|
|
// If the 'TElement' is the default 'void', then use 'char', otherwise uses
|
|
// the unsigned variant of 'TElement'.
|
|
//*************************************************************************
|
|
struct select_element_type
|
|
{
|
|
typedef typename etl::make_unsigned<typename etl::conditional<etl::is_same<void, TElement>::value, char, TElement>::type>::type type;
|
|
};
|
|
|
|
public:
|
|
|
|
typedef typename select_element_type::type element_type;
|
|
typedef element_type* pointer;
|
|
typedef const element_type* const_pointer;
|
|
|
|
static ETL_CONSTANT size_t Bits_Per_Element = etl::bitset_impl<element_type>::Bits_Per_Element;
|
|
static ETL_CONSTANT size_t Number_Of_Elements = (Active_Bits % Bits_Per_Element == 0) ? Active_Bits / Bits_Per_Element : Active_Bits / Bits_Per_Element + 1;
|
|
static ETL_CONSTANT size_t Allocated_Bits = Number_Of_Elements * Bits_Per_Element;
|
|
static ETL_CONSTANT size_t Top_Mask_Shift = ((Bits_Per_Element - (Allocated_Bits - Active_Bits)) % Bits_Per_Element);
|
|
static ETL_CONSTANT element_type All_Set_Element = etl::bitset_impl<element_type>::All_Set_Element;
|
|
static ETL_CONSTANT element_type All_Clear_Element = etl::bitset_impl<element_type>::All_Clear_Element;
|
|
static ETL_CONSTANT element_type Top_Mask = element_type(Top_Mask_Shift == 0 ? All_Set_Element : ~(All_Set_Element << Top_Mask_Shift));
|
|
|
|
static ETL_CONSTANT size_t ALLOCATED_BITS = Allocated_Bits; ///< For backward compatibility.
|
|
|
|
typedef etl::span<element_type, Number_Of_Elements> span_type;
|
|
typedef etl::span<const element_type, Number_Of_Elements> const_span_type;
|
|
|
|
//*************************************************************************
|
|
/// The reference type returned.
|
|
//*************************************************************************
|
|
class bit_reference
|
|
{
|
|
public:
|
|
|
|
friend class bitset;
|
|
|
|
//*******************************
|
|
/// Conversion operator.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 operator bool() const ETL_NOEXCEPT
|
|
{
|
|
return p_bitset->test(position);
|
|
}
|
|
|
|
//*******************************
|
|
/// Assignment operator.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference& operator = (bool b) ETL_NOEXCEPT
|
|
{
|
|
p_bitset->set(position, b);
|
|
return *this;
|
|
}
|
|
|
|
//*******************************
|
|
/// Assignment operator.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference& operator = (const bit_reference& r) ETL_NOEXCEPT
|
|
{
|
|
p_bitset->set(position, bool(r));
|
|
return *this;
|
|
}
|
|
|
|
//*******************************
|
|
/// Flip the bit.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference& flip() ETL_NOEXCEPT
|
|
{
|
|
p_bitset->flip(position);
|
|
return *this;
|
|
}
|
|
|
|
//*******************************
|
|
/// Return the logical inverse of the bit.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bool operator~() const ETL_NOEXCEPT
|
|
{
|
|
return !p_bitset->test(position);
|
|
}
|
|
|
|
private:
|
|
|
|
//*******************************
|
|
/// Default constructor.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference() ETL_NOEXCEPT
|
|
: p_bitset(ETL_NULLPTR)
|
|
, position(0)
|
|
{
|
|
}
|
|
|
|
//*******************************
|
|
/// Constructor.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference(bitset<Active_Bits, TElement>& r_bitset, size_t position_) ETL_NOEXCEPT
|
|
: p_bitset(&r_bitset)
|
|
, position(position_)
|
|
{
|
|
}
|
|
|
|
bitset<Active_Bits, TElement, false>* p_bitset; ///< The bitset.
|
|
size_t position; ///< The position in the bitset.
|
|
};
|
|
|
|
//*************************************************************************
|
|
/// Default constructor.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset() ETL_NOEXCEPT
|
|
: buffer()
|
|
{
|
|
reset();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Copy constructor.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset(const bitset<Active_Bits, TElement, false>& other) ETL_NOEXCEPT
|
|
: buffer()
|
|
{
|
|
etl::copy_n(other.buffer, Number_Of_Elements, buffer);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a value.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset(unsigned long long value) ETL_NOEXCEPT
|
|
: buffer()
|
|
{
|
|
ibitset.initialise(buffer, Number_Of_Elements, value);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset(const char* text) ETL_NOEXCEPT
|
|
: buffer()
|
|
{
|
|
ibitset.set(buffer, Number_Of_Elements, Active_Bits, text);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset(const wchar_t* text) ETL_NOEXCEPT
|
|
: buffer()
|
|
{
|
|
ibitset.set(buffer, Number_Of_Elements, Active_Bits, text);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset(const char16_t* text) ETL_NOEXCEPT
|
|
: buffer()
|
|
{
|
|
ibitset.set(buffer, Number_Of_Elements, Active_Bits, text);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset(const char32_t* text) ETL_NOEXCEPT
|
|
: buffer()
|
|
{
|
|
ibitset.set(buffer, Number_Of_Elements, Active_Bits, text);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Assignment operator.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset& operator =(const bitset<Active_Bits, TElement, false>& other) ETL_NOEXCEPT
|
|
{
|
|
etl::copy_n(other.buffer, Number_Of_Elements, buffer);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& set() ETL_NOEXCEPT
|
|
{
|
|
etl::fill_n(buffer, Number_Of_Elements, All_Set_Element);
|
|
clear_unused_bits_in_msb();
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& set(size_t position, bool value = true) ETL_NOEXCEPT
|
|
{
|
|
ibitset.set(buffer, Number_Of_Elements, position, value);
|
|
clear_unused_bits_in_msb();
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& set(const char* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.set(buffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& set(const wchar_t* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.set(buffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& set(const char16_t* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.set(buffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& set(const char32_t* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.set(buffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& from_string(const char* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.from_string(buffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a wide string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& from_string(const wchar_t* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.from_string(buffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a u16 string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& from_string(const char16_t* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.from_string(buffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a u32 string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& from_string(const char32_t* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.from_string(buffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as an integral value.
|
|
//*************************************************************************
|
|
template <typename T>
|
|
ETL_CONSTEXPR14
|
|
typename etl::enable_if<etl::is_integral<T>::value, T>::type
|
|
value() const ETL_NOEXCEPT
|
|
{
|
|
ETL_STATIC_ASSERT(etl::is_integral<T>::value, "Only integral types are supported");
|
|
ETL_STATIC_ASSERT((sizeof(T) * CHAR_BIT) >= (Number_Of_Elements * Bits_Per_Element), "Type too small");
|
|
|
|
return ibitset.template value<T>(buffer, Number_Of_Elements);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as an unsigned long.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 unsigned long to_ulong() const ETL_NOEXCEPT
|
|
{
|
|
return value<unsigned long>();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as an unsigned long long.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 unsigned long long to_ullong() const ETL_NOEXCEPT
|
|
{
|
|
return value<unsigned long long>();
|
|
}
|
|
//*************************************************************************
|
|
/// Reset all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& reset() ETL_NOEXCEPT
|
|
{
|
|
etl::fill_n(buffer, Number_Of_Elements, All_Clear_Element);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Reset the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& reset(size_t position) ETL_NOEXCEPT
|
|
{
|
|
ibitset.reset(buffer, Number_Of_Elements, position);
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Tests a bit at a position.
|
|
/// Positions greater than the number of configured bits will return <b>false</b>.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool test(size_t position) const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.test(buffer, Number_Of_Elements, position);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// The number of bits in the bitset.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t size() const ETL_NOEXCEPT
|
|
{
|
|
return Active_Bits;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Count the number of bits set.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t count() const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.count(buffer, Number_Of_Elements);
|
|
}
|
|
|
|
//*************************************************************************
|
|
// Are all the bits sets?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool all() const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.all(buffer, Number_Of_Elements, Top_Mask);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are none of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool none() const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.none(buffer, Number_Of_Elements);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are any of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool any() const ETL_NOEXCEPT
|
|
{
|
|
return !none();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Flip all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& flip() ETL_NOEXCEPT
|
|
{
|
|
ibitset.flip(buffer, Number_Of_Elements);
|
|
clear_unused_bits_in_msb();
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Flip the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& flip(size_t position) ETL_NOEXCEPT
|
|
{
|
|
ibitset.flip(buffer, Number_Of_Elements, Active_Bits, position);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Read [] operator.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool operator[] (size_t position) const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.test(buffer, Number_Of_Elements, position);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Write [] operator.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bit_reference operator [] (size_t position) ETL_NOEXCEPT
|
|
{
|
|
return bit_reference(*this, position);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Returns a string representing the bitset.
|
|
//*************************************************************************
|
|
#if ETL_USING_CPP11
|
|
template <typename TString = etl::string<Active_Bits>>
|
|
#else
|
|
template <typename TString>
|
|
#endif
|
|
ETL_CONSTEXPR14 TString to_string(typename TString::value_type zero = typename TString::value_type('0'),
|
|
typename TString::value_type one = typename TString::value_type('1')) const
|
|
{
|
|
return ibitset.template to_string<TString>(buffer, Number_Of_Elements, Active_Bits, zero, one);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Finds the first bit in the specified state.
|
|
///\param state The state to search for.
|
|
///\returns The position of the bit or npos if none were found.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t find_first(bool state) const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.find_next(buffer, Number_Of_Elements, Active_Bits, state, 0);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Finds the next bit in the specified state.
|
|
///\param state The state to search for.
|
|
///\param position The position to start from.
|
|
///\returns The position of the bit or npos if none were found.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t find_next(bool state, size_t position) const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.find_next(buffer, Number_Of_Elements, Active_Bits, state, position);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator &
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false> operator &(const bitset<Active_Bits, TElement, false>& other) const ETL_NOEXCEPT
|
|
{
|
|
etl::bitset<Active_Bits, TElement, false> temp(*this);
|
|
|
|
temp &= other;
|
|
|
|
return temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator &=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& operator &=(const bitset<Active_Bits, TElement, false>& other) ETL_NOEXCEPT
|
|
{
|
|
ibitset.and_equals(&buffer[0], &other.buffer[0], Number_Of_Elements);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator |
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false> operator |(const bitset<Active_Bits, TElement, false>& other) const ETL_NOEXCEPT
|
|
{
|
|
etl::bitset<Active_Bits, TElement, false> temp(*this);
|
|
|
|
temp |= other;
|
|
|
|
return temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator |=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& operator |=(const bitset<Active_Bits, TElement, false>& other) ETL_NOEXCEPT
|
|
{
|
|
ibitset.or_equals(&buffer[0], &other.buffer[0], Number_Of_Elements);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator ^
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false> operator ^(const bitset<Active_Bits, TElement, false>& other) const ETL_NOEXCEPT
|
|
{
|
|
etl::bitset<Active_Bits, TElement, false> temp(*this);
|
|
|
|
temp ^= other;
|
|
|
|
return temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator ^=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& operator ^=(const bitset<Active_Bits, TElement, false>& other) ETL_NOEXCEPT
|
|
{
|
|
ibitset.xor_equals(&buffer[0], &other.buffer[0], Number_Of_Elements);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator ~
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false> operator ~() const ETL_NOEXCEPT
|
|
{
|
|
etl::bitset<Active_Bits, TElement, false> temp(*this);
|
|
|
|
temp.flip();
|
|
|
|
return temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator <<
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false> operator <<(size_t shift) const ETL_NOEXCEPT
|
|
{
|
|
etl::bitset<Active_Bits, TElement, false> temp(*this);
|
|
|
|
temp <<= shift;
|
|
|
|
return temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator <<=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& operator <<=(size_t shift) ETL_NOEXCEPT
|
|
{
|
|
if (shift >= Active_Bits)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
ibitset.shift_left_equals(buffer, Number_Of_Elements, shift);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator >>
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false> operator >>(size_t shift) const ETL_NOEXCEPT
|
|
{
|
|
bitset<Active_Bits, TElement, false> temp(*this);
|
|
|
|
temp >>= shift;
|
|
|
|
return temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator >>=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset<Active_Bits, TElement, false>& operator >>=(size_t shift) ETL_NOEXCEPT
|
|
{
|
|
if (shift >= Active_Bits)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
ibitset.shift_right_equals(buffer, Number_Of_Elements, shift);
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator ==
|
|
//*************************************************************************
|
|
friend ETL_CONSTEXPR14 bool operator ==(const bitset<Active_Bits, TElement, false>& lhs, const bitset<Active_Bits, TElement, false>& rhs) ETL_NOEXCEPT
|
|
{
|
|
return etl::equal(lhs.buffer,
|
|
lhs.buffer + lhs.Number_Of_Elements,
|
|
rhs.buffer);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// swap
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void swap(etl::bitset<Active_Bits, TElement, false>& other) ETL_NOEXCEPT
|
|
{
|
|
ibitset.swap(buffer, other.buffer, Number_Of_Elements);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// span
|
|
/// Returns a span of the underlying buffer.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 span_type span() ETL_NOEXCEPT
|
|
{
|
|
return span_type(buffer, Number_Of_Elements);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// span
|
|
/// Returns a const span of the underlying buffer.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 const_span_type span() const ETL_NOEXCEPT
|
|
{
|
|
return const_span_type(buffer, Number_Of_Elements);
|
|
}
|
|
|
|
private:
|
|
|
|
//*************************************************************************
|
|
/// Correct the unused top bits after bit manipulation.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void clear_unused_bits_in_msb() ETL_NOEXCEPT
|
|
{
|
|
buffer[Number_Of_Elements - 1U] &= Top_Mask;
|
|
}
|
|
|
|
etl::bitset_impl<element_type> ibitset;
|
|
|
|
element_type buffer[Number_Of_Elements > 0U ? Number_Of_Elements : 1U];
|
|
};
|
|
|
|
//***************************************************************************
|
|
/// operator &
|
|
///\ingroup bitset
|
|
//***************************************************************************
|
|
template <size_t Active_Bits, typename TElement, bool IsSingleElement>
|
|
ETL_CONSTEXPR14 bitset<Active_Bits> operator & (const bitset<Active_Bits, TElement, IsSingleElement>& lhs, const bitset<Active_Bits, TElement, IsSingleElement>& rhs) ETL_NOEXCEPT
|
|
{
|
|
bitset<Active_Bits> temp(lhs);
|
|
temp &= rhs;
|
|
return temp;
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// operator |
|
|
///\ingroup bitset
|
|
//***************************************************************************
|
|
template<size_t Active_Bits, typename TElement, bool IsSingleElement>
|
|
ETL_CONSTEXPR14 bitset<Active_Bits> operator | (const bitset<Active_Bits, TElement, IsSingleElement>& lhs, const bitset<Active_Bits, TElement, IsSingleElement>& rhs) ETL_NOEXCEPT
|
|
{
|
|
bitset<Active_Bits> temp(lhs);
|
|
temp |= rhs;
|
|
return temp;
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// operator ^
|
|
///\ingroup bitset
|
|
//***************************************************************************
|
|
template<size_t Active_Bits, typename TElement, bool IsSingleElement>
|
|
ETL_CONSTEXPR14 bitset<Active_Bits> operator ^ (const bitset<Active_Bits, TElement, IsSingleElement>& lhs, const bitset<Active_Bits, TElement, IsSingleElement>& rhs) ETL_NOEXCEPT
|
|
{
|
|
bitset<Active_Bits> temp(lhs);
|
|
temp ^= rhs;
|
|
return temp;
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// operator !=
|
|
///\ingroup bitset
|
|
//***************************************************************************
|
|
template<size_t Active_Bits, typename TElement, bool IsSingleElement>
|
|
ETL_CONSTEXPR14 bool operator != (const bitset<Active_Bits, TElement, IsSingleElement>& lhs, const bitset<Active_Bits, TElement, IsSingleElement>& rhs) ETL_NOEXCEPT
|
|
{
|
|
return !(lhs == rhs);
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// swap
|
|
//*************************************************************************
|
|
template <size_t Active_Bits, typename TElement, bool IsSingleElement>
|
|
ETL_CONSTEXPR14 void swap(etl::bitset<Active_Bits, TElement, IsSingleElement>& lhs, etl::bitset<Active_Bits, TElement, IsSingleElement>& rhs) ETL_NOEXCEPT
|
|
{
|
|
lhs.swap(rhs);
|
|
}
|
|
|
|
//***************************************************************************
|
|
/// bitset_ext
|
|
//***************************************************************************
|
|
namespace etl
|
|
{
|
|
//***************************************************************************
|
|
template <size_t Active_Bits = 0U,
|
|
typename TElement = void,
|
|
bool IsSingleElement = etl::integral_limits<TElement>::bits == Active_Bits>
|
|
class bitset_ext;
|
|
|
|
//***************************************************************************
|
|
/// Specialisation for zero bits.
|
|
/// Just defines 'npos'.
|
|
//***************************************************************************
|
|
template <>
|
|
class bitset_ext<0U, void, true> : public bitset_constants
|
|
{
|
|
};
|
|
|
|
//***************************************************************************
|
|
/// Specialisation for zero bits.
|
|
//***************************************************************************
|
|
template <>
|
|
class bitset_ext<0U, void, false> : public bitset_constants
|
|
{
|
|
};
|
|
|
|
//***************************************************************************
|
|
/// Specialisation that uses a single element if the element type is the
|
|
/// same size as the number of active bits.
|
|
//***************************************************************************
|
|
template <size_t Active_Bits, typename TElement>
|
|
class bitset_ext<Active_Bits, TElement, true> : public bitset_constants
|
|
{
|
|
public:
|
|
|
|
// The element type is the unsigned variant of 'TElement'.
|
|
typedef typename etl::make_unsigned<TElement>::type element_type;
|
|
|
|
typedef element_type* pointer;
|
|
typedef const element_type* const_pointer;
|
|
|
|
static ETL_CONSTANT size_t Bits_Per_Element = etl::integral_limits<element_type>::bits;
|
|
static ETL_CONSTANT size_t Number_Of_Elements = 1U;
|
|
static ETL_CONSTANT size_t Allocated_Bits = Bits_Per_Element;
|
|
static ETL_CONSTANT element_type All_Set_Element = etl::integral_limits<typename etl::make_unsigned<element_type>::type>::max;
|
|
static ETL_CONSTANT element_type All_Clear_Element = element_type(0);
|
|
static ETL_CONSTANT size_t Top_Mask_Shift = 0U;
|
|
static ETL_CONSTANT element_type Top_Mask = All_Set_Element;
|
|
|
|
typedef etl::span<element_type, Number_Of_Elements> span_type;
|
|
typedef etl::span<const element_type, Number_Of_Elements> const_span_type;
|
|
|
|
typedef element_type buffer_type;
|
|
|
|
//*************************************************************************
|
|
/// The reference type returned.
|
|
//*************************************************************************
|
|
class bit_reference
|
|
{
|
|
public:
|
|
|
|
friend class bitset_ext;
|
|
|
|
//*******************************
|
|
/// Conversion operator.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 operator bool() const ETL_NOEXCEPT
|
|
{
|
|
return p_bitset->test(position);
|
|
}
|
|
|
|
//*******************************
|
|
/// Assignment operator.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference& operator = (bool b) ETL_NOEXCEPT
|
|
{
|
|
p_bitset->set(position, b);
|
|
return *this;
|
|
}
|
|
|
|
//*******************************
|
|
/// Assignment operator.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference& operator = (const bit_reference& r) ETL_NOEXCEPT
|
|
{
|
|
p_bitset->set(position, bool(r));
|
|
return *this;
|
|
}
|
|
|
|
//*******************************
|
|
/// Flip the bit.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference& flip() ETL_NOEXCEPT
|
|
{
|
|
p_bitset->flip(position);
|
|
return *this;
|
|
}
|
|
|
|
//*******************************
|
|
/// Return the logical inverse of the bit.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bool operator~() const ETL_NOEXCEPT
|
|
{
|
|
return !p_bitset->test(position);
|
|
}
|
|
|
|
private:
|
|
|
|
//*******************************
|
|
/// Default constructor.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference() ETL_NOEXCEPT
|
|
: p_bitset(ETL_NULLPTR)
|
|
, position(0)
|
|
{
|
|
}
|
|
|
|
//*******************************
|
|
/// Constructor.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference(bitset_ext<Active_Bits, TElement, true>& r_bitset, size_t position_) ETL_NOEXCEPT
|
|
: p_bitset(&r_bitset)
|
|
, position(position_)
|
|
{
|
|
}
|
|
|
|
bitset_ext<Active_Bits, TElement, true>* p_bitset; ///< The bitset.
|
|
size_t position; ///< The position in the bitset.
|
|
};
|
|
|
|
//*************************************************************************
|
|
/// Default constructor.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
*pbuffer = All_Clear_Element;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Default constructor.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(&buffer)
|
|
{
|
|
*pbuffer = All_Clear_Element;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct copy.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const bitset_ext<Active_Bits, TElement, true>& other, element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
*pbuffer = *other.pbuffer;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct copy.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const bitset_ext<Active_Bits, TElement, true>& other, buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(&buffer)
|
|
{
|
|
*pbuffer = *other.pbuffer;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Copy Constructor (Deleted).
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const bitset_ext<Active_Bits, TElement, true>& other) ETL_NOEXCEPT ETL_DELETE;
|
|
|
|
//*************************************************************************
|
|
/// Construct from a value.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(unsigned long long value, element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
*pbuffer = element_type(value);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a value.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(unsigned long long value, buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(&buffer)
|
|
{
|
|
*pbuffer = element_type(value);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const char* text, element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
*pbuffer = All_Clear_Element;
|
|
set(text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const char* text, buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(&buffer)
|
|
{
|
|
*pbuffer = All_Clear_Element;
|
|
set(text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const wchar_t* text, element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
*pbuffer = All_Clear_Element;
|
|
set(text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const wchar_t* text, buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(&buffer)
|
|
{
|
|
*pbuffer = All_Clear_Element;
|
|
set(text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const char16_t* text, element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
*pbuffer = All_Clear_Element;
|
|
set(text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const char16_t* text, buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(&buffer)
|
|
{
|
|
*pbuffer = All_Clear_Element;
|
|
set(text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const char32_t* text, element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
*pbuffer = All_Clear_Element;
|
|
set(text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const char32_t* text, buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(&buffer)
|
|
{
|
|
*pbuffer = All_Clear_Element;
|
|
set(text);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Assignment operator.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext& operator =(const bitset_ext<Active_Bits, TElement, true>& other) ETL_NOEXCEPT
|
|
{
|
|
*pbuffer = *other.pbuffer;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& set() ETL_NOEXCEPT
|
|
{
|
|
*pbuffer = All_Set_Element;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& set(size_t position, bool value = true) ETL_NOEXCEPT
|
|
{
|
|
if (position < Active_Bits)
|
|
{
|
|
const element_type mask = element_type(element_type(1) << position);
|
|
if (value == true)
|
|
{
|
|
*pbuffer |= mask;
|
|
}
|
|
else
|
|
{
|
|
*pbuffer &= ~mask;
|
|
}
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& set(const char* text) ETL_NOEXCEPT
|
|
{
|
|
from_string(text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& set(const wchar_t* text) ETL_NOEXCEPT
|
|
{
|
|
from_string(text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& set(const char16_t* text) ETL_NOEXCEPT
|
|
{
|
|
from_string(text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& set(const char32_t* text) ETL_NOEXCEPT
|
|
{
|
|
from_string(text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& from_string(const char* text) ETL_NOEXCEPT
|
|
{
|
|
if (text == ETL_NULLPTR)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
size_t string_length = etl::strlen(text);
|
|
|
|
// Build from the string.
|
|
string_length = etl::min(Active_Bits, string_length);
|
|
|
|
element_type mask = element_type(element_type(1) << (string_length - 1U));
|
|
|
|
for (size_t i = 0U; i < string_length; ++i)
|
|
{
|
|
if (text[i] == ETL_STR('1'))
|
|
{
|
|
*pbuffer |= mask;
|
|
}
|
|
else
|
|
{
|
|
*pbuffer &= ~mask;
|
|
}
|
|
|
|
mask >>= 1U;
|
|
}
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a wide string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& from_string(const wchar_t* text) ETL_NOEXCEPT
|
|
{
|
|
if (text == ETL_NULLPTR)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
size_t string_length = etl::strlen(text);
|
|
|
|
// Build from the string.
|
|
string_length = etl::min(Active_Bits, string_length);
|
|
|
|
element_type mask = element_type(element_type(1) << (string_length - 1U));
|
|
|
|
for (size_t i = 0U; i < string_length; ++i)
|
|
{
|
|
if (text[i] == ETL_STRL('1'))
|
|
{
|
|
*pbuffer |= mask;
|
|
}
|
|
else
|
|
{
|
|
*pbuffer &= ~mask;
|
|
}
|
|
|
|
mask >>= 1U;
|
|
}
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a u16 string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& from_string(const char16_t* text) ETL_NOEXCEPT
|
|
{
|
|
if (text == ETL_NULLPTR)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
size_t string_length = etl::strlen(text);
|
|
|
|
// Build from the string.
|
|
string_length = etl::min(Active_Bits, string_length);
|
|
|
|
element_type mask = element_type(element_type(1) << (string_length - 1U));
|
|
|
|
for (size_t i = 0U; i < string_length; ++i)
|
|
{
|
|
if (text[i] == ETL_STRu('1'))
|
|
{
|
|
*pbuffer |= mask;
|
|
}
|
|
else
|
|
{
|
|
*pbuffer &= ~mask;
|
|
}
|
|
|
|
mask >>= 1U;
|
|
}
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a u32 string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& from_string(const char32_t* text) ETL_NOEXCEPT
|
|
{
|
|
if (text == ETL_NULLPTR)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
size_t string_length = etl::strlen(text);
|
|
|
|
// Build from the string.
|
|
string_length = etl::min(Active_Bits, string_length);
|
|
|
|
element_type mask = element_type(element_type(1) << (string_length - 1U));
|
|
|
|
for (size_t i = 0U; i < string_length; ++i)
|
|
{
|
|
if (text[i] == ETL_STRU('1'))
|
|
{
|
|
*pbuffer |= mask;
|
|
}
|
|
else
|
|
{
|
|
*pbuffer &= ~mask;
|
|
}
|
|
|
|
mask >>= 1U;
|
|
}
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as an integral value.
|
|
//*************************************************************************
|
|
template <typename T>
|
|
ETL_CONSTEXPR14
|
|
typename etl::enable_if<etl::is_integral<T>::value, T>::type
|
|
value() const ETL_NOEXCEPT
|
|
{
|
|
ETL_STATIC_ASSERT(etl::is_integral<T>::value, "Only integral types are supported");
|
|
ETL_STATIC_ASSERT((sizeof(T) * CHAR_BIT) >= (Number_Of_Elements * Bits_Per_Element), "Integral type too small");
|
|
|
|
T v = T(0);
|
|
|
|
const bool OK = (sizeof(T) * CHAR_BIT) >= Bits_Per_Element;
|
|
|
|
if (OK)
|
|
{
|
|
v = T(typename etl::make_unsigned<T>::type(*pbuffer));
|
|
}
|
|
|
|
return v;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as an unsigned long.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 unsigned long to_ulong() const ETL_NOEXCEPT
|
|
{
|
|
return value<unsigned long>();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as an unsigned long long.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 unsigned long long to_ullong() const ETL_NOEXCEPT
|
|
{
|
|
return value<unsigned long long>();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Reset all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& reset() ETL_NOEXCEPT
|
|
{
|
|
*pbuffer = All_Clear_Element;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Reset the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& reset(size_t position) ETL_NOEXCEPT
|
|
{
|
|
if (position < Active_Bits)
|
|
{
|
|
const element_type mask = element_type(element_type(1) << position);
|
|
*pbuffer &= ~mask;
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Tests a bit at a position.
|
|
/// Positions greater than the number of configured bits will return <b>false</b>.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool test(size_t position) const ETL_NOEXCEPT
|
|
{
|
|
if (position < Active_Bits)
|
|
{
|
|
const element_type mask = element_type(element_type(1) << position);
|
|
return (*pbuffer & mask) != 0U;
|
|
}
|
|
|
|
return false;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// The number of bits in the bitset.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t size() const ETL_NOEXCEPT
|
|
{
|
|
return Active_Bits;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Count the number of bits set.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t count() const ETL_NOEXCEPT
|
|
{
|
|
return etl::count_bits(*pbuffer);
|
|
}
|
|
|
|
//*************************************************************************
|
|
// Are all the bits sets?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool all() const ETL_NOEXCEPT
|
|
{
|
|
return *pbuffer == All_Set_Element;
|
|
}
|
|
|
|
//*************************************************************************
|
|
// Are all the bits sets?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool all(element_type mask) const ETL_NOEXCEPT
|
|
{
|
|
return *pbuffer == (All_Set_Element & mask);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are none of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool none() const ETL_NOEXCEPT
|
|
{
|
|
return *pbuffer == All_Clear_Element;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are none of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool none(element_type mask) const ETL_NOEXCEPT
|
|
{
|
|
return (*pbuffer & mask) == All_Clear_Element;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are any of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool any() const ETL_NOEXCEPT
|
|
{
|
|
return !none();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are any of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool any(element_type mask) const ETL_NOEXCEPT
|
|
{
|
|
return !none(mask);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Flip all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& flip() ETL_NOEXCEPT
|
|
{
|
|
*pbuffer = ~*pbuffer;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Flip some of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& flip_bits(element_type mask = etl::integral_limits<element_type>::max) ETL_NOEXCEPT
|
|
{
|
|
*pbuffer ^= mask;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Flip the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& flip(size_t position) ETL_NOEXCEPT
|
|
{
|
|
if (position < Active_Bits)
|
|
{
|
|
const element_type mask = element_type(element_type(1) << position);
|
|
*pbuffer ^= mask;
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Read [] operator.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool operator[] (size_t position) const ETL_NOEXCEPT
|
|
{
|
|
if (position < Active_Bits)
|
|
{
|
|
const element_type mask = element_type(element_type(1) << position);
|
|
return (*pbuffer & mask) != 0U;
|
|
}
|
|
|
|
return false;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Write [] operator.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bit_reference operator [] (size_t position) ETL_NOEXCEPT
|
|
{
|
|
return bit_reference(*this, position);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Returns a string representing the bitset.
|
|
//*************************************************************************
|
|
#if ETL_USING_CPP11
|
|
template <typename TString = etl::string<Active_Bits>>
|
|
#else
|
|
template <typename TString>
|
|
#endif
|
|
ETL_CONSTEXPR14 TString to_string(typename TString::value_type zero = typename TString::value_type('0'),
|
|
typename TString::value_type one = typename TString::value_type('1')) const
|
|
{
|
|
TString result;
|
|
|
|
result.resize(Active_Bits, '\0');
|
|
|
|
// Check that the string type can contain the digits.
|
|
ETL_ASSERT_OR_RETURN_VALUE(result.size() == Active_Bits, ETL_ERROR(etl::bitset_string_too_small), result);
|
|
|
|
for (size_t i = Active_Bits; i > 0; --i)
|
|
{
|
|
result[Active_Bits - i] = test(i - 1) ? one : zero;
|
|
}
|
|
|
|
return result;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Finds the first bit in the specified state.
|
|
///\param state The state to search for.
|
|
///\returns The position of the bit or npos if none were found.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t find_first(bool state) const ETL_NOEXCEPT
|
|
{
|
|
return find_next(state, 0U);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Finds the next bit in the specified state.
|
|
///\param state The state to search for.
|
|
///\param position The position to start from.
|
|
///\returns The position of the bit or npos if none were found.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t find_next(bool state, size_t position) const ETL_NOEXCEPT
|
|
{
|
|
if (position < Active_Bits)
|
|
{
|
|
// Where to start.
|
|
size_t bit = position;
|
|
|
|
element_type mask = 1U << position;
|
|
|
|
// Needs checking?
|
|
if ((state && (*pbuffer != All_Clear_Element)) || (!state && (*pbuffer != All_Set_Element)))
|
|
{
|
|
// For each bit in the element...
|
|
while (bit < Active_Bits)
|
|
{
|
|
// Equal to the required state?
|
|
if (((*pbuffer & mask) != 0) == state)
|
|
{
|
|
return bit;
|
|
}
|
|
|
|
// Move on to the next bit.
|
|
mask <<= 1;
|
|
++bit;
|
|
}
|
|
}
|
|
}
|
|
|
|
return npos;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator &=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& operator &=(const bitset_ext<Active_Bits, TElement, true>& other) ETL_NOEXCEPT
|
|
{
|
|
*pbuffer &= *other.pbuffer;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator |=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& operator |=(const bitset_ext<Active_Bits, TElement, true>& other) ETL_NOEXCEPT
|
|
{
|
|
*pbuffer |= *other.pbuffer;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator ^=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& operator ^=(const bitset_ext<Active_Bits, TElement, true>& other) ETL_NOEXCEPT
|
|
{
|
|
*pbuffer ^= *other.pbuffer;
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator <<=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& operator <<=(size_t shift) ETL_NOEXCEPT
|
|
{
|
|
if (shift >= Active_Bits)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
*pbuffer <<= shift;
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator >>=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, true>& operator >>=(size_t shift) ETL_NOEXCEPT
|
|
{
|
|
if (shift >= Active_Bits)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
*pbuffer >>= shift;
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator ==
|
|
//*************************************************************************
|
|
friend ETL_CONSTEXPR14 bool operator ==(const bitset_ext<Active_Bits, TElement, true>& lhs, const bitset_ext<Active_Bits, TElement, true>& rhs) ETL_NOEXCEPT
|
|
{
|
|
return (*lhs.pbuffer == *rhs.pbuffer);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// swap
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void swap(etl::bitset_ext<Active_Bits, TElement, true>& other) ETL_NOEXCEPT
|
|
{
|
|
element_type temp = *pbuffer;
|
|
*pbuffer = *other.pbuffer;
|
|
*other.pbuffer = temp;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// span
|
|
/// Returns a span of the underlying buffer.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 span_type span() ETL_NOEXCEPT
|
|
{
|
|
return span_type(pbuffer, 1);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// span
|
|
/// Returns a const span of the underlying buffer.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 const_span_type span() const ETL_NOEXCEPT
|
|
{
|
|
return const_span_type(pbuffer, 1);
|
|
}
|
|
|
|
private:
|
|
|
|
element_type* pbuffer;
|
|
};
|
|
|
|
//*************************************************************************
|
|
/// The specialisation that uses an array of the default element type.
|
|
//*************************************************************************
|
|
template <size_t Active_Bits, typename TElement>
|
|
class bitset_ext<Active_Bits, TElement, false> : public bitset_constants
|
|
{
|
|
private:
|
|
|
|
//*************************************************************************
|
|
// If the 'TElement' is the default 'void', then use 'char', otherwise uses
|
|
// the unsigned variant of 'TElement'.
|
|
//*************************************************************************
|
|
struct select_element_type
|
|
{
|
|
typedef typename etl::make_unsigned<typename etl::conditional<etl::is_same<void, TElement>::value, char, TElement>::type>::type type;
|
|
};
|
|
|
|
public:
|
|
|
|
typedef typename select_element_type::type element_type;
|
|
typedef element_type* pointer;
|
|
typedef const element_type* const_pointer;
|
|
|
|
static ETL_CONSTANT size_t Bits_Per_Element = etl::bitset_impl<element_type>::Bits_Per_Element;
|
|
static ETL_CONSTANT size_t Number_Of_Elements = (Active_Bits % Bits_Per_Element == 0) ? Active_Bits / Bits_Per_Element : Active_Bits / Bits_Per_Element + 1;
|
|
static ETL_CONSTANT size_t Allocated_Bits = Number_Of_Elements * Bits_Per_Element;
|
|
static ETL_CONSTANT size_t Top_Mask_Shift = ((Bits_Per_Element - (Allocated_Bits - Active_Bits)) % Bits_Per_Element);
|
|
static ETL_CONSTANT element_type All_Set_Element = etl::bitset_impl<element_type>::All_Set_Element;
|
|
static ETL_CONSTANT element_type All_Clear_Element = etl::bitset_impl<element_type>::All_Clear_Element;
|
|
static ETL_CONSTANT element_type Top_Mask = element_type(Top_Mask_Shift == 0 ? All_Set_Element : ~(All_Set_Element << Top_Mask_Shift));
|
|
|
|
static ETL_CONSTANT size_t ALLOCATED_BITS = Allocated_Bits; ///< For backward compatibility.
|
|
|
|
typedef etl::span<element_type, Number_Of_Elements> span_type;
|
|
typedef etl::span<const element_type, Number_Of_Elements> const_span_type;
|
|
|
|
typedef etl::array<element_type, Number_Of_Elements> buffer_type;
|
|
|
|
//*************************************************************************
|
|
/// The reference type returned.
|
|
//*************************************************************************
|
|
class bit_reference
|
|
{
|
|
public:
|
|
|
|
friend class bitset_ext;
|
|
|
|
//*******************************
|
|
/// Conversion operator.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 operator bool() const ETL_NOEXCEPT
|
|
{
|
|
return p_bitset->test(position);
|
|
}
|
|
|
|
//*******************************
|
|
/// Assignment operator.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference& operator = (bool b) ETL_NOEXCEPT
|
|
{
|
|
p_bitset->set(position, b);
|
|
return *this;
|
|
}
|
|
|
|
//*******************************
|
|
/// Assignment operator.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference& operator = (const bit_reference& r) ETL_NOEXCEPT
|
|
{
|
|
p_bitset->set(position, bool(r));
|
|
return *this;
|
|
}
|
|
|
|
//*******************************
|
|
/// Flip the bit.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference& flip() ETL_NOEXCEPT
|
|
{
|
|
p_bitset->flip(position);
|
|
return *this;
|
|
}
|
|
|
|
//*******************************
|
|
/// Return the logical inverse of the bit.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bool operator~() const ETL_NOEXCEPT
|
|
{
|
|
return !p_bitset->test(position);
|
|
}
|
|
|
|
private:
|
|
|
|
//*******************************
|
|
/// Default constructor.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference() ETL_NOEXCEPT
|
|
: p_bitset(ETL_NULLPTR)
|
|
, position(0)
|
|
{
|
|
}
|
|
|
|
//*******************************
|
|
/// Constructor.
|
|
//*******************************
|
|
ETL_CONSTEXPR14 bit_reference(bitset_ext<Active_Bits, TElement>& r_bitset, size_t position_) ETL_NOEXCEPT
|
|
: p_bitset(&r_bitset)
|
|
, position(position_)
|
|
{
|
|
}
|
|
|
|
bitset_ext<Active_Bits, TElement, false>* p_bitset; ///< The bitset.
|
|
size_t position; ///< The position in the bitset.
|
|
};
|
|
|
|
//*************************************************************************
|
|
/// Default constructor.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
reset();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Default constructor.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(buffer.data())
|
|
{
|
|
reset();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct copy.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const bitset_ext<Active_Bits, TElement, false>& other, element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
etl::copy_n(other.pbuffer, Number_Of_Elements, pbuffer);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct copy.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const bitset_ext<Active_Bits, TElement, false>& other, buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(buffer.data())
|
|
{
|
|
etl::copy_n(other.pbuffer, Number_Of_Elements, pbuffer);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Copy Constructor (Deleted).
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const bitset_ext<Active_Bits, TElement, false>& other) ETL_NOEXCEPT ETL_DELETE;
|
|
|
|
//*************************************************************************
|
|
/// Construct from a value.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(unsigned long long value, element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
ibitset.initialise(pbuffer, Number_Of_Elements, value);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a value.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(unsigned long long value, buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(buffer.data())
|
|
{
|
|
ibitset.initialise(pbuffer, Number_Of_Elements, value);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const char* text, element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const char* text, buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(buffer.data())
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const wchar_t* text, element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const wchar_t* text, buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(buffer.data())
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const char16_t* text, element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const char16_t* text, buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(buffer.data())
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const char32_t* text, element_type* pbuffer_) ETL_NOEXCEPT
|
|
: pbuffer(pbuffer_)
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Construct from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext(const char32_t* text, buffer_type& buffer) ETL_NOEXCEPT
|
|
: pbuffer(buffer.data())
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Assignment operator.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext& operator =(const bitset_ext<Active_Bits, TElement, false>& other) ETL_NOEXCEPT
|
|
{
|
|
etl::copy_n(other.pbuffer, Number_Of_Elements, pbuffer);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& set() ETL_NOEXCEPT
|
|
{
|
|
etl::fill_n(pbuffer, Number_Of_Elements, All_Set_Element);
|
|
clear_unused_bits_in_msb();
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& set(size_t position, bool value = true) ETL_NOEXCEPT
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, position, value);
|
|
clear_unused_bits_in_msb();
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& set(const char* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& set(const wchar_t* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& set(const char16_t* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& set(const char32_t* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.set(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& from_string(const char* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.from_string(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a wide string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& from_string(const wchar_t* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.from_string(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a u16 string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& from_string(const char16_t* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.from_string(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Set from a u32 string.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& from_string(const char32_t* text) ETL_NOEXCEPT
|
|
{
|
|
ibitset.from_string(pbuffer, Number_Of_Elements, Active_Bits, text);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as an integral value.
|
|
//*************************************************************************
|
|
template <typename T>
|
|
ETL_CONSTEXPR14
|
|
typename etl::enable_if<etl::is_integral<T>::value, T>::type
|
|
value() const ETL_NOEXCEPT
|
|
{
|
|
ETL_STATIC_ASSERT(etl::is_integral<T>::value, "Only integral types are supported");
|
|
ETL_STATIC_ASSERT((sizeof(T) * CHAR_BIT) >= (Number_Of_Elements * Bits_Per_Element), "Type too small");
|
|
|
|
return ibitset.template value<T>(pbuffer, Number_Of_Elements);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as an unsigned long.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 unsigned long to_ulong() const ETL_NOEXCEPT
|
|
{
|
|
return value<unsigned long>();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Get as an unsigned long long.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 unsigned long long to_ullong() const ETL_NOEXCEPT
|
|
{
|
|
return value<unsigned long long>();
|
|
}
|
|
//*************************************************************************
|
|
/// Reset all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& reset() ETL_NOEXCEPT
|
|
{
|
|
etl::fill_n(pbuffer, Number_Of_Elements, All_Clear_Element);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Reset the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& reset(size_t position) ETL_NOEXCEPT
|
|
{
|
|
ibitset.reset(pbuffer, Number_Of_Elements, position);
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Tests a bit at a position.
|
|
/// Positions greater than the number of configured bits will return <b>false</b>.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool test(size_t position) const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.test(pbuffer, Number_Of_Elements, position);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// The number of bits in the bitset.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t size() const ETL_NOEXCEPT
|
|
{
|
|
return Active_Bits;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Count the number of bits set.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t count() const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.count(pbuffer, Number_Of_Elements);
|
|
}
|
|
|
|
//*************************************************************************
|
|
// Are all the bits sets?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool all() const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.all(pbuffer, Number_Of_Elements, Top_Mask);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are none of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool none() const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.none(pbuffer, Number_Of_Elements);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Are any of the bits set?
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool any() const ETL_NOEXCEPT
|
|
{
|
|
return !none();
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Flip all of the bits.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& flip() ETL_NOEXCEPT
|
|
{
|
|
ibitset.flip(pbuffer, Number_Of_Elements);
|
|
clear_unused_bits_in_msb();
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Flip the bit at the position.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& flip(size_t position) ETL_NOEXCEPT
|
|
{
|
|
ibitset.flip(pbuffer, Number_Of_Elements, Active_Bits, position);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Read [] operator.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bool operator[] (size_t position) const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.test(pbuffer, Number_Of_Elements, position);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Write [] operator.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bit_reference operator [] (size_t position) ETL_NOEXCEPT
|
|
{
|
|
return bit_reference(*this, position);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Returns a string representing the bitset.
|
|
//*************************************************************************
|
|
#if ETL_USING_CPP11
|
|
template <typename TString = etl::string<Active_Bits>>
|
|
#else
|
|
template <typename TString>
|
|
#endif
|
|
ETL_CONSTEXPR14 TString to_string(typename TString::value_type zero = typename TString::value_type('0'),
|
|
typename TString::value_type one = typename TString::value_type('1')) const
|
|
{
|
|
return ibitset.template to_string<TString>(pbuffer, Number_Of_Elements, Active_Bits, zero, one);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Finds the first bit in the specified state.
|
|
///\param state The state to search for.
|
|
///\returns The position of the bit or npos if none were found.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t find_first(bool state) const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.find_next(pbuffer, Number_Of_Elements, Active_Bits, state, 0);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// Finds the next bit in the specified state.
|
|
///\param state The state to search for.
|
|
///\param position The position to start from.
|
|
///\returns The position of the bit or npos if none were found.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 size_t find_next(bool state, size_t position) const ETL_NOEXCEPT
|
|
{
|
|
return ibitset.find_next(pbuffer, Number_Of_Elements, Active_Bits, state, position);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator &=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& operator &=(const bitset_ext<Active_Bits, TElement, false>& other) ETL_NOEXCEPT
|
|
{
|
|
ibitset.and_equals(&pbuffer[0], &other.pbuffer[0], Number_Of_Elements);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator |=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& operator |=(const bitset_ext<Active_Bits, TElement, false>& other) ETL_NOEXCEPT
|
|
{
|
|
ibitset.or_equals(&pbuffer[0], &other.pbuffer[0], Number_Of_Elements);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator ^=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& operator ^=(const bitset_ext<Active_Bits, TElement, false>& other) ETL_NOEXCEPT
|
|
{
|
|
ibitset.xor_equals(&pbuffer[0], &other.pbuffer[0], Number_Of_Elements);
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator <<=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& operator <<=(size_t shift) ETL_NOEXCEPT
|
|
{
|
|
if (shift >= Active_Bits)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
ibitset.shift_left_equals(pbuffer, Number_Of_Elements, shift);
|
|
clear_unused_bits_in_msb();
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator >>=
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 bitset_ext<Active_Bits, TElement, false>& operator >>=(size_t shift) ETL_NOEXCEPT
|
|
{
|
|
if (shift >= Active_Bits)
|
|
{
|
|
reset();
|
|
}
|
|
else
|
|
{
|
|
ibitset.shift_right_equals(pbuffer, Number_Of_Elements, shift);
|
|
}
|
|
|
|
return *this;
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// operator ==
|
|
//*************************************************************************
|
|
friend ETL_CONSTEXPR14 bool operator ==(const bitset_ext<Active_Bits, TElement, false>& lhs, const bitset_ext<Active_Bits, TElement, false>& rhs) ETL_NOEXCEPT
|
|
{
|
|
return etl::equal(lhs.pbuffer,
|
|
lhs.pbuffer + lhs.Number_Of_Elements,
|
|
rhs.pbuffer);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// swap
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void swap(etl::bitset_ext<Active_Bits, TElement, false>& other) ETL_NOEXCEPT
|
|
{
|
|
ibitset.swap(pbuffer, other.pbuffer, Number_Of_Elements);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// span
|
|
/// Returns a span of the underlying pbuffer.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 span_type span() ETL_NOEXCEPT
|
|
{
|
|
return span_type(pbuffer, Number_Of_Elements);
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// span
|
|
/// Returns a const span of the underlying pbuffer.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 const_span_type span() const ETL_NOEXCEPT
|
|
{
|
|
return const_span_type(pbuffer, Number_Of_Elements);
|
|
}
|
|
|
|
private:
|
|
|
|
//*************************************************************************
|
|
/// Correct the unused top bits after bit manipulation.
|
|
//*************************************************************************
|
|
ETL_CONSTEXPR14 void clear_unused_bits_in_msb() ETL_NOEXCEPT
|
|
{
|
|
pbuffer[Number_Of_Elements - 1U] &= Top_Mask;
|
|
}
|
|
|
|
etl::bitset_impl<element_type> ibitset;
|
|
element_type* pbuffer;
|
|
};
|
|
|
|
//***************************************************************************
|
|
/// operator !=
|
|
///\ingroup bitset
|
|
//***************************************************************************
|
|
template<size_t Active_Bits, typename TElement, bool IsSingleElement>
|
|
ETL_CONSTEXPR14 bool operator != (const bitset_ext<Active_Bits, TElement, IsSingleElement>& lhs, const bitset_ext<Active_Bits, TElement, IsSingleElement>& rhs) ETL_NOEXCEPT
|
|
{
|
|
return !(lhs == rhs);
|
|
}
|
|
}
|
|
|
|
//*************************************************************************
|
|
/// swap
|
|
//*************************************************************************
|
|
template <size_t Active_Bits, typename TElement, bool IsSingleElement>
|
|
ETL_CONSTEXPR14 void swap(etl::bitset_ext<Active_Bits, TElement, IsSingleElement>& lhs, etl::bitset_ext<Active_Bits, TElement, IsSingleElement>& rhs) ETL_NOEXCEPT
|
|
{
|
|
lhs.swap(rhs);
|
|
}
|
|
|
|
|
|
#include "minmax_pop.h"
|
|
|
|
#endif
|