Incorrect result from `f64x2.extract_lane` after vector splat

[akldc]

Test Case

(module
  (type $0 (func (result f64)))
  (export "f0" (func 0))
  (func $0
    (type 0)
    (f32.const 1.0)
    (f32x4.splat)
    (f64x2.extract_lane 0)
  )
)

Description

I executed this case on wasmtime, wasmedge, and wizard, and the execution results are as follows

$ wasmtime run -W all-proposals=true --invoke f1 test1.wasm
0.007812501848093234

$ wasmedge run --enable-all test1.wasm f1
0.007812501848093234

$ wizeng.x86-64-linux --print-result=true --invoke=f1 test1.wasm
f64:00

After splatting an f32 into a vector, extracting a lane as f64 should not yield zero, but Wizard incorrectly returns 0.

Environment

Wizard Engine 25β.2902
Ubuntu 20.04

[linxuanm]

Hi, thanks for reporting this! I'll look into it.
It seems that this only affects the fast interpreter (both v3i and spc returns the correct result).