Enum cranelift_codegen_meta::cdsl::types::ValueType

pub(crate) enum ValueType {
    Lane(LaneType),
    Reference(ReferenceType),
    Special(SpecialType),
    Vector(VectorType),
}

A concrete SSA value type.

All SSA values have a type that is described by an instance of ValueType or one of its subclasses.

Variants

Lane(LaneType)

Reference(ReferenceType)

Special(SpecialType)

Vector(VectorType)

Methods

impl ValueType

Important traits for LaneTypeIterator

impl Iterator for LaneTypeIterator type Item = LaneType;

pub fn all_lane_types() -> LaneTypeIterator

Iterate through all of the lane types.

Important traits for SpecialTypeIterator

impl Iterator for SpecialTypeIterator type Item = SpecialType;

pub fn all_special_types() -> SpecialTypeIterator

Iterate through all of the special types (neither lanes nor vectors).

Important traits for ReferenceTypeIterator

impl Iterator for ReferenceTypeIterator type Item = ReferenceType;

pub fn all_reference_types() -> ReferenceTypeIterator

pub fn doc(&self) -> String

Return a string containing the documentation comment for this type.

pub fn lane_bits(&self) -> u64

Return the number of bits in a lane.

pub fn lane_count(&self) -> u64

Return the number of lanes.

pub fn membytes(&self) -> u64

Find the number of bytes that this type occupies in memory.

pub fn number(&self) -> Option<u8>

Find the unique number associated with this type.

pub fn rust_name(&self) -> String

Return the name of this type for generated Rust source files.

pub fn _wider_or_equal(&self, rhs: &ValueType) -> bool

Return true iff:

1. self and other have equal number of lanes
2. each lane in self has at least as many bits as a lane in other

pub fn width(&self) -> u64

Return the total number of bits of an instance of this type.

Trait Implementations

impl Clone for ValueType

fn clone(&self) -> ValueType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValueType

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

Formats the value using the given formatter.

impl Display for ValueType

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

Formats the value using the given formatter.

impl Eq for ValueType

impl From<LaneType> for ValueType

Create a ValueType from a given lane type.

fn from(lane: LaneType) -> Self

Performs the conversion.

impl From<ReferenceType> for ValueType

Create a ValueType from a given reference type.

fn from(reference: ReferenceType) -> Self

Performs the conversion.

impl From<SpecialType> for ValueType

Create a ValueType from a given special type.

fn from(spec: SpecialType) -> Self

Performs the conversion.

impl From<VectorType> for ValueType

Create a ValueType from a given vector type.

fn from(vector: VectorType) -> Self

Performs the conversion.

impl Hash for ValueType

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, 

Feeds a slice of this type into the given [Hasher].

impl Into<TypeVar> for ValueType

fn into(self) -> TypeVar

Performs the conversion.

impl PartialEq<ValueType> for ValueType

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for ValueType

impl StructuralPartialEq for ValueType