diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/validation/nn-tuples.wast | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/lit/validation/nn-tuples.wast b/test/lit/validation/nn-tuples.wast new file mode 100644 index 000000000..452a6c77e --- /dev/null +++ b/test/lit/validation/nn-tuples.wast @@ -0,0 +1,17 @@ +;; Test for non-nullable types in tuples + +;; RUN: not wasm-opt -all %s 2>&1 | filecheck %s --check-prefix NO-NN-LOCALS +;; RUN: wasm-opt -all %s --enable-gc-nn-locals -o - -S | filecheck %s --check-prefix NN-LOCALS + +;; NO-NN-LOCALS: vars must be defaultable + +;; NN-LOCALS: (module +;; NN-LOCALS: (local $tuple ((ref any) (ref any))) +;; NN-LOCALS: (nop) +;; NN-LOCALS: ) + +(module + (func $foo + (local $tuple ((ref any) (ref any))) + ) +) |