summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/lit/passes/dae_all-features.wast2
-rw-r--r--test/lit/passes/gufa-refs.wast10
-rw-r--r--test/lit/passes/inlining-optimizing.wast6
-rw-r--r--test/lit/passes/inlining_all-features.wast4
-rw-r--r--test/lit/passes/intrinsic-lowering.wast2
-rw-r--r--test/lit/passes/local-cse_all-features.wast4
-rw-r--r--test/lit/passes/merge-similar-functions.wast4
-rw-r--r--test/lit/passes/merge-similar-functions_types.wast6
-rw-r--r--test/lit/passes/optimize-instructions-call_ref.wast6
-rw-r--r--test/lit/passes/precompute-gc.wast4
-rw-r--r--test/lit/passes/remove-unused-module-elements-refs.wast12
-rw-r--r--test/lit/passes/signature-pruning.wast16
-rw-r--r--test/lit/passes/signature-refining.wast12
-rw-r--r--test/lit/types-function-references.wast30
-rw-r--r--test/passes/duplicate-function-elimination_all-features.txt2
15 files changed, 61 insertions, 59 deletions
diff --git a/test/lit/passes/dae_all-features.wast b/test/lit/passes/dae_all-features.wast
index 89ce922ac..4e0480ace 100644
--- a/test/lit/passes/dae_all-features.wast
+++ b/test/lit/passes/dae_all-features.wast
@@ -504,7 +504,7 @@
(unreachable)
)
;; CHECK: (func $1
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $i64
;; CHECK-NEXT: (i64.const 0)
;; CHECK-NEXT: (global.get $global$0)
;; CHECK-NEXT: )
diff --git a/test/lit/passes/gufa-refs.wast b/test/lit/passes/gufa-refs.wast
index 6e4a60f6d..42149855f 100644
--- a/test/lit/passes/gufa-refs.wast
+++ b/test/lit/passes/gufa-refs.wast
@@ -831,7 +831,7 @@
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (local.get $y)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $two-params
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: (struct.new_default $struct)
;; CHECK-NEXT: (ref.func $func-2params-a)
@@ -3744,19 +3744,19 @@
)
;; CHECK: (func $do-calls (type $none_=>_none)
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $i1
;; CHECK-NEXT: (i32.const 42)
;; CHECK-NEXT: (ref.func $reffed1)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $i1
;; CHECK-NEXT: (i32.const 42)
;; CHECK-NEXT: (ref.func $reffed1)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $i2
;; CHECK-NEXT: (i32.const 1337)
;; CHECK-NEXT: (ref.func $reffed2)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $i2
;; CHECK-NEXT: (i32.const 99999)
;; CHECK-NEXT: (ref.func $reffed2)
;; CHECK-NEXT: )
diff --git a/test/lit/passes/inlining-optimizing.wast b/test/lit/passes/inlining-optimizing.wast
index 74748c6a4..7da2efb72 100644
--- a/test/lit/passes/inlining-optimizing.wast
+++ b/test/lit/passes/inlining-optimizing.wast
@@ -13,8 +13,10 @@
)
;; CHECK: (func $1
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (call_ref
- ;; CHECK-NEXT: (unreachable)
+ ;; CHECK-NEXT: (block ;; (replaces something unreachable we can't emit)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (unreachable)
+ ;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
diff --git a/test/lit/passes/inlining_all-features.wast b/test/lit/passes/inlining_all-features.wast
index 59afe1ce9..5ce964ceb 100644
--- a/test/lit/passes/inlining_all-features.wast
+++ b/test/lit/passes/inlining_all-features.wast
@@ -142,7 +142,7 @@
;; CHECK: (func $1
;; CHECK-NEXT: (block $__inlined_func$0
;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $none_=>_none
;; CHECK-NEXT: (ref.null $none_=>_none)
;; CHECK-NEXT: )
;; CHECK-NEXT: (br $__inlined_func$0)
@@ -153,7 +153,7 @@
;; NOMNL: (func $1 (type $none_=>_none)
;; NOMNL-NEXT: (block $__inlined_func$0
;; NOMNL-NEXT: (block
- ;; NOMNL-NEXT: (call_ref
+ ;; NOMNL-NEXT: (call_ref $none_=>_none
;; NOMNL-NEXT: (ref.null $none_=>_none)
;; NOMNL-NEXT: )
;; NOMNL-NEXT: (br $__inlined_func$0)
diff --git a/test/lit/passes/intrinsic-lowering.wast b/test/lit/passes/intrinsic-lowering.wast
index 01bafbf86..de1c981bc 100644
--- a/test/lit/passes/intrinsic-lowering.wast
+++ b/test/lit/passes/intrinsic-lowering.wast
@@ -27,7 +27,7 @@
;; CHECK-NEXT: (i32.const 42)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $none
;; CHECK-NEXT: (ref.null $none)
;; CHECK-NEXT: )
;; CHECK-NEXT: (i32.const 1)
diff --git a/test/lit/passes/local-cse_all-features.wast b/test/lit/passes/local-cse_all-features.wast
index fd1af725b..d901d2d99 100644
--- a/test/lit/passes/local-cse_all-features.wast
+++ b/test/lit/passes/local-cse_all-features.wast
@@ -12,13 +12,13 @@
;; CHECK: (func $calls (param $x i32) (result i32)
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $i32_=>_i32
;; CHECK-NEXT: (i32.const 10)
;; CHECK-NEXT: (ref.func $calls)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $i32_=>_i32
;; CHECK-NEXT: (i32.const 10)
;; CHECK-NEXT: (ref.func $calls)
;; CHECK-NEXT: )
diff --git a/test/lit/passes/merge-similar-functions.wast b/test/lit/passes/merge-similar-functions.wast
index ec3239e7b..885fb6278 100644
--- a/test/lit/passes/merge-similar-functions.wast
+++ b/test/lit/passes/merge-similar-functions.wast
@@ -328,7 +328,7 @@
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: (nop)
-;; CHECK-NEXT: (call_ref
+;; CHECK-NEXT: (call_ref $none_=>_i32
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -352,7 +352,7 @@
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: (nop)
-;; CHECK-NEXT: (call_ref
+;; CHECK-NEXT: (call_ref $i32_=>_i32
;; CHECK-NEXT: (local.get $1)
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: )
diff --git a/test/lit/passes/merge-similar-functions_types.wast b/test/lit/passes/merge-similar-functions_types.wast
index 497c734e1..5cf5e473b 100644
--- a/test/lit/passes/merge-similar-functions_types.wast
+++ b/test/lit/passes/merge-similar-functions_types.wast
@@ -151,7 +151,7 @@
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: (nop)
-;; CHECK-NEXT: (call_ref
+;; CHECK-NEXT: (call_ref $type$0
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: )
;; CHECK-NEXT: (nop)
@@ -287,7 +287,7 @@
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: (nop)
-;; CHECK-NEXT: (call_ref
+;; CHECK-NEXT: (call_ref $type$0
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: )
;; CHECK-NEXT: (nop)
@@ -309,7 +309,7 @@
;; NOMNL-NEXT: (nop)
;; NOMNL-NEXT: (nop)
;; NOMNL-NEXT: (nop)
-;; NOMNL-NEXT: (call_ref
+;; NOMNL-NEXT: (call_ref $type$1
;; NOMNL-NEXT: (local.get $0)
;; NOMNL-NEXT: )
;; NOMNL-NEXT: (nop)
diff --git a/test/lit/passes/optimize-instructions-call_ref.wast b/test/lit/passes/optimize-instructions-call_ref.wast
index 95e2af18c..4f5d484cf 100644
--- a/test/lit/passes/optimize-instructions-call_ref.wast
+++ b/test/lit/passes/optimize-instructions-call_ref.wast
@@ -158,7 +158,7 @@
)
;; CHECK: (func $fallthrough-bad-type (result i32)
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $none_=>_i32
;; CHECK-NEXT: (block (result (ref $none_=>_i32))
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (ref.func $return-nothing)
@@ -188,7 +188,7 @@
(func $return-nothing)
;; CHECK: (func $fallthrough-unreachable
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $i32_i32_=>_none
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: (block (result (ref $i32_i32_=>_none))
@@ -258,7 +258,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $i32_i32_=>_none
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: (local.get $y)
;; CHECK-NEXT: (select (result (ref $i32_i32_=>_none))
diff --git a/test/lit/passes/precompute-gc.wast b/test/lit/passes/precompute-gc.wast
index dd864eee1..1cce11087 100644
--- a/test/lit/passes/precompute-gc.wast
+++ b/test/lit/passes/precompute-gc.wast
@@ -1157,7 +1157,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $func-return-i32
;; CHECK-NEXT: (local.get $temp)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -1169,7 +1169,7 @@
;; NOMNL-NEXT: )
;; NOMNL-NEXT: )
;; NOMNL-NEXT: (drop
- ;; NOMNL-NEXT: (call_ref
+ ;; NOMNL-NEXT: (call_ref $func-return-i32
;; NOMNL-NEXT: (local.get $temp)
;; NOMNL-NEXT: )
;; NOMNL-NEXT: )
diff --git a/test/lit/passes/remove-unused-module-elements-refs.wast b/test/lit/passes/remove-unused-module-elements-refs.wast
index 6d408ebcf..2a976cf8a 100644
--- a/test/lit/passes/remove-unused-module-elements-refs.wast
+++ b/test/lit/passes/remove-unused-module-elements-refs.wast
@@ -18,7 +18,7 @@
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (ref.func $target-B)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $A
;; CHECK-NEXT: (ref.null $A)
;; CHECK-NEXT: )
;; CHECK-NEXT: (block
@@ -80,7 +80,7 @@
;; CHECK: (export "foo" (func $foo))
;; CHECK: (func $foo (type $A)
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $A
;; CHECK-NEXT: (ref.null $A)
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
@@ -119,13 +119,13 @@
;; CHECK: (export "foo" (func $foo))
;; CHECK: (func $foo (type $A)
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $A
;; CHECK-NEXT: (ref.null $A)
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (ref.func $target-A-1)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $A
;; CHECK-NEXT: (ref.null $A)
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
@@ -181,13 +181,13 @@
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (ref.func $target-A-1)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $A
;; CHECK-NEXT: (ref.null $A)
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (ref.func $target-A-2)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $A
;; CHECK-NEXT: (ref.null $A)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
diff --git a/test/lit/passes/signature-pruning.wast b/test/lit/passes/signature-pruning.wast
index 319071e0f..ec47700ef 100644
--- a/test/lit/passes/signature-pruning.wast
+++ b/test/lit/passes/signature-pruning.wast
@@ -43,7 +43,7 @@
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (f64.const 3)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig
;; CHECK-NEXT: (i32.const 4)
;; CHECK-NEXT: (f64.const 7)
;; CHECK-NEXT: (ref.func $foo)
@@ -107,7 +107,7 @@
;; CHECK-NEXT: (i64.const 1)
;; CHECK-NEXT: (f32.const 2)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig
;; CHECK-NEXT: (i64.const 5)
;; CHECK-NEXT: (f32.const 6)
;; CHECK-NEXT: (ref.func $foo)
@@ -174,7 +174,7 @@
;; CHECK-NEXT: (i64.const 1)
;; CHECK-NEXT: (f32.const 2)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig
;; CHECK-NEXT: (i32.const 4)
;; CHECK-NEXT: (i64.const 5)
;; CHECK-NEXT: (f32.const 6)
@@ -246,7 +246,7 @@
;; CHECK-NEXT: (i64.const 1)
;; CHECK-NEXT: (f32.const 2)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig
;; CHECK-NEXT: (block (result i32)
;; CHECK-NEXT: (call $caller)
;; CHECK-NEXT: (i32.const 4)
@@ -301,7 +301,7 @@
;; CHECK: (func $caller (type $none_=>_none)
;; CHECK-NEXT: (call $foo)
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig
;; CHECK-NEXT: (ref.func $foo)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -501,10 +501,10 @@
;; CHECK: (func $caller (type $none_=>_none)
;; CHECK-NEXT: (call $foo)
;; CHECK-NEXT: (call $bar)
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig
;; CHECK-NEXT: (ref.func $foo)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig
;; CHECK-NEXT: (ref.func $bar)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -527,7 +527,7 @@
;; CHECK: (func $caller-2 (type $none_=>_none)
;; CHECK-NEXT: (call $bar)
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig
;; CHECK-NEXT: (ref.func $foo)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
diff --git a/test/lit/passes/signature-refining.wast b/test/lit/passes/signature-refining.wast
index b4951a387..784037b61 100644
--- a/test/lit/passes/signature-refining.wast
+++ b/test/lit/passes/signature-refining.wast
@@ -53,7 +53,7 @@
)
;; CHECK: (func $caller (type $none_=>_none)
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig
;; CHECK-NEXT: (struct.new_default $struct)
;; CHECK-NEXT: (ref.func $func)
;; CHECK-NEXT: )
@@ -92,7 +92,7 @@
;; CHECK-NEXT: (call $func
;; CHECK-NEXT: (local.get $struct)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig
;; CHECK-NEXT: (ref.as_data
;; CHECK-NEXT: (struct.new_default $struct)
;; CHECK-NEXT: )
@@ -286,7 +286,7 @@
;; CHECK-NEXT: (call $func
;; CHECK-NEXT: (struct.new_default $struct)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: (ref.func $func)
;; CHECK-NEXT: )
@@ -322,7 +322,7 @@
)
;; CHECK: (func $caller (type $none_=>_none)
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: (ref.func $func)
;; CHECK-NEXT: )
@@ -393,7 +393,7 @@
;; CHECK-NEXT: (struct.new_default $struct)
;; CHECK-NEXT: (struct.new_default $struct)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig-2
;; CHECK-NEXT: (local.get $i31)
;; CHECK-NEXT: (struct.new_default $struct)
;; CHECK-NEXT: (ref.func $func-2)
@@ -547,7 +547,7 @@
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (if (result (ref $struct))
;; CHECK-NEXT: (i32.const 1)
- ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (call_ref $sig-can-refine
;; CHECK-NEXT: (ref.func $func-can-refine)
;; CHECK-NEXT: )
;; CHECK-NEXT: (unreachable)
diff --git a/test/lit/types-function-references.wast b/test/lit/types-function-references.wast
index 16ea53997..f4b244c50 100644
--- a/test/lit/types-function-references.wast
+++ b/test/lit/types-function-references.wast
@@ -58,7 +58,7 @@
;; CHECK-BINARY: (elem declare func $call-ref $call-ref-more)
;; CHECK-BINARY: (func $call-ref
- ;; CHECK-BINARY-NEXT: (call_ref
+ ;; CHECK-BINARY-NEXT: (call_ref $void
;; CHECK-BINARY-NEXT: (ref.func $call-ref)
;; CHECK-BINARY-NEXT: )
;; CHECK-BINARY-NEXT: )
@@ -69,7 +69,7 @@
;; CHECK-TEXT: (elem declare func $call-ref $call-ref-more)
;; CHECK-TEXT: (func $call-ref
- ;; CHECK-TEXT-NEXT: (call_ref
+ ;; CHECK-TEXT-NEXT: (call_ref $void
;; CHECK-TEXT-NEXT: (ref.func $call-ref)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
@@ -90,13 +90,13 @@
(return_call_ref $void (ref.func $call-ref))
)
;; CHECK-BINARY: (func $call-ref-more (param $0 i32) (result i32)
- ;; CHECK-BINARY-NEXT: (call_ref
+ ;; CHECK-BINARY-NEXT: (call_ref $i32-i32
;; CHECK-BINARY-NEXT: (i32.const 42)
;; CHECK-BINARY-NEXT: (ref.func $call-ref-more)
;; CHECK-BINARY-NEXT: )
;; CHECK-BINARY-NEXT: )
;; CHECK-TEXT: (func $call-ref-more (param $0 i32) (result i32)
- ;; CHECK-TEXT-NEXT: (call_ref
+ ;; CHECK-TEXT-NEXT: (call_ref $i32-i32
;; CHECK-TEXT-NEXT: (i32.const 42)
;; CHECK-TEXT-NEXT: (ref.func $call-ref-more)
;; CHECK-TEXT-NEXT: )
@@ -105,13 +105,13 @@
(call_ref (i32.const 42) (ref.func $call-ref-more))
)
;; CHECK-BINARY: (func $call_from-param (param $f (ref $i32-i32)) (result i32)
- ;; CHECK-BINARY-NEXT: (call_ref
+ ;; CHECK-BINARY-NEXT: (call_ref $i32-i32
;; CHECK-BINARY-NEXT: (i32.const 42)
;; CHECK-BINARY-NEXT: (local.get $f)
;; CHECK-BINARY-NEXT: )
;; CHECK-BINARY-NEXT: )
;; CHECK-TEXT: (func $call_from-param (param $f (ref $i32-i32)) (result i32)
- ;; CHECK-TEXT-NEXT: (call_ref
+ ;; CHECK-TEXT-NEXT: (call_ref $i32-i32
;; CHECK-TEXT-NEXT: (i32.const 42)
;; CHECK-TEXT-NEXT: (local.get $f)
;; CHECK-TEXT-NEXT: )
@@ -120,13 +120,13 @@
(call_ref (i32.const 42) (local.get $f))
)
;; CHECK-BINARY: (func $call_from-param-null (param $f (ref null $i32-i32)) (result i32)
- ;; CHECK-BINARY-NEXT: (call_ref
+ ;; CHECK-BINARY-NEXT: (call_ref $i32-i32
;; CHECK-BINARY-NEXT: (i32.const 42)
;; CHECK-BINARY-NEXT: (local.get $f)
;; CHECK-BINARY-NEXT: )
;; CHECK-BINARY-NEXT: )
;; CHECK-TEXT: (func $call_from-param-null (param $f (ref null $i32-i32)) (result i32)
- ;; CHECK-TEXT-NEXT: (call_ref
+ ;; CHECK-TEXT-NEXT: (call_ref $i32-i32
;; CHECK-TEXT-NEXT: (i32.const 42)
;; CHECK-TEXT-NEXT: (local.get $f)
;; CHECK-TEXT-NEXT: )
@@ -139,7 +139,7 @@
;; CHECK-BINARY-NEXT: (local.set $f
;; CHECK-BINARY-NEXT: (ref.func $call-ref-more)
;; CHECK-BINARY-NEXT: )
- ;; CHECK-BINARY-NEXT: (call_ref
+ ;; CHECK-BINARY-NEXT: (call_ref $i32-i32
;; CHECK-BINARY-NEXT: (i32.const 42)
;; CHECK-BINARY-NEXT: (local.get $f)
;; CHECK-BINARY-NEXT: )
@@ -149,7 +149,7 @@
;; CHECK-TEXT-NEXT: (local.set $f
;; CHECK-TEXT-NEXT: (ref.func $call-ref-more)
;; CHECK-TEXT-NEXT: )
- ;; CHECK-TEXT-NEXT: (call_ref
+ ;; CHECK-TEXT-NEXT: (call_ref $i32-i32
;; CHECK-TEXT-NEXT: (i32.const 42)
;; CHECK-TEXT-NEXT: (local.get $f)
;; CHECK-TEXT-NEXT: )
@@ -399,7 +399,7 @@
;; CHECK-NODEBUG: (elem declare func $0 $2)
;; CHECK-NODEBUG: (func $0
-;; CHECK-NODEBUG-NEXT: (call_ref
+;; CHECK-NODEBUG-NEXT: (call_ref $none_=>_none
;; CHECK-NODEBUG-NEXT: (ref.func $0)
;; CHECK-NODEBUG-NEXT: )
;; CHECK-NODEBUG-NEXT: )
@@ -411,21 +411,21 @@
;; CHECK-NODEBUG-NEXT: )
;; CHECK-NODEBUG: (func $2 (param $0 i32) (result i32)
-;; CHECK-NODEBUG-NEXT: (call_ref
+;; CHECK-NODEBUG-NEXT: (call_ref $i32_=>_i32
;; CHECK-NODEBUG-NEXT: (i32.const 42)
;; CHECK-NODEBUG-NEXT: (ref.func $2)
;; CHECK-NODEBUG-NEXT: )
;; CHECK-NODEBUG-NEXT: )
;; CHECK-NODEBUG: (func $3 (param $0 (ref $i32_=>_i32)) (result i32)
-;; CHECK-NODEBUG-NEXT: (call_ref
+;; CHECK-NODEBUG-NEXT: (call_ref $i32_=>_i32
;; CHECK-NODEBUG-NEXT: (i32.const 42)
;; CHECK-NODEBUG-NEXT: (local.get $0)
;; CHECK-NODEBUG-NEXT: )
;; CHECK-NODEBUG-NEXT: )
;; CHECK-NODEBUG: (func $4 (param $0 (ref null $i32_=>_i32)) (result i32)
-;; CHECK-NODEBUG-NEXT: (call_ref
+;; CHECK-NODEBUG-NEXT: (call_ref $i32_=>_i32
;; CHECK-NODEBUG-NEXT: (i32.const 42)
;; CHECK-NODEBUG-NEXT: (local.get $0)
;; CHECK-NODEBUG-NEXT: )
@@ -436,7 +436,7 @@
;; CHECK-NODEBUG-NEXT: (local.set $0
;; CHECK-NODEBUG-NEXT: (ref.func $2)
;; CHECK-NODEBUG-NEXT: )
-;; CHECK-NODEBUG-NEXT: (call_ref
+;; CHECK-NODEBUG-NEXT: (call_ref $i32_=>_i32
;; CHECK-NODEBUG-NEXT: (i32.const 42)
;; CHECK-NODEBUG-NEXT: (local.get $0)
;; CHECK-NODEBUG-NEXT: )
diff --git a/test/passes/duplicate-function-elimination_all-features.txt b/test/passes/duplicate-function-elimination_all-features.txt
index f714d481d..2ad1bdc16 100644
--- a/test/passes/duplicate-function-elimination_all-features.txt
+++ b/test/passes/duplicate-function-elimination_all-features.txt
@@ -27,7 +27,7 @@
(unreachable)
)
(func $2 (result i32)
- (call_ref
+ (call_ref $func
(global.get $global$0)
)
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-07 16:44:29 +0000