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)

Implementations

impl ValueType

pub fn all_lane_types() -> LaneTypeIterator

Iterate through all of the lane types.

pub fn all_special_types() -> SpecialTypeIterator

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

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