Lunderberg commented on issue #12852: URL: https://github.com/apache/tvm/issues/12852#issuecomment-1253840089
It looks like the bug follows the steps below: 1. `SuggestIndexMap` first flattens the indices 2. `SplitExprCollector::Collect` unpacks the flattened index, but doesn't pass the `simplify_trivial_iterators = false` argument. As a result, any iterator with an extent of 1 is replaced by a constant. 3. `RewriteLayout` generates an index mapping `lambda a,b,c,d: [c,d]`, where it should generate `lambda a,b,c,d: [a,b,c,d]`. 4. `LayoutTransform` calls `IndexMap::NonSurjectiveInverse` to determine if the specified transformation introduces any padding. (New behavior in #12720, triggering the bug.) 5. The mapping function is non-invertible, causing an error. -- 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
