tvm::arith::ConstIntBoundAnalyzer Class Reference

Analyzer to get constant integer bound over expression. More...

#include <analyzer.h>

Collaboration diagram for tvm::arith::ConstIntBoundAnalyzer:

Public Types
using	BoundMapType = std::unordered_map< PrimExpr, ConstIntBound, ffi::ObjectPtrHash, ffi::ObjectPtrEqual >

Public Member Functions
ConstIntBound	operator() (const PrimExpr &expr) const
	analyze the expr
ConstIntBound	operator() (const PrimExpr &expr, BoundMapType *bound)
	analyze the expr with the intermediate memorized to avoid redundant computation
void	Update (const Var &var, const ConstIntBound &info, bool allow_override=false)
	Update constant int bound information of var.
void	Bind (const Var &var, const Range &range, bool allow_override=false)
	Bind variable to a range.
bool	IsBound (const Var &var) const
	Check if a variable is bound to a range.

Friends
class	AnalyzerObj
class	ConstraintContext

Detailed Description

Analyzer to get constant integer bound over expression.

Member Typedef Documentation

BoundMapType

using tvm::arith::ConstIntBoundAnalyzer::BoundMapType = std::unordered_map<PrimExpr, ConstIntBound, ffi::ObjectPtrHash, ffi::ObjectPtrEqual>

Member Function Documentation

Bind()

void tvm::arith::ConstIntBoundAnalyzer::Bind	(	const Var &	var,
		const Range &	range,
		bool	allow_override = false
	)

Bind variable to a range.

Parameters

var	The variable.
range	The range we bind to.
allow_override	Whether we allow overriding an existing var's range.

IsBound()

bool tvm::arith::ConstIntBoundAnalyzer::IsBound

(

const Var &

var

)

const

Check if a variable is bound to a range.

Parameters

var	The variable.

Returns

Whether the variable is bound to a range.

operator()() [1/2]

ConstIntBound tvm::arith::ConstIntBoundAnalyzer::operator()

(

const PrimExpr &

expr

)

const

analyze the expr

Parameters

expr	The expression of interest.

Returns

the result of the analysis.

operator()() [2/2]

ConstIntBound tvm::arith::ConstIntBoundAnalyzer::operator()	(	const PrimExpr &	expr,
		BoundMapType *	bound
	)

analyze the expr with the intermediate memorized to avoid redundant computation

Parameters

expr	The expression of interest.
bound	The lookup table to store the intermediate results

Returns

the result of the analysis.

Update()

void tvm::arith::ConstIntBoundAnalyzer::Update	(	const Var &	var,
		const ConstIntBound &	info,
		bool	allow_override = false
	)

Update constant int bound information of var.

Parameters

var	The variable of interest.
info	The bound information.
allow_override	whether we allow override of existing information.

Friends And Related Symbol Documentation

AnalyzerObj

friend class AnalyzerObj

friend

ConstraintContext

friend class ConstraintContext

friend

---

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

• include/tvm/arith/analyzer.h