MLIR  15.0.0git
Public Member Functions | Static Public Member Functions | List of all members
mlir::LLVM::LLVMScalableVectorType Class Reference

LLVM dialect scalable vector type, represents a sequence of elements of unknown length that is known to be divisible by some constant. More...

#include "mlir/Dialect/LLVMIR/LLVMTypes.h"

+ Inheritance diagram for mlir::LLVM::LLVMScalableVectorType:
+ Collaboration diagram for mlir::LLVM::LLVMScalableVectorType:

Public Member Functions

Type getElementType ()
 Returns the element type of the vector. More...
 
unsigned getMinNumElements ()
 Returns the scaling factor of the number of elements in the vector. More...
 

Static Public Member Functions

static LLVMScalableVectorType get (Type elementType, unsigned minNumElements)
 Gets or creates a scalable vector type containing a non-zero multiple of minNumElements of elementType in the same context as elementType. More...
 
static LLVMScalableVectorType getChecked (function_ref< InFlightDiagnostic()> emitError, Type elementType, unsigned minNumElements)
 
static bool isValidElementType (Type type)
 Checks if the given type can be used in a vector type. More...
 
static LogicalResult verify (function_ref< InFlightDiagnostic()> emitError, Type elementType, unsigned minNumElements)
 Verifies that the type about to be constructed is well-formed. More...
 
- Static Public Member Functions inherited from mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >
static TypeID getTypeID ()
 Return a unique identifier for the concrete type. More...
 
template<typename T >
static bool classof (T val)
 Provide an implementation of 'classof' that compares the type id of the provided value with that of the concrete type. More...
 
static detail::InterfaceMap getInterfaceMap ()
 Returns an interface map for the interfaces registered to this storage user. More...
 
static HasTraitFn getHasTraitFn ()
 Returns the function that returns true if the given Trait ID matches the IDs of any of the traits defined by the storage user. More...
 
template<typename... IfaceModels>
static void attachInterface (MLIRContext &context)
 Attach the given models as implementations of the corresponding interfaces for the concrete storage user class. More...
 
template<typename... Args>
static ConcreteT get (MLIRContext *ctx, Args... args)
 Get or create a new ConcreteT instance within the ctx. More...
 
template<typename... Args>
static ConcreteT getChecked (const Location &loc, Args... args)
 Get or create a new ConcreteT instance within the ctx, defined at the given, potentially unknown, location. More...
 
template<typename... Args>
static ConcreteT getChecked (function_ref< InFlightDiagnostic()> emitErrorFn, MLIRContext *ctx, Args... args)
 Get or create a new ConcreteT instance within the ctx. More...
 
static ConcreteT getFromOpaquePointer (const void *ptr)
 Get an instance of the concrete type from a void pointer. More...
 

Additional Inherited Members

- Public Types inherited from mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >
using Base = StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits... >
 Utility declarations for the concrete attribute class. More...
 
using ImplType = StorageT
 
using HasTraitFn = bool(*)(TypeID)
 
- Protected Member Functions inherited from mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >
template<typename... Args>
LogicalResult mutate (Args &&...args)
 Mutate the current storage instance. More...
 
ImplTypegetImpl () const
 Utility for easy access to the storage instance. More...
 
- Static Protected Member Functions inherited from mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >
template<typename... Args>
static LogicalResult verify (Args... args)
 Default implementation that just returns success. More...
 

Detailed Description

LLVM dialect scalable vector type, represents a sequence of elements of unknown length that is known to be divisible by some constant.

These elements can be processed as one in SIMD context.

Definition at line 407 of file LLVMTypes.h.

Member Function Documentation

◆ get()

LLVMScalableVectorType LLVMScalableVectorType::get ( Type  elementType,
unsigned  minNumElements 
)
static

Gets or creates a scalable vector type containing a non-zero multiple of minNumElements of elementType in the same context as elementType.

Definition at line 647 of file LLVMTypes.cpp.

References mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >::get(), and mlir::Type::getContext().

Referenced by mlir::LLVM::getScalableVectorType(), mlir::LLVM::getVectorType(), and mlir::LLVM::detail::TypeFromLLVMIRTranslatorImpl::translateType().

◆ getChecked()

LLVMScalableVectorType LLVMScalableVectorType::getChecked ( function_ref< InFlightDiagnostic()>  emitError,
Type  elementType,
unsigned  minNumElements 
)
static

◆ getElementType()

Type LLVMScalableVectorType::getElementType ( )

Returns the element type of the vector.

Definition at line 661 of file LLVMTypes.cpp.

Referenced by mlir::LLVM::detail::TypeToLLVMIRTranslatorImpl::translateType().

◆ getMinNumElements()

unsigned LLVMScalableVectorType::getMinNumElements ( )

Returns the scaling factor of the number of elements in the vector.

The vector contains at least the resulting number of elements, or any non-zero multiple of this number.

Definition at line 665 of file LLVMTypes.cpp.

References mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >::getImpl().

Referenced by mlir::LLVM::getVectorNumElements(), and mlir::LLVM::detail::TypeToLLVMIRTranslatorImpl::translateType().

◆ isValidElementType()

bool LLVMScalableVectorType::isValidElementType ( Type  type)
static

Checks if the given type can be used in a vector type.

Definition at line 669 of file LLVMTypes.cpp.

References mlir::Type::dyn_cast(), mlir::Type::isa(), and mlir::LLVM::isCompatibleFloatingPointType().

Referenced by mlir::LLVM::getScalableVectorType().

◆ verify()

LogicalResult LLVMScalableVectorType::verify ( function_ref< InFlightDiagnostic()>  emitError,
Type  elementType,
unsigned  minNumElements 
)
static

Verifies that the type about to be constructed is well-formed.

Definition at line 677 of file LLVMTypes.cpp.

References mlir::emitError().


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