Function tvm::sym::EstimateRegionStrictBound

Function tvm::sym::EstimateRegionStrictBound#

Function Documentation#

ffi::Optional<ffi::Array<IntSet>> tvm::sym::EstimateRegionStrictBound(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. The result should be strict, i.e. no region is discarded or relaxed.

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:

std::nullopt if the detection fails, or an array of sym::IntSet as the result of analysis