Struct cranelift_codegen::ir::dynamic_type::DynamicTypeData

pub struct DynamicTypeData {
    pub base_vector_ty: Type,
    pub dynamic_scale: GlobalValue,
}

A dynamic type object which has a base vector type and a scaling factor.

Fields

base_vector_ty: Type

Base vector type, this is the minimum size of the type.

dynamic_scale: GlobalValue

The dynamic scaling factor of the base vector type.

Implementations

impl DynamicTypeData

pub fn new(base_vector_ty: Type, dynamic_scale: GlobalValue) -> Self

Create a new dynamic type.

pub fn concrete(&self) -> Option<Type>

Convert ‘base_vector_ty’ into a concrete dynamic vector type.

Examples found in repository

src/ir/function.rs (line 261)

    pub fn get_concrete_dynamic_ty(&self, ty: DynamicType) -> Option<Type> {
        self.dfg
            .dynamic_types
            .get(ty)
            .unwrap_or_else(|| panic!("Undeclared dynamic vector type: {}", ty))
            .concrete()
    }

src/ir/dfg.rs (line 1164)

    pub fn check_dynamic_type(&mut self, ty: Type) -> Option<Type> {
        debug_assert!(ty.is_dynamic_vector());
        if self
            .dynamic_types
            .values()
            .any(|dyn_ty_data| dyn_ty_data.concrete().unwrap() == ty)
        {
            Some(ty)
        } else {
            None
        }
    }

Trait Implementations

impl Clone for DynamicTypeData

fn clone(&self) -> DynamicTypeData

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Hash for DynamicTypeData

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<DynamicTypeData> for DynamicTypeData

fn eq(&self, other: &DynamicTypeData) -> 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 StructuralPartialEq for DynamicTypeData