Enum Scalar

pub enum Scalar {
    Initialized {
        value: Primitive,
        valid_range: WrappingRange,
    },
    Union {
        value: Primitive,
    },
}

Information about one scalar component of a Rust type.

Variants

Initialized

Fields

value: Primitive

valid_range: WrappingRange

Union

Fields

value: Primitive

Even for unions, we need to use the correct registers for the kind of values inside the union, so we keep the Primitive type around. We also use it to compute the size of the scalar. However, unions never have niches and even allow undef, so there is no valid_range.

Implementations

impl Scalar

pub fn is_bool(&self) -> bool

pub fn primitive(&self) -> Primitive

Get the primitive representation of this type, ignoring the valid range and whether the value is allowed to be undefined (due to being a union).

pub fn align(self, cx: &impl HasDataLayout) -> AbiAndPrefAlign

pub fn size(self, cx: &impl HasDataLayout) -> Size

pub fn to_union(&self) -> Self

pub fn valid_range(&self, cx: &impl HasDataLayout) -> WrappingRange

pub fn valid_range_mut(&mut self) -> &mut WrappingRange

Allows the caller to mutate the valid range. This operation will panic if attempted on a union.

pub fn is_always_valid<C: HasDataLayout>(&self, cx: &C) -> bool

Returns true if all possible numbers are valid, i.e valid_range covers the whole layout.

pub fn is_uninit_valid(&self) -> bool

Returns true if this type can be left uninit.

Trait Implementations

impl Clone for Scalar

fn clone(&self) -> Scalar

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Scalar

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for Scalar

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Scalar

fn eq(&self, other: &Scalar) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Scalar

impl Eq for Scalar

impl StructuralPartialEq for Scalar