Struct melior::ir::operation::Operation

pub struct Operation<'c> { /* private fields */ }

An operation.

Implementations

impl<'c> Operation<'c>

pub fn context(&self) -> ContextRef<'c>

Returns a context.

pub fn name(&self) -> Identifier<'c>

Returns a name.

pub fn block(&self) -> Option<BlockRef<'c, '_>>

Returns a block.

pub fn operand_count(&self) -> usize

Returns the number of operands.

pub fn operand(&self, index: usize) -> Result<Value<'c, '_>, Error>

Returns the operand at a position.

pub fn operands(&self) -> impl Iterator<Item = Value<'c, '_>>

Returns all operands.

pub fn result_count(&self) -> usize

Returns the number of results.

pub fn result(&self, index: usize) -> Result<OperationResult<'c, '_>, Error>

Returns a result at a position.

pub fn results(&self) -> impl Iterator<Item = OperationResult<'c, '_>>

Returns all results.

pub fn region_count(&self) -> usize

Returns the number of regions.

pub fn region(&self, index: usize) -> Result<RegionRef<'c, '_>, Error>

Returns a region at a position.

pub fn regions(&self) -> impl Iterator<Item = RegionRef<'c, '_>>

Returns all regions.

pub fn successor_count(&self) -> usize

Returns the number of successors.

pub fn successor(&self, index: usize) -> Result<BlockRef<'c, '_>, Error>

Returns a successor at a position.

pub fn successors(&self) -> impl Iterator<Item = BlockRef<'c, '_>>

Returns all successors.

pub fn attribute_count(&self) -> usize

Returns the number of attributes.

pub fn attribute_at( &self, index: usize ) -> Result<(Identifier<'c>, Attribute<'c>), Error>

Returns a attribute at a position.

pub fn attributes( &self ) -> impl Iterator<Item = (Identifier<'c>, Attribute<'c>)> + '_

Returns all attributes.

pub fn attribute(&self, name: &str) -> Result<Attribute<'c>, Error>

Returns a attribute with the given name.

pub fn has_attribute(&self, name: &str) -> bool

Checks if the operation has a attribute with the given name.

pub fn set_attribute(&mut self, name: &str, attribute: Attribute<'c>)

Sets the attribute with the given name to the given attribute.

pub fn remove_attribute(&mut self, name: &str) -> Result<(), Error>

Removes the attribute with the given name.

pub fn next_in_block(&self) -> Option<OperationRef<'c, '_>>

Returns a reference to the next operation in the same block.

pub fn next_in_block_mut(&self) -> Option<OperationRefMut<'c, '_>>

Returns a mutable reference to the next operation in the same block.

pub fn previous_in_block(&self) -> Option<OperationRef<'c, '_>>

Returns a reference to the next operation in the same block.

pub fn parent_operation(&self) -> Option<OperationRef<'c, '_>>

Returns a reference to a parent operation.

pub fn remove_from_parent(&mut self)

Removes itself from a parent block.

pub fn verify(&self) -> bool

Verifies an operation.

pub fn dump(&self)

Dumps an operation.

pub fn to_string_with_flags( &self, flags: OperationPrintingFlags ) -> Result<String, Error>

Prints an operation with flags.

pub unsafe fn from_raw(raw: MlirOperation) -> Self

Creates an operation from a raw object.

Safety

A raw object must be valid.

pub unsafe fn from_option_raw(raw: MlirOperation) -> Option<Self>

Creates an optional operation from a raw object.

Safety

A raw object must be valid.

pub fn into_raw(self) -> MlirOperation

Converts an operation into a raw object.

Trait Implementations

impl<'c> Clone for Operation<'c>

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'c> Debug for Operation<'c>

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

Formats the value using the given formatter.

impl<'c> Display for Operation<'c>

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

Formats the value using the given formatter.

impl<'c> Drop for Operation<'c>

fn drop(&mut self)

Executes the destructor for this type.

impl<'c> PartialEq for Operation<'c>

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'c> Eq for Operation<'c>