summaryrefslogtreecommitdiff
path: root/test/lit/passes/precompute-gc-immutable.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes/precompute-gc-immutable.wast')
-rw-r--r--test/lit/passes/precompute-gc-immutable.wast52
1 files changed, 26 insertions, 26 deletions
diff --git a/test/lit/passes/precompute-gc-immutable.wast b/test/lit/passes/precompute-gc-immutable.wast
index ef867fdf9..0fd4e822d 100644
--- a/test/lit/passes/precompute-gc-immutable.wast
+++ b/test/lit/passes/precompute-gc-immutable.wast
@@ -9,7 +9,7 @@
;; CHECK: (type $struct-mut (struct_subtype (field (mut i32)) data))
(type $struct-mut (struct_subtype (mut i32) data))
- ;; CHECK: (func $propagate
+ ;; CHECK: (func $propagate (type $none_=>_none)
;; CHECK-NEXT: (local $ref-imm (ref null $struct-imm))
;; CHECK-NEXT: (local $ref-mut (ref null $struct-mut))
;; CHECK-NEXT: (local.set $ref-imm
@@ -59,7 +59,7 @@
)
)
- ;; CHECK: (func $non-constant (param $param i32)
+ ;; CHECK: (func $non-constant (type $i32_=>_none) (param $param i32)
;; CHECK-NEXT: (local $ref (ref null $struct-imm))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct-imm
@@ -87,7 +87,7 @@
)
)
- ;; CHECK: (func $unreachable
+ ;; CHECK: (func $unreachable (type $none_=>_none)
;; CHECK-NEXT: (local $ref-imm (ref null $struct-imm))
;; CHECK-NEXT: (local.tee $ref-imm
;; CHECK-NEXT: (block ;; (replaces something unreachable we can't emit)
@@ -117,7 +117,7 @@
)
)
- ;; CHECK: (func $param (param $ref-imm (ref null $struct-imm))
+ ;; CHECK: (func $param (type $ref?|$struct-imm|_=>_none) (param $ref-imm (ref null $struct-imm))
;; CHECK-NEXT: (call $helper
;; CHECK-NEXT: (struct.get $struct-imm 0
;; CHECK-NEXT: (local.get $ref-imm)
@@ -133,7 +133,7 @@
)
)
- ;; CHECK: (func $local-null
+ ;; CHECK: (func $local-null (type $none_=>_none)
;; CHECK-NEXT: (local $ref-imm (ref null $struct-imm))
;; CHECK-NEXT: (call $helper
;; CHECK-NEXT: (struct.get $struct-imm 0
@@ -152,7 +152,7 @@
)
)
- ;; CHECK: (func $local-unknown (param $x i32)
+ ;; CHECK: (func $local-unknown (type $i32_=>_none) (param $x i32)
;; CHECK-NEXT: (local $ref-imm (ref null $struct-imm))
;; CHECK-NEXT: (if
;; CHECK-NEXT: (local.get $x)
@@ -197,7 +197,7 @@
)
)
- ;; CHECK: (func $local-unknown-ref-same-value (param $x i32)
+ ;; CHECK: (func $local-unknown-ref-same-value (type $i32_=>_none) (param $x i32)
;; CHECK-NEXT: (local $ref-imm (ref null $struct-imm))
;; CHECK-NEXT: (if
;; CHECK-NEXT: (local.get $x)
@@ -244,7 +244,7 @@
)
)
- ;; CHECK: (func $propagate-multi-refs (param $x i32)
+ ;; CHECK: (func $propagate-multi-refs (type $i32_=>_none) (param $x i32)
;; CHECK-NEXT: (local $ref-imm (ref null $struct-imm))
;; CHECK-NEXT: (if
;; CHECK-NEXT: (local.get $x)
@@ -303,7 +303,7 @@
)
)
- ;; CHECK: (func $propagate-multi-values (param $x i32)
+ ;; CHECK: (func $propagate-multi-values (type $i32_=>_none) (param $x i32)
;; CHECK-NEXT: (local $ref-imm (ref null $struct-imm))
;; CHECK-NEXT: (local.set $ref-imm
;; CHECK-NEXT: (struct.new $struct-imm
@@ -345,7 +345,7 @@
)
)
- ;; CHECK: (func $helper (param $0 i32)
+ ;; CHECK: (func $helper (type $i32_=>_none) (param $0 i32)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $helper (param i32))
@@ -357,7 +357,7 @@
;; CHECK: (type $struct (struct_subtype (field (mut i32)) (field i32) data))
(type $struct (struct_subtype (mut i32) i32 data))
- ;; CHECK: (func $propagate
+ ;; CHECK: (func $propagate (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct
@@ -396,7 +396,7 @@
)
)
- ;; CHECK: (func $helper (param $0 i32)
+ ;; CHECK: (func $helper (type $i32_=>_none) (param $0 i32)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $helper (param i32))
@@ -412,7 +412,7 @@
(type $vtable (struct_subtype funcref data))
(type $object (struct_subtype (ref $vtable) data))
- ;; CHECK: (func $nested-creations
+ ;; CHECK: (func $nested-creations (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $object))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $object
@@ -445,7 +445,7 @@
)
)
- ;; CHECK: (func $helper (param $0 funcref)
+ ;; CHECK: (func $helper (type $funcref_=>_none) (param $0 funcref)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $helper (param funcref))
@@ -460,7 +460,7 @@
(type $vtable (struct_subtype (mut funcref) data))
(type $object (struct_subtype (ref $vtable) data))
- ;; CHECK: (func $nested-creations
+ ;; CHECK: (func $nested-creations (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $object))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $object
@@ -497,7 +497,7 @@
)
)
- ;; CHECK: (func $helper (param $0 funcref)
+ ;; CHECK: (func $helper (type $funcref_=>_none) (param $0 funcref)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $helper (param funcref))
@@ -513,7 +513,7 @@
(type $vtable (struct_subtype funcref data))
(type $object (struct_subtype (mut (ref $vtable)) data))
- ;; CHECK: (func $nested-creations
+ ;; CHECK: (func $nested-creations (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $object))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $object
@@ -548,7 +548,7 @@
)
)
- ;; CHECK: (func $helper (param $0 funcref)
+ ;; CHECK: (func $helper (type $funcref_=>_none) (param $0 funcref)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $helper (param funcref))
@@ -572,7 +572,7 @@
)
)
- ;; CHECK: (func $nested-creations
+ ;; CHECK: (func $nested-creations (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $object))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $object
@@ -599,7 +599,7 @@
)
)
- ;; CHECK: (func $helper (param $0 funcref)
+ ;; CHECK: (func $helper (type $funcref_=>_none) (param $0 funcref)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $helper (param funcref))
@@ -623,7 +623,7 @@
)
)
- ;; CHECK: (func $nested-creations
+ ;; CHECK: (func $nested-creations (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $object))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $object
@@ -654,7 +654,7 @@
)
)
- ;; CHECK: (func $helper (param $0 funcref)
+ ;; CHECK: (func $helper (type $funcref_=>_none) (param $0 funcref)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $helper (param funcref))
@@ -679,7 +679,7 @@
)
)
- ;; CHECK: (func $nested-creations (param $param i32)
+ ;; CHECK: (func $nested-creations (type $i32_=>_none) (param $param i32)
;; CHECK-NEXT: (local $ref (ref null $object))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $object
@@ -725,7 +725,7 @@
)
)
- ;; CHECK: (func $helper (param $0 funcref)
+ ;; CHECK: (func $helper (type $funcref_=>_none) (param $0 funcref)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $helper (param funcref))
@@ -767,7 +767,7 @@
)
)
- ;; CHECK: (func $nested-creations
+ ;; CHECK: (func $nested-creations (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $object))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $object
@@ -815,7 +815,7 @@
)
)
- ;; CHECK: (func $helper (param $0 funcref)
+ ;; CHECK: (func $helper (type $funcref_=>_none) (param $0 funcref)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $helper (param funcref))
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-21 15:53:30 +0000