Lunderberg commented on issue #17322: URL: https://github.com/apache/tvm/issues/17322#issuecomment-2326984086
That said, it may still be possible to raise an error at an earlier point during runtime. If this error occurred at the end of a very long end-to-end model execution, then it may be beneficial to move the implicit size validation of `R.builtin.alloc_tensor` into an explicit size validation at the start of the function. I could see this either being based on some hypothetical `CollectImplicitAssumptions` utility, which would identify `offset + requested_size <= backing_buffer_size` as a requirement, or by normalization of an operator to make new assert statements if their preconditions cannot already be proven. -- 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]
