Struct melior::ir::type::MemRefType

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

A mem-ref type.

Implementations

impl<'c> MemRefType<'c>

pub fn new( type: Type<'c>, dimensions: &[i64], layout: Option<Attribute<'c>>, memory_space: Option<Attribute<'c>> ) -> Self

Creates a mem-ref type.

pub fn checked( location: Location<'c>, type: Type<'c>, dimensions: &[u64], layout: Attribute<'c>, memory_space: Attribute<'c> ) -> Option<Self>

Creates a mem-ref type with diagnostics.

pub fn layout(&self) -> Attribute<'c>

Gets a layout.

pub fn affine_map(&self) -> AffineMap<'c>

Gets an affine map.

pub fn memory_space(&self) -> Option<Attribute<'c>>

Gets a memory space.

Trait Implementations

impl<'c> Clone for MemRefType<'c>

fn clone(&self) -> MemRefType<'c>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'c> Debug for MemRefType<'c>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'c> Display for MemRefType<'c>

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'c> From<MemRefType<'c>> for Type<'c>

fn from(value: MemRefType<'c>) -> Self

Converts to this type from the input type.

impl<'c> ShapedTypeLike<'c> for MemRefType<'c>

fn element(&self) -> Type<'c>

Gets a element type.

fn rank(&self) -> usize

Gets a rank.

fn dim_size(&self, index: usize) -> Result<usize, Error>

Gets a dimension size.

fn has_rank(&self) -> bool

Checks if a type has a rank.

impl<'c> TryFrom<Type<'c>> for MemRefType<'c>

type Error = Error

The type returned in the event of a conversion error.

fn try_from(type: Type<'c>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'c> TypeLike<'c> for MemRefType<'c>

fn to_raw(&self) -> MlirType

Converts a type into a raw object.

fn context(&self) -> ContextRef<'c>

Gets a context.

fn id(&self) -> TypeId<'c>

Gets an ID.

fn dump(&self)

Dumps a type.

fn is_any_quantized_type(&self) -> bool

Returns true if a type is any quantized type.

fn is_bf16(&self) -> bool

Returns true if a type is bf16.

fn is_calibrated_quantized_type(&self) -> bool

Returns true if a type is calibrated quantized type.

fn is_complex(&self) -> bool

Returns true if a type is complex.

fn is_f16(&self) -> bool

Returns true if a type is f16.

fn is_f32(&self) -> bool

Returns true if a type is f32.

fn is_f64(&self) -> bool

Returns true if a type is f64.

fn is_float8e4m3fn(&self) -> bool

Returns true if a type is float8e4m3fn.

fn is_float8e5m2(&self) -> bool

Returns true if a type is float8e5m2.

fn is_function(&self) -> bool

Returns true if a type is function.

fn is_index(&self) -> bool

Returns true if a type is index.

fn is_integer(&self) -> bool

Returns true if a type is integer.

fn is_mem_ref(&self) -> bool

Returns true if a type is mem ref.

fn is_none(&self) -> bool

Returns true if a type is none.

fn is_opaque(&self) -> bool

Returns true if a type is opaque.

fn is_pdl_attribute_type(&self) -> bool

Returns true if a type is pdl attribute type.

fn is_pdl_operation_type(&self) -> bool

Returns true if a type is pdl operation type.

fn is_pdl_range_type(&self) -> bool

Returns true if a type is pdl range type.

fn is_pdl_type(&self) -> bool

Returns true if a type is pdl type.

fn is_pdl_type_type(&self) -> bool

Returns true if a type is pdl type type.

fn is_pdl_value_type(&self) -> bool

Returns true if a type is pdl value type.

fn is_quantized_type(&self) -> bool

Returns true if a type is quantized type.

fn is_ranked_tensor(&self) -> bool

Returns true if a type is ranked tensor.

fn is_shaped(&self) -> bool

Returns true if a type is shaped.

fn is_tensor(&self) -> bool

Returns true if a type is tensor.

fn is_transform_any_op_type(&self) -> bool

Returns true if a type is transform any op type.

fn is_transform_operation_type(&self) -> bool

Returns true if a type is transform operation type.

fn is_tuple(&self) -> bool

Returns true if a type is tuple.

fn is_uniform_quantized_per_axis_type(&self) -> bool

Returns true if a type is uniform quantized per axis type.

fn is_uniform_quantized_type(&self) -> bool

Returns true if a type is uniform quantized type.

fn is_unranked_mem_ref(&self) -> bool

Returns true if a type is unranked mem ref.

fn is_unranked_tensor(&self) -> bool

Returns true if a type is unranked tensor.

fn is_vector(&self) -> bool

Returns true if a type is vector.

impl<'c> Copy for MemRefType<'c>