Struct MirBuilder 

pub struct MirBuilder { /* private fields */ }

Builder for constructing a MIR function from AST.

Implementations

impl MirBuilder

pub fn new(name: String, span: Span) -> Self

pub fn alloc_local(&mut self, name: String, type_info: LocalTypeInfo) -> SlotId

Allocate a new local variable slot.

pub fn alloc_temp(&mut self, type_info: LocalTypeInfo) -> SlotId

Allocate a temporary local slot that should not participate in name resolution.

pub fn lookup_local(&self, name: &str) -> Option<SlotId>

Look up the current slot for a named local.

pub fn visible_named_locals(&self) -> Vec<String>

pub fn field_idx(&mut self, property: &str) -> FieldIdx

Get or allocate a stable field index for a property name.

pub fn return_slot(&self) -> SlotId

pub fn set_exit_block(&mut self, block: BasicBlockId)

pub fn exit_block(&self) -> BasicBlockId

pub fn push_scope(&mut self)

pub fn pop_scope(&mut self)

pub fn mark_fallback(&mut self)

pub fn mark_fallback_at(&mut self, span: Span)

pub fn had_fallbacks(&self) -> bool

pub fn push_loop( &mut self, break_block: BasicBlockId, continue_block: BasicBlockId, break_value_slot: Option<SlotId>, )

pub fn pop_loop(&mut self)

pub fn push_task_boundary_capture_scope(&mut self)

pub fn pop_task_boundary_capture_scope(&mut self) -> Vec<Operand>

pub fn record_task_boundary_operand(&mut self, operand: Operand)

pub fn record_task_boundary_reference_capture( &mut self, reference_slot: SlotId, borrowed_place: &Place, )

pub fn next_point(&mut self) -> Point

Allocate a new program point.

pub fn next_loan(&mut self) -> LoanId

Allocate a new loan ID.

pub fn new_block(&mut self) -> BasicBlockId

Create a new basic block and return its ID.

pub fn push_stmt(&mut self, kind: StatementKind, span: Span) -> Point

Push a statement into the current block.

pub fn record_binding_initialization(&mut self, slot: SlotId, point: Point)

pub fn finish_block(&mut self, terminator_kind: TerminatorKind, span: Span)

Finish the current block with a terminator and switch to a new block.

pub fn start_block(&mut self, id: BasicBlockId)

Start building a new block (after finishing the previous one).

pub fn emit_call( &mut self, func: Operand, args: Vec<Operand>, destination: Place, span: Span, )

Emit a function call as a block terminator. Finishes current block with TerminatorKind::Call and starts a continuation block.

pub fn build(self) -> MirLoweringResult

Finalize and produce the MIR function.