tvm::arith::ConstIntBoundNode Class Reference

Constant integer up and lower bound(inclusive). Useful for value bound analysis. More...

#include <analyzer.h>

Inheritance diagram for tvm::arith::ConstIntBoundNode:

Collaboration diagram for tvm::arith::ConstIntBoundNode:

Public Member Functions
	TVM_DECLARE_FINAL_OBJECT_INFO (ConstIntBoundNode, Object)

Static Public Member Functions
static void	RegisterReflection ()

Public Attributes
int64_t	min_value
int64_t	max_value

Static Public Attributes
static constexpr const int64_t	kPosInf = std::numeric_limits<int64_t>::max()
	Number to represent +inf. More...
static constexpr const int64_t	kNegInf = -kPosInf
	Number to represent -inf. More...
static constexpr TVMFFISEqHashKind	_type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode
static constexpr const char *	_type_key = "arith.ConstIntBound"

Detailed Description

Constant integer up and lower bound(inclusive). Useful for value bound analysis.

set = [min_value, max_value]

Member Function Documentation

RegisterReflection()

static void tvm::arith::ConstIntBoundNode::RegisterReflection ( )

inlinestatic

TVM_DECLARE_FINAL_OBJECT_INFO()

tvm::arith::ConstIntBoundNode::TVM_DECLARE_FINAL_OBJECT_INFO	(	ConstIntBoundNode	,
		Object
	)

Member Data Documentation

_type_key

constexpr const char* tvm::arith::ConstIntBoundNode::_type_key = "arith.ConstIntBound"

staticconstexpr

_type_s_eq_hash_kind

constexpr TVMFFISEqHashKind tvm::arith::ConstIntBoundNode::_type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode

staticconstexpr

kNegInf

constexpr const int64_t tvm::arith::ConstIntBoundNode::kNegInf = -kPosInf

staticconstexpr

Number to represent -inf.

Note

We can make use the of fact that -kPosInf == kNegInf in the project.

kPosInf

constexpr const int64_t tvm::arith::ConstIntBoundNode::kPosInf = std::numeric_limits<int64_t>::max()

staticconstexpr

Number to represent +inf.

max_value

int64_t tvm::arith::ConstIntBoundNode::max_value

min_value

int64_t tvm::arith::ConstIntBoundNode::min_value

---

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

• include/tvm/arith/analyzer.h