Function tvm::sym::EstimateRegionLowerBound

Function tvm::sym::EstimateRegionLowerBound#

Function Documentation#

ffi::Optional<ffi::Array<IntSet>> tvm::sym::EstimateRegionLowerBound(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. Some subregion may be discarded during the lower-bound analysis.

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