electriclilies opened a new issue #6608: URL: https://github.com/apache/incubator-tvm/issues/6608
Many type relations check that types are not equal to nullptr. This results in early failure of the type checker. As an example, when trying to import efficientnet-b0 (tflite-int8-model), this error occurs: `%0 = qnn.requantize(%images, 0.012566f, 131, 0.012566f, 3, out_dtype="int8") an internal invariant was violated while typechecking your program [17:21:40] /home/vega/github/incubator-tvm/src/relay/qnn/op/requantize.cc:261: Check failed: data != nullptr` Instead of applying a check, the type relation should return false if data is equal to nullptr. This way, the type checker can continue to try to figure out what the type of data is. If the type checker really cannot find the type, the type checker itself should throw an error. cc @jwfromm @areusch @vegaluisjose ---------------------------------------------------------------- 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. For queries about this service, please contact Infrastructure at: [email protected]
