MasterJH5574 opened a new pull request, #19901: URL: https://github.com/apache/tvm/pull/19901
After the tirx refactor, a relax `PrimType` parameter carries only a dtype and no longer binds a value, so it does not *define* the symbolic variable it used to provide. When `RemoveUnusedParameters` drops an unused tensor parameter whose shape is the sole definition of a free symbolic variable, it re-adds that variable through a value-bearing `PrimType` (`R.Prim(value=...)`) parameter. Under the stricter tirx well-formedness verifier this leaves the variable undefined, so the pass emits an ill-formed module. Promote each such free symbolic variable through a 1-D `ShapeType` parameter (`R.Shape([var])`) instead, which actually defines the variable, and pass its value at the call site as a `ShapeExpr`. The previously xfail-ing `test_replace_symbolic_variables` is updated to the new shape-based form and re-enabled as a regression test. -- 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]
