tvm_tirx.sym.estimate_region_upper_bound

tvm_tirx.sym.estimate_region_upper_bound#

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

Analyze the region with affine map, given the domain of variables and their predicate Relaxation of the region may be used in upper-bound analysis, i.e. some extra region may be added to the result.

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 (List[IntSet]) – an array of IntSets as the result of analysis