wrongtest commented on pull request #9699: URL: https://github.com/apache/tvm/pull/9699#issuecomment-999291958
For region cover problem, there are two notes: 1. the consumer block has a conditional read accesses, so the `T.reads()` annotation of consumed region is larger than actual consumed. 2. the `region_cover` check in `state.cc` actually check `produce^buffer_shape` can cover `consume^buffer_shape`, even though, the analyzer can not prove it. I can manually prove it but it depend on a partition of free variable's range. -- 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]
