Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
34 changes: 17 additions & 17 deletions test/lit/merge/types.wat
Original file line number Diff line number Diff line change
Expand Up @@ -25,20 +25,12 @@
(type $f (sub (func (result anyref))))
(type $g (sub $f (func (result eqref))))

(func (export "f1"))
(func (export "f2") (type $g) (ref.null eq))
(func (export "f3") (type $f) (ref.null eq))

(import "env" "f1" (func $good1))
(import "env" "f2" (func $good2 (type $f)))

(import "env" "f1" (func $bad1 (param (ref eq))))
(import "env" "f3" (func $bad2 (type $g)))

(table (export "t1") 10 100 funcref)
(table (export "t2") 10 funcref)
(table (export "t3") 10 anyref)

(import "env" "t1" (table $good1 10 funcref))
(import "env" "t1" (table $good2 10 100 funcref))
(import "env" "t2" (table $good3 10 funcref))
Expand All @@ -49,10 +41,6 @@
(import "env" "t2" (table $bad3 10 100 funcref))
(import "env" "t3" (table $bad4 10 funcref))

(memory (export "m1") 10 100)
(memory (export "m2") 10)
(memory (export "m3") i64 10)

(import "env" "m1" (memory $good1 10))
(import "env" "m1" (memory $good2 10 100))
(import "env" "m2" (memory $good3 10))
Expand All @@ -63,9 +51,6 @@
(import "env" "m2" (memory $bad3 10 100))
(import "env" "m3" (memory $bad4 10))

(global (export "g1") eqref (ref.null eq))
(global (export "g2") (mut eqref) (ref.null eq))

(import "env" "g1" (global $good1 anyref))
(import "env" "g2" (global $good2 (mut eqref)))

Expand All @@ -75,10 +60,25 @@
(import "env" "g2" (global $bad4 (mut anyref)))
(import "env" "g1" (global $bad5 i31ref))

(tag (export "t") (param eqref))

(import "env" "t" (tag $good1 (param eqref)))

(import "env" "t" (tag $bad1 (param anyref)))
(import "env" "t" (tag $bad2 (param i31ref)))

(func (export "f1"))
(func (export "f2") (type $g) (ref.null eq))
(func (export "f3") (type $f) (ref.null eq))

(table (export "t1") 10 100 funcref)
(table (export "t2") 10 funcref)
(table (export "t3") 10 anyref)

(memory (export "m1") 10 100)
(memory (export "m2") 10)
(memory (export "m3") i64 10)

(global (export "g1") eqref (ref.null eq))
(global (export "g2") (mut eqref) (ref.null eq))

(tag (export "t") (param eqref))
)