yzhliu opened a new pull request #4684: [Arith] add ShapeVar representing non-neg valued variable in a tensor shape URL: https://github.com/apache/incubator-tvm/pull/4684 To provide extra information for arith simplification. This is an alternative approach for https://github.com/apache/incubator-tvm/pull/4486 More background, https://discuss.tvm.ai/t/discuss-embed-more-bound-information-into-var-or-expr https://discuss.tvm.ai/t/significant-increase-in-the-amount-of-cuda-code-gen-after-migrating-indexdiv-mod-to-floordiv-mod @tqchen @icemelon9 Please 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. For queries about this service, please contact Infrastructure at: [email protected] With regards, Apache Git Services
