tlopex opened a new pull request, #19927: URL: https://github.com/apache/tvm/pull/19927
This PR updates `IRMutatorWithAnalyzer` and `IRVisitorWithAnalyzer` to add the constraint `loop_extent > 0` while visiting a `ForNode` body. If execution reaches the loop body, the loop must have at least one iteration, so the body context can safely assume the extent is positive. The constraint is scoped only to the loop body, leaving the loop header expressions (`min`, `extent`, `step`) outside of this assumption. -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
