BuiltinTypes.h File Reference

#include "mlir/IR/BuiltinAttributeInterfaces.h"
#include "mlir/IR/BuiltinTypeInterfaces.h"
#include "mlir/Support/ADTExtras.h"
#include "mlir/IR/QuantStorageTypeInterface.h"
#include "mlir/IR/BuiltinTypes.h.inc"
#include "mlir/IR/BuiltinTypeConstraints.h.inc"

Go to the source code of this file.

Classes
class	mlir::ValueSemantics< ConcreteType >
	Type trait indicating that the type has value semantics. More...
class	mlir::TensorType
	Tensor types represent multi-dimensional arrays, and have two variants: RankedTensorType and UnrankedTensorType. More...
class	mlir::BaseMemRefType
	This class provides a shared interface for ranked and unranked memref types. More...
class	mlir::MemRefType::Builder
	This is a builder type that keeps local references to arguments. More...
class	mlir::RankedTensorType::Builder
	This is a builder type that keeps local references to arguments. More...
class	mlir::VectorType::Builder
	This is a builder type that keeps local references to arguments. More...
class	mlir::ScalableVectorType
	A vector type containing at least one scalable dimension. More...
class	mlir::FixedVectorType
	A vector type with no scalable dimensions. More...

Namespaces
namespace	llvm
	The OpAsmOpInterface, see OpAsmInterface.td for more details.
namespace	mlir
	Include the generated interface declarations.
namespace	mlir::detail
	AttrTypeReplacer.

Macros
#define	GET_TYPEDEF_CLASSES

Enumerations
enum class	mlir::SliceVerificationResult {   mlir::Success , mlir::RankTooLarge , mlir::SizeMismatch , mlir::ElemTypeMismatch ,   mlir::MemSpaceMismatch , mlir::LayoutMismatch }
	Enum that captures information related to verifier error conditions on slice insert/extract type of ops. More...

Functions
bool	mlir::isValidVectorTypeElementType (::mlir::Type type)
std::optional< llvm::SmallDenseSet< unsigned > >	mlir::computeRankReductionMask (ArrayRef< int64_t > originalShape, ArrayRef< int64_t > reducedShape, bool matchDynamic=false)
	Given an originalShape and a reducedShape assumed to be a subset of originalShape with some 1 entries erased, return the set of indices that specifies which of the entries of originalShape are dropped to obtain reducedShape.
SliceVerificationResult	mlir::isRankReducedType (ShapedType originalType, ShapedType candidateReducedType)
	Check if originalType can be rank reduced to candidateReducedType type by dropping some dimensions with static size 1.
AffineExpr	mlir::makeCanonicalStridedLayoutExpr (ArrayRef< int64_t > sizes, ArrayRef< AffineExpr > exprs, MLIRContext *context)
	Given MemRef sizes that are either static or dynamic, returns the canonical "contiguous" strides AffineExpr.
AffineExpr	mlir::makeCanonicalStridedLayoutExpr (ArrayRef< int64_t > sizes, MLIRContext *context)
	Return the result of makeCanonicalStrudedLayoutExpr for the common case where exprs is {d0, d1, .., d_(sizes.size()-1)}.

Macro Definition Documentation

GET_TYPEDEF_CLASSES

#define GET_TYPEDEF_CLASSES

Definition at line 172 of file BuiltinTypes.h.