Struct walrus::ir::WithSideEffects

pub struct WithSideEffects {
    pub before: Vec<ExprId>,
    pub value: ExprId,
    pub after: Vec<ExprId>,
}

A value followed by one or more stack-neutral, side-effecting expressions.

This allows us to express "stacky" and "non-tree-like" expressions such as:

;; Assuming `f` has type `[] -> i32` and potential side effects.
call $f
call $f
call $f
drop
i32.add

Without WithSideEffects, we would need to create a synthetic block with a temporary local like this:

(i32.added
  (call $f)
  (block
    (set_local $temp (call $f))
    (drop (call $f))
    (get_local $temp)
  end))

But using WithoutSideEffects we can represent this like so:

(i32.add
  (with_side_effects
    ;; value
    (call $f)
    ;; side_effects
    (drop (call $f)))
  (call $f))

Fields

before: Vec<ExprId>

The stack-neutral, side-effecting operations before value

value: ExprId

The value.

after: Vec<ExprId>

The stack-neutral, side-effecting operations after value

Trait Implementations

impl Ast for WithSideEffects

type Id = WithSideEffectsId

The identifier type for this AST node.

fn new_id(id: ExprId) -> WithSideEffectsId

Create a new identifier given an ExprId that references an Expr of this type.

impl<'expr> Visit<'expr> for WithSideEffects

fn visit<V: Visitor<'expr>>(&self, visitor: &mut V)

Visit this thing with the given visitor.

impl VisitMut for WithSideEffects

fn visit_mut<V: VisitorMut>(&mut self, visitor: &mut V)

Visit this thing with the given visitor.

impl Clone for WithSideEffects

fn clone(&self) -> WithSideEffects

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<WithSideEffects> for Expr

fn from(x: WithSideEffects) -> Expr

Performs the conversion.

impl Debug for WithSideEffects

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

Formats the value using the given formatter.