Function detect_iter_map

pub fn detect_iter_map(
    indices: impl IntoIterator<Item = impl IntoExpr>,
    input_iters: &Map<Var, Range>,
    predicate: impl IntoExpr,
    check_level: IterMapLevel,
    analyzer: Option<&Analyzer>,
    simplify_trivial_iterators: bool,
) -> Result<IterMapResult>

Detect indices as iterator maps of the iterators input_iters under predicate; the indices of the result are empty when they are not (sym.DetectIterMap).

With simplify_trivial_iterators, the iterators of extent 1 become constants.