Struct melior::dialect::ods::bufferization::ToMemrefOperation

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

A to_memref operation. Cast a tensor to memref.

An operation that returns the future buffer of a tensor.

// Result type is memref<4x?xf32, #layout, 0>
%m = bufferization.to_memref %t : memref<4x?xf32, #layout, 0>

This operation is a specialized variant of the built-in unrealized_conversion_cast and is used to make sure that the IR stays valid at any point during the bufferization.

The read_only attribute can optionally be set, indicating to the bufferization that the buffer returned by this op (or an alias created from the returned buffer) will not be written to.

Implementations

impl<'c> ToMemrefOperation<'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> ) -> ToMemrefOperationBuilder<'c, Unset, Unset>

Creates a builder.

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

pub fn tensor(&self) -> Result<Value<'c, '_>, Error>

pub fn read_only(&self) -> Result<Attribute<'c>, Error>

pub fn set_read_only(&mut self, value: Attribute<'c>)

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

Trait Implementations

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

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

Converts to this type from the input type.

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