mshr-h opened a new pull request, #18555:
URL: https://github.com/apache/tvm/pull/18555
Fix a runtime error that occurs when TVM built with `USE_MLIR=ON` and MLIR
>= 15.0, as shown below.
```
Traceback (most recent call last):
File "<unknown>", line 0, in tvm::arith::__TVMFFIStaticInitFunc2()
File "<unknown>", line 0, in
tvm::ffi::reflection::ObjectDef<tvm::arith::PresburgerSetNode>::ObjectDef<>()
File "<unknown>", line 0, in void
tvm::ffi::reflection::ObjectDef<tvm::arith::PresburgerSetNode>::RegisterExtraInfo<>()
File "build/src/ffi/object.cc", line 500, in TVMFFITypeRegisterMetadata
File "src/ffi/object.cc", line 240, in void
tvm::ffi::TypeTable::RegisterTypeMetadata(int32_t, const TVMFFITypeMetadata *)
RuntimeError: Overriding arith.PresburgerSet, possible causes:
- two ObjectDef<T>() calls for the same T
- when we forget to assign _type_key to ObjectRef<Y> that inherits from T
- another type with the same key is already registered
Cross check the reflection registration.
libc++abi: terminating due to uncaught exception of type tvm::ffi::Error
```
--
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]
