Struct melior::ir::block::BlockArgument

pub struct BlockArgument<'c, 'a> { /* private fields */ }

A block argument.

Implementations

impl<'c, 'a> BlockArgument<'c, 'a>

pub fn argument_number(&self) -> usize

Returns an argument number.

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

Returns an owner operation.

pub fn set_type(&self, type: Type<'_>)

Sets a type.

pub unsafe fn from_raw(value: MlirValue) -> Self

Creates a block argument from a raw object.

Safety

A raw object must be valid.

Trait Implementations

impl<'c, 'a> Clone for BlockArgument<'c, 'a>

fn clone(&self) -> BlockArgument<'c, 'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'c, 'a> Debug for BlockArgument<'c, 'a>

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

Formats the value using the given formatter.

impl<'c, 'a> Display for BlockArgument<'c, 'a>

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

Formats the value using the given formatter.

impl<'c, 'a> From<BlockArgument<'c, 'a>> for Value<'c, 'a>

fn from(value: BlockArgument<'c, 'a>) -> Self

Converts to this type from the input type.

impl<'c, 'a> TryFrom<Value<'c, 'a>> for BlockArgument<'c, 'a>

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: Value<'c, 'a>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'c, 'a> ValueLike<'c> for BlockArgument<'c, 'a>

fn to_raw(&self) -> MlirValue

Converts a value into a raw value.

fn type(&self) -> Type<'c>

Returns a type.

fn is_block_argument(&self) -> bool

Returns true if a value is a block argument.

fn is_operation_result(&self) -> bool

Returns true if a value is an operation result.

fn dump(&self)

Dumps a value.

impl<'c, 'a> Copy for BlockArgument<'c, 'a>