tvm::relax::StructInfoNode Class Reference

Base type of all structure information. More...

#include <expr.h>

Inheritance diagram for tvm::relax::StructInfoNode:

Collaboration diagram for tvm::relax::StructInfoNode:

Public Member Functions
	TVM_DECLARE_BASE_OBJECT_INFO (StructInfoNode, Object)
Public Member Functions inherited from tvm::runtime::Object
uint32_t	type_index () const
std::string	GetTypeKey () const
size_t	GetTypeKeyHash () const
template<typename TargetType >
bool	IsInstance () const
bool	unique () const
	Object ()
	Object (const Object &other)
	Object (Object &&other)
Object &	operator= (const Object &other)
Object &	operator= (Object &&other)

Public Attributes
Span	span
	Span that points to the original source code. Reserved debug information. More...

Static Public Attributes
static constexpr const char *	_type_key = "StructInfo"
static constexpr const bool	_type_has_method_sequal_reduce = true
static constexpr const bool	_type_has_method_shash_reduce = true
static constexpr const uint32_t	_type_child_slots = 5
Static Public Attributes inherited from tvm::runtime::Object
static constexpr const char *	_type_key = "runtime.Object"
static constexpr bool	_type_final = false
static constexpr uint32_t	_type_child_slots = 0
static constexpr bool	_type_child_slots_can_overflow = true
static constexpr bool	_type_has_method_visit_attrs = true
static constexpr bool	_type_has_method_sequal_reduce = false
static constexpr bool	_type_has_method_shash_reduce = false
static constexpr uint32_t	_type_index = TypeIndex::kDynamic

Additional Inherited Members
Public Types inherited from tvm::runtime::Object
typedef void(*	FDeleter) (Object *self)
	Object deleter. More...
using	RefCounterType = std::atomic< int32_t >
Static Public Member Functions inherited from tvm::runtime::Object
static std::string	TypeIndex2Key (uint32_t tindex)
	Get the type key of the corresponding index from runtime. More...
static size_t	TypeIndex2KeyHash (uint32_t tindex)
	Get the type key hash of the corresponding index from runtime. More...
static uint32_t	TypeKey2Index (const std::string &key)
	Get the type index of the corresponding key from runtime. More...
static uint32_t	_GetOrAllocRuntimeTypeIndex ()
static uint32_t	RuntimeTypeIndex ()
Protected Member Functions inherited from tvm::runtime::Object
void	IncRef ()
	developer function, increases reference counter. More...
void	DecRef ()
	developer function, decrease reference counter. More...
Static Protected Member Functions inherited from tvm::runtime::Object
static uint32_t	GetOrAllocRuntimeTypeIndex (const std::string &key, uint32_t static_tindex, uint32_t parent_tindex, uint32_t type_child_slots, bool type_child_slots_can_overflow)
	Get the type index using type key. More...
Protected Attributes inherited from tvm::runtime::Object
uint32_t	type_index_ {0}
	Type index(tag) that indicates the type of the object. More...
RefCounterType	ref_counter_ {0}
	The internal reference counter. More...
FDeleter	deleter_ = nullptr
	deleter of this object to enable customized allocation. If the deleter is nullptr, no deletion will be performed. The creator of the object must always set the deleter field properly. More...

Detailed Description

Base type of all structure information.

StructInfo stores possible structure information deduced during compile-time. It encapsulates both static type and runtime information such as shape.

StructInfo of each non-primitive Expr can be deduced during compilation in a "best-effort" manner.

When struct_info appears in function parameter and return signatures. They will imply a runtime check that matches the structure information with the value.

When it appears in Expr, they follow "assume-semantics", which means the compiler will take the deduced information as it is and only do best effort prove and checks.

Each struct info can be uniquely erased to a static-type. The compiler will still compile the code(with less information) when we erase to the static type.

If an StructInfo contains an Expr field, then that field must be normalized already through NormalizeArg. This invariant will be checked in constructors and help us to simplify our assumption during struct info deduction.

Member Function Documentation

TVM_DECLARE_BASE_OBJECT_INFO()

tvm::relax::StructInfoNode::TVM_DECLARE_BASE_OBJECT_INFO	(	StructInfoNode	,
		Object
	)

Member Data Documentation

_type_child_slots

constexpr const uint32_t tvm::relax::StructInfoNode::_type_child_slots = 5

staticconstexpr

_type_has_method_sequal_reduce

constexpr const bool tvm::relax::StructInfoNode::_type_has_method_sequal_reduce = true

staticconstexpr

_type_has_method_shash_reduce

constexpr const bool tvm::relax::StructInfoNode::_type_has_method_shash_reduce = true

staticconstexpr

_type_key

constexpr const char* tvm::relax::StructInfoNode::_type_key = "StructInfo"

staticconstexpr

span

Span tvm::relax::StructInfoNode::span

mutable

Span that points to the original source code. Reserved debug information.

---

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

• include/tvm/relax/expr.h