tvm_tirx.sym.BindingConstraint

class tvm_tirx.sym.BindingConstraint(var, value)

Bases: Constraint

The primitive value captured when var is bound.

The RHS value is retained unchanged, including mutable reads. This is data about a binding, not permission to re-evaluate its RHS after writes.

Parameters:

• var (tvm_tirx.ir.Var) – The variable whose bound value is recorded.

• value (tvm_tirx.ir.PrimExpr) – The RHS expression at the binding site, including any mutable reads.

property value

property var