tvm_tirx.sym.estimate_region_strict_bound

tvm_tirx.sym.estimate_region_strict_bound#

tvm_tirx.sym.estimate_region_strict_bound(region, var_dom, predicate, analyzer=None)#

Analyze the region with affine map, given the domain of variables and their predicate The result should be strict, i.e. no region is discarded or relaxed.

Parameters:

  • region (List[Range]) – The region to be analyzed.

  • var_dom (Dict[tvm_tirx.ir.Var, Range]) – The ranges of the variables

  • predicate (Expr) – The predicate for the affine map

  • analyzer (Optional[tvm_tirx.sym.Analyzer]) – The analyzer to use. When provided, its accumulated bindings and constraints are reused; otherwise a fresh analyzer is created.

Returns:

region_int_set (Optional[List[IntSet]]) – None if the detection fails, or an array of IntSets as the result of analysis