Lunderberg commented on issue #12852:
URL: https://github.com/apache/tvm/issues/12852#issuecomment-1258062633
@tkonolige I tested it, and had the same behavior. I was able to get better
error messages by changing [this
line](https://github.com/Lunderberg/tvm/blob/main/src/meta_schedule/uti
Lunderberg commented on issue #12852:
URL: https://github.com/apache/tvm/issues/12852#issuecomment-1258024355
> In general, IndexMap::Inverse doesn’t guarantee to generate the inverse
map even if the index map is (theoretically) bijective because the underlying
DetectIterMap can only handle
Lunderberg commented on issue #12852:
URL: https://github.com/apache/tvm/issues/12852#issuecomment-1253867588
Ah, I think I found the better fix. There's some copy/paste between
`Inverse` and `NonSurjectiveInverse` that I should have cleaned up when
implementing it, and there's better hand
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
pas
Lunderberg commented on issue #12852:
URL: https://github.com/apache/tvm/issues/12852#issuecomment-1253808768
I can reproduce the error, and made a simplified test script below. Playing
around a bit with the shape, it looks like it only occurs when there's a
dimension of size 1.
```
