Struct orzir::dialects::std::builtin::ModuleOp

pub struct ModuleOp { /* private fields */ }

The module operation.

This is usually the top level operation. And if this is at the top level, it cannot have the symbol field.

Implementations

impl ModuleOp

pub fn new( ctx: &mut Context, self_ptr: ArenaPtr<OpObj>, region: ArenaPtr<Region>, symbol: Option<Symbol> ) -> ArenaPtr<OpObj>

Trait Implementations

impl ControlFlow for ModuleOp

fn num_successors(&self) -> usize

Get the number of successors.

fn get_successor(&self, index: usize) -> Option<&Successor>

Get the successor at the given index.

fn set_successor( &mut self, index: usize, successor: Successor ) -> Option<Successor>

Set the successor at the given index and return the old successor (if any).

fn successors(&self) -> Vec<&Successor>

Get all successors.

impl DataFlow for ModuleOp

fn num_operands(&self) -> usize

Get the number of operands.

fn get_operand(&self, index: usize) -> Option<ArenaPtr<Value>>

Get the operand at the given index.

fn set_operand( &mut self, index: usize, value: ArenaPtr<Value> ) -> Option<ArenaPtr<Value>>

Set the operand at the given index and return the old operand (if any).

fn num_results(&self) -> usize

Get the number of results.

fn get_result(&self, index: usize) -> Option<ArenaPtr<Value>>

Get the result at the given index.

fn set_result( &mut self, index: usize, value: ArenaPtr<Value> ) -> Option<ArenaPtr<Value>>

Set the result at the given index and return the old result (if any).

fn operands(&self) -> Vec<ArenaPtr<Value>>

Get all operands.

fn results(&self) -> Vec<ArenaPtr<Value>>

Get all results.

fn operand_tys(&self, ctx: &Context) -> Vec<ArenaPtr<TyObj>>

Get all operand types.

fn result_tys(&self, ctx: &Context) -> Vec<ArenaPtr<TyObj>>

Get all result types.

impl IsIsolatedFromAbove for ModuleOp

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

impl NoTerminator for ModuleOp

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

impl NumRegions<1> for ModuleOp

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

impl NumResults<0> for ModuleOp

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

impl Op for ModuleOp

fn mnemonic(&self) -> Mnemonic

Get the mnemonic of the type.

fn mnemonic_static() -> Mnemonic

Get the mnemonic of the type statically.

fn register(ctx: &mut Context, parse_fn: OpParseFn)

where Self: Sized,

Register the operation to the context.

fn metadata(&self) -> &OpMetadata

fn metadata_mut(&mut self) -> &mut OpMetadata

fn self_ptr(&self) -> ArenaPtr<OpObj>

Get the self ptr.

fn parent_block(&self) -> Option<ArenaPtr<Block>>

Get the parent block of the operation.

fn set_parent_block( &mut self, parent_block: Option<ArenaPtr<Block>> ) -> Option<ArenaPtr<Block>>

Set the parent block of the operation.

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

Get the parent region of the operation.

impl Parse for ModuleOp

type Item = ArenaPtr<OpObj>

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

impl Print for ModuleOp

fn print(&self, __ctx: &Context, __state: &mut PrintState) -> PrintResult<()>

impl RegionInterface for ModuleOp

fn num_regions(&self) -> usize

Get the number of regions.

fn get_region(&self, index: usize) -> Option<ArenaPtr<Region>>

Get the region at the given index.

fn set_region( &mut self, index: usize, region: ArenaPtr<Region> ) -> Option<ArenaPtr<Region>>

Set the region at the given index and return the old region (if any).

fn regions(&self) -> Vec<ArenaPtr<Region>>

Get all regions.

fn get_region_kind(&self, ctx: &Context, index: usize) -> RegionKind

Get the region kind at the given index.

fn has_ssa_dominance(&self, ctx: &Context, index: usize) -> bool

Check if the region has SSA dominance.

impl RunVerifiers for ModuleOp

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

impl Verify for ModuleOp

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