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

     1  (module
     2    (func (result i32)
     3      i32.const 123
     4      ref.null func
     5      ref.is_null ;; -> 1
     6      ;; At this point, the result of ref.is_null (=1) is on the conditional register.
     7      ;; If table.size doesn't save the value into a general purpose register,
     8      ;; the result of select below becomes incorrect.
     9      ref.func 0
    10      ref.is_null ;; -> 0
    11      select ;; should select 1
    12    )
    13    (export "select on ref.func" (func 0))
    14  )