Struct melior::dialect::ods::memref::GlobalOperation

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

A global operation. Declare or define a global memref variable.

The memref.global operation declares or defines a named global memref variable. The backing memory for the variable is allocated statically and is described by the type of the variable (which should be a statically shaped memref type). The operation is a declaration if no initial_value is specified, else it is a definition. The initial_value can either be a unit attribute to represent a definition of an uninitialized global variable, or an elements attribute to represent the definition of a global variable with an initial value. The global variable can also be marked constant using the constant unit attribute. Writing to such constant global variables is undefined.

The global variable can be accessed by using the memref.get_global to retrieve the memref for the global variable. Note that the memref for such global variable itself is immutable (i.e., memref.get_global for a given global variable will always return the same memref descriptor).

Example:

// Private variable with an initial value.
memref.global "private" @x : memref<2xf32> = dense<0.0,2.0>

// Private variable with an initial value and an alignment (power of 2).
memref.global "private" @x : memref<2xf32> = dense<0.0,2.0> {alignment = 64}

// Declaration of an external variable.
memref.global "private" @y : memref<4xi32>

// Uninitialized externally visible variable.
memref.global @z : memref<3xf16> = uninitialized

// Externally visible constant variable.
memref.global constant @c : memref<2xi32> = dense<1, 4>

Implementations

impl<'c> GlobalOperation<'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> ) -> GlobalOperationBuilder<'c, Unset, Unset>

Creates a builder.

pub fn sym_name(&self) -> Result<StringAttribute<'c>, Error>

pub fn set_sym_name(&mut self, value: StringAttribute<'c>)

pub fn sym_visibility(&self) -> Result<StringAttribute<'c>, Error>

pub fn set_sym_visibility(&mut self, value: StringAttribute<'c>)

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

pub fn type(&self) -> Result<TypeAttribute<'c>, Error>

pub fn set_type(&mut self, value: TypeAttribute<'c>)

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

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

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

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

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

pub fn remove_constant(&mut self) -> Result<(), 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<GlobalOperation<'c>> for Operation<'c>

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

Converts to this type from the input type.

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