summaryrefslogtreecommitdiff
path: root/test/lit/passes/simplify-locals-gc-nn.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes/simplify-locals-gc-nn.wast')
-rw-r--r--test/lit/passes/simplify-locals-gc-nn.wast8
1 files changed, 4 insertions, 4 deletions
diff --git a/test/lit/passes/simplify-locals-gc-nn.wast b/test/lit/passes/simplify-locals-gc-nn.wast
index 32c881de8..fcb446760 100644
--- a/test/lit/passes/simplify-locals-gc-nn.wast
+++ b/test/lit/passes/simplify-locals-gc-nn.wast
@@ -50,7 +50,7 @@
)
;; CHECK: (func $test-nn-tuple (type $0)
- ;; CHECK-NEXT: (local $nn (i32 anyref i64))
+ ;; CHECK-NEXT: (local $nn (tuple i32 anyref i64))
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: (try $try
;; CHECK-NEXT: (do
@@ -85,7 +85,7 @@
;; CHECK-NEXT: )
(func $test-nn-tuple
;; Same as above, but now the local is a tuple containing a non-nullable element
- (local $nn (i32 (ref any) i64))
+ (local $nn (tuple i32 (ref any) i64))
(local.set $nn
(tuple.make 3
(i32.const 0)
@@ -151,7 +151,7 @@
)
;; CHECK: (func $if-return-tuple-nn (type $0)
- ;; CHECK-NEXT: (local $temp ((ref func) nullref))
+ ;; CHECK-NEXT: (local $temp (tuple (ref func) nullref))
;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (then
@@ -160,7 +160,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $if-return-tuple-nn
- (local $temp ((ref func) (ref null none)))
+ (local $temp (tuple (ref func) (ref null none)))
;; We should not emit a return value for this if, as the tuple has a non-
;; nullable element, so it is nondefaultable.
;;