You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/09/21 15:55:03 UTC

[GitHub] [tvm] vinx13 commented on issue #12852: [Bug] Meta Schedule Layout Rewrite Failure

vinx13 commented on issue #12852:
URL: https://github.com/apache/tvm/issues/12852#issuecomment-1253905353

   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 limited cases. That’s why I add the interface to pre-define the inverse map because in `SuggestIndexMap` we know how to construct the inverse without arithmetic analysis. 
   
   https://github.com/apache/tvm/blob/main/include/tvm/tir/index_map.h#L83
   
   Is there any change we can use it in `NonSurjectiveMap`? I think when the inverse map is pre-defined, we assume it is bijective and can be inversed, the correctness is guaranteed by the users. 


-- 
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-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org