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 2021/12/17 11:40:05 UTC

[GitHub] [tvm] wrongtest edited a comment on pull request #9527: [TIR] Allow compute_at create block predicate for non-trivial bounds and support floordiv pattern

wrongtest edited a comment on pull request #9527:
URL: https://github.com/apache/tvm/pull/9527#issuecomment-996656878


   > why do you think it is necessary to keep the dynamic loop extent behavior
   
   After discusion with @Hzfengsy, I decide to revert the `allow_block_predicate` option to make a unified behavior. Since there is not a sound demand for that yet. 
   
   The original concern is that if the desired pattern is just the dynamic loop extents. Take "cache" block as an example, user may want to lower it into some DMA operations. If the DMA intrinsic happen to be dynamic shape enabled, but without conditional accesses, it would be non-trivial to pattern matching during lowering.
   
   


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