summaryrefslogtreecommitdiff
path: root/test/lit/passes/optimize-instructions-call_ref-roundtrip.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes/optimize-instructions-call_ref-roundtrip.wast')
-rw-r--r--test/lit/passes/optimize-instructions-call_ref-roundtrip.wast17
1 files changed, 10 insertions, 7 deletions
diff --git a/test/lit/passes/optimize-instructions-call_ref-roundtrip.wast b/test/lit/passes/optimize-instructions-call_ref-roundtrip.wast
index de4d0da6f..0e59d6df3 100644
--- a/test/lit/passes/optimize-instructions-call_ref-roundtrip.wast
+++ b/test/lit/passes/optimize-instructions-call_ref-roundtrip.wast
@@ -1,7 +1,7 @@
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; NOTE: This test was ported using port_passes_tests_to_lit.py and could be cleaned up.
-;; RUN: wasm-opt %s --optimize-instructions --nominal --roundtrip --all-features -S -o - | filecheck %s
+;; RUN: wasm-opt %s --optimize-instructions --roundtrip --all-features -S -o - | filecheck %s
;; roundtrip to see the effects on heap types in the binary format, specifically
;; regarding nominal heap types
@@ -10,14 +10,17 @@
;; distinct nominally. The three tables will use different ones, and the
;; emitted call_indirects should use the corresponding ones.
- ;; CHECK: (type $v1 (func))
- (type $v1 (func))
+ (rec
+ ;; CHECK: (rec
+ ;; CHECK-NEXT: (type $v1 (func))
+ (type $v1 (func))
- ;; CHECK: (type $v2 (func))
- (type $v2 (func))
+ ;; CHECK: (type $v2 (func))
+ (type $v2 (func))
- ;; CHECK: (type $v3 (func))
- (type $v3 (func))
+ ;; CHECK: (type $v3 (func))
+ (type $v3 (func))
+ )
;; CHECK: (type $i32_=>_none (func (param i32)))