Struct FunctionMIR 

pub struct FunctionMIR {
    pub id: FunctionId,
    pub name: Symbol,
    pub params: Vec<Local>,
    pub return_ty: Ty,
    pub locals: Vec<LocalDecl>,
    pub basic_blocks: Vec<BasicBlock>,
    pub attributes: FunctionAttributes,
    pub span: Span,
}

Complete MIR for a function

Fields

id: FunctionId

Function identifier

name: Symbol

Function name

params: Vec<Local>

Parameter locals (indices into locals array)

return_ty: Ty

Return type

locals: Vec<LocalDecl>

All local variables (including params and temporaries)

basic_blocks: Vec<BasicBlock>

Basic blocks (indexed by BasicBlockId)

attributes: FunctionAttributes

Function attributes for code generation decisions

span: Span

Source span

Implementations

impl FunctionMIR

pub fn new(id: FunctionId, name: Symbol, return_ty: Ty, span: Span) -> Self

Create a new function MIR

pub fn with_attributes( id: FunctionId, name: Symbol, return_ty: Ty, attributes: FunctionAttributes, span: Span, ) -> Self

Create a new function MIR with attributes

pub fn is_gpu_kernel(&self) -> bool

Check if this function is a GPU kernel

pub fn add_local(&mut self, decl: LocalDecl) -> Local

Add a new local variable

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

Add a new basic block

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

Get a basic block by ID

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

Get a mutable basic block by ID

Trait Implementations

impl Clone for FunctionMIR

fn clone(&self) -> FunctionMIR

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionMIR

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

Formats the value using the given formatter.