Struct MirFunction 

pub struct MirFunction {
    pub name: String,
    pub params: Vec<MirParam>,
    pub blocks: Vec<BasicBlock>,
    pub entry: BlockId,
    pub value_types: HashMap<ValueId, MirType>,
}

A function/kernel in MIR with a control flow graph.

Fields

name: String

Kernel name.

params: Vec<MirParam>

Kernel parameters.

blocks: Vec<BasicBlock>

Basic blocks forming the CFG.

entry: BlockId

Entry block ID.

value_types: HashMap<ValueId, MirType>

Type mapping for all SSA values.

Implementations

impl MirFunction

pub fn new(name: String, entry: BlockId) -> Self

Create a new MIR function.

pub fn block(&self, id: BlockId) -> Option<&BasicBlock>

Get a basic block by ID.

pub fn block_mut(&mut self, id: BlockId) -> Option<&mut BasicBlock>

Get a mutable reference to a basic block by ID.

pub fn block_ids(&self) -> Vec<BlockId>

Returns all block IDs in the function.

pub fn block_count(&self) -> usize

Returns the number of basic blocks.

pub fn set_type(&mut self, value: ValueId, ty: MirType)

Add a type mapping for a value.

pub fn get_type(&self, value: ValueId) -> Option<MirType>

Get the type of a value.

pub fn predecessors(&self) -> HashMap<BlockId, Vec<BlockId>>

Compute predecessor blocks for each block.

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.

impl Display for MirFunction

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

Formats the value using the given formatter.