diff options
Diffstat (limited to 'test/lit/binary')
| -rw-r--r-- | test/lit/binary/bad-multivalue-block.test | 16 | ||||
| -rw-r--r-- | test/lit/binary/bad-multivalue-block.test.wasm | bin | 0 -> 34 bytes | |||
| -rw-r--r-- | test/lit/binary/bad-multivalue-if.test | 22 | ||||
| -rw-r--r-- | test/lit/binary/bad-multivalue-if.test.wasm | bin | 0 -> 38 bytes |
4 files changed, 38 insertions, 0 deletions
diff --git a/test/lit/binary/bad-multivalue-block.test b/test/lit/binary/bad-multivalue-block.test new file mode 100644 index 000000000..8b100fe89 --- /dev/null +++ b/test/lit/binary/bad-multivalue-block.test @@ -0,0 +1,16 @@ +;; Test that we error properly on a block with a bad multivalue (inputs). + +;; File contents: +;; +;; (module +;; (func $test +;; i32.const 0 +;; (block (param i32) +;; drop +;; ) +;; ) +;; ) + +;; RUN: not wasm-opt -all %s.wasm 2>&1 | filecheck %s + +;; CHECK: control flow inputs are not supported yet diff --git a/test/lit/binary/bad-multivalue-block.test.wasm b/test/lit/binary/bad-multivalue-block.test.wasm Binary files differnew file mode 100644 index 000000000..e44b9033f --- /dev/null +++ b/test/lit/binary/bad-multivalue-block.test.wasm 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 diff --git a/test/lit/binary/bad-multivalue-if.test.wasm b/test/lit/binary/bad-multivalue-if.test.wasm Binary files differnew file mode 100644 index 000000000..baddfec4e --- /dev/null +++ b/test/lit/binary/bad-multivalue-if.test.wasm |