Enum Expr 

#[repr(u16)]
pub enum Expr {
    Sequence(AccessClass),
    Const(Value),
    Exit {
        values: u16,
    },
    BinaryOp(BinaryOp, OverflowBehaviour),
    UnaryOp(UnaryOp, OverflowBehaviour),
    CallFunction(FnType),
    Branch {
        cond: BranchCondition,
        target: u32,
    },
    BranchIndirect,
    Convert(ConversionStrength, Type),
    Derive(PointerType, Box<Self>),
    Local(u32),
    Pop(u32),
    Dup(u32),
    Pivot(u32, u32),
    Aggregate(AggregateCtor),
    Member(String),
    MemberIndirect(String),
    Assign(AccessClass),
    AsRValue(AccessClass),
    CompoundAssign(BinaryOp, OverflowBehaviour, AccessClass),
    FetchAssign(BinaryOp, OverflowBehaviour, AccessClass),
    LValueOp(LValueOp, AccessClass),
    UnaryLValue(UnaryLValueOp, OverflowBehaviour, AccessClass),
    Indirect,
    AddrOf,
    Fence(AccessClass),
    Switch(Switch),
    Tailcall(FnType),
    Asm(AsmExpr),
    BeginStorage(u32),
    EndStorage(u32),
    Select(u32),
}

An xir expression/instruction

Variants

Sequence(AccessClass)

Const(Value)

Pushes a constant value.

Stack

Type checking: [..]=>[..,T]

Operands: [..]=>[..,Value]

Exit

Exits the function

Stack

Type Checking: [..,T1,T2,…,Tn]=>diverged

Operands: [..,v1,v2,…,vn]=>diverged

Fields

values: u16

BinaryOp(BinaryOp, OverflowBehaviour)

UnaryOp(UnaryOp, OverflowBehaviour)

CallFunction(FnType)

Branch

Fields

cond: BranchCondition

target: u32

BranchIndirect

Convert(ConversionStrength, Type)

Derive(PointerType, Box<Self>)

Local(u32)

Pop(u32)

Dup(u32)

Pivot(u32, u32)

Aggregate(AggregateCtor)

Member(String)

MemberIndirect(String)

Assign(AccessClass)

AsRValue(AccessClass)

CompoundAssign(BinaryOp, OverflowBehaviour, AccessClass)

FetchAssign(BinaryOp, OverflowBehaviour, AccessClass)

LValueOp(LValueOp, AccessClass)

UnaryLValue(UnaryLValueOp, OverflowBehaviour, AccessClass)

Indirect

AddrOf

Fence(AccessClass)

Switch(Switch)

Tailcall(FnType)

Asm(AsmExpr)

BeginStorage(u32)

EndStorage(u32)

Select(u32)

Implementations

impl Expr

pub const Null: Self

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Default for Expr

fn default() -> Self

Returns the “default value” for a type.

impl Display for Expr

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

Formats the value using the given formatter.

impl Eq for Expr

impl Hash for Expr

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 Expr

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Expr