diff options
| author | Alon Zakai <azakai@google.com> | 2023-03-01 12:37:29 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-01 20:37:29 +0000 |
| commit | 23278eac5ac01e9ed029859366b3e49665c9aeea (patch) | |
| tree | 4787d027193f2a0a61b4fa111eea9ec672a6c093 /test/lit/validation | |
| parent | 76fcc26e5ca62b6aa0f2d07859ff5dd95e8f57e0 (diff) | |
| download | binaryen-23278eac5ac01e9ed029859366b3e49665c9aeea.tar.gz binaryen-23278eac5ac01e9ed029859366b3e49665c9aeea.tar.bz2 binaryen-23278eac5ac01e9ed029859366b3e49665c9aeea.zip | |
Validation: Function types with multiple results require multivalue (#5535)
This was not noticed before because normally if there is a function type
with multiple results then there is also a function with that property. But
it is possible to make small testcases without such a function, and one might
be imported etc., so we do need to validate this.
Diffstat (limited to 'test/lit/validation')
| -rw-r--r-- | test/lit/validation/ref-func-multivalue.wast | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/lit/validation/ref-func-multivalue.wast b/test/lit/validation/ref-func-multivalue.wast new file mode 100644 index 000000000..f8bb52f46 --- /dev/null +++ b/test/lit/validation/ref-func-multivalue.wast @@ -0,0 +1,19 @@ +;; A local ref of a function type with multiple results requires multivalue. +;; RUN: not wasm-opt %s 2>&1 | filecheck %s + +;; CHECK: all used types should be allowed + +(module + (type $T (func (param i32 i32) (result i32 i32 i32))) + + (func $foo + (local $t (ref null $T)) + ) +) + +;; Still fails with just reference types or multivalue. +;; RUN: not wasm-opt --enable-reference-types %s 2>&1 | filecheck %s +;; RUN: not wasm-opt --enable-multivalue %s 2>&1 | filecheck %s + +;; But it passes with both. +;; RUN: wasm-opt --enable-reference-types --enable-multivalue %s |