Function tvm::sym::EstimateRegionUpperBound

Function tvm::sym::EstimateRegionUpperBound#

Function Documentation#

ffi::Array<IntSet> tvm::sym::EstimateRegionUpperBound(const ffi::Array<Range> &region, const ffi::Map<Var, Range> &var_dom, const PrimExpr &predicate, const sym::Analyzer &analyzer)#

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 – The region to be analyzed

  • var_dom – The ranges of the variables

  • predicate – The predicate for the affine map

  • analyzer – The analyzer used

Returns:

an array of sym::IntSet as the result of analysis