Struct melior::ir::block::BlockRef

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

A reference of a block.

Implementations

impl<'c, 'a> BlockRef<'c, 'a>

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

Creates a block reference from a raw object.

Safety

A raw object must be valid.

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

Creates an optional block reference from a raw object.

Safety

A raw object must be valid.

Methods from Deref<Target = Block<'a>>

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

Returns an argument at a position.

pub fn argument_count(&self) -> usize

Returns a number of arguments.

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

Returns a reference to the first operation.

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

Returns a reference to a terminator operation.

pub fn parent_region(&self) -> Option<RegionRef<'c, '_>>

Returns a parent region.

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

Returns a parent operation.

pub fn add_argument( &self, type: Type<'c>, location: Location<'c> ) -> Value<'c, '_>

Adds an argument.

pub fn append_operation(&self, operation: Operation<'c>) -> OperationRef<'c, '_>

Appends an operation.

pub fn insert_operation( &self, position: usize, operation: Operation<'c> ) -> OperationRef<'c, '_>

Inserts an operation.

pub fn insert_operation_after( &self, one: OperationRef<'c, '_>, other: Operation<'c> ) -> OperationRef<'c, '_>

Inserts an operation after another.

pub fn insert_operation_before( &self, one: OperationRef<'c, '_>, other: Operation<'c> ) -> OperationRef<'c, '_>

Inserts an operation before another.

pub unsafe fn detach(&self) -> Option<Block<'c>>

Detaches a block from a region and assumes its ownership.

Safety

This function might invalidate existing references to the block if you drop it too early.

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

Returns a next block in a region.

pub fn to_raw(&self) -> MlirBlock

Converts a block into a raw object.

Trait Implementations

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

fn clone(&self) -> BlockRef<'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 BlockRef<'c, 'a>

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

Formats the value using the given formatter.

impl<'c, 'a> Deref for BlockRef<'c, 'a>

type Target = Block<'a>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

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

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

Formats the value using the given formatter.

impl<'c, 'a> PartialEq for BlockRef<'c, 'a>

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, 'a> Copy for BlockRef<'c, 'a>

impl<'c, 'a> Eq for BlockRef<'c, 'a>