Lunderberg commented on issue #17176:
URL: https://github.com/apache/tvm/issues/17176#issuecomment-2252816460

   I was able to reproduce the error, and it looks like it's an incompatibility 
between the `AttachGlobalSymbols` pass and the `relax.VMCodeGen` step.  When 
the `"system_lib_prefix"` is included, the `"global_symbol"` attribute produced 
by `AttachGlobalSymbols` doesn't match the name of the `GlobalVar`.  As a 
result, the compiled TIR module provides a function named `"hello_tir_zeros"`, 
but the Relax VM attempts to find a function named `"tir_zeros"`.
   
   This would be caught by the well-formed checker, which requires the 
`"global_symbol"` to exactly match the `GlobalVar` value if present.  However, 
this is only validated for Relax functions, not for TIR functions 
([implementation 
here](https://github.com/apache/tvm/blob/main/src/relax/analysis/well_formed.cc#L97)).


-- 
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]

Reply via email to