summaryrefslogtreecommitdiff
path: root/test/lit/passes/optimize-instructions-gc-heap.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes/optimize-instructions-gc-heap.wast')
-rw-r--r--test/lit/passes/optimize-instructions-gc-heap.wast44
1 files changed, 22 insertions, 22 deletions
diff --git a/test/lit/passes/optimize-instructions-gc-heap.wast b/test/lit/passes/optimize-instructions-gc-heap.wast
index e448e57fd..6149719dd 100644
--- a/test/lit/passes/optimize-instructions-gc-heap.wast
+++ b/test/lit/passes/optimize-instructions-gc-heap.wast
@@ -15,7 +15,7 @@
;; CHECK: (type $struct3 (struct (field (mut i32)) (field (mut i32)) (field (mut i32))))
(type $struct3 (struct (field (mut i32)) (field (mut i32)) (field (mut i32))))
- ;; CHECK: (func $tee
+ ;; CHECK: (func $tee (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct
@@ -36,7 +36,7 @@
)
)
- ;; CHECK: (func $side-effects-in-old-value
+ ;; CHECK: (func $side-effects-in-old-value (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct
@@ -64,7 +64,7 @@
)
)
- ;; CHECK: (func $side-effects-in-new-value
+ ;; CHECK: (func $side-effects-in-new-value (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct
@@ -87,7 +87,7 @@
)
)
- ;; CHECK: (func $many-fields
+ ;; CHECK: (func $many-fields (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct2))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct2
@@ -126,7 +126,7 @@
)
)
- ;; CHECK: (func $side-effect-conflict
+ ;; CHECK: (func $side-effect-conflict (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct2))
;; CHECK-NEXT: (struct.set $struct2 0
;; CHECK-NEXT: (local.tee $ref
@@ -157,7 +157,7 @@
)
)
- ;; CHECK: (func $side-effect-ok
+ ;; CHECK: (func $side-effect-ok (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct2))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct2
@@ -189,7 +189,7 @@
)
)
- ;; CHECK: (func $optimize-subsequent
+ ;; CHECK: (func $optimize-subsequent (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct
@@ -212,7 +212,7 @@
)
)
- ;; CHECK: (func $optimize-subsequent-bad-local
+ ;; CHECK: (func $optimize-subsequent-bad-local (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local $other (ref null $struct))
;; CHECK-NEXT: (local.set $ref
@@ -241,7 +241,7 @@
)
)
- ;; CHECK: (func $optimize-chain
+ ;; CHECK: (func $optimize-chain (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct
@@ -269,7 +269,7 @@
)
)
- ;; CHECK: (func $pattern-breaker
+ ;; CHECK: (func $pattern-breaker (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct
@@ -297,7 +297,7 @@
)
)
- ;; CHECK: (func $ref-local-write
+ ;; CHECK: (func $ref-local-write (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct
@@ -333,7 +333,7 @@
)
)
- ;; CHECK: (func $ref-local-write-tee
+ ;; CHECK: (func $ref-local-write-tee (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (struct.set $struct 0
;; CHECK-NEXT: (local.tee $ref
@@ -367,7 +367,7 @@
)
)
- ;; CHECK: (func $other-local-write
+ ;; CHECK: (func $other-local-write (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local $other (ref null $struct))
;; CHECK-NEXT: (local.set $ref
@@ -402,7 +402,7 @@
)
)
- ;; CHECK: (func $ref-local-read
+ ;; CHECK: (func $ref-local-read (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct
@@ -438,7 +438,7 @@
)
)
- ;; CHECK: (func $ref-local-read-tee
+ ;; CHECK: (func $ref-local-read-tee (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (struct.set $struct 0
;; CHECK-NEXT: (local.tee $ref
@@ -472,7 +472,7 @@
)
)
- ;; CHECK: (func $ref-other-read
+ ;; CHECK: (func $ref-other-read (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local $other (ref null $struct))
;; CHECK-NEXT: (local.set $ref
@@ -507,7 +507,7 @@
)
)
- ;; CHECK: (func $tee-and-subsequent
+ ;; CHECK: (func $tee-and-subsequent (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct3))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct3
@@ -543,7 +543,7 @@
)
)
- ;; CHECK: (func $side-effect-subsequent-ok
+ ;; CHECK: (func $side-effect-subsequent-ok (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct2))
;; CHECK-NEXT: (local.set $ref
;; CHECK-NEXT: (struct.new $struct2
@@ -573,7 +573,7 @@
)
)
- ;; CHECK: (func $default
+ ;; CHECK: (func $default (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (struct.set $struct 0
;; CHECK-NEXT: (local.tee $ref
@@ -594,7 +594,7 @@
)
)
- ;; CHECK: (func $many-news
+ ;; CHECK: (func $many-news (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct3))
;; CHECK-NEXT: (local $ref2 (ref null $struct3))
;; CHECK-NEXT: (local.set $ref
@@ -710,7 +710,7 @@
)
)
- ;; CHECK: (func $unreachable
+ ;; CHECK: (func $unreachable (type $none_=>_none)
;; CHECK-NEXT: (local $ref (ref null $struct))
;; CHECK-NEXT: (local.tee $ref
;; CHECK-NEXT: (block ;; (replaces something unreachable we can't emit)
@@ -760,7 +760,7 @@
)
)
- ;; CHECK: (func $helper-i32 (param $x i32) (result i32)
+ ;; CHECK: (func $helper-i32 (type $i32_=>_i32) (param $x i32) (result i32)
;; CHECK-NEXT: (i32.const 42)
;; CHECK-NEXT: )
(func $helper-i32 (param $x i32) (result i32)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-25 06:23:27 +0000