mlir::LLVM::GEPIndicesAdaptor< DynamicRange > Class Template Reference

Class used for convenient access and iteration over GEP indices. More...

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

Classes
class	iterator

Public Types
using	value_type = std::conditional_t< std::is_base_of< Attribute, llvm::detail::ValueOfRange< DynamicRange > >::value, Attribute, PointerUnion< IntegerAttr, llvm::detail::ValueOfRange< DynamicRange > >>
	Return type of 'operator[]' and the iterators 'operator*'. More...

Public Member Functions
	GEPIndicesAdaptor (DenseI32ArrayAttr rawConstantIndices, DynamicRange values)
	Constructs a GEPIndicesAdaptor with the raw constant indices of a GEPOp and the range that is indexed into for retrieving dynamic indices. More...
value_type	operator[] (size_t index) const
	Returns the GEP index at the given position. More...
bool	isDynamicIndex (size_t index) const
	Returns whether the GEP index at the given position is a dynamic index. More...
size_t	size () const
	Returns the amount of indices of the GEPOp. More...
bool	empty () const
	Returns true if this GEPOp does not have any indices. More...
iterator	begin () const
	Returns the begin iterator, iterating over all GEP indices. More...
iterator	end () const
	Returns the end iterator, iterating over all GEP indices. More...

Detailed Description

template<typename DynamicRange>
class mlir::LLVM::GEPIndicesAdaptor< DynamicRange >

Class used for convenient access and iteration over GEP indices.

This class is templated to support not only retrieving the dynamic operands of a GEP operation, but also as an adaptor during folding or conversion to LLVM IR.

GEP indices may either be constant indices or dynamic indices. The 'rawConstantIndices' is specially encoded by GEPOp and contains either the constant index or the information that an index is a dynamic index.

When an access to such an index is made it is done through the 'DynamicRange' of this class. This way it can be used as getter in GEPOp via 'GEPIndicesAdaptor<ValueRange>' or during folding via 'GEPIndicesAdaptor<ArrayRef<Attribute>>'.

Definition at line 114 of file LLVMDialect.h.

Member Typedef Documentation

value_type

template<typename DynamicRange >

using mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::value_type = std::conditional_t< std::is_base_of<Attribute, llvm::detail::ValueOfRange<DynamicRange> >::value, Attribute, PointerUnion<IntegerAttr, llvm::detail::ValueOfRange<DynamicRange> >>

Return type of 'operator[]' and the iterators 'operator*'.

It is depended upon the value type of 'DynamicRange'. If 'DynamicRange' contains Attributes or subclasses thereof, then value_type is 'Attribute'. In all other cases it is a pointer union between the value type of 'DynamicRange' and IntegerAttr.

Definition at line 121 of file LLVMDialect.h.

Constructor & Destructor Documentation

GEPIndicesAdaptor()

template<typename DynamicRange >

mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::GEPIndicesAdaptor ( DenseI32ArrayAttr  rawConstantIndices, DynamicRange  values  )

inline

Constructs a GEPIndicesAdaptor with the raw constant indices of a GEPOp and the range that is indexed into for retrieving dynamic indices.

Definition at line 129 of file LLVMDialect.h.

Member Function Documentation

begin()

template<typename DynamicRange >

iterator mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::begin ( ) const

inline

Returns the begin iterator, iterating over all GEP indices.

Definition at line 191 of file LLVMDialect.h.

References mlir::detail::DenseArrayAttrImpl< T >::asArrayRef().

Referenced by mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::operator[]().

empty()

template<typename DynamicRange >

bool mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::empty ( ) const

inline

Returns true if this GEPOp does not have any indices.

Definition at line 151 of file LLVMDialect.h.

end()

template<typename DynamicRange >

iterator mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::end ( ) const

inline

Returns the end iterator, iterating over all GEP indices.

Definition at line 197 of file LLVMDialect.h.

References mlir::detail::DenseArrayAttrImpl< T >::asArrayRef().

isDynamicIndex()

template<typename DynamicRange >

bool mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::isDynamicIndex ( size_t  index ) const

inline

Returns whether the GEP index at the given position is a dynamic index.

Definition at line 143 of file LLVMDialect.h.

operator[]()

template<typename DynamicRange >

value_type mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::operator[] ( size_t  index ) const

inline

Returns the GEP index at the given position.

Note that this operation has a linear complexity in regards to the accessed position. To iterate over all indices, use the iterators.

This operation is invalid if the index is out of bounds.

Definition at line 137 of file LLVMDialect.h.

References mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::begin(), and mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::size().

size()

template<typename DynamicRange >

size_t mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::size ( ) const

inline

Returns the amount of indices of the GEPOp.

Definition at line 148 of file LLVMDialect.h.

Referenced by mlir::LLVM::GEPIndicesAdaptor< DynamicRange >::operator[](), and verifyStructIndices().

---

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

• include/mlir/Dialect/LLVMIR/LLVMDialect.h