tvm_tirx::sym::int_set

Function estimate_region_upper_bound

Source 
pub fn estimate_region_upper_bound(
    region: impl IntoIterator<Item = impl Into<Range>>,
    var_dom: &Map<Var, Range>,
    predicate: impl IntoExpr,
    analyzer: Option<&Analyzer>,
) -> Result<Array<IntSet>>
Expand description

A region that holds what a set of accesses covers, given the domains of their variables and a predicate (sym.EstimateRegionUpperBound).