Struct melior_next::ir::type::Type

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

A type.

Implementations

impl<'c> Type<'c>

pub fn parse(context: &'c Context, source: &str) -> Option<Self>

Parses a type.

Be mindful of spaces.

E.g !llvm.array<4 x i32> is valid. But !llvm.array<4xi32> is not.

pub fn bfloat16(context: &'c Context) -> Self

Creates a bfloat16 type.

pub fn float16(context: &'c Context) -> Self

Creates a float16 type.

pub fn float32(context: &'c Context) -> Self

Creates a float32 type.

pub fn float64(context: &'c Context) -> Self

Creates a float64 type.

pub fn index(context: &'c Context) -> Self

Creates an index type.

pub fn integer(context: &'c Context, bits: u32) -> Self

Creates an integer type.

pub fn signed_integer(context: &'c Context, bits: u32) -> Self

Creates a signed integer type.

pub fn unsigned_integer(context: &'c Context, bits: u32) -> Self

Creates an unsigned integer type.

pub fn none(context: &'c Context) -> Self

Creates a none type.

pub fn vector(dimensions: &[u64], type: Self) -> Self

Creates a vector type.

pub fn vector_checked( location: Location<'c>, dimensions: &[u64], type: Self ) -> Option<Self>

Creates a vector type with diagnostics.

Trait Implementations

impl<'c> Clone for Type<'c>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'c> Debug for Type<'c>

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

Formats the value using the given formatter.

impl<'c> Display for Type<'c>

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

Formats the value using the given formatter.

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

fn from(function: Function<'c>) -> Self

Converts to this type from the input type.

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

fn from(tuple: Tuple<'c>) -> Self

Converts to this type from the input type.

impl<'c> PartialEq<Type<'c>> for Type<'c>

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'c> TryFrom<Type<'c>> for Function<'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> TryFrom<Type<'c>> for Tuple<'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 Type<'c>

fn to_raw(&self) -> MlirType

Converts a type into a raw type.

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

Gets a context.

fn id(&self) -> Id

Gets an ID.

fn is_integer(&self) -> bool

Returns true if a type is integer.

fn get_width(&self) -> Option<u32>

Gets the bit width of this integer type.

fn is_index(&self) -> bool

Returns true if a type is index.

fn is_bfloat16(&self) -> bool

Returns true if a type is bfloat16.

fn is_float16(&self) -> bool

Returns true if a type is float16.

fn is_float32(&self) -> bool

Returns true if a type is float32.

fn is_float64(&self) -> bool

Returns true if a type is float64.

fn is_function(&self) -> bool

Returns true if a type is a function.

fn is_mem_ref(&self) -> bool

Returns true if a type is a memory reference.

fn is_tuple(&self) -> bool

Returns true if a type is a tuple.

fn is_vector(&self) -> bool

Returns true if a type is a vector.

fn dump(&self)

Dumps a type.

impl<'c> Copy for Type<'c>

impl<'c> Eq for Type<'c>