tqchen opened a new pull request, #20478: URL: https://github.com/apache/tvm/pull/20478
## Summary - Add `OpDef::signature(...)` with typed value, type-argument, variadic, and Call attrs descriptors, then migrate existing operator signature registrations. - Store the optional validator on `OpNode`. Validate Op-backed Calls at normal construction, after ordinary Relax normalization, and during `check_well_formed`; use an explicit unchecked path for provisional Calls. - Improve mismatch diagnostics with Call paths, descriptor names, and full actual type details. Preserve the optional output type argument used by `relax.builtin.alloc_tensor` rewrites. ## Testing - C++ build and linked signature/validator checks passed. - Focused Relax analysis, transform, and script operator tests: 137 passed, 2 expected xfails; additional script operator smoke: 138 passed. - clang-format 20.1.8 dry run and `git diff --check` passed. -- 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]
