For AOT,If enable gc, the reference_type will disable,Why ?

[chenliuyang1989]

[TianlongLiang]

The AOT option here: ref types here refer to wasm ref types proposal which became core wasm spec, gc refer to gc proposal. As those two proposals specified, some opcodes(for example, call indirect) and function reference have different definition and need different implementations, therefore the flag control here

[chenliuyang1989]

Thank you for your explanation. I'm in a hurry to let aot work. But unfortunately there have been problems。

If i enable gc proposal. so ref types is diabled，what the compiler do if find reference-types

my wasm file is build from Kotlin，but it has ref types。 if the refTypes is disabled，how can my aot work well？

[chenliuyang1989]

Here's how I do it

First：build aot

./wamrc --enable-gc -o --bounds-checks=1 aqaraSys.aot aqaraSys-wasm-wasi.wasm

Second：run aot
./iwasm -f test aqaraSys.aot

third：meet error
./iwasm -f test aqaraSys.aot
Exception: null function reference

if i run wasm with classic interpret，it work well

[TianlongLiang]

It's not disabled but redefine the ref types to conform to the GC proposal definition, there shouldn't be any error. Could you please attach the WASM file?

[chenliuyang1989]

ok.please help check the file ,thanks . the entry function is test

压缩.zip

[chenliuyang1989]

add aot file

aotfile.zip

[ericCHensssssssss]

I write one simple test，If i use println method in Kotlin ， it will produce null function reference。
The kotlin println will use wasi_snapshot_preview1 in wasm。
@WasmImport("wasi_snapshot_preview1", "fd_write")

The one use println ：will produce null function reference。

remove println ，no error

[chenliuyang1989]

@TianlongLiang any updates？ Very eager to get it up and running。thanks!!

[TianlongLiang]

No luck yet, I was busy with some other things the last few days. I tried your wasm file in LLVM JIT running mode which is fine, and in aot the latest commit will core dump, I think maybe a bug in the aot emitting type info. I will try the simple test to see where was wrong. Keep you posted

[chenliuyang1989]

Thanks,

I'm stuck here now, and I need to get to a conclusion as soon as possible

when i update the latest main branch codes。 i find the same segment error, but did not find the root case .a a a

[chenliuyang1989]

@TianlongLiang would you help have a look this week？ i really need it

[chenliuyang1989]

[

simplestWasm&wat.zip

]

This is the simple and small wasm file to product the error。
There are two export functions myTest（segment error） and myTest2

[chenliuyang1989]

would you help have a look ？please
i need it work。but i really can not find the root case