Struct cranelift_codegen_meta::cdsl::typevar::TypeVar

pub(crate) struct TypeVar {
    content: Rc<RefCell<TypeVarContent>>,
}

Fields

content: Rc<RefCell<TypeVarContent>>

Implementations

impl TypeVar

pub fn new(
    name: impl Into<String>,
    doc: impl Into<String>,
    type_set: TypeSet
) -> Self

pub fn new_singleton(value_type: ValueType) -> Self

pub fn copy_from(other: &TypeVar, name: String) -> TypeVar

Get a fresh copy of self, named after name. Can only be called on non-derived typevars.

pub fn get_typeset(&self) -> TypeSet

Returns the typeset for this TV. If the TV is derived, computes it recursively from the derived function and the base's typeset. Note this can't be done non-lazily in the constructor, because the TypeSet of the base may change over time.

pub fn get_raw_typeset(&self) -> &TypeSet

Returns this typevar's type set, assuming this type var has no parent.

pub fn singleton_type(&self) -> Option<ValueType>

If the associated typeset has a single type return it. Otherwise return None.

pub fn free_typevar(&self) -> Option<TypeVar>

Get the free type variable controlling this one.

pub fn derived(&self, derived_func: DerivedFunc) -> TypeVar

Create a type variable that is a function of another.

pub fn lane_of(&self) -> TypeVar

pub fn as_bool(&self) -> TypeVar

pub fn half_width(&self) -> TypeVar

pub fn double_width(&self) -> TypeVar

pub fn half_vector(&self) -> TypeVar

pub fn double_vector(&self) -> TypeVar

pub fn split_lanes(&self) -> TypeVar

pub fn constrain_types_by_ts(&self, type_set: TypeSet)

Constrain the range of types this variable can assume to a subset of those in the typeset ts. May mutate itself if it's not derived, or its parent if it is.

pub fn constrain_types(&self, other: TypeVar)

Constrain the range of types this variable can assume to a subset of those other can assume. May mutate itself if it's not derived, or its parent if it is.

pub fn to_rust_code(&self) -> String

Get a Rust expression that computes the type of this type variable.

Trait Implementations

impl Clone for TypeVar

fn clone(&self) -> TypeVar

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeVar

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

Formats the value using the given formatter.

impl Deref for TypeVar

type Target = TypeVarContent

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl Eq for TypeVar

impl Hash for TypeVar

fn hash<H: Hasher>(&self, h: &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<OperandKind> for &'_ TypeVar

fn into(self) -> OperandKind

Performs the conversion.

impl<'_> Into<TypeVar> for &'_ TypeVar

fn into(self) -> TypeVar

Performs the conversion.

impl Into<TypeVar> for ValueType

fn into(self) -> TypeVar

Performs the conversion.

impl PartialEq<TypeVar> for TypeVar

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

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.