Struct melior::dialect::ods::bufferization::DeallocOperation

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

A dealloc operation. Deallocates the given memrefs if no alias is retained.

This operation deallocates each of the given memrefs if there is no alias to that memref in the list of retained memrefs and the corresponding condition value is set. This condition can be used to indicate and pass on ownership of memref values (or in other words, the responsibility of deallocating that memref). If two memrefs alias each other, only one will be deallocated to avoid double free situations.

The memrefs to be deallocated must be the originally allocated memrefs, however, the memrefs to be retained may be arbitrary memrefs.

Returns a list of conditions corresponding to the list of memrefs which indicates the new ownerships, i.e., if the memref was deallocated the ownership was dropped (set to ‘false’) and otherwise will be the same as the input condition.

Example:

%0:2 = bufferization.dealloc %a0, %a1 if %cond0, %cond1 retain %r0, %r1 :
  memref<2xf32>, memref<4xi32> retain memref<?xf32>, memref<f64>

Deallocation will be called on %a0 if %cond0 is ‘true’ and neither %r0 or %r1 are aliases of %a0. %a1 will be deallocated when %cond1 is set to ‘true’ and none of %r0, %r1and%a0` are aliases.

Implementations

impl<'c> DeallocOperation<'c>

pub fn name() -> &'static str

Returns a name.

pub fn as_operation(&self) -> &Operation<'c>

Returns a generic operation.

pub fn builder( context: &'c Context, location: Location<'c> ) -> DeallocOperationBuilder<'c, Unset, Unset, Unset>

Creates a builder.

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

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

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

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

Trait Implementations

impl<'c> From<DeallocOperation<'c>> for Operation<'c>

fn from(operation: DeallocOperation<'c>) -> Self

Converts to this type from the input type.

impl<'c> TryFrom<Operation<'c>> for DeallocOperation<'c>

type Error = Error

The type returned in the event of a conversion error.

fn try_from(operation: Operation<'c>) -> Result<Self, Self::Error>

Performs the conversion.