wasm-interp --enable-exceptions error invalid import "env.saveSetjmp"

[calvin2021y]

wasm-interp --enable-exceptions test

error initializing module: invalid import "env.saveSetjmp"

[SoniEx2]

it looks like you're trying to run an emscripten module. wabt is only a wasm engine, not a full wasm runtime, and definitely not an emscripten runtime. however, if you can get a pure-wasi module instead, you can try compiling wabt with wasi support.

[calvin2021y]

I use WASI sdk with --target=wasm32-wasi -mllvm -wasm-enable-sjlj, not emscripten.

[SoniEx2]

oh, in that case, you may be missing wasi-libc?

[calvin2021y]

do you mean link step or runtime step?

I static link with wasi-libc libc.a

[SoniEx2]

it's trying to import stuff that's not provided by wasi. check wasm-objdump.

[calvin2021y]

It use setjmp provide by wasi.

is wasm-interp support setjmp?

[SoniEx2]

wasi doesn't provide setjmp

[sbc100]

saveSetjmp is the name of a function that LLVM used to call prior to llvm/llvm-project#84137.

Starting with LLVM 19 you should see __wasm_setjmp and __wasm_setjmp_test instead.

Support for these symbols was added to wasi-libc in WebAssembly/wasi-libc#483 which is part of wasi-sdk-22, but it looks like there is no version of wasi-sdk yet that includes LLVM 19, so there is not yet an official version of wasi-sdk that supports sjlj. I think this is because LLVM 19 has not yet actually been released.

Anyway, none of this has anything to do with wabt.. so I think this issue can be closed.