diff options
Diffstat (limited to 'test/lit/nominal-to-isorecursive.wast')
| -rw-r--r-- | test/lit/nominal-to-isorecursive.wast | 29 |
1 files changed, 14 insertions, 15 deletions
diff --git a/test/lit/nominal-to-isorecursive.wast b/test/lit/nominal-to-isorecursive.wast index c1deadb54..beb0aaee9 100644 --- a/test/lit/nominal-to-isorecursive.wast +++ b/test/lit/nominal-to-isorecursive.wast @@ -1,4 +1,4 @@ -;; TODO: Autogenerate these checks! The current script cannot handle `rec`. +;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited. ;; RUN: wasm-as %s -all --nominal -g -o %t.wasm ;; RUN: wasm-dis %t.wasm -all --hybrid -o - | filecheck %s @@ -6,30 +6,29 @@ ;; Check that the nominal binary format is parseable as isorecursive with a ;; single recursion group. -;; CHECK: (module -;; CHECK-NEXT: (rec -;; CHECK-NEXT: (type $make-super-t (func_subtype (result (ref $super)) func)) -;; CHECK-NEXT: (type $make-sub-t (func_subtype (result (ref $sub)) func)) -;; CHECK-NEXT: (type $super (struct_subtype (field i32) data)) -;; CHECK-NEXT: (type $sub (struct_subtype (field i32) $super)) -;; CHECK-NEXT: ) -;; CHECK-NEXT: (func $make-super (type $make-super-t) (result (ref $super)) -;; CHECK-NEXT: (unreachable) -;; CHECK-NEXT: ) -;; CHECK-NEXT: (func $make-sub (type $make-sub-t) (result (ref $sub)) -;; CHECK-NEXT: (unreachable) -;; CHECK-NEXT: ) -;; CHECK-NEXT: ) (module + ;; CHECK: (rec + ;; CHECK-NEXT: (type $make-super-t (func_subtype (result (ref $super)) func)) + + ;; CHECK: (type $make-sub-t (func_subtype (result (ref $sub)) func)) + + ;; CHECK: (type $super (struct_subtype (field i32) data)) (type $super (struct i32)) + ;; CHECK: (type $sub (struct_subtype (field i32) $super)) (type $sub (struct_subtype i32 $super)) (type $make-super-t (func (result (ref $super)))) (type $make-sub-t (func (result (ref $sub)))) + ;; CHECK: (func $make-super (type $make-super-t) (result (ref $super)) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) (func $make-super (type $make-super-t) (unreachable) ) + ;; CHECK: (func $make-sub (type $make-sub-t) (result (ref $sub)) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) (func $make-sub (type $make-sub-t) (unreachable) ) |