Enum cranelift_isle::ir::ExprInst

pub enum ExprInst {
    ConstInt {
        ty: TypeId,
        val: i128,
    },
    ConstPrim {
        ty: TypeId,
        val: Sym,
    },
    CreateVariant {
        inputs: Vec<(Value, TypeId)>,
        ty: TypeId,
        variant: VariantId,
    },
    Construct {
        inputs: Vec<(Value, TypeId)>,
        ty: TypeId,
        term: TermId,
        infallible: bool,
    },
    Return {
        index: usize,
        ty: TypeId,
        value: Value,
    },
}

A single Expr instruction.

Variants

ConstInt

Fields

ty: TypeId

This integer type.

val: i128

The integer value. Must fit within the type.

Produce a constant integer.

ConstPrim

Fields

ty: TypeId

The primitive type.

val: Sym

The primitive value.

Produce a constant extern value.

CreateVariant

Fields

inputs: Vec<(Value, TypeId)>

The input arguments that will make up this variant’s fields.

These must be in the same order as the variant’s fields.

ty: TypeId

The enum type.

variant: VariantId

The variant within the enum that we are contructing.

Create a variant.

Construct

Fields

inputs: Vec<(Value, TypeId)>

The arguments to the constructor.

ty: TypeId

The type of the constructor.

term: TermId

The constructor term.

infallible: bool

Whether this constructor is infallible or not.

Invoke a constructor.

Return

Fields

index: usize

The index of the return value to set.

ty: TypeId

The type of the return value.

value: Value

The value to set as the indexth return value.

Set the Nth return value. Produces no values.

Implementations

impl ExprInst

pub fn visit_values<F: FnMut(Value)>(&self, f: F)

Invoke f for each value in this expression.

Trait Implementations

impl Clone for ExprInst

fn clone(&self) -> ExprInst

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExprInst

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

Formats the value using the given formatter.

impl Hash for ExprInst

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 Ord for ExprInst

fn cmp(&self, other: &ExprInst) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere
    Self: PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<ExprInst> for ExprInst

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

fn partial_cmp(&self, other: &ExprInst) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for ExprInst

impl StructuralEq for ExprInst

impl StructuralPartialEq for ExprInst