Struct orzir::dialects::std::arith::IAddOp

pub struct IAddOp { /* private fields */ }

An integer addition operation.

Implementations

impl IAddOp

pub fn new( ctx: &mut Context, self_ptr: ArenaPtr<OpObj>, result: ArenaPtr<Value>, lhs: ArenaPtr<Value>, rhs: ArenaPtr<Value> ) -> ArenaPtr<OpObj>

Trait Implementations

impl ControlFlow for IAddOp

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 IAddOp

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 IntegerLikeOperands for IAddOp

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

impl IntegerLikeResults for IAddOp

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

impl NumOperands<2> for IAddOp

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

impl NumRegions<0> for IAddOp

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

impl NumResults<1> for IAddOp

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

impl Op for IAddOp

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 IAddOp

type Item = ArenaPtr<OpObj>

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

impl Print for IAddOp

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

impl RegionInterface for IAddOp

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 IAddOp

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

impl SameOperandAndResultTys for IAddOp

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

impl SameOperandTys for IAddOp

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

impl SameResultTys for IAddOp

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

impl Verify for IAddOp

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