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

     1  (module
     2    (func $dummy)
     3    (func (export "select") (param i32) (result v128)
     4      v128.const i64x2 0xffffffffffffffff 0xeeeeeeeeeeeeeeee
     5      v128.const i64x2 0x1111111111111111 0x2222222222222222
     6      local.get 0
     7      call 0  ;; calling dummy function before select to
     8      select
     9    )
    10  
    11    (func (export "typed select") (param i32) (result v128)
    12      v128.const i64x2 0xffffffffffffffff 0xeeeeeeeeeeeeeeee
    13      v128.const i64x2 0x1111111111111111 0x2222222222222222
    14      local.get 0
    15      call 0  ;; calling dummy function before select to
    16      select (result v128)
    17    )
    18  )