MLIR  19.0.0git
Classes | Namespaces | Macros | Enumerations | Functions
BuiltinTypes.h File Reference
#include "mlir/IR/BuiltinAttributeInterfaces.h"
#include "mlir/IR/BuiltinTypeInterfaces.h"
#include "mlir/Support/ADTExtras.h"
#include "mlir/IR/"

Go to the source code of this file.


class  mlir::FloatType
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...


 Include the generated interface declarations.
 Include the generated interface declarations.
 Detect if any of the given parameter types has a sub-element handler.




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...


std::optional< llvm::SmallDenseSet< unsigned > > mlir::computeRankReductionMask (ArrayRef< int64_t > originalShape, ArrayRef< int64_t > reducedShape)
 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. More...
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. More...
LogicalResult mlir::getStridesAndOffset (MemRefType t, SmallVectorImpl< int64_t > &strides, int64_t &offset)
 Returns the strides of the MemRef if the layout map is in strided form. More...
std::pair< SmallVector< int64_t >, int64_t > mlir::getStridesAndOffset (MemRefType t)
 Wrapper around getStridesAndOffset(MemRefType, SmallVectorImpl<int64_t>, int64_t) that will assert if the logical result is not succeeded. More...
MemRefType mlir::canonicalizeStridedLayout (MemRefType t)
 Return a version of t with identity layout if it can be determined statically that the layout is the canonical contiguous strided layout. More...
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. More...
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)}. More...
bool mlir::isStrided (MemRefType t)
 Return "true" if the layout for t is compatible with strided semantics. More...
bool mlir::isLastMemrefDimUnitStride (MemRefType type)
 Return "true" if the last dimension of the given type has a static unit stride. More...
bool mlir::trailingNDimsContiguous (MemRefType type, int64_t n)
 Return "true" if the last N dimensions of the given type are contiguous. More...

Macro Definition Documentation



Definition at line 190 of file BuiltinTypes.h.