diff options
Diffstat (limited to 'test/lit/isorecursive-singleton-group.wast')
| -rw-r--r-- | test/lit/isorecursive-singleton-group.wast | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/lit/isorecursive-singleton-group.wast b/test/lit/isorecursive-singleton-group.wast new file mode 100644 index 000000000..adb40b141 --- /dev/null +++ b/test/lit/isorecursive-singleton-group.wast @@ -0,0 +1,19 @@ +;; TODO: Autogenerate these checks! The current script cannot handle `rec`. + +;; RUN: wasm-opt %s -all --hybrid -S -o - | filecheck %s + +;; Check that everything works correctly when a recursion group has only a +;; single member. The rec group is implicit, so does not need to be printed. + +(module + +;; CHECK-NOT: rec +;; CHECK: (type $singleton (struct_subtype data)) + + (rec + (type $singleton (struct_subtype data)) + ) + + ;; Use the type so it appears in the output. + (global $g (ref null $singleton) (ref.null $singleton)) +) |