Enum Replacement

pub enum Replacement {
    LhsRhs {
        statements: Arena<Statement>,
        lhs: Infer,
        rhs: Operand,
    },
    Cand {
        statements: Arena<Statement>,
        cand: Cand,
    },
}

A complete optimization that replaces a left-hand side with a right-hand side.

Variants

LhsRhs

A replacement in the form of a left-hand side followed by a right-hand side.

Fields

statements: Arena<Statement>

Statements that make up the expression DAGs for the left- and right-hand sides.

lhs: Infer

The left-hand side that is matched by the optimization.

rhs: Operand

The right-hand side that replaces the left-hand side after applying the optimization.

Cand

A replacement in the form of an expression DAG followed by a cand x y statement that declares that y is a candidate for replacing x.

Fields

statements: Arena<Statement>

Statements that make up the expression DAG for both the replacement’s left- and right-hand sides.

cand: Cand

The candidate rewrite connecting the left- and right-hand sides of this replacement within statements.

Implementations

impl Replacement

pub fn assignment(&self, id: ValueId) -> &Assignment

Get the assignment that defined the given value.

Panics

May panic or produce incorrect results if given a ValueId from another Replacement, LeftHandSide, or RightHandSide’s arena.

Trait Implementations

impl Clone for Replacement

fn clone(&self) -> Replacement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Replacement

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

Formats the value using the given formatter.

impl Display for Replacement

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

Formats the value using the given formatter.

impl Parse for Replacement

fn parse<'a>(parser: &mut Parser<'a>) -> Result<Self>

Parse a Self from the given buffer.