summaryrefslogtreecommitdiff
path: root/test/parse/expr/bad-select-multi.txt
blob: e9e0b34dfe586dc9d5e78e65e5ac4cd39ca2ecee (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
;;; TOOL: wat2wasm
;;; ARGS*: --enable-reference-types
;;; ERROR: 1
(module
  (func
    i32.const 0
    i32.const 0
    i32.const 0
    i32.const 0
    i32.const 0
    select (result i32 i32)
    unreachable
    ))
(;; STDERR ;;;
out/test/parse/expr/bad-select-multi.txt:11:5: error: invalid arity in select instruction: 2.
    select (result i32 i32)
    ^^^^^^
out/test/parse/expr/bad-select-multi.txt:11:5: error: type mismatch in function, expected [] but got [... i32, i32, i32, i32]
    select (result i32 i32)
    ^^^^^^
;;; STDERR ;;)