tvm::TypeReporterNode Class Reference

reporter that reports back to the type resolution information. More...

#include <type_relation.h>

Inheritance diagram for tvm::TypeReporterNode:

Collaboration diagram for tvm::TypeReporterNode:

Public Member Functions
virtual	~TypeReporterNode ()
	virtual destructor More...
virtual void	Assign (const Type &dst, const Type &src)=0
	Create a type equality constraint. More...
virtual bool	Assert (const PrimExpr &cond)=0
	assert shape expression comparison. More...
virtual bool	AssertEQ (const PrimExpr &lhs, const PrimExpr &rhs)=0
	assert shape expression equals each other. More...
virtual void	SetSpan (const Span &span)=0
	Set the location at which to report unification errors. More...
virtual Span	GetSpan ()=0
virtual DiagnosticContext	GetDiagCtx ()=0
virtual IRModule	GetModule ()=0
	Retrieve the current global module. More...
void	VisitAttrs (AttrVisitor *v)
	TVM_DECLARE_FINAL_OBJECT_INFO (TypeReporterNode, 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)

Static Public Attributes
static constexpr const char *	_type_key = "TypeReporter"
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

reporter that reports back to the type resolution information.

Constructor & Destructor Documentation

~TypeReporterNode()

virtual tvm::TypeReporterNode::~TypeReporterNode ( )

inlinevirtual

virtual destructor

Member Function Documentation

Assert()

virtual bool tvm::TypeReporterNode::Assert ( const PrimExpr &  cond )

pure virtual

assert shape expression comparison.

Note

Use assert only if any of the condition input is symbolic.

Parameters

cond	The condition of operation.

Returns

false if assertion can be proven to have failed true if solver can still proceed.

AssertEQ()

virtual bool tvm::TypeReporterNode::AssertEQ ( const PrimExpr &  lhs, const PrimExpr &  rhs  )

pure virtual

assert shape expression equals each other.

Parameters

lhs	The left operand.
rhs	The right operand.

Returns

false if assertion can be proven to have failed true if solver can still proceed.

Assign()

virtual void tvm::TypeReporterNode::Assign ( const Type &  dst, const Type &  src  )

pure virtual

Create a type equality constraint.

The "assign direction" acts as a hint to the solver showing that it is more likely to resolve dst by src. But it is possible for the solver to resolve src by dst as well.

GetDiagCtx()

virtual DiagnosticContext tvm::TypeReporterNode::GetDiagCtx ( )

pure virtual

GetModule()

virtual IRModule tvm::TypeReporterNode::GetModule ( )

pure virtual

Retrieve the current global module.

Returns

The global module.

GetSpan()

virtual Span tvm::TypeReporterNode::GetSpan ( )

pure virtual

SetSpan()

virtual void tvm::TypeReporterNode::SetSpan ( const Span &  span )

pure virtual

Set the location at which to report unification errors.

Parameters

span	The span at which to report the error.

TVM_DECLARE_FINAL_OBJECT_INFO()

tvm::TypeReporterNode::TVM_DECLARE_FINAL_OBJECT_INFO	(	TypeReporterNode	,
		Object
	)

VisitAttrs()

void tvm::TypeReporterNode::VisitAttrs ( AttrVisitor *  v )

inline

Member Data Documentation

_type_key

constexpr const char* tvm::TypeReporterNode::_type_key = "TypeReporter"

staticconstexpr

---

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

• include/tvm/ir/type_relation.h