Enum cranelift_codegen_meta::cdsl::types::ValueType

pub(crate) enum ValueType {
    Lane(LaneType),
    Reference(ReferenceType),
    Vector(VectorType),
    DynamicVector(DynamicVectorType),
}

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)

Vector(VectorType)

DynamicVector(DynamicVectorType)

Implementations

impl ValueType

pub fn all_lane_types() -> LaneTypeIterator

Iterate through all of the lane types.

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) -> u16

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 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 From<DynamicVectorType> for ValueType

Create a ValueType from a given dynamic vector type.

fn from(vector: DynamicVectorType) -> Self

Converts to this type from the input type.

impl From<LaneType> for ValueType

Create a ValueType from a given lane type.

fn from(lane: LaneType) -> Self

Converts to this type from the input type.

impl From<ReferenceType> for ValueType

Create a ValueType from a given reference type.

fn from(reference: ReferenceType) -> Self

Converts to this type from the input type.

impl From<ValueType> for TypeVar

fn from(value_type: ValueType) -> Self

Converts to this type from the input type.

impl From<VectorType> for ValueType

Create a ValueType from a given vector type.

fn from(vector: VectorType) -> Self

Converts to this type from the input type.

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq 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: &Rhs) -> bool

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

impl Eq for ValueType

impl StructuralPartialEq for ValueType