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/08/01 21:26:42 UTC
[GitHub] [tvm] Lunderberg opened a new pull request, #12267: [TIR] Add tir::builtin::assume
Lunderberg opened a new pull request, #12267:
URL: https://github.com/apache/tvm/pull/12267
This PR introduces `tir::builtin::assume`, which is used to represent assumptions to be exposed to transformations, which would otherwise require out-of-scope information to prove.
This PR is part of the handling of padded buffer layout transformations ([tracking issue](https://github.com/apache/tvm/issues/12261), [rfc](https://github.com/apache/tvm-rfcs/pull/77)). Later PRs will introduce transformations that make use of the information provided by assumptions.
--
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
[GitHub] [tvm] Lunderberg merged pull request #12267: [TIR] Add tir::builtin::assume
Posted by GitBox <gi...@apache.org>.
Lunderberg merged PR #12267:
URL: https://github.com/apache/tvm/pull/12267
--
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
[GitHub] [tvm] Lunderberg commented on pull request #12267: [TIR] Add tir::builtin::assume
Posted by GitBox <gi...@apache.org>.
Lunderberg commented on PR #12267:
URL: https://github.com/apache/tvm/pull/12267#issuecomment-1203249186
#12264 has landed (Thank you @junrushao1994 for the quick review!), and this PR is ready for review.
--
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
[GitHub] [tvm] junrushao1994 commented on pull request #12267: [TIR] Add tir::builtin::assume
Posted by GitBox <gi...@apache.org>.
junrushao1994 commented on PR #12267:
URL: https://github.com/apache/tvm/pull/12267#issuecomment-1203380460
CC @yzh119 who might be interested :-)
--
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
[GitHub] [tvm] Lunderberg commented on pull request #12267: [TIR] Add tir::builtin::assume
Posted by GitBox <gi...@apache.org>.
Lunderberg commented on PR #12267:
URL: https://github.com/apache/tvm/pull/12267#issuecomment-1201740456
This is currently a draft PR, as the unit tests depend on functionality introduced in #12264.
--
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