Struct orzir_core::Region

pub struct Region { /* private fields */ }

A region in the IR.

Implementations

impl Region

pub fn new( ctx: &mut Context, kind: RegionKind, parent_op: ArenaPtr<OpObj>, index: usize ) -> ArenaPtr<Region>

pub fn layout(&self) -> &List<ArenaPtr<Block>, BlockNode>

pub fn layout_mut(&mut self) -> &mut List<ArenaPtr<Block>, BlockNode>

pub fn kind(&self) -> RegionKind

pub fn set_kind(&mut self, kind: RegionKind)

pub fn parent_op(&self) -> ArenaPtr<OpObj>

pub fn index(&self) -> usize

pub fn self_ptr(&self) -> ArenaPtr<Self>

pub fn parent_region(&self, ctx: &Context) -> Option<ArenaPtr<Region>>

pub fn is_ancestor(&self, ctx: &Context, other: ArenaPtr<Region>) -> bool

Check if this region is an ancestor of the other region.

pub fn register_symbol(&mut self, symbol: Symbol, op: ArenaPtr<OpObj>)

pub fn lookup_symbol( &self, ctx: &Context, name: &str ) -> Option<ArenaPtr<OpObj>>

Trait Implementations

impl Parse for Region

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

Parse the region.

This require the parent operation parser to pass the builder to the region parser, and set the kind and parent operation.

type Item = ArenaPtr<Region>

impl Print for Region

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

impl RunVerifiers for Region

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

impl Verify for Region

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