LLVM dialect pointer type. More...

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

Inheritance diagram for mlir::LLVM::LLVMPointerType:

Collaboration diagram for mlir::LLVM::LLVMPointerType:

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

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

ImplType *	getImpl () 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 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 194 of file LLVMTypes.h.

Member Function Documentation

◆ areCompatible()

bool LLVMPointerType::areCompatible	(	DataLayoutEntryListRef	oldLayout,
		DataLayoutEntryListRef	newLayout
	)		const

Definition at line 314 of file LLVMTypes.cpp.

References mlir::LLVM::Abi, mlir::Attribute::cast(), mlir::LLVM::extractPointerSpecValue(), getAddressSpace(), kDefaultPointerAlignment, kDefaultPointerSizeBits, and mlir::LLVM::Size.

◆ get() [1/2]

LLVMPointerType LLVMPointerType::get	(	MLIRContext *	context,
		unsigned	addressSpace = `0`
	)

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 198 of file LLVMTypes.cpp.

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