Struct orzir_core::Block

pub struct Block { /* private fields */ }

The block in the region.

Implementations

impl Block

pub fn new( ctx: &mut Context, is_entry: bool, parent_region: ArenaPtr<Region>, name: Option<String> ) -> ArenaPtr<Block>

Create a new block.

pub fn layout(&self) -> &List<ArenaPtr<OpObj>, OpNode>

Get the layout of operations in the block.

pub fn layout_mut(&mut self) -> &mut List<ArenaPtr<OpObj>, OpNode>

Get the mutable layout of operations in the block.

pub fn name(&self, ctx: &Context) -> String

Get the name of the block.

This will allocate a new name if the block does not have one.

pub fn set_name( &self, ctx: &Context, name: String ) -> Result<(), NameAllocDuplicatedErr>

Set the name of the block.

pub fn set_arg( &mut self, index: usize, arg: ArenaPtr<Value> ) -> Option<ArenaPtr<Value>>

Set the arguments of the block by the given index.

pub fn num_args(&self) -> usize

Get the number of arguments of the block.

pub fn args(&self) -> &[ArenaPtr<Value>]

Get the arguments of the block.

pub fn is_entry(&self) -> bool

Test if the block is an entry block.

pub fn parent_region(&self) -> ArenaPtr<Region>

Get the parent region of the block.

Trait Implementations

impl Parse for Block

fn parse( ctx: &mut Context, state: &mut ParseState<'_> ) -> ParseResult<Self::Item>

Parsing a block.

A block starts with a block label ^..., and an optional list of block arguments. A block ends with the } token, which indicates the end of a region, or another block label.

type Item = ArenaPtr<Block>

impl Print for Block

fn print(&self, ctx: &Context, state: &mut PrintState) -> PrintResult<()>

impl RunVerifiers for Block

fn run_verifiers(&self, _ctx: &Context) -> VerifyResult<()>

impl Verify for Block

fn verify(&self, ctx: &Context) -> VerifyResult<()>