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

LLVM dialect array type. More...

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

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

Public Member Functions

Type getElementType () const
 Returns the element type of the array. More...
 
unsigned getNumElements () const
 Returns the number of elements in the array type. More...
 
unsigned getTypeSizeInBits (const DataLayout &dataLayout, DataLayoutEntryListRef params) const
 Hooks for DataLayoutTypeInterface. More...
 
unsigned getTypeSize (const DataLayout &dataLayout, DataLayoutEntryListRef params) const
 
unsigned getABIAlignment (const DataLayout &dataLayout, DataLayoutEntryListRef params) const
 
unsigned getPreferredAlignment (const DataLayout &dataLayout, DataLayoutEntryListRef params) const
 
void walkImmediateSubElements (function_ref< void(Attribute)> walkAttrsFn, function_ref< void(Type)> walkTypesFn) const
 
Type replaceImmediateSubElements (ArrayRef< Attribute > replAttrs, ArrayRef< Type > replTypes) const
 

Static Public Member Functions

static bool isValidElementType (Type type)
 Checks if the given type can be used inside an array type. More...
 
static LLVMArrayType get (Type elementType, unsigned numElements)
 Gets or creates an instance of LLVM dialect array type containing numElements of elementType, in the same context as elementType. More...
 
static LLVMArrayType getChecked (function_ref< InFlightDiagnostic()> emitError, Type elementType, unsigned numElements)
 
static LogicalResult verify (function_ref< InFlightDiagnostic()> emitError, Type elementType, unsigned numElements)
 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 array type.

It is an aggregate type representing consecutive elements in memory, parameterized by the number of elements and the element type.

Definition at line 75 of file LLVMTypes.h.

Member Function Documentation

◆ get()

LLVMArrayType LLVMArrayType::get ( Type  elementType,
unsigned  numElements 
)
static

◆ getABIAlignment()

unsigned LLVMArrayType::getABIAlignment ( const DataLayout dataLayout,
DataLayoutEntryListRef  params 
) const

Definition at line 78 of file LLVMTypes.cpp.

References getElementType(), and mlir::DataLayout::getTypeABIAlignment().

◆ getChecked()

LLVMArrayType LLVMArrayType::getChecked ( function_ref< InFlightDiagnostic()>  emitError,
Type  elementType,
unsigned  numElements 
)
static

◆ getElementType()

Type LLVMArrayType::getElementType ( ) const

◆ getNumElements()

unsigned LLVMArrayType::getNumElements ( ) const

◆ getPreferredAlignment()

unsigned LLVMArrayType::getPreferredAlignment ( const DataLayout dataLayout,
DataLayoutEntryListRef  params 
) const

◆ getTypeSize()

unsigned LLVMArrayType::getTypeSize ( const DataLayout dataLayout,
DataLayoutEntryListRef  params 
) const

◆ getTypeSizeInBits()

unsigned LLVMArrayType::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 66 of file LLVMTypes.cpp.

References getTypeSize(), and kBitsInByte.

◆ isValidElementType()

bool LLVMArrayType::isValidElementType ( Type  type)
static

Checks if the given type can be used inside an array type.

Definition at line 34 of file LLVMTypes.cpp.

References mlir::Type::isa().

Referenced by verify(), mlir::LLVM::LLVMPointerType::verify(), and mlir::LLVM::LLVMStructType::verify().

◆ replaceImmediateSubElements()

Type LLVMArrayType::replaceImmediateSubElements ( ArrayRef< Attribute replAttrs,
ArrayRef< Type replTypes 
) const

Definition at line 95 of file LLVMTypes.cpp.

References getNumElements().

◆ verify()

LogicalResult LLVMArrayType::verify ( function_ref< InFlightDiagnostic()>  emitError,
Type  elementType,
unsigned  numElements 
)
static

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

Definition at line 59 of file LLVMTypes.cpp.

References mlir::emitError(), isValidElementType(), and mlir::success().

◆ walkImmediateSubElements()

void LLVMArrayType::walkImmediateSubElements ( function_ref< void(Attribute)>  walkAttrsFn,
function_ref< void(Type)>  walkTypesFn 
) const

Definition at line 89 of file LLVMTypes.cpp.

References getElementType().


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