tvm::arith::RewriteSimplifier Class Reference

Rewrite-rule based simplifier. More...

#include <analyzer.h>

Collaboration diagram for tvm::arith::RewriteSimplifier:

Public Member Functions
PrimExpr	operator() (const PrimExpr &expr)
	analyze the expr More...
void	Update (const Var &var, const PrimExpr &new_expr, bool allow_override=false)
	Update binding of var to a new expression. More...
std::function< void()>	EnterConstraint (const PrimExpr &constraint)
	Update the internal state to enter constraint. More...

Friends
class	Analyzer
class	ConstraintContext
class	CanonicalSimplifier

Detailed Description

Rewrite-rule based simplifier.

Member Function Documentation

EnterConstraint()

std::function<void()> tvm::arith::RewriteSimplifier::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.

operator()()

PrimExpr tvm::arith::RewriteSimplifier::operator()

(

const PrimExpr &

expr

)

analyze the expr

Parameters

expr	The expression of interest.

Returns

the result of the analysis.

Update()

void tvm::arith::RewriteSimplifier::Update	(	const Var &	var,
		const PrimExpr &	new_expr,
		bool	allow_override = false
	)

Update binding of var to a new expression.

Parameters

var	The variable of interest.
new_expr
allow_override	Whether we allow override of existing information.

Friends And Related Function Documentation

Analyzer

friend class Analyzer

friend

CanonicalSimplifier

friend class CanonicalSimplifier

friend

ConstraintContext

friend class ConstraintContext

friend

---

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

• include/tvm/arith/analyzer.h