tvm_tirx.sym.deduce_bound

tvm_tirx.sym.deduce_bound(var, cond, hint_map, relax_map)

Deduce the bound of the target variable in the cond.

Parameters:

• var (tvm_tirx.ir.Var) – The target variable to be deduced.

• cond (Expr) – The condition

• hint_map (Map[tvm_tirx.ir.Var, IntSet]) – Domain of variables used to help deduction.

• relax_map (Map[tvm_tirx.ir.Var, IntSet]) – The domain of the variables to be relaxed using the provided domain.