diff options
| author | Alon Zakai <azakai@google.com> | 2023-09-20 14:38:21 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-20 14:38:21 -0700 |
| commit | 199811942d5f88d1d54158c9d7d5d5026cb1accb (patch) | |
| tree | a228d05dc4dbeb5b7bca2869e1d4fad844753860 /test/lit/binary/bad-multivalue-if.test | |
| parent | d87b995e87145e4cbfa716451e77f81ba989ac6e (diff) | |
| download | binaryen-199811942d5f88d1d54158c9d7d5d5026cb1accb.tar.gz binaryen-199811942d5f88d1d54158c9d7d5d5026cb1accb.tar.bz2 binaryen-199811942d5f88d1d54158c9d7d5d5026cb1accb.zip | |
Error on multivalue inputs that we do not handle (#5962)
Before in getType() we silently dropped the params of a signature type. Now we verify that
it is none, or we error.
Helps #5950
Diffstat (limited to 'test/lit/binary/bad-multivalue-if.test')
| -rw-r--r-- | test/lit/binary/bad-multivalue-if.test | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/test/lit/binary/bad-multivalue-if.test b/test/lit/binary/bad-multivalue-if.test new file mode 100644 index 000000000..8fe206012 --- /dev/null +++ b/test/lit/binary/bad-multivalue-if.test @@ -0,0 +1,22 @@ +;; Test that we error properly on an if with a bad multivalue (inputs). + +;; File contents: +;; +;; (module +;; (func $test +;; i32.const 0 +;; i32.const 1 +;; (if (param i32) +;; (then +;; drop +;; ) +;; (else +;; drop +;; ) +;; ) +;; ) +;; ) + +;; RUN: not wasm-opt -all %s.wasm 2>&1 | filecheck %s + +;; CHECK: control flow inputs are not supported yet |