Unexpected "type mismatch" Exception on JIT mode

[erxiaozhou]

Subject of the issue

The WAMR on JIT mode raises a "type mismatch" exception on a valid test case.

Test case

425.zip

Your environment

• Host OS: Ubuntu 20.04
• Commit Id: f14a166466a2a271493860b6c568bb490b5bd03b

Steps to reproduce

1. build WAMR in JIT mode

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 -DWAMR_BUILD_AOT=1 -DWAMR_BUILD_FAST_JIT=1   -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

3. execute the command

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

Expected behavior

-1

Actual behavior

An exception

WASM module load failed: type mismatch