MLIR
15.0.0git
|
LLVM dialect pointer type. More...
#include "mlir/Dialect/LLVMIR/LLVMTypes.h"
Public Member Functions | |
Type | getElementType () const |
Returns the pointed-to type. It may be null if the pointer is opaque. More... | |
bool | isOpaque () const |
Returns true if this type is the opaque pointer type, i.e., it has no pointed-to type. More... | |
unsigned | getAddressSpace () const |
Returns the address space of the pointer. More... | |
unsigned | getTypeSizeInBits (const DataLayout &dataLayout, DataLayoutEntryListRef params) const |
Hooks for DataLayoutTypeInterface. More... | |
unsigned | getABIAlignment (const DataLayout &dataLayout, DataLayoutEntryListRef params) const |
unsigned | getPreferredAlignment (const DataLayout &dataLayout, DataLayoutEntryListRef params) const |
bool | areCompatible (DataLayoutEntryListRef oldLayout, DataLayoutEntryListRef newLayout) const |
LogicalResult | verifyEntries (DataLayoutEntryListRef entries, Location loc) const |
Static Public Member Functions | |
static bool | isValidElementType (Type type) |
Checks if the given type can have a pointer type pointing to it. More... | |
static LLVMPointerType | get (MLIRContext *context, unsigned addressSpace=0) |
Gets or creates an instance of LLVM dialect pointer type pointing to an object of pointee type in the given address space. More... | |
static LLVMPointerType | get (Type pointee, unsigned addressSpace=0) |
static LLVMPointerType | getChecked (function_ref< InFlightDiagnostic()> emitError, Type pointee, unsigned addressSpace=0) |
static LLVMPointerType | getChecked (function_ref< InFlightDiagnostic()> emitError, MLIRContext *context, unsigned addressSpace=0) |
static LogicalResult | verify (function_ref< InFlightDiagnostic()> emitError, Type pointee, unsigned) |
Verifies that the type about to be constructed is well-formed. More... | |
static LogicalResult | verify (function_ref< InFlightDiagnostic()> emitError, MLIRContext *context, unsigned) |
![]() | |
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 | |
![]() | |
using | Base = StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits... > |
Utility declarations for the concrete attribute class. More... | |
using | ImplType = StorageT |
using | HasTraitFn = bool(*)(TypeID) |
![]() | |
template<typename... Args> | |
LogicalResult | mutate (Args &&...args) |
Mutate the current storage instance. More... | |
ImplType * | getImpl () const |
Utility for easy access to the storage instance. More... | |
![]() | |
template<typename... Args> | |
static LogicalResult | verify (Args... args) |
Default implementation that just returns success. More... | |
LLVM dialect pointer type.
This type typically represents a reference to an object in memory. Pointers may be opaque or parameterized by the element type. Both opaque and non-opaque pointers are additionally parameterized by the address space.
Definition at line 182 of file LLVMTypes.h.
bool LLVMPointerType::areCompatible | ( | DataLayoutEntryListRef | oldLayout, |
DataLayoutEntryListRef | newLayout | ||
) | const |
Definition at line 292 of file LLVMTypes.cpp.
References mlir::Attribute::cast(), extractPointerSpecValue(), getAddressSpace(), kDefaultPointerAlignment, and kDefaultPointerSizeBits.
|
static |
Gets or creates an instance of LLVM dialect pointer type pointing to an object of pointee
type in the given address space.
The pointer type is created in the same context as pointee
. If the pointee is not provided, creates an opaque pointer in the given context and address space.
Definition at line 173 of file LLVMTypes.cpp.
References mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >::get().
Referenced by addAtomicRMW(), addResumeFunction(), mlir::LLVMTypeConverter::canConvertToBarePtr(), castDataPtr(), mlir::LLVMTypeConverter::convertFunctionTypeCWrapper(), convertPointerType(), mlir::ConvertToLLVMPattern::copyUnrankedDescriptors(), mlir::LLVM::createGlobalString(), declareReduction(), mlir::ConvertToLLVMPattern::getElementPtrType(), getLoadStoreElementType(), mlir::LLVMTypeConverter::getMemRefDescriptorSize(), mlir::LLVMTypeConverter::getPointerBitwidth(), getPtrToElementType(), mlir::ConvertToLLVMPattern::getSizeInBytes(), mlir::ConvertToLLVMPattern::getVoidPtrType(), isDefinedByCallTo(), mlir::LLVMTypeConverter::LLVMTypeConverter(), mlir::LLVM::lookupOrCreateAlignedAllocFn(), mlir::LLVM::lookupOrCreateFreeFn(), mlir::LLVM::lookupOrCreateMallocFn(), mlir::GPUFuncOpLowering::matchAndRewrite(), mlir::GPUPrintfOpToHIPLowering::matchAndRewrite(), mlir::GPUPrintfOpToLLVMCallLowering::matchAndRewrite(), mlirLLVMPointerTypeGet(), mlir::UnrankedMemRefDescriptor::offset(), mlir::populateGpuToLLVMConversionPatterns(), mlir::LLVMTypeConverter::promoteOneMemRefDescriptor(), mlir::UnrankedMemRefDescriptor::setOffset(), mlir::UnrankedMemRefDescriptor::setSize(), mlir::UnrankedMemRefDescriptor::setStride(), mlir::MemRefDescriptor::size(), mlir::UnrankedMemRefDescriptor::size(), mlir::UnrankedMemRefDescriptor::sizeBasePtr(), mlir::UnrankedMemRefDescriptor::stride(), mlir::UnrankedMemRefDescriptor::strideBasePtr(), mlir::LLVM::detail::TypeFromLLVMIRTranslatorImpl::translateType(), unpackOperandVector(), and wrapExternalFunction().
|
static |
Definition at line 167 of file LLVMTypes.cpp.
References mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >::get(), and mlir::Type::getContext().
unsigned LLVMPointerType::getABIAlignment | ( | const DataLayout & | dataLayout, |
DataLayoutEntryListRef | params | ||
) | const |
Definition at line 269 of file LLVMTypes.cpp.
References mlir::LLVM::LLVMArrayType::getElementType(), getPointerDataLayoutEntry(), and mlir::DataLayout::getTypeABIAlignment().
unsigned LLVMPointerType::getAddressSpace | ( | ) | const |
Returns the address space of the pointer.
Definition at line 195 of file LLVMTypes.cpp.
References mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >::getImpl().
Referenced by areCompatible(), getPointerDataLayoutEntry(), mlir::LLVMTypeConverter::LLVMTypeConverter(), lookupSymbolInModule(), and mlir::LLVM::detail::TypeToLLVMIRTranslatorImpl::translateType().
|
static |
Definition at line 179 of file LLVMTypes.cpp.
References mlir::emitError(), mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >::getChecked(), and mlir::Type::getContext().
|
static |
Definition at line 186 of file LLVMTypes.cpp.
References mlir::emitError(), and mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >::getChecked().
Type LLVMPointerType::getElementType | ( | ) | const |
Returns the pointed-to type. It may be null if the pointer is opaque.
Definition at line 191 of file LLVMTypes.cpp.
References mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >::getImpl().
Referenced by convertOmpAtomicUpdate(), mlir::LLVMTypeConverter::LLVMTypeConverter(), lookupSymbolInModule(), mlir::UnrankedMemRefDescriptor::sizeBasePtr(), and mlir::LLVM::detail::TypeToLLVMIRTranslatorImpl::translateType().
unsigned LLVMPointerType::getPreferredAlignment | ( | const DataLayout & | dataLayout, |
DataLayoutEntryListRef | params | ||
) | const |
Definition at line 281 of file LLVMTypes.cpp.
References mlir::LLVM::LLVMArrayType::getElementType(), getPointerDataLayoutEntry(), and mlir::DataLayout::getTypePreferredAlignment().
unsigned LLVMPointerType::getTypeSizeInBits | ( | const DataLayout & | dataLayout, |
DataLayoutEntryListRef | params | ||
) | const |
Hooks for DataLayoutTypeInterface.
Should not be called directly. Obtain a DataLayout instance and query it instead.
Definition at line 256 of file LLVMTypes.cpp.
References mlir::LLVM::LLVMArrayType::getElementType(), getPointerDataLayoutEntry(), and mlir::DataLayout::getTypeSizeInBits().
bool LLVMPointerType::isOpaque | ( | ) | const |
Returns true
if this type is the opaque pointer type, i.e., it has no pointed-to type.
Definition at line 193 of file LLVMTypes.cpp.
References mlir::detail::StorageUserBase< ConcreteT, BaseT, StorageT, UniquerT, Traits >::getImpl().
Referenced by mlir::LLVMTypeConverter::LLVMTypeConverter(), lookupSymbolInModule(), mlir::LLVM::detail::TypeToLLVMIRTranslatorImpl::translateType(), and verifyOpaquePtr().
|
static |
Checks if the given type can have a pointer type pointing to it.
Definition at line 158 of file LLVMTypes.cpp.
References mlir::Type::isa(), and mlir::LLVM::isCompatibleOuterType().
Referenced by isZeroAttribute().
|
static |
Verifies that the type about to be constructed is well-formed.
Definition at line 200 of file LLVMTypes.cpp.
References mlir::emitError(), mlir::LLVM::LLVMArrayType::isValidElementType(), and mlir::success().
|
inlinestatic |
Definition at line 218 of file LLVMTypes.h.
References mlir::success().
LogicalResult LLVMPointerType::verifyEntries | ( | DataLayoutEntryListRef | entries, |
Location | loc | ||
) | const |
Definition at line 330 of file LLVMTypes.cpp.
References mlir::emitError(), extractPointerSpecValue(), and mlir::success().