| (module |
| (type $none_=>_none (func)) |
| (type $A (struct)) |
| (global $g1 (ref null $none_=>_none) (ref.func $f)) |
| (global $g2 i32 (i32.const 0)) |
| |
| (import "a" "b" (table $t1 1 10 funcref)) |
| (table $t2 3 3 funcref) |
| (table $t3 4 4 funcref) |
| (table $textern 0 externref) |
| |
| ;; A table with a typed function references specialized type. |
| (table $tspecial 5 5 (ref null $none_=>_none)) |
| |
| ;; add to $t1 |
| (elem (i32.const 0) $f) |
| |
| ;; add to $t2 |
| (elem (table $t2) (i32.const 0) func $f) |
| (elem $activeNonZeroOffset (table $t2) (offset (i32.const 1)) func $f $g) |
| |
| (elem $e3-1 (table $t3) (global.get $g2) funcref (ref.func $f) (ref.null func)) |
| (elem $e3-2 (table $t3) (offset (i32.const 2)) (ref null $none_=>_none) (item ref.func $f) (item (ref.func $g))) |
| |
| (elem $passive-1 func $f $g) |
| (elem $passive-2 funcref (item ref.func $f) (item (ref.func $g)) (ref.null func)) |
| (elem $passive-3 (ref null $none_=>_none) (item ref.func $f) (item (ref.func $g)) (ref.null $none_=>_none) (global.get $g1)) |
| (elem $empty func) |
| (elem $declarative declare func $h) |
| |
| ;; This elem will be emitted as usesExpressions because of the type of the |
| ;; table. |
| (elem $especial (table $tspecial) (i32.const 0) (ref null $none_=>_none) $f $h) |
| |
| (func $f (drop (ref.func $h))) |
| (func $g) |
| (func $h) |
| ) |