MLIR 22.0.0git
mlir::VectorConvertToLLVMPattern< SourceOp, TargetOp, AttrConvert > Class Template Reference

Basic lowering implementation to rewrite Ops with just one result to the LLVM Dialect. More...

#include "mlir/Conversion/LLVMCommon/VectorPattern.h"

Inheritance diagram for mlir::VectorConvertToLLVMPattern< SourceOp, TargetOp, AttrConvert >:

Public Types

using Super = VectorConvertToLLVMPattern<SourceOp, TargetOp>
Public Types inherited from mlir::ConvertOpToLLVMPattern< SourceOp >
using OpAdaptor = typename SourceOp::Adaptor
using OneToNOpAdaptor

Public Member Functions

LogicalResult matchAndRewrite (SourceOp op, typename SourceOp::Adaptor adaptor, ConversionPatternRewriter &rewriter) const override
 Methods that operate on the SourceOp type.
Public Member Functions inherited from mlir::ConvertOpToLLVMPattern< SourceOp >
 ConvertOpToLLVMPattern (const LLVMTypeConverter &typeConverter, PatternBenefit benefit=1)
LogicalResult matchAndRewrite (Operation *op, ArrayRef< Value > operands, ConversionPatternRewriter &rewriter) const final
 Wrappers around the RewritePattern methods that pass the derived op type.
LogicalResult matchAndRewrite (Operation *op, ArrayRef< ValueRange > operands, ConversionPatternRewriter &rewriter) const final
virtual LogicalResult matchAndRewrite (SourceOp op, OneToNOpAdaptor adaptor, ConversionPatternRewriter &rewriter) const
Public Member Functions inherited from mlir::ConvertToLLVMPattern
 ConvertToLLVMPattern (StringRef rootOpName, MLIRContext *context, const LLVMTypeConverter &typeConverter, PatternBenefit benefit=1)

Static Public Member Functions

static FloatType getFloatingPointType (Type type)
 Return the given type if it's a floating point type.

Additional Inherited Members

Protected Member Functions inherited from mlir::ConvertToLLVMPattern
LLVM::LLVMDialect & getDialect () const
 Returns the LLVM dialect.
const LLVMTypeConvertergetTypeConverter () const
Type getIndexType () const
 Gets the MLIR type wrapping the LLVM integer type whose bit width is defined by the used type converter.
Type getIntPtrType (unsigned addressSpace=0) const
 Gets the MLIR type wrapping the LLVM integer type whose bit width corresponds to that of a LLVM pointer type.
Type getVoidType () const
 Gets the MLIR type wrapping the LLVM void type.
Type getVoidPtrType () const
 Get the MLIR type wrapping the LLVM i8* type.
Type getPtrType (unsigned addressSpace=0) const
 Get the MLIR type wrapping the LLVM ptr type.
Value getStridedElementPtr (ConversionPatternRewriter &rewriter, Location loc, MemRefType type, Value memRefDesc, ValueRange indices, LLVM::GEPNoWrapFlags noWrapFlags=LLVM::GEPNoWrapFlags::none) const
 Convenience wrapper for the corresponding helper utility.
bool isConvertibleAndHasIdentityMaps (MemRefType type) const
 Returns if the given memref type is convertible to LLVM and has an identity layout map.
Type getElementPtrType (MemRefType type) const
 Returns the type of a pointer to an element of the memref.
void getMemRefDescriptorSizes (Location loc, MemRefType memRefType, ValueRange dynamicSizes, ConversionPatternRewriter &rewriter, SmallVectorImpl< Value > &sizes, SmallVectorImpl< Value > &strides, Value &size, bool sizeInBytes=true) const
 Computes sizes, strides and buffer size of memRefType with identity layout.
Value getSizeInBytes (Location loc, Type type, ConversionPatternRewriter &rewriter) const
 Computes the size of type in bytes.
Value getNumElements (Location loc, MemRefType memRefType, ValueRange dynamicSizes, ConversionPatternRewriter &rewriter) const
 Computes total number of elements for the given MemRef and dynamicSizes.
MemRefDescriptor createMemRefDescriptor (Location loc, MemRefType memRefType, Value allocatedPtr, Value alignedPtr, ArrayRef< Value > sizes, ArrayRef< Value > strides, ConversionPatternRewriter &rewriter) const
 Creates and populates a canonical memref descriptor struct.
Value copyUnrankedDescriptor (OpBuilder &builder, Location loc, UnrankedMemRefType memRefType, Value operand, bool toDynamic) const
 Copies the given unranked memory descriptor to heap-allocated memory (if toDynamic is true) or to stack-allocated memory (otherwise) and returns the new descriptor.
LogicalResult copyUnrankedDescriptors (OpBuilder &builder, Location loc, TypeRange origTypes, SmallVectorImpl< Value > &operands, bool toDynamic) const
 Copies the memory descriptor for any operands that were unranked descriptors originally to heap-allocated memory (if toDynamic is true) or to stack-allocated memory (otherwise).
Static Protected Member Functions inherited from mlir::ConvertToLLVMPattern
static Value createIndexAttrConstant (OpBuilder &builder, Location loc, Type resultType, int64_t value)
 Create a constant Op producing a value of resultType from an index-typed integer attribute.

Detailed Description

template<typename SourceOp, typename TargetOp, template< typename, typename > typename AttrConvert = AttrConvertPassThrough>
class mlir::VectorConvertToLLVMPattern< SourceOp, TargetOp, AttrConvert >

Basic lowering implementation to rewrite Ops with just one result to the LLVM Dialect.

This supports higher-dimensional vector types. The AttrConvert template template parameter should be a template class with SourceOp and TargetOp type parameters, a constructor that takes a SourceOp instance, and a getAttrs() method that returns ArrayRef<NamedAttribute>.

Definition at line 90 of file VectorPattern.h.

Member Typedef Documentation

◆ Super

template<typename SourceOp, typename TargetOp, template< typename, typename > typename AttrConvert = AttrConvertPassThrough>
using mlir::VectorConvertToLLVMPattern< SourceOp, TargetOp, AttrConvert >::Super = VectorConvertToLLVMPattern<SourceOp, TargetOp>

Definition at line 93 of file VectorPattern.h.

Member Function Documentation

◆ getFloatingPointType()

template<typename SourceOp, typename TargetOp, template< typename, typename > typename AttrConvert = AttrConvertPassThrough>
FloatType mlir::VectorConvertToLLVMPattern< SourceOp, TargetOp, AttrConvert >::getFloatingPointType ( Type type)
inlinestatic

Return the given type if it's a floating point type.

If the given type is a vector type, return its element type if it's a floating point type.

Definition at line 97 of file VectorPattern.h.

Referenced by matchAndRewrite().

◆ matchAndRewrite()

template<typename SourceOp, typename TargetOp, template< typename, typename > typename AttrConvert = AttrConvertPassThrough>
LogicalResult mlir::VectorConvertToLLVMPattern< SourceOp, TargetOp, AttrConvert >::matchAndRewrite ( SourceOp op,
typename SourceOp::Adaptor adaptor,
ConversionPatternRewriter & rewriter ) const
inlineoverridevirtual

Methods that operate on the SourceOp type.

One of these must be overridden by the derived pattern class.

Reimplemented from mlir::ConvertOpToLLVMPattern< SourceOp >.

Definition at line 106 of file VectorPattern.h.

References getFloatingPointType(), mlir::ConvertToLLVMPattern::getTypeConverter(), success(), and mlir::LLVM::detail::vectorOneToOneRewrite().


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