#include <BitSpec.h>

Collaboration diagram for GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >:

Classes
struct	Params

Public Types
using	value_type = Value
using	bits_type = std::bitset<width>
using	encoder_type = std::function<bits_type(Value)>
using	decoder_type = std::function<std::pair<Value,Value>(bits_type)>

Public Member Functions
constexpr	BitField (std::string_view name, std::string_view auxvar, std::string_view description, encoder_type encoder=nullptr, decoder_type decoder=nullptr, Value scale=0, Value offset=0)
constexpr	BitField (const Params &p)
constexpr std::string_view	name () const
constexpr std::string_view	description () const
Value	value (const SG::AuxElement &obj) const
Value	value (const SG::AuxElement &obj, bool truncate) const
AuxValue &	store (SG::AuxElement &obj, Value value) const
bits_type	encode (Value value) const
template<typename... Args>
bits_type	encode (const std::variant< Args... > &value) const
bits_type	bits (const SG::AuxElement &obj) const
std::pair< Value, Value >	range (bits_type bits) const
Value	decode (bits_type bits) const
template<std::size_t N>
bits_type	extract (const std::bitset< N > &packed) const
template<std::size_t N>
Value	decodeFrom (const std::bitset< N > &packed) const
template<std::size_t N>
void	decodeAndAssignFrom (const std::bitset< N > &packed, SG::AuxElement &obj) const
template<std::size_t N>
void	pack (std::bitset< N > &result, const SG::AuxElement &obj) const

Static Public Member Functions
static std::int64_t	code (bits_type bits)

Public Attributes
AuxSpec	auxspec

Static Public Attributes
static constexpr unsigned	lo = Lo
static constexpr unsigned	hi = Hi
static constexpr unsigned	width = Hi - Lo + 1

Private Attributes
std::string_view	m_name
std::string_view	m_description
encoder_type	m_encoder
decoder_type	m_decoder
SG::ConstAccessor< AuxValue >	m_acc
SG::Accessor< AuxValue >	m_wacc

Detailed Description

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>
class GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >

Definition at line 122 of file BitSpec.h.

Member Typedef Documentation

◆ bits_type

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

using GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::bits_type = std::bitset<width>

Definition at line 143 of file BitSpec.h.

◆ decoder_type

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

using GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::decoder_type = std::function<std::pair<Value,Value>(bits_type)>

Definition at line 146 of file BitSpec.h.

◆ encoder_type

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

using GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::encoder_type = std::function<bits_type(Value)>

Definition at line 145 of file BitSpec.h.

◆ value_type

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

using GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::value_type = Value

Definition at line 142 of file BitSpec.h.

Constructor & Destructor Documentation

◆ BitField() [1/2]

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::BitField	(	std::string_view	name,
		std::string_view	auxvar,
		std::string_view	description,
		encoder_type	encoder = nullptr,
		decoder_type	decoder = nullptr,
		Value	scale = 0,
		Value	offset = 0 )

inlineconstexpr

Definition at line 148 of file BitSpec.h.

                : auxspec(AuxSpec::parse(auxvar)),
                  m_name(name),
                  m_description(description),
                  m_encoder(std::move(encoder)),
                  m_decoder(std::move(decoder)),
                  m_acc(std::string{auxspec.name}), m_wacc(std::string{auxspec.name}) {
                if(!m_encoder && !m_decoder && scale) {
                    m_encoder = [scale,offset](Value v) {
                        return bits_type{ static_cast<uint64_t>(std::round((v-offset)/scale)) };
                    };
                    m_decoder = [scale,offset](bits_type bits) -> std::pair<Value,Value> {
                            const double c = static_cast<double>(code(bits));
                            return {static_cast<Value>(offset + (c-0.5)*scale),
                                    static_cast<Value>(offset + (c+0.5)*scale) };
                    };
                }
        }

◆ BitField() [2/2]

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::BitField ( const Params & p )

inlineconstexpr

Definition at line 186 of file BitSpec.h.

186: BitField(p.name,p.auxvar,p.description,p.encoder,p.decoder,p.scale,p.offset) { }

GlobalSim::BitField::BitField

constexpr BitField(std::string_view name, std::string_view auxvar, std::string_view description, encoder_type encoder=nullptr, decoder_type decoder=nullptr, Value scale=0, Value offset=0)

Definition BitSpec.h:148

Member Function Documentation

◆ bits()

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

bits_type GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::bits ( const SG::AuxElement & obj ) const

inline

Definition at line 298 of file BitSpec.h.

                                                      {
            return encode(value(obj));
        }

◆ code()

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

std::int64_t GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::code ( bits_type bits )

inlinestatic

Definition at line 284 of file BitSpec.h.

                                               {
            auto value = bits.to_ullong();
            if constexpr (Signed) {
                if (bits[width - 1]) {
                    value -= (std::uint64_t{1} << width);
                }
            }
            return static_cast<std::int64_t>(value);
        }

◆ decode()

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

Value GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::decode ( bits_type bits ) const

inline

Definition at line 317 of file BitSpec.h.

                                           {
            const auto [lo,hi] = range(bits);
            if (lo == hi) {
                return lo;
            }
 
            if constexpr (std::is_arithmetic_v<Value> && !std::is_same_v<Value, bool>) {
                return static_cast<Value>(
                        (static_cast<double>(lo) + static_cast<double>(hi)) / 2.0);
            } else {
                // No well-defined midpoint for this Value type -- fall back to
                // the lower bound rather than attempting arithmetic on it.
                return lo;
            }
        }

◆ decodeAndAssignFrom()

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

template<std::size_t N>

void GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::decodeAndAssignFrom	(	const std::bitset< N > &	packed,
		SG::AuxElement &	obj ) const

inline

Definition at line 359 of file BitSpec.h.

                                                                                       {
            store( obj, decode(extract(packed)));
        }

◆ decodeFrom()

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

template<std::size_t N>

Value GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::decodeFrom ( const std::bitset< N > & packed ) const

inline

Definition at line 354 of file BitSpec.h.

                                                            {
            return decode(extract(packed));
        }

◆ description()

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

std::string_view GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::description ( ) const

inlineconstexpr

Definition at line 194 of file BitSpec.h.

194{ return m_description; }

◆ encode() [1/2]

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

template<typename... Args>

bits_type GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::encode ( const std::variant< Args... > & value ) const

inline

Definition at line 264 of file BitSpec.h.

                                                                 {
            return std::visit(
                    [this](const auto& v) -> bits_type {
                        using T = std::decay_t<decltype(v)>;
 
                        if constexpr (std::is_convertible_v<T, Value>) {
                        return encode(
                                static_cast<Value>(v));
                    }
                        else {
                        throw std::invalid_argument(
                                "Variant alternative cannot be converted "
                                "to BitField value type");
                    }
                    },
                    value);
        }

◆ encode() [2/2]

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

bits_type GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::encode ( Value value ) const

inline

Definition at line 248 of file BitSpec.h.

                                            {
            if (m_encoder)
                return m_encoder(value);
 
            // Default behaviour: integral conversion.
 
            // should we check for out-of-range given size of bitset?
 
            return bits_type{
                    static_cast<unsigned long long>(value)
            };
        }

◆ extract()

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

template<std::size_t N>

bits_type GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::extract ( const std::bitset< N > & packed ) const

inline

Definition at line 338 of file BitSpec.h.

                                                             {
            static_assert(Hi < N, "BitField extends beyond the specification width");
 
            bits_type result;
 
            for (unsigned i = 0; i < width; ++i)
                result[i] = packed[Lo + i];
 
            return result;
        }

◆ name()

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

std::string_view GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::name ( ) const

inlineconstexpr

Definition at line 192 of file BitSpec.h.

192{ return m_name; }

◆ pack()

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

template<std::size_t N>

void GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::pack	(	std::bitset< N > &	result,
		const SG::AuxElement &	obj ) const

inline

Definition at line 368 of file BitSpec.h.

                                               {
            static_assert(
                    Hi < N,
                    "BitField extends beyond the specification width");
 
            const bits_type field_bits = bits(obj);
 
            for (unsigned i = 0; i < width; ++i)
                result[Lo + i] = field_bits[i];
        }

◆ range()

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

std::pair< Value, Value > GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::range ( bits_type bits ) const

inline

Definition at line 306 of file BitSpec.h.

                                                          {
            if (m_decoder)
                return m_decoder(bits);
            const Value v = static_cast<Value>(code(bits));
            return { v, v };
        }

◆ store()

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

AuxValue & GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::store	(	SG::AuxElement &	obj,
		Value	value ) const

inline

Definition at line 222 of file BitSpec.h.

                                                              {
            if constexpr (std::is_integral_v<AuxValue>)
            { // ensures have bitwise operators, has_mask is not constexpr so must hide this from invalid AuxValue types
                // leaving this commented as may revert to constexpr again at some point
                //            if constexpr (has_mask) {
                //                auto& val = m_wacc(obj);
                //                val = (val & ~Mask) | ((value << shift) & Mask);
                if (auxspec.has_mask) {
                    auto &val = m_wacc(obj);
                    //avoid unintended sign extension, make everything unsigned
                    using unsigned_aux_type = std::make_unsigned_t<AuxValue>;
                    const auto mask = static_cast<unsigned_aux_type>(auxspec.mask);
                    const auto current = static_cast<unsigned_aux_type>(val);
                    const auto encoded = (static_cast<unsigned_aux_type>(value) << auxspec.shift) & mask;
                    val = static_cast<AuxValue>((current & ~mask) | encoded);
                    return val;
                }
            }
            return (m_wacc(obj) = value);
 
        }

◆ value() [1/2]

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

Value GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::value ( const SG::AuxElement & obj ) const

inline

Definition at line 200 of file BitSpec.h.

                                                   {
 
            if constexpr (std::is_integral_v<AuxValue>)
            { // ensures have bitwise operators
 
                /*if constexpr(has_mask) {
                    return (m_acc(obj) & Mask) >> shift;*/
                if (auxspec.has_mask) {
                    return decode((m_acc(obj) & auxspec.mask) >> auxspec.shift);
                }
            }
 
            return m_acc(obj);
 
        }

◆ value() [2/2]

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

Value GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::value	(	const SG::AuxElement &	obj,
		bool	truncate ) const

inline

Definition at line 217 of file BitSpec.h.

                                                                  {
            if(!truncate) return value(obj);
            return decode(encode(value(obj)));
        }

Member Data Documentation

◆ auxspec

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

AuxSpec GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::auxspec

Definition at line 381 of file BitSpec.h.

◆ hi

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

unsigned GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::hi = Hi

staticconstexpr

Definition at line 130 of file BitSpec.h.

◆ lo

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

unsigned GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::lo = Lo

staticconstexpr

Definition at line 129 of file BitSpec.h.

◆ m_acc

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

SG::ConstAccessor<AuxValue> GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::m_acc

private

Definition at line 390 of file BitSpec.h.

◆ m_decoder

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

decoder_type GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::m_decoder

private

Definition at line 388 of file BitSpec.h.

◆ m_description

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

std::string_view GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::m_description

private

Definition at line 385 of file BitSpec.h.

◆ m_encoder

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

encoder_type GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::m_encoder

private

Definition at line 387 of file BitSpec.h.

◆ m_name

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

std::string_view GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::m_name

private

Definition at line 384 of file BitSpec.h.

◆ m_wacc

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

SG::Accessor<AuxValue> GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::m_wacc

private

Definition at line 391 of file BitSpec.h.

◆ width

template<unsigned Lo, unsigned Hi, typename AuxValue, typename Value = AuxValue, bool Signed = false>

unsigned GlobalSim::BitField< Lo, Hi, AuxValue, Value, Signed >::width = Hi - Lo + 1

staticconstexpr

Definition at line 131 of file BitSpec.h.

The documentation for this class was generated from the following file:

BitSpec.h

Classes

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Static Public Attributes

Private Attributes

Detailed Description

Member Typedef Documentation

◆ bits_type

◆ decoder_type

◆ encoder_type

◆ value_type

Constructor & Destructor Documentation

◆ BitField() [1/2]

◆ BitField() [2/2]

Member Function Documentation

◆ bits()

◆ code()

◆ decode()

◆ decodeAndAssignFrom()

◆ decodeFrom()

◆ description()

◆ encode() [1/2]

◆ encode() [2/2]

◆ extract()

◆ name()

◆ pack()

◆ range()

◆ store()

◆ value() [1/2]

◆ value() [2/2]

Member Data Documentation

◆ auxspec

◆ hi

◆ lo

◆ m_acc

◆ m_decoder

◆ m_description

◆ m_encoder

◆ m_name

◆ m_wacc

◆ width