Struct MirFunction 

pub struct MirFunction {
    pub name: String,
    pub blocks: Vec<BasicBlock>,
    pub num_locals: u16,
    pub param_slots: Vec<SlotId>,
    pub param_reference_kinds: Vec<Option<BorrowKind>>,
    pub local_types: Vec<LocalTypeInfo>,
    pub span: Span,
}

The MIR representation of a single function.

Fields

name: String

blocks: Vec<BasicBlock>

The basic blocks forming the CFG.

num_locals: u16

Number of local variable slots.

param_slots: Vec<SlotId>

Which locals are function parameters.

param_reference_kinds: Vec<Option<BorrowKind>>

Per-parameter reference kind, aligned with param_slots.

local_types: Vec<LocalTypeInfo>

Type information for locals (for Copy/Clone inference).

span: Span

Source span of the function.

Implementations

impl MirFunction

pub fn entry_block(&self) -> BasicBlockId

Get the entry block (always block 0).

pub fn iter_blocks(&self) -> impl Iterator<Item = &BasicBlock>

Iterate over all blocks.

pub fn block(&self, id: BasicBlockId) -> &BasicBlock

Get a block by ID.

pub fn all_points(&self) -> Vec<(Point, BasicBlockId, usize)>

Linearize all statements into a flat list of points. Returns (point, block_id, statement_index) triples.

Trait Implementations

impl Clone for MirFunction

fn clone(&self) -> MirFunction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MirFunction

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

Formats the value using the given formatter.