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/05/07 02:13:20 UTC

[GitHub] [tvm] wrongtest commented on pull request #11234: [TIR] Fix reverse_compute_at for trivial region with trivial block var

wrongtest commented on PR #11234:
URL: https://github.com/apache/tvm/pull/11234#issuecomment-1120111692

   > Reading the cryptic error message, it seems that the `IntervalSet` sometimes is used to represent `handle` vs `int`, so it cans `CanProveEqual` - a bit weird to me, but definitely fixable with more guards
   
   In `IntervalSet`, positive and negative infinity are two special values with type `handle`, and `intset.min()` and `intset.max()` should check whether be infinity, can not directly assume they are of integer type.


-- 
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