|
25 | 25 | (type $f (sub (func (result anyref)))) |
26 | 26 | (type $g (sub $f (func (result eqref)))) |
27 | 27 |
|
28 | | - (func (export "f1")) |
29 | | - (func (export "f2") (type $g) (ref.null eq)) |
30 | | - (func (export "f3") (type $f) (ref.null eq)) |
31 | | - |
32 | 28 | (import "env" "f1" (func $good1)) |
33 | 29 | (import "env" "f2" (func $good2 (type $f))) |
34 | 30 |
|
35 | 31 | (import "env" "f1" (func $bad1 (param (ref eq)))) |
36 | 32 | (import "env" "f3" (func $bad2 (type $g))) |
37 | 33 |
|
38 | | - (table (export "t1") 10 100 funcref) |
39 | | - (table (export "t2") 10 funcref) |
40 | | - (table (export "t3") 10 anyref) |
41 | | - |
42 | 34 | (import "env" "t1" (table $good1 10 funcref)) |
43 | 35 | (import "env" "t1" (table $good2 10 100 funcref)) |
44 | 36 | (import "env" "t2" (table $good3 10 funcref)) |
|
49 | 41 | (import "env" "t2" (table $bad3 10 100 funcref)) |
50 | 42 | (import "env" "t3" (table $bad4 10 funcref)) |
51 | 43 |
|
52 | | - (memory (export "m1") 10 100) |
53 | | - (memory (export "m2") 10) |
54 | | - (memory (export "m3") i64 10) |
55 | | - |
56 | 44 | (import "env" "m1" (memory $good1 10)) |
57 | 45 | (import "env" "m1" (memory $good2 10 100)) |
58 | 46 | (import "env" "m2" (memory $good3 10)) |
|
63 | 51 | (import "env" "m2" (memory $bad3 10 100)) |
64 | 52 | (import "env" "m3" (memory $bad4 10)) |
65 | 53 |
|
66 | | - (global (export "g1") eqref (ref.null eq)) |
67 | | - (global (export "g2") (mut eqref) (ref.null eq)) |
68 | | - |
69 | 54 | (import "env" "g1" (global $good1 anyref)) |
70 | 55 | (import "env" "g2" (global $good2 (mut eqref))) |
71 | 56 |
|
|
75 | 60 | (import "env" "g2" (global $bad4 (mut anyref))) |
76 | 61 | (import "env" "g1" (global $bad5 i31ref)) |
77 | 62 |
|
78 | | - (tag (export "t") (param eqref)) |
79 | | - |
80 | 63 | (import "env" "t" (tag $good1 (param eqref))) |
81 | 64 |
|
82 | 65 | (import "env" "t" (tag $bad1 (param anyref))) |
83 | 66 | (import "env" "t" (tag $bad2 (param i31ref))) |
| 67 | + |
| 68 | + (func (export "f1")) |
| 69 | + (func (export "f2") (type $g) (ref.null eq)) |
| 70 | + (func (export "f3") (type $f) (ref.null eq)) |
| 71 | + |
| 72 | + (table (export "t1") 10 100 funcref) |
| 73 | + (table (export "t2") 10 funcref) |
| 74 | + (table (export "t3") 10 anyref) |
| 75 | + |
| 76 | + (memory (export "m1") 10 100) |
| 77 | + (memory (export "m2") 10) |
| 78 | + (memory (export "m3") i64 10) |
| 79 | + |
| 80 | + (global (export "g1") eqref (ref.null eq)) |
| 81 | + (global (export "g2") (mut eqref) (ref.null eq)) |
| 82 | + |
| 83 | + (tag (export "t") (param eqref)) |
84 | 84 | ) |
0 commit comments