Unexpected Behavior in JIT Mode

[erxiaozhou]

Build commands

I compile the code with commit id 8b8c595.
Platform: Ubuntu 20.04
CPU: amd64
compile:

export CC=/usr/lib/llvm-16/bin/clang
export CXX=/usr/lib/llvm-16/bin/clang++
cd product-mini/platforms/linux/;rm -rf build
cmake  -DWASM_ENABLE_AOT=1 -DWAMR_BUILD_JIT=1 -DWAMR_BUILD_FAST_JIT=0   -DCMAKE_INSTALL_PREFIX="xxx" -DWAMR_BUILD_REF_TYPES=1 -DCMAKE_BUILD_TYPE=Release  -DWASM_ENABLE_BULK_MEMORY=1 -DWAMR_BUILD_LIBC_WASI=0 -DWAMR_BUILD_LIBC_BUILTIN=1 -DWAMR_BUILD_SIMD=1 -Bbuild

execute:

iwasm --heap-size=0 --llvm-jit -f to_test <tc_name>

Cases

iwasm_jit_select_exception.zip

(module
  (type (;0;) (func (result funcref)))
  (func (;0;) (type 0) (result funcref)
    ref.func 0
    ref.null func
    memory.size
    br_if 0 (;@0;)
    i32.const 1
    select (result funcref))
  (memory (;0;) 1 5)
  (export "_start" (func 0))
  (export "to_test" (func 0)))

Actual behavior:

No exception

func:ref.null

Expected behavior:

Exception

WASM module load failed: Error: invalid stack values with different type

[TianlongLiang]

Hi, I think this bug is because of spec update, I used the low version wabt and there is the same exception. I will look into it.

[erxiaozhou]

Hi, I think this bug is because of spec update, I used the low version wabt and there is the same exception. I will look into it.

@TianlongLiang Wamr on different modes (e.g., interpreter mode, fast JIT mode) will not raise this exception.

[wenyongh]

@erxiaozhou the issue was fixed with #3169, please try again. Thanks for spotting the issue!

[wenyongh]

Close the issue since it had been fixed.