github.com/tetratelabs/wazero@v1.7.3-0.20240513003603-48f702e154b5/internal/integration_test/fuzzcases/testdata/715.wat (about)

     1  (module
     2    (func (export "select on conditional value after table.size") (result i32)
     3      i32.const 1234
     4      ref.null func
     5      ref.is_null
     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      table.size 0 ;; -> 0
    10      select ;; -> select the result of ref.is_null == 1.
    11    )
    12    (table 0 0 funcref)
    13  )