Struct melior::ir::type::IntegerType

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

A integer type.

Implementations

impl<'c> IntegerType<'c>

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

Creates an integer type.

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

Creates a signed integer type.

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

Creates an unsigned integer type.

pub fn width(&self) -> u32

Returns a bit width.

pub fn is_signed(&self) -> bool

Checks if an integer type is signed.

pub fn is_signless(&self) -> bool

Checks if an integer type is signless.

pub fn is_unsigned(&self) -> bool

Checks if an integer type is unsigned.

Trait Implementations

impl<'c> Clone for IntegerType<'c>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'c> Debug for IntegerType<'c>

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

Formats the value using the given formatter.

impl<'c> Display for IntegerType<'c>

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

Formats the value using the given formatter.

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

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

Converts to this type from the input type.

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

fn to_raw(&self) -> MlirType

Converts a type into a raw object.

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

Returns a context.

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

Returns an ID.

fn dialect(&self) -> Dialect<'c>

Returns a dialect.

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 IntegerType<'c>