Incorrect handling of multiple return values with v128, causing segmentation fault

[Q1IQ]

Subject of the issue

iwasm fails to handle multiple return values when one of them is a v128, causing a segmentation fault.

Test c

program.wasm.txt

(module
  (type (func (param i32 i32) (result i64 v128))) 
  (func $func1 (type 0) (param i32 i32) (result i64 v128)
    i64.const 0x1234567890
    (v128.const i32x4 0x00000004 0x34567890 0x66666666 0x77777777)
  )
  
  (func $main (result i64 v128)
    i32.const 0x12341234 
    i32.const 0x1234    
    call $func1
  )
  
  (export "main" (func $main)) 
)

Your environment

• OS: Ubuntu 20.04
• CPU: amd64
• WAMR version: iwasm 1.2.3
• Command: iwasm --llvm-jit ./program_call_indirect.wasm

Steps to reproduce

Run the WebAssembly module, and get the output:

$  iwasm --llvm-jit  -f main ./program.wasm
fast jit compilation failed: Error: unsupported opcode
failed to compile fast jit function 0
fast jit compilation failed: unknown error
failed to compile fast jit function 1
Segmentation fault (core dumped)

Expected behavior

The module should correctly handle multiple return values including v128. A valid output should look like:

0x1234567890:i64,<0x3456789000000004 0x7777777766666666>:v128

[Q1IQ]

The call_indirect instruction has the same issue. Here is a sample:

(module
  (type (func (param i32 i32) (result i64 v128))) 
  (func $func1 (type 0) (param i32 i32) (result i64 v128)
    i64.const 0x1234567890
    (v128.const i32x4 0x00000004 0x34567890 0x66666666 0x77777777)
  )
  
  (table 2 funcref) 
  (elem (i32.const 0) $func1) 
  
  (func $main (result i64 v128)
    i32.const 0x12341234 
    i32.const 0x1234    
    i32.const 0        
    call_indirect (type 0) 
  )
  
  (export "main" (func $main)) 
)

[lum1n0us]

fail to reproduce the result Segmentation fault (core dumped)

Could you please provide more details?

Which build of iwasm are you using? If it's built from source, which branch and commit are you on and your compilation combination?
What toolchain are you using to convert .wat files to .wasm?
Here are my steps:

• Using main branch, commit 04f1071
• cmake -S . -B build
• /opt/wabt-1.0.36/bin/wat2wasm --no-check ./test.wat -o test.wasm
• $ /workspaces/wasm-micro-runtime/product-mini/platforms/linux/build/iwasm -f main ./test.wasm -> 0x1234567890:i64,<0x3456789000000004 0x7777777766666666>:v128