search

bytecodealliance / wasm-micro-runtime

WebAssembly Micro Runtime (WAMR)
Apache License 2.0
4.89k stars 623 forks source link

Different output number when running a same binary #2861

Open XinyuShe opened 10 months ago

XinyuShe commented 10 months ago

I used the AOT mode of different runtimes to run randomly generated wasm binaries, and the output number from WAMR was different from the others.

filea7995_6.zip

image I instrumented the binary and found an inconsistency in the stack value of the memory.grow instruction. image

TianlongLiang commented 10 months ago

Hi, this should be due to the same reason as https://github.com/bytecodealliance/wasm-micro-runtime/issues/2847. I will test it again once the modifications for https://github.com/bytecodealliance/wasm-micro-runtime/issues/2847 are made.