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

Creates a block from a raw object.

Safety

A raw object must be valid.

pub const 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> ArithBlockExt<'c> for Block<'c>

fn addi( &self, lhs: Value<'c, '_>, rhs: Value<'c, '_>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.addi operation.

fn andi( &self, lhs: Value<'c, '_>, rhs: Value<'c, '_>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.andi operation.

fn divsi( &self, lhs: Value<'c, '_>, rhs: Value<'c, '_>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.divsi operation.

fn divui( &self, lhs: Value<'c, '_>, rhs: Value<'c, '_>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.divui operation.

fn muli( &self, lhs: Value<'c, '_>, rhs: Value<'c, '_>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.muli operation.

fn ori( &self, lhs: Value<'c, '_>, rhs: Value<'c, '_>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.ori operation.

fn shli( &self, lhs: Value<'c, '_>, rhs: Value<'c, '_>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.shli operation.

fn shrsi( &self, lhs: Value<'c, '_>, rhs: Value<'c, '_>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.shrsi operation.

fn shrui( &self, lhs: Value<'c, '_>, rhs: Value<'c, '_>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.shrui operation.

fn subi( &self, lhs: Value<'c, '_>, rhs: Value<'c, '_>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.subi operation.

fn xori( &self, lhs: Value<'c, '_>, rhs: Value<'c, '_>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.xori operation.

fn cmpi( &self, context: &'c Context, predicate: CmpiPredicate, lhs: Value<'c, '_>, rhs: Value<'c, '_>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.cmpi operation.

fn extsi( &self, value: Value<'c, '_>, target_type: Type<'c>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.extui operation.

fn extui( &self, value: Value<'c, '_>, target_type: Type<'c>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.extui operation.

fn trunci( &self, value: Value<'c, '_>, target_type: Type<'c>, location: Location<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an arith.extui operation.

fn const_int( &self, context: &'c Context, location: Location<'c>, value: impl Display, bits: u32, ) -> Result<Value<'c, '_>, Error>

Creates a constant of the given integer bit width.

fn const_int_from_type( &self, context: &'c Context, location: Location<'c>, value: impl Display, type: Type<'c>, ) -> Result<Value<'c, '_>, Error>

Creates a constant of the given integer type.

impl<'c: 'a, 'a> BlockLike<'c, 'a> for Block<'c>

fn to_raw(&self) -> MlirBlock

Converts a block into a raw object.

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

Returns an argument at a position.

fn argument_count(&self) -> usize

Returns a number of arguments.

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

Returns a reference to the first operation.

fn first_operation_mut(&self) -> Option<OperationRefMut<'c, 'a>>

Returns a mutable reference to the first operation.

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

Returns a reference to a terminator operation.

fn terminator_mut(&self) -> Option<OperationRefMut<'c, 'a>>

Returns a mutable reference to a terminator operation.

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

Returns a parent region.

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

Returns a parent operation.

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

Adds an argument.

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

Appends an operation.

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

Inserts an operation.

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

Inserts an operation after another.

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

Inserts an operation before another.

fn insert_argument( &self, index: usize, type: Type<'c>, location: Location<'c>, ) -> Value<'c, 'a>

Inserts an argument at the given position.

unsafe fn erase_argument(&self, index: usize)

Erases the argument at the given position.

fn successor_count(&self) -> usize

Returns the number of successors.

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

Returns a successor block at a position.

fn predecessor_count(&self) -> usize

Returns the number of predecessors.

fn predecessor(&self, index: usize) -> Result<BlockRef<'c, 'a>, Error>

Returns a predecessor block at a position.

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

Returns a next block in a region.

impl<'c> BuiltinBlockExt<'c> for Block<'c>

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

Returns a block argument as a value.

fn append_op_result( &self, operation: Operation<'c>, ) -> Result<Value<'c, '_>, Error>

Appends an operation and returns its first value.

impl Debug for Block<'_>

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

Formats the value using the given formatter.

impl Display for Block<'_>

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

Formats the value using the given formatter.

impl Drop for Block<'_>

fn drop(&mut self)

Executes the destructor for this type.

impl<'c> LlvmBlockExt<'c> for Block<'c>

fn extract_value( &self, context: &'c Context, location: Location<'c>, container: Value<'c, '_>, value_type: Type<'c>, index: usize, ) -> Result<Value<'c, '_>, Error>

Creates an llvm.extractvalue operation.

fn insert_value( &self, context: &'c Context, location: Location<'c>, container: Value<'c, '_>, value: Value<'c, '_>, index: usize, ) -> Result<Value<'c, '_>, Error>

Creates an llvm.insertvalue operation.

fn insert_values<'block>( &'block self, context: &'c Context, location: Location<'c>, container: Value<'c, 'block>, values: &[Value<'c, 'block>], ) -> Result<Value<'c, 'block>, Error>

Creates an llvm.insertvalue operation that insert multiple elements into an aggregate from the first index.

fn store( &self, context: &'c Context, location: Location<'c>, addr: Value<'c, '_>, value: Value<'c, '_>, ) -> Result<(), Error>

Creates an llvm.store operation.

fn load( &self, context: &'c Context, location: Location<'c>, addr: Value<'c, '_>, value_type: Type<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an llvm.load operation.

fn memcpy( &self, context: &'c Context, location: Location<'c>, src: Value<'c, '_>, dst: Value<'c, '_>, len_bytes: Value<'c, '_>, )

Creates an llvm.memcpy operation.

fn alloca( &self, context: &'c Context, location: Location<'c>, element_type: Type<'c>, element_count: Value<'c, '_>, align: usize, ) -> Result<Value<'c, '_>, Error>

Creates an llvm.alloca operation.

fn alloca1( &self, context: &'c Context, location: Location<'c>, type: Type<'c>, align: usize, ) -> Result<Value<'c, '_>, Error>

Creates an llvm.alloca operation that allocates one element.

fn alloca_int( &self, context: &'c Context, location: Location<'c>, bits: u32, align: usize, ) -> Result<Value<'c, '_>, Error>

Creates an llvm.alloca operation that allocates one element of the given size of an integer.

fn gep( &self, context: &'c Context, location: Location<'c>, pointer: Value<'c, '_>, indexes: &[GepIndex<'c, '_>], element_type: Type<'c>, ) -> Result<Value<'c, '_>, Error>

Creates an llvm.getelementptr operation.

impl PartialEq for Block<'_>

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for Block<'_>