tqchen commented on issue #3974: [Arith] DeduceBound produces relaxed bounds because of rounding up URL: https://github.com/apache/incubator-tvm/issues/3974#issuecomment-559212268 Seems that using floordiv already solve one of the problem, so i will close this thread, let us follow up with new threads for new problems. As far as I know, we still need to fix loopPartition to add the guard conditions
---------------------------------------------------------------- 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
