Struct melior::dialect::ods::memref::AssumeAlignmentOperation

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

An assume_alignment operation. Assertion that gives alignment information to the input memref.

The assume_alignment operation takes a memref and an integer of alignment value, and internally annotates the buffer with the given alignment. If the buffer isn’t aligned to the given alignment, the behavior is undefined.

This operation doesn’t affect the semantics of a correct program. It’s for optimization only, and the optimization is best-effort.

Implementations

impl<'c> AssumeAlignmentOperation<'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> ) -> AssumeAlignmentOperationBuilder<'c, Unset, Unset>

Creates a builder.

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

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

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

Trait Implementations

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

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

Converts to this type from the input type.

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