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 add_param(&mut self, name: String, type_info: LocalTypeInfo) -> SlotId

Register a parameter slot.

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)

Push a statement into the current block.

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 build(self) -> MirFunction

Finalize and produce the MIR function.