summaryrefslogtreecommitdiff
path: root/test/lit/passes/precompute-gc.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes/precompute-gc.wast')
-rw-r--r--test/lit/passes/precompute-gc.wast10
1 files changed, 5 insertions, 5 deletions
diff --git a/test/lit/passes/precompute-gc.wast b/test/lit/passes/precompute-gc.wast
index 48db023bd..603788f8c 100644
--- a/test/lit/passes/precompute-gc.wast
+++ b/test/lit/passes/precompute-gc.wast
@@ -45,7 +45,7 @@
;; the fallthrough value should be used. for that to be possible with a block
;; we need for it not to have a name, which is why --remove-unused-names is
;; run
- (block (result (funcref))
+ (block (result funcref)
;; make a call so the block is not trivially removable
(drop
(call $test-fallthrough)
@@ -781,7 +781,7 @@
)
;; CHECK: (func $odd-cast-and-get-tuple (type $3)
- ;; CHECK-NEXT: (local $temp ((ref null $B) i32))
+ ;; CHECK-NEXT: (local $temp (tuple (ref null $B) i32))
;; CHECK-NEXT: (local.set $temp
;; CHECK-NEXT: (tuple.make 2
;; CHECK-NEXT: (ref.null none)
@@ -798,7 +798,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $odd-cast-and-get-tuple
- (local $temp ((ref null $B) i32))
+ (local $temp (tuple (ref null $B) i32))
;; As above, but with a tuple.
(local.set $temp
(tuple.make 2
@@ -1173,7 +1173,7 @@
)
;; CHECK: (func $get-nonnullable-in-unreachable-tuple (type $19) (result anyref i32)
- ;; CHECK-NEXT: (local $x ((ref any) i32))
+ ;; CHECK-NEXT: (local $x (tuple (ref any) i32))
;; CHECK-NEXT: (local.tee $x
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
@@ -1188,7 +1188,7 @@
(func $get-nonnullable-in-unreachable-tuple (result anyref i32)
;; As $get-nonnullable-in-unreachable but the local is a tuple (so we need to
;; check isDefaultable, and not just isNullable).
- (local $x ((ref any) i32))
+ (local $x (tuple (ref any) i32))
(local.set $x
(unreachable)
)