summaryrefslogtreecommitdiff
path: root/test/reference-types.wast.fromBinary.noDebugInfo
diff options
context:
space:
mode:
Diffstat (limited to 'test/reference-types.wast.fromBinary.noDebugInfo')
-rw-r--r--test/reference-types.wast.fromBinary.noDebugInfo533
1 files changed, 100 insertions, 433 deletions
diff --git a/test/reference-types.wast.fromBinary.noDebugInfo b/test/reference-types.wast.fromBinary.noDebugInfo
index d60129e01..08186f32b 100644
--- a/test/reference-types.wast.fromBinary.noDebugInfo
+++ b/test/reference-types.wast.fromBinary.noDebugInfo
@@ -4,25 +4,21 @@
(type $funcref_=>_none (func (param funcref)))
(type $none_=>_funcref (func (result funcref)))
(type $externref_=>_none (func (param externref)))
- (type $exnref_=>_none (func (param exnref)))
(type $none_=>_externref (func (result externref)))
- (type $none_=>_exnref (func (result exnref)))
(type $none_=>_none (func))
(type $i32_=>_none (func (param i32)))
(type $externref_=>_funcref (func (param externref) (result funcref)))
(import "env" "import_global" (global $gimport$0 externref))
(import "env" "import_func" (func $fimport$0 (param externref) (result funcref)))
- (table $0 4 4 funcref)
- (elem (i32.const 0) $0 $1 $2 $3)
+ (table $0 3 3 funcref)
+ (elem (i32.const 0) $0 $1 $2)
(global $global$0 (mut externref) (ref.null extern))
(global $global$1 (mut funcref) (ref.null func))
- (global $global$2 (mut funcref) (ref.func $4))
- (global $global$3 (mut exnref) (ref.null exn))
- (global $global$4 (mut anyref) (ref.null any))
- (global $global$5 (mut anyref) (ref.null extern))
- (global $global$6 (mut anyref) (ref.null func))
- (global $global$7 (mut anyref) (ref.func $4))
- (global $global$8 (mut anyref) (ref.null exn))
+ (global $global$2 (mut funcref) (ref.func $3))
+ (global $global$3 (mut anyref) (ref.null any))
+ (global $global$4 (mut anyref) (ref.null extern))
+ (global $global$5 (mut anyref) (ref.null func))
+ (global $global$6 (mut anyref) (ref.func $3))
(event $event$0 (attr 0) (param i32))
(export "export_func" (func $fimport$0))
(export "export_global" (global $gimport$0))
@@ -32,20 +28,16 @@
(func $1 (param $0 funcref)
(nop)
)
- (func $2 (param $0 exnref)
+ (func $2 (param $0 anyref)
(nop)
)
- (func $3 (param $0 anyref)
+ (func $3
(nop)
)
(func $4
- (nop)
- )
- (func $5
(local $0 funcref)
(local $1 externref)
- (local $2 exnref)
- (local $3 anyref)
+ (local $2 anyref)
(local.set $1
(local.get $1)
)
@@ -65,7 +57,7 @@
(ref.null func)
)
(local.set $0
- (ref.func $4)
+ (ref.func $3)
)
(local.set $2
(local.get $2)
@@ -74,46 +66,28 @@
(global.get $global$3)
)
(local.set $2
- (ref.null exn)
- )
- (local.set $3
- (local.get $3)
- )
- (local.set $3
- (global.get $global$4)
- )
- (local.set $3
(ref.null any)
)
- (local.set $3
+ (local.set $2
(local.get $1)
)
- (local.set $3
+ (local.set $2
(global.get $global$0)
)
- (local.set $3
+ (local.set $2
(ref.null extern)
)
- (local.set $3
+ (local.set $2
(local.get $0)
)
- (local.set $3
+ (local.set $2
(global.get $global$1)
)
- (local.set $3
+ (local.set $2
(ref.null func)
)
- (local.set $3
- (ref.func $4)
- )
- (local.set $3
- (local.get $2)
- )
- (local.set $3
- (global.get $global$3)
- )
- (local.set $3
- (ref.null exn)
+ (local.set $2
+ (ref.func $3)
)
(global.set $global$0
(global.get $global$0)
@@ -134,7 +108,7 @@
(ref.null func)
)
(global.set $global$1
- (ref.func $4)
+ (ref.func $3)
)
(global.set $global$3
(global.get $global$3)
@@ -143,46 +117,28 @@
(local.get $2)
)
(global.set $global$3
- (ref.null exn)
- )
- (global.set $global$4
- (global.get $global$4)
- )
- (global.set $global$4
- (local.get $3)
- )
- (global.set $global$4
(ref.null any)
)
- (global.set $global$4
+ (global.set $global$3
(global.get $global$0)
)
- (global.set $global$4
+ (global.set $global$3
(local.get $1)
)
- (global.set $global$4
+ (global.set $global$3
(ref.null extern)
)
- (global.set $global$4
+ (global.set $global$3
(global.get $global$1)
)
- (global.set $global$4
+ (global.set $global$3
(local.get $0)
)
- (global.set $global$4
+ (global.set $global$3
(ref.null func)
)
- (global.set $global$4
- (ref.func $4)
- )
- (global.set $global$4
- (global.get $global$3)
- )
- (global.set $global$4
- (local.get $2)
- )
- (global.set $global$4
- (ref.null exn)
+ (global.set $global$3
+ (ref.func $3)
)
(call $0
(local.get $1)
@@ -203,7 +159,7 @@
(ref.null func)
)
(call $1
- (ref.func $4)
+ (ref.func $3)
)
(call $2
(local.get $2)
@@ -212,46 +168,28 @@
(global.get $global$3)
)
(call $2
- (ref.null exn)
- )
- (call $3
- (local.get $3)
- )
- (call $3
- (global.get $global$4)
- )
- (call $3
(ref.null any)
)
- (call $3
+ (call $2
(local.get $1)
)
- (call $3
+ (call $2
(global.get $global$0)
)
- (call $3
+ (call $2
(ref.null extern)
)
- (call $3
+ (call $2
(local.get $0)
)
- (call $3
+ (call $2
(global.get $global$1)
)
- (call $3
+ (call $2
(ref.null func)
)
- (call $3
- (ref.func $4)
- )
- (call $3
- (local.get $2)
- )
- (call $3
- (global.get $global$3)
- )
- (call $3
- (ref.null exn)
+ (call $2
+ (ref.func $3)
)
(call_indirect (type $externref_=>_none)
(local.get $1)
@@ -278,27 +216,15 @@
(i32.const 1)
)
(call_indirect (type $funcref_=>_none)
- (ref.func $4)
+ (ref.func $3)
(i32.const 1)
)
- (call_indirect (type $exnref_=>_none)
- (local.get $2)
- (i32.const 2)
- )
- (call_indirect (type $exnref_=>_none)
- (global.get $global$3)
- (i32.const 2)
- )
- (call_indirect (type $exnref_=>_none)
- (ref.null exn)
- (i32.const 2)
- )
(call_indirect (type $anyref_=>_none)
- (local.get $3)
+ (local.get $2)
(i32.const 3)
)
(call_indirect (type $anyref_=>_none)
- (global.get $global$4)
+ (global.get $global$3)
(i32.const 3)
)
(call_indirect (type $anyref_=>_none)
@@ -330,19 +256,7 @@
(i32.const 3)
)
(call_indirect (type $anyref_=>_none)
- (ref.func $4)
- (i32.const 3)
- )
- (call_indirect (type $anyref_=>_none)
- (local.get $2)
- (i32.const 3)
- )
- (call_indirect (type $anyref_=>_none)
- (global.get $global$3)
- (i32.const 3)
- )
- (call_indirect (type $anyref_=>_none)
- (ref.null exn)
+ (ref.func $3)
(i32.const 3)
)
(drop
@@ -396,13 +310,13 @@
(drop
(block $label$7 (result funcref)
(br_if $label$7
- (ref.func $4)
+ (ref.func $3)
(i32.const 1)
)
)
)
(drop
- (block $label$8 (result exnref)
+ (block $label$8 (result anyref)
(br_if $label$8
(local.get $2)
(i32.const 1)
@@ -410,7 +324,7 @@
)
)
(drop
- (block $label$9 (result exnref)
+ (block $label$9 (result anyref)
(br_if $label$9
(global.get $global$3)
(i32.const 1)
@@ -418,9 +332,9 @@
)
)
(drop
- (block $label$10 (result exnref)
+ (block $label$10 (result anyref)
(br_if $label$10
- (ref.null exn)
+ (ref.null any)
(i32.const 1)
)
)
@@ -428,7 +342,7 @@
(drop
(block $label$11 (result anyref)
(br_if $label$11
- (local.get $3)
+ (local.get $1)
(i32.const 1)
)
)
@@ -436,7 +350,7 @@
(drop
(block $label$12 (result anyref)
(br_if $label$12
- (global.get $global$4)
+ (local.get $0)
(i32.const 1)
)
)
@@ -444,7 +358,7 @@
(drop
(block $label$13 (result anyref)
(br_if $label$13
- (ref.null any)
+ (ref.null extern)
(i32.const 1)
)
)
@@ -452,7 +366,7 @@
(drop
(block $label$14 (result anyref)
(br_if $label$14
- (local.get $1)
+ (ref.null func)
(i32.const 1)
)
)
@@ -460,164 +374,94 @@
(drop
(block $label$15 (result anyref)
(br_if $label$15
- (local.get $0)
+ (ref.func $3)
(i32.const 1)
)
)
)
(drop
- (block $label$16 (result anyref)
- (br_if $label$16
- (local.get $2)
- (i32.const 1)
- )
- )
- )
- (drop
- (block $label$17 (result anyref)
- (br_if $label$17
- (ref.null extern)
- (i32.const 1)
- )
- )
- )
- (drop
- (block $label$18 (result anyref)
- (br_if $label$18
- (ref.null func)
- (i32.const 1)
- )
- )
- )
- (drop
- (block $label$19 (result anyref)
- (br_if $label$19
- (ref.func $4)
- (i32.const 1)
- )
- )
- )
- (drop
- (block $label$20 (result anyref)
- (br_if $label$20
- (ref.null exn)
- (i32.const 1)
- )
- )
- )
- (drop
- (loop $label$21 (result externref)
+ (loop $label$16 (result externref)
(local.get $1)
)
)
(drop
- (loop $label$22 (result externref)
+ (loop $label$17 (result externref)
(global.get $global$0)
)
)
(drop
- (loop $label$23 (result externref)
+ (loop $label$18 (result externref)
(ref.null extern)
)
)
(drop
- (loop $label$24 (result funcref)
+ (loop $label$19 (result funcref)
(local.get $0)
)
)
(drop
- (loop $label$25 (result funcref)
+ (loop $label$20 (result funcref)
(global.get $global$1)
)
)
(drop
- (loop $label$26 (result funcref)
+ (loop $label$21 (result funcref)
(ref.null func)
)
)
(drop
- (loop $label$27 (result funcref)
- (ref.func $4)
+ (loop $label$22 (result funcref)
+ (ref.func $3)
)
)
(drop
- (loop $label$28 (result exnref)
+ (loop $label$23 (result anyref)
(local.get $2)
)
)
(drop
- (loop $label$29 (result exnref)
+ (loop $label$24 (result anyref)
(global.get $global$3)
)
)
(drop
- (loop $label$30 (result exnref)
- (ref.null exn)
- )
- )
- (drop
- (loop $label$31 (result anyref)
- (local.get $3)
- )
- )
- (drop
- (loop $label$32 (result anyref)
- (global.get $global$4)
- )
- )
- (drop
- (loop $label$33 (result anyref)
+ (loop $label$25 (result anyref)
(ref.null any)
)
)
(drop
- (loop $label$34 (result anyref)
+ (loop $label$26 (result anyref)
(local.get $1)
)
)
(drop
- (loop $label$35 (result anyref)
+ (loop $label$27 (result anyref)
(global.get $global$0)
)
)
(drop
- (loop $label$36 (result anyref)
+ (loop $label$28 (result anyref)
(ref.null extern)
)
)
(drop
- (loop $label$37 (result anyref)
+ (loop $label$29 (result anyref)
(local.get $0)
)
)
(drop
- (loop $label$38 (result anyref)
+ (loop $label$30 (result anyref)
(global.get $global$1)
)
)
(drop
- (loop $label$39 (result anyref)
+ (loop $label$31 (result anyref)
(ref.null func)
)
)
(drop
- (loop $label$40 (result anyref)
- (ref.func $4)
- )
- )
- (drop
- (loop $label$41 (result anyref)
- (local.get $2)
- )
- )
- (drop
- (loop $label$42 (result anyref)
- (global.get $global$3)
- )
- )
- (drop
- (loop $label$43 (result anyref)
- (ref.null exn)
+ (loop $label$32 (result anyref)
+ (ref.func $3)
)
)
(drop
@@ -635,16 +479,9 @@
)
)
(drop
- (if (result exnref)
- (i32.const 1)
- (local.get $2)
- (ref.null exn)
- )
- )
- (drop
(if (result anyref)
(i32.const 1)
- (local.get $3)
+ (local.get $2)
(ref.null any)
)
)
@@ -658,20 +495,6 @@
(drop
(if (result anyref)
(i32.const 1)
- (local.get $1)
- (local.get $2)
- )
- )
- (drop
- (if (result anyref)
- (i32.const 1)
- (local.get $0)
- (local.get $2)
- )
- )
- (drop
- (if (result anyref)
- (i32.const 1)
(ref.null extern)
(ref.null func)
)
@@ -679,21 +502,7 @@
(drop
(if (result anyref)
(i32.const 1)
- (ref.null extern)
- (ref.null exn)
- )
- )
- (drop
- (if (result anyref)
- (i32.const 1)
- (ref.null func)
- (ref.null exn)
- )
- )
- (drop
- (if (result anyref)
- (i32.const 1)
- (ref.func $4)
+ (ref.func $3)
(ref.null extern)
)
)
@@ -713,7 +522,7 @@
(drop
(try (result funcref)
(do
- (ref.func $4)
+ (ref.func $3)
)
(catch $event$0
(drop
@@ -724,32 +533,6 @@
)
)
(drop
- (try (result exnref)
- (do
- (ref.null exn)
- )
- (catch $event$0
- (drop
- (pop i32)
- )
- (ref.null exn)
- )
- )
- )
- (drop
- (try (result anyref)
- (do
- (local.get $1)
- )
- (catch $event$0
- (drop
- (pop i32)
- )
- (ref.func $4)
- )
- )
- )
- (drop
(try (result anyref)
(do
(local.get $1)
@@ -758,14 +541,14 @@
(drop
(pop i32)
)
- (local.get $2)
+ (ref.func $3)
)
)
)
(drop
(try (result anyref)
(do
- (ref.func $4)
+ (ref.func $3)
)
(catch $event$0
(drop
@@ -776,45 +559,6 @@
)
)
(drop
- (try (result anyref)
- (do
- (ref.func $4)
- )
- (catch $event$0
- (drop
- (pop i32)
- )
- (local.get $2)
- )
- )
- )
- (drop
- (try (result anyref)
- (do
- (ref.null exn)
- )
- (catch $event$0
- (drop
- (pop i32)
- )
- (local.get $1)
- )
- )
- )
- (drop
- (try (result anyref)
- (do
- (ref.null exn)
- )
- (catch $event$0
- (drop
- (pop i32)
- )
- (ref.func $4)
- )
- )
- )
- (drop
(select (result externref)
(local.get $1)
(ref.null extern)
@@ -829,13 +573,6 @@
)
)
(drop
- (select (result exnref)
- (local.get $2)
- (ref.null exn)
- (i32.const 1)
- )
- )
- (drop
(select
(i32.const 0)
(i32.const 2)
@@ -851,40 +588,12 @@
)
(drop
(select (result anyref)
- (local.get $1)
- (local.get $2)
- (i32.const 1)
- )
- )
- (drop
- (select (result anyref)
- (local.get $0)
- (local.get $1)
- (i32.const 1)
- )
- )
- (drop
- (select (result anyref)
(local.get $0)
- (local.get $2)
- (i32.const 1)
- )
- )
- (drop
- (select (result anyref)
- (local.get $2)
(local.get $1)
(i32.const 1)
)
)
(drop
- (select (result anyref)
- (local.get $2)
- (local.get $0)
- (i32.const 1)
- )
- )
- (drop
(ref.is_null
(local.get $1)
)
@@ -916,7 +625,7 @@
)
(drop
(ref.is_null
- (ref.func $4)
+ (ref.func $3)
)
)
(drop
@@ -931,129 +640,87 @@
)
(drop
(ref.is_null
- (ref.null exn)
- )
- )
- (drop
- (ref.is_null
- (local.get $3)
- )
- )
- (drop
- (ref.is_null
- (global.get $global$4)
- )
- )
- (drop
- (ref.is_null
(ref.null any)
)
)
)
- (func $6 (result externref)
+ (func $5 (result externref)
(local $0 externref)
(local.get $0)
)
- (func $7 (result externref)
+ (func $6 (result externref)
(global.get $global$0)
)
- (func $8 (result externref)
+ (func $7 (result externref)
(ref.null extern)
)
- (func $9 (result funcref)
+ (func $8 (result funcref)
(local $0 funcref)
(local.get $0)
)
- (func $10 (result funcref)
+ (func $9 (result funcref)
(global.get $global$1)
)
- (func $11 (result funcref)
+ (func $10 (result funcref)
(ref.null func)
)
- (func $12 (result funcref)
- (ref.func $4)
- )
- (func $13 (result exnref)
- (local $0 exnref)
- (local.get $0)
- )
- (func $14 (result exnref)
- (global.get $global$3)
- )
- (func $15 (result exnref)
- (ref.null exn)
+ (func $11 (result funcref)
+ (ref.func $3)
)
- (func $16 (result anyref)
+ (func $12 (result anyref)
(local $0 anyref)
(local.get $0)
)
- (func $17 (result anyref)
- (global.get $global$4)
+ (func $13 (result anyref)
+ (global.get $global$3)
)
- (func $18 (result anyref)
+ (func $14 (result anyref)
(ref.null any)
)
- (func $19 (result anyref)
+ (func $15 (result anyref)
(local $0 externref)
(local.get $0)
)
- (func $20 (result anyref)
+ (func $16 (result anyref)
(global.get $global$0)
)
- (func $21 (result anyref)
+ (func $17 (result anyref)
(ref.null extern)
)
- (func $22 (result anyref)
+ (func $18 (result anyref)
(local $0 funcref)
(local.get $0)
)
- (func $23 (result anyref)
+ (func $19 (result anyref)
(global.get $global$1)
)
- (func $24 (result anyref)
+ (func $20 (result anyref)
(ref.null func)
)
- (func $25 (result anyref)
- (ref.func $4)
- )
- (func $26 (result anyref)
- (local $0 exnref)
- (local.get $0)
- )
- (func $27 (result anyref)
- (global.get $global$3)
- )
- (func $28 (result anyref)
- (ref.null exn)
+ (func $21 (result anyref)
+ (ref.func $3)
)
- (func $29 (result externref)
+ (func $22 (result externref)
(local $0 externref)
(return
(local.get $0)
)
)
- (func $30 (result funcref)
+ (func $23 (result funcref)
(local $0 funcref)
(return
(local.get $0)
)
)
- (func $31 (result exnref)
- (local $0 exnref)
- (return
- (local.get $0)
- )
- )
- (func $32 (result anyref)
+ (func $24 (result anyref)
(local $0 anyref)
(return
(local.get $0)
)
)
- (func $33 (result anyref)
+ (func $25 (result anyref)
(local $0 funcref)
(local $1 externref)
- (local $2 exnref)
(return
(local.get $1)
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-06 22:17:45 +0000