| ;; 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 |