blob: f8bb52f46fdf5fcd847d4070225ba864a32addf3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
;; A local ref of a function type with multiple results requires multivalue.
;; RUN: not wasm-opt %s 2>&1 | filecheck %s
;; CHECK: all used types should be allowed
(module
(type $T (func (param i32 i32) (result i32 i32 i32)))
(func $foo
(local $t (ref null $T))
)
)
;; Still fails with just reference types or multivalue.
;; RUN: not wasm-opt --enable-reference-types %s 2>&1 | filecheck %s
;; RUN: not wasm-opt --enable-multivalue %s 2>&1 | filecheck %s
;; But it passes with both.
;; RUN: wasm-opt --enable-reference-types --enable-multivalue %s
|
