Instances of the Type class are uniqued, have an immutable identifier and an optional mutable component. More...

#include "mlir/IR/Types.h"

Inheritance diagram for mlir::Type:

Public Types
template<typename ConcreteType , typename BaseType , typename StorageType , template< typename T > class... Traits>
using	TypeBase = detail::StorageUserBase< ConcreteType, BaseType, StorageType, detail::TypeUniquer, Traits... >
	Utility class for implementing types. More...

using	ImplType = TypeStorage

using	AbstractTy = AbstractType

Public Member Functions
constexpr	Type ()=default

	Type (const ImplType *impl)

	Type (const Type &other)=default

Type &	operator= (const Type &other)=default

bool	operator== (Type other) const

bool	operator!= (Type other) const

	operator bool () const

bool	operator! () const

template<typename... Tys>
bool	isa () const

template<typename... Tys>
bool	isa_and_nonnull () const

template<typename U >
U	dyn_cast () const

template<typename U >
U	dyn_cast_or_null () const

template<typename U >
U	cast () const

TypeID	getTypeID ()
	Return a unique identifier for the concrete type. More...

MLIRContext *	getContext () const
	Return the MLIRContext in which this type was uniqued. More...

Dialect &	getDialect () const
	Get the dialect this type is registered to. More...

bool	isIndex () const

bool	isBF16 () const

bool	isF16 () const

bool	isTF32 () const

bool	isF32 () const

bool	isF64 () const

bool	isF80 () const

bool	isF128 () const

bool	isFloat () const
	Return true if this is an float type (with the specified width). More...

bool	isFloat (unsigned width) const
	Return true if this is a float type with the specified width. More...

bool	isInteger () const
	Return true if this is an integer type (with the specified width). More...

bool	isInteger (unsigned width) const

bool	isSignlessInteger () const
	Return true if this is a signless integer type (with the specified width). More...

bool	isSignlessInteger (unsigned width) const

bool	isSignedInteger () const
	Return true if this is a signed integer type (with the specified width). More...

bool	isSignedInteger (unsigned width) const

bool	isUnsignedInteger () const
	Return true if this is an unsigned integer type (with the specified width). More...

bool	isUnsignedInteger (unsigned width) const

unsigned	getIntOrFloatBitWidth () const
	Return the bit width of an integer or a float type, assert failure on other types. More...

bool	isSignlessIntOrIndex () const
	Return true if this is a signless integer or index type. More...

bool	isSignlessIntOrIndexOrFloat () const
	Return true if this is a signless integer, index, or float type. More...

bool	isSignlessIntOrFloat () const
	Return true of this is a signless integer or a float type. More...

bool	isIntOrIndex () const
	Return true if this is an integer (of any signedness) or an index type. More...

bool	isIntOrFloat () const
	Return true if this is an integer (of any signedness) or a float type. More...

bool	isIntOrIndexOrFloat () const
	Return true if this is an integer (of any signedness), index, or float type. More...

void	print (raw_ostream &os) const
	Print the current type. More...

void	print (raw_ostream &os, AsmState &state) const

void	dump () const

const void *	getAsOpaquePointer () const
	Methods for supporting PointerLikeTypeTraits. More...

template<typename InterfaceT >
bool	hasPromiseOrImplementsInterface ()
	Returns true if `InterfaceT` has been promised by the dialect or implemented. More...

template<template< typename T > class Trait>
bool	hasTrait ()
	Returns true if the type was registered with a particular trait. More...

const AbstractTy &	getAbstractType () const
	Return the abstract type descriptor for this type. More...

ImplType *	getImpl () const
	Return the Type implementation. More...

void	walkImmediateSubElements (function_ref< void(Attribute)> walkAttrsFn, function_ref< void(Type)> walkTypesFn) const
	Walk all of the immediately nested sub-attributes and sub-types. More...

auto	replaceImmediateSubElements (ArrayRef< Attribute > replAttrs, ArrayRef< Type > replTypes) const
	Replace the immediately nested sub-attributes and sub-types with those provided. More...

template<WalkOrder Order = WalkOrder::PostOrder, typename... WalkFns>
auto	walk (WalkFns &&...walkFns)
	Walk this type and all attibutes/types nested within using the provided walk functions. More...

template<typename... ReplacementFns>
auto	replace (ReplacementFns &&...replacementFns)
	Recursively replace all of the nested sub-attributes and sub-types using the provided map functions. More...

Static Public Member Functions
static Type	getFromOpaquePointer (const void *pointer)

Protected Attributes
ImplType *	impl {nullptr}

Friends
::llvm::hash_code	hash_value (Type arg)

Detailed Description

Instances of the Type class are uniqued, have an immutable identifier and an optional mutable component.

They wrap a pointer to the storage object owned by MLIRContext. Therefore, instances of Type are passed around by value.

Some types are "primitives" meaning they do not have any parameters, for example the Index type. Parametric types have additional information that differentiates the types of the same class, for example the Integer type has bitwidth, making i8 and i16 belong to the same kind by be different instances of the IntegerType. Type parameters are part of the unique immutable key. The mutable component of the type can be modified after the type is created, but cannot affect the identity of the type.

Types are constructed and uniqued via the 'detail::TypeUniquer' class.

Derived type classes are expected to implement several required implementation hooks:

Optional:
- static LogicalResult verifyInvariants( function_ref<InFlightDiagnostic()> emitError, Args... args)
  - This method is invoked when calling the 'TypeBase::get/getChecked' methods to ensure that the arguments passed in are valid to construct a type instance with.
  - This method is expected to return failure if a type cannot be constructed with 'args', success otherwise.
  - 'args' must correspond with the arguments passed into the 'TypeBase::get' call.

Type storage objects inherit from TypeStorage and contain the following:

The dialect that defined the type.
Any parameters of the type.
An optional mutable component. For non-parametric types, a convenience DefaultTypeStorage is provided. Parametric storage types must derive TypeStorage and respect the following:
Define a type alias, KeyTy, to a type that uniquely identifies the instance of the type.
- The key type must be constructible from the values passed into the detail::TypeUniquer::get call.
- If the KeyTy does not have an llvm::DenseMapInfo specialization, the storage class must define a hashing method: 'static unsigned hashKey(const KeyTy &)'
Provide a method, 'bool operator==(const KeyTy &) const', to compare the storage instance against an instance of the key type.
Provide a static construction method: 'DerivedStorage *construct(TypeStorageAllocator &, const KeyTy &key)' that builds a unique instance of the derived storage. The arguments to this function are an allocator to store any uniqued data within the context and the key type for this storage.
If they have a mutable component, this component must not be a part of the key.

Definition at line 74 of file Types.h.

Member Typedef Documentation

◆ AbstractTy

using mlir::Type::AbstractTy = AbstractType

Definition at line 84 of file Types.h.

◆ ImplType

using mlir::Type::ImplType = TypeStorage

Definition at line 82 of file Types.h.

◆ TypeBase

template<typename ConcreteType , typename BaseType , typename StorageType , template< typename T > class... Traits>

using mlir::Type::TypeBase = detail::StorageUserBase<ConcreteType, BaseType, StorageType, detail::TypeUniquer, Traits...>

Utility class for implementing types.

Definition at line 79 of file Types.h.

Constructor & Destructor Documentation

◆ Type() [1/3]

constexpr mlir::Type::Type ( )

constexprdefault

Referenced by getFromOpaquePointer().

◆ Type() [2/3]

mlir::Type::Type ( const ImplType * impl )

inline

Definition at line 87 of file Types.h.

◆ Type() [3/3]

mlir::Type::Type ( const Type & other )

default

Member Function Documentation

◆ cast()

template<typename U >

U mlir::Type::cast

Definition at line 343 of file Types.h.

◆ dump()

void Type::dump ( ) const

Definition at line 3975 of file AsmPrinter.cpp.

◆ dyn_cast()

template<typename U >

U mlir::Type::dyn_cast

Definition at line 333 of file Types.h.

◆ dyn_cast_or_null()

template<typename U >

U mlir::Type::dyn_cast_or_null

Definition at line 338 of file Types.h.

◆ getAbstractType()

const AbstractTy& mlir::Type::getAbstractType ( ) const

inline

Return the abstract type descriptor for this type.

Definition at line 203 of file Types.h.

Referenced by mlir::TypeInterface< ConcreteType, Traits >::getInterfaceFor(), hasTrait(), replaceImmediateSubElements(), mlir::irdl::BaseTypeConstraint::verify(), and walkImmediateSubElements().

◆ getAsOpaquePointer()

const void* mlir::Type::getAsOpaquePointer ( ) const

inline

Methods for supporting PointerLikeTypeTraits.

Definition at line 180 of file Types.h.

References impl.

Referenced by llvm::PointerLikeTypeTraits< mlir::Type >::getAsVoidPointer().

◆ getContext()

MLIRContext * Type::getContext ( ) const

Return the MLIRContext in which this type was uniqued.

Definition at line 35 of file Types.cpp.

◆ getDialect()

Dialect Type::getDialect ( ) const

inline

Get the dialect this type is registered to.

Definition at line 123 of file Types.h.

Referenced by mlir::pdl::PDLType::classof(), mlir::quant::QuantizedType::classof(), mlir::spirv::SPIRVType::classof(), combineOneSpec(), mlir::TypeInterface< ConcreteType, Traits >::getInterfaceFor(), hasPromiseOrImplementsInterface(), mlir::TensorType::isValidElementType(), memsetCanRewire(), and parseAndVerifyType().

◆ getFromOpaquePointer()

static Type mlir::Type::getFromOpaquePointer ( const void * pointer )

inlinestatic

Definition at line 183 of file Types.h.

References Type().

Referenced by mlir::DiagnosticArgument::getAsType(), and llvm::PointerLikeTypeTraits< mlir::Type >::getFromVoidPointer().

◆ getImpl()

ImplType* mlir::Type::getImpl ( ) const

inline

Return the Type implementation.

Definition at line 206 of file Types.h.

References impl.

Referenced by llvm::CastInfo< To, From, std::enable_if_t< std::is_same_v< mlir::Type, std::remove_const_t< From > >||std::is_base_of_v< mlir::Type, From > > >::doCast().

◆ getIntOrFloatBitWidth()

unsigned Type::getIntOrFloatBitWidth ( ) const

Return the bit width of an integer or a float type, assert failure on other types.

Definition at line 122 of file Types.cpp.

Referenced by alignedConversionPrecondition(), areSameBitwidthScalarType(), buildAttributeAPInt(), castF32To(), castToF32(), convertRoundEvenOp(), convertScalarToComplexDtype(), createCtlzFunc(), createElementIPowIFunc(), createInitialValueForReduceOp(), createLinalgBodyCalculationForElementwiseOp(), declareReduction(), deduceCanonicalResource(), emulatedVectorLoad(), mlir::sparse_tensor::genIndexLoad(), getBitWidth(), mlir::spirv::getBitWidth(), mlir::spirv::ScalarType::getCapabilities(), mlir::detail::getDefaultTypeSizeInBits(), mlir::detail::getDenseElementBitWidth(), mlir::spirv::ScalarType::getExtensions(), mlir::Builder::getIntegerAttr(), mlir::nvgpu::getLaneIdAndValueIdToOperandCoord(), mlir::nvgpu::getLdMatrixParams(), getNumBits(), getRegisterIndexToTileOffsetMap(), getScalarOrElementWidth(), mlir::emitc::getSignedTypeFor(), mlir::spirv::ScalarType::getSizeInBytes(), mlir::arm_sme::getSMETileSliceMinNumElts(), getTileShape(), mlir::emitc::getUnsignedTypeFor(), mlir::nvgpu::inferTileWidthInBits(), mlir::GPUPrintfOpToHIPLowering::matchAndRewrite(), mlir::detail::Parser::parseDenseArrayAttr(), parseSwitchOpCases(), resultsInSupportedAsyncCopy(), shiftValue(), truncToI32(), verifyMmaSyncOp(), verifyRescaleValueAndZpTypes(), and wmmaPushInputOperand().

◆ getTypeID()

TypeID mlir::Type::getTypeID ( )

inline

Return a unique identifier for the concrete type.

This is used to support dynamic type casting.

Definition at line 117 of file Types.h.

Referenced by mlir::TypeInterface< ConcreteType, Traits >::getInterfaceFor(), mlir::DataLayout::getTypeABIAlignment(), mlir::DataLayout::getTypePreferredAlignment(), mlir::DataLayout::getTypeSize(), mlir::DataLayout::getTypeSizeInBits(), hasPromiseOrImplementsInterface(), mlir::DynamicType::isa(), mlir::irdl::BaseTypeConstraint::verify(), and mlir::OpTrait::impl::verifyElementwise().

◆ hasPromiseOrImplementsInterface()

template<typename InterfaceT >

bool mlir::Type::hasPromiseOrImplementsInterface ( )

inline

Returns true if InterfaceT has been promised by the dialect or implemented.

Definition at line 190 of file Types.h.

References getDialect(), getTypeID(), and mlir::dialect_extension_detail::hasPromisedInterface().

◆ hasTrait()

template<template< typename T > class Trait>

bool mlir::Type::hasTrait ( )

inline

Returns true if the type was registered with a particular trait.

Definition at line 198 of file Types.h.

References getAbstractType(), and mlir::AbstractType::hasTrait().

Referenced by mlir::DynamicType::classof().

◆ isa()

template<typename... Tys>

bool mlir::Type::isa

Definition at line 323 of file Types.h.

◆ isa_and_nonnull()

template<typename... Tys>

bool mlir::Type::isa_and_nonnull

Definition at line 328 of file Types.h.

◆ isBF16()

bool Type::isBF16 ( ) const

Definition at line 37 of file Types.cpp.

Referenced by getCuSparseDataTypeFrom(), isAllowedSizeN(), isAllowedWGMMADataType(), mlir::arm_sme::isValidSMETileElementType(), parseAndVerifyType(), mlir::sparse_tensor::primaryTypeEncoding(), verifyMmaSyncOp(), wmmaPushInputOperand(), and wmmaPushOutputOperand().

◆ isF128()

bool Type::isF128 ( ) const

Definition at line 43 of file Types.cpp.

Referenced by mlir::arm_sme::isValidSMETileElementType().

◆ isF16()

bool Type::isF16 ( ) const

Definition at line 38 of file Types.cpp.

Referenced by floatCst(), getCuSparseDataTypeFrom(), getCuSparseLtDataTypeFrom(), mlir::nvgpu::getMmaSyncRegisterType(), isAllowedSizeN(), isAllowedWGMMADataType(), mlir::gpu::MMAMatrixType::isValidElementType(), mlir::arm_sme::isValidSMETileElementType(), mlir::math::ErfPolynomialApproximation::matchAndRewrite(), mlir::sparse_tensor::primaryTypeEncoding(), verifyMmaSyncOp(), and wmmaPushOutputOperand().

◆ isF32()

bool Type::isF32 ( ) const

Definition at line 40 of file Types.cpp.

Referenced by castF32To(), castToF32(), convertRoundOp(), floatCst(), getCuSparseDataTypeFrom(), mlir::nvgpu::getMmaSyncRegisterType(), getRegisterType(), isAllowedSizeN(), isAllowedWGMMADataType(), mlir::gpu::MMAMatrixType::isValidElementType(), mlir::arm_sme::isValidSMETileElementType(), mlir::math::ErfcPolynomialApproximation::matchAndRewrite(), mlir::math::ErfPolynomialApproximation::matchAndRewrite(), mlir::sparse_tensor::primaryTypeEncoding(), and verifyMmaSyncOp().

◆ isF64()

bool Type::isF64 ( ) const

Definition at line 41 of file Types.cpp.

Referenced by getCuSparseDataTypeFrom(), mlir::nvgpu::getMmaSyncRegisterType(), getRegisterType(), mlir::arm_sme::isValidSMETileElementType(), mlir::sparse_tensor::primaryTypeEncoding(), and verifyMmaSyncOp().

◆ isF80()

bool Type::isF80 ( ) const

Definition at line 42 of file Types.cpp.

◆ isFloat() [1/2]

bool Type::isFloat ( ) const

Return true if this is an float type (with the specified width).

Definition at line 45 of file Types.cpp.

◆ isFloat() [2/2]

bool Type::isFloat ( unsigned width ) const

Return true if this is a float type with the specified width.

Definition at line 48 of file Types.cpp.

◆ isIndex()

bool Type::isIndex ( ) const

Definition at line 54 of file Types.cpp.

Referenced by areIndexCastCompatible(), assertValidValueDim(), buildAttributeAPInt(), mlir::ValueBoundsConstraintSet::computeBound(), convertScalarToIntDtype(), delinearizeInductionVariable(), mlir::affine::fullyComposeAndComputeConstantDelta(), mlir::detail::getDenseElementBitWidth(), mlir::Builder::getIntegerAttr(), getProductOfIntsOrIndexes(), mlir::ConstantIntRanges::getStorageBitwidth(), mlir::getValueOrCreateCastToIndexLike(), getZero(), inferIndexCast(), isMatchingWidth(), mlir::emitc::isSupportedEmitCType(), mlir::affine::isValidDim(), isValidIntOrFloat(), mlir::affine::isValidSymbol(), mlir::spirv::ElementwiseOpPattern< Op, SPIRVOp >::matchAndRewrite(), mlir::affine::materializeComputedBound(), mlir::sparse_tensor::overheadTypeEncoding(), printLaunchDimType(), mlir::arith::reifyValueBound(), mlir::sparse_tensor::SparseTensorSpecifier::setSpecifierField(), mlir::ValueBoundsConstraintSet::Variable::Variable(), verifyInitializationAttribute(), and mlir::detail::verifyShapedDimOpInterface().

◆ isInteger() [1/2]

bool Type::isInteger ( ) const

Return true if this is an integer type (with the specified width).

Definition at line 56 of file Types.cpp.

Referenced by castBoolToIntN(), castIntNToBool(), createInitialValueForReduceOp(), createLinalgBodyCalculationForElementwiseOp(), createLinalgBodyCalculationForReduceOp(), mlir::DenseElementsAttr::get(), getConstantUint32(), getCuSparseDataTypeFrom(), getCuSparseIndexTypeFrom(), getCuSparseLtDataTypeFrom(), mlir::OpToFuncCallLowering< SourceOp >::getFunctionName(), getMatchSyncIntrinsicId(), mlir::nvgpu::getMmaSyncRegisterType(), getRegisterType(), getScalarOrVectorI32Constant(), mlir::emitc::getSignedTypeFor(), mlir::emitc::getUnsignedTypeFor(), isAllowedSizeN(), isAllowedWGMMADataType(), isBoolScalarOrVector(), isMatchingWidth(), mlir::DenseElementsAttr::isValidBool(), mlir::gpu::MMAMatrixType::isValidElementType(), mlir::arm_sme::isValidSMETileElementType(), mlir::detail::Parser::parseDenseArrayAttr(), mlir::sparse_tensor::primaryTypeEncoding(), verifyMmaSyncOp(), mlir::OpTrait::tosa::MulOperandsAndResultElementType< ConcreteType >::verifyTrait(), verifyZeroPoint(), and wmmaPushOutputOperand().

◆ isInteger() [2/2]

bool Type::isInteger ( unsigned width ) const

Definition at line 58 of file Types.cpp.

◆ isIntOrFloat()

bool Type::isIntOrFloat ( ) const

Return true if this is an integer (of any signedness) or a float type.

Definition at line 116 of file Types.cpp.

Referenced by alignedConversionPrecondition(), areSameBitwidthScalarType(), createLinalgBodyCalculationForElementwiseOp(), getBitWidth(), mlir::spirv::getBitWidth(), mlir::detail::getDefaultTypeSizeInBits(), getScalarOrElementWidth(), isAllocationSupported(), mlir::spirv::SPIRVType::isScalarOrVector(), mlir::GPUPrintfOpToVPrintfLowering::matchAndRewrite(), and ConvertAccessChain::matchAndRewrite().

◆ isIntOrIndex()

bool Type::isIntOrIndex ( ) const

Return true if this is an integer (of any signedness) or an index type.

Definition at line 112 of file Types.cpp.

Referenced by ceilDivPositive(), mlir::sparse_tensor::genIsNonzero(), isSupportedCombiningKind(), and mlir::detail::Parser::parseDenseArrayAttr().

◆ isIntOrIndexOrFloat()

bool Type::isIntOrIndexOrFloat ( ) const

Return true if this is an integer (of any signedness), index, or float type.

Definition at line 120 of file Types.cpp.

Referenced by mlir::DenseElementsAttr::get(), getSharding(), getZero(), mlir::vector::isBroadcastableTo(), isSupportedCombiningKind(), isSupportedSourceType(), isUniformDefinition(), mlir::BaseMemRefType::isValidElementType(), mlir::detail::Parser::parseDenseArrayAttr(), and verifyRegionAttribute().

◆ isSignedInteger() [1/2]

bool Type::isSignedInteger ( ) const

Return true if this is a signed integer type (with the specified width).

Definition at line 76 of file Types.cpp.

Referenced by buildAttributeAPInt(), mlir::Builder::getIntegerAttr(), isSignedIntegerOrVector(), mlir::gpu::MMAMatrixType::isValidElementType(), and wmmaPushInputOperand().

◆ isSignedInteger() [2/2]

bool Type::isSignedInteger ( unsigned width ) const

Definition at line 82 of file Types.cpp.

◆ isSignlessInteger() [1/2]

bool Type::isSignlessInteger ( ) const

Return true if this is a signless integer type (with the specified width).

Definition at line 64 of file Types.cpp.

Referenced by areIndexCastCompatible(), and mlir::arith::ConstantIntOp::build().

◆ isSignlessInteger() [2/2]

bool Type::isSignlessInteger ( unsigned width ) const

Definition at line 70 of file Types.cpp.

◆ isSignlessIntOrFloat()

bool Type::isSignlessIntOrFloat ( ) const

Return true of this is a signless integer or a float type.

Definition at line 108 of file Types.cpp.

Referenced by mlir::linalg::RegionMatcher::matchAsScalarBinaryOp().

◆ isSignlessIntOrIndex()

bool Type::isSignlessIntOrIndex ( ) const

Return true if this is a signless integer or index type.

Definition at line 100 of file Types.cpp.

◆ isSignlessIntOrIndexOrFloat()

bool Type::isSignlessIntOrIndexOrFloat ( ) const

Return true if this is a signless integer, index, or float type.

Definition at line 104 of file Types.cpp.

Referenced by appendMangledType().

◆ isTF32()

bool Type::isTF32 ( ) const

Definition at line 39 of file Types.cpp.

Referenced by isAllowedSizeN(), and isAllowedWGMMADataType().

◆ isUnsignedInteger() [1/2]

bool Type::isUnsignedInteger ( ) const

Return true if this is an unsigned integer type (with the specified width).

Definition at line 88 of file Types.cpp.

Referenced by createLinalgBodyCalculationForElementwiseOp(), isUnsignedIntegerOrVector(), mlir::gpu::MMAMatrixType::isValidElementType(), mlir::detail::Parser::parseDecOrHexAttr(), mlir::tosa::populateTosaTypeConversion(), and wmmaPushInputOperand().

◆ isUnsignedInteger() [2/2]

bool Type::isUnsignedInteger ( unsigned width ) const

Definition at line 94 of file Types.cpp.

◆ operator bool()

mlir::Type::operator bool ( ) const

inlineexplicit

Definition at line 95 of file Types.h.

References impl.

◆ operator!()

bool mlir::Type::operator! ( ) const

inline

Definition at line 97 of file Types.h.

◆ operator!=()

bool mlir::Type::operator!= ( Type other ) const

inline

Definition at line 94 of file Types.h.

◆ operator=()

Type& mlir::Type::operator= ( const Type & other )

default

◆ operator==()

bool mlir::Type::operator== ( Type other ) const

inline

Definition at line 93 of file Types.h.

References impl.

◆ print() [1/2]

void Type::print ( raw_ostream & os ) const

Print the current type.

Definition at line 3962 of file AsmPrinter.cpp.

Referenced by createCtlzFunc(), and mlir::operator<<().

◆ print() [2/2]

void Type::print	(	raw_ostream &	os,
		AsmState &	state
	)		const

Definition at line 3971 of file AsmPrinter.cpp.

◆ replace()

template<typename... ReplacementFns>

auto mlir::Type::replace ( ReplacementFns &&... replacementFns )

inline

Recursively replace all of the nested sub-attributes and sub-types using the provided map functions.

Returns nullptr in the case of failure. See AttrTypeReplacer for information on the support replacement function types.

Definition at line 242 of file Types.h.

References mlir::detail::AttrTypeReplacerBase< Concrete >::addReplacement(), and mlir::AttrTypeReplacer::replace().

◆ replaceImmediateSubElements()

auto mlir::Type::replaceImmediateSubElements	(	ArrayRef< Attribute >	replAttrs,
		ArrayRef< Type >	replTypes
	)		const

inline

Replace the immediately nested sub-attributes and sub-types with those provided.

The order of the provided elements is derived from the order of the elements returned by the callbacks of walkImmediateSubElements. The element at index 0 would replace the very first attribute given by walkImmediateSubElements. On success, the new instance with the values replaced is returned. If replacement fails, nullptr is returned.

Definition at line 221 of file Types.h.

References getAbstractType(), and mlir::AbstractType::replaceImmediateSubElements().

◆ walk()

template<WalkOrder Order = WalkOrder::PostOrder, typename... WalkFns>

auto mlir::Type::walk ( WalkFns &&... walkFns )

inline

Walk this type and all attibutes/types nested within using the provided walk functions.

See AttrTypeWalker for information on the supported walk function types.

Definition at line 231 of file Types.h.

References mlir::AttrTypeWalker::addWalk(), and mlir::AttrTypeWalker::walk().

◆ walkImmediateSubElements()

void mlir::Type::walkImmediateSubElements	(	function_ref< void(Attribute)>	walkAttrsFn,
		function_ref< void(Type)>	walkTypesFn
	)		const

inline

Walk all of the immediately nested sub-attributes and sub-types.

This method does not recurse into sub elements.

Definition at line 210 of file Types.h.

References getAbstractType(), and mlir::AbstractType::walkImmediateSubElements().

Friends And Related Function Documentation

◆ hash_value

::llvm::hash_code hash_value ( Type arg )

friend

Definition at line 318 of file Types.h.

Member Data Documentation

◆ impl

ImplType* mlir::Type::impl {nullptr}

protected

Definition at line 250 of file Types.h.

Referenced by getAsOpaquePointer(), getImpl(), operator bool(), and operator==().

The documentation for this class was generated from the following files:

include/mlir/IR/Types.h
lib/IR/AsmPrinter.cpp
lib/IR/Types.cpp
lib/TableGen/Type.cpp
lib/Tools/PDLL/AST/NodePrinter.cpp

Public Types

Public Member Functions

Static Public Member Functions

Protected Attributes

Friends

Detailed Description

Member Typedef Documentation

◆ AbstractTy

◆ ImplType

◆ TypeBase

Constructor & Destructor Documentation

◆ Type() [1/3]

◆ Type() [2/3]

◆ Type() [3/3]

Member Function Documentation

◆ cast()

◆ dump()

◆ dyn_cast()

◆ dyn_cast_or_null()

◆ getAbstractType()

◆ getAsOpaquePointer()

◆ getContext()

◆ getDialect()

◆ getFromOpaquePointer()

◆ getImpl()

◆ getIntOrFloatBitWidth()

◆ getTypeID()

◆ hasPromiseOrImplementsInterface()

◆ hasTrait()

◆ isa()

◆ isa_and_nonnull()

◆ isBF16()

◆ isF128()

◆ isF16()

◆ isF32()

◆ isF64()

◆ isF80()

◆ isFloat() [1/2]

◆ isFloat() [2/2]

◆ isIndex()

◆ isInteger() [1/2]

◆ isInteger() [2/2]

◆ isIntOrFloat()

◆ isIntOrIndex()

◆ isIntOrIndexOrFloat()

◆ isSignedInteger() [1/2]

◆ isSignedInteger() [2/2]

◆ isSignlessInteger() [1/2]

◆ isSignlessInteger() [2/2]

◆ isSignlessIntOrFloat()

◆ isSignlessIntOrIndex()

◆ isSignlessIntOrIndexOrFloat()

◆ isTF32()

◆ isUnsignedInteger() [1/2]

◆ isUnsignedInteger() [2/2]

◆ operator bool()

◆ operator!()

◆ operator!=()

◆ operator=()

◆ operator==()

◆ print() [1/2]

◆ print() [2/2]

◆ replace()

◆ replaceImmediateSubElements()

◆ walk()

◆ walkImmediateSubElements()

Friends And Related Function Documentation

◆ hash_value

Member Data Documentation

◆ impl