From 199811942d5f88d1d54158c9d7d5d5026cb1accb Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Wed, 20 Sep 2023 14:38:21 -0700 Subject: 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 --- test/lit/binary/bad-multivalue-if.test | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 test/lit/binary/bad-multivalue-if.test (limited to 'test/lit/binary/bad-multivalue-if.test') 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 -- cgit v1.2.3