tqchen commented on pull request #9023:
URL: https://github.com/apache/tvm/pull/9023#issuecomment-920469704
@yzh119 I believe the intended usage was for the case where the value of
indices are not known at compile time, otherwise compiler will be able to prove
and simplify the
tqchen commented on pull request #9023:
URL: https://github.com/apache/tvm/pull/9023#issuecomment-920459959
I think this can be useful for some of the indexing operations. We could try
to make it more explicit though. e.g. introduce a new API.