github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/fuzzcases/testdata/709.wat (about)

     1  (module
     2    (func (result v128)
     3      v128.const i32x4 0xffffffff 0xffffffff 0 0
     4      ;; This should promote two 32-bit floats on the lower 64-bits (0xffffffff x2)
     5      ;; Therefore, the returned vector must have non zero lower and higher 64-bits.
     6      f64x2.promote_low_f32x4
     7    )
     8    (export "f64x2.promote_low_f32x4" (func 0))
     9  )