Struct melior::dialect::ods::memref::AllocOperation

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

An alloc operation. Memory allocation operation.

The alloc operation allocates a region of memory, as specified by its memref type.

Example:

%0 = memref.alloc() : memref<8x64xf32, 1>

The optional list of dimension operands are bound to the dynamic dimensions specified in its memref type. In the example below, the ssa value ‘%d’ is bound to the second dimension of the memref (which is dynamic).

%0 = memref.alloc(%d) : memref<8x?xf32, 1>

The optional list of symbol operands are bound to the symbols of the memrefs affine map. In the example below, the ssa value ‘%s’ is bound to the symbol ‘s0’ in the affine map specified in the allocs memref type.

%0 = memref.alloc()[%s] : memref<8x64xf32,
                          affine_map<(d0, d1)[s0] -> ((d0 + s0), d1)>, 1>

This operation returns a single ssa value of memref type, which can be used by subsequent load and store operations.

The optional alignment attribute may be specified to ensure that the region of memory that will be indexed is aligned at the specified byte boundary.

%0 = memref.alloc()[%s] {alignment = 8} :
  memref<8x64xf32, affine_map<(d0, d1)[s0] -> ((d0 + s0), d1)>, 1>

Implementations

impl<'c> AllocOperation<'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> ) -> AllocOperationBuilder<'c, Unset, Unset, Unset>

Creates a builder.

pub fn memref(&self) -> Result<OperationResult<'c, '_>, Error>

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

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

pub fn alignment(&self) -> Result<IntegerAttribute<'c>, Error>

pub fn set_alignment(&mut self, value: IntegerAttribute<'c>)

pub fn remove_alignment(&mut self) -> Result<(), Error>

Trait Implementations

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

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

Converts to this type from the input type.

impl<'c> TryFrom<Operation<'c>> for AllocOperation<'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.