tvm::sym::TransitiveComparisonAnalyzer Class Reference

Using previously specified knowns, compare the expressions provided. More...

#include <analyzer.h>

Collaboration diagram for tvm::sym::TransitiveComparisonAnalyzer:

Public Member Functions
TVM_TIRX_DLL CompareResult	TryCompare (const PrimExpr &lhs, const PrimExpr &rhs, bool propagate_inequalities=true)
TVM_TIRX_DLL void	Bind (const Var &var, const PrimExpr &expr, bool allow_override=false)
	Bind a variable as being equal to a known expression.
TVM_TIRX_DLL void	Bind (const Var &var, const Range &range, bool allow_override=false)
	Bind a variable as being within a specified range.
TVM_TIRX_DLL std::function< void()>	EnterConstraint (const PrimExpr &constraint)
	Update the internal state to enter constraint.

Friends
class	AnalyzerObj
class	ConstraintContext

Detailed Description

Using previously specified knowns, compare the expressions provided.

Given known expressions [(a OP b), (b OP c), ..., (y OP z)], search for a known result for (a OP z).

Member Function Documentation

Bind() [1/2]

TVM_TIRX_DLL void tvm::sym::TransitiveComparisonAnalyzer::Bind	(	const Var &	var,
		const PrimExpr &	expr,
		bool	allow_override = false
	)

Bind a variable as being equal to a known expression.

Parameters

var	The variable of interest.
expr	The bound expression
allow_override	Whether to allow override of existing information.

Bind() [2/2]

TVM_TIRX_DLL void tvm::sym::TransitiveComparisonAnalyzer::Bind	(	const Var &	var,
		const Range &	range,
		bool	allow_override = false
	)

Bind a variable as being within a specified range.

Parameters

var	The variable of interest.
range	The known range
allow_override	Whether to allow override of existing information.

EnterConstraint()

TVM_TIRX_DLL std::function< void()> tvm::sym::TransitiveComparisonAnalyzer::EnterConstraint

(

const PrimExpr &

constraint

)

Update the internal state to enter constraint.

Parameters

constraint

A constraint expression.

Returns

an exit function that must be called to cleanup the constraint can be nullptr.

TryCompare()

TVM_TIRX_DLL CompareResult tvm::sym::TransitiveComparisonAnalyzer::TryCompare	(	const PrimExpr &	lhs,
		const PrimExpr &	rhs,
		bool	propagate_inequalities = true
	)

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/sym/analyzer.h