vinx13 opened a new pull request, #11425: URL: https://github.com/apache/tvm/pull/11425
This PR extends `DetectIterMap` bijective check to allow unused zero-constant iterators (trivial iterators). For example, `i, j, k => i, j` are treated as bijective if `k \in [0, 1)`, even though `k` is not used in the mapping result. Previously, when trivial iterators are simplified, the above iter map can pass bijective check. When `simplify_trivial_iterators==False`, `k` will not be simplified and `DetectIterMap` will fail if `require_bijective` is set. This PR make the behavior of `DetectIterMap` consistent with different setting of `simplify_trivial_iteraotor`. Regression tests for `reverse_compute_inline` is also added. cc @spectrometerHBH @junrushao1994 @Lunderberg @wrongtest -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: commits-unsubscr...@tvm.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org