Struct Visitor

struct Visitor<'a> {
    locals: &'a mut Locals,
    statements: Vec<Statement>,
    place_mutability_stack: Vec<bool>,
    span: Span,
}

Visitor to transform the operands by introducing intermediate let statements.

We explore the statements without diving into substatements, and in particular explore the places and operands. Places always appear as destinations we are writing to. While we explore the places/operands present in a statement, We temporarily store the new statements inside the visitor. Once we’ve finished exploring the statement, we insert those before the statement.

Fields

locals: &'a mut Locals

statements: Vec<Statement>

place_mutability_stack: Vec<bool>

span: Span

Implementations

impl<'a> Visitor<'a>

fn fresh_var(&mut self, name: Option<String>, ty: Ty) -> Place

fn transform_place(&mut self, mut_access: bool, place: &mut Place)

impl<'a> Visitor<'a>

The visitor methods.

fn exit_place(&mut self, place: &mut Place)

We explore places from the inside-out.

fn enter_operand(&mut self, op: &mut Operand)

fn exit_operand(&mut self, op: &mut Operand)

fn enter_call(&mut self, _c: &mut Call)

fn exit_call(&mut self, _c: &mut Call)

fn enter_fn_operand(&mut self, fn_op: &mut FnOperand)

fn exit_fn_operand(&mut self, fn_op: &mut FnOperand)

fn enter_rvalue(&mut self, rv: &mut Rvalue)

fn exit_rvalue(&mut self, rv: &mut Rvalue)

Trait Implementations

impl<'a> VisitorMut for Visitor<'a>

fn visit(&mut self, item: &mut dyn Any, event: Event)