Lunderberg opened a new pull request, #15825: URL: https://github.com/apache/tvm/pull/15825
Prior to this commit, if `R.matmul` has arguments with an unknown datatype, it would produce an error from within the `R.call_te` implementation of `BlockBuilder.call_te`, stating `TVMError: cannot make const for type handle`. While true, this is not the most easily interpreted error message. This error message occurs due to the use of an unknown data type in Relax as a concrete data type in TE/TIR. While Relax supports unknown datatypes, TIR does not. When the Relax representation of an unknown datatype, `DataType::Void()`, is passed into TIR, this is interpreted as an opaque handle, which cannot have a scalar constant produced for it. This commit validates the types being used in Relax, prior to generating the legalized implementation of `R.matmul`. By catching the error earlier, the error message can be in terms of the Relax objects being used. -- 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]
