Struct melior::ir::block::Block

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

A block.

Implementations

impl<'c> Block<'c>

pub fn new(arguments: &[(Type<'c>, Location<'c>)]) -> Self

Creates a block.

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 first_operation_mut(&mut self) -> Option<OperationRefMut<'c, '_>>

Returns a mutable reference to the first operation.

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

Returns a reference to a terminator operation.

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

Returns a mutable 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 unsafe fn from_raw(raw: MlirBlock) -> Self

Creates a block from a raw object.

Safety

A raw object must be valid.

pub fn into_raw(self) -> MlirBlock

Converts a block into a raw object.

pub const fn to_raw(&self) -> MlirBlock

Converts a block into a raw object.

Trait Implementations

impl<'c> Debug for Block<'c>

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

Formats the value using the given formatter.

impl<'c> Display for Block<'c>

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

Formats the value using the given formatter.

impl<'c> Drop for Block<'c>

fn drop(&mut self)

Executes the destructor for this type.

impl<'c> PartialEq for Block<'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 Block<'c>