tvm::tir::IndexMap Class Reference

#include <index_map.h>

Inheritance diagram for tvm::tir::IndexMap:

Collaboration diagram for tvm::tir::IndexMap:

Public Member Functions
	IndexMap (ffi::Array< Var > initial_indices, ffi::Array< PrimExpr > final_indices, ffi::Optional< IndexMap > inverse_index_map=std::nullopt)
	The constructor. More...
IndexMap	Inverse (ffi::Array< Range > initial_ranges, arith::Analyzer *analyzer) const
	Generate the inverse mapping. More...
IndexMap	RenameVariables (const std::function< ffi::Optional< ffi::String >(const Var &var)> &f_name_map=nullptr) const
	Rename the variables in the index map and ensure the names are unique. More...
std::pair< IndexMap, PrimExpr >	NonSurjectiveInverse (ffi::Array< Range > initial_ranges, arith::Analyzer *analyzer) const
	Generate the inverse mapping. More...
	TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE (IndexMap, ObjectRef, IndexMapNode)

Static Public Member Functions
static IndexMap	FromFunc (int ndim, ffi::TypedFunction< ffi::Array< PrimExpr >(ffi::Array< Var >)> func, ffi::Optional< IndexMap > inverse_index_map=std::nullopt)
	Create an index map from a packed function. More...

Constructor & Destructor Documentation

IndexMap()

tvm::tir::IndexMap::IndexMap	(	ffi::Array< Var >	initial_indices,
		ffi::Array< PrimExpr >	final_indices,
		ffi::Optional< IndexMap >	inverse_index_map = std::nullopt
	)

The constructor.

Parameters

initial_indices	Variables representing the indices prior to remapping
final_indices	Expressions defining the indices after remapping.
inverse_index_map	The optional pre-defined inverse index map

Member Function Documentation

FromFunc()

static IndexMap tvm::tir::IndexMap::FromFunc ( int  ndim, ffi::TypedFunction< ffi::Array< PrimExpr >(ffi::Array< Var >)>  func, ffi::Optional< IndexMap >  inverse_index_map = std::nullopt  )

static

Create an index map from a packed function.

Parameters

ndim	The number of dimensions
func	The function to be applied
inverse_index_map	The optional pre-defined inverse index map

Returns

The created index map

Inverse()

IndexMap tvm::tir::IndexMap::Inverse	(	ffi::Array< Range >	initial_ranges,
		arith::Analyzer *	analyzer
	)		const

Generate the inverse mapping.

The range of the input indices is required in order to ensure that the transformation is bijective over the input domain.

If the user has supplied an inverse_index_map, that map is assumed to be correct and bijective, and is returned.

NonSurjectiveInverse()

std::pair<IndexMap, PrimExpr> tvm::tir::IndexMap::NonSurjectiveInverse	(	ffi::Array< Range >	initial_ranges,
		arith::Analyzer *	analyzer
	)		const

Generate the inverse mapping.

Determine the inverse, where the output range may contain addresses that do not correspond to an address in the input range.

Returns

The inverted index map, along with the predicate for which the inverse maps to a valid range.

RenameVariables()

IndexMap tvm::tir::IndexMap::RenameVariables

(

const std::function< ffi::Optional< ffi::String >(const Var &var)> &

f_name_map = nullptr

)

const

Rename the variables in the index map and ensure the names are unique.

Construct a new index map with the same transformation, but with name_hint of variables to be guaranteed unique. The optional f_name_map can be provided to rename the variables.

Parameters

f_name_map

The optional name map to rename the variables.

Returns

The renamed index map.

TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE()

tvm::tir::IndexMap::TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE	(	IndexMap	,
		ObjectRef	,
		IndexMapNode
	)

---

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

• include/tvm/tir/index_map.h